Unlock instant, AI-driven research and patent intelligence for your innovation.

Modeling and verifying method and system for a reconfigurable timing network conditional event system

A conditional event, timing network technology, applied in special data processing applications, instruments, electrical digital data processing, etc., can solve the problem of R-TNCESs verification, the computational time and complexity are expensive, and the reconfigurable form lacks the R-TNCESs formal system and other problems to achieve the effect of reducing the amount of calculation and ensuring correctness

Pending Publication Date: 2019-03-19
JINAN UNIVERSITY
View PDF2 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The former is based on the fact that some reconfigurable forms of modeling RDECSs (Reconfigurable Discrete Event Control Systems, Reconfigurable Discrete Event Control Systems) lack the formal system of R-TNCESs, and the latter is based on the fact that R-TNCESs verification requires optimization and complexity control , making R-TNCESs verification an expensive task due to computational time and complexity

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Modeling and verifying method and system for a reconfigurable timing network conditional event system
  • Modeling and verifying method and system for a reconfigurable timing network conditional event system
  • Modeling and verifying method and system for a reconfigurable timing network conditional event system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0038] The modeling and verification method of the reconfigurable timed network condition event system of the present invention includes: first calculating the accessibility graphs (Accessibility Graphs) of the initial configuration. However, in order to control the complexity, the present invention uses the μ method to generate the next accessible accessibility graph (Accessibility Graphs) from the generated accessibility graphs (Accessibility Graphs), and so on until all the accessibility graphs of R-TNCESs are generated (Accessibility Graphs).

[0039] The μ method uses a set of structural modification instructions related to system reconfiguration, and applies corresponding rewriting rules on the Accessibility Graphs according to these instructions, so as to obtain new Accessibility Graphs. Therefore, the present invention proposes a set of 12 rewriting rules applied on Accessibility Graphs. In order to ensure the security of the system, a mutual authentication algorithm ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention provides a modeling and verifying method and system for a reconfigurable timing network conditional event system. The method comprises the following steps: step 110, performing R-TNCES reconstruction modeling using a structure modification instruction; step 120, determining whether mutual verification is valid, if yes, proceeding to step 130, otherwise proceeding to step 140; step 130, performing R-TNCES configuration modeling, proceeding to step 150; step 140, if the system is incorrect, returning to step 110; step 150, using the mu method for internal verification, if the internal verification is valid, proceeding to step 160, otherwise proceeding to step 170; step 160, if R-TNCES modeling and the verification are successful, and ending the process; step 170, if the systemis incorrect, returning to step 130. According to the method, all reconfigurable forms can be enriched, the calculation amount is small, and the calculation speed is high.

Description

technical field [0001] The invention relates to the field of reconfigurable control systems, and more specifically, to a modeling and verification method and system for a reconfigurable timing network condition event system. Background technique [0002] Dynamic reconfigurable systems are the trend of complex technical systems in the future. This kind of system can actively modify some components in the current reconfigurable form, the connection relationship and data between components, etc. according to the changes in the internal and external execution environments of the system, so that the current reconfigurable The reconfiguration form can be transformed into another reconfiguration form online, so as to ensure that the system can continuously meet the control requirements. The model-based design method can discover the design defects of complex technical systems earlier, improve the reliability of the system, and shorten the time spent in developing the system, so it ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): G06F17/50
CPCG06F30/18
Inventor 穆罕默德·卡拉杰尤斯拉·哈夫迪里德·卡拉洛李志武屈挺
Owner JINAN UNIVERSITY