内置谓词函数依赖及其推理规则

研究内置谓词函数依赖及其推理规则.首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用.     

鱼雷联接结构可靠性稳健优化设计

将可靠性优化设计理论与可靠性灵敏度分析方法相结合,提出了可靠性稳健优化设计方法.采用该方法对鱼雷螺钉联接结构和楔环联接结构进行了实例分析,并给出了仿真计算结果,为工程实际机械产品的可靠性稳健优化设计提供了理论依据.     

基于预计和评估结果融合的电子装备可靠性预测方法

分析了目前获得电子装备可靠性水平的可靠性预计和评估两种方法各自的优缺点,确立了融合两种方法所得结果以解决各自方法不足的思想.基于证据决策理论,以电子装备累积故障概率作为目标集,将可靠性预计结果和评估结果分别作为两批证据对目标集进行支持.利用信息融合方法,对两个利用不同源信息得出的预计结果和评估结果进行了融合,并得到了准确、实用的可靠性预测结果.最后以某型雷达为例进行实例分析,验证此方法的可行性.     

航天精工：与民用航空一起腾飞

大型客机是高科技产品,其技术难度高、构成复杂,零部件就有260万之多。由于民用航空器的安全性、耐久性要求都远远高于军用产品,运营寿命高达几万个小时,长达几十年,因此对材料、元器件、零部件、设备、系统等的可靠性要求非常高。     

舰空导弹测试项目优化方法研究

舰空导弹测试项目设计优化的目标应是全面但最简。提出如下优化方法:用Luenberger状态观测器法提取能覆盖各方面性能的测试项目最简集合,根据可靠性预计、故障分析得到的可靠性薄弱环节筛选,最后根据各类测试的不同需求和约束条件确定测试项目集合。其思路和方法也可用于其他复杂系统。     

考虑设备性能退化的船用热力系统多阶段任务可靠性

设备的性能总是随着工作时间的增加而退化,但退化的速度是随机的,含有性能退化设备的热力系统在特定的使用阶段上,能否定成预定任务,对设备使用和维修管理决策至关重要。在船舶蒸汽动力系统中,设备本身性能储备、冗余和互备的工作方式以及多样化的设备特征参数,导致按照传统的可靠性计算方法直接解算系统的多阶段任务可靠度十分困难。为此,以朗肯循环的典型设备所构成的热力系统为例,基于设备性能退化模型和朗肯循环的热力模型,采用Monte Carlo仿真方法分析了典型系统的多阶段任务可靠度。研究表明:该方法能够解决具有设备性能退化特点的复杂热力系统的任务可靠性分析问题。     

多核异构冗余模型设计与可靠性分析

为进行电磁仿生研究,提高复杂电磁环境下控制系统运行的可靠性,在一种新型计算机系统结构框架的基础上,提出了多核异构冗余模型,设计了互关总线协议,实现了相应的容错策略,进而进行了异构双机冗余系统的实验,并利用马尔可夫过程模型分析了系统的电磁抗扰能力。实验表明,该模型能够有效地提高系统可靠性,满足相关仿生研究的设计要求。     

故障模式与影响分析技术及其应用

故障模式与影响分析技术(FMEA)是一种可靠性设计的重要方法,它对各种可能的风险进行评价、分析,以便在现有技术的基础上消除这些风险或将这些风险减小到可接受的水平。本文介绍了FMEA的目的、作用以及基本思想,对FMEA的工作程序及注意事项进行了探讨。     

火炮炮闩击发机构可靠性强化试验技术

为提高炮闩的试验效率和可靠性,将可靠性强化试验理论引入其可靠性研究中。以火炮炮闩为强化试验载体,基于虚拟样机技术对击发机构磨损失效进行强化试验研究,依据受力分析确定了增大击针簧刚度的强化试验技术,通过仿真试验和分析,结果表明机构磨损量强化系数随强化应力水平的提高而变大,所确定的强化试验技术加快了零部件失效进程,有利于缩减可靠性试验的时间,为可靠性强化试验在装备机械系统中的应用提供理论和技术支撑。     

采用SHLPN分析特种车载总线网络可靠性

针对特种车载总线网络可靠性难以评估的问题,提出采用随机高级Petri网(Stochastic High-level Petri Net,SHLPN)分析特种车载总线网络可靠性。深入分析特种车载总线网络故障模式的基础上,将其等效为冗余总线控制器模块、远程终端模块和冗余链路模块的串联,分别建立各个模块的SHLPN模型,得到了各个模块的稳态可用度计算式,进而综合得到特种车载总线网络的稳态可用度计算式。最后,实例分析验证了所提方法的有效性。