XiaoMi-AI文件搜索系统
World File Search System地面控制
地面控制人工智能（AI）政策.docx
1. 增强而非替代 人工智能应被用作增强人类创造力和生产力的工具，而不是替代我们创意团队的艺术视野或工艺。我们相信人类思想和智慧的力量，人工智能应该增强而不是削弱这种力量。 2. 透明度和道德使用 在生产过程中使用人工智能的任何行为都必须透明，特别是当它有可能影响最终产品的真实性或原创性时。当在创作过程中使用人工智能工具时，我们会坦诚地告知客户和合作者。 3. 保护知识产权和创作完整性 使用人工智能时应尊重知识产权的所有权，包括我们自己的和第三方的知识产权。人工智能生成的内容不得侵犯受版权保护的材料，并且必须严格遵守许可法和协议。
优化系留高空平台地面控制站的电池维护和可靠性
本文介绍了一种集成系统，通过战略性地管理 k-out-of-n ：G，COLD 系统中电池的修复和补充，确保系留高空平台系统 (HAPS) 不间断电源供应。我们假设电池是相同的，它们的寿命彼此独立且呈指数分布。电池因故障而独立劣化并等待修复。当工作电池数量减少到 L ð L < n Þ 时，修复设施启动，当运行电池数量下降到 N ð N < L Þ 时，下达 n −k + 1 块电池的补货订单。我们推导出系统状态概率的显式解并分析关键性能指标。此外，我们采用粒子群优化 (PSO) 算法来确定所提优化问题的最佳成本，并使用 Morris 方法进行灵敏度分析。结果为 HAPS 的有效电池管理策略提供了见解，确保可靠的电源供应同时最大限度地降低成本。 [DOI: 10.1115/1.4067545]
通过地面控制软件对自主系统的动态保证 *
保证案例已成为建立对复杂自主系统的信任的一种方式。需要根据当前的系统上下文和性能不断重新评估此类系统的许多保证案例辩护。自主系统，尤其是部署在远程环境中的系统，通常具有一个地面控制系统，可实现监视和远程操作。在本文中，我们提出了一个动态保证框架，旨在将保证案例与地面控制系统联系起来。我们使用地面控制系统来促进在保证案例中支持各种理由的定量保证措施的动态评估。我们证明了NASA AMES研究中心项目团的拟议动态保证框架。我们使用内部和外部工具的组合来确定保证措施，正式化相关要求并生成将数据馈送到外部地面控制系统的监视器。
飞机综合地面控制律设计 - HAL
HAL 是一个多学科开放存取档案馆，用于存放和传播科学研究文献，无论这些文献是否已出版。这些文献可能来自法国或国外的教学和研究机构，也可能来自公共或私人研究中心。
飞机综合地面控制律的设计 - HAL
HAL 是一个多学科开放存取档案馆，用于存放和传播科学研究文献，无论这些文献是否已出版。这些文献可能来自法国或国外的教学和研究机构，也可能来自公共或私人研究中心。
通过地面控制软件对自主系统的动态保证
I.引言案件越来越被公认为是对具有自主功能的复杂系统建立信任的一种方式[1]。保证案例是一种全面，可辩护和有效的理由，即系统将按照特定任务和操作环境的目的运作。具有自主能力的系统的这种理由通常基于各种概率定量[2]。由于这些系统运行的环境条件的动态性质以及自主系统本身的变化性质，这些概率量化在设计时间内不能简单地估算一次。相反，需要在系统操作期间不断评估它们，以确保保证案例的合理性有效。我们指的是将静态元素和动态元素作为动态保证情况（DAC）结合的保证案例。这种具有自主功能的复杂系统通常使用地面控制软件（GCS）组件部署，以实现远程操作。该系统是由单个单元还是单位舰队组成，已部署的分布式或远程环境中，GCS是对部署系统行为的窗口。它从系统接收遥测，向系统发出命令，并提供各种功能来可视化系统性能。我们提出了一个动态保证框架，其中GC是自主系统与其DAC之间的中继。GCS本身可用于使用传入遥测来跟踪单位特异性和系统范围的概率定量。我们将这些量化嵌入了整个DAC，作为可以由外部来源更新的变量。我们使用GC定期更新这些变量，这使我们能够不断评估正式定义的保证案例合同。我们在NASA AMES项目中展示了我们动态的保证框架，该框架旨在开发能够自主绘制其环境的流浪者队伍。流浪者合作工作，每个人都会为环境的不同部分收集数据。每个漫游者运行相同的核心飞行系统（CFS）[3]应用程序。Troupe使用Openc3 Cosmos [4]作为接地系统，并提倡[5]捕获DAC系统。我们使用该方法将保证案例与正式验证[6]与正式的运行时监控工具联系起来。特别是，我们使用FRET工具[7]来形式化倡导者中捕获的要求。然后，我们利用OGMA [8，9]和Copilot [10]工具及其与FRET的集成的功能来生成CFS监视器，并获得更新系统DAC所需的系统信息。我们展示了如何使用其红宝石脚本编辑器在宇宙中捕获漫游车特异性和系统范围的量化，并将其传递到倡导者中建模的DAC中。然后，我们展示了如何将这些传入变量嵌入DAC的不同部分以及如何观察到其更新的效果。
无人驾驶飞行器地面控制站 - Desert Rotor
desertrotor.com › MIRA_Booklet PDF 2023 年 4 月 21 日 — 2023 年 4 月 21 日 GCS SmartView™ 3.0 界面 - 带触摸屏 HUD......轻松拨入商用无人机，并快速自信地在飞机模型之间切换。
