Almudena Azcárate Ortega 是联合国裁军研究所 (UNIDIR) 空间安全和大规模杀伤性武器项目的研究员。她的研究重点是空间安全和导弹,目前她领导着 UNIDIR 参与联合国大会第 76/231 号决议设立的减少空间威胁不限成员名额工作组。在加入 UNIDIR 之前,Almudena 是乔治城大学法学院的研究助理,目前是该学院的法学博士候选人。她还拥有该学院的国家安全法法学硕士学位。Almudena 获得了纳瓦拉大学的法学学士学位。她被允许在西班牙执业,在乔治城大学学习之前,她是一名专门从事国际仲裁和诉讼的执业律师。
摘要 卡门线标志着可行航空旅行的范围,是国际民航组织和联合国外空事务厅权力之间的假定边界。尽管平流层在全球范围内并没有得到一致的监管,但飞机、亚轨道太空飞行和垂直太空发射作业之间发生碰撞的风险主要发生在这一空域。虽然已经注意到太空活动,但没有采取后续行动确保在太空活动期间平流层没有飞机。在开发地对空架构时,将在轨活动与发射前和穿越拥挤空域的过渡联系起来,MITRE 和航空航天工业协会找到了一种潜在的解决方案来解决高空空域治理方面的差距。本文介绍了合作平流层作业的原则,并将它们与低地球轨道作业中管理风险的作业和控制的争议性质联系起来。它定义了地对空交通管理如何利用合作操作来管理具有不同风险偏好的各方可接受的风险。
1初步,最近有很多活动达到了从事集体行为的多个移动机器人的系统。此类系统引起了人们的关注:(1)任务本质上可能太复杂了,无法实现单个机器人,或者可以从多个机器人中获得绩效好处; (2)与为每个单独的任务拥有一个强大的机器人,建造和使用几个简单的机器人可以更轻松,更便宜,更灵活,更容易容忍; (3)洞察力自我科学(组织理论,经济学),生命科学(理论生物学,动物学)和认知科学(心理学,学习,人工智能)可以源自多机器人实验系统。对多个机器人的研究自然扩展了对单机器人系统的研究,但也是一项纪律:多机器人系统可以完成任何罪恶机器人无法完成的任务,因为最终,无论是在空间上的能力,最终都是一个机器人。多机器人系统也与其他分布式系统不同,这是由于其隐式“现实世界”环境,大概与分布式系统环境的传统组件(即计算机,数据库,网络,网络)相比,它比建模和理由更为难以建模和理由。术语集体行为通常表示具有多个代理的系统中的任何代理。合作行为是当前的主题,是集体行为的一个子类,其特征是合作。韦伯斯特的词典[MW63]定义“共同运营”为“与他人或其他人相关,以获得相互,经常经济的,有益的东西”。机器人文献中合作的明确定义虽然稀疏,但包括:(a)“针对具有共同利益或回报的某些目标的共同协作行为” [BG91]; (b)“通常基于通信的一种互动形式” [MAT94A]; (c)“ [加入]共同做一些产生渐进效果的事情,例如增加表现或节省时间” [py90]这些定义显示了广泛的可能的观点。例如,(a)诸如(a)的定义通常会导致任务分解,任务分配和其他分布式的人工智能(DAI)IS-
摘要 - 自治机器人系统系统既安全性和至关重要,因为违反了系统安全性可能会安全。在此类关键系统中,使用形式的验证来对系统进行建模并验证它遵守特定的功能和安全性能。独立地,威胁建模用于分析和管理这种系统可能遇到的网络安全威胁。验证和威胁分析的目的是确保系统将是可靠的,尽管从不同的角度来看。在先前的工作中,我们认为应该使用这些分析来互相告知,并在本文中扩展了以前定义的方法,用于通过合并运行时的验证来进行安全意识的验证。为了说明我们的方法,我们分析了一种算法,用于在自动驾驶汽车之间发送合作意识信息。我们的分析以确定步步安全威胁为中心。我们展示了如何将它们形式化,并随后使用用于静态方面的形式工具的组合,即Promela/Spin和Dafny,并为动态验证生成运行时监测器。我们的方法使我们能够将验证工作集中在那些特别重要的安全属性上,并在静态和运行时考虑串联的安全性和安全性。
摘要 - 如果没有邻近的汽车的合作,在拥挤的高速公路上进行的换车行动可能会严重破坏甚至是不可行的。但是,与其他车辆的合作不能保证执行的操纵不会对交通流的负面影响,除非合作控制器设计中明确考虑它。在这封信中,我们为公路上任意数量的骑士的合作车道换行操作提供了一个符合社会符合的框架,旨在尽可能地中断交易。此外,我们通过使用Reachabil-Ity集理论明确地在优化公式中施加了可行性约束,从而导致了一项统一的设计,该设计消除了对先前工作中使用的迭代过程的需求。我们对框架的有效性进行了定量评估,并将其与先前提供的方法相比,就操纵时间和吞吐量破坏而言。
2024 年 6 月 7 日 — 可再生能源与存储(仅存储部分)。2. 太阳能热能... 大规模使用可再生能源进行清洁烹饪(政府或公共部门)。
RM-CESU 合作科学家评估国家公园的两栖动物多样性:美国地质调查局、国家公园管理局和蒙大拿大学的研究人员最近在 npj Biodiversity 上发表了一篇关于美国国家公园两栖动物现状的论文。他们评估了整个国家公园系统的两栖动物多样性、稀有性和威胁,该系统覆盖了该国 3.5% 的国土和 12% 的联邦土地。该国记录的 354 种两栖动物中至少有 230 种(65%)出现在国家公园管理局的土地上。在公园中的物种中,17% 在全球范围内处于危险之中,20% 未分类,反映出数据缺陷仍然普遍存在。预计到本世纪中叶(2040-2069 年),国家公园的干旱加剧将减少两栖动物种群。本文强调了物种保护方面的差距,但也揭示了有针对性地扩大和积极管理种群的机会。
摘要 — 本文提出了一种协作式地图绘制和目标搜索算法,用于在城市环境中检测单个移动地面目标,该目标最初对于配备有噪声、范围有限的传感器的自主四旋翼飞行器团队来说是未知的。目标根据有偏随机游走模型移动,搜索代理(四旋翼飞行器)构建一个目标状态图,该图对过去和现在的目标位置进行编码。检测前跟踪算法将目标测量值同化为对数似然比,各向异性克里金插值预测未探索区域中占用节点的位置。在搜索区域的每个位置评估的相互信息定义了一个采样优先级表面,该表面由加权 Voronoi 算法划分为候选航路点任务。通过迭代解决效用最大化分配问题,将任务分配给每个代理。数值模拟表明,与非自适应割草机和随机覆盖策略相比,所提出的方法更具优势。我们还通过使用两个真实四旋翼飞行器和两个虚拟四旋翼飞行器进行户外飞行测试,对所提出的策略进行了实验验证。
防空系统部已经开发出一种低成本平面天线 (LCPA) 概念,与目前的 CEC 阵列天线相比,该概念可大幅降低采购和生命周期成本。新的设计概念还提供了增强的舰载集成灵活性,并解决了与现有 CEC 天线相关的 DDG 51 安装挑战。该概念是一种四面平面阵列系统,采用低成本的商业阵列技术。已经设计、制造和测试了几个发射和接收模块以及一个小阵列部分,以证明 LCPA 概念的有效性。该概念已转交给 CEC 设计代理雷神公司,该公司目前正在开发 LCPA 设计,计划于 2003 年生产第一批产品,以支持 DDG 51 Flight II/IIa 安装,随后成为基线 CEC 舰载天线。
HAL 是一个多学科开放存取档案馆,用于存放和传播科学研究文献,无论这些文献是否已出版。这些文献可能来自法国或国外的教学和研究机构,也可能来自公共或私人研究中心。