XiaoMi-AI文件搜索系统
World File Search Systemarxiv
![arXiv:2310.12419v2 [cs.CR] 2024 年 6 月 6 日](/simg/g:\will\search\icon\source\f\f0c960cb0da1202222e3b6f934d6ea05a542d293.png)
arXiv:2310.12419v2 [cs.CR] 2024 年 6 月 6 日
在本文中，我们提出了一种名为 AFLR UN 的新型定向模糊测试解决方案，其特点是目标路径多样性度量和无偏能量分配。首先，我们通过维护每个覆盖目标的额外原始地图来开发一种新的覆盖度量，以跟踪击中目标的种子的覆盖状态。这种方法可以将通过有趣路径击中目标的航点存储到语料库中，从而丰富每个目标的路径多样性。此外，我们提出了一种语料库级能量分配策略，确保每个目标的公平性。AFLR UN 从均匀的目标权重开始，并将该权重传播到种子以获得所需的种子权重分布。通过根据这种期望的分布为语料库中的每个种子分配能量，可以实现精确且无偏的能量分配。我们构建了一个原型系统，并使用标准基准和几个经过广泛模糊测试的真实应用程序评估了其性能。评估结果表明，AFLR UN 在漏洞检测方面的表现优于最先进的模糊测试器，无论是数量还是速度。此外，AFLR UN 在四个不同的程序中发现了 29 个以前未发现的漏洞，包括 8 个 CVE。
![arXiv:2109.08006v3 [cs.AI] 2021 年 11 月 5 日](/simg/g:\will\search\icon\source\4\4fcb830248cd3f99a25326b2b1663ac275ee39f0.png)
arXiv:2109.08006v3 [cs.AI] 2021 年 11 月 5 日
人工智能 (AI) 的一个重要方面是能够以逐步的“算法”方式进行推理，并可以检查和验证其正确性。这在问答 (QA) 领域尤为重要。我们认为，问答中的算法推理挑战可以通过人工智能的“系统”方法有效解决，该方法的特点是混合使用符号和亚符号方法，包括深度神经网络。此外，我们认为，虽然具有端到端训练管道的神经网络模型在图像分类和语言建模等狭窄应用中表现良好，但它们本身无法成功执行算法推理，尤其是当任务跨越多个领域时。我们讨论了一些值得注意的例外情况，并指出当问答问题扩大到包括其他需要智能的任务时，它们仍然受到限制。然而，深度学习和机器学习总体上确实在推理过程中发挥着重要作用。在本立场文件中，我们提出了一种用于 QA 的算法推理方法，即深度算法问答 (DAQA)，该方法基于这种 AI 系统应该具备的三个理想特性：可解释性、可泛化性和鲁棒性，并得出结论，通过混合 AI 和组合 AI 的组合可以最好地实现这些特性。
分布式容错航空电子系统 - arXiv
N.C. Audsley、M. Burke 英国航空航天可靠计算系统中心，约克大学计算机科学系，约克 Y01 5DD，英国。{neil,baemike}@cs.york.ac.uk 摘要——本文探讨了通过重新配置将高级容错形式引入安全关键型航空电子系统的问题。这是在分布式集成航空电子系统发生故障后提高可用性所必需的（与静态联合系统相比）。采取的方法是确定从当前架构到包含或多或少重新配置的架构的迁移路径。确定的其他挑战包括开发过程的变化；增量和灵活的时间和安全性分析；适用于安全关键系统的可配置内核。目录
![arXiv:2501.01291v1 [cs.AI] 2025 年 1 月 2 日](/simg/g:\will\search\icon\source\f\f52a3aac91627968cfd5ee7f349b9908aeff8184.png)
arXiv:2501.01291v1 [cs.AI] 2025 年 1 月 2 日
传统的多臂老虎机 (MAB) 算法是为平稳环境设计的，其中与臂相关的奖励分布不会随时间而变化。然而，在许多应用中，环境被更准确地建模为非平稳的。在这项工作中，研究了分段平稳 MAB (PS-MAB) 环境，其中与一部分臂相关的奖励分布在某些变化点发生变化，而在变化点之间保持平稳。我们的重点是 PS-MAB 的渐近分析，之前已经为其提出了基于变化检测 (CD) 的实用算法。我们的目标是模块化此类基于 CD 的老虎机 (CDB) 程序的设计和分析。为此，我们确定了模块化所需的平稳老虎机算法和 CDB 程序中变化检测器的要求。我们假设奖励是亚高斯的。在此假设和变化点分离的条件下，我们表明 CDB 程序的分析确实可以模块化，因此可以以统一的方式获得各种变化检测器和强盗算法组合的遗憾界限。通过这种分析，我们开发了新的模块化 CDB 程序，这些程序是顺序最优的。我们在模拟中将我们的模块化 CDB 程序的性能与其他各种方法进行了比较。
![arXiv:2401.02344v1 [cs.LG] 2024 年 1 月 4 日](/simg/g:\will\search\icon\source\3\33969f2d6df82554df6878e78b2420d22a4c30e8.png)
arXiv:2401.02344v1 [cs.LG] 2024 年 1 月 4 日
尽管基于深度学习的算法在通过脑电图 (EEG) 信号自动识别情绪方面表现出色，但个体脑信号模式的差异会降低模型在不同受试者身上应用时的有效性。虽然迁移学习技术已经表现出良好的效果，但它们仍然面临与特征表示不足相关的挑战，并且可能会忽略源受试者本身可能具有不同特征的事实。在这项工作中，我们提出了一种多源域自适应方法，该方法使用基于变换器的特征生成器 (MSDA-TF)，旨在利用来自多个来源的信息。所提出的特征生成器保留了卷积层以捕获浅层空间、时间和频谱 EEG 数据表示，而自注意机制则提取这些特征内的全局依赖关系。在适应过程中，我们根据相关值对源主体进行分组，并旨在将目标主体的时刻与每个源以及源内的时刻对齐。MSDA-TF 在 SEED 数据集上得到了验证，并显示出良好的结果。
![arXiv:2501.04957v1 [quant-ph] 2025 年 1 月 9 日](/simg/g:\will\search\icon\source\4\4675215255facc1da84b045fc2a0a6414a23d5fc.png)
arXiv:2501.04957v1 [quant-ph] 2025 年 1 月 9 日
量子数字签名（QDS）基于量子力学原理，提供信息论安全性，确保数据传输的完整性、真实性和不可否认性。在现有的 QDS 协议下，与测量设备无关的 QDS（MDI-QDS）可以抵抗所有针对检测的攻击，但它受到有限尺寸效应的影响。在本文中，我们提出并比较了三种用于双诱饵 MDI-QDS 有限尺寸分析的参数估计模型。第一个模型是以前方案中常用的模型，我们提出了两个新模型来提高性能。随后，我们进行数值模拟以评估这三个模型的性能。结果表明，所提出的方法受有限尺寸效应的影响较小，从而有效提高签名率。这项工作有助于 QDS 的实用化发展。
用于更新 arxiv 的 DRAGON-AI 论文副本
目前，大多数本体编辑工作流程都涉及为本体中的每个术语或类别手动输入多条信息（也称为公理）。这些信息包括唯一标识符、人性化标签、文本定义，以及将术语与其他术语（无论是在同一个本体中还是在不同的本体中）连接起来的关系 (7)。例如，ID 为 CL:1001502 的细胞本体 (CL) (8) 术语具有标签“僧帽细胞”，与术语“中间神经元”(CL:0000099) 具有 subClassOf (is-a) 关系，与 Uberon 术语“嗅球僧帽细胞层”(UBERON:0004186) 具有“具有体细胞位置”关系 (9)，以及文本定义：大型谷氨酸能神经细胞，其树突与嗅球肾小球层中的嗅觉受体神经元的轴突突触，其轴突在嗅束中集中传递到嗅觉皮层。大部分信息都是手动输入的，使用专用的本体开发环境（如 Protégé (10)）或使用电子表格，随后使用 ROBOT (11) 等工具将其转换为本体。在某些情况下，可以使用 OWL 推理 (12) 自动分配“is-a”关系，但这依赖于本体开发人员预先为术语子集指定逻辑定义（一种特定类型的公理）。该策略广泛应用于多种不同的生物本体（生物本体），尤其是那些涉及许多组合术语的本体，导致大约一半的术语具有以这种方式自动分配的子类关系（13-16）。
确保与蜂窝连接的可靠连接... - arXiv
摘要 —为了将无人机 (UAV) 整合到未来的大规模部署中，一种新的无线通信模式，即蜂窝连接无人机，最近引起了人们的关注。然而，以视距为主的空对地信道以及蜂窝地面基站 (GBS) 的天线方向图给蜂窝连接的无人机通信带来了严重的干扰问题。特别是，复杂的天线方向图和下倾天线的地面反射 (GR) 会为天空中的无人机造成覆盖漏洞和不均匀的覆盖，从而导致底层蜂窝网络连接不可靠。为了克服这些挑战，我们在本文中提出了一种新的蜂窝架构，该架构在现有的地面用户设备 (GUE) 下倾天线之上采用一组额外的面向天空的同信道天线来支持无人机。为了对下倾天线引起的 GR 进行建模，我们提出了一种路径损耗模型，该模型同时考虑了天线辐射模式和配置。接下来，我们制定了一个优化问题，通过调整上倾天线的上倾 (UT) 角度来最大化无人机的最小信号干扰比 (SIR)。由于这是一个 NP 难题，我们提出了一种基于遗传算法 (GA) 的启发式方法来优化这些天线的 UT 角度。在获得最佳 UT 角度后，我们集成了 3GPP Release-10 指定的增强型小区间干扰
请按以下方式引用本文 - arXiv
请按以下方式引用本文：Longo, F., Nicoletti, L., & Padovano, A.(2019)。无处不在的知识为智能工厂赋能：面向服务的数字孪生对企业绩效的影响。年度控制评论，第47，页221-236。DOI：https://doi.org/10.1016/j.arcontrol.2019.01.001。
数据科学的量子计算 - arXiv
1. 简介量子信息论彻底改变了信息论和计算的基础 [1, 2]。前量子（称为“经典”）科学框架允许用整数（例如，根据美国信息交换标准代码 (ASCII) 用 7 比特字符串表示文本字符）来标记客观信息，这是信息论的基础。信息处理可以根据布尔逻辑规则执行，表现为一位运算（例如 NOT）和两位运算（例如 NAND）的连接。量子信息通过允许信息态的相干叠加彻底改变了信息游戏，遵循量子互补原理，可以认为它既是粒子状的，又是波浪状的。例如，三位字符串 010 在量子上成为量子态 | 010 ⟩（希尔伯特空间元素），其物理表现为三个自旋向下、自旋向上和自旋向下的电子，其中自旋向下状态标记为 | 0 ⟩，自旋向上状态标记为 | 1 ⟩（以狄拉克符号或布拉克符号表示法 [3]）。将此三电子态与其正交补态叠加为 | 101 ⟩ 。对于本文中隐含的状态归一化，这两个状态的叠加为 | 010 ⟩ + | 101 ⟩ ，以二进制表示形式表示为数字 2 和 5 的叠加。这些信息态的叠加可以进行量子处理，即以保持相干性的方式处理。理想情况下，这种叠加态可以通过任意幺正映射（希尔伯特空间上的等距）进行变换。实际上，噪声和损失等开放系统效应可能会影响性能，但几乎幺正映射（例如接近幺正的完全正迹保持映射 [1]）足以用于有用的量子信息处理，前提是采用容错方式采用量子版本的纠错 [4]。量子计算的早期动机是模拟物理，特别是以一种自然的量子描述方式模拟量子系统 [5]，即使用量子计算。自这一最初想法以来，出现了许多卓越的量子算法，其中卓越是指与传统算法相比提供卓越的性能，例如高效计算意味着计算资源，例如运行时间和计算数量