XiaoMi-AI文件搜索系统
World File Search System局内
国防军需品局内部审查办公室外部同行评审（项目编号D2024-DEV0SO-0102.000）
此次外部同行评审的目的是确定在截至 2024 年 1 月 31 日的 3 年期间，国防军需品局内部审查办公室的质量控制系统是否设计合理并得到遵守，以合理保证审计机构在所有重大方面均符合政府审计标准和适用法律和监管要求。我们可能会在同行评审过程中修改目标，我们也会考虑管理层对附加或修订目标的建议。我们计划使用诚信和效率监察长委员会“联邦监察长办公室审计组织同行评审指南”进行此次外部同行评审。作为此次外部同行评审的一部分，我们计划对位于弗吉尼亚州格雷格-亚当斯堡的国防军需品局内部审查办公室进行实地考察。我们请求您在本备忘录发布后 5 天内指定一名工作人员作为本次同行评审的联系人。联系人应为政府雇员（GS-15、同等薪级或同等军职），并且熟悉与目标相关的同行评审流程。将联系人的姓名、职称、级别/薪级、电话号码和电子邮件地址发送至 1978 年《监察长法》（5 USC §§ 401-424，经修订）授权我们在必要时接触人员和材料，以便及时履行监督职责。您可以从国防部指令 5106.01“国防部监察长 (IG DoD)”（2012 年 4 月 20 日，经修订）和国防部指令 7050.03“国防部监察长办公室访问记录和信息”（2013 年 3 月 22 日，经修订）中获取有关国防部监察长办公室的信息。我们的网站是 www.dodig.mil。
b'假设 S i 是标准形式博弈 G 中局内人 i D 1; : : : ; n 的有限纯策略集，因此 SDS 1 : : : S n 是 G 的纯策略方案集，i .s/ 是局内人选择策略方案 s 2 S 时局内人 i 的收益。我们将在 S 中有支持的混合策略集表示为 SDS 1 : : : S n ，其中 S i 是在 S i 中有支持的局内人 i 的混合策略集，或者等价地，S i 成员的凸组合集。我们用 S i 表示除 i 之外所有局内人的混合策略向量集。如果对于每个 i 2 S i ， i .si ; i / > i .s 0 i ; i / ，则我们说 s 0 i 2 S i 被 si 2 S i 强支配。如果对于每个 i 2 S i ， i .si ; i / i .s 0 i ; i / ，且对于至少一个 i 的选择，不等式是严格的，则我们说 s 0 i 被 si 弱支配。请注意，一种策略可能不会被任何纯策略强支配，但可能被混合策略强支配。假设 si 对于玩家 i 是一种纯策略，使得玩家 i 的每个 0 i \xc2\xa4 si 都被 si 弱（分别强）支配。我们称 sia 为 i 的弱（分别强）支配策略。如果存在一个所有玩家都使用支配策略的纳什均衡，我们称其为支配策略均衡。一旦我们消除了每个玩家的劣势策略，结果往往是一开始不占优势的纯策略现在占优势了。因此，我们可以进行第二轮消除劣势策略。事实上，这可以重复进行，直到纯策略不再以这种方式被消除。在 \xef\xac\x81nite 游戏中，这将在 \xef\xac\x81nite 轮次之后发生，并且每个玩家总是会剩下至少一个纯策略。如果强（或弱）劣势策略被消除，我们称之为强（或弱）劣势策略的迭代消除。
b'假设 S i 是标准形式博弈 G 中局内人 i D 1; : : : ; n 的有限纯策略集，因此 SDS 1 : : : S n 是 G 的纯策略方案集，i .s/ 是局内人选择策略方案 s 2 S 时局内人 i 的收益。我们将在 S 中有支持的混合策略集表示为 SDS 1 : : : S n ，其中 S i 是在 S i 中有支持的局内人 i 的混合策略集，或者等价地，S i 成员的凸组合集。我们用 S i 表示除 i 之外所有局内人的混合策略向量集。如果对于每个 i 2 S i ， i .si ; i / > i .s 0 i ; i / ，则我们说 s 0 i 2 S i 被 si 2 S i 强支配。如果对于每个 i 2 S i ， i .si ; i / i .s 0 i ; i / ，且对于至少一个 i 的选择，不等式是严格的，则我们说 s 0 i 被 si 弱支配。请注意，一种策略可能不会被任何纯策略强支配，但可能被混合策略强支配。假设 si 对于玩家 i 是一种纯策略，使得玩家 i 的每个 0 i \xc2\xa4 si 都被 si 弱（分别强）支配。我们称 sia 为 i 的弱（分别强）支配策略。如果存在一个所有玩家都使用支配策略的纳什均衡，我们称其为支配策略均衡。一旦我们消除了每个玩家的劣势策略，结果往往是一开始不占优势的纯策略现在占优势了。因此，我们可以进行第二轮消除劣势策略。事实上，这可以重复进行，直到纯策略不再以这种方式被消除。在 \xef\xac\x81nite 游戏中，这将在 \xef\xac\x81nite 轮次之后发生，并且每个玩家总是会剩下至少一个纯策略。如果强（或弱）劣势策略被消除，我们称之为强（或弱）劣势策略的迭代消除。