某大型工程项目由政府投资建设，业主委托某招标代理公司代理施工招标。招标代理公司确定该项目采用公开招标方式招标，招标公告在当地政府规定的招标信息网上发布。招标文件中规定：投标担保可采用投标保证金或投标保函方式担保。评标方法采用经评审的最低投标价法。投标有效期为60天。业主对招标代理公司提出以下要求：为了避免潜在的投标人过多，项目招标公告只在本市日报上发布，且采用邀请招标方式招标。项目施工招标信息发布以后，共有12家潜在的投标人报名参加投标。业主认为报名参加投标的人数太多，为减少评标工作量，要求招标代理公司仅对报名的潜在投标人的资质条件、业绩进行资格审查。开标后发现：（1）A投标人的投标报价为8000万元，为最低投标价，经评审后推荐其为中标候选人。（2）B投标人在开标后又提交了一份补充说明，提出可以降价5%。（3）C投标人提交的银行投标保函有效期为70天。（4）D投标人投标文件的投标函盖有企业及企业法定代表人的印章，但没有加盖项目负责人的印章。（5）E投标人与其他投标人组成了联合体投标，附有各方资质证书，但没有联合体共同投标协议书。（6）F投标人投标报价最高，故F投标人在开标后第二天撤回了其投标文件。经过标书评审，A投标人被确定为中标候选人。发出中标通知书后，招标人和A投标人进行合同谈判，希望A投标人能再压缩工期、降低费用。经谈判后双方达成一致：不压缩工期，降价3%。

F投标人的投标文件是否有效？对其撤回投标文件的行为应如何处理？

将战术的基本规律抽象出来，用数字方法演绎出一套理论和战术原则，这就是数理战术学。数理战术学是数学与战术的交叉，是现代科学技术方法在战术研究中的应用。数理战术学把反映作战过程中最本质、最要害的东西抽象出来；将交战和伤亡过程用微分方程、差分方程和随机过程的方式加以描述；将作战目的抽象为目标函数；将双方指挥员看作为“理智的”，即却为争取实现各自最大的利益而努力；从而建立起公理化的数模型，并在此基础上进行科学演绎。这就是数理战术学的基本研究方法。

数理战术学的起源可以追溯到第一次世界大战时期，英国工程师F·W·兰彻斯特在1915年提出的关于空战战术的尝试性数学模型――兰彻斯特（Lanchester）方程，他在这个模型中――用常微分方程组描述敌对双方兵力的消灭过程，定性地说明了集中兵力的原理。二次大战以来，对Lanchester方程的研究有很大的发展，又出现了随机格斗等其他描述战斗过程的数学模型。但截止20世纪80年代，数学在战术学中的应用只停留在模型阶段，主要用于分析、预测战争的可能。并未与战略战术决策深入结合。

20世纪90年代初期，许多中国学者将数学公理化方法引入战术研究，提出了“规范战模式”等一系列新概念，将武器装备的效价、作战效果与火力分配策略等概念有机结合起来。武器装备的效价以其在作战中的效果来衡量，而作战效果以对对方总效价的毁伤来衡量，不仅依赖于其性能，而且取决于火力分配策略以及对方的效价；火力分配策略则总是以获得尽可能大的作战效果为目标。将这些原则用公理的形式表达，给出了统一的定义，证明了规范交战模式的存在与惟一性定理，给出了有关算法。由此引伸出来的一系列结果符合战术常识，深化了定性研究的结果，对战术概念有所创新，对战术运用有积极的指导意义。

下列说法是，都属于“数理战术学的基本研究方法”的一组是（）。

①用数学方法演绎出战术理论、战术原则

②用某些数学方程来描述交战过程

③在战术研究中应用科学技术

④用一些数学函数表示作战目的

⑤用公理化的数学模型演绎战术规律

A．①②③

B．②④⑤

C．③④⑤

D．①③⑤