快速生成图中全部树

本文提出了一种生成图中全部树的新的有效算法。方法构思新颖,结论简明。作者将根据本文方法原理编制的计算机程序与根据 Minty 法编制的程序进行了实际上机计算比较,运算结果表明本文方法在缩短计算机运行时间方面具有明显的优势。     

推理树概率逻辑公式集有效赋值列数计算

本文通过对概率逻辑推理树知识结构模型的研究,得出在树推理中对矩阵列消减起主要作用的相邻关系及其计算方法,给出了树推理模型的有效赋值列数的一般计算方法。     

火灾风险评价的随机过程模型

本文运用事故树分析法和随机过程的马尔克夫模型,建立了评价火灾风险的动态模型。运用该模型能计算某系统特定地点起火后火灾损失风险概率的时间分布,为消防设计和消防管理提供参考。     

水面舰艇空中目标火力分配模型研究

根据水面舰艇对空防御的战术需要,系统分析水面舰艇照射器的配置模式,提出了基于改进的分治算法的空中目标火力分配方法,仿真验证结果表明了该方法对提高对空防御软件的可靠性和实时性具有一定的借鉴意义。     

基于可拓方法的C3I作战方案生成与评价

作战指挥决策支持系统是指挥自动化系统的重要组成部分,作战方案生成与评价是作战指挥决策支持系统的基本功能.根据作战指挥决策支持系统特点将可拓方法应用于作战方案生成与评价,并分析了其优势所在.结合空战案例运用发散树方法进行作战方案集的开拓,并利用优度评价方法进行作战方案的评价,从而得到最佳作战方案.     

基于平均度的树分解启发式算法

很多树宽较小的NP难问题能用树分解技术在多项式时间内求解,寻找无向图的树宽有助于提高求解效率。因此,基于图的平均度提出了两种新的树分解启发式算法。这两种算法根据树分解与图三角化之间的关系,利用顶点度与平均度的偏差和填边数构造顶点消除序列,快速得到树分解的宽度。在随机正则图和DIMACS图着色实例上的测试结果表明:这两种算法简单易实现,与最小填边法相比能找到更优的树宽上界。     

基于事故树和贝叶斯的军民航飞行冲突风险研究

为充分了解当前军民航飞行冲突、危险接近事故征候的成因,并对其发生原因进行有重点的预防和对事件发生概率的精确预测,首先建立事故树模型,对其原因进行分析;总结导致其发生的基本事件,计算事故树模型的最小割集和各个基本事件的结构重要度;其次对军民航飞行冲突、危险接近事故征候的发生概率进行合理的取值,得出基本事件的概率重要度,指出基本事件发生概率对顶事件发生概率的影响;最后构建军民航飞行冲突、危险接近事故征候贝叶斯网络模型,计算中间事件的条件概率和顶事件发生概率,并与实际结果进行对比,验证方法可行性。