一种基于DIS/HLA仿真的空对地作战效果评估方法

空对地作战效果的分析与评估,是空防对抗仿真训练系统的一个核心组成和难点问题。通过深入研究,提出了一种基于D IS/HLA仿真的、将空中进攻过程划分为若干赋权子阶段的空对地作战效果评估方法,可实现航空兵对地整体作战效果与对不同地面目标作战效果的评估。实际应用表明,该方法具有较强的实用性与较高的可信度。     

推广的马尔可夫分割定理

主要证明了推广的马尔可夫分割存在性定理,即在没有极大性的条件下,定理也是正确的.     

极大局部边连通和超级局部边连通二部有向图的邻域条件

本文主要证明了对于n阶二部有向图D，当最小度δ≥3,对任意同部顶点x，y,有min{|N⁺(x)∪N⁺(y)|，|N^-(x)∪N^-(y)|}≥(n+3)/4]时,D为极大局部边连通的；当最小度δ≥4,对任意同部顶点x，y,有min{|N⁺(x)∪N⁺(y)|,|N^-(x)∪N^-(y)|}>(n/4)+1时,D为超级局部边连通的。我们证明了条件的最好可能性及结果与原有结果的独立性。     

关于二维伊辛模型严格解中的一个问题

本文指出并改正了文献关于二维伊辛模型严格解推导中的一个错误.     

专家系统规则启发式划分和并行推理

本文提出了一个启发式规则划分办法并分析了并行规则推理的代价,设规则集合被划分为π=(π_1,π_2,…,π_k),则对于任何一个规则R_i∈π_i,在π_(i-1)中至少有某个R_i,R_i与R_i在某种代换下相关,如果串行推理对规则进行一次遍历所费时间代价为C,对于同样规则划分π进行多处理机或进程并行推理一遍遍历代价至多为C′,C′≤(k/~#R)C。其中~#R是规则集合R的基数,同时给出一个实例和推理代价的实验数据。     

关于图的顶点划分数

该文讨论了无爪图的顶点划分数,给出了完全n部图的顶点划分数的计算公式,最后证明了任意图的点线荫度不大于它的边线荫度且不等式是精确的.     

电网络图主划分算法改进

分析比较网络图主划分的已有算法，提出改进算法ＧＰＰＩＡ，使主划分算法通用性提高，运算量和贮量减少，该算法用Ｃ语言编程，计算机实验证明可行。     

广义多边形的一个构造定理

W·K·Kator于1986年在文献[2]中给出了构造广义多边形的一个定理,本文另外给出一个。并把构造广义多边形的问题归结到某个集合上建立一种特殊映射的问题。