基于Bayes理论的成败型装备鉴定试验风险分析

为了充分考核成败型装备的性能指标,合理确定鉴定试验统计方案,利用Bayes理论对试验风险进行了重点研究.在选取先验分布为Beta分布的条件下,给出了工程中常用两种风险(平均风险和后验风险)的表达式,并详细解释了两种风险的研究思路和适用范围.在此基础上,从鉴定试验可能出现的结果出发,建立了最大后验风险模型,给出了其相关性...     

空气循环制冷设备状态监测与故障诊断系统设计

该空气循环制冷设备用于飞机机上环境控制系统不工作状态时,向飞机提供给定温度和湿度的空气,达到降温或除湿的目的。在对该设备工作原理进行深入研究的基础上,针对其热力性能故障,选取了30个监测参数,并采用故障树分析方法,设计了该设备的状态监测与故障诊断系统。这里主要介绍了该系统的状态监测与故障诊断原理、主要功能、及其硬件设计和软件设计。该系统能够快速、准确地确定故障部位,提高维修效率。     

航班自动匹配的进一步研究

根据2个城市的航运时刻表,通过相应的程序计算出飞机在各机场停留的最短时间,完成每个航运时刻表最少使用的飞机架数与某架飞机完成一个飞行周期所需要的天数。给出4个例题的进一步讨论:1)当nm时的m×n阶停留时间阵;3)目标函数的极大值;4)多个城市间航空班次的最佳匹配问题。     

基于故障树模型的航天器故障诊断研究

本文建立了基于故障树模型的航天器故障诊断框架，提出了航天器故障诊断的知识组织和表示方法及相应的推理控制策略，并通过对某卫星能源系统故障实验台的故障诊断验证了方法的正确性。     

LAS词法及语法分析器自动生成工具

LAS是在VAX/VMS操作系统上用Ada语言开发的词法分析器和语法分析器的自动生成工具。词法分析器由词法执行程序和LAS根据词法规则说明文件生成的词法树组成,语法分析器由语法执行程序和LAS根据语法规则说明BNF范式生成的状态序列集组成,在BNF范式中插入语义标志,就可以在语法分析器分析到该语义标志时,使控制转入用户提供的语义处理程序。     

产品概念设计网络求解的评价算法研究

产品概念设计是一种复杂的推理求解过程,它的设计过程的推理、判断工作量往往非常巨大.利用"与/或"树的知识表达方法,对产品概念设计过程的原理解答及其组合原理方案评价进行了深入的研究,提出了一种分解/综合网络评价算法,为产品概念设计过程的优化以及设计效率的提高打下良好的基础,并为进一步开发智能设计的计算机软件支持工具提供了一种形式化的评价方法.     

A NEW ALGORITHM FOR ALL EFFICIENT SPANNING TREES

Ｃｏｒｌｅｙ提出了一种求所有有效生成树的算法，但该算法得到的最终解含有许多非有效的生成树。本文提出一种新的算法，首先指明了Ｃｏｒｌｅｙ算法理论基础的缺陷，然后进一步提出并证明了一个子树是有效生成树的子树的两个必要条件。根据这个结果，建立了这种新算法并证明了它的有效性。     

用事故树方法分析危险品航空运输事故原因

运用事故树分析法分析危险品航空运输事故原因有助于提高该方面安全管理工作的主动性和针对性。通过分析得出最容易引发危险品航空事故的两个因素是从业人员未经培训或培训不足、未能及时识别新产品的危险性。此外还针对这两个因素提出了安全管理的改进建议。     

数据挖掘技术

数据挖掘技术是继网络之后的又一个技术热点,本文从数据挖掘的概念出发,根据数据挖掘的特点对其进行了分类,在对数据挖掘的重点方法和一般数据挖掘过程进行了阐述的基础上,分析总结了WEB数据挖掘方法和流程。在文章的最后对数据挖掘的发展还做了预测。     

一种基于层簇式的卫星网络组密钥管理方案

针对卫星网络中组密钥管理过程面临的诸多挑战,提出一种基于层簇式的卫星网络组密钥管理方案LCGKM。结合卫星网络的多层次结构特点,建立了层簇式组密钥协商网络模型,将高轨道卫星作为组密钥协商发起节点,组成员通过三叉密钥树自主计算出组密钥,有效地减少了组密钥协商过程中的通信开销,增强了方案的灵活性、可扩展性。另外,在组密钥协商过程中,利用双线性对和身份认证技术,确保组成员能够对接受的组密钥信息进行验证,进一步增强了方案的安全性。性能分析表明：方案在满足更高安全需求的基础上,具备通信效率高、计算量小等优点,适用于具有大规模组播需求的卫星网络。