导弹攻击问题的数学建模