XiaoMi-AI文件搜索系统
World File Search System自主化
军事系统自主化的斗争 - IFRI
首先，围绕“自主性”一词的语义争论显然对集成该功能的武器系统（平台和弹药）的开发、分类和监管构成了障碍。事实上，让人类“参与决策”或“在环”决策的武器系统是他律的。只有人类完全“脱离圈子”的那些才可以被描述为自主的，但与人们对“终结者”到来战场的普遍和反乌托邦的恐惧相反，它们的发展迄今为止既不受欢迎也不可能。更准确地说，法国学说根据武器系统各种功能（导航、观察、态势分析、武器指向、射击决策支持、射击决策等）的自动化程度对武器系统进行分类。因此，必须在一个连续体中考虑武器系统的自动化和授权，其中人类拥有自己的全部地位。因此，自动化和自主性之间的区别更多地是由于计算机编程功能的性质造成的：能够单独从一个点移动到另一个点的系统是自动化的，但只有在遇到以下情况时才会被称为自主性：途中遇到障碍，他会知道如何避开它并找到回去的路，甚至决定采取新路线。
15 民用航空自主化之路
空域管理 空域管理必须发展为无人机系统交通管理 (UTM)，以适应自主性。它必须具有适应性，以适应在同一空域中共存的非自主和自主飞行器的变化组合。空中交通管理系统将需要一定程度的自主性，以应对各种飞行器以及大幅增加在受控空域中运行的飞行器数量的潜力。空域控制将扩展到地面和 2000 英尺之间的高度，以充分利用较低的空域。不可避免地会从传统方法过渡到新方法，并且在过渡过程中管理不同方法将面临挑战。
通过耗散动力学出现自主化学系统
摘要：这项工作解决了补偿自我组织和自然选择的熵成本的动力学要求，从而揭示了生物学的基本原则。生命的代谢和进化特征因此不能与生命的起源分开。生长，自组织，进化和耗散过程需要由从环境中收获的低透镜能量来代谢耦合和助力。进化过程需要一个涉及平衡外中间体和动力学障碍的繁殖周期，以防止生殖循环反向进行。模型分析导致了出乎意料的简单关系，即应赋予系统的能量，其潜力超过了与生成时间与过渡状态寿命比率相关的值，从而实现了模拟自然选择的过程。重现生活的主要特征，尤其是其达尔文人的行为，需要满足与时间和能量有关的满足约束。不可逆的反应周期仅由不稳定的实体制成，重现了其中一些基本特征，从而为可能出现的自主权提供了物理/化学基础。发现这种新兴的自主系统（EASS）能够通过传播稳定的动力学状态来维持和再现它们的物理/化学基础，从而为表观遗传过程提供物理/化学基础。
基于分形维数和多维重构的智能态势感知
摘要：为实现态势感知的自主化、智能化，本文提出了一种基于分维信息挖掘和多维信息重构的智能态势感知模型。首先，通过对输入的融合信息进行三维重构建立空间态势感知，四维重构完成态势理解，五维重构寻求态势预测，将三级态势估计模型优化为更加鲁棒的态势估计三元模型。结合数据库系统、推理学习机制和多样化的人机界面理念，完成了智能态势感知的基本框架。其次，论证了系统的灵活配置方法。第三，给出了智能态势感知性能指标和多节点一致性的一些基本评价方法。第四，给出了钻井平台典型电磁态势估计算例，对理论进行了说明和验证。最后，对智能态势感知系统下一步建设提出了几点建议。
基于分形维数和多维重构的智能态势感知
摘要：为实现态势感知的自主化、智能化，本文提出了一种基于分维信息挖掘和多维信息重构的智能态势感知模型。首先，通过对输入的融合信息进行3D重构建立空间态势感知，4D重构完成态势理解，5D重构寻求态势预测。将三级态势估计模型优化为更加鲁棒的态势估计三元模型。结合数据库系统、推理学习机制和多样化的人机界面理念，完成了智能态势感知的基本框架。其次，论证了系统的灵活配置方法。第三，给出了智能态势感知性能指标和多节点一致性的一些基本评估方法。第四，本文给出了钻井平台的典型电磁态势估计算例，对理论进行了说明和验证。最后对下一步智能态势感知系统的建设提出了几点建议。
海事系统设计与验证的形式化方法...
摘要 海上自主水面舰艇 (MASS) 正在接近现实，为海上控制系统带来了新的复杂性和关键性。在本文中，我们研究了如何使用形式化方法 (FM) 来设计和验证海上控制系统，以实现安全有效的 MASS。FM 是一系列基于数学的规范和验证方法。我们首先对 FM 进行高级介绍。我们讨论了当前的海上控制系统认证实践和走向自主化的需求。我们给出了三个具体示例，说明如何应用 FM 来满足这些需求：COLREG 的形式化规范、基于合同的设计和基于模拟的测试的自动化。最后，讨论了 FM 的一些局限性。我们得出结论，FM 似乎是满足部分自主性需求的有希望的候选者，并鼓励对 MASS 的 FM 进行进一步研究。关键词 海上自主水面舰艇、形式化方法、验证、规范、保证 简介 海上自主水面舰艇 (MASS) 正在接近现实，正在进行的项目众多，从小型研究原型到全尺寸工业船舶。虽然存在几种程度的自主性，但 MASS 的典型特点是能够在非平凡操作中独立于人类操作员运行，需要态势感知和规划能力。这些特点使得 MASS 开发人员需要新的设计方法，监管机构 (IMO 2021、NMD 2020) 和船级社 (DNV 2018) 也需要新的安全保证方法和流程。形式化方法 (FM) 是一类基于数学的规范和验证方法，源自理论计算机科学 (Woodcock 等人2009)。FM 提供高水平的保证，因此几十年来一直被积极用于其他行业（如航空航天和铁路）关键系统的开发和验证。随着自主系统的出现，FM 被认为是解决它们带来的一些保证挑战的有希望的候选者。这导致了过去十年来对应用于自动驾驶汽车和飞行器的 FM 的积极研究（Luckcuck 等人2019）。海运业尚未看到 FM 的广泛采用。然而，这种情况似乎正在改变，因为去年发表了一些文章。Shokri-Manninen 等人。福斯特等人。(2020) 创建了一个基于自动机的单船相遇正式模型，并综合了一种构造正确的导航策略。Park 和 Kim (2020) 基于可达性分析，综合了一种构造正确的船舶自动停靠控制器。(2020) 提出了一种混合动力系统形式的自主船舶控制器，并使用自动定理证明器来验证一些安全不变量。本文旨在通过首先进行高级介绍，引起海事界对 FM 的关注。接下来，我们回顾当前海事控制系统设计和验证的实践，并讨论一些走向自主化的需求。然后，我们在三个特定用例中激励并演示了 FM 的使用，以满足这些需求。最后，我们讨论一下 FM 的一些局限性。
Bruna Pinotti Garcia Oliveira的演变...
本博士学位论文旨在确定是否存在紧急人类信息权的过程，其自主化和规范在历史和监管框架中。第一章划定了历史事件，这些事件影响了信息法作为附属基本权利的配置，尤其是古腾堡出版社的发明和法国大革命的爆发；正如研究国际人权法的起源的信息权，包括在通用信息访问的情况下的重要性。第二章评估了国际人权法中信息权的第一个重大方向的重大变化，从而扩展了通用法律的标准化信息流入信息流以肯定访问公共信息的权利，从历史角度来看，这是从历史的角度来理解国家在行使警惕性中的作用，以雪橇案件为范式。第三章介绍了国际人权法中信息权的最终改变，这可以从数据保护的纪律，在互联网巨头监护下获得信息的权利以及信息性的自我确定，从传统媒体的历史经济验证开始，从传统媒体的历史经济验证开始，以使数据经济的主要经济管理者负责互联网的互联网范围，以保护所有互联网。提出了检验该假设的教义纪录片方法，最终，信息权经历了转变，导致自治从指定浪潮转移到指定波（首先），这是指通过思想的传播和教育的普遍化来传播信息法。第二，指确认访问公共特定信息和公共利益信息的权利；第三，指的是在私人受试者的监护权下广泛访问个人信息的权利和信息性的自我确定性，是由知情同意，健忘和信息完整性/准确性的权利组成的。这项工作除了严格与假设检验相关的情况外，还得出其他结论该网络处于政治和经济力量的范围内。关键字：电子法律；国际人权法；信息;信息自由；信息技术。