33 results about "Logic modeling" patented technology

The invention provides a safety protocol formal verification method based on model detection. In the method, an intruder model based on algorithmic knowledge logic is taken as a theoretical basis, SPIN/Promela is used to model and analyze a large number of network safety protocols, and a model detection technology is used to design and realize a network safety protocol verification model generation system. In the system, for the different types of protocols, a corresponding modeling method is provided, such as a combined identity logic modeling method, a two-channel attacker interception modeling method, an attacker knowledge base function modeling method and a four-channel parallel modeling method; the method is used for the Promela modeling of the safety protocol; and the analysis requirements of several different types of safety protocols are effectively satisfied, and for the size of an attacker knowledge base in the safety protocol, a program enumeration method is used to construct. The three optimization strategies of static analysis, syntax reordering and partial order reduction are arranged in the system so that a state explosion problem in a safety protocol model detectionprocess can be effectively alleviated.

A method for providing a voice application includes executing control flow logic modeling a dialog flow with a user via a voice browser. The control flow logic produces a disambiguation requirement. A disambiguation module is initiated and a set of at least two candidates and partitioning criteria is sent from the control flow logic to the module. Attributes of the candidates are analyzed to determine a partitioning score for each attribute indicative of ability to distinguish between candidates based on the partitioning criteria. The attributes are sorted based on the partitioning scores. The user is queried based on a top-sorted attribute and results of the query are used to reduce the set of candidates. The steps of analyzing, sorting, and querying are repeated until the set of candidates is reduced to a single candidate. The single candidate is returned to the control flow logic for continued execution.

The invention discloses a data modeling and storage method of line network big-data of a rail transit command center. According to the adopted data modeling and storage organization method, structureddata in the line network big-data are combined with characteristics of a Hadoop platform and components and data application situations of a rail transit industry to select a reasonable data model ina modeling process of the structured data, data modeling and data storage are carried out, and detailed description is specially carried out for a method of logic modeling: temporary data files are stored in Hbase, historical data after unified modeling are stored in the Hbase, and tables are established for an intermediate data layer and a data mart layer by a method of paradigm reducing and arestored in Hive; and for unstructured data, a Hadoop platform is adopted to store small files according to application and time classifications, and full-text retrieval and analysis of the unstructured data are realized. Therefore, standardized and highly efficient data storage is realized for the line network big-data.

According to some embodiments, an Arbitrary Software Logic Modeling ("ASLM") data source 110 may store electronic records associated with units, each electronic record including a unit identifier, oneor more identification tags, context data, unit parameters, unit variables, and internal logic. An ASLM platform 150 may express system requirements at a logic block level and establish the logic blocks as self-contained entities and connections in accordance with the system requirements (the established logic blocks graphically representing systems logic). The ASLM platform 150 may then explicitly transform the systems logic automatically to output language agnostic common design information exchange model information. The ASLM platform 150 may also translate and maintain traceability amongthe system requirements, common design information exchange model information, and generated code.

The invention relates to a behavior logic modeling method of an industrial electronic system. The behavior logic modeling method includes the following steps: 1, determining the running process of the industrial electronic system according to the functions of the industrial electronic system, obtaining application scenes according to the running process, and building an application scene use case diagram of the industrial electronic system according to the application scenes; 2, building logical relationships between the application scenes, and forming an activity diagram of the industrial electronic system; 3, building signal time sequences and logical relationships of devices related to each application scene, and forming a sequence diagram of the industrial electronic system; 4, building state machine diagrams of the devices of the industrial electronic system, and observing behaviors and logic of the devices in the application scenes through the state machine diagrams. According to the behavior logic modeling method, complete descriptions of the behavior logic of the industrial electronic system are achieved through the use case diagram, the activity diagram, the sequence diagram and the state machine diagrams, and a workable model can be provided for system logic simulation in the early period and functional performance affirming in the late period of research and development of the industrial electronic system.

The invention provides a simulated training device operation logic modeling and drive method based on a database. The method comprises the steps of 1, decomposing components which are actually contacted by training personnel into two kinds of input components and output components; 2, forming an operation logic database, wherein the operation logic database comprises two kinds of dictionary tables and logic tables; 3, compiling logic drive software, wherein the logic drive software can receive operation input of the training personnel, carry out index on the operation logic database, judge and perform logic, and drive the output components to respond; 4, loading the operation logic database through the logic drive software; and 5, carrying out simulated training, wherein the training personnel carry out operation input according to a process, and the device carries out response output according to logic operation results. According to the method, on the basis of a database technology, the operation logic database is formed according to the training service process; the database is separated from the reusable logic drive software; the maintainability, universality and transportability of the simulated training system are improved; and the development cost and maintenance cost are reduced.

The invention relates to a nuclear power plant excitation system simulation system and a creation method thereof. The method comprises steps of obtaining function data of a nuclear power plant excitation system, and carrying out analysis according to the function data of the nuclear power plant excitation system, and obtaining the logic function of the nuclear power plant excitation system; according to the logic function of the excitation system of the nuclear power plant, performing logic modeling on the simulation support platform to obtain a logic function module; and performing module packaging on the logic function module to generate a nuclear power plant excitation system simulation system. The simulation system integrates various logic functions of the excitation system of a nuclear power plant, additional logic auxiliary modeling is not needed, the model building and system debugging speed of the full-range simulator electrical system of the nuclear power plant is increased, the model building and system debugging time is obviously shortened, and the research and development period of the electrical system model is greatly shortened.

The invention discloses a monitoring method and system based on a multidimensional modeled information system, which carries out logic modeling, simulation modeling, risk modeling and comprehensive modeling by using the information system as a core so as to carry out centralized monitoring. With the adoption of the monitoring method and system provided by the invention, various problems and risks can be found out and represented in time, and bases can be provided for rapidly positioning a fault and analyzing a reason, so that the effects of internal and external combination, rapid diagnosis, rapid positioning and instant response can be realized. Not only can the defects caused by monitoring only one aspect be made up, but also various internal and external factors causing the faults of a service system can be uniformly found out, positioned and early warned. The monitoring method and system provided by the invention can assist an administrator of the service system to carry out panoramic-view monitoring and fault positioning.

The embodiment of the invention provides an aircraft complex system task reliability modeling prediction method based on a fault tree, comprising the following steps: according to a specific task of a system in a task execution profile, carding the top layer function of the system and the influence of each function on a task stage, determining a system task failure criterion, and establishing a fault model through system function modeling and fault logic modeling. Establishing a fault tree which takes top-layer task failure as a top event and takes an input port function failure state of a unit and a failure state of the unit as a bottom event, taking Alarica as a modeling language, realizing fault tree splicing of failure of an interface, an input port and an output port, establishing a formalized model consistent with system design, and establishing a fault tree model of the system design according to the formalized model. Based on common software such as Saftylab, Relalab and the like, automatic fault tree generation is realized, and a system task reliability index is calculated.

The invention relates to an aerospace general gate-level logic modeling method for form verification, which is used for carrying out anti-radiation redundancy characteristic analysis and modeling on an anti-radiation hardening logic gate circuit of an aerospace-level large-scale integrated circuit, and carrying out form verification-based security attribute evaluation and logic completeness check on the aerospace-level large-scale integrated circuit based on the model. The problem of security attribute evaluation of the space navigation large-scale integrated circuit under the space radiation environment and the spacecraft high-reliability application condition is solved, the operation is simple and convenient, the automation degree is high, the evaluation efficiency is high, the evaluation operation links are reduced, and the evaluation operability is improved.