XiaoMi-AI文件搜索系统
World File Search System归约
关于后处理中单向函数最小性的注记...
摘要。在经典密码学中，单向函数 (OWF) 起着核心作用，它是 (几乎) 所有原语都隐含的最小原语。在量子密码学中，情况更加复杂，其中诚实方和对手可以使用量子计算和通信，并且众所周知，量子环境中的 OWF 类似物可能不是最小的。在这项工作中，我们询问 OWF 是否是后量子密码学中间环境中的最小值，其中协议是经典的，但它们将抵抗量子对手。我们表明，对于广泛的自然设置，如果原语 Q 意味着 OWF，那么它的 (均匀或非均匀安全的) 后量子类似物也是如此。特别是，我们表明，如果原语 Q 通过黑盒经典安全约简 R 暗示任何其他具有 2 消息安全游戏 (例如，OWF) 的原语 P，那么人们总是可以 (有效地) 将任何多项式大小的量子对手破解 P 变成多项式大小的量子对手破解 Q 。请注意，即使使用 Q 实现的 P 实现是任意非黑盒的，此结果仍然成立。我们还证明了当归约 R 预期其预言对手是确定性时，此结果的扩展，只要以下任一条件成立：(1) 对手只需以不可忽略的概率赢得 Q 的安全游戏（例如，Q 是抗碰撞哈希）或 (2) P 和 Q 中的任何一个都有“可证伪的”安全游戏（当 P 是 OWF 时就是这种情况）。当 Q 通过非黑盒安全归约暗示 OWF 时，或者当 P 使用比双消息游戏更复杂的安全游戏时，我们的工作没有回答我们的主要问题。
量子解码问题
基于格的密码学的创始成果之一是将短整数解问题量子简化为 Regev 引入的带错误学习问题。Chen、Liu 和 Zhandry 最近指出，可以通过将带错误学习问题替换为量子等效问题（其中错误以量子叠加形式给出）来使这种简化更加强大。在代码的背景下，这可以适应从查找短代码字简化为随机线性代码的量子解码问题。因此，我们在本文中考虑量子解码问题，其中我们给出了代码字的噪声版本的叠加，我们想要恢复相应的代码字。当我们测量叠加时，我们会得到通常的经典解码问题，其中最佳已知算法处于恒定速率和错误率范围内，与代码长度呈指数关系。但是，我们将在这里展示，当噪声率足够小时，量子解码问题可以在量子多项式时间内解决。此外，我们还表明，对于噪声率，该问题原则上可以量子地（尽管不是有效的）解决，而由于信息论的原因，相关的经典解码问题根本无法解决。然后，我们在代码的背景下重新审视 Regev 的归约。我们表明，在 Regev 的归约中使用我们的算法来解决量子解码问题，可以与已知的最佳短码字问题量子算法相媲美。这在某种意义上表明了 Regev 归约在考虑量子解码问题时的严密性，也为短码字问题的新量子算法铺平了道路。
自然演绎中的一种新联结及其在量子计算中的应用
量子物理学中一个令人费解的问题是，在两个状态 | φ ⟩ 和 | ψ ⟩ 的量子叠加态 α | φ ⟩ + β | ψ ⟩ 中，是否存在状态 | φ ⟩ 和状态 | ψ ⟩ 或者状态 | φ ⟩ 或者状态 | ψ ⟩ 。事实上，当我们建立这样的叠加态时，也就是当我们准备它时，我们需要有 | φ ⟩ 和 | ψ ⟩ ，但是当我们使用这个状态时，也就是当我们测量它时，我们得到 | φ ⟩ 或 | ψ ⟩ 。因此，当我们建立这种叠加态时，它类似于合取，但当我们使用它时，它类似于析取。这种叠加的构建和使用方式之间的差异让人想起 Prior 的 tonk 等非和谐连接词的自然演绎规则。在本文中，我们捍卫了以下论点：这些非和谐连接词模拟了量子测量中出现的信息擦除、不可逆性和不确定性，而和谐连接词模拟了信息保存、可逆性和确定性。更具体地说，在讨论了和谐和非和谐演绎规则的概念之后（第 2 节），我们引入了一种具有逻辑联结词 ⊙（读作：“sup”，代表“叠加”）的直觉命题逻辑，该逻辑具有非和谐演绎规则，我们为这种逻辑引入了一种证明术语语言，即 ⊙ 演算（读作：“sup-演算”），并且我们证明了它的主要性质：主题归约、证明归约的终止、引入性质和部分合流（第 3 节）。这些证明大多使用标准技术，但有一些特殊性，以适应这种演算。然后，我们扩展这种演算，引入标量来量化一个证明归约成另一个证明的倾向（第 4 节），并表明这种证明语言包含量子编程语言的核心（第 5 节）。请注意，带有 ⊙ 的直觉命题逻辑不是推理量子程序的逻辑。它是一种以量子程序类型为命题的逻辑。
光电跟踪系统的动态高型区间2型模糊逻辑控制
摘要：提出一种基于区间2型模糊逻辑控制器（IT2FLC）的动态高型控制（DHTC）方法，将其应用于光电跟踪系统，提高稳态精度和响应速度。在传统的多环反馈控制环中加入积分器，可以增加系统型数，从而加快响应速度，提高稳态精度，但存在积分饱和的风险。根据系统状态动态切换型数，可以在保留高型优点的同时避免积分饱和。模糊逻辑控制（FLC）可以根据输入的变化动态地改变输出值，具有响应速度快、处理不确定性能力强等优点。因此，本文将FLC引入高型控制系统，以FLC的输出作为积分器的增益来控制积分器的通断，达到动态切换型数的目的，并在实验中得到成功验证。 IT2FLC引入了三维隶属函数，进一步提高了FLC处理不确定性的能力。从实验结果来看，与T1FLC相比，IT2FLC处理不确定性的能力明显提高。另外，为了加快IT2FLC的计算速度，本文提出了一种改进的类型归约算法，即加权梯形Nie-Tan（WTNT）。与传统类型归约算法相比，WTNT具有更快的计算速度和更好的稳态精度，且已成功应用于实时控制系统，有很好的工程应用价值。最后，为了减少人为因素的干扰，提高系统的自动化水平，采用多种群遗传算法（MPGA）对FLC的参数进行迭代优化，提高了输出精度。在柔性快速反射镜(FFSM)实验平台上,对比了传统控制器、T1FLC及IT2FLC的控制效果,证明了IT2FLC-DHTC系统具有更快的响应性能、更高的稳态精度、以及更强的处理不确定性的能力。
Supermicro AI/ML 与 Horovod
Horovod 是一个开源框架，用于在数百个 GPU 上并行扩展深度学习训练。它是一种基于环式全归约算法的分布式可扩展深度学习训练框架，利用高性能计算 (HPC) 技术（例如 MPI、数据并行等）在本地和云部署中的多个设备和节点上高效扩展。此外，它还支持运行支持 GPU 的 AI/ML 框架，例如 TensorFlow、Keras、PyTorch 和 Apache MXNet。本文介绍了使用 ResNet50 基准在八台支持 GPU 的 Supermicro 8U SuperBlade 服务器上运行图像分类的测试，展示了跨多个节点的分布式工作负载的高吞吐量。
计算机科学与工程硕士
计算机科学与工程硕士课程大纲 第一学期 类别 - 部门 / 专业 篮子论文 - I PG / CSE / T / 111A 计算理论优化和决策问题、归约、图灵机作为接收器和枚举器 - 图灵机构造技术 - 控制中的并行轨道和存储、子程序图灵机、Church-Turing 论文、图灵机变体 - 多带、非确定性 - 它们与其他模型的等价性。递归可枚举和递归集的属性。无限制语法和图灵机之间的关系。线性有界自动机 - 与上下文敏感语言的关系图灵机的枚举、不可判定问题的存在、涉及图灵机和 CFG 的不可判定问题。通用图灵机作为通用计算机的模型，后对应问题 - 应用，图灵机的有效和无效计算。图灵机的时间和空间复杂性，NP 完整性。参考文献：
自然演绎中的一种新联结及其在量子计算中的应用
提供 A 或 B，证明归约过程可以用类似的方式定义。消去规则提供的命题恰好是引入规则所要求的命题这一性质可以分解为两个性质，即不多也不少（在 [10] 中称为“和谐”和“逆和谐”）。我们还可以想象有些演绎规则不能验证这个反转原理，要么是因为消去规则提供了引入规则所不需要的命题，要么是因为引入规则需要消去规则所没有提供的命题，或者两者兼而有之。当消去规则提供的命题不是引入规则所要求的全部命题时，我们称该演绎规则为不充分的。当消去规则提供的命题是引入规则所要求的，但引入规则所要求的一些命题没有由消去规则提供时，我们称它们为过度的。一个具有不充分演绎规则的连接词的例子是 Prior 的 tonk [18]，其引入规则
b“在这项工作中，我们为 Jiang 等人的 T RH 变换提供了新的、更严格的证明。（ASIACRYPT 2023），它将 OW-CPA 安全 PKE 转换为具有 IND-1CCA 安全性的 KEM，这是典型 IND-CCA 安全性的变体，其中只允许单个解封装查询。此类 KEM 非常高效，并且 Huguenin-Dumittan 和 Vaudenay 在 EUROCRYPT 2022 上证明了它们足以用于实际应用。我们在随机预言模型 (ROM) 和量子随机预言模型 (QROM) 中重新证明了 Jiang 等人的 T RH 变换，适用于底层 PKE 是刚性确定性的情况。在 ROM 和 QROM 模型中，我们的归约都实现了 O (1) 的安全损失因子，显着改善了 Jiang 等人的结果，其在 ROM 中的安全损失因子为 O (q)，在 QROM 中的安全损失因子为 O q 2。值得注意的是，我们严密 QROM 缩减的核心是一个名为 \xe2\x80\x9creprogram-after-measure\xe2\x80\x9d 的新工具，它克服了 QROM 证明中由 oracle 重新编程造成的缩减损失。该技术可能具有独立意义，并且可用于实现其他后量子密码方案的严密 QROM 证明。我们注意到，我们的结果还提高了 Huguenin-Dumittan 和 Vaudenay (EUROCRYPT 2022) 的 TH 变换（也将 PKE 转换为 KEM）的缩减严密性，正如 Jiang 等人提供了从 TH 变换到 T RH 变换的严密缩减（ASIACRYPT 2023）。“
b“在这项工作中，我们为 Jiang 等人的 T RH 变换提供了新的、更严格的证明。（ASIACRYPT 2023），它将 OW-CPA 安全 PKE 转换为具有 IND-1CCA 安全性的 KEM，这是典型 IND-CCA 安全性的变体，其中只允许单个解封装查询。此类 KEM 非常高效，并且 Huguenin-Dumittan 和 Vaudenay 在 EUROCRYPT 2022 上证明了它们足以用于实际应用。我们在随机预言模型 (ROM) 和量子随机预言模型 (QROM) 中重新证明了 Jiang 等人的 T RH 变换，适用于底层 PKE 是刚性确定性的情况。在 ROM 和 QROM 模型中，我们的归约都实现了 O (1) 的安全损失因子，显着改善了 Jiang 等人的结果，其在 ROM 中的安全损失因子为 O (q)，在 QROM 中的安全损失因子为 O q 2。值得注意的是，我们严密 QROM 缩减的核心是一个名为 \xe2\x80\x9creprogram-after-measure\xe2\x80\x9d 的新工具，它克服了 QROM 证明中由 oracle 重新编程造成的缩减损失。该技术可能具有独立意义，并且可用于实现其他后量子密码方案的严密 QROM 证明。我们注意到，我们的结果还提高了 Huguenin-Dumittan 和 Vaudenay (EUROCRYPT 2022) 的 TH 变换（也将 PKE 转换为 KEM）的缩减严密性，正如 Jiang 等人提供了从 TH 变换到 T RH 变换的严密缩减（ASIACRYPT 2023）。“