基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。     

FY-1C/D极轨气象卫星及其在轨运行

简要说明了风云一号(FY-1)极轨气象卫星的总体情况。介绍了FY-1C星运行5年。D星运行2年后的测控、电源、热控、敖传、扫描辐射计和星载数据收集与分发(DCDS)分系统、有效载荷空间粒子成分监测器。以及姿控和星载计算机的在轨运行情况。在轨测试结果表明，两星的在轨运行、功能和性能符合任务书的要求。最后总结了长寿命高可靠稳定优质业务运行的FY-1C，D星的创新点、主要成绩，并给出了部分应用情况。     

正态模型结构可靠性贝叶斯下限的计算方法

本文对正态模型结构可靠度的贝叶斯精确下限的评估公式提供一种新的计算方法。该方法能达到任意给定的精度。计算复杂度可由O(n~2)降为O(n)。程序结构简单,使用方便。     

用广度优先搜索求割点和块的算法研究

本文在作者以前研究的基础上,进一步提出子树径和独立子树径的概念,深刻分析了在广度优先搜索下简单连通无向图的结构特征,并给出判断割点和块的准则,为设计用广度优先搜索寻找割点和块的有效算法提供了理论依据。     

以可靠性为约束的结构优化

 常规结构优化设计存在以下两个根本缺陷:首先,没有确切考虑载荷及元件强度实际存在的不确定性,而用安全系数给以笼统的概括。安全系数取值一般较大,元、对结构带来的影响往往比经过优化设计所得到的效益还要大。第二,它是用元件的应力约束来保证结构系统安全,因此,它是结构元件安全基础上的优化设计。从系统论的观点看,元部件功能好整体功能不一定好。     

直升机无维修待命时间的理论研究

 <正> 1.引言 国军标《飞机维修品质规范》将“无维修待命时间(t_(al))”列入考核飞机维修品质的重要指标之一,在某些新研直升机的技术指标中已经提出了t_(al)的定量要求。由于该指标能直观地反映直升机的可靠性和维修性水平,所以具有重大的工程意义和实用价值。但是到目前为止理论上尚缺乏深入的研究,工程上也尚未开展该指标的设计和试验。为了给工程设计提供理论依据,本文在理论上对该指标进行了较为深入的研究,用“可靠寿命”的概念阐述了无维修待命时间。     

从振动观点看环境试验与可靠性试验

 <正>目前,我国航空产品设计人员把环境试验和可靠性验证试验混为一谈,造成试验设计的错误。本文试图较全面地阐述航空产品的环境振动试验与可靠性验证试验之间的关系,着重分析两种试验在试验目的、应用场合、试验量值、试验时间与失效判据等方面的区别,以期澄清容易引起混淆的一些概念。     

一种改进的备件系统优化模型及解法

目前各民航企业都面临着航材备件积压问题。即使是依照渡音公司的首期清单推荐的备件数量准备还是不能避免出现积压问题，这就要求从整体上对备件进行优化。BARLOW模型是一种简单有效的优化模型，但是它的评价函数不甚理想。改进了BARLOW模型的评价函数，使其更符合民航备件的实际情况。     

系统可靠性维修性分配软件设计

设计的系统可靠性维修性分配软件是为工程人员进行系统可靠性维修性分配计算提供的软件平台,采用了扩展二叉树(左父右子树)算法、OLE技术、数据库技术等,通过C 语言,完成了分配模型建立、可靠性分配算法、维修性分配算法、报表输出、数据库操作等模块的编制工作。从软件工程的角度分别对各个开发阶段的工作,及其功能实现做了具体的阐述。最后,对本系统进行了综合测试,获得了较好的效果,满足了工程准度和精度的要求,提高了系统可靠度分配的效率,为工程应用提供了有力的平台。     

装备可靠性维修性保障性效能模型及其扩展

在装备效能分析中 ,装备的可靠性 (R)、维修性 (M )及保障性 (S)指标是影响装备效能的重要指标。通过对ADC模型分析的基础上 ,提出了装备的可靠性、维修性及保障性 (RMS)效能的概念 ,并从完成单阶段单任务拓展到多阶段多任务 ,推导出不可修装备RMS效能的综合表达式。从而为完成多阶段多任务的不可修装备的可靠性维修性保障性的效能的定量分析提供了理论依据。