论文部分内容阅读
提出了利用赋时Petri网(Timed Petri Net)对自动测试系统建模和性能分析的方法.采用启发式算法,对系统的可达树进行搜索,实现测试序列的优化,不仅降低了计算的复杂度,而且获得了满意的并行度,提高了自动测试系统的测试效率.
基于赋时Petri网的自动测试系统建模
【摘 要】
：
提出了利用赋时Petri网(Timed Petri Net)对自动测试系统建模和性能分析的方法.采用启发式算法,对系统的可达树进行搜索,实现测试序列的优化,不仅降低了计算的复杂度,而且获
【机 构】
：
军械工程学院导弹工程系,76321部队导弹室,69220部队
【出 处】
：
军械工程学院学报
【发表日期】
：
2005年6期
其他文献
在对一起汽车火灾调查的基础上,根据普通烟道火星的引燃性能、空气滤清器滤纸的燃烧性能、滤清器内空气的流动状况,从理论上分析了烟道火星被吸进滤清器并引燃滤纸的可能性,
应用非线性H∞控制理论,在建立导弹与目标相对运动数学模型的基础上,研究了一种拦截机动目标的鲁棒H∞制导律.这种鲁棒H∞制导律将目标的机动加速度视为有界的外界扰动输入,