The solution method of the model is testified to be polynomial arithmetic and can fulfils real-time demand in battle.

• 该模型的解法被证明是多项式时间算法，满足作战实时性要求。