XiaoMi-AI文件搜索系统
World File Search SystemNotations
海上船舶分类和建造规则 ...
本规范分为以下几个部分： 第 I 部分“入级”；第 I I 部分“船体”；第 1П 部分“设备、布置和舾装”；第 I V 部分“稳性”；第 V 部分“分舱”；第 V I 部分“防火”；第 V I I 部分“机械设备”；第 V H I 部分“系统和管道”；第 I X 部分“机械”；第 X 部分“锅炉、热交换器和压力容器”；第 X I 部分“电气设备”；第 ХП 部分“制冷装置”；第 ХП1 部分“材料”；第 X I V 部分“焊接”；第 X V 部分“自动化”；第 X V I 部分“玻璃钢船舶和艇的船体结构和强度”；第 X V I I 部分“船舶结构和操作特点的入级符号中的区别标记和描述性符号”；
海上管道分类和建造规则 ...
本规范分为以下几个部分：第一部分“入级”；第二部分“船体”；第一部分“设备、布置和舾装”；第一部分“稳性”；第五部分“分舱”；第六部分“防火”；第六部分“机械设备”；第六部分“系统和管道”；第一部分“机械”；第十部分“锅炉、热交换器和压力容器”；第十一部分“电气设备”；第十部分“制冷装置”；第十部分“材料”；第十部分“焊接”；第十部分“自动化”；第十一部分“玻璃钢船舶和艇的船体结构和强度”；第十一部分“船舶结构和操作特点附加标志中的区别标记和描述性附加标志”；
规则 - 俄罗斯船舶登记册
本规范分为以下部分公布：第 I 部分“入级”；第 I I 部分“船体”；第 I I I 部分“设备、布置和舾装”；第 I V 部分“稳性”；第 V 部分“分舱”；第 V I 部分“防火”；第 V I I 部分“机械设备”；第 V I I I 部分“系统和管道”；第 I X 部分“机械”；第 X 部分“锅炉、热交换器和压力容器”；第 X I 部分“电气设备”；第 X I I 部分“制冷装置”；第 X I I I 部分“材料”；第 X I V 部分“焊接”；第 X V 部分“自动化”；第 X V I 部分“玻璃钢船舶和艇的船体结构和强度”；第 X V I I 部分“船舶结构和操作特点的附加标志中的区别标志和描述性附加标志”；
AWS的加密软件的正式验证
•密码学数学中的研究人员现在，使用EasyCrypt等语言在论文中发布正式的规格和安全性属性证明[10]。•加密算法的正式（但可执行）的规范语言，例如加密货币[11]，最终在行业和政府中实现了接受和更广泛的使用。•自动合成和加密软件的验证，包括菲亚特加密[12]的工作，茉莉语和工具集[13]，HAX [14]，我们自己的努力等。•政府是其他标准设定的机构正在认识到内存和类型安全编程对于关键应用程序的重要性。•“基于证据”或“基于原则的”保证[8]在安全关键领域多年使用后，正在发展。•IETF最近站立了一个新的“正式方法研究小组” [15]，以探讨形式的符号和方法如何在将来改善IETF的工作。
![arXiv:2305.07596v4 [quant-ph] 2024 年 2 月 18 日](/simg/f\f0edfb6b881441392efadaca31f3652c14aa1cee.png)
arXiv:2305.07596v4 [quant-ph] 2024 年 2 月 18 日
在量子信息科学与技术领域，量子态和相关过程的表示和可视化对于研究和教育都至关重要。在此背景下，重点尤其放在少数量子比特的集合上。单量子比特和多量子比特系统存在许多强大的表示，例如著名的布洛赫球和概括。在这里，我们利用维度圆符号作为此类集合的表示，采用所谓的量子比特圆符号和在 n 维空间中表示 n 粒子系统的想法。我们表明，可分离性的数学条件导致可视化的量子态的对称条件，为少数量子比特系统中的纠缠以及因此为各种量子算法提供了新的视角。通过这种方式，维度符号有望将少数量子比特系统中的非平凡量子纠缠特性和过程传达给更广泛的受众，并可以作为直观量子洞察力和形式数学描述之间的桥梁，增强对这些概念的理解。
冰区航行船舶指南 - KR e-class
1.冰区航行加强根据船舶加强程度和发动机功率分为以下6个船级符号（见附件1、102）。(1) IA Super ：船舶的结构、发动机输出功率和其他性能使其通常能够在困难冰况下航行，无需破冰船的协助 (2) IA ：船舶的结构、发动机输出功率和其他性能使其能够在困难冰况下航行，必要时借助破冰船的协助 (3) IB ：船舶的结构、发动机输出功率和其他性能使其能够在中度冰况下航行，必要时借助破冰船的协助 (4) IC ：船舶的结构、发动机输出功率和其他性能使其能够在轻冰况下航行，必要时借助破冰船的协助 (5) ID ：船舶的结构、发动机输出功率和其他性能使其能够在轻冰况下航行 (6) II ：符合本船级社认为适当的标准并能在极轻冰况下航行的船舶
海上管道分类和建造规则 ...
本规范分为以下几个部分：第一部分“入级”；第二部分“船体”；第一部分“设备、布置和舾装”；第一部分“稳性”；第五部分“分舱”；第六部分“防火”；第六部分“机械设备”；第六部分“系统和管道”；第一部分“机械”；第十部分“锅炉、热交换器和压力容器”；第十一部分“电气设备”；第十部分“制冷装置”；第十部分“材料”；第十部分“焊接”；第十部分“自动化”；第十一部分“玻璃钢船舶和艇的船体结构和强度”；第十一部分“船舶结构和操作特点的附加标志中的区别标记和描述性附加标志”；
海上船舶分类和建造规则 ...
本规范分为以下几个部分：第一部分“入级”；第二部分“船体”；第一部分“设备、布置和舾装”；第一部分“稳性”；第五部分“分舱”；第六部分“防火”；第六部分“机械设备”；第六部分“系统和管道”；第一部分“机械”；第十部分“锅炉、热交换器和压力容器”；第十一部分“电气设备”；第十部分“制冷装置”；第十部分“材料”；第十部分“焊接”；第十部分“自动化”；第十一部分“玻璃钢船舶和艇的船体结构和强度”；第十一部分“船舶结构和操作特点附加标志中的区别标记和描述性附加标志”；
中世纪2023的概述预测视频记忆性任务
多媒体评估基准计划。类似于以前的版本，我们使用两个数据集的视频数据和符号，即Memento10k和VideoMEM数据集。鉴于在预测任务的先前迭代中观察到的一致性性能高原，其中要求参与者在同一数据集上训练和测试，我们决定从今年的竞争中删除预测任务。这种修改使参与者有机会将他们的努力重定向到更具挑战性的任务。因此，在此版本中，我们提出了两个任务：概括任务，其中要求参与者在一个数据集中训练并在其他数据集和EEG任务上测试其结果，其中要求参与者使用与EEG相关的数据来预测记忆性。在本文中，我们介绍了2023年预测视频记忆力任务的主要方面，探讨了提出的任务，数据集，评估方法和指标以及参与者的要求。
定量均质化障碍物问题及其自由边界
1。简介。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。2 1.1。主要结果摘要。。。。。。。。。。。。。。。。。。。。。。。。。5 1.2。手稿的组织。。。。。。。。。。。。。。。。。。。。。。。9 2。背景理论。。。。。。。。。。。。。。。。。。。。。。。。。。。10 2.1。符号。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。10 2.1.1功能空间。。。。。。。。。。。。。。。。。。。。。。。。。。。10 2.2。有用的不平等。。。。。。。。。。。。。。。。。。。。。。。。。。。。。11 2.3。均质理论，假设和已知估计值。。。。。。。12 2.3.1周期均质化。。。。。。。。。。。。。。。。。。。。。。12 2.3.2几乎是周期性的均质化。。。。。。。。。。。。。。。。。。13 2.3.3随机均质化。。。。。。。。。。。。。。。。。。。。。13 2.4。经典障碍物问题。。。。。。。。。。。。。。。。。。。。。。15 2.4.1与可测量的系数17 3。障碍问题的均质化。。。。。。。。。。。。。。。18 3.1。两个障碍问题的紧密感。。。。。。。。。。。。。。。。。。18 3.2。惩罚障碍问题。。。。。。。。。。。。。。。。。。。。。。。。20 3.3。惩罚障碍问题的均质化。。。。。。。。。。。。22 4。大规模C 1，1-溶液的常规性。。。。。。。。。。。。。。27 5。自由边界的同质化和大规模规律性。。31 5.1。自由边界的定性平坦度。。。。。。。。。。。。。。。。。33 5.2。改善平坦度。。。。。。。。。。。。。。。。。。。。。。。。。。38附录A.尺寸一中的示例。。。。。。。。。。。。。。。。。。。。。。44