| 基于时间Petri网的并行测试任务过程建模及验证技术研究 |
| |
| 引用本文： | 吕晓明,黄考利,连光耀.基于时间Petri网的并行测试任务过程建模及验证技术研究[J].计算机测量与控制,2012,20(5):1310-1314. |
| |
| 作者姓名： | 吕晓明 黄考利 连光耀 |
| |
| 作者单位： | 1. 军械工程学院,河北石家庄,050003
2. 军械技术研究所,河北石家庄,050003 |
| |
| 摘 要： | 为满足复杂装备中某些关键系统的实时测试与诊断需求,在测试性设计过程中开展并行测试调度优化研究;针对测试任务之间关联关系复杂的实际情况,通过建立基于图染色理论的测试任务关系模型,实现了对系统资源冲突、死锁等问题的形式化描述,将并行测试调度优化转化为求解图的色数问题;并在求解图的色数问题过程中,利用改进的遗传算法逐步求解图的最大独立集,即可并行测试的测试任务子集,从而获得并行测试调度方案;最后,利用某实例对文章提出的并行测试任务调度建模及优化方法进行了验证,优化效果明显,证实了该方法对解决并行测试调度优化问题的有效性。
|
| 关 键 词： | 并行测试调度 图染色理论 最大独立集 改进遗传算法 |
Modeling and Verifying for Parallel Test Task Process Based on Time Petri Net |
| |
| Lv Xiaoming
,
Huang Kaoli
,
Lian Guangyao.Modeling and Verifying for Parallel Test Task Process Based on Time Petri Net[J].Computer Measurement & Control,2012,20(5):1310-1314. |
| |
| Authors: | Lv Xiaoming Huang Kaoli Lian Guangyao |
| |
| Affiliation: | 1.Ordnance Engineering College,Shijiazhuang 050003,China; 2.Ordnance Technological Research Institute,Shijiazhuang 050003,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
