XiaoMi-AI文件搜索系统
World File Search SystemNotations
用于海上船舶的分类和构造...
俄罗斯海事船级社远洋船舶入级与建造规则已按照既定的批准程序获得批准，并于 2019 年 1 月 1 日生效。本规则的当前版本基于 2018 年版本，并考虑了发布前立即制定的修订。已考虑国际船级社协会 (IACS) 的统一要求、解释和建议以及国际海事组织 (IMO) 的相关决议。本规则分为以下部分发布：第一部分“入级”；第二部分“船体”；第三部分“设备、布置和舾装”；第四部分“稳性”；第五部分“分舱”；第六部分“防火”；第七部分“机械装置”；第八部分“系统和管道”；第九部分“机械”；第十部分“锅炉、热交换器和压力容器”；第十一部分“电气设备”；第十二部分“制冷装置”；第十三部分“材料”；第十四部分“焊接”；第十五部分“自动化”；第十六部分“纤维增强塑料船舶的结构和强度”；第十七部分“船舶结构和操作特性附加标志中的区别标记和描述性符号”；第十八部分“散货船和油船的共同结构规则”。本部分的文本与 IACS 共同结构规则的文本相同；第十九部分“集装箱船和主要用于运载集装箱货物的船舶结构的附加要求”。本部分文本与 IACS UR S11A《集装箱船总纵强度标准》（2015 年 6 月）和 S34《集装箱船有限元分析强度评估载荷工况功能要求》（2015 年 5 月）相同。第 I 至 XVII 部分以俄文和英文电子版发布。如果俄文和英文版本之间存在差异，以俄文版本为准。第 XVIII 至 XIX 部分仅以英文电子版发布。
远洋船舶入级与建造规则 ...
俄罗斯海事船级社远洋船舶入级与建造规则已按照既定的批准程序获得批准，并于 2019 年 1 月 1 日生效。本规则的现行版本以 2018 年版本为基础，并考虑了发布前立即制定的修订。已考虑国际船级社协会 (IACS) 的统一要求、解释和建议以及国际海事组织 (IMO) 的相关决议。本规则分为以下部分发布：第 I 部分“入级”；第 II 部分“船体”；第 III 部分“设备、布置和舾装”；第 IV 部分“稳性”；第 V 部分“分舱”；第 VI 部分“防火”；第 VII 部分“机械装置”；第 VIII 部分“系统和管道”；第 IX 部分“机械”；第 X 部分“锅炉、热交换器和压力容器”；第 XI 部分“电气设备”；第十二部分“制冷装置”；第十三部分“材料”；第十四部分“焊接”；第十五部分“自动化”；第十六部分“纤维增强塑料船舶的结构和强度”；第十七部分“船舶结构和操作特性附加标志中的区别标记和描述性符号”；第十八部分“散货船和油船的共同结构规则”。本部分文本与IACS共同结构规则文本相同；第十九部分“集装箱船结构的附加要求
海上运输船舶分类和建造规则 ...
俄罗斯海事船级社《远洋船舶入级与建造规则》已按照既定的批准程序获得批准，并于 2020 年 1 月 1 日生效。本规则的现行版本以 2019 年版本为基础，并考虑了发布前立即制定的修订和补充。已考虑到国际船级社协会 (IACS) 的统一要求、解释和建议以及国际海事组织 (IMO) 的相关决议。本规则分为以下部分发布：第 I 部分“入级”；第 II 部分“船体”；第 III 部分“设备、布置和舾装”；第 IV 部分“稳性”；第 V 部分“分舱”；第 VI 部分“防火”；第 VII 部分“机械装置”；第 VIII 部分“系统和管道”；第 IX 部分“机械”；第 X 部分“锅炉、热交换器和压力容器”；第 XI 部分“电气设备”；第十二部分“制冷装置”；第十三部分“材料”；第十四部分“焊接”；第十五部分“自动化”；第十六部分“纤维增强塑料船舶的结构和强度”；第十七部分“船舶结构和操作特性附加标志中的区别标记和描述性符号”；第十八部分“集装箱船和主要用于运载集装箱货物的船舶结构的附加要求”。本部分内容与 IACS UR S11A“纵向
海上运输船舶分类和建造规则 ...
俄罗斯海事船级社远洋船舶入级与建造规则已按照既定的批准程序获得批准，并于 2020 年 1 月 1 日生效。本规则的现行版本以 2019 年版本为基础，并考虑了发布前立即制定的修订。已考虑国际船级社协会 (IACS) 的统一要求、解释和建议以及国际海事组织 (IMO) 的相关决议。规则分为以下部分发布：第 I 部分“入级”；第 II 部分“船体”；第 III 部分“设备、布置和舾装”；第 IV 部分“稳性”；第 V 部分“分舱”；第 VI 部分“防火”；第 VII 部分“机械装置”；第 VIII 部分“系统和管道”；第 IX 部分“机械”；第 X 部分“锅炉、热交换器和压力容器”；第 XI 部分“电气设备”；第十二部分“制冷装置”；第十三部分“材料”；第十四部分“焊接”；第十五部分“自动化”；第十六部分“纤维增强塑料船舶的结构和强度”；第十七部分“船舶结构和操作特性附加标志中的区别标记和描述性符号”；第十八部分“集装箱船和主要用于运载集装箱的船舶结构的附加要求”。本部分内容与 IACS UR S11A“纵向强度”相同
基于模型的铁路关键系统安全系统工程
形式化语言的开发和应用是计算机科学领域的长期挑战。其中一个特别的挑战是工业界的接受度。尽管许多成功案例证明了形式化方法在工业实践中的适用性，但它们在工业界的使用仍然有限。本论文提出了一些基于模型的法国铁路联锁系统（RIS）的建模和验证方法，旨在利用形式化方法有效确保铁路交通安全。本论文主要解决两个问题。第一个问题是用有色 Petri 网（CPN）对联锁系统进行建模。接下来，介绍一个通用而紧凑的建模框架，其中联锁规则以分层结构建模，而铁路布局以地理视角建模。然后，提出一种建模模式。这是一个尊重法国国家规则的参数化模型。它是一个通用的可重复使用的解决方案，可以应用于不同的站。然后，将基于事件的概念引入 RIS 低级部分的建模过程，以便更好地描述基于低级继电器的联锁逻辑的内部交互。第二个问题是将有色 Petri 网转换为 B 机，这可以帮助设计人员从分析到实现。引入了一种描述 B 机中的多集及其行为的机制，以允许
海船入级与建造规则...
俄罗斯海事船级社远洋船舶入级与建造规则已按照既定的批准程序获得批准，并于 2019 年 1 月 1 日生效。本规则第 20 版以 2018 年版为基础，并考虑了发布前立即制定的修正案。已考虑国际船级社协会 (IACS) 的统一要求、解释和建议以及国际海事组织 (IMO) 的相关决议。本规则分为以下部分发布：第一部分“入级”；第二部分“船体”；第三部分“设备、布置和舾装”；第四部分“稳性”；第五部分“分舱”；第六部分“防火”；第七部分“机械装置”；第八部分“系统和管道”；第九部分“机械”；第十部分“锅炉、热交换器和压力容器”；第十一部分“电气设备”；第十二部分“制冷装置”；第十三部分“材料”；第十四部分“焊接”；第十五部分“自动化”；第十六部分“纤维增强塑料船舶的结构和强度”；第十七部分“船舶结构和操作特性附加标志中的区别标记和描述性符号”；第十八部分“散货船和油船的共同结构规则”。本部分文本与 IACS 共同结构规则；第十九部分“集装箱船和主要用于运载集装箱货物的船舶结构的附加要求”相同。本部分文本与 IACS UR S11A《集装箱船总纵强度标准》（2015 年 6 月）和 S34《集装箱船有限元分析强度评估载荷工况功能要求》（2015 年 5 月）相同。第 I 至 XVII 部分以俄文和英文电子版发布。如果俄文和英文版本之间存在差异，以俄文版本为准。第 XVIII 至 XIX 部分仅以英文电子版发布。
远洋船舶入级与建造规则 ...
俄罗斯海事船级社远洋船舶入级与建造规则已按照既定的批准程序获得批准，并于 2020 年 1 月 1 日生效。本规则的现行版本以 2019 年版本为基础，并考虑了发布前立即制定的修订。已考虑国际船级社协会 (IACS) 的统一要求、解释和建议以及国际海事组织 (IMO) 的相关决议。规则分为以下部分发布：第 I 部分“入级”；第 II 部分“船体”；第 III 部分“设备、布置和舾装”；第 IV 部分“稳性”；第 V 部分“分舱”；第 VI 部分“防火”；第 VII 部分“机械装置”；第 VIII 部分“系统和管道”；第 IX 部分“机械”；第 X 部分“锅炉、热交换器和压力容器”；第 XI 部分“电气设备”；第十二部分“制冷装置”；第十三部分“材料”；第十四部分“焊接”；第十五部分“自动化”；第十六部分“纤维增强塑料船舶的结构和强度”；第十七部分“船舶结构和操作特性附加标志中的区别标记和描述性符号”；第十八部分“集装箱船和主要用于运载集装箱的船舶结构的附加要求”。本部分内容与 IACS UR S11A“纵向强度”相同
远洋船舶入级与建造规则 ...
俄罗斯海事船级社远洋船舶入级与建造规则已按照既定的批准程序获得批准，并于 2020 年 1 月 1 日生效。本规则的现行版本以 2019 年版本为基础，并考虑了发布前立即制定的修订。已考虑国际船级社协会 (IACS) 的统一要求、解释和建议以及国际海事组织 (IMO) 的相关决议。规则分为以下部分发布：第 I 部分“入级”；第 II 部分“船体”；第 III 部分“设备、布置和舾装”；第 IV 部分“稳性”；第 V 部分“分舱”；第 VI 部分“防火”；第 VII 部分“机械装置”；第 VIII 部分“系统和管道”；第 IX 部分“机械”；第 X 部分“锅炉、热交换器和压力容器”；第 XI 部分“电气设备”；第十二部分“制冷装置”；第十三部分“材料”；第十四部分“焊接”；第十五部分“自动化”；第十六部分“纤维增强塑料船舶的结构和强度”；第十七部分“船舶结构和操作特性附加标志中的区别标记和描述性符号”；第十八部分“集装箱船和主要用于运载集装箱的船舶结构的附加要求”。本部分内容与 IACS UR S11A“纵向强度”相同
海船入级与建造规则...
俄罗斯海事船级社远洋船舶入级与建造规则已按照既定的批准程序获得批准，并于 2020 年 1 月 1 日生效。本规则的当前版本基于 2019 年版本，并考虑了发布前立即制定的修订。已考虑国际船级社协会 (IACS) 的统一要求、解释和建议以及国际海事组织 (IMO) 的相关决议。本规则分为以下部分发布：第一部分“入级”；第二部分“船体”；第三部分“设备、布置和舾装”；第四部分“稳性”；第五部分“分舱”；第六部分“防火”；第七部分“机械装置”；第八部分“系统和管道”；第九部分“机械”；第十部分“锅炉、热交换器和压力容器”；第十一部分“电气设备”；第十二部分“制冷装置”；第十三部分“材料”；第十四部分“焊接”；第十五部分“自动化”；第十六部分“纤维增强塑料船舶的结构和强度”；第十七部分“船舶结构和操作特性附加标志中的区别标记和描述性符号”；第十八部分“集装箱船和主要用于运载集装箱货物的船舶结构的附加要求”。本部分内容与 IACS UR S11A“集装箱船总纵强度标准”（2015 年 6 月）和 S34“集装箱船有限元分析强度评估载荷工况的功能要求”（2015 年 5 月）相同；俄罗斯海事船舶登记规则和指南补充。IACS 程序要求、统一解释和建议。第 I 至 XVII 部分以俄文和英文电子版发布。第 XVIII 部分和俄罗斯海事船舶登记规则和指南补充仅以英文电子版发布。
海上船舶入级与建造规范...
《俄罗斯海事船级社远洋船舶入级与建造规则》已按照既定的批准程序获得批准，并于 2019 年 1 月 1 日生效。本规则的现行版本以 2018 年版本为基础，并考虑了发布前立即制定的修订。已考虑到国际船级社协会 (IACS) 的统一要求、解释和建议以及国际海事组织 (IMO) 的相关决议。本规则分为以下部分发布：第 I 部分“入级”；第 II 部分“船体”；第 III 部分“设备、布置和舾装”；第 IV 部分“稳性”；第 V 部分“分舱”；第 VI 部分“防火”；第 VII 部分“机械装置”；第 VIII 部分“系统和管道”；第 IX 部分“机械”；第 X 部分“锅炉、热交换器和压力容器”；第 XI 部分“电气设备”；第十二部分“制冷装置”；第十三部分“材料”；第十四部分“焊接”；第十五部分“自动化”；第十六部分“纤维增强塑料船舶的结构和强度”；第十七部分“船舶结构和操作特性附加标志中的区别标志和描述性符号”；第十八部分“散货船和油船的共同结构规则”。本部分文本与IACS共同结构规则文本相同；第十九部分“集装箱船和主要用于运载集装箱货物的船舶结构的附加要求”。本部分的文本与 IACS UR S11A《集装箱船总纵强度标准》（2015 年 6 月）和 S34《集装箱船有限元分析强度评估载荷工况的功能要求》（2015 年 5 月）相同。第 I 至 XVII 部分以俄文和英文电子版发布。如果俄文和英文版本之间存在差异，以俄文版本为准。第 XVIII 至 XIX 部分仅以英文电子版发布。