刘显明
- 作品数：3 被引量：12H指数：2
- 供职机构：江西省电力公司信息通信分公司更多>>
- 发文基金：国家自然科学基金湖南省高校科技创新团队支持计划湖南省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Matlab的时间Petri网工具箱被引量：2
- 2011年
- 要解决实际系统,尤其是大型复杂实时系统的建模、模拟、分析和验证等问题,友好、有效的工具支持是必不可少的。充分利用Matlab强大的矩阵运算和丰富的数据分析能力,研制基于Matlab平台的可视化时间Petri网分析工具箱,重点开发了工具箱的图形编辑、动态模拟、时间分析等功能,为时间Petri网分析工具的研制提供了一种有益的探索。
- 潘理刘显明郑红张远来
- 关键词：时间PETRI网MATLAB工具箱
- 基于蚁群优化的时间Petri网及其在柔性制造系统调度优化中的应用被引量：7
- 2014年
- Petri网的优化调度求解主要采用基于状态空间的智能搜索方法,执行效率往往不高.提出基于蚁群优化的时间Petri网,通过在Petri网的变迁和进化规则中引入蚁群优化机制,改变Petri网原有的非确定性选择行为,使之具备蚁群寻优选择智能行为,克服了需要基于状态空间进行启发式搜索的缺陷,提高了调度优化的计算效率.最后应用蚁群优化时间Petri网模型,对柔性制造系统的区间Job Shop调度问题进行建模和优化求解.实验结果进一步验证了所提模型和方法的有效性.
- 潘理郑红郭观七刘显明
- 关键词：调度优化蚁群优化时间PETRI网柔性制造系统
- 基于Petri网局部性的极大冲突集枚举算法被引量：3
- 2016年
- 冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP(Non-deterministic Polynomial)完全的.提出极大冲突集动态枚举算法,该算法基于当前标识的所有极大冲突集,利用Petri网实施局部性,仅计算下一标识中受局部性影响的极大冲突集,从而避免重新枚举所有极大冲突集.该算法时间复杂度为O(m2n),m是当前标识的极大冲突集数目,n是变迁数.最后证明自由选择网、非对称选择网的极大冲突集枚举算法复杂度可降至O(n2).极大冲突集枚举算法研究将为Petri网冲突问题的算法求解提供理论参考.
- 潘理郑红刘显明杨勃
- 关键词：PETRI网
