CN114373563A - 核电厂事故处理导则人机接口的设计方法 - Google Patents

核电厂事故处理导则人机接口的设计方法 Download PDF

Info

Publication number
CN114373563A
CN114373563A CN202111500255.0A CN202111500255A CN114373563A CN 114373563 A CN114373563 A CN 114373563A CN 202111500255 A CN202111500255 A CN 202111500255A CN 114373563 A CN114373563 A CN 114373563A
Authority
CN
China
Prior art keywords
parameter
guide
instruction
power plant
verb
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.)
Pending
Application number
CN202111500255.0A
Other languages
English (en)
Inventor
邢继
徐钊
刘海宇
于方小稚
堵树宏
苗壮
孙涛
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
China Nuclear Power Engineering Co Ltd
Original Assignee
China Nuclear Power Engineering Co Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by China Nuclear Power Engineering Co Ltd filed Critical China Nuclear Power Engineering Co Ltd
Priority to CN202111500255.0A priority Critical patent/CN114373563A/zh
Publication of CN114373563A publication Critical patent/CN114373563A/zh
Priority to PCT/CN2022/134107 priority patent/WO2023103801A1/zh
Pending legal-status Critical Current

Links

Images

Classifications

    • G—PHYSICS
    • G21—NUCLEAR PHYSICS; NUCLEAR ENGINEERING
    • G21D—NUCLEAR POWER PLANT
    • G21D3/00—Control of nuclear power plant
    • G21D3/008—Man-machine interface, e.g. control room layout
    • G—PHYSICS
    • G21—NUCLEAR PHYSICS; NUCLEAR ENGINEERING
    • G21D—NUCLEAR POWER PLANT
    • G21D3/00—Control of nuclear power plant
    • G21D3/001—Computer implemented control
    • G—PHYSICS
    • G21—NUCLEAR PHYSICS; NUCLEAR ENGINEERING
    • G21D—NUCLEAR POWER PLANT
    • G21D3/00—Control of nuclear power plant
    • G21D3/04—Safety arrangements
    • G21D3/06—Safety arrangements responsive to faults within the plant
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02E—REDUCTION OF GREENHOUSE GAS [GHG] EMISSIONS, RELATED TO ENERGY GENERATION, TRANSMISSION OR DISTRIBUTION
    • Y02E30/00—Energy generation of nuclear origin

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Plasma & Fusion (AREA)
  • High Energy & Nuclear Physics (AREA)
  • Business, Economics & Management (AREA)
  • Emergency Management (AREA)
  • Testing And Monitoring For Control Systems (AREA)
  • Monitoring And Testing Of Nuclear Reactors (AREA)

Abstract

本发明提供了一种核电厂事故处理导则人机接口的设计方法，包括：对传统非结构化导则的指令进行分类处理；分析每个导则指令的参数需求；根据传统非结构化导则步骤逻辑顺序，以及指令的类别和所需参数，设计导则流程图；进行特殊情况处理，将导则中的警告和注意转化成指令。本发明将非结构化导则之间关联化，从而提高修改导则和确认导则的工作效率。通过统一的、规范化的导则计算机化方案提高了导则计算机化的效率和质量，保证了数字化导则的性能。

Description

核电厂事故处理导则人机接口的设计方法
技术领域
本发明属于核电厂设计技术，具体涉及一种核电厂事故处理导则人机接口的设计方法。
背景技术
核电厂事故处理导则是用于指导事故处理规程开发的重要设计文件，描述了核电厂事故处理策略和实现策略所需的电厂设计信息，关系核电厂的运行安全。
事故处理导则的确认工作是导则开发过程中的重要环节，通过确认工作一方面可以从整体上确认导则体系能够完整覆盖设计之初所确定的初始事件清单中的所有事故，另一方面可以确认每本导则的策略能够成功地对相应的事故进行处理和缓解，将电厂带入安全状态。
为保证导则覆盖范围的完整性，保证所有的始发事件清单中的事故的可诊断性，确认工作的一个重要步骤是使用华龙一号的设计验证平台进行仿真实验。但是，该步骤存在以下问题：
(1)确认工作执行操作人员培训成本高。该工作人员需进行设计验证平台使用培训、确认工作培训等，并要求是电厂操纵员或同等工程师。
(2)确认工作执行操作人员工作效率低。一个操作人员同一时间只能完成一个导则的确认工作，无法同时进行多项导则的确认工作。
(3)导则优化工作繁琐。当导则的某一部分需要进行优化修改时，需要查找全部导则，寻找相关内容，并依次进行修改。
因此，新一代压水堆核电厂将采用计算机化导则，将导则进行计算机化，实现计算机自动执行导则的功能。但是，由于计算机化导则领域的研究内容较少，非结构化导则的计算机化过程的经验仍然欠缺，仅仅将导则电子化无法实现导则之间的关联。导则种类多样，指令众多，操作复杂，缺少一种能把非结构化导则格式转化成计算机能读懂的格式的方法。而仅靠人工经验来将传统导则计算机化却没有统一的、规范化的流程，会导致导则之间接口复杂，不满足简洁的需求。
发明内容
本发明的目的是针对现有技术中存在的问题，提供一种核电厂事故处理导则人机接口的设计方法，从而快速、规范化的实现非结构化导则的计算机化处理。
本发明的技术方案如下：一种核电厂事故处理导则人机接口的设计方法，包括：
(1)对传统非结构化导则的指令进行分类处理；
(2)分析每个导则指令的参数需求；
(3)根据传统非结构化导则步骤逻辑顺序，以及指令的类别和所需参数，设计导则流程图；
(4)进行特殊情况处理，将导则中的警告和注意转化成指令。
进一步，如上所述的核电厂事故处理导则人机接口的设计方法，步骤(1)中导则指令的类别包括：
激活，用于激活某个导则，包括动词和参数名称，参数名称为导则名称或编号；
执行，用于执行某个动作，包括动词和参数名称，动词包括打开类动词、关闭类动词、参数调整类动词、其它操作类动词；
检查，用于进行某个条件的判断，对过程状态进行检查，包括动词、参数名称和参数要求；
暂时跳转，用于自动跳转至导则中的特定步骤，包括动词和参数名称，动词为跳转，参数名称为导则的步骤编号；
跳转，用于自动跳转至其它导则中，包括动词和参数名称，动词为跳转，参数名称为导则名称或编号；
返回，用于返回到上一个“暂时跳转”指令结束的位置，与暂时跳转指令配套使用；
等待，用于暂停进入下一个指令，直到指定时间结束或达到预定的过程状态；
其它，用于通过信息提醒或指导后续工作；
结束，用于终止某个导则并输出结果。
进一步，如上所述的核电厂事故处理导则人机接口的设计方法，步骤(2)中通过分析参数需求明确每个导则指令所需的输入，摘出传统指令表述中的参数名称和参数要求；
所述参数名称的类别包括：过程变量和实体变量，过程变量类别是一般测量参数，实体变量类别是具体设备或组件的名称或编号；
所述参数要求类别包括：参数大小、参数趋势和参数状态，其中参数大小和参数趋势对应过程变量，参数状态对应实体变量。
进一步，如上所述的核电厂事故处理导则人机接口的设计方法，步骤(3)中，当参数要求类别为参数状态时，将参数状态的描述转换成计算机可读语言。
进一步，如上所述的核电厂事故处理导则人机接口的设计方法，步骤(4)中，对于执行人员的信息提醒，设计成弹出注意框的方式。
本发明的有益效果如下：本发明提供的核电厂事故处理导则人机接口的设计方法，将非结构化导则之间关联化，从而提高修改导则和确认导则的工作效率。通过统一的、规范化的导则计算机化方案提高了导则计算机化的效率和质量，保证了数字化导则的性能。
附图说明
图1为本发明核电厂事故处理导则人机接口的设计方法流程图；
图2为本发明根据导则步骤逻辑顺序，以及指令的类别和所需参数，对导则计算机化的流程图；
图3为本发明具体实施例中“蒸汽发生器传热管破裂并发稳压器压力失控”导则计算机化流程图。
具体实施方式
为了使本发明的目的、技术方案及优点更加清楚明白，以下结合附图及实施例，对本发明进行进一步详细说明。应当理解，此处所描述的具体实施例仅用以解释本发明，并不用于限定本发明。
新一代压水堆核电厂将采用计算机化导则，将导则进行数字化，实现计算机自动执行导则的功能。导则确认工作时，可以利用计算机并行运行多本导则，运行过程中无需人员操作，从而增加导则确认工作效率，减少确认工作人员工作量。
当需要进行导则确认时，确认工作人员只需对数字化导则进行检查，保证其与设计统一，启动程序自动运行导则，收集运行后结果进行分析。当需要优化修改导则内容时，只需修改一个内容，程序可自动修改所有关联部位，减少了繁琐的修改工作，最后将优化后的导则导出成pdf格式进行提交。计算机化导则可以提高确认及后续优化的工作效率。
计算机化导则的一个重要步骤是将传统非结构化导则转化为计算机可读的数字化导则。如果仅仅是将导则电子化则无法实现导则之间的关联，本发明提出了一种核电厂事故处理导则人机接口的设计方法，可快速、规范化的将现有的非结构化导则计算机化。
如图1所示，本发明提供的核电厂事故处理导则人机接口的设计方法包括如下步骤：
(1)对传统导则步骤进行分类
传统导则是非结构化的信息，每个导则包括若干步骤，每个步骤中包括若干指令。指令为一句话，包括一个动词和一个执行对象，即：参数名称。部分指令在执行对象后还包括一个形容词，即：参数要求。导则计算机化的第一步是把传统导则转化成计算机能理解的形式，即对传统导则指令进行分类处理。传统的导则指令大概分为如下几个类别：
-激活：当计算机接收到这个指令的时候，将激活某个导则。该指令是计算机化导则新增指令，包括动词和参数名称。参数名称为导则名称或编号。该指令在以下两种情况下出现：
当执行人员手动启动某个导则时，在传统导则指令执行前，增加“激活”指令，用于计算机启动该导则。
当上一个指令为“跳转”指令，则增加“激活”指令，用于激活跳转后的导则。
-执行：当计算机接受该指令时，将自动执行某个动作，如：打开阀门等。该指令的动词属于以下类型：
打开类动词，如：“开启”、“重启”等，
关闭类动词，如：“关闭”、“停运”等，
参数调整类动词，如“调节”、“调整”、“增大”、“调大”、“减小”、“调小”、“设置”等，该动词和参数名称后一般包括参数要求，
其他操作类动词，如：“执行”、“复位”、“维持”等。
-检查：当计算机接收到该指令时，将自动进行某个条件的判断，对某个过程状态进行自动检查。该指令包括动词、参数名称和参数要求。当指令描述出现如下情况时，可分类为“检查”指令：
指令的动词为“确认”、“检查”等。该情况下，“检查”指令后，一般会根据检查结果进行“暂时跳转”或“跳转”的导则指令。
当指令中出现条件判断词，如“若”、“如果”等，将该指令分成“检查”指令和“执行”指令两个。
当一个指令中有两个动词，第二个动词是第一个动词结束的指标，如“降至”等时，该指令分成“执行”和“检查”两个指令。
-暂时跳转：当计算机接收到该指令时，将自动跳转到本导则中特定的步骤。一般带有隐藏步骤“返回”，用于返回“暂时跳转”结束的位置，继续进行“暂时跳转”的下一个步骤。该指令包括动词和参数名称。其动词一般为“跳转”，并且参数名称为本导则的步骤编号。
-跳转：当计算机接收到该指令时，将自动跳转到其他导则中，并不再返回。该指令的动词一般为“跳转”，并且该指令的参数名称是某个导则的名称或编号。
-返回：当计算机接收到该指令时，将返回到上一个“暂时跳转”指令结束的位置。该指令一般与“暂时跳转”配套，其动词为“返回”。
-等待：当计算机接收到该指令时，将暂停进入下一指令，持续等待，直到某个指定时间结束或者达到某个过程状态。该指令的动词为“等待”。
-其他：该类指令为信息类的指令，起到提醒或指导后续工作的目的。如：“向技术支持中心寻求长期恢复措施”。在计算机化导则执行过程中，该指令将通过执行过程中弹出“提醒框”的方式进行指导或提醒，不列在计算机自动执行逻辑图中。
-结束：当计算机接收到该指令时，计算机将终止某个导则，并输出结果。该指令是计算机化导则新增指令，在导则传统导则最后一个指令结束后执行。
上述导则指令分类基本覆盖所有传统导则，满足导则分类需求，但若有需要可以适当添加。
传统导则的分类过程用上述定义对导则的每一个指令进行分类，并提供分类依据动词，形成以下表格：
步骤编号 指令编号 类别名称 依据
(2)逐条分析参数需求
分析参数需求是明确每个导则指令所需的输入，即摘出传统指令表述中的参数名称和参数要求。首先，需要明确参数名称类别，包括：过程变量和实体变量两类。过程变量类别是一般测量参数，包括：温度、压力、流量等。实体变量类别是具体设备或组件的名称或编号，设备或组件包括：泵、阀门等。
随后，若存在参数要求，则需要明确参数要求类别，其类别包括：参数大小、参数趋势和参数状态三类。参数大小和参数趋势的对应参数名称是过程变量。参数大小指的是与具体数值进行比较，如：大于[-3.26m]、大于[20℃]等。若数值前是“至”则相当于等于，如“降至[+0.94m]”是等于[+0.94m]。参数趋势指的是变化趋势，如：上升、下降等，一般在计算机化导则中用参数斜率来计算。参数状态的对应参数名称是实体变量，指的是设备/组件的状态，如：开启状态、关闭状态等。
该方法通过如下表格体现：
指令编号 参数名称类型 参数名称 参数要求类别 参数要求
(3)导则计算机化流程图
如图2所示，根据传统导则步骤逻辑顺序、上述分析的指令类别和所需参数，绘制导则计算机化流程图。当参数要求类别为参数状态时，转换成计算机能读懂的语言，如“破管SG辅助给水隔离”转化成“破管SG辅助给水.打开状态＝0”。
(4)特殊情况处理
连续步提要、警告和注意：对于原有导则中的警告和注意，可以通过以下两种方式实现计算机化：
a)根据新制定规则将警告和注意转化成指令。如“若EMS附加柴油机处于替代状态，则下令就地停运的是EMS”在计算机化后，可以变成“检查”指令+“执行”指令。
b)用一种特殊的操作模式代替。如“破管的SG反注入一回路，会使一回路硼浓度降低”是一种对执行人员的信息提醒，可通过弹出注意框的方式进行提醒。
实施例
为了使本发明的目的、技术方案及优点更加清楚明白，以下以“蒸汽发生器传热管破裂并发稳压器压力失控”导则为例，对本发明进行进一步详细说明。
(1)对传统导则指令进行分类
Figure BDA0003401300760000081
Figure BDA0003401300760000091
(2)逐条分析变量需求
Figure BDA0003401300760000092
(3)如图3所示，根据“蒸汽发生器传热管破裂并发稳压器压力失控”导则步骤逻辑顺序，以及上述分析的指令类别和所需参数，绘制导则计算机化流程图。
(4)特殊情况处理
连续步提要、警告与注意：
-SG水位失控上升指正在上升且无法通过操纵员在主控室的操作终止其上升：
重复上述步骤(1)-(3)，将该注意转化成指令。
-维持RCS冷却速率：
重复上述步骤(1)-(3)，将该注意转化成指令。
-破管的SG反注入一回路，会使一回路硼浓度降低：
通过弹出注意框的方式进行提醒。
对于本领域技术人员而言，显然本发明的结构不限于上述示范性实施例的细节，而且在不背离本发明的精神或基本特征的情况下，能够以其他的具体形式实现本发明。因此，无论从哪一点来看，均应将实施例看作是示范性的，而且是非限制性的，本发明的范围由所附权利要求而不是上述说明限定，因此旨在将落在权利要求的等同要件的含义和范围内的所有变化囊括在本发明内。不应将权利要求中的任何附图标记视为限制所涉及的权利要求。
此外，应当理解，虽然本说明书按照实施方式加以描述，但并非每个实施方式仅包含一个独立的技术方案，说明书的这种叙述方式仅仅是为清楚起见，本领域技术人员应当将说明书作为一个整体，各实施例中的技术方案也可以经适当组合，形成本领域技术人员可以理解的其他实施方式。

Claims (6)

1.一种核电厂事故处理导则人机接口的设计方法，其特征在于，包括：
(1)对传统非结构化导则的指令进行分类处理；
(2)分析每个导则指令的参数需求；
(3)根据传统非结构化导则步骤逻辑顺序，以及指令的类别和所需参数，设计导则流程图；
(4)进行特殊情况处理，将导则中的警告和注意转化成指令。
2.如权利要求1所述的核电厂事故处理导则人机接口的设计方法，其特征在于，步骤(1)中导则指令的类别包括：
激活，用于激活某个导则，包括动词和参数名称，参数名称为导则名称或编号；
执行，用于执行某个动作，包括动词和参数名称，动词包括打开类动词、关闭类动词、参数调整类动词、其它操作类动词；
检查，用于进行某个条件的判断，对过程状态进行检查，包括动词、参数名称和参数要求；
暂时跳转，用于自动跳转至导则中的特定步骤，包括动词和参数名称，动词为跳转，参数名称为导则的步骤编号；
跳转，用于自动跳转至其它导则中，包括动词和参数名称，动词为跳转，参数名称为导则名称或编号；
返回，用于返回到上一个“暂时跳转”指令结束的位置，与暂时跳转指令配套使用；
等待，用于暂停进入下一个指令，直到指定时间结束或达到预定的过程状态；
其它，用于通过信息提醒或指导后续工作；
结束，用于终止某个导则并输出结果。
3.如权利要求1所述的核电厂事故处理导则人机接口的设计方法，其特征在于，步骤(2)中通过分析参数需求明确每个导则指令所需的输入，摘出传统指令表述中的参数名称和参数要求。
4.如权利要求3所述的核电厂事故处理导则人机接口的设计方法，其特征在于，所述参数名称的类别包括：过程变量和实体变量，过程变量类别是一般测量参数，实体变量类别是具体设备或组件的名称或编号；
所述参数要求类别包括：参数大小、参数趋势和参数状态，其中参数大小和参数趋势对应过程变量，参数状态对应实体变量。
5.如权利要求4所述的核电厂事故处理导则人机接口的设计方法，其特征在于，步骤(3)中，当参数要求类别为参数状态时，将参数状态的描述转换成计算机可读语言。
6.如权利要求1所述的核电厂事故处理导则人机接口的设计方法，其特征在于，步骤(4)中，对于执行人员的信息提醒，设计成弹出注意框的方式。
CN202111500255.0A 2021-12-09 2021-12-09 核电厂事故处理导则人机接口的设计方法 Pending CN114373563A (zh)

Priority Applications (2)

Application Number Priority Date Filing Date Title
CN202111500255.0A CN114373563A (zh) 2021-12-09 2021-12-09 核电厂事故处理导则人机接口的设计方法
PCT/CN2022/134107 WO2023103801A1 (zh) 2021-12-09 2022-11-24 核电厂事故处理导则人机接口的设计方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202111500255.0A CN114373563A (zh) 2021-12-09 2021-12-09 核电厂事故处理导则人机接口的设计方法

Publications (1)

Publication Number Publication Date
CN114373563A true CN114373563A (zh) 2022-04-19

Family

ID=81140563

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202111500255.0A Pending CN114373563A (zh) 2021-12-09 2021-12-09 核电厂事故处理导则人机接口的设计方法

Country Status (2)

Country Link
CN (1) CN114373563A (zh)
WO (1) WO2023103801A1 (zh)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2023103801A1 (zh) * 2021-12-09 2023-06-15 中国核电工程有限公司 核电厂事故处理导则人机接口的设计方法

Family Cites Families (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20140376678A1 (en) * 2013-06-25 2014-12-25 Robert H. Leyse Method of and Apparatus for Monitoring a Nuclear Reactor Core Under Normal and Accident Conditions
CN104658623B (zh) * 2015-02-11 2017-03-01 中国核动力研究设计院 应急运行规程与严重事故管理导则的过渡接口方法
CN105023624B (zh) * 2015-06-09 2017-06-16 中广核（北京）仿真技术有限公司 核电厂严重事故缓解方法及系统
CN105551550B (zh) * 2015-12-15 2017-12-19 中广核工程有限公司 一种核电厂智能化事故处理规程操作方法和系统
CN110490489A (zh) * 2019-08-28 2019-11-22 上海核工程研究设计院有限公司 一种核电厂严重事故信息系统
CN111178025A (zh) * 2019-11-28 2020-05-19 中广核工程有限公司 核电站运行导则的编辑方法、装置、计算机设备及存储介质
KR102274139B1 (ko) * 2020-03-10 2021-07-06 조선대학교산학협력단 원자력 발전소의 운영기술지침서 이행 실시간 감시시스템
CN113409977A (zh) * 2021-06-21 2021-09-17 中国核电工程有限公司 数字化人机接口界面的设计方法及数字化人机接口界面
CN114373563A (zh) * 2021-12-09 2022-04-19 中国核电工程有限公司 核电厂事故处理导则人机接口的设计方法

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2023103801A1 (zh) * 2021-12-09 2023-06-15 中国核电工程有限公司 核电厂事故处理导则人机接口的设计方法

Also Published As

Publication number Publication date
WO2023103801A1 (zh) 2023-06-15

Similar Documents

Publication Publication Date Title
CN103365838B (zh) 基于多元特征的英语作文语法错误自动纠正方法
US20120109618A1 (en) Accident parameter identification method for severe accidents
CN108398940A (zh) 一种基于stpa形式化模型的安全分析方法
CN110428919B (zh) 基于征兆的压水堆核电厂反应性控制策略的设计方法
CN109102913B (zh) 一种压水堆核电厂故障诊断策略的设计方法
CN110852697B (zh) 一种变电站倒闸操作票自动生成系统
CN114373563A (zh) 核电厂事故处理导则人机接口的设计方法
Jankovsky et al. Dynamic event tree analysis with the SAS4A/SASSYS-1 safety analysis code
Jankovsky et al. Extension of the ADAPT Framework for Multiple Simulators.
CN109460547B (zh) 一种基于自然语言处理的结构化管制指令提取方法
CN111736636A (zh) 一种基于知识图谱的水淹水车室预警方法及系统
CN116541286A (zh) 一种基于插桩和符号执行的高覆盖率测试数据生成方法
Renu et al. Text analysis of assembly work instructions
Mengyuan et al. Automatic generation method of airborne display and control system requirement domain model based on NLP
Reventós et al. Advanced qualification process of ANAV NPP integral dynamic models for supporting plant operation and control
CN112801537B (zh) 一种发电企业非停事故分析方法、系统、介质及设备
Izquierdo et al. Why sequence dynamics matters in PSA: checking consistency of probabilistic and deterministic analyses
CN110083707B (zh) 一种构建核电消防规范规则库的方法
CN111580895B (zh) 核燃料性能分析软件集成方法及装置、终端、可读存储介质
CN113420979A (zh) 一种数字化事故规程的设计验证方法及装置、设计方法
Ao et al. The task displays design methodology study for symptoms-oriented emergency operating procedure
CN116402052A (zh) 一种电网调度文本知识抽取方法、系统和介质
Grunwitz et al. A Comprehensive Multifidelity Design and Analysis Process for Cooled Axial Flow Turbines: From Concept to Component
CN103544142B (zh) 一种状态机
Kothalawala Application of System-Theoretic Process Analysis (STPA) in Nuclear Instrumentation and Control systems

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