您的位置: 专家智库 > >

国家高技术研究发展计划(2007AA702204)

作品数:2 被引量:5H指数:1
相关作者:孙兆伟仲惟超张世杰更多>>
相关机构:哈尔滨工业大学更多>>
发文基金:长江学者和创新团队发展计划国家自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术航空宇航科学技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇航空宇航科学...

主题

  • 2篇卫星
  • 2篇小卫星
  • 1篇调度
  • 1篇优先级分配
  • 1篇时延
  • 1篇实时数据
  • 1篇实时数据库
  • 1篇实时数据库事...
  • 1篇实时数据库系...
  • 1篇事务调度
  • 1篇数据库
  • 1篇数据库事务
  • 1篇数据库系统
  • 1篇自动测试系统
  • 1篇测试系统
  • 1篇PETRI网

机构

  • 2篇哈尔滨工业大...

作者

  • 2篇孙兆伟
  • 1篇仲惟超
  • 1篇张世杰

传媒

  • 1篇自动化学报
  • 1篇江苏大学学报...

年份

  • 2篇2009
2 条 记 录,以下是 1-2
排序方式:
基于T-时延离散Petri网的小卫星测试序列生成方法被引量:1
2009年
通过分析小卫星测试中被测对象组成,建立测试对象与T-时延离散Petri网(T-timed discretePetri nets,TTDPN)映射关系,给出被测对象的TTDPN描述.提出TTDPN的矩阵表示方法,并证明关系矩阵与TTDPN模型间的若干性质.设计基于小卫星TTDPN模型的测试序列动态生成算法,解决了现有小卫星测试系统中测试序列执行效率低的问题.为验证算法的有效性和性能,在相同模型下将文中算法与传统测试序列生成算法进行仿真对比.结果表明,该算法能够根据用户需求,针对模型中可达状态,动态地生成测试序列,能够满足小卫星测试系统高可靠性要求.
吴限德孙兆伟张世杰
关键词:小卫星PETRI网
小卫星地面自动测试系统中实时数据库事务优先级分配算法被引量:4
2009年
小卫星自动化测试是提高测试效率、缩短研制周期、降低研制成本和保证可靠性的重要手段.针对测试数据量大、类型复杂和实时性要求高等特点,设计了小卫星自动测试系统实时数据库方案.建立测试数据相关的实时数据库事务调度模型,并在该模型基础上设计了异常数据优先的事务优先级分配算法(Abnormal data first,ADF).最后应用数学仿真验证了ADF分配算法的执行效率、正确性和有效性.本文建立的事务调度模型和优先级分配算法兼顾测试数据自身特点和实时性要求,尤其注重异常数据的处理,从而提高了测试的全面性和准确性.
吴限德孙兆伟仲惟超
关键词:小卫星实时数据库系统事务调度优先级分配
共1页<1>
聚类工具0