Ada语言在星载软件上的应用

介绍了星载软件的特点和构成，从提高星载软件可靠性的角度引入了高级程序设计语言－Ada语言与汇编语言的接口调用技术，以及使用Ada 语言开发星载软件和应用技术。     

星载铷原子频标的可靠性强化试验

针对影响星载铷原子频标可靠性的环境因素进行了分析,确定了影响星载铷原子频标可靠性的主要环境敏感应力,根据可靠性强化试验理论和星载铷原子频标的技术特点,设计了可靠性强化试验方案。依据此方案对新研制的某型星载铷原子频标工程样机实施了可靠性强化试验。试验结果表明,该方案对确定该型号铷原子频标样机工作极限、激发其潜在缺陷,均有较好的效果,从而为实现星载铷原子频标的可靠性增长提供了新的思路。同时本研究对同类高可靠航天产品的可靠性增长可提供借鉴。     

具有不确定数据的指数可靠性增长的Bayes方法

对具有不确定数据的指数可靠性增长问题，应用Bayes方法给出了精确限、近似限及试验阶段的划分方法。并以实例加以说明。     

导弹翼面随机有限元法及程序研究

讨论两种应用于导弹翼面结构的随机有限元法及其计算程序，试算表明，本方法与程序可适用导弹翼面结构的可靠性预测与可靠性设计。     

纤维缠绕复合材料层间质量声-超声无损评价

叙述了用声－超声进行复合材料危害性缺陷无损评价的研究，认为，声－超声信号在试样厚度上产生纵不皮共振，使得频谱能量集中在某些频率点附近，而声波又以切波的形式由发射换能器传向接收换能器，可用声－超声谱峰的位置来无损评价纤维缠绕增强型复合材料的层间结合质量。实验结果表明这一参量对纤维增强型合材料中的分层或紧贴型分层比较灵敏。     

防空导弹武器系统可靠性设计要求

为满足现代防空导弹武器系统全寿命周期的高可靠性，从工程应用角度讨论了防空导弹武器系统可靠性设计要求，具体涉及到总体设计、元器件使用、降额设计、容错设计冗余设计、热设计、简化电路设计、提高接点可靠性设计、机械结构可靠性设计和完全性设计等诸方面问题。     

基于及时修正策略的成败型产品可靠性增长分析

针对及时修正试验策略，根据Fries可靠性增长模型和Duane学习曲线特性，基于不同的失败类型对模型进行了扩展。用进化算法对似然函数求极值，获得了参数极大似然估计，以及最终研制阶段可靠性点估计。对某固体火箭发动机可靠性增长实例的分析结果表明，与经典评估方法相比，本文模型更具优越性。     

有关压力传感器可靠性设计的若干问题

论述压力传感器的研制和应用中的经验教训。着重讨论从任务书要求，工程化设计，到生产过程有关压力信号特征、压力接口以及功能与结构相关性，功能与材料相关性等问题。     

一种综合性能与寿命数据的Bayes-Bootstrap方法

对现代长寿命、高可靠产品进行可靠性评估,传统大样本寿命试验和统计推断方法存在很大困难,包括伪寿命数据方法在内的性能与寿命数据综合的可靠性评估方法也存在很多问题。提出了将性能可靠性建模与Bayes方法相结合的方式解决这一困难问题,其中对性能试验数据建立性能退化模型,并利用Bootstrap方法处理伪寿命数据导致的随机性误差和构造融合Bayes验前分布,然后利用Bayes验后分析进行可靠性统计推断。对随机斜率模型和长寿命卫星动量轮轴承组件润滑寿命的应用表明,提出的方法可以充分利用产品研制、使用过程中各种类型的信息,特别是性能试验信息,具有一定的适用性。     

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

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