CN113378294B - 安全返港设计可行性的检验装置及检验方法 - Google Patents
安全返港设计可行性的检验装置及检验方法 Download PDFInfo
- Publication number
- CN113378294B CN113378294B CN202110566982.0A CN202110566982A CN113378294B CN 113378294 B CN113378294 B CN 113378294B CN 202110566982 A CN202110566982 A CN 202110566982A CN 113378294 B CN113378294 B CN 113378294B
- Authority
- CN
- China
- Prior art keywords
- information
- cable
- space
- judging
- unit
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000007689 inspection Methods 0.000 title claims abstract description 40
- 238000013461 design Methods 0.000 title claims abstract description 32
- 238000000034 method Methods 0.000 title claims abstract description 15
- 239000000284 extract Substances 0.000 claims abstract description 26
- 238000004519 manufacturing process Methods 0.000 claims abstract description 6
- 238000012795 verification Methods 0.000 claims description 7
- 238000012216 screening Methods 0.000 claims description 6
- 238000010998 test method Methods 0.000 claims 1
- 238000012360 testing method Methods 0.000 claims 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 238000010276 construction Methods 0.000 description 1
- 230000001419 dependent effect Effects 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000012797 qualification Methods 0.000 description 1
- XLYOFNOQVPJJNP-UHFFFAOYSA-N water Substances O XLYOFNOQVPJJNP-UHFFFAOYSA-N 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/10—Geometric CAD
- G06F30/15—Vehicle, aircraft or watercraft design
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- Geometry (AREA)
- General Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Mathematical Optimization (AREA)
- Computational Mathematics (AREA)
- Mathematical Analysis (AREA)
- Aviation & Aerospace Engineering (AREA)
- Pure & Applied Mathematics (AREA)
- Computer Hardware Design (AREA)
- Evolutionary Computation (AREA)
- General Engineering & Computer Science (AREA)
- Automation & Control Theory (AREA)
- Alarm Systems (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
本发明公开了一种安全返港设计可行性的检验装置,包括:数据接入模块、数据库操作模块和逻辑检验模块,所述数据接入模块从船舶的生产设计模型中提取出事故判定空间信息、电缆信息和管系信息,发送给所述数据库操作模块建立数据库;所述数据库操作模块从数据库中提取各电缆和管系所属的***信息、耐事故等级以及所经过的事故判定空间信息,发送给所述逻辑检验模块;所述逻辑检验模块根据安全返港设计中失效逻辑,检验事故发生时各***能否维持运作,输出检验结果。本发明还公开了基于上述检验装置的检验方法。本发明实现检验的自动化,提高检验的效率与准确率。
Description
技术领域
本发明涉及船舶安全返港的技术领域。
背景技术
为了满足大型客船安全返港的要求,通常需要对满足条件的客船上的部分***进行冗余设计。具体地说,针对安全返港情况下的14个***以及有序撤离情况下的6个***,在设计时将单一***分为A、B两部分。当其中一部分因事故而失效时,另一部分依然可以维持该***的运作。安全返港理念是大型客船的基本设计逻辑之一,在整个船舶设计与建造流程中需对安全返港设计的可行性进行多次检验。
在生产设计阶段,检验方法通常是设计人员手工地对每个***的布局和线路走向进行逐一分析。此方法面对主尺度较小、布置较简单的客船尚有一定的可行性,但大型客船的***布置复杂,除了SOLAS规范中要求的14+6个***,每个***下又有与之相关联的子***,***间相互依赖且高度集成化。不仅如此,大型客船的舱室繁多,事故界限的数量多达成百上千个。在进行安全返港设计检验时,需要分析任何一个事故界限进水或失火时,上述***的功能完备性。因此,常规检验方法不但需要花费大量人力,而且难以保证检验工作的准确率。
发明内容
本发明的目的在于提供一种安全返港设计可行性的检验装置及检验方法,实现检验的自动化,提高检验的效率与准确率。
实现上述目的的技术方案是:
一种安全返港设计可行性的检验装置,包括:数据接入模块、数据库操作模块和逻辑检验模块,其中,
所述数据接入模块从船舶的生产设计模型中提取出事故判定空间信息、电缆信息和管系信息,并剔除与安全返港无关的电缆信息和管系信息,发送给所述数据库操作模块建立数据库;
所述数据库操作模块从数据库中提取各电缆和管系所属的***信息、耐事故等级以及所经过的事故判定空间信息,发送给所述逻辑检验模块;
所述逻辑检验模块根据安全返港设计中失效逻辑,检验事故发生时各***能否维持运作,输出检验结果。
优选的,所述数据接入模块包括:判定空间参数输入单元、判定空间自动绘制单元、判定空间的A/B属性信息导入单元、电缆信息输入单元、管系信息输入单元、空间位置信息编译单元、***A/B属性信息导入单元和***间从属关系信息导入单元,
所述判定空间参数输入单元输入事故判定空间参数,所述判定空间自动绘制单元根据事故判定空间参数自动绘制判定空间;所述判定空间的A/B属性信息导入单元根据事故判定空间参数提取判定空间中同一***的A、B两部分信息;
所述电缆信息输入单元输入电缆信息,并剔除与安全返港无关的电缆信息;所述管系信息输入单元输入管系信息,并剔除与安全返港无关的管系信息;所述空间位置信息编译单元根据电缆信息和管系信息提取电缆和管系的空间位置信息;所述***A/B属性信息导入单元根据电缆信息和管系信息提取出电缆和管系所属***的A部分或B部分信息;所述***间从属关系信息导入单元根据电缆信息和管系信息提取出电缆和管系所属***与其他***的从属关系信息。
优选的,所述数据库操作模块包括:判定空间数据包单元、模型标签数据包单元、电缆判别标识数据包单元、管系判别标识数据包单元、耐事故元素列表单元和参与判定元素列表单元,
所述逻辑检验模块包括:空间包含关系判别单元、子母***包含关系判别单元和参与判定元素筛选单元,
所述判定空间数据包单元根据判定空间和判定空间中同一***的A、B两部分信息生成判定空间数据包,同时根据判定空间的位置信息和是否具有失火危险的信息,把位于舱壁甲板以上无失火危险的判定空间剔除;
所述模型标签数据包单元根据电缆和管系的空间位置信息、电缆和管系所属***的A部分或B部分信息、电缆和管系所属***与其他***的从属关系信息生成模型标签数据包;
所述电缆判别标识数据包单元根据模型标签数据包生成电缆判别标识数据包;
所述管系判别标识数据包单元根据模型标签数据包生成管系判别标识数据包;
所述耐事故元素列表单元存储耐事故元素列表;
所述参与判定元素筛选单元根据电缆判别标识数据包、管系判别标识数据包、耐事故元素列表,剔除耐事故的电缆和管系,生成参与判定元素列表并存储于所述参与判定元素列表单元中;
所述空间包含关系判别单元根据判定空间数据包和参与判定元素列表,判断判定空间的所有电缆和管系中是否存在分别属于同一***下A部分和B部分的电缆和管系,若存在,记录下该电缆和管系及其所属***作为不合格***、电缆和管系;剩余的电缆和管系及其所属***作为合格***、电缆和管系;
所述子母***包含关系判别单元将来自所述空间包含关系判别单元的信息进行子母***关系判别后,发送至所述数据库操作模块分别存储为合格***、电缆和管系列表以及不合格***、电缆和管系列表。
优选的,还包括:分别连接所述数据接入模块、数据库操作模块和逻辑检验模块,用于记录检验过程并形成报告日志的报告编译模块。
本发明的基于上述安全返港设计可行性的检验装置的检验方法,包括:
所述数据接入模块输入事故判定空间参数,并根据事故判定空间参数自动绘制判定空间,同时根据事故判定空间参数提取判定空间中同一***的A、B两部分信息;
所述数据接入模块输入电缆信息和管系信息,并剔除与安全返港无关的电缆信息和管系信息,根据电缆信息和管系信息提取电缆和管系的空间位置信息、电缆和管系所属***的A部分或B部分信息、电缆和管系所属***与其他***的从属关系信息;
所述数据库操作模块根据判定空间和判定空间中同一***的A、B两部分信息生成判定空间数据包,同时根据判定空间的位置信息和是否具有失火危险的信息,把位于舱壁甲板以上无失火危险的判定空间剔除;
所述数据库操作模块根据电缆和管系的空间位置信息、电缆和管系所属***的A部分或B部分信息、电缆和管系所属***与其他***的从属关系信息生成模型标签数据包;
所述数据库操作模块根据模型标签数据包生成电缆判别标识数据包和管系判别标识数据包;
所述逻辑检验模块根据电缆判别标识数据包、管系判别标识数据包、耐事故元素列表,剔除耐事故的电缆和管系,生成参与判定元素列表并存储于所述数据库操作模块中数据库;
所述逻辑检验模块根据判定空间数据包和参与判定元素列表,判断判定空间的所有电缆和管系中是否存在分别属于同一***下A部分和B部分的电缆和管系,若存在,记录下该电缆和管系及其所属***作为不合格***、电缆和管系;剩余的电缆和管系及其所属***作为合格***、电缆和管系;再次进行子母***关系判别后,发送至所述数据库操作模块分别存储为合格***、电缆和管系列表以及不合格***、电缆和管系列表。
本发明的有益效果是:本发明通过有效合理的设计,可在生产设计阶段高效评估***设计方案是否满足“安全返港”设计要求,提高了检验的准确率,减少了重复工作量,节省了大量设计时间。
附图说明
图1是本发明的安全返港设计可行性的检验装置的结构图。
具体实施方式
下面将结合附图对本发明作进一步说明。
请参阅图1,本发明的安全返港设计可行性的检验装置,包括:数据接入模块1、数据库操作模块2和逻辑检验模块3。
数据接入模块1从船舶的生产设计模型中提取出事故判定空间信息、电缆信息和管系信息,并剔除与安全返港无关的电缆信息和管系信息,发送给数据库操作模块2建立数据库。数据库操作模块2从数据库中提取各电缆和管系所属的***信息、耐事故等级以及所经过的事故判定空间信息,发送给逻辑检验模块3。逻辑检验模块3根据安全返港设计中失效逻辑,检验事故发生时各***能否维持运作,输出检验结果。具体如下:
数据接入模块1包括:判定空间参数输入单元11、判定空间自动绘制单元12、判定空间的A/B属性信息导入单元13、电缆信息输入单元14、管系信息输入单元15、空间位置信息编译单元16、***A/B属性信息导入单元17和***间从属关系信息导入单元18。
判定空间参数输入单元11输入事故判定空间参数,判定空间自动绘制单元12根据事故判定空间参数自动绘制判定空间;判定空间的A/B属性信息导入单元13根据事故判定空间参数提取判定空间中同一***的A、B两部分信息。电缆信息输入单元14输入电缆信息,并剔除与安全返港无关的电缆信息;所述管系信息输入单元15输入管系信息,并剔除与安全返港无关的管系信息;空间位置信息编译单元16根据电缆信息和管系信息提取电缆和管系的空间位置信息;***A/B属性信息导入单元17根据电缆信息和管系信息提取出电缆和管系所属***的A部分或B部分信息;***间从属关系信息导入单元18根据电缆信息和管系信息提取出电缆和管系所属***与其他***的从属关系信息。
数据库操作模块2包括:判定空间数据包单元21、模型标签数据包单元22、电缆判别标识数据包单元23、管系判别标识数据包单元24、耐事故元素列表单元25和参与判定元素列表单元26。逻辑检验模块3包括:空间包含关系判别单元31、子母***包含关系判别单元32和参与判定元素筛选单元33。
判定空间数据包单元21根据判定空间和判定空间中同一***的A、B两部分信息生成判定空间数据包,同时根据判定空间的位置信息和是否具有失火危险的信息,把位于舱壁甲板以上无失火危险的判定空间剔除。模型标签数据包22单元根据电缆和管系的空间位置信息、电缆和管系所属***的A部分或B部分信息、电缆和管系所属***与其他***的从属关系信息生成模型标签数据包。
电缆判别标识数据包23单元根据模型标签数据包生成电缆判别标识数据包。管系判别标识数据包24单元根据模型标签数据包生成管系判别标识数据包。耐事故元素列表单元25存储耐事故元素列表。参与判定元素筛选单元33根据电缆判别标识数据包、管系判别标识数据包、耐事故元素列表,剔除耐事故的电缆和管系,生成参与判定元素列表并存储于参与判定元素列表单元26中。
空间包含关系判别单元31根据判定空间数据包和参与判定元素列表,判断判定空间的所有电缆和管系中是否存在分别属于同一***下A部分和B部分的电缆和管系,若存在,记录下该电缆和管系及其所属***作为不合格***、电缆和管系;剩余的电缆和管系及其所属***作为合格***、电缆和管系。子母***包含关系判别单元32将来自所述空间包含关系判别单元的信息进行子母***关系判别后,发送至数据库操作模块2分别存储为合格***、电缆和管系列表以及不合格***、电缆和管系列表。
另外,本发明可以还包括报告编译模块,报告编译模块分别连接数据接入模块1、数据库操作模块2和逻辑检验模块3,用于记录检验过程并形成报告日志。
本发明的基于上述安全返港设计可行性的检验装置的检验方法,包括下列步骤:
步骤一,数据接入模块1输入事故判定空间参数,并根据事故判定空间参数自动绘制判定空间,同时根据事故判定空间参数提取判定空间中同一***的A、B两部分信息。
步骤二,数据接入模块1输入电缆信息和管系信息,并剔除与安全返港无关的电缆信息和管系信息,根据电缆信息和管系信息提取电缆和管系的空间位置信息、电缆和管系所属***的A部分或B部分信息、电缆和管系所属***与其他***的从属关系信息。
步骤三,数据库操作模块2根据判定空间和判定空间中同一***的A、B两部分信息生成判定空间数据包,同时根据判定空间的位置信息和是否具有失火危险的信息,把位于舱壁甲板以上无失火危险的判定空间剔除;
步骤四,数据库操作模块2根据电缆和管系的空间位置信息、电缆和管系所属***的A部分或B部分信息、电缆和管系所属***与其他***的从属关系信息生成模型标签数据包。
步骤五,数据库操作模块2根据模型标签数据包生成电缆判别标识数据包和管系判别标识数据包。
步骤六,逻辑检验模块3根据电缆判别标识数据包、管系判别标识数据包、耐事故元素列表,剔除耐事故的电缆和管系,生成参与判定元素列表并存储于数据库操作模块2中数据库。
步骤七,逻辑检验模块3根据判定空间数据包和参与判定元素列表,判断判定空间的所有电缆和管系中是否存在分别属于同一***下A部分和B部分的电缆和管系,若存在,记录下该电缆和管系及其所属***作为不合格***、电缆和管系;剩余的电缆和管系及其所属***作为合格***、电缆和管系;再次进行子母***关系判别后,发送至数据库操作模块3分别存储为合格***、电缆和管系列表以及不合格***、电缆和管系列表。
综上,本发明提高了检验的准确率,减少了重复工作量,节省了大量设计时间。
以上实施例仅供说明本发明之用,而非对本发明的限制,有关技术领域的技术人员,在不脱离本发明的精神和范围的情况下,还可以作出各种变换或变型,因此所有等同的技术方案也应该属于本发明的范畴,应由各权利要求所限定。
Claims (3)
1.一种安全返港设计可行性的检验装置,其特征在于,包括:数据接入模块、数据库操作模块和逻辑检验模块,其中,
所述数据接入模块从船舶的生产设计模型中提取出事故判定空间信息、电缆信息和管系信息,并剔除与安全返港无关的电缆信息和管系信息,发送给所述数据库操作模块建立数据库;
所述数据库操作模块从数据库中提取各电缆和管系所属的***信息、耐事故等级以及所经过的事故判定空间信息,发送给所述逻辑检验模块;
所述逻辑检验模块根据安全返港设计中失效逻辑,检验事故发生时各***能否维持运作,输出检验结果;
所述数据接入模块包括:判定空间参数输入单元、判定空间自动绘制单元、判定空间的A/B属性信息导入单元、电缆信息输入单元、管系信息输入单元、空间位置信息编译单元、***A/B属性信息导入单元和***间从属关系信息导入单元,
所述判定空间参数输入单元输入事故判定空间参数,所述判定空间自动绘制单元根据事故判定空间参数自动绘制判定空间;所述判定空间的A/B属性信息导入单元根据事故判定空间参数提取判定空间中同一***的A、B两部分信息;
所述电缆信息输入单元输入电缆信息,并剔除与安全返港无关的电缆信息;所述管系信息输入单元输入管系信息,并剔除与安全返港无关的管系信息;所述空间位置信息编译单元根据电缆信息和管系信息提取电缆和管系的空间位置信息;所述***A/B属性信息导入单元根据电缆信息和管系信息提取出电缆和管系所属***的A部分或B部分信息;所述***间从属关系信息导入单元根据电缆信息和管系信息提取出电缆和管系所属***与其他***的从属关系信息;
所述数据库操作模块包括:判定空间数据包单元、模型标签数据包单元、电缆判别标识数据包单元、管系判别标识数据包单元、耐事故元素列表单元和参与判定元素列表单元,
所述逻辑检验模块包括:空间包含关系判别单元、子母***包含关系判别单元和参与判定元素筛选单元,
所述判定空间数据包单元根据判定空间和判定空间中同一***的A、B两部分信息生成判定空间数据包,同时根据判定空间的位置信息和是否具有失火危险的信息,把位于舱壁甲板以上无失火危险的判定空间剔除;
所述模型标签数据包单元根据电缆和管系的空间位置信息、电缆和管系所属***的A部分或B部分信息、电缆和管系所属***与其他***的从属关系信息生成模型标签数据包;
所述电缆判别标识数据包单元根据模型标签数据包生成电缆判别标识数据包;
所述管系判别标识数据包单元根据模型标签数据包生成管系判别标识数据包;
所述耐事故元素列表单元存储耐事故元素列表;
所述参与判定元素筛选单元根据电缆判别标识数据包、管系判别标识数据包、耐事故元素列表,剔除耐事故的电缆和管系,生成参与判定元素列表并存储于所述参与判定元素列表单元中;
所述空间包含关系判别单元根据判定空间数据包和参与判定元素列表,判断判定空间的所有电缆和管系中是否存在分别属于同一***下A部分和B部分的电缆和管系,若存在,记录下该电缆和管系及其所属***作为不合格***、电缆和管系;剩余的电缆和管系及其所属***作为合格***、电缆和管系;
所述子母***包含关系判别单元将来自所述空间包含关系判别单元的信息进行子母***关系判别后,发送至所述数据库操作模块分别存储为合格***、电缆和管系列表以及不合格***、电缆和管系列表。
2.根据权利要求1所述的安全返港设计可行性的检验装置,其特征在于,还包括:分别连接所述数据接入模块、数据库操作模块和逻辑检验模块,用于记录检验过程并形成报告日志的报告编译模块。
3.一种基于权利要求1所述安全返港设计可行性的检验装置的检验方法,其特征在于,包括:
所述数据接入模块输入事故判定空间参数,并根据事故判定空间参数自动绘制判定空间,同时根据事故判定空间参数提取判定空间中同一***的A、B两部分信息;
所述数据接入模块输入电缆信息和管系信息,并剔除与安全返港无关的电缆信息和管系信息,根据电缆信息和管系信息提取电缆和管系的空间位置信息、电缆和管系所属***的A部分或B部分信息、电缆和管系所属***与其他***的从属关系信息;
所述数据库操作模块根据判定空间和判定空间中同一***的A、B两部分信息生成判定空间数据包,同时根据判定空间的位置信息和是否具有失火危险的信息,把位于舱壁甲板以上无失火危险的判定空间剔除;
所述数据库操作模块根据电缆和管系的空间位置信息、电缆和管系所属***的A部分或B部分信息、电缆和管系所属***与其他***的从属关系信息生成模型标签数据包;
所述数据库操作模块根据模型标签数据包生成电缆判别标识数据包和管系判别标识数据包;
所述逻辑检验模块根据电缆判别标识数据包、管系判别标识数据包、耐事故元素列表,剔除耐事故的电缆和管系,生成参与判定元素列表并存储于所述数据库操作模块中数据库;
所述逻辑检验模块根据判定空间数据包和参与判定元素列表,判断判定空间的所有电缆和管系中是否存在分别属于同一***下A部分和B部分的电缆和管系,若存在,记录下该电缆和管系及其所属***作为不合格***、电缆和管系;剩余的电缆和管系及其所属***作为合格***、电缆和管系;再次进行子母***关系判别后,发送至所述数据库操作模块分别存储为合格***、电缆和管系列表以及不合格***、电缆和管系列表。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110566982.0A CN113378294B (zh) | 2021-05-24 | 2021-05-24 | 安全返港设计可行性的检验装置及检验方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110566982.0A CN113378294B (zh) | 2021-05-24 | 2021-05-24 | 安全返港设计可行性的检验装置及检验方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN113378294A CN113378294A (zh) | 2021-09-10 |
CN113378294B true CN113378294B (zh) | 2024-06-04 |
Family
ID=77571764
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202110566982.0A Active CN113378294B (zh) | 2021-05-24 | 2021-05-24 | 安全返港设计可行性的检验装置及检验方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN113378294B (zh) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN116522501B (zh) * | 2023-05-05 | 2024-02-13 | 中国船级社上海规范研究所 | 基于安全返港的实船验证*** |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR20140053484A (ko) * | 2012-10-26 | 2014-05-08 | 대우조선해양 주식회사 | 선박 건조용 의장품 엔드 체크 시스템 및 방법 |
KR20160006441A (ko) * | 2014-07-09 | 2016-01-19 | (주)블루다솔루션 | 3차원 스캐닝을 활용한 재난 안전 관리 시스템, 서버 및 방법 |
CN111931013A (zh) * | 2020-07-28 | 2020-11-13 | 中船邮轮科技发展有限公司 | 一种基于逻辑树的安全返港评估方法、***及设备 |
CN112364441A (zh) * | 2020-12-02 | 2021-02-12 | 江南造船(集团)有限责任公司 | 基于模型驱动的船舶仿真方法、***、介质及设备 |
-
2021
- 2021-05-24 CN CN202110566982.0A patent/CN113378294B/zh active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR20140053484A (ko) * | 2012-10-26 | 2014-05-08 | 대우조선해양 주식회사 | 선박 건조용 의장품 엔드 체크 시스템 및 방법 |
KR20160006441A (ko) * | 2014-07-09 | 2016-01-19 | (주)블루다솔루션 | 3차원 스캐닝을 활용한 재난 안전 관리 시스템, 서버 및 방법 |
CN111931013A (zh) * | 2020-07-28 | 2020-11-13 | 中船邮轮科技发展有限公司 | 一种基于逻辑树的安全返港评估方法、***及设备 |
CN112364441A (zh) * | 2020-12-02 | 2021-02-12 | 江南造船(集团)有限责任公司 | 基于模型驱动的船舶仿真方法、***、介质及设备 |
Non-Patent Citations (1)
Title |
---|
基于安全返港要求下的客船火灾探测与报警***设计要点;郭强;;广东造船;20180825(04);全文 * |
Also Published As
Publication number | Publication date |
---|---|
CN113378294A (zh) | 2021-09-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US20090083576A1 (en) | Fault tree map generation | |
US20170236234A1 (en) | Risk management method and system for a land transporation system | |
CN109669844A (zh) | 设备故障处理方法、装置、设备和存储介质 | |
CN113378294B (zh) | 安全返港设计可行性的检验装置及检验方法 | |
CN105574328B (zh) | 一种机载诊断模型的集成方法 | |
CN104133768A (zh) | 一种程序代码复查方法和装置 | |
CN109522718A (zh) | Fadec软件安全性分析方法及装置 | |
Aksu | Assessing compartment-wide damage consequences in ships and offshore vessels using Fault Trees with System Location Attribution | |
CN112590859B (zh) | 一种基于用户界面的道岔状态测试方法及装置 | |
KR20220073151A (ko) | 고장형태 영향분석 기반 고장 분석의 고장 모드 추천 시스템 | |
CN112633746A (zh) | 一种可靠性属性数字化确定方法 | |
US11900034B2 (en) | Method of modeling a component fault tree for an electric circuit | |
Yuan et al. | Argument-based approach to computer system safety engineering | |
CN102467443A (zh) | 一种核电站安全级软件测试方法及其*** | |
Matsumura et al. | A method for detecting faulty code violating implicit coding rules | |
Sun | Determination of beta-factors for safety instrumented systems | |
CN113378239A (zh) | 一种数据内容确权方法及*** | |
George et al. | Writing Good Technical Safety Requirements | |
Heimdahl et al. | Deviation analysis through model checking | |
Lawrence et al. | Human hazard analysis: A prototype method for human hazard analysis developed for the large commercial aircraft industry | |
CN101154186A (zh) | 软硬件协调处理的自诊断***和方法 | |
Zhang et al. | Software system testing method based on formal model | |
CN109374038A (zh) | 一种基于应用样机的核安全级仪控产品的变更测试方法 | |
CN112486841B (zh) | 埋点采集数据校验的方法及装置 | |
Li et al. | Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |