建立具有可变持续时间和可变引发速率描述机制的混杂时间Petri网模型,并将其应用于混杂间歇/连续生产过程的建模;探讨时间Petri网状态转移方程和可达状态空间的扩展赋时OBBD描述技术;研究基于模型检验的时间Petri网符号调度算法。该方面研究尚未见国内外报道,具有理论研究和工业混杂生产调度应用研究价值。.
{{i.achievement_title}}
数据更新时间:2023-05-31
血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展
资源约束多项目调度问题研究现状与展望
A Fast Algorithm for Computing Dominance Classes
工期-费用权衡问题的两个不确定机会约束规划模型
大型复杂跨流域调水工程电站- 水库- 泵站群多目标优化调度
流程操作的递阶混杂petri网建模及调度与DCS集成策略
基于混杂Petri网的城市路网交通拥堵波及效应研究
基于混杂Petri网的微电网需求侧能量管理在线优化方法研究
混合交通流混杂建模研究