摘要。在 EUROCRYPT 2020 上,Hosoyamada 和 Sasaki 提出了第一个专门针对哈希函数的量子攻击——反弹攻击的量子版本,利用概率太低而无法在经典环境中使用的微分。这项工作为哈希函数抵御量子攻击的安全性开辟了一个新视角。特别是,它告诉我们,对微分的搜索不应止步于经典的生日界限。尽管这些有趣且有希望的含义,但 Hosoyamada 和 Sasaki 描述的具体攻击利用了大型量子随机存取存储器 (qRAM),这种资源在可预见的未来是否可用即使在量子计算界也存在争议。如果没有大型 qRAM,这些攻击会导致时间复杂度显著增加。在这项工作中,我们通过执行基于具有非全活动超级 S 盒的微分的量子反弹攻击来减少甚至避免使用 qRAM。在此过程中,提出了一种基于 MILP 的方法来系统地探索针对反弹攻击的有用截断差分的搜索空间。 结果,我们获得了对 AES - MMO 、 AES - MP 的改进攻击,以及对 4 轮和 5 轮 Grøstl - 512 的第一个经典碰撞攻击。 有趣的是,在 AES - MMO 的分析中使用非全活动超级 S 盒差分会导致收集足够起点的新困难。 为了克服这个问题,我们考虑涉及两个消息块的攻击以获得更多的自由度,并且我们成功地将对 AES - MMO 和 AES - MP (EUROCRYPT 2020) 的碰撞攻击的 qRAM 需求从 2 48 压缩到 2 16 到 0 的范围,同时仍然保持可比的时间复杂度。据我们所知,这是第一次专门针对哈希函数的量子攻击,其性能略优于 Chailloux、Naya-Plasencia 和 Schrottenloher 的通用量子
摘要:无人驾驶飞行器 (UAV)(也称为无人机)的进步为推动各种大规模物联网 (IoT) 应用提供了前所未有的机会。然而,无人机平台仍然面临主要与自主性和重量相关的重要限制,这些限制会影响其在捕获和处理开发自主和强大的实时障碍物检测和避障系统所需的数据时的遥感能力。在这方面,深度学习 (DL) 技术已成为一种有前途的替代方案,可改善高度自主的无人机的实时障碍物检测和防撞能力。本文回顾了 DL 无人机系统 (UAS) 的最新发展,并详细解释了主要的 DL 技术。此外,研究了最新的 DL-UAV 通信架构并分析了它们最常见的硬件。此外,本文列举了当前 DL-UAV 解决方案最相关的开放挑战,从而使未来的研究人员能够定义设计新一代经济实惠的自主 DL-UAV IoT 解决方案的路线图。
国家运输安全委员会。2019.2017 年 8 月 21 日,美国海军驱逐舰 John S McCain 与油轮 Alnic MC 在新加坡海峡霍斯堡灯塔东北 5 英里处相撞。海事事故报告 NTSB/MAR-19/01。华盛顿特区。摘要:本报告讨论了 2017 年 8 月 21 日美国海军驱逐舰 John S McCain 与油轮 Alnic MC 相撞的事件。John S McCain 在新加坡海峡交通分离计划的西行航道上超越 Alnic MC 时,驱逐舰明显失去了转向。当船员试图重新控制船只时,John S McCain 号无意中转向左舷,撞上了 Alnic MC 号。碰撞导致 10 名 John S McCain 号船员死亡,48 人受伤,船只损失超过 1 亿美元。Alnic MC 号上无人受伤,船只损失约 225,000 美元。没有污染报告。本报告确定了以下安全问题:在船只处于拥挤水道时决定转移约翰·麦凯恩号上的推力控制位置、船只之间缺乏高频通信、海军舰艇的自动识别系统数据传输政策、约翰·麦凯恩号上的转向和推力控制转移程序、海军舰桥值班人员的培训、驱逐舰综合舰桥和导航系统的设计、海军值班人员的疲劳以及海军对约翰·麦凯恩号的监督。根据此次调查,国家运输安全委员会向美国海军提出了新的安全建议。
要求乘务员在车上进行监督并在必要时进行干预。根据 Navya 的操作员培训手册,乘务员的职责包括接待乘客上车、检查车辆是否正常运行、向监督中心报告错误、维护车内乘客和车外行人的安全以及报告损坏或受伤情况。乘务员还会启动班车的自动驾驶(系统确定何时可以安全出发),并请求在指定位置停车以及打开和关闭车门。如果班车的自动驾驶系统发生意外或错误操作,乘务员可以通过按下导航触摸屏旁边扬声器上的对讲按钮来通知 Navya。激活对讲机将使乘务员与法国的控制中心建立联系。
国家运输安全委员会。2019.2017 年 8 月 21 日,美国海军驱逐舰 John S McCain 与油轮 Alnic MC 在新加坡海峡霍斯堡灯塔东北 5 英里处相撞。海事事故报告 NTSB/MAR-19/01。华盛顿特区。摘要:本报告讨论了 2017 年 8 月 21 日美国海军驱逐舰 John S McCain 与油轮 Alnic MC 相撞的事件。John S McCain 在新加坡海峡交通分离计划的西行航道上超越 Alnic MC 时,驱逐舰明显失去了转向。当船员试图重新控制船只时,John S McCain 号无意中转向左舷,撞上了 Alnic MC 号。碰撞导致 10 名 John S McCain 号船员死亡,48 人受伤,船只损失超过 1 亿美元。Alnic MC 号上无人受伤,船只损失约 225,000 美元。没有污染报告。本报告确定了以下安全问题:在船只处于拥挤水道时决定转移约翰·麦凯恩号上的推力控制位置、船只之间缺乏高频通信、海军舰艇的自动识别系统数据传输政策、约翰·麦凯恩号上的转向和推力控制转移程序、海军舰桥值班人员的培训、驱逐舰综合舰桥和导航系统的设计、海军值班人员的疲劳以及海军对约翰·麦凯恩号的监督。根据此次调查,国家运输安全委员会向美国海军提出了新的安全建议。
2012 年 9 月,美国调查机构国家运输安全委员会 (NTSB) 根据 1993 年至 2012 年间调查的 12 起事故,向 FAA 和 EASA (21) 发出了两项安全建议 (20)。一架大型飞机的翼尖在滑行道上滑行时与另一架飞机或物体相撞。 NTSB 建议为所有大型飞机以及从驾驶舱不易看到翼尖的飞机安装摄像系统等防撞辅助设备,以帮助飞行员在滑行时确定翼尖路径。
高能离子的非弹性能量沉积是许多工业规模应用(如溅射和离子注入)的决定性量,但其由动态多粒子过程控制的底层物理通常仅被定性地理解。最近,对单晶靶材进行的透射实验(Phys. Rev. Lett. 124, 096601 和 Phys. Rev. A 102, 062803)揭示了沿不同轨迹的低能离子(比质子重)的非弹性能量损失的复杂能量缩放。我们使用类似蒙特卡洛的二元碰撞近似代码,并配备与撞击参数相关的非弹性能量损失模型,以评估这些情况下局部贡献对电子激发的作用。我们将计算出的轨迹的角强度分布与实验结果进行了比较,其中 50 keV 4 He 和 100 keV 29 Si 离子在飞行时间装置中传输通过单晶硅 (001) 箔(标称厚度分别为 200 和 50 nm)。在这些计算中,我们采用了不同的电子能量损失模型,即轻弹丸和重弹丸的局部和非局部形式。我们发现,无论晶体相对于入射光束的排列如何,绝大多数弹丸最终都会沿着它们的轨迹被引导。然而,只有当考虑局部电子能量损失时,模拟的二维图和能量分布才会与实验结果高度一致,其中引导会显著减少停止,特别是对于较重的弹丸。我们通过评估离子范围与随机表面层厚度的非线性和非单调缩放来证明这些影响与离子注入的相关性。
Ch. 1. 简介 1 1.1 背景 . ... . ... .................................................................................................................................................11 1.3.2 多声学瞬态发射源定位 .................................................................................................................................12
摘要 - 无人机(或无人空中系统)的快速发展及其在城市地区的潜在部署带来了许多安全问题。一定程度的自动化对于确保在城市环境中安全有效执行的UAS任务很可能是必要的。在大量不合作,非交流的UA会在密集的城市地区飞行,自然而然地想到的分散和自动方法。在这种方法中,每个代理都会在建筑物之间导航,同时避免其他流量。orca(最佳的相互碰撞避免)是一种最新的机器人碰撞避免使用方法,可以用作检测并避免在板上UAS上进行逻辑。最初是为自动机器人的2D运动而设计的,需要进行一些适应才能以应用于城市环境中的飞行物体。特别是,ORCA是一种短期避免碰撞,不是为复杂的城市环境中的路径规划而设计的。在这项研究中,我们引入了一种混合方法,将Orca与A ∗路径平面算法相结合,并表明Orca- A ∗
在本文中,在存在干扰,静止和移动的障碍物的情况下,考虑了四摩托无人机(UAV)的安全自动运动控制。在这方面,我们直接将一种分析控制设计方法(在后台框架内)结合在一起,并避免了解决导航问题的障碍。将屏障Lyapunov功能(BLF)纳入了翻译控制中,以使车辆远离安全球,并在障碍物周围构建,同时将其转向所需的位置。BLF允许将障碍物位置直接包含在控制设计中。这是针对已知和未知障碍速度的情况而实现的。此外,在分析中解决了任意初始条件的问题,并从安全领域进行了预先分配的时间。我们还考虑了避免机会约束碰撞的情况。所提出的方法导致了计算上有效的设计,因为获得了控制的封闭形式,而无需实时优化。更重要的是,可以保证闭环系统的分析稳定性。在存在干扰的情况下,设计了一个层次控制结构,具有无适应性模型控制,用于未知态度动力学。进行了许多数值模拟,以评估所提出方法的有效性。