编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

透平叶片的可靠性安全系数设计法

本文基于目前的蒸汽透平叶片振动强度设计准则,提出了可靠性安全系数设计法,给出了一些计算公式,并简要介绍了该方法在叶片设计中的应用。     

自动武器可靠性寿命分布规律研究

本文对两种具有代表性的自动武器收集其生产验收寿命试验的故障记录,经处理得出寿命子样,再用皮尔逊检验进行分布函数检验,从中发现自动武器寿命分布服从指数分布,为研究自动武器可靠性指标及其验收方法提供了理论依据。     

机载火控产品抗振设计

本文论述了机载平显的抗振设计,重点阐述了振动对机载平显的影响及抗振设计措施,给出了元件及印制板的固有频率计算方法,对安装方式进行了分析比较,并简要论述了整机抗振设计方法,进而保证产品可靠性。     

维修方式再探讨

本文根据近几年关于维修方式讨论中提出的一些问题,在维修方式的分类、应用决策、设计要求和效能等方面,联系维修实际进行了探讨,提出了一些原则、方法和观点。     

以可靠性为中心的维修

以可靠性为中心的维修(Reliability Centered maintenance——RCM)是美国航空界和美国防部制订装备预防维修大纲时所使用的一种维修理论,其主要目的是以最低的费用保持复杂装备的固有可靠性水平。本文跟踪RCM的发展过程,简述其基本原理和基本内容,并在综述国内外有关文献的基础上提出了笔者对RCM的认识及在军械系统应用RCM的必要性。