XiaoMi-AI文件搜索系统
World File Search System健全性
Check Mate：对值得信赖的人工智能进行健全性检查
摘要可解释人工智能 (XAI) 方法试图通过生成解释来阐明复杂机器学习模型的决策过程。然而，对于大多数现实世界数据，没有“基本事实”解释，这使得评估 XAI 方法和模型决策的正确性变得困难。通常，视觉评估或轶事证据是唯一的评估类型。在这项工作中，我们建议使用国际象棋游戏作为“接近基本事实”(NGT) 解释的来源，可以使用各种指标将 XAI 方法与之进行比较，作为“健全性检查”。我们在深度卷积神经网络的实验中演示了这个过程，我们向该网络应用了一系列常用的 XAI 方法。作为我们的主要贡献，我们发布了 3000 万个国际象棋位置的数据集及其 NGT 解释，供 XAI 研究免费使用。
突破位置验证的经典不可能性——DROPS
Chandran 等人 (SIAM J. Comput. '14) 正式引入了位置验证的加密任务，他们还表明该任务无法通过经典协议实现。在这项工作中，我们开始研究具有经典验证器的位置验证协议。我们发现量子性证明（以及计算假设）对于此类位置验证协议是必要的。在另一个方向上，我们调整了 Brakerski 等人 (FOCS '18) 的量子性证明协议来实例化此类位置验证协议。结果，我们实现了经典可验证的位置验证，假设有错误学习的量子难度。在此过程中，我们为 1-of-2 谜题的自然非局部游戏开发了 1-of-2 非局部健全性的概念，该概念由 Radian 和 Sattath (AFT '19) 首次提出，可视为计算不可克隆性属性。我们表明，1-of-2 非局部健全性遵循标准 2-of-2 健全性（因此也遵循自适应硬核位属性），这可能具有独立的意义。
现代工业中的射线照相术
过去几年中许多引人注目的科学和工程成就都可以追溯到无损检测方法，这些方法通过确定内部健全性而不破坏产品的实用性，确保产品达到预期的令人满意的性能。如今，射线照相术是现代工业使用的所有无损检测方法中最重要的、用途最广泛的方法之一。射线照相术采用高穿透性的 X 射线、伽马射线和其他形式的辐射，不会损坏零件本身，可提供内部状况的永久可见胶片记录，其中包含确定健全性的基本信息。仅在过去十年中，数百万胶片记录或射线照片的证据就使工业能够确保产品的可靠性；提供了预防事故和挽救生命的信息手段；并且对用户有益。由于经济合理性是任何测试方法的主要标准，因此射线照相术的价值在某种程度上在于它为用户创造利润的能力。这种价值在机械加工操作中显而易见，在机械加工操作中，只有已知完好的零件才允许进入生产线。当使用较便宜的材料或制造方法代替昂贵的方法（其中健全性只是估计的质量）时，成本降低同样明显。从射线照相术中获得的信息还可以帮助工程师设计更好的
押韵，押韵，不要走开
健全性检查软件由于许多此类危害无法完全缓解，航空 GPS 接收器会调用健全性检查软件，在超出安全限制时向飞行员发出警告。该软件称为接收器自主完整性监视器或 RAIM。RAIM 是必需的，因为在卫星控制器检测和纠正错误的卫星传输之前可能会发生长达两个小时的延迟。许多手持和便携式 GPS 设备不包含 RAIM 软件，从而造成未检测到错误的阴影。这就是为什么这些设备除了一般的“态势感知”之外，不得用于 IFR 使用的原因之一。必须与其他导航系统进行系统性交叉检查。RAIM 特定于非 WAAS GPS 系统，根据 TSO-C129/C129a，这些系统不被视为独立系统。这就是为什么 AIM 呼吁在 RAIM 功能丧失时采用替代导航方式（实际上是 VOR）的原因。相比之下，WAAS 的
押韵，押韵，不要走开
健全性检查软件由于许多此类危险无法完全缓解，航空 GPS 接收器会调用健全性检查软件，以便在超出安全限制时警告飞行员。该软件称为接收器自主完整性监视器或 RAIM。RAIM 是必要的，因为在卫星控制器检测和纠正错误的卫星传输之前可能会出现长达两个小时的延迟。许多手持式和便携式 GPS 设备不包括 RAIM 软件，从而产生了未检测到错误的幽灵。这就是为什么这些设备除了一般的“态势感知”之外，在 IFR 用途上是非法的。与其他导航系统的系统交叉检查至关重要。RAIM 特定于非 WAAS GPS 系统，根据 TSO-C129/C129a，这些系统不被视为独立系统。这就是为什么 AIM 要求在失去 RAIM 功能时采用替代导航形式（实际上是 VOR）。相比之下，WAAS 构建
拟议提交地方规划 (LP1) - 塑造自治市镇
我们现在正在就新地方规划的最后阶段——拟议提交版本进行磋商。此版本的规划是在之前对规划草案进行的公众咨询的基础上制定的。它考虑了自 2019 年 7 月公布规划草案以来提出的意见和新信息。对本版规划提出的意见将提交给国务大臣进行独立审查。督察员想知道委员会是否满足了编制地方规划的法律要求，以及它是否符合国家规划政策框架中规定的所谓“健全性测试”。感谢您的关注和参与。
拟议提交地方规划 (LP1) - 塑造自治市镇
我们现在正在就新地方规划的最后阶段——拟议提交版本进行磋商。此版本的规划是在之前关于规划草案的公开磋商之后制定的。它考虑了自 2019 年 7 月公布规划草案以来提出的意见和新信息。对此版本规划提出的意见将提交给国务卿进行独立审查。检查员想知道委员会是否满足了编制地方规划的法律要求，以及是否符合国家规划政策框架中规定的所谓“健全性测试”。感谢您的关注和参与。
有多少个 QRNG 芯片？
基于算法的 PRNG 和基于经典物理的 TRNG 都存在漏洞。由于它们本质上是确定性的，因此可预测，因此 PRNG 无法提供完全的加密安全性。使用经典 TRNG，人们永远无法确定产生了多少真正的随机性。通常，在后处理级别使用健康监测和健全性检查来检测任何问题。这可能足以解决已知问题，但最终缺乏控制和底层物理过程的复杂性使其难以涵盖所有潜在场景。因此，经典 RNG 的弹性高度依赖于后处理，必须使用统计测试等各种实用工具进行评估。
拟议提交地方规划 (LP1) - 塑造自治市镇
我们现在正在就新地方规划的最后阶段——拟议提交版本进行磋商。此版本的规划是在之前对规划草案进行的公众咨询的基础上制定的。它考虑了自 2019 年 7 月公布规划草案以来提出的意见和新信息。对本版规划提出的意见将提交给国务大臣进行独立审查。督察员想知道委员会是否满足了编制地方规划的法律要求，以及它是否符合国家规划政策框架中规定的所谓“健全性测试”。感谢您的关注和参与。