XiaoMi-AI文件搜索系统
World File Search System飞行管理
基于实时设计强大的四轴飞行器软件...
摘要。目前，制造可靠的无人机是科学技术领域的一项重要任务，因为此类设备在数字经济和现代生活中有很多用途，因此我们需要确保其可靠性。在本文中，我们建议用低成本组件组装四轴飞行器以获得硬件原型，并使用现有的开源软件解决方案开发具有高可靠性要求的飞行控制器软件解决方案，该解决方案将满足航空电子软件标准。我们将结果用作教学课程“操作系统组件”和“软件验证”的模型。在研究中，我们分析了四轴飞行器及其飞行控制器的结构，并提出了一种自组装解决方案。我们将 Ardupilot 描述为无人机的开源软件、适当的 APM 控制器和 PID 控制方法。当今航空电子飞行控制器可靠软件的标准是实时分区操作系统，该系统能够以预期的速度响应来自设备的事件，并在隔离分区之间共享处理器时间和内存。开源 POK（分区操作内核）就是这种操作系统的一个很好的例子。在其存储库中，它包含一个四轴飞行器系统的示例设计，使用 AADL 语言对其硬件和软件进行建模。我们将这种技术与模型驱动工程应用于在真实硬件上运行的演示系统，该系统包含一个以 PID 控制作为分区过程的飞行管理过程。使用分区操作系统将飞行系统软件的可靠性提升到了一个新的水平。为了提高控制逻辑的正确性，我们建议使用形式化验证方法。我们还使用演绎方法在代码级别提供可验证属性的示例，并使用差分动态逻辑在信息物理系统级别提供可验证属性的示例，以证明稳定性。
基于实时设计强大的四轴飞行器软件...
摘要。目前，制造可靠的无人机（无人机）是科学和技术的一项重要任务，因为此类设备在数字经济和现代生活中有很多用例，所以我们需要确保它们的可靠性。在本文中，我们建议用低成本组件组装四轴飞行器以获得硬件原型，并使用现有的开源软件解决方案开发具有高可靠性要求的飞行控制器软件解决方案，该解决方案将满足航空电子软件标准。我们将结果用作教学课程“操作系统组件”和“软件验证”的模型。在研究中，我们分析了四轴飞行器及其飞行控制器的结构，并提出了一种自组装解决方案。我们将 Ardupilot 描述为无人机的开源软件、适当的 APM 控制器和 PID 控制方法。当今航空电子飞行控制器可靠软件的标准是实时分区操作系统，该系统能够以预期的速度响应来自设备的事件，并在隔离分区之间共享处理器时间和内存。此类操作系统的一个很好的例子是开源 POK（分区操作内核）。在其存储库中，它包含一个四轴飞行器系统的示例设计，使用 AADL 语言对其硬件和软件进行建模。我们将这种技术与模型驱动工程应用于在真实硬件上运行的演示系统，该系统包含一个以 PID 控制作为分区过程的飞行管理过程。使用分区操作系统将飞行系统软件的可靠性提升到了一个新的水平。为了提高控制逻辑的正确性，我们建议使用形式验证方法。我们还提供了使用演绎方法在代码级别以及使用微分动态逻辑在信息物理系统级别验证属性的示例，以证明稳定性。
基于实时设计强大的四轴飞行器软件...
摘要。目前，制造可靠的无人机是科学技术领域的一项重要任务，因为此类设备在数字经济和现代生活中有很多用途，因此我们需要确保其可靠性。在本文中，我们建议用低成本组件组装四轴飞行器以获得硬件原型，并使用现有的开源软件解决方案开发具有高可靠性要求的飞行控制器软件解决方案，该解决方案将满足航空电子软件标准。我们将结果用作教学课程“操作系统组件”和“软件验证”的模型。在研究中，我们分析了四轴飞行器及其飞行控制器的结构，并提出了一种自组装解决方案。我们将 Ardupilot 描述为无人机的开源软件、适当的 APM 控制器和 PID 控制方法。当今航空电子飞行控制器可靠软件的标准是实时分区操作系统，该系统能够以预期的速度响应来自设备的事件，并在隔离分区之间共享处理器时间和内存。开源 POK（分区操作内核）就是这种操作系统的一个很好的例子。在其存储库中，它包含一个四轴飞行器系统的示例设计，使用 AADL 语言对其硬件和软件进行建模。我们将这种技术与模型驱动工程应用于在真实硬件上运行的演示系统，该系统包含一个以 PID 控制作为分区过程的飞行管理过程。使用分区操作系统将飞行系统软件的可靠性提升到了一个新的水平。为了提高控制逻辑的正确性，我们建议使用形式化验证方法。我们还使用演绎方法在代码级别提供可验证属性的示例，并使用差分动态逻辑在信息物理系统级别提供可验证属性的示例，以证明稳定性。
基于实时设计强大的四轴飞行器软件...
摘要。目前，制造可靠的无人机是科学技术领域的一项重要任务，因为此类设备在数字经济和现代生活中有很多用途，因此我们需要确保其可靠性。在本文中，我们建议用低成本组件组装四轴飞行器以获得硬件原型，并使用现有的开源软件解决方案开发具有高可靠性要求的飞行控制器软件解决方案，该解决方案将满足航空电子软件标准。我们将结果用作教学课程“操作系统组件”和“软件验证”的模型。在研究中，我们分析了四轴飞行器及其飞行控制器的结构，并提出了一种自组装解决方案。我们将 Ardupilot 描述为无人机的开源软件、适当的 APM 控制器和 PID 控制方法。当今航空电子飞行控制器可靠软件的标准是实时分区操作系统，该系统能够以预期的速度响应来自设备的事件，并在隔离分区之间共享处理器时间和内存。开源 POK（分区操作内核）就是这种操作系统的一个很好的例子。在其存储库中，它包含一个四轴飞行器系统的示例设计，使用 AADL 语言对其硬件和软件进行建模。我们将这种技术与模型驱动工程应用于在真实硬件上运行的演示系统，该系统包含一个以 PID 控制作为分区过程的飞行管理过程。使用分区操作系统将飞行系统软件的可靠性提升到了一个新的水平。为了提高控制逻辑的正确性，我们建议使用形式化验证方法。我们还使用演绎方法在代码级别提供可验证属性的示例，并使用差分动态逻辑在信息物理系统级别提供可验证属性的示例，以证明稳定性。
无人驾驶人工智能技术及应用
摘要：无人机 (UAV) 是一种自主空中平台，具有基本飞行能力，包括起飞和降落程序、导航、路线跟踪和任务执行。无人机在各个领域用于民用和军用目的，执行超越人类能力的任务。这些飞行器具有多种硬件和软件配置，包括起飞和降落系统、导航模块、应急响应机制、传感装置、成像仪器和能源供应系统等基本组件。无人机具有飞行管理、目标识别和任务分析能力，可利用从预加载数据集、控制中心和实时环境线索收集的数据。无人机利用各种人工智能 (AI) 算法自主处理瞬时数据，结合人工神经网络、图像处理算法、学习算法和优化技术等方法。本文分析了无人机使用的数据分析方法和 AI 技术。此外，还实现了使用卷积神经网络 (CNN) 算法的图像处理应用程序来提供对象识别。用 Python 语言开发的应用程序的物体识别率经计算为 0.7107，准确率达 0.7107。这一发现表明，通过使用人工智能算法分析通过机载传感器获取的图像，可以提高无人机执行目标获取、避障和防撞等关键操作的能力。关键词：无人机、人工智能、机器学习、图像处理、物体识别简介近年来，人们十分关注以信息技术 (IT) 为基础的系统进步，这些系统旨在为超越人类能力或承担巨大风险的事业提供支持。这些系统主要被称为机器人系统或人工智能系统。“机器人”一词在捷克语中意为“繁重而乏味的劳动”，最早由卡雷尔·恰佩克于 1921 年创造。“机器人技术”一词最早由科幻小说作家艾萨克·阿西莫夫于 1950 年使用。机器人技术是一种软件和硬件系统，用于根据编程指令控制、拆卸和组装机器人对象（Ozfırat，2009 年）。在机器人系统的架构中，有物理组件，包括机械、电气、电子和计算模块，以及软件组件，例如操作系统、控制软件、通信协议和特定于任务的软件（Cosar，2023 年）。术语“机器人”和“机器人技术”经常互换使用，但它们确实有一些概念上的区别。“机器人”通常是指一个可以自行移动的实体，而“机器人”则涵盖了构成这种实体的系统。随着人工智能的加入，这些系统变得自主，能够独立收集数据、学习和解决问题。当机器人系统能够模仿人类行为，展示出执行这些行为的能力时，它就表明了它的智能和学习能力。
2025 财年 NDAA 报告 (HR 8070)
模块化标准化武器和瞄准架 .................................................. 00 夜视设备-下一代系统 .............................................................. 00 Prophet 增强信号处理 .............................................................................. 00 在现代战场上保护装甲旅战斗队 ............................................................................................. 00 快速部署的短程防空系统 ............................................................................. 00 弹性波形和与联盟伙伴的互操作性 ............................................................. 00 系留无人机系统能力 ............................................................................. 00 第三代前视红外瞄准器 ............................................................................. 00 通过团队感知套件实现可信军事通信 ............................................................. 00 海军飞机采购 ............................................................................................. 00 特别感兴趣的项目 ............................................................................................. 00 海军航空母舰后勤支援 ............................................................................. 00 超级大黄蜂电力要求 ............................................................................. 00 V–22 投资报告 ............................................................................................. 00 V–22 发动机短舱改进 ............................................................................. 00 海军武器采购 ................................................................................................ 00 特别感兴趣的项目 .............................................................................................. 00 先进机载传感器 .............................................................................................. 00 远程火力 .............................................................................................................. 00 被动远程瞄准 .............................................................................................. 00 声纳浮标库存 ...................................................................................................... 00 海军造船和改装 ............................................................................................. 00 特别感兴趣的项目 ............................................................................................. 00 持续决议和政府关门对国防部造船工作的影响 ............................................................................. 00 大型水面战斗舰 ............................................................................................. 00 PAC-3 宙斯盾集成 ............................................................................................. 00 支持福特级航空母舰的稳定采购计划 .............................................................................................00 海军其他采购 ................................................................................................ 00 特别感兴趣的项目 .............................................................................................. 00 未来 X 波段雷达 .............................................................................................. 00 综合监视系统——联合跨域交换（JCDX） ...................................................................................... 00 空军飞机采购 ................................................................................................ 00 特别感兴趣的项目 ................................................................................................ 00 空军 A–10 撤资时间表 ............................................................................. 00 空军 MH–139 灰狼采购 ............................................................................. 00 B–52 机载电子攻击 ............................................................................. 00 阿拉斯加空中主权警报任务评估 ............................................................................. 00 航空软件修补时间表 ............................................................................. 00 美国印度-太平洋司令部轰炸机舰队作战 ...................................... 00 CV-22 鱼鹰部队结构评估 .............................................. 00 用于协同战斗机的高效中型推进系统 00 F-15EX 保形油箱 ........................................................ 00 F-15EX 多年采购战略实施 ........................................................ 00 F-35 第五代武器开发和部署 ........................................................ 00 采用商业人工智能工具加强飞行管理和空中作战的实施计划。 00 KC–135 先进自动化路线图 .............................................................. 00 利用先进飞机自动化进行货物运送 .............................................. 00 MH–139 正式训练单位 .............................................................................. 00 机动飞机连通性 ............................................................................................ 00 极地战术空运要求 ............................................................................................ 00 关于 MQ–9 收割者情报、监视和侦察需求和能力的报告 ............................................................................. 00 空军导弹采购 ............................................................................................. 00 特别感兴趣的项目 ............................................................................................. 00 快速适应型经济型巡航导弹 .............................................................................00 其他采购，空军................................................................................................ 00 特别感兴趣的项目.............................................................................................. 00