摘要:
A method is provided for auditing the configuration of an enterprise comprising the steps of: collecting information relating to the configuration of the enterprise, analyzing the configuration information based on expert knowledge; and providing the result of the analysis in the form of reports, and other results of the analyses.
摘要:
A method and system for producing production control software for a plurality of electronic control modules, is provided. The electronic control modules are located on production machines. Each production machine includes a subset of the electronic control modules. The system includes a part file staging area for receiving and storing new production control software from a design engineering group. A product engineering workstation is coupled to the part file staging area and operated by a product engineering user. The product engineering user can review, modify and approve the new production control software. A production staging area, coupled to the product engineering workstation, receives and stores approved production control software and receives an order for a production machine. A production workstation, coupled to the production staging area, receives the order for a production machine, determines the subset of electronic control modules located on the ordered production machine, and retrieves the production control software corresponding to the subset of electronic control modules located on the ordered production machine. The production workstation is coupled to the ordered production machine and adapted to download the production control software from the production staging area to the subset of electronic control modules located on the ordered production machine.
摘要:
A method of operating a computer to automatically produce production control software for a natural gas engine controller or a diesel engine controller is provided. The method includes the steps of (1) as a function of user input, defining a set specifications of the controller; and (2) producing control software to operate the controller as defined by the specifications.
摘要:
A system is provided for determining the rule or set of rules which govern the generation of a string of integers so as to ascertain the nature of the data represented by the string of integers, with the integer generation rule permitting genetic code determinations, optimization of communication channels through received signal analysis, curve fitting and determination of integer coding. For the analysis, means are provided to generate strings of integers from trial programs that are optionally derived from sequences of binary numbers. Error coefficients are derived when the integer strings generated by the trial programs are compared to the initial integer string. Means are provided to select a reduced set of trial programs based on the derived error coefficients, with the process of selection of trial programs being iterated until a single trial program is selected as the best trial program. This best trial program then specifies the most likely rule responsible for the generation of the initial strings of integers. The decoding system uses no a priori knowledge in the selection process, with the system providing automatic generation of algorithms instead of inaccurate fit functions. In one embodiment, the Subject System is implemented in a low-level binary representation, which is fast and easy to implement in hardware.
摘要:
A method for determining a set of f low paths in a code listing that are most likely to fail comprises the steps of: converting the code listing to a directed acyclic graph representation, the representation including nodes and directed edges, each node representing a basic block of unconditional code statements. The method loads, as facts into a knowledge base, representations of the nodes and edges, and unconditional statements from the basic blocks. The method also loads, as rules into the knowledge base, conditional statements and complexity indicator values for conditional and unconditional statements. Weights are assigned to each node based upon complexity indicator values for statements associated with the node. A determination is then made of a set of flow paths through the code listing, each path ranked in order of assigned weights, those flow paths with larger assigned weights being assumed as those paths most likely to fail.
摘要:
An expert system uses internal rules for sound software development and in the end automatically produces a correct running system, without the need for the designer to work out the solution first or to enter any more than the facts (data types and procedure types) of the organization. To operate the user merely inputs data about the organization in response to prompts in the form of conversational language questions. The rest of the development of the software for that organization is actually done by the expert system itself.
摘要:
A computer control system utilizing mathematical formula processing and more broadly knowledge engineering is characterized by a man-machine processing unit for defining a mathematical formula model, a program generation unit for converting the defined mathematical formula model to an intermediate code program, a storage device for storing usage conditions (rules) of the defined mathematical formula models and a unit for selecting a mathematical formula model which meets the stored usage condition based on data from a control unit of a plant under control, selecting a program corresponding to the selected mathematical formula model from the programs generated by the program generation unit, and supplying an operation result by the selected program to the control unit.
摘要:
An assessments framework includes a framework batch processor and a partner batch processor. The framework batch processor performs static assessments based on information obtained from a task definition database and a policy database. The partner batch processor outputs dynamic task definitions and dynamic policy information, to be input to the framework batch processor for executing an assessment when a triggering event occurs. The triggering event may be a schedule-based trigger or an event-based trigger.
摘要:
A system and method of composing a query object for application against a database is provided. The method composes a selection clause for the query. Next, a criteria clause for the query is generated, with the criteria clause comprising input criteria related to the query, additional criteria specified against the query, and generated criteria based on a joint relationship. Next a source clause utilizing elements in the database accessed by the query is generated. A database traversal system and method is provided. The method identifies all tables directly accessible by each table and creates a data structure comprising an entry for each table. The entry comprises an identification field for each table and a link field identifying all tables directly accessible by each table. The data structure is traversed and an optimum path of the traversal paths utilizing data obtained from traversing the data structure is identified.
摘要:
A system for building collaborative software agents is provided with a set of editors for capturing data for installation in the individual agents. The collaborative software agents will normally form a community, including some standard agents, provided by the system, and will collaborate to provide functionality in a domain selected by the user. Each collaborative software agent built by the system is provided with co-ordination policies, selected by the user, and represented by a co-ordination graph. A single collaborative software agent can be provided with more than one collaborative policy and is capable of running more than one collaborative policy simultaneously with different agents of the system. An exception handler flags an exception during use of the collaborative agents in the relevant domain when the value of a variable for an agent conflicts with a relevant constraint. Alternatively, the exception handler flags an exception when the resource and time constraints cannot be met by allocation of tasks between the collaborative agents. Communities of software agents built within a system might be used to launch and/or manage telecommunications services or to control a chemical process, for example.