30 results about "Logical framework" patented technology

A gateway is provided for interfacing packet-based phone services with controllers of emergency call centers. For each type of electronic medium to be interfaced, the gateway comprises a specific I/O interface and a specific module such as a protocol stack. The gateway also comprises an auxiliary information gateway application that integrates the I/O interfaces and modules into a logical framework that enables inter-working therebetween. A controller that includes the functionality of the gateway device is also provided. Methods for enabling emergency calls, and more generally for enabling a multi-media session, are also provided.

The invention relates to a system for automatically converting a hardware language VHDL (Vhsic Hardware Description Language) into an MSVL (Modeling, Simulation and Verification Language). The system can convert a VHDL language program file into an MSVL language program file; the conversion system comprises a file analysis module, a lexical analysis module, a syntactic analysis, an information storage module, a translation module and a translation result character string connection module. After a VHDL program is converted into an MSVL program, model construction and property description use the same language, so that verification is carried out in the same logic framework and indirect model detection on the VHDL language program is conveniently realized. In the converting process, the VHDL program is converted into the semantic equivalent MSVL program by making conversion rules of different grammatical structure through a plurality of additional auxiliary means, so that correctness of a source VHDL program can be ensured by carrying out simulation, model construction and verification on the equivalent MSVL program.

A system, process and method for automatically collecting, collating and transforming data into useful formats and displaying or otherwise outputting the transformed data into useable information. The system provides outputs that are useful in optimizing the enterprise performance of a business. The system, process and method are grounded in an established logical framework for systematically classifying areas of business concerns.

The invention belongs to the field of management science and engineering and particularly relates to a steel production contract plan compilation method based on multi-level inventory matching under an MTO-MTS mixed production mode. A logical frame of the method is composed of five modules which are a contract pool establishing module, a multi-level inventory matching module, a multi-process production plan module, an inventory and production collaboration module and a human-computer interaction and evaluation module, wherein the inventory and production collaboration module is a system core, a multi-level inventory and production plan joint optimization algorithm based on a rematch collaboration strategy is adopted for the inventory and production collaboration module, and the contract plan compilation problem under a mixed mode is solved by being combined with parameters coming from the human-computer interaction and evaluation module and coordinating the multi-level inventory matching module and the multi-process production plan module according to the output of the contract pool establishing module. The method is based on an operational research model and an intelligent algorithm, is the contract plan compilation method based on multi-level inventory matching and has important theoretical significance and wide application values for improving flexibility of a steel enterprise production management system.

The invention discloses a TMSVL (timed modeling simulation verification logic) real-time system modeling method belonging to the field of formal modeling and verifying. According to the method, the TMSVL extended from the MSVL (modeling simulation verification logic) can model and verify the real-time system in the same logic frame. The TMSVL real-time system modeling method comprises the following steps: initializing a system clock, establishing a TMSVL model of the system and simplifying the TMSVL model. According to the method, the system clock with an explicit formulation of time variables is defined, the basic TMSVL sentences and common delay, overtime and interruption concepts in the real-time system can be defined and the TMSVL operational semantics are provided according to the system clock. After the real-time system is described by the TMSVL sentences, the operational semantics can simplify the TMSVL sentences so as to form a practical model of the system. The TMSVL real-time system modeling method disclosed by the invention is extended from the MSVL, has all advantages of the MSVL, can represent relative and absolute time constraints, and is suitable for modeling, simulating and verifying the real-time system.

The invention provides a visual content management method and system. The method includes the steps of having access to a visual editing interface, selecting a visual editing pendant in the visual editing interface, conducting visual editing on the selected visual editing pendant, and saving an editing result. By means of the visual content management method and system, system front-end contents are all independent from a logical frame to display content, flexibility of a system is improved in the aspect of content management, and learning and use cost of system managers is reduced due to a simple use mode. Due to the WYSIWYG editing mode, the error rate of content management is reduced; authority distribution is supported, and the problem that multiple persons edit the same content and the contents are mutually covered is avoided.

In a method for applying deterministic logic to select resources for resource genomes in a genetic algorithm, a logic engine identifies resources associated with an objective and an overall task population to be completed by one or more of the identified resources. The logic engine then selects a deterministic logical framework from one or more deterministic logical frameworks based on the objective. Following the selection of a deterministic logical framework, the logic engine selects one or more resources from the one or more identified resources based on the selected deterministic logical framework. The logic engine compiles the one or more selected resources into a resource genome, assigns one or more tasks from the task population to the one or more selected resources, and sends instructions to the one or more selected resources to execute the one or more tasks. The logic engine determines a value score for the resource genome.

Systems and methods for representing legal obligations, conditions, and other contractual specifications as a software framework are described. Systems and methods may include receiving initiation input; accessing an initial node including one or more logical structures and links to one or more tables of states and values; requesting initial input; receiving initial input; accessing at least one of the one or more tables of states and values to determine if a calculation is required; and performing a calculation based on the initial input from the user to determine an initial value or receiving an initial value from the at least one of the one or more tables of states and values. Subsequent nodes may be accessed until a final node is reached. A software framework may be compiled based on the calculations in each accessed node of the logical framework.

The invention provides a device parameter data standardization method based on Tableau, and the method comprises the steps: building a standardization field for a power grid device parameter based onTableau data visualization analysis software; creating a service derivation field through the original power grid equipment parameters; and classifying and sorting the business derivative fields according to the equipment parameter standardization fields, and designing an overall parameter logic framework so as to mine and analyze the power grid equipment parameters. According to the invention, data standardization is carried out on parameters of the relay protection equipment by using Tableau visual analysis software; different application scenes are satisfied, different data rules are standardized, a data difference problem of different regions is solved, universality and practicality of equipment parameter mining analysis are realized, equipment parameter data mining efficiency can be effectively improved, and safe operation of a power grid is guaranteed.

The embodiment of the invention discloses a method for processing iterative algorithm and a device thereof. The method comprises the following steps: each operation unit of the iterative algorithm is cascaded to form an operation chain in a serial connection mode; according to preset flow of the iterative algorithm, a command word is controlled; the operation unit for executing operation is selected from the operation chain; the flow direction of data in the operation process is determined; and based on the determined operation unit and the flow direction of the data, data needing iterative algorithm is subjected to operation processing. By adopting the embodiment, the flow of the iterative algorithm is controlled based on a mode of the prestored command word in order that an iterative logical framework has universality.

The invention discloses an RDF triad-oriented data custom mapping method. The method comprises the following steps of 1, obtaining relational database data; step 2, directly outputting the database table structure and the data as an RDF graph by utilizing a Direct Mapping mapping language; customizing a specific database structure and a word list by utilizing an R2RML mapping language, and outputting the data relationship library as an RDF data set; and step 3, taking a Direct Mapping mapping language as a default mapping scheme, and taking R2RML as a personalized customization scheme. The Direct Mapping mapping language provides an initial rule for automatic conversion of a machine, the R2RML provides a manually self-defined logic framework and a grammar rule, and the two mapping modes supplement each other, so that data in the relational database is better converted into triple data of the RDF.

The invention discloses a knowledge base modeling method for an intelligent substation operation and maintenance system based on a semantic network. The method includes the steps that, a theoretical basis for modeling substation operation and maintenance system based on the semantic network is established; the concepts and ideas of ontology and the semantic network are used for reference, according to the requirement of an SCL in the IEC61850-6 standard for a object model, basic structures and logical frames among each first device, a corresponding secondary device and a corresponding communication device are analyzed, and a model foundation of semantic-network-based substation operation and maintenance expert system modeling is built; through the combination of the IEC61850-6 standard and the characteristics of the semantic network, a reasonable operation and maintenance system knowledge base model is designed in the three aspects of intelligent substation device configuration, IED configuration and communication configuration; finally, based on a CLIPS platform, the related model is verified. The method has the advantages that the use of the semantic network makes the structure of the knowledge base more systematic, the logicality and consistency of different concepts of the knowledge base are improved. and the purpose of improving the expansibility of the systematic knowledge base and the rule reuse rate of a rule base is achieved.

It is disclosed a PLC Program analysis method where a program (PROG) is translated (TRANS) into a model (MOD) in a logical framework, from which properties (Prop) are determined. Said properties coupled with user specifications (IntProp) are verified by an automated solver (SMT). If contraposition of a property (Prop) is satisfiable, counter-examples (PROOF NOK) representative of model inputs and internal memory values is provided. Counter-examples (PROOF NOK) are translated into error initial configurations (IniConf) of said model. Execution of the model is simulated (EXE) with said model error initial configurations (IniConf), and error intermediary configurations (AST-IntConf) of said model simulation are recorded up to said property violation. Error initial and intermediary configurations (Lad-IniConf, Lad-IntConf) of said original program (PROG) are derived from error initial configurations (IniConf) of said model and error intermediary configurations (AST-IntConf) of said model simulation and displayed. An apparatus for executing said method is provided.

The invention discloses a market form-based transaction strategy adaptive adjustment method. The method comprises the following steps of setting a logic framework of a transaction strategy; setting aplurality of artificial intelligence models in each logic framework, wherein the artificial intelligence models perform multi-level analysis and training on the input indexes; connecting different artificial intelligence models into a large model combination in a filter mode, screening the input indexes in the model combination, and reserving the input indexes with high significance and low noiseto generate transaction signals; judging a market form, and selecting a logic framework corresponding to the market form; selecting an artificial intelligence model with the best recent performance and good historical long-term stability performance from the logic framework to obtain a transaction strategy; and repeating the operation, and adaptively adjusting the transaction strategy according tothe market form change of each transaction period. The transaction logic can be changed along with the market conditions, the manual intervention is not needed, the labor cost is reduced, and the human errors are avoided.

he embodiment of the present application illustrates a method and apparatus for calculating tabular data, and illustrates a technical solution which comprises: through the logical relationship betweenthe basic data and the data to be calculated, and a logical relationship between the data to be processed and the data to be processed, building a calculation templates=, the computational template extracting computational logic from the programming, even in cases where there are a large number of logical numbers to be computed or where computational logic is frequently changed, the values of each formula column in the logical framework being calculated successively according to the calculation template. At the same time, the embodiment of the present application shows the basic idea that thecomputational logic is completely separated from the computational task. Any change of the computational logic has no effect on the computational service, improves the computational efficiency and reduces the maintenance cost of the computational logic.