您的位置: 专家智库 > >

国防科学技术预先研究基金(51317040102)

作品数:4 被引量:15H指数:3
相关作者:刘冠军邱静苏永定杨鹏徐玉国更多>>
相关机构:国防科学技术大学北京航天飞行控制中心更多>>
发文基金:国防科技技术预先研究基金更多>>
相关领域:自动化与计算机技术自然科学总论更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 4篇自动化与计算...
  • 2篇自然科学总论

主题

  • 2篇测试性
  • 1篇多步
  • 1篇多阶段任务系...
  • 1篇信息模型
  • 1篇搜索
  • 1篇搜索算法
  • 1篇统一建模
  • 1篇统一建模语言
  • 1篇确定与随机P...
  • 1篇稳态可用度
  • 1篇可用度
  • 1篇基于UML
  • 1篇计算机
  • 1篇计算机辅助设...
  • 1篇建模语言
  • 1篇辅助设计
  • 1篇复杂装备
  • 1篇UML
  • 1篇DSPN
  • 1篇测试性设计

机构

  • 4篇国防科学技术...
  • 1篇北京航天飞行...

作者

  • 4篇邱静
  • 4篇刘冠军
  • 3篇苏永定
  • 1篇杨鹏
  • 1篇徐玉国
  • 1篇王东

传媒

  • 1篇计算机集成制...
  • 1篇系统工程理论...
  • 1篇中国机械工程
  • 1篇测控技术

年份

  • 2篇2010
  • 1篇2009
  • 1篇2008
4 条 记 录,以下是 1-4
排序方式:
基于UML的复杂装备测试性需求建模被引量:2
2010年
提出了一种基于UML的复杂装备测试性需求分析模型。首先分析了测试性需求分析过程;然后描述了统一建模语言(UML)测试性需求建模思想;最后构建了以用例模型、静态模型和动态模型为主的测试性需求分析模型,该模型详细描述了测试性需求分析过程中的系统信息管理和确定测试性指标要求的用例、对象信息以及交互行为,保证了信息的完备性和模型的有效性。通过开发测试性需求分析软件系统,并对某导弹进行测试性需求分析和指标确定,验证了结果的可信性和方法的有效性,为开展装备测试性需求分析和指标确定奠定了基础。
苏永定刘冠军邱静潘志昆王东
关键词:信息模型
不完备检测条件下的系统测试建模与分析被引量:3
2009年
复杂装备系统故障在实际中无法进行完全检测和故障隔离,传统的基于完备检测假设的维修过程模型已不适用于系统性能分析。从实际出发建立了劣化系统在不完备检测条件下的测试过程Markov模型。根据Markov状态微分方程和系统稳态平衡理论,提出求解系统稳态可用度的一类解析算法,构建了系统功能故障前平均时间和平均维修费用计算模型。实例说明了系统的故障检测频率、故障检测率和虚警率等测试性参数对系统稳态可用度、功能故障前平均时间和平均维修费用的影响。
苏永定刘冠军邱静徐玉国
关键词:稳态可用度
基于DSPN的多阶段任务系统测试性需求建模与分析被引量:6
2010年
针对多阶段任务系统(PMS)的测试性需求分析问题,提出了一种基于确定与随机Petri网(DSPN)的系统级测试性需求模型(PMS-DSPN)和指标确定方法.PMS-DSPN模型包括系统网(SN)和阶段网(PhN)两部分,每个SN对应于各个子阶段任务的GSPN测试性需求模型;PhN对应于各个阶段任务间的转换过程,并通过关联矩阵进行描述.基于该模型得到PMS任务成功率计算方法,并结合PMS维修代价、测试性设计代价计算方法,构造了系统级测试性指标优化分析模型,进而确定PMS系统级测试性指标.最后通过实例验证该方法的有效性.
苏永定刘冠军邱静
关键词:多阶段任务系统确定与随机PETRI网
计算机辅助测试序列优化被引量:4
2008年
为自动获取平均测试费用最少,且能快速实现系统故障检测与隔离的最优测试序列,提出了一种准多步前向搜索算法。该算法结合了一步前向搜索和多步前向搜索的基本特点,并以信息增益为启发策略,获得了计算精度和复杂度的权衡。基于该算法,开发了一个测试序列优化工具,通过对大量实例的计算,证明该工具可以在实用中取得满意结果,且该工具可以用作自动测试设备和便携式维修辅助软件的核心诊断推理机。
杨鹏邱静刘冠军
关键词:测试性设计计算机辅助设计
共1页<1>
聚类工具0