Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Hiro

33 results about "Logic modeling" patented technology

Method, apparatus, and computer program product for facilitating modeling of a combinatorial logic glitch at an asynchronous clock domain crossing

InactiveUS7333926B2Inserting of the simulation value of X into the combinatorial logic can be facilitatedFacilitate automatic propagation of the simulation value XDetecting faulty computer hardwareComputation using non-denominational number representationLogic modelingPath generation
A method, apparatus and computer program product are provided for facilitating combinatorial logic modeling at an asynchronous clock domain crossing. The modeling technique employs a simulation value of X in combinatorial logic at the asynchronous clock domain crossing of a circuit being modeled to facilitate modeling of a potential combinatorial logic glitch at the crossing during metastability periods thereof. Employing the simulation value of X includes: generating one or more equivalent functional equations for one or more combinatorial paths through the combinatorial logic at the crossing; propagating the simulation value of X through the combinatorial logic using the at least one equivalent functional equation; and then converting the simulation value of X at an output of the combinatorial logic of the asynchronous clock domain crossing to a random logic value for further propagation within the circuit being modeled.
Owner:GOOGLE LLC

Apparatus and method for interfacing to a memory

A delay locked loop (DLL) is added to the system in order to provide an accurate, PVT insensitive translation of the drive clocks into the write data eye. Adding a master-slave DLL to the system provides an accurate, PVT insensitive translation of the echo clocks into the read data eye. Solidifying the timing critical drive and receive logic which directly interfaces to the I / O buffers reduces the pin-to-pin skews. Utilizing clock phase outputs of the DLL in the solidified drive and receive logic blocks reduces further the skew between the clock and related data signals, and also removes the reliance on a differential clock. The system allows a much more relaxed constraint on clock duty cycle. Design of circuitry within the solidified drive and receive logic blocks permits simple logic modeling for fit within an ASIC flow. Physical design of the solidified drive and receive logic blocks permits simple fit within ASIC place and route flows for increased ease of implementation and ease of reuse.
Owner:MOSAID TECH

Safety protocol formal verification method based on model detection

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.
Owner:EAST CHINA JIAOTONG UNIVERSITY

Automated confirmation and disambiguation modules in voice applications

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.
Owner:IBM CORP

Failure logic modeling method for a high-speed railway train operation control on-board system

The present invention provides a failure logic modeling method for a high-speed railway train operation control on-board system, including the following steps: determining the functional relationship between the structure and the parts of the train control on-board system; analyzing the failures of the parts based on known failures of the train control on-board system in combination with brainstorming; establishing an FMEA table to generalize the failures of the parts; editing and simulating the failures by using a modeling tool. By adopting the present invention, the failure modes analyzed are more systematic, and the failure logic modeling can be carried out from a global perspective more easily, the whole process can be better targeted meanwhile, the security analysis complexity of the train control system will be effectively reduced and the development period of the train control system will be shortened.
Owner:BEIJING JIAOTONG UNIV

Method, apparatus, and computer program product for facilitating modeling of a combinatorial logic glitch at an asynchronous clock domain crossing

InactiveUS20060282251A1Inserting of the simulation value of X into the combinatorial logic can be facilitatedFacilitate automatic propagation of the simulation value XDetecting faulty computer hardwareComputation using non-denominational number representationLogic modelingPath generation
A method, apparatus and computer program product are provided for facilitating combinatorial logic modeling at an asynchronous clock domain crossing. The modeling technique employs a simulation value of X in combinatorial logic at the asynchronous clock domain crossing of a circuit being modeled to facilitate modeling of a potential combinatorial logic glitch at the crossing during metastability periods thereof. Employing the simulation value of X includes: generating one or more equivalent functional equations for one or more combinatorial paths through the combinatorial logic at the crossing; propagating the simulation value of X through the combinatorial logic using the at least one equivalent functional equation; and then converting the simulation value of X at an output of the combinatorial logic of the asynchronous clock domain crossing to a random logic value for further propagation within the circuit being modeled.
Owner:GOOGLE LLC

Failure mechanism damage accumulation model-based load sharing behavior modeling and simulating method

The invention provides a failure mechanism damage accumulation model-based load sharing behavior modeling and simulating method. The method comprises the following steps of: 1, carrying out load distribution logic modeling by jointly using a function related gate and a failure mechanism promotion gate so as to establish a universal failure mechanism accumulation model; 2, establishing a continuousinvolution type failure mechanism accumulation model; 3, establishing a composite impact evolution type failure mechanism accumulation model; 4, establishing an overstress type failure mechanism accumulation model; 5, modeling a system by utilizing a binary decision graph and a failure mechanism tree; and 6, carrying out reliability simulation on the mechanism models and the system model by utilizing a Matlab, and obtaining damage amount curves of parts and reliability curves of subsystems and the system. According to the method, modeling is carried out from the angle of damage amount, and the modeling method is capable of calculating the reliability of systems more correctly and efficiently, so that a new thought is provided for researching the reliability of k / n systems.
Owner:BEIHANG UNIV

Equipment modeling language based embedded type emulated serial port and modeling method thereof

The invention discloses an equipment modeling language based embedded type emulated serial port and a modeling method thereof. Functional logic sends data to an exterior or sends external data to user interaction control logic or data processing control logic; the user interaction control logic obtains the external data, sends the external data to the data processing control logic, time sequence control logic or functional logic, receives the data sent by the functional logic or the data processing control logic and then displays the data; comprehensive processing logic and interface adapting logic realize data interaction of each logic; the data processing control logic performs format conversion for the data and then sends the processed data to the time sequence control logic, the user interaction control logic or the functional logic; and the time sequence control logic receives the data and sends the data to the functional logic according to a control time sequence. According to the equipment modeling language based embedded type emulated serial port and the modeling method thereof, as an embedded type hardware serial port is subjected to logic modeling and functional decomposition, the problem in the prior art that the logic level is lack of description for an embedded type hardware serial port simulation modeling method is solved.
Owner:BEIJING AEROSPACE AUTOMATIC CONTROL RES INST +1

Data modeling and storage method of line network big-data of rail transit command center

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.
Owner:NARI TECH CO LTD +1

Systems and methods for arbitrary software logic modeling

ActiveCN108509185AFacilitate logical modelingLogical Modeling ImprovementsSoftware designVisual/graphical programmingSystem requirementsLogic modeling
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.
Owner:GENERAL ELECTRIC CO

Behavior logic modeling method of industrial electronic system

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.
Owner:杭州杉石科技有限公司

Simulated training device operation logic modeling and drive method based on database

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.
Owner:NAVAL AERONAUTICAL & ASTRONAUTICAL UNIV PLA

Intelligent maintenance method and intelligent maintenance training system based on virtual reality technology

PendingCN114023125AImprove the level of maintenance supportShorten maintenance support timeCosmonautic condition simulationsSimulatorsLogic modelingSimulation
The invention discloses an intelligent maintenance method and an intelligent maintenance training system based on a virtual reality technology. The method comprises the following steps: S1, collecting technical equipment data, reconstructing a three-dimensional model, and carrying out visual processing of the three-dimensional data; S2, maintenance interaction logic modeling: establishing a maintenance interaction logic model which can be flexibly configured and reconfigurable; and S3, carrying out immersive maintenance interaction according to the maintenance interaction logic model and a virtual reality technology, carrying out evaluation and quantitative scoring on the comprehensive ability of the maintenance support personnel, acquiring a final evaluation score and grade through weighted calculation, and carrying out equipment maintenance big data analysis. The method can be used for virtual reality teaching of equipment maintenance support personnel and rapid and automatic equipment maintenance guidance in a real application environment, the maintenance support skills of the equipment maintenance support personnel are further improved, the use efficiency of technical equipment is improved, and meanwhile, data support is provided for design improvement and performance improvement of the technical equipment.
Owner:四川九洲空管科技有限责任公司

Three-dimensional cluster type aircraft panel automatic assembly production line and planning control method thereof

The invention relates to a three-dimensional cluster type aircraft panel automatic assembly production line and a planning control method thereof. The three-dimensional cluster type aircraft panel automatic assembly production line is provided with a drilling system and a fixture tool used for positioning a panel. The hole making system is a robot hole making system; the fixture tool is mounted onthe left-right translation module in a sliding manner; the two left-right translation modules are arranged on the two sides of the robot drilling system in parallel. The method comprises the following steps: firstly, determining a single wallboard assembly operation sequence to form a preliminary single wallboard assembly process flow time sequence diagram; analyzing the time and space consumption of the operation process; analyzing a plurality of wallboard operation tasks and a coupling relationship between a multi-station in-out frame and a logistics transportation channel, and designing aproduction takt for assembly operation; carrying out logic modeling on operation of the multiple wallboard assembly production lines, carrying out production line material layout planning, and finallycarrying out verification and examination. A robot hole forming station is located in the middle, and modular tools horizontally move left and right or move up and down to hole forming stations fromrespective work stations.
Owner:SHANGHAI SHANGFEI AIRCRAFT EQUIP MFG

Synchronous grid-connected simulation module and creation method thereof

ActiveCN111338229AReduced commissioning timeAccelerate the development periodSimulator controlLogic modelingModelSim
The invention discloses a synchronous grid-connected simulation module and a creation method thereof. The method comprises the following steps: constructing logic functions of a line selector, a synchronous module and a speed regulation module; according to the logic functions of the line selector, the synchronization module and the speed regulation module, carrying out logic modeling on the platform to obtain line selection logic, synchronization logic and speed regulation logic; based on the macro function of the platform, carrying out module packaging on the three logic parts to generate the synchronous grid-connected simulation module; in this way, the modeling efficiency and the attractiveness of model building can be improved; the defect that in the prior art, a synchronous simulation module can only conduct parameter monitoring on a single grid-connected switch can be overcome. The module can be applied to occasions of a plurality of grid-connected switches, can be combined withDCS commands to realize start-stop control of synchronous functions, is suitable for synchronous grid connection requirements of a full-range analog machine, covers the functions of a plurality of existing synchronous modules, and achieves the purposes of improving the modeling speed, saving the model debugging time and accelerating the research and development period of the analog machine.
Owner:中广核(北京)仿真技术有限公司 +2

Model-based unmanned aerial vehicle system architecture design method

The invention discloses a model-based unmanned aerial vehicle system architecture design method, and aims to deal with the challenges of changeable combat requirements, shortened design period and increased technical risk in the current unmanned aerial vehicle system design process. By adopting a data-driven architecture development method, and through establishment of an unmanned aerial vehicle system architecture development framework, a framework modeling process oriented to different visual angles is designed, a modeling and simulation specification based on SysML and Modelica is defined, so that the design of an unmanned aerial vehicle system starts from the conception and confirmation of a combat concept, the method pays attention to the forward analysis and design of a system framework, and concept verification and index closed loop are performed at the early stage of the design of the unmanned aerial vehicle system by virtue of logic modeling and system simulation.
Owner:BEIHANG UNIV

Mechanism logic modeling system based on digital twin

The invention discloses a mechanism logic modeling system based on digital twins. The system comprises a physical system module, a virtual system module, an FMS logic modeling module and a PLC logic control module, wherein the physical system module comprises an MES module, an SCADA module and an equipment processing module; and the virtual system module comprises a system layer model, a unit layer model and an equipment layer model. According to the invention, simulation operation of a virtual system can be realized by using input and feedback relationships between a driving engine and the models in all layers, Kafka instructions called in an operation process of a physical system can be synchronized to the unit layer model, or control variables in Redis can be synchronized to the equipment layer model, and the simulation operation of the virtual system can be realized by using the driving engine.
Owner:上海奇梦网络科技有限公司

Nuclear power plant excitation system simulation system and creation method thereof

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.
Owner:中广核(北京)仿真技术有限公司 +2

A monitoring method and monitoring system of an information system based on multidimensional modeling

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.
Owner:深圳市易聆科信息技术股份有限公司

An Embedded Simulation Serial Port and Modeling Method Based on Device Modeling Language

The invention discloses an equipment modeling language based embedded type emulated serial port and a modeling method thereof. Functional logic sends data to an exterior or sends external data to user interaction control logic or data processing control logic; the user interaction control logic obtains the external data, sends the external data to the data processing control logic, time sequence control logic or functional logic, receives the data sent by the functional logic or the data processing control logic and then displays the data; comprehensive processing logic and interface adapting logic realize data interaction of each logic; the data processing control logic performs format conversion for the data and then sends the processed data to the time sequence control logic, the user interaction control logic or the functional logic; and the time sequence control logic receives the data and sends the data to the functional logic according to a control time sequence. According to the equipment modeling language based embedded type emulated serial port and the modeling method thereof, as an embedded type hardware serial port is subjected to logic modeling and functional decomposition, the problem in the prior art that the logic level is lack of description for an embedded type hardware serial port simulation modeling method is solved.
Owner:BEIJING AEROSPACE AUTOMATIC CONTROL RES INST +1

Method and system for establishing visual deduction model, terminal and storage medium

The invention discloses a method and a system for establishing a visual deduction model, a terminal and a storage medium, which are applied to the technical field of high-voltage direct-current simulation and fault simulation. The method includes a data acquisition step, a control and protection model engine establishment step, a communication interface establishment step, a control and protection interface establishment step, a three-dimensional scene establishment step and a converter station control and protection anti-accident visual deduction model acquisition step. According to the method and system, virtual reality and a technology based on visual logic modeling are adopted, modeling is carried out on direct current control equipment and protection equipment, and the participation degree is improved; modeling is carried out on various abnormal and fault conditions, simulation of primary and secondary equipment of the extra-high voltage converter station is realized, and the fault deduction speed and accuracy are improved; and a Fortran language module is developed in the PSCAD / EMTDC to realize interaction with a substation simulation system.
Owner:ELECTRIC POWER RESEARCH INSTITUTE OF STATE GRID NINGXIA ELECTRIC POWER COMPANY

Aircraft complex system task reliability modeling prediction method based on fault tree

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.
Owner:JIANGXI HONGDU AVIATION IND GRP

Three-dimensional cluster type aircraft panel automatic assembly production line and its planning control method

The invention relates to a three-dimensional cluster type aircraft panel automatic assembly production line and a planning control method thereof. The three-dimensional cluster type aircraft panel automatic assembly production line is provided with a drilling system and a fixture tool used for positioning a panel. The hole making system is a robot hole making system; the fixture tool is mounted onthe left-right translation module in a sliding manner; the two left-right translation modules are arranged on the two sides of the robot drilling system in parallel. The method comprises the following steps: firstly, determining a single wallboard assembly operation sequence to form a preliminary single wallboard assembly process flow time sequence diagram; analyzing the time and space consumption of the operation process; analyzing a plurality of wallboard operation tasks and a coupling relationship between a multi-station in-out frame and a logistics transportation channel, and designing aproduction takt for assembly operation; carrying out logic modeling on operation of the multiple wallboard assembly production lines, carrying out production line material layout planning, and finallycarrying out verification and examination. A robot hole forming station is located in the middle, and modular tools horizontally move left and right or move up and down to hole forming stations fromrespective work stations.
Owner:SHANGHAI SHANGFEI AIRCRAFT EQUIP MFG

Astronavigation general gate-level logic modeling method for form verification

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.
Owner:CHINA ACADEMY OF SPACE TECHNOLOGY
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products