基于T-时延离散Petri网的小卫星测试序列生成方法

• 作者: 吴限德 孙兆伟 张世杰
• 来源期刊: 江苏大学学报（自然科学版）
• 学科: 航空航天
• 关键词: 小卫星 Petri网 测试序列 建模 模型驱动
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 计算机通信工程
• 页码范围: 396-400
• 页数: 5页
• 分类号: V411.8
• 字数: 4242字
• 语种: 中文

摘要

通过分析小卫星测试中被测对象组成,建立测试对象与T-时延离散Petri网(T-timed discrete Petri nets,TTDPN)映射关系,给出被测对象的TTDPN描述.提出TTDPN的矩阵表示方法,并证明关系矩阵与TTDPN模型间的若干性质.设计基于小卫星TTDPN模型的测试序列动态生成算法,解决了现有小卫星测试系统中测试序列执行效率低的问题.为验证算法的有效性和性能,在相同模型下将文中算法与传统测试序列生成算法进行仿真对比.结果表明,该算法能够根据用户需求,针对模型中可达状态,动态地生成测试序列,能够满足小卫星测试系统高可靠性要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张世杰	哈尔滨工业大学卫星技术研究所	70	787	15.0	25.0
2	孙兆伟	哈尔滨工业大学卫星技术研究所	109	747	14.0	21.0
3	吴限德	哈尔滨工业大学卫星技术研究所	28	100	6.0	8.0