4 results about "DEVS" patented technology

This invention belongs to the field of information security technology and discloses a method for verifying the strong opacity of time-assigned discrete event systems based on labeled temporal Petri nets. First, the time-assigned discrete event system to be analyzed is accurately modeled by constructing its labeled temporal Petri net model to formally describe the system's states, events, time constraints, and partial observability. Second, for a given time-labeled sequence (i.e., externally observed events and their timestamps), this invention proposes to efficiently enumerate all logically consistent paths with the sequence by constructing a partially modified state class graph and extracting their time constraints. Finally, based on this set of time-consistent paths, the set of all possible reachable current states (identifiers) of the system is calculated. This invention provides a method for verifying the strong opacity of time-assigned discrete event systems based on labeled temporal Petri nets, solving the problems in the background technology, reducing computational complexity, and making it more suitable for complex systems.

This invention provides a method, apparatus, and electronic device for modeling maritime rescue processes. The method includes: constructing a hierarchical model architecture driven by discrete event system specifications for the maritime rescue process, dividing the maritime rescue system model into a discrete event system layer and an object model layer; constructing a generalized rescue platform model and modular sub-models; the modular sub-models include a controller model, a maneuvering model, and a sensor model; constructing a complete rescue system simulation architecture based on the generalized rescue platform model; and performing repeated simulations and performance analysis on the complete rescue system simulation architecture to obtain a performance analysis report. This invention achieves accurate representation of the rescue system and solves the problems of poor accuracy and completeness in existing related technologies for rescue modeling.

The application belongs to the technical field of discrete model simulation, and provides a modeling and simulation method for supporting external event output under a DEVS framework, comprising: external event output acquisition; external event output data routing and transmission; and external event trigger chain recursive processing.The application provides the function of directly outputting data for the external event in the DEVS, thereby solving the message trigger chain error problem existing in the DEVS in the super-density time simulation, and providing more convenient modeling and simulation tasks for the modeling and simulation workers.

The present invention belongs to the field of high arch dam construction simulation modeling, and relates to a high arch dam simulation modeling optimization method based on an adverse weather dynamic response mechanism, including: 1) establishing a response mode consistent with the actual high arch dam construction for the adverse meteorological conditions that affect the high arch dam construction; 2) calculating the forecast period of the next casting bin or the forecast period of the next slab layer, analyzing the adverse weather impact during the forecast period, and obtaining the analysis results of the adverse weather impact during the forecast period; 3) according to the analysis results of the adverse weather impact during the forecast period and the established response mode, adopting a pre-response mechanism for the construction activities to be started, and adopting an in-process response mechanism for the ongoing construction activities; 4) integrating into the high arch dam construction simulation model developed based on the discrete event system principle to complete the modeling optimization. The present invention can simulate the adverse weather impact effect according to weather forecast data and adopt a response mode consistent with the actual construction, thereby optimizing the high arch dam construction simulation model and improving the simulation accuracy.