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