XiaoMi-AI文件搜索系统
World File Search System自主的
确保人类越来越自主的系统...... - arXiv
随着飞机系统变得越来越自主，人机角色分配发生变化，新的故障模式出现。这就需要一种方法来识别日益自主的系统 (IAS) 的安全要求，以及一个框架和技术来验证和确认 IAS 是否满足其安全要求。我们使用机组资源管理技术来识别安全人机协作行为的要求和行为。我们提供了一种方法来验证 IAS 是否满足其要求。我们将该方法应用于城市空中交通案例研究，其中包括两种应急场景：不可靠的传感器和中止着陆。对于此案例研究，我们用 Soar 语言实现了一个 IAS 代理，它充当所选应急场景的副驾驶并执行起飞和着陆准备，而飞行员保留最终决策权。我们用架构分析和设计语言 (AADL) 开发了一个正式的人机团队架构模型，并在 AADL 的假设保证推理环境 (AGREE) 附件中正式化了操作员和 IAS 要求。我们根据 IAS 和操作员的要求正式验证了人机团队的安全要求。我们开发了一个从 Soar 到 nuXmv 模型检查语言的自动翻译器，并使用 nuXmv 正式验证了 IAS 代理是否满足其要求。我们分享了在此过程中发现的设计和要求错误以及我们学到的经验教训。
不应开发完全自主的AI代理
tem的自主权水平：用户cedes的控制权越多，系统产生的风险就越多。作为他人（Chan等人，2023年）以前已经指出过，迫切需要对代理机构的增加并解决增加代理的风险，我们通过基于价值的特征来做到这一点。特别是与个人的安全价值相关的风险（第5.2.10节），其中包括丧失人类生命并为隐私风险打开大门（第5.2.8节）和安全风险（第5.2.11节）。更加复杂的问题是放错位置的信任（第5.2.13节），这使雪球效应具有进一步的伤害。例如，“劫持”的安全问题，其中恶意的第三方指示代理人以实现限制性信息，可能会造成进一步的危害，因为该信息被用来妥协用户公众声誉或财务状况或攻击目标（美国AI Safetutte of Attack of Attacks of Attacks of Attack tosections）。
走向开放战略自主的新范式？
在前所未有的危机背景下，战略自主的概念真正流行起来。然而，欧洲议会研究服务处（EPRS）的定义表明，这一多方面的概念更多的是政治层面，而不是真正的操作层面：“战略自主——定义为自主行动、在关键战略领域依靠自身资源并在需要时与合作伙伴合作的能力——因此是一种优势，如果有效利用，还可以让欧盟实现欧洲理事会在其 2019-2024 年战略议程中设定的目标：保护欧盟的利益并在全球范围内推广其价值观。这将使欧盟能够实现其自我设定的雄心壮志，保护其公民，应对外部冲突和危机，并帮助其合作伙伴建设能力。” 1
不应开发完全自主的AI代理
tem的自主权水平：用户cedes的控制权越多，系统产生的风险就越多。作为他人（Chan等人，2023年）以前已经指出过，迫切需要对代理机构的增加并解决增加代理的风险，我们通过基于价值的特征来做到这一点。特别是与个人的安全价值相关的风险（第5.2.10节），其中包括丧失人类生命并为隐私风险打开大门（第5.2.8节）和安全风险（第5.2.11节）。更加复杂的问题是放错位置的信任（第5.2.13节），这使雪球效应具有进一步的伤害。例如，“劫持”的安全问题，其中恶意的第三方指示代理人以实现限制性信息，可能会造成进一步的危害，因为该信息被用来妥协用户公众声誉或财务状况或攻击目标（美国AI Safetutte of Attack of Attacks of Attacks of Attack tosections）。
不应开发完全自主的AI代理
tem的自主权水平：用户cedes的控制权越多，系统产生的风险就越多。作为他人（Chan等人，2023年）以前已经指出过，迫切需要对代理机构的增加并解决增加代理的风险，我们通过基于价值的特征来做到这一点。特别是与个人安全价值有关的风险（第5.2.10节），其中包括丧失人类生命并为隐私风险打开大门（第5.2.8节）和安全风险（第5.2.11节）。更加复杂的问题是放错位置的信任（第5.2.13节），这使雪球效应具有进一步的伤害。例如，“劫持”的安全问题，其中恶意的第三方指示代理人以实现限制性信息，可能会造成进一步的危害，因为该信息被用来妥协用户公众声誉或财务状况或攻击目标（美国AI Safetutte of Attack of Attacks of Attacks of Attack tosections）。
完全自主的机器人浮子遵循室内游行路线
•每个团队必须完成测试游行清单项目1-6，以确保所有机器人车辆符合规格和功能要求。最大允许进行5次尝试•在测试游行清单上将项目1-6传递后，将给出一个编号的标志•不完全满足测试游行清单项目1-6的游行要求的团队将获得一个字母的标志并允许竞争，尽管在法官的评估中会考虑满足要求的能力。每个团队成员必须清楚地解释他/她的角色•法官将在整个比赛中采访团队成员•将有两个（10+2 = 12分钟）游行。
使用LIDAR进行自主的实时对象检测...
该研究提出了三个关键的子问题：了解可靠对象检测的必要指标，探索当与摄像机/雷达信息结合使用时，LIDAR信息如何增强对象检测，并确定集成方法的限制。为了评估集成系统的有效性和鲁棒性，将在Kitti数据集中已经提供的各种情况下进行实验，考虑到不同的环境条件，照明变化和对象类型。实现阶段将利用在合适的硬件平台上运行的软件工具和库，包括Python和Tensorflow。道德考虑，数据隐私和同意将在整个研究中优先考虑。
日益自主的航天器任务操作的知识工程框架
随着规划和自主性在航天器上越来越多地得到部署，任务将面临地面操作团队指挥和与航天器交互方式的范式转变：从指定定时命令序列转变为机载自主性将根据航天器的状态和感知环境制定的高级目标。在本文中，我们介绍了一项持续努力，即通过建模科学和工程意图/目标、预测结果、评估航天器状态和性能以及维护用于机载决策和地面监控的模型来开发一个支持地面操作的综合框架。具体来说，我们描述了自主航天器操作中关键的特定知识工程方面，以及我们提出如何应对机载自主操作所带来的挑战。
如果人为错误是大多数航空事故的原因，我们应该消除人为因素吗？还是自主的承诺
2004 年，在美国，飞行员失误被列为 78.6% 的致命通用航空事故的主要原因，也是 75.5% 的通用航空事故的主要原因。对于定期航空运输，飞行员失误通常占全球已知原因事故的一半以上。飞行员总失误 所有三种飞行员失误的总和（黄色）。如果有多个原因，则使用最主要的原因。其他人为失误 包括空中交通管制员失误、飞机装载不当、燃油污染和维护程序不当。
有关相关发展，法规，经济，社会和环境福利的研究报告以及自主的实际应用
需要努力来帮助该地区的发展中国家了解创新的自主运输技术的更广泛利益，并解决与他们引入的广泛的技术和法律方面，例如海上事故，保险问题，网络黑客入侵和机组人员的责任领域。还需要理解并为亚洲和太平洋的这一发展的含义做好准备，并为全球运输提供了大部分劳动力。此外，该地区缺乏对广泛的经济的完全了解，但也缺乏创新的自动运输技术的社会和环境利益，这导致其在战略运输开发计划中的优先级不足，而在区域合作中的机械性。同样，解决法律和技术问题的能力不足，阻碍了该领域的国家和地区倡议，并危及遵守未来的IMO法规。