XiaoMi-AI文件搜索系统
World File Search System全域
美国政府UAP计划/活动报告表
隐私法声明授权：10 USC 113，国防部长；44 USC 2107，接受历史保存记录；2023 财政年度国防授权法第 1673 节（公法 117-263）。主要目的：管理与不明异常现象有关的一般通信和报告。提供的信息可用于联系或向报告与此类现象有关信息的个人寻求更多信息，包括但不限于与不明异常现象有关的任何事件以及联邦政府部门或机构或此类部门或机构的承包商与此类现象有关的任何活动或计划。常规用途：所征求的信息可作为“常规用途”提供给适当的联邦、州、地方、领土、部落、外国或国际执法机构，以协助全领域异常解决办公室进行授权的现象报告，提供给适当的联邦、州、地方、领土、部落、外国或国际机构，用于授权的科学研究或反情报活动，或用于执行或执行旨在保护美国国家安全或国土安全的法律，包括有关共享有关恐怖主义、国土安全或执法的记录或信息的法律。适用常规用途的完整列表和说明包含在 SORN DoD-0017“隐私和公民自由投诉和一般通信记录”中，可通过 https://www.federalregister.gov/documents/2023/02/23/2023-03745/privacy-act-of-1974-system-of-records 访问。披露：自愿；但是，未能提供信息可能会导致全域异常解决办公室无法评估信息并进行后续沟通，以进一步推进授权的报告或评估流程
2022 MDO 草案议程_vs5
研讨会描述 随着国防部着手开发其支持多域作战环境（也称为联合全域 C2）的能力，执行确定的计划将需要应用系统原则来确保解决方案的强大和有效。这些原则及其在适应多服务、跨国、多平台参与者方面的应用将有助于创建一个灵活的基础设施，该基础设施能够进行更具操作真实性的测试和训练。由此产生的分布式和集成的测试和训练环境将提高准备程度。本次研讨会将讨论这种支持的选定原则，并解决如何将这些原则应用于测试计划、测试支持，并将包括测试能力现代化的当前和未来需求。网络、C4I、分布式测试、建模和模拟、自主系统、高超音速系统、定向能、频谱、先进仪器系统以及大数据等考虑因素将在本次研讨会上引起全面而相关的讨论。主旨发言人、市政厅和技术会议将成为确定挑战、解决方案、创新和未来状态的计划的一部分；所有这些都有助于我们更接近创建有利于测试和培训以支持多域作战的基础设施和原则。欢迎加入我们在德克萨斯州埃尔帕索的会议，来自学术界、工业界和政府的 T&E 社区成员将齐聚一堂，共同应对与 MDO 相关的挑战，并努力寻找解决方案，以确保这一重要举措得到有力解决。欢迎在本次研讨会上分享您的想法、与他人联系并向一些顶尖专家学习。
KernelSnitch：针对内核数据结构的侧信道攻击
摘要：众所周知，共享硬件元素（例如缓存）会引入微架构侧信道泄漏。消除这种泄漏的一种方法是不跨安全域共享硬件元素。然而，即使在无泄漏硬件的假设下，其他关键系统组件（例如操作系统）是否会引入软件引起的侧信道泄漏仍不清楚。在本文中，我们提出了一种新颖的通用软件侧信道攻击 KernelSnitch，针对内核数据结构（例如哈希表和树）。这些结构通常用于存储内核和用户信息，例如用户空间锁的元数据。KernelSnitch 利用了这些数据结构的大小可变的特性，范围从空状态到理论上任意数量的元素。访问这些结构所需的时间取决于元素的数量（即占用率）。这种变化构成了一个定时侧信道，可被非特权的孤立攻击者从用户空间观察到。虽然与系统调用运行时相比，时间差异非常小，但我们演示并评估了可靠地放大这些时间差异的方法。在三个案例研究中，我们表明 KernelSnitch 允许非特权和孤立的攻击者泄露来自内核和其他进程活动的敏感信息。首先，我们演示了传输速率高达 580 kbit/s 的隐蔽通道。其次，我们利用 Linux 在哈希表中使用的特定索引，在不到 65 秒的时间内执行了内核堆指针泄漏。第三，我们演示了网站指纹攻击，F1 分数超过 89%，表明可以使用 KernelSnitch 观察到其他用户程序中的活动。最后，我们讨论了针对与硬件无关的攻击的缓解措施。
通过联合全域指挥与控制实现决策优势
在建立美国北方司令部和北美防空司令部 (NC&N) 的指挥部后，我们显然需要迅速提高我们的能力，以履行保卫国土的神圣使命。我们的对手已经适应了这种变化，他们在新的领域开展行动，使用速度更快、更先进的武器来绕过我们老化的防御系统。为了对抗这些武器并以当今的快速度开展行动，我们必须具备全域 C2 感知能力，提供涵盖水下、海上、陆地、空中、近太空、太空和网络活动的融合威胁图景，并拥有能够抵消对手针对我们关键基础设施的攻击的击败机制。这两种能力之间的关键是联合全域指挥与控制 (JADC2)。什么是 JADC2？描述并最终生产 JADC2 对国防部 (DOD) 来说一直是个难题，部分原因是很难将一个理想概念转化为共同愿景，然后再转化为编程要求。一种方法是通过其期望属性来描述 JADC2。从这个意义上讲，我们谈论的是一种冗余且有弹性的架构，以实现更快、更可靠的通信，或者能够将融合的传感器和报告数据链接到最佳射手，从而消除不必要的组织层次结构，获得阻止敌人对我们构成危险所需的优势。虽然这些描述当然很有用，但 JADC2 的最终目的可能最能描述它：决策优势。JADC2 是数字时代的 C2——从战术优势到战略领导者，为我们的作战人员做出更快、更好的决策所需的架构。JADC2 与以前的 C2 构造的不同之处在于，它建立在数据丰富的基础上，利用机器的力量来增强决策能力。这种新功能超越了人类能力的限制，可以产生机器支持的洞察力，可以识别异常事件，预测接下来会发生什么，并生成具有相关影响和风险的选项。为了说明这一点，最近的亚马逊网络服务下一代统计商业广告
美国空军 ...
埃德温·C·普拉特中校是关岛安德森空军基地第 36 作战支援中队的指挥官。他指挥着美国印太司令部最大的战斗机、轰炸机、加油机和空运空军基地 16 个空军专业编号的 82 名军事和文职人员。他负责安德森的所有飞行行动，支持 16K 联合、联邦和联军出动。他领导第 36 联队的联合全域指挥和控制现代化，监督联队 ACE 和 OPLAN 的准备情况，并管理联队的情报机构，支持第一和第二岛链任务。普拉特中校最初以机场管理员的身份加入空军，在俄克拉荷马州、关岛和佛罗里达州服役。2009 年，他从阿拉巴马州蒙哥马利的空军军官训练学校获得机场作战官的任命。在担任现职之前，他曾担任第 36 应急反应中队的作战主任。教育背景 2007 年，菲尼克斯大学信息技术理学学士学位，亚利桑那州菲尼克斯 2009 年，麦克斯韦空军基地 (AFB) 航空航天基础课程，阿拉巴马州 2010 年，菲尼克斯大学工商管理硕士 (MBA)，亚利桑那州菲尼克斯 2015 年，麦克斯韦空军基地中队军官学校，阿拉巴马州 2021 年，空军指挥参谋学院军事作战艺术与科学硕士，麦克斯韦空军基地，阿拉巴马州 任务 1. 2009 年 6 月 - 2010 年 2 月，学生，机场运营官培训，第 248 空中交通管制中队，密西西比州默里迪恩 2. 2010 年 2 月 - 2012 年 5 月，机场运营官，第 14 飞行训练联队，密西西比州哥伦布空军基地 (AFB)密西西比州空军基地 4. 2013 年 3 月 - 2014 年 3 月，飞行指挥官，作战支援，第 612 空军基地中队，洪都拉斯索托卡诺空军基地 5. 2014 年 3 月 - 2015 年 3 月，教员主管，机场作战官课程，第 334 训练中队基斯勒空军基地，密西西比州
2016-2025 - 海军航空兵愿景
本文件是“2025 年海军航空兵愿景”的配套文件，两者共同构成了确保海军航空兵具备战备、能力和能力以实现海上战略“21 世纪海上力量合作战略”中概述的五项基本职能的路线图。基本职能——全域访问、威慑、海上控制、力量投射和海上安全——是依靠海军航空兵来保证其成功的任务。我们的愿景必须完全支持并与这一合作战略保持一致。美国海军总体航空计划和美国海军陆战队航空计划所描述的规划范围延伸到足够远的未来，以涵盖将在本文件的时间范围内发生的部署。定义我们当前执行情况和未来愿景的地平线上的点正在汇合。本文件符合 2025 年愿景，同时确定了使海军航空兵能够在 2025 年后继续前进的投资。它基于舰载航空联队和远征打击群主要组成部分的预期转型、有人-无人协同努力和不断变化的作战环境。它还基于国防部当前战略的演变，该战略将机器人技术、自动驾驶车辆、制导和控制系统、可视化、生物技术、小型化、高级计算、大数据分析和增材制造等商业驱动技术结合起来，确保在技术上领先于对手。战备状态仍然是我们作战能力的关键。作为负责海军航空兵事业的领导人，我们有责任确定我们基于威胁的未来需求，并在明智地驾驭财政浅滩的同时，提供我们国家对这个作战社区所要求的战备状态。我们的三管齐下的方法旨在通过战备、能力和容量的协同作用实现整体性。准备好执行任务的飞机、准备好启航的舰艇、经过充分训练的海军和海军陆战队员是海军航空兵保护和推进我们国家利益的手段。在资源受限的环境中，必须建立和定义需求，以便做出深思熟虑的选择，确保所有部队在需要时都做好战斗准备。海军航空兵必须规划和资源来获得，
2016-2025 - 海军航空兵愿景
本文件是“2025 年海军航空兵愿景”的配套文件，两者共同构成了确保海军航空兵具备战备、能力和能力以实现海上战略“21 世纪海上力量合作战略”中概述的五项基本职能的路线图。基本职能——全域访问、威慑、海上控制、力量投射和海上安全——是依靠海军航空兵来保证其成功的任务。我们的愿景必须完全支持并与这一合作战略保持一致。美国海军总体航空计划和美国海军陆战队航空计划所描述的规划范围延伸到足够远的未来，以涵盖将在本文件的时间范围内发生的部署。定义我们当前执行情况和未来愿景的地平线上的点正在汇合。本文件符合 2025 年愿景，同时确定了为海军航空兵在 2025 年后的发展而进行的投资。它基于舰载航空联队和远征打击群主要组成部分的预期转型、有人-无人协同努力和不断变化的作战环境。它还基于国防部当前战略的演变，该战略将机器人技术、自动驾驶车辆、制导和控制系统、可视化、生物技术、小型化、高级计算、大数据分析和增材制造等商业驱动技术结合起来，确保在技术上领先于对手。作为肩负海军航空兵使命的领导者，我们有责任定义我们基于威胁的未来需求，并在明智地驾驭财政浅滩的同时，满足国家对这个作战社区的要求。我们的三管齐下的方法旨在通过战备、能力和容量的协同作用实现整体性。战备仍然是我们作战能力的关键。准备执行任务的飞机、准备启航的舰艇、经过充分任务训练的水兵和海军陆战队员是海军航空兵保护和推进我们国家利益的手段。在资源受限的环境中，必须建立和定义需求，以便做出深思熟虑的选择，确保所有部队在需要时都做好战斗准备。海军航空兵必须规划和资源来获得，
系统与软件杂志
我们提出了一种新的方法，通过将统计模型检查（SMC）与过程挖掘（PM）集成，以验证软件产品线（PL）模型。我们考虑来自PL工程领域的面向功能的语言QFLAN。QFLAN允许对配备丰富的跨树和定量约束以及动态PL（例如分阶段配置）的方面进行建模。这种丰富性使我们能够轻松地获得具有无限状态空间的模型，呼吁基于仿真的分析技术，例如SMC。例如，我们使用一个带有无限状态空间的运行示例。SMC是基于系统动力学样本的产生的分析技术家族。SMC的目的是估算一个系统的属性（例如，安装功能）或其中数量的期望值（例如，研究家族的产品的平均价格）。相反，PM是一个数据驱动的技术家族，它使用在执行信息系统执行中收集的日志来识别和推理其基础执行过程。这通常涉及识别和推理过程模式，瓶颈和改进的可能性。在本文中，据我们所知，我们首次提出了将过程挖掘（PM）技术应用于统计模型检查（SMC）模拟的副产品的应用。这旨在增强SMC分析的实用性。通常，如果SMC给出意外的结果，则建模者必须发现这些结果是否来自系统的实际特征，还是来自模型中的错误。这是以黑盒方式完成的，仅基于获得的数值值。我们通过使用PM来获取有关SMC观察到的系统动力学的白色框透视图来改进这一点。大致来说，我们将SMC生成的样品馈送到PM工具中，获得了观察到的动力学的紧凑图形表示。然后将此开采的PM模型转换为开采的QFLAN模型，使PL工程师可以使用。使用两个众所周知的PL模型，我们表明我们的方法学是有效的（有助于查明模型中的问题，并建议修复），并且可以扩展到复杂的模型。我们还通过将其应用于安全域，表明它是一般的。
2024 年 7 月 29 日 致国防部采购与保障副司令、美国印度-太平洋司令部主任、国防创新部门审计长、陆军部审计长、海军部审计长、空军部审计长的备忘录 主题：评估复制器计划选定的全域可消耗自主系统满足美国印度-太平洋司令部作战需求的能力（项目编号 D2024-DEV0SI-0141.000）
1978 年《监察长法案》（5 USC §§ 401-424，经修订）授权我们及时接触我们认为必要的人员和材料，以进行监督。您可以从国防部指令 5106.01“国防部监察长 (IG DoD)”（2012 年 4 月 20 日，经修订）和国防部指令 7050.03“国防部监察长办公室访问记录和信息”（2013 年 3 月 22 日，经修订）中获取有关国防部监察长办公室的信息。我们的网站是 www.dodig.mil。
肖恩·M·柯克帕特里克博士简历 - 国防部
Sean M. Kirkpatrick 博士 全域异常解决办公室 (AARO) 主任 USD(I&S) 要求 Kirkpatrick 博士在 2022 年初出任 AARO 负责人。他的员工和团队都称他为 K 博士，他拥有二十多年的经验，在科学技术情报 (S&TI)、S&TI 和空间政策、研究与开发、收购和运营方面拥有深厚的专业知识，专门从事太空/反太空任务领域。Kirkpatrick 博士出生于佐治亚州哥伦布的一个军人家庭。他在亚特兰大地区长大，并在佐治亚大学就读本科，学习物理。Kirkpatrick 博士也在佐治亚大学完成了他的博士学位，研究方向为掺杂稀土元素的氟化物晶体的非线性和非平衡声子动力学，目前是 UGA 的兼职教授。Kirkpatrick 博士研究生毕业后立即开始了他在国防和情报相关科学技术领域的职业生涯。 1995 年获得物理学博士学位后，他随后在伊利诺伊大学香槟分校从事博士后研究，在 AFOSR 项目下研究高爆炸药的激光诱导分子振动。1996 年，他获得了美国国家研究委员会奖学金，前往华盛顿特区的美国海军研究实验室为海军部研究新型固态激光器。1997 年，他被空军研究实验室招募，为空军建立超快激光物理实验室，研究非线性光学、新型超快光谱方法和非线性微/纳米制造技术。2003 年，他被任命为国家侦察局的项目经理，并于 2005 年转入中央情报局。2007 年，他被任命为中央情报局和国防情报局联合项目办公室的首席技术官，后来他担任国防情报局官员的部门主管。 2010 年，他被任命为国防部长办公室负责太空和情报的副助理部长的太空控制投资组合经理。2012 年，他回到国防情报局，担任负责科学和技术情报的国防情报官，与国防部负责科学和技术的国家情报经理对口，直至 2016 年。在担任 DIO/S&TI 的任期即将结束时，柯克帕特里克博士被特别任命为国家情报首席副局长，领导情报界对联合跨部门联合太空作战中心的支持。从 2016 年到目前的职位，柯克帕特里克博士担任过各种屡获殊荣的职务，包括美国战略司令部情报副局长、国家安全委员会国家安全战略主任、情报副局长和美国太空司令部的国家情报总监代表。美国太空司令部情报机构是他作为情报部门负责人建立的第五个组织。他最近的职务是担任国防情报局导弹与空间情报中心的首席科学家。