国家部委资助项目(1010503020303)
- 作品数：2 被引量：8H指数：2
- 相关作者：杨春晖孙原理杨建军杨春辉王威更多>>
- 相关机构：中国人民解放军海军工程大学更多>>
- 发文基金：国家部委资助项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于CPN的复杂装备系统维修任务建模仿真研究被引量：4
- 2008年
- 在分析了复杂装备系统维修任务的概念、研究了维修任务与维修资源之间的相互关系后,构建了复杂装备系统维修过程的着色Petri网(CPN)仿真模型。建立了维修任务之间逻辑关系与CPN模型初始托肯的转换规则,提高了模型结构的稳定性。最后,通过案例验证了模型的正确性和有效性。
- 胡涛杨春辉杨建军
- 关键词：CPN
- 基于π演算的舰船作战任务流程建模被引量：4
- 2010年
- 针对舰船作战任务流程仿真和任务成功性研究的需求,运用π演算理论,对舰船作战任务进行了元任务分解,确定了执行命令-条件-运行设备(command-condition-equipment,CCE)规则。在此基础上,研究了一种基于元任务的作战流程π演算形式化和基于CCE规则的元任务建模方法。利用该方法对潜艇鱼雷攻击过程进行了建模,并分析了任务过程的复杂并发性、不确定性和动态演化性。最后,使用MWB工具对所建模型进行了验证和推演,证明了该模型的正确性和有效性,为舰船作战任务流程建模和分析提供了一种新的技术途径。
- 王威孙原理杨春晖
- 关键词：元任务Π演算
