BDOTI结构空战指挥控制决策的逻辑框架

通过对空战决策的思维方法进行分析,根据编队协同空战的决策特点和需求,应用时态分支逻辑CTL*建立了协同空战指挥决策可能世界的语义.应用时态逻辑和模态逻辑建立了基于信念(Belief)、愿望(Desire)、责任(Obligation)、战术作战意图(Tactical Intention)BDOTI结构的机载空战指挥决策的逻辑框架.并设计了一个BDOTI解释器对空战指挥决策的全过程进行描述.     

空对地定向攻击的作战效能评估

主要研究攻击机在定轴发射导弹时,对地面线状目标定向攻击的作战效能评估。攻击机飞向目标区的方式有两种,即攻击机飞向目标区的速度方向与线状目标的长边成一固定角和平行于该长边。详细研究了该攻击机的可攻击区边界,给出了攻击机机动攻击目标的最近距离,从而确定了作战效能评估的数学模型。