在本文中,我们引入了分布式交互证明的量子对应物:证书现在可以是量子比特,并且网络节点可以执行量子计算。本文的第一个结果表明,通过使用分布式量子交互证明,交互的次数可以显著减少。更准确地说,我们的结果表明,对于任何常数 k ,可以由 ak 轮经典(即非量子)分布式交互协议(具有 f ( n ) 位证书大小)决定的语言类包含在可以由 5 轮分布式量子交互协议(具有 O ( f ( n )) 位证书大小)决定的语言类中。我们还表明,如果我们允许使用共享随机性,轮数可以减少到 3 轮。由于目前还没有类似的减少轮数的经典技术,我们的结果证明了量子计算在分布式交互证明设置中的强大功能。
摘要:随着量子计算机的出现,重新审视密码学的安全性近年来一直是一个活跃的研究领域。在本文中,我们估算了将 Grover 算法应用于 SPEEDY 分组密码的成本。SPEEDY 是 CHES'21 中提出的一类超低延迟分组密码。可以确保配备 Grover 算法的密钥搜索将分组密码的 n 位安全性降低到 n 2 位。问题是 Grover 算法需要多少量子资源才能工作。NIST 将对称密钥密码的后量子安全强度估计为 Grover 密钥搜索算法的成本。SPEEDY 提供 128 位安全性或 192 位安全性,具体取决于轮数。根据我们估计的成本,我们提出增加轮数不足以满足对量子计算机攻击的安全性。据我们所知,这是 SPEEDY 作为量子电路的首次实现。
使用经典计算获得组合优化问题的精确解需要耗费大量的计算资源。该领域的现行原则是量子计算机可以更有效地解决这些问题。虽然有前景的算法需要容错量子硬件,但变分算法已经成为近期设备的可行候选者。这些算法的成功取决于多种因素,其中假设的设计至关重要。众所周知,量子近似优化算法(QAOA)和量子退火等流行方法存在绝热瓶颈,导致电路深度或演化时间更长。另一方面,虚时间演化的演化时间受哈密顿量的逆能隙所限制,对于大多数非关键物理系统来说,该能隙是常数。在这项工作中,我们提出了受量子虚时间演化的启发的虚哈密顿变分假设(i HVA)来解决 MaxCut 问题。我们引入了参数化量子门的树形排列,从而能够使用一轮 i HVA 精确解决任意树形图。对于随机生成的 D 正则图,我们通过数值证明 i HVA 以较小的常数轮数和亚线性深度解决了 MaxCut 问题,优于 QAOA,后者需要轮数随图大小而增加。此外,我们的假设可以精确解决最多 24 个节点且 D ≤ 5 的图的 MaxCut,而经典的近最优 Goemans-Williamson 算法只能得出近似解。我们通过硬件演示在具有 67 个节点的图上验证了我们的模拟结果。
本报告中提供的数据由国际移民组织 (IOM) 委托,由多元文化洞察组织作为 GPS 第 15 轮 (R15) 的一部分收集。数据是通过电话访谈收集的,受访者是通过一项具有全国代表性的 20,000 人筛查调查确定的。第 15 轮数据包括 2023 年 11 月 27 日至 12 月 27 日期间对 1,517 名 IDP、1,541 名回归者和 2,002 名非流离失所者的访谈。IDP 的定义是由于 2022 年 2 月的全面入侵而离开家园或居住在惯常居住地之外的人,无论他们是否拥有已登记的 IDP 身份。回归者的定义是经过一段较长的流离失所期(自 2022 年 2 月以来至少两周)后返回惯常居住地的人。所有其余个人均被视为非流离失所者。此外,在特别指出的情况下,9 月 3 日至 25 日收集的第 14 轮 GPS 数据用于补充研究结果。
在本文中,我们介绍了密码套件 Ascon,它提供了带关联数据的认证加密 (AEAD) 和散列功能。该套件由认证密码 Ascon -128 和 Ascon -128a 组成,它们已被选为 CAESAR 竞赛最终组合中轻量级认证加密的首选,还有一种新变体 Ascon -80pq,可以增强对量子密钥搜索的抵抗力。此外,该套件还包括散列函数 Ascon-Hash 和 Ascon-Hasha ,以及可扩展输出函数 Ascon-Xof 和 Ascon-Xofa 。NIST 的建议包括 Ascon -128 与 Ascon-Hash 的组合或 Ascon -128a 与 Ascon-Hasha 的组合。所有方案都提供 128 位安全性,并在内部使用相同的 320 位排列(具有不同的轮数),因此单个轻量级原语足以实现 AEAD 和散列。
摘要 近年来,聊天机器人成为引导用户消费服务的新型智能终端,然而其最为诟病的是所提供的服务不是用户期望的或者最期望的,这一缺陷主要源于两个问题,一是信息不对称导致用户需求表达的不完整性和不确定性,二是服务资源的多样性导致服务选择的困难。对话机器人是典型的网状设备,引导式多轮问答是引出用户需求最有效的方式。显然,复杂的问答轮次过多不但枯燥无味,而且用户体验不佳。因此,我们的目标是在尽可能少的轮次中尽可能准确地获取用户需求。为此,提出了一种基于知识图谱(KG)的用户意图识别方法进行模糊需求推理,并提出了一种基于粒计算的需求引出方法进行对话策略生成。实验结果表明,这两种方法可以有效减少对话轮数,并能快速准确地识别用户意图。索引术语——知识图谱;不确定性需求分析;多轮对话;认知服务计算;聊天机器人;对话式人工智能机器人;粒计算。
2018 年 8 月,NIST 启动了一项流程,以征集、评估和标准化轻量级加密算法,这些算法适用于当前 NIST 加密标准性能不可接受的受限环境。要求加密算法提供经过认证的加密和关联数据 (AEAD) 功能,以及可选的哈希功能。从那时起,密码社区就为最初 57 份提交的密码分析和不同平台(包括软件和硬件)的基准测试做出了贡献。10 个入围者于 2021 年 3 月 29 日选出,分别是:ASCON、Elephant、GIFT-COFB、Grain128-AEAD、ISAP、Photon-Beetle、Romulus、Sparkle、TinyJambu 和 Xoodyak。在本报告中,我们展示了对不同数据集执行的 NIST 统计测试的结果,这些数据集是从 NIST 轻量级标准化流程的入围者的所有可能的缩减轮次版本的输出生成的。实验的目的是提供另一个指标来比较每个候选者的轮数选择是保守还是激进。请注意,在 1999 年和 2000 年的高级加密标准选择期间以及 2011 年的 SHA-3 候选者中也进行了类似的分析。
尽管包括本文作者在内的许多人都公开表示,正在开发的小型运载火箭数量是不可持续的,但投资者的资金仍在继续流入这一细分市场。每年都会有数轮数百万美元的融资公告。即使是全球新冠疫情带来的挑战也没有减缓这一趋势。2015 年,我们在 AIAA/USU 小型卫星会议上首次展示了这项调查,并确定了 20 辆正在开发的小型运载火箭。到 2022 年中期,该类别中有 11 辆运载火箭投入运营,47 辆正在开发中,另外 47 辆是潜在的新进入者,但目前还没有足够的信息。其中许多是 2021 年和 2022 年首次出现在这项年度调查中。虽然最初,发展受到政府对太空的新投资的刺激,例如我们在英国看到的情况,但即使没有政府投资的承诺,细分市场仍在继续增长。在本文中,我们概述了目前正在开发的小型运载火箭。我们会比较它们的能力、既定的任务目标、成本和资金来源以及公开的测试进度。我们还回顾了自我们首次开始撰写本报告以来退出的许多参赛者。自上次提交本文以来,又有一个系统投入运行,并且有几个系统已经达到了稳定的发射节奏。
滑动是一种运动系统,其特征是独立驾驶地面车辆的平行胎面。转弯需要向每个胎面命令不同的旋转速度,这激发了内部胎面在转弯中刹车的外部胎面,相反,该胎面被外部拖动。因此,外胎面滑动,即,它的进展要小于其旋转速度给出的位移,并且内部滑动,即它的旋转速度比预期的要多。当车辆在现场转动时,理想情况下,胎面速度相反,两个胎面上都会滑动。仅当两个胎面都具有相同的旋转速度时,不会发生滑动或打滑(在直线运动期间)。可以使用轨道或几个机械链接的轮子建造滑动车辆的胎面。主要区别在于它们与地面的接触斑,轨道比车轮要大得多,从而导致摩擦更高,并且在不规则的地形上具有更好的牵引力[1]。每侧的车轮数通常在两到四个之间变化,是胎面的行为,距离更接近轨道。由于它的机械简单性和高可操作性,载人[2]和无人驾驶[3]地面车辆通常都采用了滑动运动。滑动移动机器人的现场应用包括检查[4],采矿[5],农业[6] [7],搜救[8]和林业[9]等。尽管如此,这种机制意味着高功率要求[10] [11],并使动态建模更加复杂[12] [13]。此外,在倾斜的地形上运行[14] [15],