您的位置： 专家智库 > >

程明华

作品数：4 被引量：32H指数：1
供职机构：北京航空航天大学自动化科学与电气工程学院自动控制系更多>>
发文基金：国防科技技术预先研究基金更多>>
相关领域：自动化与计算机技术理学一般工业技术更多>>

合作作者

文献类型

  • 2篇会议论文
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...
  • 1篇一般工业技术
  • 1篇理学

主题

  • 3篇故障树
  • 2篇动态故障树
  • 2篇硬件
  • 2篇容错
  • 2篇计算机
  • 2篇计算机系
  • 2篇计算机系统
  • 2篇分析方法
  • 1篇硬件动态
  • 1篇硬件容错
  • 1篇容错技术
  • 1篇容错计算
  • 1篇容错计算机
  • 1篇容错计算机系...
  • 1篇故障树分析
  • 1篇飞行
  • 1篇飞行控制
  • 1篇飞行控制系统
  • 1篇CAD
  • 1篇MARKOV

机构

  • 4篇北京航空航天...

作者

  • 4篇程明华
  • 3篇姚一平

传媒

  • 1篇航空学报
  • 1篇中国航空学会...
  • 1篇中国航空学会...

年份

  • 1篇2000
  • 2篇1999
  • 1篇1998
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
动态故障树分析方法在软、硬件容错计算机系统中的应用被引量：31
2000年
结合几个动态逻辑门及其向Markov状态转移链的转化,介绍了一种新的动态故障树建模分析方法,用来解决不可修系统中对动态时序特性的建模困难问题。并给出了一个具体的例子,应用这种方法对其进行分析。分析结果表明,软、硬件容错技术在计算机系统中的应用,可以显著提高系统的可靠性。
程明华姚一平
关键词：动态故障树容错技术硬件
软件可靠性早期预计方法实用性研究
概述了两种软件可靠性早期预计方法（SR方法和MR方法）的主要内容。该文中结合某工程项目飞行控制系统软件实例，应用基于模型的软件可靠性预计评估方法及工具SRP4.0，对SR方法进行了验证；结合某型铁路计算机联锁系统容错软件...
姚一平程明华
关键词：飞行控制系统
软/硬件动态故障树分析与CAD及软件可靠性早期预计方法验证研究
该文包括两个部分:动态故障树分析(DFTA)方法研究;软件可靠性早期预计方法验证研究.在前一部分,主要介绍了一种新的可靠性分析方法-动态故障树分析方法.动态故障树分析方法是在一般故障树分析法的基础上,结合Markov状态...
程明华
关键词：故障树分析
动态故障树分析方法在容错计算机系统中的应用
应用中的容错计算机系统，为了获得高的可靠性，经常采用动态余度管理、储备及复杂的故障/错误恢复技术，使计算机系统呈现出很强的动态性和实时性，而这些特性是用一般的故障树分析方法所不能描述的。该文介绍了一种新的动态故障树建模分...
程明华姚一平
全选 清除 导出
共1页<1>
聚类工具0