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