XiaoMi-AI文件搜索系统
World File Search SystemLogical
逻辑 - 基于身体的适应潜力的单个物理健康整体水平的定量评估的数学模型
摘要。本文提出了一个单个身体健康不可或缺的级别的模型，该模型允许其定量评估。根据人体的保护性自适应和补偿性反应作为健康的组成指标，提出了所提出模型的逻辑和数学合理性。介绍了对190个实际健康，非竞技的身体健康的积分水平的定量评估结果，并提出了使用开发模型获得的男女的年轻人。根据普遍接受的实践显示，提出的模型在6个级别上对受试者进行排名的可能性，包括原始功能状态而不是2个，该实践允许一种个性化，有理和差异化的方法来保留健康人的健康。
具有逻辑和时机正确性的实时系统的最佳检查点策略
实时系统容易受到诸如故障和攻击的对抗性因素的影响，从而导致严重的后果。本文提出了一个最佳检查点方案，以增强实时系统中的故障弹性，从而解决了逻辑一致性和定时正确性。首先，我们根据其依赖项将消息传递过程分配到有向的无环图（DAG）中，从而确保检查点逻辑一致性。然后，我们识别DAG的临界路径，代表最长的顺序路径，并沿此路径分析最佳检查点策略，以最大程度地减少整体执行时间，包括检查点开销。故障检测后，系统将回到最近的有效检查点以进行恢复。我们的算法得出了最佳检查点计数和间隔，我们通过大量的模拟和案例研究评估其性能。结果表明，与模拟和案例研究中的无检查点系统相比，执行时间减少了99.97％和67.86％。此外，我们提出的策略优于先前的工作和基线方法，对于小规模任务，截止日期的成就率提高了31.41％和2.92％，大规模任务的截止日期率和78.53％和4.15％。
论大脑、行为和人工神经网络的逻辑推理
摘要 在认知、计算和神经科学领域，从业者经常推理计算模型代表或学习什么，以及实例化什么算法。这种推理的假定目标是将有关所讨论模型的主张概括为有关思维和大脑以及这些系统的神经认知能力的主张。这种推理通常基于模型在任务上的表现，以及该表现是否接近人类行为或大脑活动。在这里，我们展示了这种论证如何使模型与其目标之间的关系复杂化；我们强调人工神经网络 (ANN)，尽管任何落入相同推理模式的理论-大脑关系都存在风险。在本文中，我们在一个正式框架——元理论演算——内对从 ANN 到大脑再返回的推理进行建模，以便就如何广泛理解和使用模型以及如何最好地正式描述它们及其功能展开对话。为此，我们从已发表的记录中表达了关于模型在一阶逻辑中的成功和失败的主张。我们提出的形式化方法描述了科学家在裁决理论时制定的决策过程。我们证明，将文献中的论证形式化可以揭示理论与现象之间关系的潜在深层问题。我们讨论了这对认知科学、神经科学和心理学研究的广泛意义；当模型失去以有意义的方式在理论和数据之间进行调解的能力时，这意味着什么；以及这对我们的领域在进行高级科学推理时部署的元理论演算意味着什么。
用酶上的DNA存储的逻辑密度缩放 - ...
DNA由于其高密度和耐力而成为长期数据存储的有前途的候选者。当今DNA存储中的主要挑战是合成的成本。在这项工作中，我们提出了复合图案，该框架工作使用预制基序的混合物作为构建块，以通过缩放逻辑密度来降低合成成本。为了撰写数据，我们会引入桥寡核苷酸组装，这是一种基于复合基序合成寡核体的酶结扎技术。对于序列数据，我们引入了直接的寡核苷酸测序，这是一种基于纳米孔的技术，用于序列寡核苷，而无需组装和扩增。为了解码数据，我们引入了Motif-Search，这是一个新颖的共识呼叫者，尽管合成和测序误差，但仍提供准确的重建。使用所提出的方法，我们提出了一个端到端实验，其中我们以84位/循环的逻辑密度存储文本“ Helloworld”（14-42×改进了对象。）
下一步：综合国际民航组织环境标准
随着 2019 年航空环境保护委员会 (CAEP/11) 非挥发性微粒物质质量和非挥发性微粒物质数量发动机排放标准的通过，国际民用航空组织 (ICAO) 的全套环境标准已趋于完善。然而，现在的挑战是在考虑到技术进步的高速发展的情况下，使这一系列法规在 CAEP 工作计划内保持最新状态。此外，为满足越来越严格的监管水平，需要在噪音、燃油效率/二氧化碳排放和发动机排放方面进行技术改进，其综合性显而易见。国际民航组织独立专家最近对技术目标进行的审查是一次综合审查，承认噪音与各种排放法规 2 之间的相互依存关系日益重要。
稀疏量子码的逻辑错误率 - UDSpace
摘要 量子范式呈现出一种称为退化的现象，这种现象可以潜在地提高量子纠错码的性能。然而，在评估稀疏量子码的性能时，这种机制的影响有时会被忽略，逻辑错误率并不总是能被正确报告。在本文中，我们讨论了以前存在的计算逻辑错误率的方法，并提出了一种受经典编码策略启发的基于陪集的有效方法来估计退化错误并将其与逻辑错误区分开来。此外，我们表明，所提出的方法为 Calderbank-Shor-Steane 码系列提供了计算优势。我们使用这种方法证明，退化错误在特定的稀疏量子码系列中很常见，这强调了准确报告其性能的重要性。我们的结果还表明，文献中提出的改进解码策略是提高稀疏量子码性能的重要工具。
量子力学中的逻辑熵和负概率
由 David Ellerman 在最近的一系列论文中引入。尽管数学公式本身并不新鲜，但 Ellerman 提供了 SL 的合理概率解释，作为给定集合上分区区别的度量。同样的公式在量子力学中被视为熵的有用定义，它与量子态的纯度概念相关。逻辑熵的二次形式有助于概括包含负值的概率，这一想法可以追溯到费曼和维格纳。在这里，我们根据逻辑熵的概念分析和重新解释负概率。在有限维空间中推导并讨论了逻辑熵的几个有趣的量子类属性。对于无限维空间（连续体），我们表明，在逻辑熵和总概率随时间保持不变的唯一假设下，可以得到概率密度的演化方程，该方程与相空间中 Wigner 函数的量子演化基本相同，至少在仅考虑动量变量时如此。这一结果表明，逻辑熵在建立量子物理的特殊规则方面发挥着深远的作用。
逻辑熵——专题
其中，k B 为玻尔兹曼常数，X 为相关相空间体积，是微观状态数量的量度。注意，上述定义中需要使用对数，以使玻尔兹曼统计熵具有与热力学熵相同的加性。后来，克劳德·香农发现，可以使用与玻尔兹曼公式类似的公式（尽管符号相反）来量化信号的信息内容。继香农之后，人们通常将熵等同于系统的（缺乏）信息或“无序”。由于信息是一个渗透到许多自然科学中的概念，熵的概念很快传播到其他领域，例如生物学和遗传学。约翰·冯·诺依曼将玻尔兹曼熵推广到量子物理学。这实际上不仅仅是一种概括。事实上，方程 (1) 有点问题，因为 X 具有相空间体积的维度，而对数的参数应该是无量纲的——更不用说 SB 可以变为负值。但考虑到量子力学引入了由普朗克常数 h 给出的最小作用量，玻尔兹曼公式可以改写为：SB = k ln( X / hd )（其中 d 是系统的维数），只要 X hd ，它就始终为非负，并且只有当等号成立时它才为零。就离散量子
使用物理系统的能量状态编码双量子比特逻辑状态和量子运算
摘要：本文介绍了一种新颖的编码方案，该方案允许单个量子系统对多量子比特寄存器进行编码。这可以更有效地利用资源，并在设计量子系统时节省成本。该方案基于使用通过在半导体材料中引入杂质形成的离散能谱的电荷自由度来编码逻辑量子态的概念。我们提出了一种执行单量子比特操作和受控双量子比特操作的机制，提供了一种使用由 Rabi 振荡产生的适当脉冲来实现这些操作的机制。使用 IBM 的 Armonk 单量子比特量子计算机模拟上述架构，将两个逻辑量子态编码为 Armonk 量子比特的能量态，并使用自定义脉冲执行一量子比特和两量子比特量子操作。
逻辑熵简介及其与...的关系
1 在一些较早的文献中，偏序被写成相反的形式，即“不细化”，因此顶部和底部以及连接和相遇互换（[1]；[2]）。 2 在范畴论中，子集的概念推广到子对象或“部分”的概念，“部分”的对偶概念（通过反转箭头获得）是划分的概念。” [5，第 85 页]