单项选择题

阅读下面短文，完成下面4个小题： 　　将战术的基本规律抽象出来，用数字方法演绎出一套理论和战术原则，这就是数理战术学。数理战术学是数学与战术的交叉，是现代科学技术方法在战术研究中的应用。数理战术学把反映作战过程中最本质、最要害的东西抽象出来；将交战和伤亡过程用微分方程、差分方程和随机过程的方式加以描述；将作战目的抽象为目标函数；将双方指挥员看作为“理智的”，即却为争取实现各自最大的利益而努力；从而建立起公理化的数模型，并在此基础上进行科学演绎。这就是数理战术学的基本研究方法。 　　数理战术学的起源可以追溯到第一次世界大战时期，英国工程师F·W·兰彻斯特在1915年提出的关于空战战术的尝试性数学模型――兰彻斯特(Lanchester)方程，他在这个模型中――用常微分方程组描述敌对双方兵力的消灭过程，定性地说明了集中兵力的原理。二次大战以来，对Lanchester方程的研究有很大的发展，又出现了随机格斗等其他描述战斗过程的数学模型。但截止20世纪80年代，数学在战术学中的应用只停留在模型阶段，主要用于分析、预测战争的可能。并未与战略战术决策深入结合。 　　20世纪90年代初期，许多中国学者将数学公理化方法引入战术研究，提出了“规范战模式”等一系列新概念，将武器装备的效价、作战效果与火力分配策略等概念有机结合起来。武器装备的效价以其在作战中的效果来衡量，而作战效果以对对方总效价的毁伤来衡量，不仅依赖于其性能，而且取决于火力分配策略以及对方的效价；火力分配策略则总是以获得尽可能大的作战效果为目标。将这些原则用公理的形式表达，给出了统一的定义，证明了规范交战模式的存在与惟一性定理，给出了有关算法。由此引伸出来的一系列结果符合战术常识，深化了定性研究的结果，对战术概念有所创新，对战术运用有积极的指导意义。 下列说法是，都属于“数理战术学的基本研究方法”的一组是( )。　　①用数学方法演绎出战术理论、战术原则　　②用某些数学方程来描述交战过程　　③在战术研究中应用科学技术　　④用一些数学函数表示作战目的　　⑤用公理化的数学模型演绎战术规律