首页> 中文会议>2009年河南省单片微机和嵌入式系统学术研讨会 >基于着色Petri网和UML的复杂装备维修性指标验证方法研究

基于着色Petri网和UML的复杂装备维修性指标验证方法研究

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对传统维修性指标验证方法无法对并发活动与动态行为进行处理的问题，提出了一种基于CPN 和 UML 的维修性指标验证方法。首先通过标定库所和令牌的颜色类型，对变迁和弧进行发生条件约束，建立复杂装备的CPN 模型。然后根据CPN 到UML 状态机的映射规则，将所得到的CPN 模型转换为UML 模型。最后编程实现。该方法能很有效处理系统中的并发活动和动态行为，很好的实现所建模型到程序结构的转换，由很好的交互性。以某复杂装备的平均修复时间为例，仿真计算并验证了该指标，验证过程表明该方法适用范围广、可操作性好。

著录项

来源
《2009年河南省单片微机和嵌入式系统学术研讨会》|2009年|1-5|共5页
会议地点郑州
作者
崔洪亮;
展开▼
作者单位

中国电子学会;

河南省电子学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类计算机仿真;图论;
关键词
维修性指标; 装备维修; 着色Petri网; 状态机; 映射规则; 统一建模语言;

相似文献

中文文献
外文文献
专利

1. 基于虚拟现实的装甲装备维修性定量指标验证方法研究 [J] . 王玉泉 ,韩朝帅 ,陈守华 . 计算机测量与控制 . 2014,第011期
2. 复杂装备维修性验证方法研究 [J] . 高伏 ,王禄超 ,汤心刚 . 价值工程 . 2010,第010期
3. 复杂装备维修性验证仿真方法研究 [J] . 胡志刚 ,黎放 ,陈波 . 系统仿真学报 . 2007,第A01期
4. 基于PN和UVL相结合的复杂装备维修性验证 [J] . 胡志刚 ,黎放 ,徐朋 . 武汉理工大学学报（信息与管理工程版） . 2007,第007期
5. 基于虚拟现实的装备维修性时间指标验证系统研究 [J] . 王玉泉 ,韩朝帅 ,单志伟 . 兵工自动化 . 2014,第007期
6. 基于Petri网和UML相结合的复杂装备维修性验证 [C] . 胡涛 ,杨建军 ,胡志刚 . 第7届国际可靠性、维修性、安全性学术会议(The Seventh International Conference on Reliability,Maintainability and Safety) . 2007
7. UML交互图的模型验证方法研究——UML交互图至Promela程序的转换 [A] . 陈栋 . 2009

基于着色Petri网和UML的复杂装备维修性指标验证方法研究

摘要

著录项

相似文献

相关主题

期刊订阅