建立具有可变持续时间和可变引发速率描述机制的混杂时间Petri网模型,并将其应用于混杂间歇/连续生产过程的建模;探讨时间Petri网状态转移方程和可达状态空间的扩展赋时OBBD描述技术;研究基于模型检验的时间Petri网符号调度算法。该方面研究尚未见国内外报道,具有理论研究和工业混杂生产调度应用研究价值。.
{{i.achievement_title}}
数据更新时间:2023-05-31
青藏高原狮泉河-拉果错-永珠-嘉黎蛇绿混杂岩带时空结构与构造演化
面向云工作流安全的任务调度方法
内质网应激在抗肿瘤治疗中的作用及研究进展
无线充电电动汽车V2G模式下光储直流微电网能量管理策略
结合SBL的双脉冲频控阵雷达离网目标定位方法
流程操作的递阶混杂petri网建模及调度与DCS集成策略
基于混杂Petri网的城市路网交通拥堵波及效应研究
基于混杂Petri网的微电网需求侧能量管理在线优化方法研究
混合交通流混杂建模研究