语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

道路网关节点分析评价专家系统的研制

本文主要阐述了工程兵道路网关节点专家系统结构模型,给出了关于关节点的知识树的构造。     

格论在图分解中的应用研究

具有编序的多树组集合是多树格。多树格是几何格。多树组和其多树格的元素之间的有一一对应的关系。一个混合子图的全部树可以由能构成最大独立集的子图的多树组的Ｃａｒｔｅｓｉａｎ乘积的并集得一而勿需用制方法求出。这样在格率和图论之间建立了联系,对图的分解问题提供了一种直观的几何方法。     

穿甲弹对主战坦克毁伤的计算分析

在完善毁伤等级、目标构造、部件贡献因子、毁伤准则、目标描述系统、系统杀伤树等概念的基础上建立穿甲弹对主战坦克的毁伤模型,通过此模型计算单发弹命中坦克时的毁伤概率,提出主战坦克易损性分析的方法及降低易损性的途径.     

城市核爆炸时杀伤的预测方法研究

在研究国内外七八十年代城市核爆炸杀伤效应预测方法的基础上,分析了核爆炸各类杀伤机制建立了友距离对数的累积函数作为毁伤概率式的统一函数形式的新的计算系统,计算,修改,拟合了各类公式的参为数,并实现了采用Ｃ语言在计算机上计算和绘图,与国家军用标准图形数据相一致。     

应用终点弹道学理论计算人员目标的毁伤幅员

本文将终点弹道学的有关理论应用到人员目标毁伤员的计算问题中,比较全面地考虑了射弹的终点效应和在不同的战术情况下人员易伤亡的差异。得出了目标坐标毁伤律的数学表达式。为炮兵自动化指挥中确定目标毁伤幅员问题提供了更加切合实际且例于编程计算的数学模型。     

目标状态变化此起毁伤幅员变化时毁伤程度的计算公式

目标状态的变化引起炮弹对目标毁伤幅员的变化,毁伤程度也会发生变化,因此毁伤程度的公式也必须反映这种变化,本文对沿用苏联二十几年的毁伤程度公式首次加入时间因素,导出随时间变化的毁伤程度公式,使之更适用于实战过程,为推动射击理论的发展进行有益的探索。