3 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.