| 基于多层次Petri网的软件保障流程建模 |
| |
| 引用本文： | 杜家兴,黄静,毕明光,周泽云.基于多层次Petri网的软件保障流程建模[J].装甲兵工程学院学报,2008,22(6). |
| |
| 作者姓名： | 杜家兴 黄静 毕明光 周泽云 |
| |
| 作者单位： | 1. 装甲兵工程学院科研部,北京,100072
2. 装甲兵工程学院技术保障工程系,北京,100072 |
| |
| 摘 要： | 软件保障流程分析是研究软件保障规律的重要手段。应用多层赋时变迁、随机Petri网技术,逐步细化建立了软件保障流程仿真模型,给出了各层次模型中库所和变迁的含义。结合模型的仿真分析,提出了用"软件使用保障时间比"作为评价软件保障性的参数,给出了软件使用保障时间比的计算方法,并就该计算方法所表达的意义同装备系统进行了比较,指出了软件使用与保障时间分配的特殊性。
|
| 关 键 词： | 多层次Petri网 软件保障 流程建模 软件保障性评价 |
Software Support Flow Modeling Based on Multi-Leveled Petri Net |
| |
| DU Jia-xing,HUANG Jing,BI Ming-guang,ZHOU Ze-yun.Software Support Flow Modeling Based on Multi-Leveled Petri Net[J].Journal of Armored Force Engineering Institute,2008,22(6). |
| |
| Authors: | DU Jia-xing HUANG Jing BI Ming-guang ZHOU Ze-yun |
| |
| Institution: | DU Jia-xing1 HUANG Jing2 BI Ming-guang1 ZHOU Ze-yun1(1.Department of Science Research,Academy of Armored Force Engineering,Beijing 100072,China,2.Department of Technical Support Engineering,China) |
| |
| Abstract: | The analysis of software support flow is an important means to study the software support laws.The paper employs multi-level timed transition,random Petri Net technology and builds a simulation model of software support flow and finally gives the definitions of place and transition in each hiberarchy model.Combining the model simulation analysis,the paper brings forward the concept of taking software operation and guarantee time rate as an evaluation parameter and gives the method to calculate this rate.In ... |
| |
| Keywords: | multi-level Petri net software support flow modeling software supportability evaluation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
