XiaoMi-AI文件搜索系统
World File Search System任务数据
NASA 建模、模拟、信息技术和处理 - TA11
前言 执行摘要 TA11-1 1. 概述 TA11-2 1.1. 技术方法 TA11-2 1.2. 优势 TA11-2 1.3. 适用性/可追溯性（针对 NASA 战略目标） TA11-2 1.4. 主要技术挑战 TA11-5 2. 详细投资组合讨论 TA11-7 2.1. 摘要说明和技术领域分解结构（TABS） TA11-7 2.2. TABS 中各列的说明 TA11-8 2.2.1. 计算 TA11-8 2.2.1.1. 飞行计算 TA11-8 2.2.1.2. 地面计算 TA11-11 2.2.2. 建模 TA11-11 2.2.2.1. 软件建模和模型检查 TA11-11 2.2.2.2.集成硬件和软件建模 TA11-12 2.2.2.3. 人机系统性能建模 TA11-12 2.2.2.4. 科学与航空航天工程建模 TA11-13 2.2.2.5. 框架、语言、工具和标准 TA11-16 2.2.3. 模拟 TA11-17 2.2.3.1. 分布式模拟 TA11-17 2.2.3.2. 集成系统生命周期模拟 TA11-17 2.2.3.3. 基于模拟的系统工程 TA11-18 2.2.3.4. 基于模拟的训练和决策支持 TA11-19 2.2.4. 信息处理 TA11-19 2.2.4.1. 科学、工程和任务数据生命周期 TA11-19 2.2.4.2.智能数据理解 TA11-19 2.2.4.3. 语义技术 TA11-21 2.2.4.4. 协作科学与工程 TA11-21 2.2.4.5. 先进任务系统 TA11-22 3. 与其他技术领域的相互依赖性 TA11-25 4. 对其他国家需求的可能益处 TA11-25 缩略词 TA11-26 致谢 TA11-27 参考文献 TA11-27
在视觉提示学习中量化提示的隐私风险
大规模的预训练模型越来越多地通过称为及时学习的新范式来适应下游任务。与微调相比，及时学习不会更新预训练的模型的参数。相反，它仅学习输入扰动，即提示，以添加到下游任务数据中以进行预测。鉴于迅速学习的快速发展，由于使用了巨大的努力和专有数据来创建它，因此不可避免地将良好的及时化成为有价值的资产。这自然提出了一个问题，即提示是否会泄露其培训数据的专有信息。在本文中，我们对通过财产推理和成员推理攻击的视觉提示学习的提示进行了首次全面的隐私评估。我们的经验评估表明，提示很容易受到两种攻击的影响。我们还证明，对手可以以有限的成本进行成功的推理攻击。此外，我们表明，通过放松的对抗性假设，针对提示的会员推理攻击可以成功。我们进一步对防御措施进行了一些初步调查，并观察到我们的方法可以减轻成员的推论，并以体面的公用事业防御权衡取舍，但未能防御财产推理攻击。我们希望我们的结果能够阐明流行的及时学习范式的隐私风险。为了促进这一方向的研究，我们将与社区分享我们的代码和模型。1
NISAR 利用计划
美国宇航局-印度空间研究组织 L 和 S 波段合成孔径雷达 (NISAR) 任务是美国宇航局和印度空间研究组织合作开展的一项任务，计划于 2024 年 1 月发射，最短任务寿命为 3 年。该任务通过高分辨率成像（2-30 米）、宽幅（240 公里）、高精度指向和轨道控制以及短重访周期（12 天）进行了优化，并采用了偏振测量和干涉测量技术，用于研究灾害和全球环境变化，特别支持其核心科学学科：生态系统、冰冻圈、固体地球科学和沿海海洋。一些重要的任务和仪器参数如表 1 所示。该卫星旨在提供地球的详细视图，以观察和测量地球上一些最复杂的过程，包括生态系统干扰、冰川和冰盖动态、由构造和非构造过程引起的陆地变形、沿海过程动态和自然灾害。除了科学需求外，该任务还将通过快速事件驱动下行链路、处理和交付相关数据来支持灾难响应。NISAR 拥有开放数据政策，任务数据将在必要的发射后传感器特性分析后提供给全球科学界，预计发射后 6 个月内完成。来自不同学科的研究人员和科学家将有很好的机会规划 NISAR 数据的利用并进行互动学习。
通过调整潜在动力学来稳定脑机接口
摘要 皮层内脑机接口 (iBCI) 通过将大脑活动转化为外部设备的控制信号，恢复瘫痪患者的运动功能。在当前的 iBCI 中，神经接口的不稳定性会导致解码性能下降，这需要使用新的标记数据进行频繁的监督重新校准。一种潜在的解决方案是使用神经群体活动背后的潜在流形结构来促进大脑活动和行为之间的稳定映射。最近使用无监督方法的努力利用这一原理提高了 iBCI 稳定性；然而，现有方法将每个时间步视为独立样本，不考虑潜在动态。动态已被用于实现对运动意图的高性能预测，也可能有助于提高稳定性。在这里，我们提出了一个非线性流形与动态对齐 (NoMAD) 平台，它使用动态的循环神经网络模型来稳定 iBCI 解码。 NoMAD 使用无监督分布对齐将非平稳神经数据的映射更新为一组一致的神经动态，从而为 iBCI 解码器提供稳定的输入。在应用于从猴子运动皮层收集的运动任务数据时，NoMAD 能够在数周至数月的时间内以无与伦比的稳定性实现准确的行为解码，而无需任何监督重新校准。
通过调整潜在动力学来稳定脑机接口
摘要 皮层内脑机接口 (iBCI) 通过将大脑活动转化为外部设备的控制信号，恢复瘫痪患者的运动功能。在当前的 iBCI 中，神经接口的不稳定性会导致解码性能下降，这需要使用新的标记数据进行频繁的监督重新校准。一种潜在的解决方案是使用神经群体活动背后的潜在流形结构来促进大脑活动和行为之间的稳定映射。最近使用无监督方法的努力利用这一原理提高了 iBCI 稳定性；然而，现有方法将每个时间步视为独立样本，不考虑潜在动态。动态已被用于实现对运动意图的高性能预测，也可能有助于提高稳定性。在这里，我们提出了一个非线性流形与动态对齐 (NoMAD) 平台，它使用动态的循环神经网络模型来稳定 iBCI 解码。 NoMAD 使用无监督分布对齐将非平稳神经数据的映射更新为一组一致的神经动态，从而为 iBCI 解码器提供稳定的输入。在应用于从猴子运动皮层收集的运动任务数据时，NoMAD 能够在数周至数月的时间内以无与伦比的稳定性实现准确的行为解码，而无需任何监督重新校准。
IAC–24–A.1.2.3 建造欧洲第一座太空...
EAGLE-1 任务旨在开发欧洲首个自主的端到端太空量子密钥分发 (QKD) 系统。该任务由欧洲航天局 (ESA) 和 SES 牵头，并与多个欧洲国家航天局和私人合作伙伴合作。最先进的 QKD 系统将包括 EAGLE-1 低地球轨道 (LEO) 卫星上的有效载荷、光学地面站、量子操作网络和密钥管理系统。EAGLE-1 项目代表了下一代量子通信基础设施的重要一步，它提供了宝贵的技术成果和任务数据，并为 EuroQCI 计划的发展做出了贡献。德国航空航天中心 (DLR) 的通信和导航研究所 (IKN) 是 EAGLE-1 任务的重要合作伙伴，参与了太空和地面部分元件的研究和开发。这里我们报告了 QKD 发射器（QKD 有效载荷的重要组成部分）的开发，以及光学地面站 Oberpfaffenhofen (OGS-OP) 的定制，以进行 EAGLE-1 的 IOT 阶段。对于空间部分，DLR-IKN 负责 QKD 发射器的设计，包括软件和固件的开发。该发射器生成量子态，用于实现基于光信号的 QKD 协议，该协议将传输到地面。对于地面部分，OGS-OP 将作为 EAGLE-1 的在轨测试地面站。凭借对一系列量子通信卫星的专业知识以及新实现，OGS-OP 将首次验证有效载荷、光链路和 QKD 系统的性能。我们介绍了 OGS-OP 为该任务所做的主要开发，其中包括实施升级的自适应光学系统以校正大气畸变并优化入射光与单模光纤的耦合。
CF18 Demo SMM 2016
战斗机演示手册................................................................1 第 1 章：准备工作......................................................................................8 101.团队选择......................................................................8 102.航展常规......................................................................9 103.战斗机演示训练......................................................9 104.验收表演......................................................................9 第 2 章：操作注意事项....................................................11 201.配置.............................................................................11 202.飞机限制.............................................................................11 203.飞行设备.............................................................................12 204.航展练习................................................................12 205.5000 英尺跑道操作...............................................14 206.移动式飞机阻拦系统...............................14 207.场外表演场地注意事项...............................15 208.密度高度...............................................................15 209.到达侦察...............................................................16 210.飞行前准备.......................................................17 211.航展起飞前检查表....................................18 212.高度计设置....................................................19 213.安全飞行员................................................................20 214.安全飞行员职责......................................................20 215.安全飞行员培训......................................................22 第 3 章：战斗机演示程序......................................................23 302.重新定位......................................................................23 303.高表演轮廓....................................................26 304.有限/平表演轮廓....................................................37 305.黄昏表演展示........................................................40 306.攻击和烟火表演........................................................40 307.传统飞行机动..................................................42 第 4 章：紧急情况.......................................................................43 402.起飞问题...............................................................43 403.发动机问题...............................................................43 404.弹射 ................................................................................44 405.过载 ..............................................................................45 406.起落架问题 ................................................................45 407.飞行控制 ......................................................................45 408.鸟击 .............................................................................45 附件 A - 战斗机演示训练大纲 .............................................................46 附件 B - 训练表现评估卡 .............................................................47 附件 C - 演示任务数据卡 .............................................................48 ..................................................................................................................48 附件 D - 传统飞行剖面图 .............................................................................49 附件 E - MALA 演示团队 .............................................................58 附件 F - 展示框模板 .............................................................................61
基于 ICESat 的格陵兰岛数字高程模型 ...
摘要。格陵兰数字高程模型 (DEM) 对于实地考察、冰速计算和质量变化估计必不可少。以前的 DEM 为整个格陵兰岛提供了合理的估计，但应用源数据的时间跨度可能会导致质量变化估计偏差。为了提供具有特定时间戳的 DEM，我们应用了大约 5 。从 2018 年 11 月到 2019 年 11 月的 8 × 10 8 ICESat-2 观测来生成新的 DEM，包括格陵兰岛外围的冰盖和冰川。分别在 500 m、1 km、2 km 和 5 km 网格单元进行时空模型拟合过程，并以 500 m 的模态分辨率发布最终 DEM。总共有 98% 的网格由模型拟合获得，其余的 DEM 间隙通过普通克里金插值法估算。与机载地形测绘仪 (ATM) 激光雷达系统获取的 IceBridge 任务数据相比，ICESat-2 DEM 估计最大中值差异为 − 0 。48 米。通过模型拟合和插值获得的网格性能相似，均与 IceBridge 数据高度一致。在低纬度和高坡度或粗糙度地区，DEM 不确定性会增加。此外，与其他高度计得出的 DEM 相比，ICESat-2 DEM 显示出显着的精度改进，并且其精度与立体摄影测量和干涉测量得出的精度相当。格陵兰 DEM 及其不确定性可在 https://doi.org/10.11888/Geogra.tpdc.271336 (Fan 等人，2021 年) 上找到。总体而言，ICESat-2 DEM 在各种地形条件下都表现出了出色的精度稳定性，可以提供具有特定时间戳的高精度 DEM，这将有助于研究格陵兰岛海拔和质量平衡变化。
美国空军武器图库 - 空军杂志
B-1 Lancer 简介：一种远程、可空中加油的多用途轰炸机，能够执行洲际任务并突破敌方防御，携带空军库存中制导和非制导武器的最大有效载荷。功能：远程常规轰炸机。运营商：ACC、AFMC。首飞：1974 年 12 月 23 日（B-1A）；1984 年 10 月 18 日（B-1B）。交付：1985 年 6 月 - 1988 年 5 月。IOC：1986 年 10 月 1 日，德克萨斯州戴斯空军基地。(B-1B)。生产：104 架。库存：65 架。飞机位置：得克萨斯州戴斯空军基地。；加利福尼亚州爱德华兹空军基地；佛罗里达州埃格林空军基地；南达科他州埃尔斯沃思空军基地。承包商：波音公司、AIL 系统公司、通用电气公司。动力装置：四台通用电气 F101-GE-102 涡扇发动机，每台推力 30,780 磅。住宿：四人，飞行员、副驾驶和两名系统官员（进攻和防御），坐在零/零 ACES II 弹射座椅上。尺寸：翼展 137 英尺（前展）至 79 英尺（后掠），长度 146 英尺，高度 34 英尺。重量：空重 192,000 磅，最大运行重量 477,000 磅。升限：超过 30,000 英尺。性能：最大速度 900+ 英里/小时（海平面/水面），航程洲际。武器装备：三个内部武器舱，可容纳多种武器，包括最多 84 枚 Mk 82（500 磅）或 24 枚 Mk 84（2,000 磅）通用炸弹；最多 84 枚 Mk 62（500 磅）或 8 枚 Mk 65（2,000 磅）快速打击水雷；最多 30 枚集束弹药（CBU-87/89/97）或 30 枚风修正弹药布撒器 (WCMD) (CBU 103/104/105)；最多 24 枚 GBU-31（2,000 磅）或 15 枚 GBU-38/54（500 磅）联合直接攻击弹药 (JDAM)；最多 24 枚 AGM-158A 联合空对地防区外导弹 (JASSM)；或这些武器的任意组合（三个武器舱各携带一种不同类型的武器）。评论 提议替代 B-52。20 世纪 70 年代开发并测试了四架 B-1A 原型机。该项目于 1977 年取消，但飞行测试仍在继续。该项目于 1981 年作为 B-1B 变体恢复。翼身融合配置、可变几何设计和涡扇发动机提供远距离、机动性、高速和生存能力。大量有效载荷、出色的雷达瞄准系统和长时间滞空。进攻性航空电子设备包括用于跟踪-瞄准-攻击移动车辆、自动瞄准静止目标和地形跟踪的合成孔径雷达 (SAR)。GPS 辅助惯性导航系统 (INS) 让机组人员无需地面导航辅助设备即可自主导航并精确攻击目标。数字通信改进计划允许机组人员从联合空天作战中心 (CAOC) 接收目标数据并更新进攻中的任务数据
指挥官角落
Armor＆Mobility（A＆M）的秋季版本看了一个未来的世界，即将在战场上进行分裂的决定不再以人类错误估计导致可预防的伤亡的风险做出。人工智能/机器学习技术（AI/ML）有望比以往任何时候都更快，更精确地启用主动命令和控制。由自主感官能力收集的任务数据将创造出最终的情境意识，只有今天才梦dream以求，但在明天的战场上胜利所必需。在2023年美国陆军年度协会（A＆M）版本的A＆M版本中，我们听到了新安装的指挥官詹姆斯·雷尼将军，美国陆军期货司令部（AFC），奥斯汀，德克萨斯州奥斯汀，令人兴奋的努力正在努力实施实力的变革性现代化，以实现充分的准备，以实现充分的准备，以实现未来的多帝国多元命令（Mdoain Domain Operations（Mdoain Domain Operations）进行。这种准备的很大一部分是联合力量司令部，控制，通信，计算机，网络，智能，监视，侦察（C5ISR）技术，随时随地支持一个不舒张的网络。从依赖视线的日子到高级插件兼容兼容沟通，美国陆军指挥部，控制，计算机 - 战术（PEO C3T）的执行办公室，Aberdeen，Aberdeen Proving Ground，MD，正在促进最新的网络现代化，通过实施命令后基础设施一体化（CPI2）的实施（CPI2），因此继续进行了战斗竞争，因此，该战斗的竞争力量越来越多。没有流动性，世界上所有的指挥和控制（C2）都做得很好。战斗的未来很可能以大型战斗操作（LSCO）的形式表现出来，这将需要立即访问，实时命令和控制，预计将投影到全球范围内。在对移动（C2 OTM）功能的最新以数据为中心的，网络的命令和控制的过程中，陆军PEO-C3T正在基于经过验证的命令柱网络节点连接以在持续装甲的形成网络（AFN）运动过程中实现更大的可靠性（COP）。在战斗的热量中，没有时间弥合网络中的C2差距，但要遵守任务的移动性要求。C2 OTM将使网络能够无需C2差距，而不管该运动现实如何。 当然，如果没有支持任务所需的通信网络基础架构的管理，就不会有任务成功。 在接受MG Robert Edmonson II的坦率采访中，美国陆军通讯 - 电子司令部指挥官（CECOM）Aberdeen Proding Groud，MD，我们收集了有关软件的关键作用，以及该软件的重要作用，该软件的重要维持，在陆军，联合和联盟的连接范围内供应促进陆军，供应连接链，并在供应链接中供应。 与供应链非常吻合，国防物流局（DLA）正在协助改善仓库级别的可偿还性，并继续减少近年来困扰军队的零件交付犯罪。C2 OTM将使网络能够无需C2差距，而不管该运动现实如何。当然，如果没有支持任务所需的通信网络基础架构的管理，就不会有任务成功。在接受MG Robert Edmonson II的坦率采访中，美国陆军通讯 - 电子司令部指挥官（CECOM）Aberdeen Proding Groud，MD，我们收集了有关软件的关键作用，以及该软件的重要作用，该软件的重要维持，在陆军，联合和联盟的连接范围内供应促进陆军，供应连接链，并在供应链接中供应。与供应链非常吻合，国防物流局（DLA）正在协助改善仓库级别的可偿还性，并继续减少近年来困扰军队的零件交付犯罪。，不要错过该版本的轻型战术聚光灯，因为美国海军陆战队用新的超轻型战术工具或ULTV代替了其公用事业任务工具（UTV）。