离散事件系统规范 DEVS ; Discrete Event System Specification
基于离散事件系统规范 Discrete Event system specification ; DEVS
离散事件系统描述规范 Discrete Event System Specification ; DEVS
为便于建模,将综合系统抽象为混合事件动态系统,并重点论述了其规范化建模问题。
For the modeling's sake, the comprehensive system is abstracted as a hybrid event dynamic system and the emphasis is placed on its formal mathematical model.
常常需要控制离散事件系统的行为以满足特定的规范,比如防止系统进入特定的状态,尤其是死锁状态。
Usually we should control DES's behavior to meet special specifications, like preventing the system from special states, especially deadlock.
应用本系统可规范灾害及突发事件医疗救援保障流程,大大提高了住院伤病员信息管理水平和工作效率。
The application of the system regulated the medical rescue processes in the disasters and emergency events, and greatly improved the level of the hospital information management and work efficiency.
应用推荐