XiaoMi-AI文件搜索系统
World File Search System准线性
编号理论变换（NTT）
数字理论变换（NTT）是一种强大的数学工具，在开发量子加密后（PQC）和同形加密（HE）方面变得越来越重要。使用具有快速傅立叶变换式算法实现时，使用具有准线性复杂性O（N log N）而不是O（n log N）的卷积定理有效计算多项式乘法的能力使其成为现代密码学中的关键组成部分。FFT风格的NTT算法或Fast-NTT在基于晶格的密码学中特别有用。在此简短说明中，我们简要介绍了通过传统的教学书算法，传统NTT，其倒数（INTT）和类似FFT的版本的NTT/Intt的传统学科算法，线性，环状和否定卷积的基本概念。然后，我们通过不同的概念和算法提供一致的玩具示例，以了解NTT概念的基础。
超高速开关磁阻...
第 3 章 图 3.1：铁氧体定子铁芯的横截面。尺寸以毫米为单位。 图 3.2：具有改进槽的定子铁芯的横截面。 图 3.3：可能的 16/16 定子-转子极配置，从而产生单相 SRG。 图 3.4：(a) 预期电感曲线和 (b) 预期电流波形。针对图 3.3 中的机器。 图 3.5：可能的 16/8 定子-转子极配置。两相机器。为高速 SRG 选择的几何形状。 图 3.6：可能的 16/12 定子-转子极配置，从而产生四相机器。 图 3.7：与磁通路径相关的基本术语。 图 3.8：所选几何形状的转子层压件的横截面。尺寸以毫米为单位。 图 3.9：(a) 一个定子槽中可用于绕组的空间。(b) 定子极的顶视图。图 3.10：考虑扩展定子极弧的 SRG 相电感曲线。图 3.11：SRG 准线性模型的 `P-i-O 特性。图 3.12：完全打开的平顶电流波形示例。8d1y 5.3°，和 0，=27.8°。图 3.13：完全打开的电流波形示例的 EC 环路。
引文 (APA) 哈罗·皮萨罗索 (Haro Pizarroso)，G.，和范坎彭 (van Kampen)，E. (2023)。用于强化学习分析的可解释人工智能技术
强化学习越来越多地应用于飞行控制任务，目的是开发真正自主的飞行器，能够穿越高度变化的环境并适应未知情况或可能的故障。然而，这些日益复杂的模型和算法的开发进一步降低了我们对其内部工作原理的理解。这会影响算法的安全性和可靠性，因为很难甚至不可能确定它们的故障特征以及它们在从未测试过的情况下会如何反应。通过开发可解释的人工智能和可解释的强化学习方法（如 SHapley 加法解释），可以弥补这种理解的不足。此工具用于分析 Actor-Critic 增量双启发式编程控制器架构在非线性飞行条件下（例如在高攻角和大侧滑角下）执行俯仰速率或滚转速率跟踪任务时学习的策略。之前曾使用相同的分析工具对相同的控制器架构进行过探索，但仅限于标称线性飞行状态，并且观察到控制器学习了线性控制律，即使其人工神经网络应该能够近似任何函数。有趣的是，这篇研究论文发现，即使在非线性飞行状态下，这种控制器架构学习准线性控制律仍然是更理想的，尽管它似乎不断修改线性斜率，就好像它是增益调度技术的一个极端情况一样。
激发态的量子保真度磁化率......
弯曲振动自由度的研究得益于其二维特性和两个明确的物理极限——线性和弯曲配置——以及中间配置——准线性物种，其特点是大振幅运动，使其具有丰富的光谱特征[1]。正或非单调的非谐性，后者与非刚性分子的 Birge-Sponer 图中 Dixon 凹陷的出现有关[2]，以及由于跨越线性壁垒附近的状态波函数中线性和弯曲特征的混合而导致的异常旋转光谱[3,4]，是准线性物种光谱中最显著的光谱特征。光谱方法的重大进步和发展使得人们能够通过实验获得多种分子物种的高弯曲泛音。通过这种方式，我们有可能获得实验光谱信息，从而研究能量接近线性势垒的系统 [5,6]。水 [7] 和 NCNCS [8–10] 的研究结果具有特别重要的意义。近年来，量子单值化概念最初由 Cushman 和 Duistermaat [11] 提出，后由 Child [12] 重新研究，对系统中的状态分配有很大帮助。由于状态与线性势垒的接近性，波函数的复杂性妨碍了正确的状态标记 [5–8,13]。这是从经典力学中借用的概念，它依赖于拓扑奇点，当系统能量大到足以探测局部鞍点或最大值时，就会发生拓扑奇点，从而阻止定义全局作用角变量 [14]。非刚性分子弯曲振动的理论建模需要特殊的工具，因为大振幅振动自由度会强烈耦合振动和转动自由度。Hougen-Bunker-Johns 弯曲哈密顿量 [15] 是该领域的一项开创性工作。这项工作后来扩展到半刚性弯曲哈密顿量 [16] 和一般半刚性弯曲哈密顿量 [17]。基于上述发展而产生的 MORBID 模型 [18] 目前是分析非刚性分子光谱的标准方法，其中需要同时考虑转动和振动自由度，以便建模实验项值并分配量子标签。代数方法，尤其是振动子模型，是分子光谱建模的传统积分微分方法的替代方法。该模型基于对称性考虑，并严重依赖于李代数的性质[ 19 ]。振子模型 (VM) 属于一类模型，该类模型将 U(n+1) 代数指定为 n 维问题的动力学或谱生成代数 [20]。类似的模型已成功应用于强子结构 [21,22] 和原子核 [23–25] 的建模。在 Iachello 引入的原始振子模型形式中，双原子分子种类的回旋振动激发被视为集体玻色子激发 [26]，由于相关自由度的矢量性质，动力学代数为 U(3+1)=U(4) [25,27]。弯曲振动的二维性质以及简化振子模型形式以有效处理多原子系统的需要，自然而然地导致了二维极限振子模型（2DVM）的制定[28，29]。2DVM 定义的形式能够模拟弯曲自由度的线性和弯曲极限情况，以及表征中间情况的大振幅模式[30-33]。本研究中使用的代数哈密顿量的四体算符的扩展已于最近发表[34]。2DVM 还用于耦合弯曲器[28，35-37]、拉伸弯曲相互作用[38-41]和异构化反应中的过渡态[42]的建模。
评估由重复臂运动中的被动上限上限职业外骨骼提供的抗重语支持水平
上行的职业外骨骼以支撑工人的上臂，通常旨在提供抗授权支持。尽管典型的工作活动需要工人进行静态和动态的影响，但文献中的大多数研究都调查了上LIMB职业外骨骼在静态和准静态活动中的影响，而只有少数工作集中于动态任务。本文介绍了由被动上限上LIMB职业外骨骼对重复性手臂运动过程中肌肉活性提供的不同水平抗拨动支持的影响（约为手臂重力负荷的60％至100％）的系统。通过有或没有外骨骼的肌肉激活来评估外骨骼对肌肉活性的影响。考虑了肩部全屈伸延伸周期和子运动的平均肌肉激活，即臂伸入臂伸入（即屈曲）和臂下部（即延伸）运动。结果表明，在考虑完整的屈伸延伸周期和手臂伸向运动中，抗质量SUP端口和肌肉活性减少之间存在准线性相关性（与不佩戴外骨骼相比，减少了64％和61％）。在考虑降低手臂的运动时，提供接近或高于100％的手臂重力负荷的抗骨载支撑，导致伸肌的肌肉激活增加（最高127％），这表明这种抗raviatiation量可能对动态任务中肩部的完全降低肩部的生物力学负荷无效。
基于Ni和AU基于p-Type gan
摘要：在这项工作中，我们报告了使用镍（Ni）和金（AU）薄层关联，退火后层分布在P型GAN上形成高质量欧姆接触的重要性。研究了标准gan/ni/au及其反向，p型gan上的gan/au/ni均已被研究。AU/NI堆栈在这项研究中表现出最有希望的结果。虽然标准的Ni/au接触表现出准线性电流（I-V）的特征，但其对应物Au/Ni表现出纯欧姆行为，具有特定的接触电阻（ρC）低至2.0×10-4Ω.cm²，在500分钟的高空下均为500分钟后，均高达2.0×10-4Ω.cm²。X射线衍射（XRD）和透射电子显微镜（TEM）分析表明，在退火过程中，层的不完全反转导致GAN/Ni/ni/au/niO堆栈，这解释了为什么Ni/Au触点显示出较低的电性能。另一方面，对于在相同条件下退火的AU/NI触点，可以将优秀的结果归因于（i）（i）与GAN界面处的金层存在，从而使Gallide固体溶液（GA-AU）和（ii）形成了NIO直接与P-GAN接触。已知这两种机制会导致在P型GAN上形成良好的欧姆接触。这些结果表明，尽管Ni/Au是P-GAN层的标准接触，但相反的堆栈（AU/Ni）提供了最佳的欧姆行为。这对于实现gan功率二极管或晶体管的最佳性能至关重要。
在激发状态下的量子保真度敏感性...
由于其两维的性质以及存在两个良好的物理极限 - 线性和弯曲的配置，以及中间性构造 - 质中性物种 - 质膜（Quasilinear）物种 - 由大峰值运动使其富有谱图，因此，的研究已被促进了自由度的研究。 Positive or non-monotonous anaharmonicities, the latter associated with the occurrence of the Dixon dip in the Birge-Sponer plot for nonrigid molecules [2], and anomalous ro- tational spectra due to the mixing of linear and bent characters in the wave functions of states straddling in the propinquity of the barrier to linearity [3, 4] are the most salient spectroscopic features可以在准线性物种的光谱中找到。 光谱法的显着进步和发展使得一些分子物种的高弯曲泛音的实验访问可能。 以这种方式，有可能访问实验光谱信息，从而可以在线性屏障周围研究系统[5,6]。 水[7]和NCNC [8-10]获得的结果特别相关。 最近，Cushman和Duistermaat [11]最初引入的量子单片概念并由Child [12]重新审视，这在波浪函数复杂性的系统中的分配大大帮助了状态，这是由于国家邻近的障碍与线性的障碍，妨碍了状态性的状态，妨碍了一个状态标记[5-8，13]。 这一领域的开创性作品是Hougen-Bunker-Johns Bender Hamiltonian [15]。的研究已被促进了自由度的研究。Positive or non-monotonous anaharmonicities, the latter associated with the occurrence of the Dixon dip in the Birge-Sponer plot for nonrigid molecules [2], and anomalous ro- tational spectra due to the mixing of linear and bent characters in the wave functions of states straddling in the propinquity of the barrier to linearity [3, 4] are the most salient spectroscopic features可以在准线性物种的光谱中找到。光谱法的显着进步和发展使得一些分子物种的高弯曲泛音的实验访问可能。以这种方式，有可能访问实验光谱信息，从而可以在线性屏障周围研究系统[5,6]。水[7]和NCNC [8-10]获得的结果特别相关。最近，Cushman和Duistermaat [11]最初引入的量子单片概念并由Child [12]重新审视，这在波浪函数复杂性的系统中的分配大大帮助了状态，这是由于国家邻近的障碍与线性的障碍，妨碍了状态性的状态，妨碍了一个状态标记[5-8，13]。这一领域的开创性作品是Hougen-Bunker-Johns Bender Hamiltonian [15]。这是一个从经典力学借来的概念，一旦系统能量足够大以探测局部鞍点或最大值，以防止定义全球动作角变量的定义[14]。非矛盾分子物种中弯曲振动的理论建模需要特殊工具，因为较大的振幅振动自由度强烈地伴随着自由度和旋转的自由度。这项工作后来扩展到了半irigid bender hamiltonian [16]和一般的semirigid bender hamiltonian [17]。基于上述开发的模型[18]目前是分析非矛盾分子光谱的标准方法，其中同时考虑了旋转和振动自由度的同时考虑实验术语值的建模和量子标签的分配所需。代数方法，尤其是Vibron模型是传统的分子模型的传统内部差异方法的替代方法。该模型基于对称考虑因素，并在很大程度上依赖于Lie代数的特性[19]。Vibron模型（VM）属于一个模型家族，该模型分配了U（n + 1）代数为n维问题的动力学或频谱生成代数[20]。类似的模型已成功地应用于哈德子[21,22]和核[23-25]的结构的建模。2DVM定义了一种形式主义，该形式主义能够建模弯曲程度的线性和弯曲限制案例，以及表征中间情况的大幅度模式[30-33]。在原始的Vibron模型形式主义中，由Iachello引入，双子型分子物种的反振动激发被视为集体骨气兴奋[26]，并且动态代数为u（3+1）= u（4），由于自由度的相关程度[25,25,27]。弯曲振动的二维性质以及简化Vibron模型形式主义以有效地处理多原子系统的需求，自然而然地驱动着vibron模型（2DVM）的二维极限的制定[28,29]。最近发表了在本工作中使用的代数哈密顿量的四体操作员的扩展[34]。2DVM也已用于耦合弯曲器的建模[28，35-37]，拉伸弯曲中的相互作用[38-41]和异构反应中的过渡态[42]。
平台辅助拍卖的基础
今天，在Google和eBay等中介平台的帮助下进行了许多拍卖。这些平台是买卖双方的聚会点，并为其服务收取费用。我们指的是平台辅助拍卖的拍卖。传统上，拍卖理论文献主要集中于设计拍卖，以激励买家真实地竞标，假设平台始终忠实地实现拍卖。但是，在实践中，已经发现这些平台可以操纵拍卖以赚取更多利润，从而导致了高度的反托拉斯诉讼。我们提出了一个新的模型，用于在无许可设定中研究平台辅助拍卖，任何人都可以注册和参加拍卖。我们探索是否有可能在这种新模型中设计梦想拍卖，因此诚实的行为是每个买家，平台，卖方以及平台销售商或平台买家联盟的公用事业最大化策略。通过可行性和不可行结果的收集，我们仔细地将平台辅助拍卖的数学格局构成。有趣的是，我们的工作揭示了密码学与机理设计之间的令人兴奋的联系。我们展示了密码学如何借出具有梦境属性的效率平台辅助拍卖的设计。尽管一系列作品也使用了多方计算（MPC）或区块链来消除对受信任拍卖师的依赖，但我们的工作在几个方面本质上是不同的。首先，当服务提供商（例如，实现MPC或区块链协议的节点）具有战略意义，并且可以与卖方或买家相关时，我们就开始对游戏理论含义进行系统的探索。第二，我们观察到标准MPC文献中使用的完整模拟范式太严格，导致高渐近成本。特别是，由于每个玩家在拍卖协议中都有不同的私人结果，因此，据我们所知，在玩家中运行任何通用MPC协议都会产生至少N 2总成本，而N是买家的数量。我们提出了一个新的模拟概念，称为“公用事业为主导的仿真”，该概念足以保证拍卖中所需的游戏理论属性。在这个新的模拟概念下，我们展示了如何设计具有准线性效率的效率拍卖协议，该协议对任何通用方法都具有n倍的改善。
任何有限字段的有效伪随机相关发生器
摘要。相关的随机性在于有效的现代安全多方计算（MPC）协议的核心。生成MPC在线阶段协议所需的相关随机性的成本通常构成整体协议中的瓶颈。Boyle等人发起的伪随机相关发生器（PCG）的最新范式。（CCS'18，Crypto'19）为此问题提供了一个吸引人的解决方案。在草图中，为每个方提供了一个短的PCG种子，可以将其局部扩展为长相关字符串，从而满足目标相关性。在各种类型的相关性中，有忽略的线性评估（OLE），这是对算术电路的典型MPC协议的基本和有用的原始性。旨在有效地生成大量OLE，并应用于MPC协议，我们建立了以下结果：（i）在任何字段F p上，我们为OLE提出了一种新颖的可编程PCG构造。对于kn ole相关性，我们需要O（k log n）通信和O（k 2 n log n）计算，其中k是任意整数≥2。预先的作品要么具有二次计算（Boyle等人crypto'19），或者只能支持大于2的大小的字段（Bombar等人加密23）。（ii）我们扩展了上述OLE结构，以提供任何有限领域的各种相关性。引人入胜的应用之一是用于两方身份验证的布尔乘法三倍的有效PCG。对于kN身份验证的三元组，我们提供的PCG具有O（k 2 log n）位的种子大小。与以前的作品相比，每个作品都有自己的权利。据我们最大的知识，这种相关性以前尚未通过sublrinear沟通和准线性计算实现。（iii）此外，该可编程性可用于多方布尔三元组的有效PCG，因此是第一个具有无声预处理的布尔电路的有效MPC协议。尤其是我们显示的kn m-零件乘数可以在O（m 2 K log n） - 次通信中生成，而最先进的叶面（Asiacrypt'24）需要广播通道，并需要MKN + O（m 2 log kn）钻头通信。（iv）最后，我们提出有效的PCG，用于电路依赖性预处理，矩阵乘法和字符串OTS等。