基于多信号流图的诊断贝叶斯网络建模

多信号流图与贝叶斯网络是两种不同的建模方法,对两种建模方法的异同分析表明多信号流图到贝叶斯网络的转化是可行的.为了降低诊断贝叶斯网络模型的开发费用,提出了一种基于多信号流图的诊断贝叶斯网络建模方法,从模型结构和模型参数两个方面论述了多信号流图向诊断贝叶斯网络的转化方法.依据该方法生成的诊断贝叶斯网络模型具有应对复杂系统故障诊断的证据冲突及不确定性问题的优点.实验证明所获得的诊断贝叶斯网络模型的诊断准确性与多信号流图模型一致.     

过站航班地面保障过程动态预测

过站航班地面保障过程预测是机场协同决策系统的重要功能。针对目前无法实现过程精细化动态预测且精度较低的问题,提出了一种基于贝叶斯网络的过站航班地面保障过程动态预测方法。建立了地面保障过程贝叶斯网络模型,设计了基于航班属性的初始样本空间生成算法,结合高斯核概率密度估计构建了地面保障过程动态预测方法。某枢纽机场实际数据的仿真结果表明:所提方法在充分考虑航班运行属性的基础上实现了各保障节点的动态预测,其平均绝对误差仅为2.224 1 min,均方根误差相比其他方法低近2 min,能够为机场运行短时战术组织提供客观的决策依据。      

FC-空间内的KKM型定理及应用

在不具有任何凸性结构和线性结构的有限连续空间(简称FC-空间)中给出了KKM型定理。并应用此定理,在很弱的条件下证明了鞍点定理和Walras型定理,推广了近期文献中的一些相关的结果。     

高尔顿钉板试验的算法实现及分析

利用随机函数的生成值模拟小球下落事件的随机变量取值,给出了高尔顿钉板试验数值模拟,同时,也得到了当钉板排数n→∞时,大量小球落下后呈现的曲线几乎总是类似的,即近似于正态分布,达到了高尔顿钉板试验的算法实现及分析的目的。     

一种改进的降落伞动力学模型

为更准确地模拟降落伞动力学特性,根据质点系动量定理和动量矩定理推导出一种改进的降落伞动力学模型。基于该模型对某十字型伞开展了稳降阶段的编程计算,获得了降落伞和载荷体的速度及姿态角的变化情况,数值计算结果和空投试验结果有很好的一致性。该模型易于编程,相较于传统模型能得到更准确的降落伞速度和姿态角的振荡频率,是传统降落伞动力学模型的有益补充。     

基于改进蚁群算法的改航路径规划研究

当航班遇到恶劣天气或者飞行冲突时,可以采取航班改航策略为需要改航的航班规划出合适的飞行路径。采用栅格法对环境进行建模并且对传统蚁群算法进行改进。首先,在转移概率的计算上加入危险天气的影响等级;其次,在节点选择上采用贝叶斯思想,通过后验概率对候选节点进行评估;最后,通过在短时间内信息素的增量上的差别来增大较优路径和其他路径之间的信息素量的差距,引导算法收敛到最优路径,同时加快算法的收敛速度。经算例分析证明了方法的有效性和可行性。     

一类非线性三点边值问题正解的存在性

文章研究了一类非线性三点边值问题正解的存在性。运用一种新的方法得到格林函数的一些性质,然后运用Guo—Krasnoselskii不动点定理建立了边值问题在满足很弱的条件下解存在的条件,推广和改善了相关文献的结果。     

贝叶斯网络在飞控系统可靠性评估中的应用

把一种基于贝叶斯网络的故障树分析法应用于飞控系统俯仰控制功能的可靠性评估中,突破传统故障树分析法的局限性——各部件独立、状态为二值,不但可以计算系统的可靠性指标,而且可以定量给出某个事件或某几个事件在系统可靠性中所占的地位,找出系统的薄弱环节。     

费马大定理巧妙证明

费马大定理是费马发现巧妙证法之后提出来的。通过从特殊到一般的巧妙证法,用二项式定理等初等数学方法巧妙地证明了此定理。即:不定方程xn yn=zn(n>2)(本文的各种字母没有特别指出时,都表示是正整数),当x=10a时,z不等正整数。由此得出"1加正有理数n次方和的n次方根是无理数。"的引理。用此引理和集合包含关系巧妙地证明了此定理。     

一种Cauchy微分中值定理的推广方法

对Cauchy微分中值定理进行了推广.