KR102424416B1 - Apparatus for analyzing dynamic discrete event tree and method thereof - Google Patents
Apparatus for analyzing dynamic discrete event tree and method thereof Download PDFInfo
- Publication number
- KR102424416B1 KR102424416B1 KR1020200134465A KR20200134465A KR102424416B1 KR 102424416 B1 KR102424416 B1 KR 102424416B1 KR 1020200134465 A KR1020200134465 A KR 1020200134465A KR 20200134465 A KR20200134465 A KR 20200134465A KR 102424416 B1 KR102424416 B1 KR 102424416B1
- Authority
- KR
- South Korea
- Prior art keywords
- simulation
- tree
- discrete event
- event
- dynamic discrete
- Prior art date
Links
Images
Classifications
-
- 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
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/28—Error detection; Error correction; Monitoring by checking the correct order of processing
-
- G—PHYSICS
- G21—NUCLEAR PHYSICS; NUCLEAR ENGINEERING
- G21C—NUCLEAR REACTORS
- G21C17/00—Monitoring; Testing ; Maintaining
-
- 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
-
- 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
- Y02E30/30—Nuclear fission reactors
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- Plasma & Fusion (AREA)
- High Energy & Nuclear Physics (AREA)
- Theoretical Computer Science (AREA)
- Quality & Reliability (AREA)
- General Physics & Mathematics (AREA)
- Testing And Monitoring For Control Systems (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
동적이산사건수목의 분석 방법 및 장치가 개시된다.
이 장치의 시뮬레이션부는 복수의 기기들 및 운전원 동작 수행 시점을 포함하는 물리모델의 시뮬레이션을 수행하면서 감시변수 및 제어변수를 수집하고, 수집된 감시변수를 사용하여 분기규칙을 결정하며, 결정된 분기규칙에 기반하여 분기지점을 생성하고, 생성된 분기지점에 기반하여 분기확률 계산 및 상기 제어변수를 변경하며, 계산된 분기확률 및 변경된 제어변수를 이용하여 물리모델의 시뮬레이션을 재수행하여, 물리모델에 대한 동적 신뢰도 평가의 결과인 동적이산사건수목을 생성한다. 분석 처리부는 시뮬레이션부에서 생성된 동적이산사건수목을 사용하여 시뮬레이션부를 통해 물리모델에 대한 시뮬레이션을 재수행하면서 생성된 동적이산사건수목에 대한 분석을 수행할 수 있도록 한다. 시뮬레이션부는 분석 처리부의 제어에 따라 감시변수 및 제어변수와 분기지점에서의 시뮬레이션 진행 정보를 분석 처리부로 제공하고, 분석 처리부는 동적이산사건수목에 대응하는 트리뷰를 표시하고, 표시된 트리뷰를 통한 사용자의 선택에 따라 시뮬레이션부에 의한 동적이산사건수목에 대한 시뮬레이션의 재수행을 제어한다.A method and apparatus for analyzing a dynamic discrete event tree are disclosed.
The simulation unit of this device collects monitoring variables and control variables while performing a simulation of a physical model including a plurality of devices and the timing of operation of the operator, determines a branching rule using the collected monitoring variables, and follows the determined branching rule. Based on the branch point, the branch probability calculation and the control variable are changed based on the generated branch point, and the simulation of the physical model is re-performed using the calculated branch probability and the changed control variable, so that the dynamic A dynamic discrete event tree is generated as a result of the reliability evaluation. The analysis processing unit uses the dynamic discrete event tree generated by the simulation unit to perform the analysis on the generated dynamic discrete event tree while re-executing the simulation on the physical model through the simulation unit. The simulation unit provides monitoring and control variables and simulation progress information at branching points to the analysis processing unit under the control of the analysis processing unit, and the analysis processing unit displays a tree view corresponding to the dynamic discrete event tree, and the user through the displayed tree view Controls the re-execution of simulation for dynamic discrete event trees by the simulation unit according to the selection of .
Description
본 발명은 동적이산사건수목의 분석 장치 및 그 방법에 관한 것이다.The present invention relates to an apparatus and method for analyzing dynamic discrete event trees.
신뢰도공학에서 사용되는 사건수목(event tree, ET)은 어떤 조건이 맞으면 그 시점에서 달라지는 상황을 반영하여 시나리오를 2개 이상으로 분기하고, 각각의 시나리오가 전개되는 모습을 보여주는 방법을 지칭한다. 여기서, 어떤 조건이 맞아 시나리오가 분기되는 시점을 분기지점이라고 지칭하며, 사건수목은 분석자가 사전 지식을 활용하여 다수의 분기지점이 도래할 순서를 미리 정하게 된다.The event tree (ET) used in reliability engineering refers to a method of branching scenarios into two or more by reflecting the situation that changes at that point when certain conditions are met, and showing how each scenario unfolds. Here, the point at which a scenario diverges when a certain condition is met is called a divergence point, and for the event tree, the analyst uses prior knowledge to determine the order in which multiple divergence points will arrive in advance.
다만, 종래의 사건수목은 분석자가 사전 지식을 활용하여 분기지점이 도래할 순서를 미리 지정함에 따라 물리모델의 시뮬레이션 결과를 반영할 수 없다. 또한, 종래의 사건수목은 공정의 안전성에 대한 평가를 수행함에 있어 각 분기 별로 공정을 모사하는 물리모델에 대한 변화를 적용할 수 없으므로, 물리모델의 시뮬레이션 결과에 따른 정확도가 감소되는 단점이 존재할 수 있다.However, the conventional event tree cannot reflect the simulation result of the physical model as the analyst uses prior knowledge to designate the order in which the branch point will arrive in advance. In addition, since the conventional event tree cannot apply changes to the physical model that simulates the process for each quarter in evaluating the safety of the process, there may be a disadvantage in that the accuracy according to the simulation result of the physical model is reduced. have.
한편, 동적이산사건수목(Dynamic Discrete Event Tree, DDET)은 개념적인 측면에서는 기존의 사건수목 방법론과 동일하다. 그러나, 동적이산사건수목은 분기지점을 미리 정하는 방식이 아니라 물리모델을 시뮬레이션한 결과를 실시간으로 반영하여 분기지점을 설정하기 때문에 기존의 방법에서 분기지점의 순서를 미리 정해 놓는 것과는 차이가 있다. 특히, 물리모델을 사람이 개입하여 제어하거나 우연적인 요소 예컨대 기기고장 등이 발생하는 경우를 모사하려면 일반적인 사건수목과는 다른 방법이 필요하다. 즉, 이러한 시나리오 분석에서는 미리 분기지점을 정하고 시작하는 기존의 사건수목이 더 이상 유효하지 않기 때문에 동적이산사건수목을 적용하여야 한다.On the other hand, Dynamic Discrete Event Tree (DDET) is conceptually the same as the existing event tree methodology. However, the dynamic discrete event tree is different from predetermining the order of branching points in the existing method because the branching point is set by reflecting the simulation result of the physical model in real time, not the method of predetermining the branching point. In particular, a method different from the general event tree is required to control the physical model through human intervention or to simulate the occurrence of accidental factors such as equipment failure. In other words, in this scenario analysis, the dynamic discrete event tree should be applied because the existing event tree, which starts with a branch point in advance, is no longer valid.
이러한 동적이산사건수목은 다수의 모듈의 무작위적 조합에 의해 생성되며, 생성되는 동적이산사건수목에 포함되는 분기지점마다 사건시퀀스가 다수로 분리되어 마지막에 가서는 사건시퀀스를 나타내기 위해 대규모 데이터가 생성된다.Such a dynamic discrete event tree is generated by a random combination of a number of modules, and the event sequence is divided into multiple at each branch point included in the generated dynamic discrete event tree, and at the end, large-scale data is collected to represent the event sequence. is created
따라서, 동적이산사건수목에 기반하는 사건시퀀스로부터 중요한 정보를 얻기 위해서는 대규모 데이터의 동적이산사건수목을 효과적으로 관리하고 분석하는 방법이 필요하다.Therefore, in order to obtain important information from the event sequence based on the dynamic discrete event tree, a method for effectively managing and analyzing the dynamic discrete event tree of large-scale data is required.
본 발명이 해결하고자 하는 과제는 대규모 데이터의 동적이산사건수목을 효과적으로 관리하고 분석하는 동적이산사건수목의 분석 장치 및 그 방법을 제공하는 것이다.An object of the present invention is to provide a dynamic discrete event tree analysis apparatus and method for effectively managing and analyzing a dynamic discrete event tree of large-scale data.
상기한 바와 같은 본 발명의 과제를 달성하고, 후술하는 본 발명의 특징적인 효과를 실현하기 위한, 본 발명의 특징적인 구성은 하기와 같다.A characteristic configuration of the present invention for achieving the above-described object of the present invention and realizing the characteristic effects of the present invention described later is as follows.
본 발명의 일 측면에 따르면, 동적이산사건수목의 분석 장치가 제공되며, 이 장치는,According to one aspect of the present invention, there is provided an apparatus for analyzing a dynamic discrete event tree, the apparatus comprising:
복수의 기기들 및 운전원 동작 수행 시점을 포함하는 물리모델의 시뮬레이션을 수행하면서 감시변수 및 제어변수를 수집하고, 수집된 감시변수를 사용하여 분기규칙을 결정하며, 결정된 분기규칙에 기반하여 분기지점을 생성하고, 생성된 분기지점에 기반하여 분기확률 계산 및 상기 제어변수를 변경하며, 계산된 분기확률 및 변경된 제어변수를 이용하여 상기 물리모델의 시뮬레이션을 재수행하여, 상기 물리모델에 대한 동적 신뢰도 평가의 결과인 동적이산사건수목을 생성하는 시뮬레이션부, 그리고 상기 시뮬레이션부에서 생성된 동적이산사건수목을 사용하여 상기 시뮬레이션부를 통해 상기 물리모델에 대한 시뮬레이션을 재수행하면서 상기 생성된 동적이산사건수목에 대한 분석을 수행할 수 있도록 하는 분석 처리부를 포함하며, 상기 시뮬레이션부는 상기 분석 처리부의 제어에 따라 상기 감시변수 및 제어변수와 상기 분기지점에서의 시뮬레이션 진행 정보를 상기 분석 처리부로 제공하고, 상기 분석 처리부는 상기 동적이산사건수목에 대응하는 트리뷰(tree view)를 표시하고, 표시된 트리뷰를 통한 사용자의 선택에 따라 상기 시뮬레이션부에 의한 상기 동적이산사건수목에 대한 시뮬레이션의 재수행을 제어한다.Monitoring variables and control variables are collected while performing a simulation of a physical model including a plurality of devices and the timing of operation of the operator, and a branch rule is determined using the collected monitoring variables, and a branch point is determined based on the determined branch rule. generated, calculating branching probability and changing the control variable based on the generated branching point, and re-executing the simulation of the physical model using the calculated branching probability and the changed control variable to evaluate the dynamic reliability of the physical model A simulation unit that generates the resulting dynamic discrete event tree, and analysis of the generated dynamic discrete event tree while re-executing the simulation on the physical model through the simulation unit using the dynamic discrete event tree generated by the simulation unit and an analysis processing unit configured to perform A tree view corresponding to the dynamic discrete event tree is displayed, and the simulation unit controls re-execution of the simulation on the dynamic discrete event tree according to a user's selection through the displayed tree view.
본 발명의 다른 측면에 따르면, 동적이산사건수목의 분석 방법이 제공되며, 이 방법은,According to another aspect of the present invention, there is provided a method for analyzing a dynamic discrete event tree, the method comprising:
분석 장치가 동적이산사건수목에 대한 분석을 수행하는 방법으로서, 복수의 기기들 및 운전원 동작 수행 시점을 포함하는 물리모델의 시뮬레이션을 수행하여 상기 물리모델에 대한 동적 신뢰도 평가의 결과로서 생성된 동적이산사건수목에 대응하는 트리뷰를 표시하는 단계 ― 상기 동적이산사건수목은 상기 물리모델의 시뮬레이션을 수행하면서 감시변수 및 제어변수를 수집하고, 수집된 감시변수를 사용하여 분기규칙을 결정하며, 결정된 분기규칙에 기반하여 분기지점을 생성하고, 생성된 분기지점에 기반하여 분기확률 계산 및 상기 제어변수를 변경하며, 계산된 분기확률 및 변경된 제어변수를 이용하여 상기 물리모델의 시뮬레이션을 재수행함으로써 생성됨 ―, 그리고 상기 트리뷰를 통한 사용자의 선택에 따라 상기 동적이산사건수목을 구성하는 전체 사건시퀀스 또는 일부 사건시퀀스에 대한 시뮬레이션을 재수행하는 단계를 포함한다.A method for an analysis apparatus to analyze a dynamic discrete event tree, wherein the dynamic discrete generated as a result of dynamic reliability evaluation for the physical model by performing a simulation of a physical model including a plurality of devices and an operation time of an operator Displaying a tree view corresponding to the event tree—The dynamic discrete event tree collects monitoring variables and control variables while performing simulation of the physical model, determines branching rules using the collected monitoring variables, and determines branching Generated by generating a branch point based on a rule, calculating branch probability and changing the control variable based on the generated branch point, and re-executing the simulation of the physical model using the calculated branch probability and the changed control variable ― , and re-performing the simulation of the entire event sequence or some event sequences constituting the dynamic discrete event tree according to the user's selection through the tree view.
본 발명에 따르면, 분기지점을 미리 정하는 방식이 아니라 물리모델을 시뮬레이션한 결과를 실시간으로 반영하여 분기지점을 설정하는 동적이산사건수목에 대한 시뮬레이션을 재수행하면서 분석이 가능하도록 할 수 있다.According to the present invention, it is possible to enable analysis while re-executing the simulation of the dynamic discrete event tree that sets the branch point by reflecting the simulation result of the physical model in real time, rather than a method of pre-determining the branch point.
또한, 사건시퀀스 중에서 특정 사건시퀀스를 선별하고 해당 사건시퀀스의 종료 시점 이전의 입력 자료를 검토 및 재정비한 후 재계산을 수행할 수 있도록 함으로써 특정 사건시컨스에 대한 분석이 가능하다.In addition, it is possible to analyze a specific event sequence by selecting a specific event sequence from among the event sequence, reviewing and rearranging the input data before the end of the event sequence, and re-calculating it.
또한, 시뮬레이션을 수행하는 중에 목적에 따라 특정 분기지점에서 시뮬레이션을 정지시킨 후 시뮬레이션을 종료시키거나 각종 입력값을 수정한 다음 시뮬레이션을 재개할 수 있으므로, 미세하고 정교한 동적이산사건수목 기반 분석을 수행할 수 있다.In addition, depending on the purpose during simulation, the simulation can be stopped at a specific branch point and then the simulation can be terminated or the simulation can be resumed after correcting various input values. can
도 1은 본 발명의 실시예에 따른 동적이산사건수목 분석 장치의 개략적인 구성 블록도이다.
도 2는 도 1에 도시된 동적이산사건수목 기반 시뮬레이션부의 구체적인 구성 블록도이다.
도 3은 도 1에 도시된 분석 처리부의 구체적인 구성 블록도이다.
도 4는 본 발명의 실시예에 따라 동적이산사건수목에 대응하는 트리뷰를 구성하여 표시한 예를 도시한 도면이다.
도 5는 본 발명의 실시예에 따라 시뮬레이션시 물리모듈의 변수 값의 변화를 확인할 수 있는 이력 그래프의 예를 도시한 도면이다.
도 6은 본 발명의 실시예에 따른 동적이산사건수목의 분석 방법의 개략적인 흐름도이다.
도 7은 본 발명의 다른 실시예에 따른 동적이산사건수목의 분석 방법의 개략적인 흐름도이다.
도 8은 본 발명의 실시예에 따른 동적이산사건수목의 분석 방법에서 사건시퀀스의 종류가 표시된 트리뷰의 예를 도시한 도면이다.
도 9는 본 발명의 또 다른 실시예에 따른 동적이산사건수목의 분석 방법의 개략적인 흐름도이다.
도 10은 본 발명의 또 다른 실시예에 따라 분기지점 t2에서 시뮬레이션이 정지된 후 사용자가 선택할 수 있는 작동의 예를 도시한 도면이다.1 is a schematic block diagram of a dynamic discrete event tree analysis apparatus according to an embodiment of the present invention.
FIG. 2 is a detailed block diagram of the dynamic discrete event tree-based simulation unit shown in FIG. 1 .
FIG. 3 is a detailed block diagram of the analysis processing unit shown in FIG. 1 .
4 is a diagram illustrating an example of configuring and displaying a tree view corresponding to a dynamic discrete event tree according to an embodiment of the present invention.
5 is a diagram illustrating an example of a history graph capable of confirming a change in a variable value of a physical module during simulation according to an embodiment of the present invention.
6 is a schematic flowchart of a method for analyzing a dynamic discrete event tree according to an embodiment of the present invention.
7 is a schematic flowchart of a method for analyzing a dynamic discrete event tree according to another embodiment of the present invention.
8 is a diagram illustrating an example of a tree view in which the type of an event sequence is displayed in the method for analyzing a dynamic discrete event tree according to an embodiment of the present invention.
9 is a schematic flowchart of a method for analyzing a dynamic discrete event tree according to another embodiment of the present invention.
10 is a diagram illustrating an example of an operation that a user can select after a simulation is stopped at a branch point t 2 according to another embodiment of the present invention.
아래에서는 첨부한 도면을 참고로 하여 본 발명의 실시예에 대하여 본 발명이 속하는 기술 분야에서 통상의 지식을 가진 자가 용이하게 실시할 수 있도록 상세히 설명한다. 그러나 본 발명은 여러 가지 상이한 형태로 구현될 수 있으며 여기에서 설명하는 실시예에 한정되지 않는다. 그리고 도면에서 본 발명을 명확하게 설명하기 위해서 설명과 관계없는 부분은 생략하였으며, 명세서 전체를 통하여 유사한 부분에 대해서는 유사한 도면 부호를 붙였다Hereinafter, embodiments of the present invention will be described in detail with reference to the accompanying drawings so that those of ordinary skill in the art to which the present invention pertains can easily implement them. However, the present invention may be embodied in several different forms and is not limited to the embodiments described herein. And in order to clearly explain the present invention in the drawings, parts irrelevant to the description are omitted, and similar reference numerals are attached to similar parts throughout the specification.
명세서 전체에서, 어떤 부분이 어떤 구성요소를 "포함"한다고 할 때, 이는 특별히 반대되는 기재가 없는 한 다른 구성요소를 제외하는 것이 아니라 다른 구성요소를 더 포함할 수 있는 것을 의미한다. 또한, 명세서에 기재된 "…부", "…기", "모듈" 등의 용어는 적어도 하나의 기능이나 동작을 처리하는 단위를 의미하며, 이는 하드웨어나 소프트웨어 또는 하드웨어 및 소프트웨어의 결합으로 구현될 수 있다. Throughout the specification, when a part "includes" a certain component, it means that other components may be further included, rather than excluding other components, unless otherwise stated. In addition, terms such as “…unit”, “…group”, and “module” described in the specification mean a unit that processes at least one function or operation, which may be implemented as hardware or software or a combination of hardware and software. have.
본 발명에서 설명하는 장치들은 적어도 하나의 프로세서, 메모리 장치, 통신 장치 등을 포함하는 하드웨어로 구성되고, 지정된 장소에 하드웨어와 결합되어 실행되는 프로그램이 저장된다. 하드웨어는 본 발명의 방법을 실행할 수 있는 구성과 성능을 가진다. 프로그램은 도면들을 참고로 설명한 본 발명의 동작 방법을 구현한 명령어(instructions)를 포함하고, 프로세서와 메모리 장치 등의 하드웨어와 결합하여 본 발명을 실행한다. The devices described in the present invention are composed of hardware including at least one processor, a memory device, a communication device, and the like, and a program executed in combination with the hardware is stored in a designated place. The hardware has the configuration and capability to implement the method of the present invention. The program includes instructions for implementing the method of operation of the present invention described with reference to the drawings, and is combined with hardware such as a processor and a memory device to execute the present invention.
이하, 본 발명의 실시예에 따른 동적이산사건수목 분석 장치에 대해 설명한다.Hereinafter, a dynamic discrete event tree analysis apparatus according to an embodiment of the present invention will be described.
도 1은 본 발명의 실시예에 따른 동적이산사건수목 분석 장치의 개략적인 구성 블록도이다.1 is a schematic block diagram of a dynamic discrete event tree analysis apparatus according to an embodiment of the present invention.
도 1에 도시된 바와 같이, 본 발명의 실시예에 따른 동적이산사건수목 분석 장치(10)는 동적이산사건수목 기반 시뮬레이션부(100) 및 분석 처리부(200)를 포함한다.As shown in FIG. 1 , the
동적이산사건수목 기반 시뮬레이션부(100)는 복수의 기기들을 포함하는 물리모델의 시뮬레이션을 수행하면서 감시변수 및 제어변수를 수집하고, 수집된 감시변수를 사용하여 분기규칙을 결정하며, 결정된 분기규칙에 기반하여 분기지점을 생성하고, 생성된 분기지점에 기반하여 분기확률 계산 및 제어변수를 변경하며, 계산된 분기확률 및 변경된 제어변수를 이용하여 물리모델의 시뮬레이션을 재수행하여, 물리모델에 대한 동적 신뢰도 평가의 결과인 동적이산사건수목을 생성한다.The dynamic discrete event tree-based
분석 처리부(200)는 동적이산사건수목 기반 시뮬레이션부(100)에서 생성된 동적이산사건수목을 사용하여 동적이산사건수목 기반 시뮬레이션부(100)를 통해 물리모델에 대한 시뮬레이션을 재수행하면서 동적이산사건수목에 대한 분석을 수행할 수 있도록 한다.The
구체적으로, 분석 처리부(200)는 동적이산사건수목에 포함된 모든 사건시퀀스를 전개하고 전개된 사건시퀀스 중에서 선택된 사건시퀀스에 대해서 선택적으로 분석할 수 있도록 하거나, 또는 시뮬레이션 중에 사용자의 개입에 의해 특정 분기를 선택하여 분석할 수 있도록 할 수 있다. 여기서, 사건시퀀스는 시뮬레이션이 시작되어 종료되는데까지의 순서를 지칭한다. 이러한 사건시퀀스는 크게 네 가지로 구분되지만, 사용자가 원하는 종료 상황에 따라 더 세부적으로 분류될 수도 있다.Specifically, the
1) 정상종료(N) : 사건시퀀스가 특정 조건에 도달하는 경우 물리모델로 계산되는 시스템의 상태가 안전하거나 또는 정상적인 상황으로 간주될 수 있도록 종료된 사건시퀀스를 지칭한다.1) Normal termination (N): When the event sequence reaches a specific condition, it refers to an event sequence that is terminated so that the state of the system calculated by the physical model can be considered as a safe or normal situation.
2) 사고종료(D) : 사건시퀀스가 정상종료(N)하지 않은 것으로, 시스템의 상태가 위험하거나 비정상적인 상황으로 간주할 수 있도록 종료된 사건시퀀스를 지칭한다. 이러한 사고종료(D)의 경우, 사용자가 원하는 종료 조건을 추가하여 다양한 종류의 사고종료(D) 형태를 확인할 수도 있다. 두 개 이상의 감시변수를 개별 또는 동시 충족되는 경우 등으로 나누어 종료 조건에 포함시킴으로써 사고시퀀스별 다양한 종료 상황을 반영하는 것이 그 예일 수 있다.2) Accident termination (D): The event sequence is not normally terminated (N), and refers to an event sequence that has been terminated so that the state of the system can be regarded as a dangerous or abnormal situation. In the case of such an accident termination (D), various types of accident termination (D) forms may be checked by adding a termination condition desired by the user. For example, by dividing two or more monitoring variables into cases where they are individually or simultaneously satisfied, etc., and including them in the termination conditions, various termination situations for each accident sequence are reflected.
3) 컷오프종료(C) : 사건시퀀스가 진행됨에 있어 각 분기지점에서는 신뢰도모델에서 계산된 분기확률이 이전 분기의 분기확률과 누적곱으로 계산되어, 사전에 정의된 절삭값(Truncation 또는 컷오프) 이하로 내려가면 개연성이 매우 작다고 판단하여 물리모델의 계산을 종료하는 경우의 사건시퀀스를 지칭한다. 그러나, 이러한 컷오프종료(C)는 시뮬레이션을 멈추지 않고 계속 진행했을 경우, 정상종료(N) 또는 사고종료(D)에 도달할 수 있다.3) End of cutoff (C): At each branch point in the event sequence, the branch probability calculated from the reliability model is calculated as the cumulative product of the branch probability of the previous branch, and is less than or equal to the pre-defined cutoff value (Truncation or cutoff) It refers to the sequence of events in which the calculation of the physical model is terminated when it is judged that the probability is very small. However, this cut-off end (C) may reach a normal end (N) or an accidental end (D) if the simulation is continued without stopping.
4) 미확인종료(U) : 물리모델의 시뮬레이션 과정에서 알 수 없는 이유 또는 입력 오류 등의 이유로 시뮬레이션이 종료되는 경우의 사건시퀀스를 지칭한다. 이러한 미확인종료(U)의 사건시퀀스는 계산 결과를 신뢰할 수 없으므로 분석에서 제외하거나 다시 시뮬레이션을 수행하여 올바른 결과가 도출되도록 할 수 있다.4) Unconfirmed End (U): Refers to the event sequence when the simulation is terminated due to unknown reasons or input errors during the simulation process of the physical model. Since the calculation result is unreliable for the unconfirmed event sequence, it can be excluded from the analysis or the simulation can be performed again so that the correct result is derived.
분석 처리부(200)는 선택적인 사건시퀀스의 재수행과 관련하여, 예를 들어, 전술한 미확인종료(U)에 해당하는 사건시퀀스를 선별하여 재수행시킴으로써 분석을 수행할 수 있다.The
또한, 분석 처리부(200)는 시뮬레이션 수행 중 특정 분기지점에서 시뮬레이션을 정지시킨 후, 해당 시뮬레이션을 완전히 중단시키거나, 또는 공정 운전 조건, 기기 고장 유무, 기기 신뢰도 정보 등과 같은 입력을 수정한 다음 시뮬레이션을 재시작시키거나 종료 시점부터 재개시킬 수 있다.In addition, the
또한, 분석 처리부(200)는 물리모델의 감시변수 중에서 특정 감시변수를 시뮬레이션 시작 시 등록변수로 등록하여 시뮬레이션 종료때까지 계속 감시할 수 있다. 따라서, 시뮬레이션 재수행시 동적이산사건수목 기반 시뮬레이션부(100)는 분석 처리부(200)에서 등록된 등록변수에 대한 값을 분석 처리부(200)에게 지속적으로 제공해야 한다.In addition, the
한편, 분석 처리부(200)는 동적이산사건수목이 나타내는 사건시퀀스들을 구분하기 위해 분기별로 대응하는 분기명을 사용한다. 예를 들어, 각각의 분기들은 자동/수동 분기규칙 번호, 해당 분기규칙으로 발생된 분기 번호 등으로 구성된 분기명에 의해 구분될 수 있다. 따라서, 분기지점까지 거쳐온 분기명을 누적하면 해당 사건시퀀스의 형태를 알 수 있다. 또한, 각각의 분기에 대해 분기시각이 기록되며, 이는 시뮬레이션 시간을 기준으로 기록될 수 있다. On the other hand, the
또한, 분석 처리부(200)는 사용자가 시각적으로 동적이산사건수목의 형태를 볼 수 있도록 디스플레이 등을 통해 대응되는 트리 형태(트리뷰(tree view))로 표시할 수 있다. 따라서, 사용자는 트리 형태로 표시된 동적이산사건수목을 통해 사건시퀀스를 인지하고 원하는 사건시퀀스 또는 분기를 선택하여 재수행시킬 수 있다. 이에 대해서는 추후 구체적으로 설명한다.In addition, the
이하, 전술한 동적이산사건수목 기반 시뮬레이션부(100)에 대해 구체적으로 설명한다.Hereinafter, the aforementioned dynamic discrete event tree-based
도 2는 도 1에 도시된 동적이산사건수목 기반 시뮬레이션부(100)의 구체적인 구성 블록도이다.FIG. 2 is a detailed block diagram of the dynamic discrete event tree-based
도 2에 도시된 바와 같이, 동적이산사건수목 기반 시뮬레이션부(100)는 물리모듈(110), 스케쥴러(120), 진단모듈(130), 기기작동모듈(140), 저장부(150) 및 시뮬레이션 제어부(160)를 포함한다.As shown in FIG. 2 , the dynamic discrete event tree-based
물리모듈(110)은 복수의 기기들을 포함하는 물리모델의 시뮬레이션을 수행하고, 수행된 시뮬레이션에 기반한 감시변수와 제어변수를 수집할 수 있다.The
일례로, 물리모듈(110)은 수집된 감시변수 및 수집된 제어변수를 스케쥴러(120)로 전달하여 진단모듈(130)의 분기규칙 진단을 지원할 수 있다.For example, the
예를 들어, 물리모듈(110)은 물리모델로부터 특정 시간에서의 온도, 압력, 유량, 수위 또는 진동 중 어느 하나와 같은 공정의 상태와 관련된 감시변수를 수집할 수 있다.For example, the
물리모듈(110)은 물리모델로부터 공정을 구성하는 기기의 운전상태와 같은 공정의 운영과 관련된 제어변수를 수집할 수 있다.The
예를 들어, 공정의 운영은 복수의 기기들 중 펌프의 운전률 25% 내지 운전률 50% 중 어느 하나, 밸브의 열림률 25% 내지 열림률 50% 중 어느 하나를 포함할 수 있다.For example, the operation of the process may include any one of a 25% to 50% operating rate of a pump and a 25% to 50% open rate of a valve among a plurality of devices.
또한, 물리모듈(110)은 미리 전달된 분기확률의 절삭 값과 계산된 분기확률을 비교하여 더 낮은 값을 가지면 해당 분기의 시뮬레이션을 종료할 수 있다.In addition, the
또한, 물리모듈(110)은 절삭 값이 계산된 분기확률과 비교하여 더 높은 값을 가지면 계산된 분기확률을 고려하여 상기 해당 분기의 시뮬레이션을 수행할 수 있다.Also, if the cutting value has a higher value compared to the calculated branch probability, the
본 발명의 실시예에 따르면, 물리모듈(110)은 MARS-KS(Multidimensional Analysis of Reactor Safety-Korean Industrial Standards), 스페이스(SPACE), 트레이스(TRACE), 멜코어(MELCOR), MAAP(Modular Accident Analysis Program) 중 어느 하나의 안전해석 코드를 이용하여 생성될 수 있는 물리모델을 포함할 수 있다.According to the embodiment of the present invention, the
예를 들어, 동적이산사건수목에 기반한 시뮬레이션부(100)가 원자력발전소의 물리모델에 대한 시뮬레이션을 수행하는 경우, 물리모델은 MARS-KS, SPACE, TRACE 등의 안전해석 코드로 개발되어 물리모듈(110)에 들어갈 수 있으며, 중대사고를 평가한다면 MELCOR, MAAP 등의 안전해석 코드가 사용될 수 있다.For example, when the
하지만, 물리모델은 반드시 이와 같은 안전해석 코드에 국한되는 것도 아니며 원자력발전소 안전성 평가에만 해당되는 것도 아니다.However, the physical model is not necessarily limited to such a safety analysis code, nor is it limited to nuclear power plant safety evaluation.
이와 같이, 물리모듈(110)은 물리모델을 실행시키고 그 결과물을 스케쥴러(120)와 주고 받는 모듈로서, 물리모델의 감시변수는 실시간으로 물리모듈(110)을 통해 스케쥴러(120)에 전달되어 분기규칙의 진단을 지원할 수 있으며, 반대로 특정 분기규칙이 만족되면 스케쥴러(120)로부터 공정 내의 기기에 대한 제어조치를 전달받고, 이를 물리모델에 전달하여, 물리모델의 시뮬레이션을 지원할 수 있다.As described above, the
스케쥴러(120)는 진단모듈(130)에 의해 결정된 분기규칙에 기반하여 적어도 하나의 분기지점을 생성할 수 있다.The
또한, 스케쥴러(120)는 기기작동모듈(140)에 의해 계산된 분기확률 및 변경된 제어 변수를 물리모듈(110)로 전달하여 물리모듈(110)이 이미 수행된 시뮬레이션을 재수행하도록 지원하고, 저장부(110)에 진단모듈(130)에 의해 결정된 분기규칙을 저장할 수 있다.In addition, the
스케쥴러(120)는 시뮬레이션이 시작되면 물리모듈(110), 진단모듈(130) 및 기기작동모듈(140)과 미리 설정된 시간 스텝마다 통신하여 물리모듈(110), 진단모듈(130) 및 기기작동모듈(140)에서 나온 결과를 공유하고, 미리 설정된 순서에 따라 물리모듈(110), 진단모듈(130) 및 기기작동모듈(140)을 호출할 수 있다.When the simulation starts, the
일례로, 스케쥴러(120)는 특정 시간에서 2개 이상의 분기규칙이 결정될 경우, 특정 시간에 대하여 적용할 분기규칙을 2개 이상의 분기규칙 중 어느 하나로 결정하고, 나머지 분기규칙을 특정 시간 이후의 시간스텝에 적용할 수 있다.For example, when two or more branching rules are determined at a specific time, the
즉, 스케쥴러(120)는 분기규칙이 다수일 경우, 다수의 분기규칙 중 어느 하나의 분기규칙을 결정하여, 결정된 분기규칙부터 순차적으로 시뮬레이션에 적용할 수 있다.That is, when there are a plurality of branching rules, the
스케쥴러(120)는 결정된 분기규칙에 따른 분기지점을 생성할 시, 생성될 분기지점에서 작동할 기기의 수, 단일 기기의 성능, 제어변수의 종류, 복수의 기기들의 동작과 관련된 물리적인 특징, 운전원의 판단에 따른 운전조건에서의 시간과 기기의 동작 또는 공정이 진행되는 동안에 발생될 수 있는 고장모드 중 어느 하나에 따라 분기지점의 개수를 결정하여 결정된 개수의 분기지점을 생성할 수 있다.When the
스케쥴러(120)는 성능 또는 안전 상의 이유로 동일한 기기가 여러 개(예: 3대중 1대 가동, 3대중 2대 가동 등)가 있을 때, 분기지점에서 작동하는 개수에 따라 분기지점을 생성할 수 있다. 이외에도, 스케쥴러(120)는 기기의 다양한 작동 상태에 따라 분기지점을 생성하도록 설정될 수 있다.When there are multiple identical devices (eg, 1 out of 3 operating, 2 out of 3 operating, etc.) for performance or safety reasons, the
또한, 스케쥴러(120)는 미리 설정된 규칙이 아니라 운전원이 판단하여 운전조건이 바뀌는 경우에 대해 운전원이 조치하는 시간(예: 특정 상황이 발생한 다음 10초후, 20초후 등)이 다른 경우, 분기지점을 생성할 수 있다.In addition, the
또한, 스케쥴러(120)는 공정이 진행되는 동안에 발생하는 고장(예: 공정 작동 중에 전원 공급 실패, 특정 펌프의 작동중 정지 등)에 의한 분기지점을 생성할 수 있다. In addition, the
스케쥴러(120)는 변경된 제어변수 및 계산된 분기확률을 물리모듈(110)로 전달할 수 있다.The
스케쥴러(120)는 개별 모듈 간의 정보교환을 담당하고, 필요시 해당 정보를 기반으로 분기를 생성하며 최종적으로 생성된 동적이산사건수목을 저장부(150)에 결과를 저장함으로써 동적이산사건수목 모델 내에서 사고해석을 총괄적으로 관리할 수 있다.The
진단모듈(130)은 물리모듈(110)에 의해 수집된 감시변수를 이용하여 재 수행될 시뮬레이션의 분기지점을 결정하기 위한 분기규칙을 진단 및 결정할 수 있다.The
일례로, 진단모듈(130)은, 자동동작모듈(132)과 수동동작모듈(134)을 포함하고, 자동동작모듈(132)은, 수집된 감시변수의 조건을 미리 설정된 알고리즘에 따라 분기규칙을 진단 및 결정하고, 수동동작모듈(134)은, 자동동작모듈(132)과 동일한 알고리즘을 따르거나 사람의 의사결정을 모사할 수 있는 운전원 모델(operator model)에 기반하여 분기규칙을 진단 및 결정할 수 있다.As an example, the
운전원모델은 수동동작모듈(134)에서 사람의 의사결정을 모사할 수 있는 모델을 포함한다.The operator model includes a model capable of simulating human decision-making in the manual operation module 134 .
진단모듈(130)은 스케쥴러(120)에서 전달된 감시변수를 이용하여 분기규칙을 검토하고, 어떤 분기규칙이 활성화되어야 하는지를 판단할 수 있다.The
기기작동모듈(140)은 스케쥴러(120)에 의해 생성된 적어도 하나의 분기지점에 기반하여 복수의 기기들의 고장 여부 및 운전원의 동작 수행 시점을 고려하여 분기확률을 계산하고, 물리모듈(110)에 의해 수집된 제어변수를 변경할 수 있다.The
일례로, 기기작동모듈(140)은 불린(Boolean) 연산을 통해 할당된 단절집합을 재조합하여 생성된 분기지점에서의 최종 최소단절집합을 도출하여 제어변수를 변경할 수 있다.As an example, the
기기작동모듈(140)은 최종 최소단절집합이 분기지점까지 거쳐온 경로를 추적 가능함에 따라, 분기지점에서 특정 기기의 고장상태가 결정될 경우, 하위 시나리오에 상기 추적된 경로에 대한 정보를 누적 반영하여 제어변수를 변경하고, 기기 고장모드에 따른 고장모드 제어조건을 추가하여 상기 도출된 최종 최소단절집합을 변형함으로써 고장유무에 대한 사용자의 가정사항 기반의 시나리오가 전개되도록 제어변수를 변경할 수 있다. As the
기기작동모듈(140)은 진단모듈(130)에서 특정 분기규칙이 결정되면, 기기의 고장여부를 확인하여 분기확률을 계산하고 물리모델에 부여할 적절한 작동 상태를 설정하기 위해 분기확률을 계산하고, 제어 변수를 변경할 수 있다.When a specific branch rule is determined in the
예를 들어, 기기작동모듈(140)에서 최종적으로 설정된 작동 여부는 스케쥴러(120)를 통해 물리모듈(110)로 전달되어, 물리모델을 통해 일정 시간 스텝동안 계산에 반영될 수 있다.For example, whether the operation finally set in the
저장부(150)는 ROM(Read-Only Memory) 또는 명령을 저장할 수 있는 다른 유형의 정적 저장 장치, 또는 RAM(Random Access Memory) 또는 정보 및 명령을 저장할 수 있는 다른 유형의 동적 저장 장치일 수 있거나, 또는 EEPROM(Electrically Erasable Programmable Read-Only Memory), CD-ROM(Compact Disc Read-Only Memory) 또는 다른 컴팩트 디스크 저장 장치 또는 광 디스크 저장 장치(압축 광 디스크, 레이저 디스크, 광 디스크, 디지털 다용도 디스크, 블루 레이 디스크 등을 포함함), 자기 디스크 저장 매체 또는 다른 자기 저장 장치, 또는 명령 또는 데이터 구조의 형태로 예상 프로그램 코드를 운반하거나 저장할 수 있으면서 컴퓨터에 의해 액세스될 수 있는 임의의 다른 매체일 수 있으며, 이것은 제한되지 않는다.
예를 들어, 저장부(150)는 물리모듈(110)에서 수집된 각종 감시변수 및 제어변수, 각종 분기규칙, 진단모듈(130)에서 결정된 분기규칙, 스케쥴러(120)에서 생성된 분기지점(예를 들어, 분기지점에 대응하는 분기명), 물리모델에 대한 시뮬레이션 결과로 생성된 동적이산사건수목 등을 저장한다. 이외에도, 본 발명의 실시예에서 사용되는 항목에 대해 필요한 경우 추가로 저장될 수 있다.For example, the
시뮬레이션 제어부(160)는 분석 처리부(200)에게 시뮬레이션 결과인 동적이산사건수목에 대한 정보를 제공하고, 분석 처리부(200)의 제어에 따라, 스케쥴러(110)가 동적이산사건수목을 사용한 시뮬레이션을 재수행하도록 하는 제어를 수행한다. 또한, 이러한 시뮬레이션 재수행시 시뮬레이션 수행 중인 정보를 스케쥴러(110)를 통해 전달받아서 분석 처리부(200)로 전달한다. The
이와 같이, 동적이산사건수목 기반 시뮬레이션부(100)는 물리모델에서 감시변수와 제어변수를 획득하거나 변경할 수 있고, 제어변수의 상태에 따라서 동적이산사건수목 방법으로 분기하여 관찰하고 싶은 분야에서는 제한 사항 없이 적용이 가능한 동적이산사건수목에 기반한 공정 안전성 평가를 시뮬레이션할 수 있으며, 또한, 이미 수행된 시뮬레이션에 의해 생성된 동적이산사건수목에 기반하여 시뮬레이션을 재수행하면서 각종의 사건시퀀스에 대한 분석이 수행될 수 있도록 한다.In this way, the dynamic discrete event tree-based
도 3은 도 1에 도시된 분석 처리부(200)의 구체적인 구성 블록도이다.FIG. 3 is a detailed block diagram of the
도 3에 도시된 바와 같이, 분석 처리부(200)는 입출력부(210), 저장부(220), 사건시퀀스 구성부(230), 트리뷰 처리부(240) 및 분석 제어부(250)를 포함한다.As shown in FIG. 3 , the
입출력부(210)는 구체적으로는 입력 장치(212)와 출력장치(214)로 구성되며, 입력 장치(212)는 복수의 방식으로 사용자의 입력을 수신할 수 있다. 예를 들어, 입력 장치(212)는 마우스, 키보드, 터치 스크린, 마이크, 센싱 장치 등일 수 있다. 출력 장치(214)는 복수의 방식으로 정보를 디스플레이하거나 음성을 출력할 수 있다. 예를 들어, 출력 장치(214)는 LCD(Liquid Crystal Display, LCD), LED(Light Emitting Diode, LED) 디스플레이, OLED(Organic Light Emitting Diode) 디스플레이, 스피커 등일 수 있다. The input/
저장부(220)는 동적이산사건수목 기반 시뮬레이션부(100)에서 전달되는 동적이산사건수목, 사건시퀀스 구성부(230)에서 구성된 사건시퀀스 정보, 트리뷰 처리부(240)에서 생성되는 트리뷰 정보, 동적이산사건수목의 시뮬레이션을 위한 초기 설정값, 등록변수 등의 정보를 저장할 수 있다. 이외에도, 본 발명의 실시예에 따른 분석 처리부(200)에서 사용되는 각종의 변수, 단절 값, 제어 값 등에 대해 필요한 경우 저장부(220)에 추가로 저장될 수 있다.The
사건시퀀스 구성부(230)는 동적이산사건수목을 사용하여 개별 사건시퀀스를 식별하여 전체 사건시퀀스를 구성하고, 구성된 사건시퀀스 정보를 저장부(220)에 저장한다. 이러한 사건시퀀스는 전술한 바와 같이, 정상종료(N) 사건시퀀스, 사고종료(D) 사건시퀀스, 컷오프종료(C) 사건시퀀스 및 미확인종료(U) 사건시퀀스로 구분될 수 있다.The event
사건시퀀스 구성부(230)는 사건시퀀스를 구성하는 분기들의 분기명을 사용하여 구성될 수 있다. 사건시퀀스를 구성하는 각각의 분기들은 공정의 상태 발생확률 등과 같은 다양한 정보를 갖고 있다. 각각의 분기들은 자동 수동 분기규칙 번호와 해당 분기규칙으로 발생된 분기 번호를 분기명으로 둔다. 따라서, 해당 분기지점까지 거쳐온 분기명을 누적하면 사건시퀀스의 형태를 알 수 있다. 또한, 각각의 분기는 누적 분기명에 대한 정보를 포함하여 사건시퀀스의 흐름을 알 수 있도록 해 준다. 또한, 각각의 분기는 분기지점에서 분기시각을 기록하며 이 시간은 물리모듈(110)의 시뮬레이션 시간을 기준으로 한다. The event
한편, 조건부 분기확률은 분기지점에서 해당 분기의 발생확률을 의미하며 해당 분기지점까지의 총 분기확률은 사건시퀀스의 발생 확률을 의미하는 것으로, 절삭값과 비교하여 종료 조건을 만족하는지 점검된다. 각각의 분기는 해당 분기지점에서 분기규칙을 구성하는 진단 조건의 충족 현황을 제시하며 이러한 조건들이 만족된 결과로 활성화된 자동 또는 수동 분기규칙 작동현황도 제시할 수 있다. On the other hand, the conditional branch probability means the probability of occurrence of the branch at the branch point, and the total branch probability up to the branch point means the occurrence probability of the event sequence. Each branch presents the status of fulfillment of the diagnostic conditions constituting the branch rule at the branch point, and the operation status of the automatic or manual branch rule activated as a result of these conditions being satisfied can also be presented.
또한, 모든 분기는 물리모듈(110)의 기기작동 상태를 달리 갖추기 때문에 분기별 물리모듈(110)의 기기 작동 및 고장 여부를 알 수 있는 현황 정보를 포함하고 있다. 마지막으로, 등록변수의 값이 포함되며, 이를 통해 사건시퀀스별로 사용자가 원하는 등록변수의 양상을 파악할 수 있다.In addition, since all branches have different device operation states of the
이와 같이, 사건시퀀스를 구성하는 각각의 분기에 대응하여 해당 분기에서의 상태 등을 알 수 있도록 하는 각종의 정보가 함께 저장부(220)에 저장될 수 있다.In this way, in response to each branch constituting the event sequence, various types of information for allowing the status of the branch to be known may be stored together in the
사건시퀀스 구성부(230)는 구성된 사건시퀀스 정보를 사용하여, 분석 제어부(250)로부터의 요청에 따라, 특정 사건시퀀스, 예를 들어, 미확인종료(U) 사건시퀀스를 찾아서 해당 정보를 분석 제어부(250)로 제공할 수 있다.The event
또한, 사건시퀀스 구성부(230)는 구성된 사건시퀀스 정보를 사용하여, 분석 제어부(250)로부터의 요청에 따라, 특정 사건시퀀스에 포함된 특정 분기지점에 대한 정보를 분석 제어부(250)로 제공할 수 있다. 물론, 이러한 정보는 저장부(220)에 저장되어 있어 분석 제어부(250)가 특정 분기지점에 대한 정보를 획득할 수 있으나, 시뮬레이션 도중에 특정 분기지점에 대한 정보는 시뮬레이션 수행과 관련된 정보가 포함될 수 있으므로, 이러한 정보는 시뮬레이션 도중에 사건시퀀스 구성부(230)로부터 획득하는 것이 바람직할 수 있다.In addition, the event
분기지점에 대한 정보는, 예를 들어 다음과 같은 정보를 포함할 수 있으나, 이것으로만 한정되는 것은 아니다.The information on the branch point may include, for example, the following information, but is not limited thereto.
- 분기명 : 예) A_1_1 - Branch name: Ex) A_1_1
- 누적 분기명 : 예) A_1_1-A_2_1-M_1_5-N - Cumulative branch name: Ex) A_1_1-A_2_1-M_1_5-N
- 분기시각 - Quarter time
- 분기확률 - Branch Probability
- 조건부 분기확률 - Conditional branching probability
- 진단규칙별 참/거짓 - True/False by diagnosis rule
- 자동진단 작동현황 - Automatic diagnosis operation status
- 수동진단 작동현황 - Manual diagnosis operation status
- 물리모듈 기기작동 여부(On/Off, Open/Close) - Whether the physical module device works (On/Off, Open/Close)
- 물리모듈 기기작동 여부(0∼100%) - Whether the physical module device works (0-100%)
- 물리모듈 기기고장 여부 - Whether the physical module device is broken
- 등록변수별 값 - Value for each registered variable
또한, 사건시퀀스 구성부(230)는 구성된 사건시퀀스 정보를 사용하여, 분석 제어부(250)로부터의 요청에 따라, 특정 분기지점을 포함하는 상위 사건시퀀스 또는 하위 사건시퀀스 정보를 분석 제어부(250)로 제공할 수 있다.In addition, the event
트리뷰 처리부(240)는, 예를 들어 도 4에 도시된 바와 같이, 동적이산사건수목을 트리 형태(수목 형태)로 구성된 트리뷰로서 분석 제어부(250)로 제공할 수 있다. 이 때, 트리뷰 처리부(240)는 사건시퀀스 구성부(230)에서 구성된 사건시퀀스 정보를 참조하여 트리뷰 내의 사건시퀀스별로 대응하는 정보를 함께 나타낼 수 있다. 예를 들어, 사건시퀀스 종류, 분기명 등이 표시될 수 있다.The tree
트리뷰 처리부(240)는 분석 제어부(250)의 요청에 따라, 사용자에 의해 선택되거나 필터링된 특정 사건시퀀스를 트리뷰 내에 표시하거나, 또는 사용자에 의해 선택된 분기지점을 트리뷰 내에 표시하거나, 또는 사용자에 의해 선택된 분기지점과 관련된 정보를 트리뷰 내에 표시하거나, 또는 사용자에 의해 선택된 분기지점을 기준으로 상위 사건시퀀스 또는 하위 사건시퀀스를 서로 구별되도록 표시하거나, 또는 트리뷰 전체 또는 일부를 확대하거나 축소하여 표시할 수 있으며, 본 발명의 실시예에서는 이것으로만 제한되지 않고, 전술한 작동들 외에 다양한 형태의 트리뷰 처리가 가능할 수 있다.The tree
분석 제어부(250)는 동적이산사건수목 기반 시뮬레이션부(100)에 의해 생성된 동적이산사건수목을 전달받아서 사건시퀀스 구성부(230)를 통해 사건시퀀스로 구성하고, 트리뷰 처리부(240)를 통해 대응하는 트리뷰로 구성하여 입출력부(210)를 통해 사용자에게 표시할 수 있다.The
또한, 분석 제어부(250)는 입출력부(210)를 통한 사용자의 입력에 따라 트리뷰로 표시된 동적이산사건수목에 대해 동적이산사건수목 기반 시뮬레이션부(100)가 시뮬레이션을 재수행하도록 제어할 수 있다. 이 때, 분석 제어부(250)는 입출력부(210)를 통해 입력된 시뮬레이션 초기 설정값, 등록변수 등에 대한 정보를 동적이산사건수목 기반 시뮬레이션부(100)로 전달하여 시뮬레이션 재수행시 사용될 수 있도록 할 수 있다. In addition, the
또한, 분석 제어부(250)는 입출력부(210)를 통해 사용자에게 표시된 트리뷰 상에서의 사용자의 처리 입력에 대응하는 처리를 사건시퀀스 구성부(230) 및 트리뷰 처리부(240)를 통해 수행한 후 그 결과를 입출력부(210)를 통해 표시할 수 있다. 예를 들어, 사용자에 의해 선택되거나 필터링된 특정 사건시퀀스를 트리뷰 내에 표시하거나, 또는 사용자에 의해 선택된 분기지점을 트리뷰 내에 표시하거나, 또는 사용자에 의해 선택된 분기지점과 관련된 정보를 트리뷰 내에 표시하거나, 또는 사용자에 의해 선택된 분기지점을 기준으로 상위 사건시퀀스 또는 하위 사건시퀀스를 서로 구별되도록 표시하거나, 또는 트리뷰 전체 또는 일부를 확대하거나 축소하여 표시할 수 있다.In addition, the
또한, 분석 제어부(250)는 동적이산사건수목 기반 시뮬레이션부(100)에서 진행 중인 시뮬레이션에 대한 수치적인 현황을 제공받아서 입출력부(210)를 통해 상태 창 형태로 표시할 수 있다. In addition, the
예를 들어, 분석 제어부(250)는 시뮬레이션의 시작부터 종료까지의 시간 표시, 시뮬레이션 초기에 설정한 종료 조건 표시, 분기 특성별 또는 종료 상태 유형에 따라 종류별로 생성된 분기 및 사건시퀀스의 개수 표시 등을 상태 창을 통해 제공할 수 있다. 여기서, 시뮬레이션 진행 달성도도 함께 표시될 수 있으며, 이러한 시뮬레이션 진행 달성도는 생성된 분기와 사건시퀀스의 개수를 통해 추정될 수 있다. For example, the
또한, 분석 제어부(250)는 전술한 상태 창을 통해 표시되는 정보 중 수정이 가능한 정보에 대해, 입출력부(210)를 통한 수정 입력을 받아서 동적이산사건수목 기반 시뮬레이션부(100)로 전달하여 진행 중인 시뮬레이션에 반영되도록 할 수 있다. In addition, the
또한, 분석 제어부(250)는 진행중인 시뮬레이션의 사건시퀀스의 원인과 결과 그리고 특성을 파악할 수 있도록 하는 분기 정보를 전술한 상태 창 또는 다른 상태 창을 통해 제공할 수 있다. 이러한 분기 정보로는 감시변수, 분기규칙 진단, 분기 생성, 분기별 기기의 고장 유무 등의 정보를 제공하고 제공된 정보를 수정할 수 있도록 한다. 이 때, 수정된 정보에 대해서는 동적이산사건수목 기반 시뮬레이션부(100)로 전달하여 진행 중인 시뮬레이션에 반영될 수 있도록 할 수 있다. In addition, the
따라서, 사용자는 분기 정보를 표시하는 상태 창을 통해, 특정 분기까지 누적된 데이터 정보를 확인할 수 있고, 이를 통해 충족된 조건이나 초기 입력과 달라진 항목에 대해 구분하여 알 수 있다.Accordingly, the user can check the data information accumulated up to a specific branch through the status window displaying branch information, and through this, it is possible to distinguishly know a condition satisfied or an item different from the initial input.
또한, 분석 제어부(250)는 입출력부(210)를 통해 물리모듈(110)의 변수 값의 변화를 확인할 수 있는 이력 그래프를, 예를 들어 도 5에 도시된 바와 같이, 제공할 수 있다. 즉, 시뮬레이션이 진행되거나 종료되었을 때, 한 개 이상의 사건시퀀스에 대해 물리모듈(110)의 감시변수를 선택하여 변화를 확인할 수 있도록 할 수 있다.In addition, the
선택적으로, 분석 제어부(250)는 사건시퀀스 및 감시변수들을 필터링 기능을 통해 선택적으로 확인할 수 있도록 할 수 있다.Optionally, the
이하, 본 발명의 실시예에 따른 동적이산사건수목의 분석 방법에 대해 설명한다.Hereinafter, a method for analyzing a dynamic discrete event tree according to an embodiment of the present invention will be described.
본 실시예는, 동적이산사건수목 전체에 대해 시뮬레이션이 재수행되는 방법에 대한 것이다. 이하의 동적이산사건수목 전체에 대해 시뮬레이션이 재수행되는 방법은 전술한 동적이산사건수목의 분석 장치(10)에 의해 수행될 수 있다.This embodiment relates to a method in which simulation is re-performed for the entire dynamic discrete event tree. A method of re-executing the simulation for the entire dynamic discrete event tree below may be performed by the above-described dynamic discrete event
설명 전에, 전술한 바와 같이, 본 발명의 실시예에 따른 동적이산사건수목의 분석 방법에서 사용되는 사건시퀀스에 대해 종료 상태에 따라 4가지 종료, 즉 정상종료(N), 사고종료(D), 컷오프종료(C) 및 미확인종료(U)로 구분하는 것을 가정한다.Before the description, as described above, for the event sequence used in the analysis method of the dynamic discrete event tree according to the embodiment of the present invention, there are four types of terminations, namely, normal termination (N), accident termination (D), It is assumed that the cutoff end (C) and the unconfirmed end (U) are divided.
도 6은 본 발명의 실시예에 따른 동적이산사건수목의 분석 방법의 개략적인 흐름도이다.6 is a schematic flowchart of a method for analyzing a dynamic discrete event tree according to an embodiment of the present invention.
도 6을 참조하면, 동적이산사건수목 기반 시뮬레이션부(100)에 의해 수행된 결과로 생성된 동적이산사건수목에 대응하는 트리뷰가 분석 처리부(200)의 입출력부(210)를 통해 표시된다(S100). 예를 들어, 도 4에 도시된 바와 같이, 동적이산사건수목에 대응하는 트리뷰가 표시될 수 있다.Referring to FIG. 6 , a tree view corresponding to the dynamic discrete event tree generated as a result of the execution by the dynamic discrete event tree-based
트리뷰를 통해 표시된 동적이산사건수목에 대한 분석을 위한 시뮬레이션 재수행시 사용될 시뮬레이션 초기값을 변경할 것인지가 판단된다(S110). 이 때, 시뮬레이션 초기값에는 시뮬레이션 종료 조건이 포함될 수 있다.It is determined whether to change the initial simulation value to be used when the simulation is re-performed for analysis of the dynamic discrete event tree displayed through the tree view (S110). In this case, the simulation initial value may include a simulation termination condition.
만약 시뮬레이션 초기값의 변경이 요청되는 경우 시뮬레이션 초기값 중 요청된 초기값에 대해 사용자로부터 입력된 값으로 변경한다(S120).If a change of the initial simulation value is requested, the requested initial value among the initial simulation values is changed to a value input by the user (S120).
시뮬레이션 초기값을 변경하였거나 또는 시뮬레이션 초기값 변경이 없는 경우, 감시변수의 등록이 있는지가 판단된다(S130). 즉, 물리모델의 감시변수 중에서 시뮬레이션 재수행 중에 계속 감시될 감시변수의 등록이 있는지가 판단된다.When the initial simulation value is changed or there is no change in the initial simulation value, it is determined whether the monitoring variable is registered (S130). That is, it is determined whether there is a registration of a monitoring variable to be continuously monitored during simulation re-execution among the monitoring variables of the physical model.
만약 감시변수의 등록이 있는 것으로 판단되면, 사용자에 의해 입력되거나 선택된 감시변수를 등록변수로 등록설정한다(S140).If it is determined that the monitoring variable has been registered, the monitoring variable input or selected by the user is registered and set as the registered variable (S140).
이와 같이, 감시변수의 등록이 있거나 또는 등록이 없는 경우, 동적이산사건수목 기반 시뮬레이션부(100)는 분석 처리부(200)의 제어에 따라 동적이산사건수목에 대한 시뮬레이션의 재수행을 진행한다(S150). In this way, when there is or is not registration of the monitoring variable, the dynamic discrete event tree-based
이와 같이, 시뮬레이션이 진행되면, 진행되는 시뮬레이션에 대응하는 트리뷰가 표시된다(S160). 즉, 시뮬레이션이 진행되는 경과를 알 수 있도록 다양한 방식을 통해 트리뷰가 표시될 수 있다. 이 때, 표시되는 트리뷰, 특히 트리부 내의 분기지점에는 분기지점에 대한 정보, 예를 들어, 분기명, 분기시간, 분기확률 등의 정보가 함께 표시될 수 있다. 또한, 트리뷰와 함께 시뮬레이션의 진행 상태를 알 수 있도록 하는 상태 창, 등록변수의 상태를 확인할 수 있는 상태 창, 감시변수의 변화를 확인할 수 있는 이력 그래프 등이 표시될 수 있다. 이러한 상태 창은 통합적으로 하나의 상태 창이거나 또는 각각 다른 창으로 형성될 수 있다.As such, when the simulation proceeds, a tree view corresponding to the ongoing simulation is displayed ( S160 ). That is, the tree view may be displayed in various ways so that the progress of the simulation can be known. At this time, information on the branch point, for example, branch name, branch time, branch probability, etc., may be displayed together in the displayed tree view, particularly, the branch point in the tree part. In addition, along with the tree view, a status window for checking the progress of the simulation, a status window for checking the status of registered variables, and a history graph for checking changes in monitoring variables may be displayed. These status windows may be integrally formed as a single status window or as different windows.
그 후, 시뮬레이션의 종료 조건이 판단되고(S170), 만약 종료 조건이 충족되지 않으면, 종료 조건이 충족될 때까지 시뮬레이션 정보, 예를 들어 분기지점 정보 등을 저장한 후(S180), 시뮬레이션을 계속 진행하는 단계(S150)부터 반복 수행한다.Thereafter, the end condition of the simulation is determined (S170), and if the end condition is not satisfied, the simulation information, for example, branch point information, etc. is stored until the end condition is satisfied (S180), and then the simulation is continued Repeatedly from the proceeding step (S150).
한편, 상기 단계(S170)에서 시뮬레이션의 종료 조건이 충족되면, 시뮬레이션 수행의 결과로 생성된 동적이산사건수목의 정보를 저장하고, 시뮬레이션의 재수행을 종료한다(S190).On the other hand, if the simulation termination condition is satisfied in step S170, information on the dynamic discrete event tree generated as a result of the simulation is stored, and the simulation is re-executed (S190).
이와 같이, 본 발명의 실시예에서는 분기지점을 미리 정하는 방식이 아니라 물리모델을 시뮬레이션한 결과를 실시간으로 반영하여 분기지점을 설정하는 동적이산사건수목에 대한 시뮬레이션을 재수행하면서 분석이 가능하도록 할 수 있다.As such, in the embodiment of the present invention, it is not a method of pre-determining the branch point, but the simulation result of the physical model is reflected in real time to enable analysis while re-executing the simulation for the dynamic discrete event tree that sets the branch point. have.
다음, 본 발명의 다른 실시예에 따른 동적이산사건수목의 분석 방법에 대해 설명한다.Next, a method for analyzing a dynamic discrete event tree according to another embodiment of the present invention will be described.
본 실시예는, 동적이산사건수목의 특정 사건시퀀스에 대해 시뮬레이션이 재수행되는 방법에 대한 것이다. 이하의 동적이산사건수목의 특정 사건시퀀스에 대해 시뮬레이션이 재수행되는 방법은 전술한 동적이산사건수목의 분석 장치(10)에 의해 수행될 수 있다.This embodiment relates to a method in which simulation is re-performed for a specific event sequence of a dynamic discrete event tree. A method of re-executing a simulation for a specific event sequence of the following dynamic discrete event tree may be performed by the above-described dynamic discrete event
도 7은 본 발명의 다른 실시예에 따른 동적이산사건수목의 분석 방법의 개략적인 흐름도이다. 특히, 본 실시예는 동적이산사건수목의 특정 시간시퀀스에 대한 분석을 위한 방법에 해당한다. 7 is a schematic flowchart of a method for analyzing a dynamic discrete event tree according to another embodiment of the present invention. In particular, this embodiment corresponds to a method for analyzing a specific time sequence of a dynamic discrete event tree.
도 7을 참조하면, 동적이산사건수목 기반 시뮬레이션부(100)에 의해 수행된 결과로 생성된 동적이산사건수목에 대응하는 트리뷰가 분석 처리부(200)의 입출력부(210)를 통해 표시된다(S200).Referring to FIG. 7 , a tree view corresponding to the dynamic discrete event tree generated as a result of the operation performed by the dynamic discrete event tree-based
그 후, 트리뷰에서 특정 사건시퀀스의 선택이 있는지가 판단된다(S210). 예를 들어, 도 4와 같이 표시된 트리뷰의 사건시퀀스에서 정상종료(N), 사고종료(D), 컷오프종료(C) 및 미확인종료(U) 중 특정 종료의 사건시퀀스가 선택될 수 있다. 예를 들어, 도 8에 도시된 바와 같이 사건시퀀스의 종료 형태가 표시된 상태에서, 물리모델의 시뮬레이션 과정에서 알 수 없는 이유 또는 입력 오류 등의 이유로 시뮬레이션이 종료되는 경우의 사건시퀀스를 지칭하는 미확인종료(U)의 사건시퀀스가 선택될 수 있다. 이러한 미확인종료(U) 형태의 사건시퀀스의 경우에는 계산의 정확도와 신뢰도가 떨어진다. 따라서, 해당 시퀀스만 별도로 시뮬레이션을 재개하여 누락된 시퀀스를 전개하거나 데이터를 복구할 수 있도록 할 수 있다.Thereafter, it is determined whether there is a selection of a specific event sequence in the tree view (S210). For example, from the event sequence of the tree view displayed as shown in FIG. 4 , an event sequence of a specific end may be selected from among normal end (N), accident end (D), cutoff end (C), and unconfirmed end (U). For example, as shown in FIG. 8 , in a state where the end form of the event sequence is displayed, the unconfirmed end refers to the event sequence when the simulation is terminated due to an unknown reason or an input error during the simulation process of the physical model. The sequence of events in (U) can be selected. In the case of such an unconfirmed (U)-type event sequence, the accuracy and reliability of the calculation are poor. Therefore, the simulation can be restarted separately for only the corresponding sequence, so that the missing sequence can be developed or data can be recovered.
다음, 선택된 특정 사건시퀀스의 종료 시점 이전의 입력 정보를 검토하고 재정비한 후 시뮬레이션이 재개되도록 하기 위해, 시뮬레이션 재개시 사용될 시뮬레이션 초기값을 변경할 것인지가 판단된다(S220). 이 때, 시뮬레이션 초기값에는 시뮬레이션 종료 조건이 포함될 수 있다.Next, in order to restart the simulation after reviewing and rearranging the input information before the end of the selected specific event sequence, it is determined whether to change the initial simulation value to be used when the simulation is restarted (S220). In this case, the simulation initial value may include a simulation termination condition.
만약 시뮬레이션 초기값의 변경이 요청되는 경우 시뮬레이션 초기값 중 요청된 초기값에 대해 사용자로부터 입력된 값으로 변경한다(S230).If a change of the initial simulation value is requested, the requested initial value among the initial simulation values is changed to a value input by the user (S230).
시뮬레이션 초기값을 변경하였거나 또는 시뮬레이션 초기값 변경이 없는 경우, 감시변수의 등록이 있는지가 판단된다(S240). 즉, 물리모델의 감시변수 중에서 시뮬레이션 재수행 중에 계속 감시될 감시변수의 등록이 있는지가 판단된다.If the initial simulation value is changed or there is no change in the initial simulation value, it is determined whether the monitoring variable is registered (S240). That is, it is determined whether there is a registration of a monitoring variable to be continuously monitored during simulation re-execution among the monitoring variables of the physical model.
만약 감시변수의 등록이 있는 것으로 판단되면, 사용자에 의해 입력되거나 선택된 감시변수를 등록변수로 등록설정한다(S250).If it is determined that the monitoring variable is registered, the monitoring variable input or selected by the user is registered and set as the registered variable (S250).
다음, 감시변수의 등록이 있거나 또는 등록이 없는 경우, 선택된 사건시퀀스에 대한 시뮬레이션이 재개된다(S260). Next, when there is registration of the monitoring variable or there is no registration, the simulation of the selected event sequence is restarted (S260).
이와 같이, 시뮬레이션이 재개되면, 진행되는 시뮬레이션에 대응하는 트리뷰가 표시된다(S270). 즉, 선택된 사건시퀀스에 대한 시뮬레이션이 계속 진행되는 경과를 알 수 있도록 트리뷰가 표시될 수 있다. 이 때, 표시되는 트리뷰, 특히 분기지점에는 분기지점에 대한 정보, 예를 들어, 분기명, 분기시간, 분기확률 등의 정보가 함께 표시될 수 있다. 또한, 트리뷰와 함께 시뮬레이션의 진행 상태를 알 수 있도록 하는 상태 창, 등록변수의 상태를 확인할 수 있는 상태 창, 감시변수의 변화를 확인할 수 있는 이력 그래프 등이 표시될 수 있다. 이러한 상태 창은 통합적으로 하나의 상태 창이거나 또는 각각 다른 창으로 형성될 수 있다.As such, when the simulation is resumed, a tree view corresponding to the ongoing simulation is displayed ( S270 ). That is, the tree view may be displayed so that the progress of the simulation for the selected event sequence can be known. At this time, information on the branch point, for example, branch name, branch time, branch probability, etc., may be displayed together in the displayed tree view, particularly the branch point. In addition, along with the tree view, a status window for checking the progress of the simulation, a status window for checking the status of registered variables, and a history graph for checking changes in monitoring variables may be displayed. These status windows may be integrally formed as a single status window or as different windows.
그 후, 시뮬레이션의 종료 조건이 판단되고(S280), 만약 종료 조건이 충족되지 않으면, 종료 조건이 충족될 때까지 시뮬레이션 정보, 예를 들어 분기지점 정보 등을 저장한 후(S290), 특정 사건시퀀스에 대한 시뮬레이션을 계속 진행하는 단계(S260)부터 반복 수행한다.Thereafter, the end condition of the simulation is determined (S280), and if the end condition is not satisfied, the simulation information, for example, branch point information, etc. is stored until the end condition is satisfied (S290), and then the specific event sequence It repeats from the step (S260) of continuing the simulation for .
한편, 상기 단계(S280)에서 시뮬레이션의 종료 조건이 충족되면, 시뮬레이션 수행의 결과로 생성된 동적이산사건수목의 정보를 저장하고, 선택된 사건시퀀스에 대한 시뮬레이션의 계속 진행을 종료한다(S295).Meanwhile, if the simulation termination condition is satisfied in step S280, information on the dynamic discrete event tree generated as a result of the simulation is stored, and the simulation for the selected event sequence is terminated (S295).
이와 같이, 본 발명의 실시예에서는 사건시퀀스 중에서 특정 사건시퀀스를 선별하고 해당 사건시퀀스의 종료 시점 이전의 입력 자료를 검토 및 재정비한 후 재계산을 수행할 수 있도록 함으로써 특정 사건시컨스에 대한 분석이 가능하다.As such, in an embodiment of the present invention, a specific event sequence is selected from among the event sequences, and input data before the end of the event sequence is reviewed and rearranged, and then re-calculation can be performed to analyze a specific event sequence. do.
다음, 본 발명의 또 다른 실시예에 따른 동적이산사건수목의 분석 방법에 대해 설명한다.Next, a method for analyzing a dynamic discrete event tree according to another embodiment of the present invention will be described.
본 실시예는, 동적이산사건수목의 특정 분기지점에서 시뮬레이션의 정지 후 재개되는 방법에 대한 것이다. 이하의 동적이산사건수목의 특정 사건시퀀스에 대해 시뮬레이션이 재수행되는 방법은 전술한 동적이산사건수목의 분석 장치(10)에 의해 수행될 수 있다.This embodiment relates to a method for restarting the simulation after stopping at a specific branch point of a dynamic discrete event tree. A method of re-executing a simulation for a specific event sequence of the following dynamic discrete event tree may be performed by the above-described dynamic discrete event
도 9는 본 발명의 또 다른 실시예에 따른 동적이산사건수목의 분석 방법의 개략적인 흐름도이다.9 is a schematic flowchart of a method for analyzing a dynamic discrete event tree according to another embodiment of the present invention.
도 9를 참조하면, 동적이산사건수목에 대응하는 트리뷰가 표시되고, 트리뷰를 통해 표시된 동적이산사건수목에 대한 분석을 위한 시뮬레이션 재수행시 사용될 시뮬레이션 초기값의 변경과 감시변수의 등록 후 시뮬레이션을 재수행하면서 대응하는 트리뷰를 표시하는 단계(S300 ∼ S360)는 도 6을 참조하여 설명한 전술한 단계(S100 ∼ S160)와 동일하므로 설명의 편의를 위해 여기에서는 구체적인 설명을 생략한다.Referring to FIG. 9 , a tree view corresponding to the dynamic discrete event tree is displayed, and the simulation is performed after changing the initial simulation value to be used when re-executing the simulation for analysis of the dynamic discrete event tree displayed through the tree view and registering the monitoring variable. Since the steps ( S300 to S360 ) of displaying the corresponding tree view while re-performing are the same as the above-described steps ( S100 to S160 ) described with reference to FIG. 6 , a detailed description is omitted here for convenience of description.
이와 같이, 시뮬레이션이 진행되면서 대응하는 트리뷰가 표시되고 있는 상태에서 특정 분기지점이 선택되는지가 판단된다(S370). 예를 들어, 도 10에 도시된 바와 같이, 시뮬레이션이 분기지점 t2에 도달한 상태 또는 도달하기 전에, 사용자에 의해 트리뷰에서 분기지점 t2가 선택될 수 있다.As such, it is determined whether a specific branch point is selected while the corresponding tree view is displayed as the simulation proceeds ( S370 ). For example, as shown in FIG. 10 , the branch point t 2 may be selected in the tree view by the user before or after the simulation reaches the branch point t 2 .
만약 특정 분기지점이 선택되는 경우 선택된 분기지점에서 시뮬레이션을 정지시킨 후(S380), 시뮬레이션을 종료할 것인지, 시뮬레이션의 입력값을 수정할 것인지, 또는 시뮬레이션을 재개할 것인지가 판단된다. 이러한 판단은 도 10에 도시된 바와 같이, 트리뷰의 선택된 분기지점 t2 상에 “재개?”,“종료?”, “입력값 수정?”등을 표시하고, 이러한 표시를 통한 사용자의 선택 입력에 의해 수행될 수 있다. If a specific branch point is selected, after stopping the simulation at the selected branch point (S380), it is determined whether to end the simulation, correct the input value of the simulation, or restart the simulation. As shown in FIG. 10, “Resume?”, “End?”, “Modify input?”, etc. are displayed on the selected branch point t 2 of the tree view, and the user's selection input through such display can be performed by
구체적으로는, 먼저 시뮬레이션의 종료가 판단된다(S390). 만약 시뮬레이션을 종료하는 것이 아닌 것으로 판단되면, 입력값의 수정이 판단된다(S400). 만약 입력값을 수정하는 것으로 판단되면, 공정 운전 조건, 기기 고장 유무, 기기 신뢰도 정보 등과 같은 입력값에 대해 사용자의 입력에 따른 수정을 수행한다(S410).Specifically, first, it is determined that the simulation ends (S390). If it is determined that the simulation does not end, it is determined that the input value is corrected (S400). If it is determined that the input value is to be corrected, the input value such as process operation conditions, equipment failure, and equipment reliability information is corrected according to the user's input (S410).
입력값을 수정한 후에는 분기지점에서 정지된 시뮬레이션을 재개할 것인지가 판단된다(S420).After correcting the input value, it is determined whether to resume the simulation stopped at the branch point (S420).
만약 분기지점에서 정지된 시뮬레이션을 재개하는 것으로 사용자의 선택이 있는 경우에는 수정된 입력값을 사용하여 선택된 분기지점에서부터 다시 시뮬레이션을 재개하도록 상기 단계(S350)부터 반복 수행한다. If there is a user's selection to resume the simulation stopped at the branch point, the above step (S350) is repeated to resume the simulation from the selected branch point using the modified input value.
그러나, 분기지점에서 정지된 시뮬레이션을 재개하는 선택이 없으면, 시뮬레이션의 종료부터 다시 판단되는 상기 단계(S390)부터 재수행된다. 물론 이러한 시퀀스는 순서가 정해져 있는 것이 아니고 응용에 따라 다양한 형태로 변경하여 적용될 수 있다.However, if there is no selection to resume the simulation stopped at the branch point, the process is re-performed from the step S390, which is determined again from the end of the simulation. Of course, such a sequence is not in a fixed order and may be changed and applied in various forms according to applications.
만약 상기 단계(S390)에서 시뮬레이션의 종료가 판단되는 경우에는 수행된 시뮬레이션 정보, 예를 들어 동적이산사건수목 등의 정보를 저장한 후 시뮬레이션을 종료한다(S430).If the end of the simulation is determined in step S390, information on the performed simulation, for example, information such as a dynamic discrete event tree, is stored and then the simulation is terminated (S430).
한편, 상기 단계(S370)에서 분기지점이 선택되지 않은 경우에는 시뮬레이션의 종료 조건이 판단되고(S440), 만약 종료 조건이 충족되지 않으면, 종료 조건이 충족될 때까지 시뮬레이션 정보, 예를 들어 분기지점 정보 등을 저장한 후(S450), 시뮬레이션을 계속 진행하는 단계(S350)부터 반복 수행한다.On the other hand, if a branch point is not selected in step S370, a simulation end condition is determined (S440). If the end condition is not satisfied, simulation information, for example, a branch point After storing the information (S450), it is repeatedly performed from the step (S350) of continuing the simulation.
한편, 상기 단계(S440)에서 시뮬레이션의 종료 조건이 충족되면, 시뮬레이션 수행의 결과로 생성된 동적이산사건수목의 정보를 저장하고, 시뮬레이션의 재수행을 종료한다(S430).Meanwhile, if the simulation termination condition is satisfied in step S440, information on the dynamic discrete event tree generated as a result of the simulation is stored and the simulation is re-executed (S430).
이와 같이, 본 발명의 실시예에서는 시뮬레이션을 수행하는 중에 목적에 따라 특정 분기지점에서 시뮬레이션을 정지시킨 후 시뮬레이션을 종료시키거나 각종 입력값을 수정한 다음 시뮬레이션을 재개할 수 있으므로, 미세하고 정교한 동적이산사건수목 기반 분석을 수행할 수 있다.As described above, in the embodiment of the present invention, the simulation can be stopped at a specific branch point and then the simulation can be terminated or the simulation can be resumed after various input values are corrected according to the purpose during the simulation. Event tree-based analysis can be performed.
이상에서 설명한 본 발명의 실시예는 장치 및 방법을 통해서만 구현이 되는 것은 아니며, 본 발명의 실시예의 구성에 대응하는 기능을 실현하는 프로그램 또는 그 프로그램이 기록된 기록 매체를 통해 구현될 수도 있다.The embodiment of the present invention described above is not implemented only through the apparatus and method, but may be implemented through a program for realizing a function corresponding to the configuration of the embodiment of the present invention or a recording medium in which the program is recorded.
이상에서 본 발명의 실시예에 대하여 상세하게 설명하였지만 본 발명의 권리범위는 이에 한정되는 것은 아니고 다음의 청구범위에서 정의하고 있는 본 발명의 기본 개념을 이용한 당업자의 여러 변형 및 개량 형태 또한 본 발명의 권리범위에 속하는 것이다.Although the embodiments of the present invention have been described in detail above, the scope of the present invention is not limited thereto. is within the scope of the right.
Claims (15)
복수의 기기들 및 운전원 동작 수행 시점을 포함하는 물리모델의 시뮬레이션을 수행하면서 감시변수 및 제어변수를 수집하고, 수집된 감시변수를 사용하여 분기규칙을 결정하며, 결정된 분기규칙에 기반하여 분기지점을 생성하고, 생성된 분기지점에 기반하여 분기확률 계산 및 상기 제어변수를 변경하며, 계산된 분기확률 및 변경된 제어변수를 이용하여 상기 물리모델의 시뮬레이션을 재수행하여, 상기 물리모델에 대한 동적 신뢰도 평가의 결과인 동적이산사건수목을 생성하는 시뮬레이션부, 그리고
상기 시뮬레이션부에서 생성된 동적이산사건수목을 사용하여 상기 시뮬레이션부를 통해 상기 물리모델에 대한 시뮬레이션을 재수행하면서 상기 생성된 동적이산사건수목에 대한 분석을 수행할 수 있도록 하는 분석 처리부
를 포함하며,
상기 시뮬레이션부는 상기 분석 처리부의 제어에 따라 상기 감시변수 및 제어변수와 상기 분기지점에서의 시뮬레이션 진행 정보를 상기 분석 처리부로 제공하고, 상기 분석 처리부는 상기 동적이산사건수목에 대응하는 트리뷰(tree view)를 표시하고, 표시된 트리뷰를 통한 사용자의 선택에 따라 상기 시뮬레이션부에 의한 상기 동적이산사건수목에 대한 시뮬레이션의 재수행을 제어하는,
동적이산사건수목의 분석 장치.As an analysis device for dynamic discrete event trees,
Monitoring variables and control variables are collected while performing a simulation of a physical model including a plurality of devices and the timing of operation of the operator, and a branch rule is determined using the collected monitoring variables, and a branch point is determined based on the determined branch rule. generated, calculating branching probability and changing the control variable based on the generated branching point, and re-executing the simulation of the physical model using the calculated branching probability and the changed control variable to evaluate the dynamic reliability of the physical model A simulation unit for generating the resulting dynamic discrete event tree, and
An analysis processing unit configured to perform analysis on the generated dynamic discrete event tree while re-executing the simulation on the physical model through the simulation unit using the dynamic discrete event tree generated by the simulation unit
includes,
The simulation unit provides the monitoring variable and the control variable and the simulation progress information at the branch point to the analysis processing unit under the control of the analysis processing unit, and the analysis processing unit provides a tree view corresponding to the dynamic discrete event tree. ) and controlling the re-performance of the simulation for the dynamic discrete event tree by the simulation unit according to the user's selection through the displayed tree view,
Analysis device for dynamic discrete event trees.
상기 시뮬레이션부는,
상기 물리모델의 시뮬레이션을 수행하면서 상기 감시변수 및 상기 제어변수를 수집하는 물리모듈,
상기 감시변수를 이용하여 상기 시뮬레이션의 분기지점을 결정하기 위한 분기규칙을 결정하는 진단모듈,
상기 분기규칙에 기반하여 적어도 하나의 분기지점을 생성하는 스케쥴러,
상기 적어도 하나의 분기지점에 기반하여 상기 복수의 기기들의 고장 여부 및 상기 운전원 동작 수행 시점과 관련된 분기확률을 계산하고, 상기 제어변수를 변경하는 기기작동모듈, 그리고
상기 분석 처리부에게 시뮬레이션 결과인 동적이산사건수목에 대한 정보를 제공하고, 상기 분석 처리부의 제어에 따라, 상기 스케쥴러가 동적이산사건수목을 사용한 시뮬레이션을 재수행하도록 하는 제어를 수행하며, 상기 시뮬레이션 재수행시 시뮬레이션 수행 중인 정보를 상기 스케쥴러를 통해 전달받아서 상기 분석 처리부로 전달하는 시뮬레이션 제어부
를 포함하며,
상기 스케쥴러는, 상기 분기확률 및 변경된 제어 변수를 상기 물리모듈로 전달하여 상기 물리모듈이 상기 시뮬레이션을 재수행하여 상기 시뮬레이션 결과인 동적이산사건수목을 생성하도록 지원하는,
동적이산사건수목의 분석 장치.According to claim 1,
The simulation unit,
A physics module that collects the monitoring variable and the control variable while performing the simulation of the physical model;
a diagnostic module for determining a branch rule for determining a branch point of the simulation using the monitoring variable;
a scheduler that generates at least one branch point based on the branch rule;
a device operation module configured to calculate a branch probability related to whether the plurality of devices have failed and a timing of performing the operator's operation based on the at least one branch point, and to change the control variable; and
providing information on a dynamic discrete event tree that is a simulation result to the analysis processing unit, and controlling the scheduler to re-execute a simulation using the dynamic discrete event tree according to the control of the analysis processing unit, and when the simulation is re-performed A simulation control unit that receives information being simulated through the scheduler and transmits it to the analysis processing unit
includes,
The scheduler transmits the branching probability and the changed control variable to the physics module to support the physics module to re-perform the simulation to generate a dynamic discrete event tree that is the simulation result,
Analysis device for dynamic discrete event trees.
상기 분석 처리부는,
상기 동적이산사건수목을 구성하는 개별 사건시퀀스를 식별하여 전체 사건시퀀스를 구성하는 사건시퀀스 구성부,
상기 사건시퀀스 구성부에 의해 구성되는 전체 사건시퀀스를 트리뷰로 구성하여 표시하는 트리뷰 처리부, 그리고
상기 시뮬레이션부로부터 동적이산사건수목을 전달받아서 상기 사건시퀀스 구성부로 전달하여 사건시퀀스를 구성하고, 구성된 사건시퀀스에 대해 상기 트리뷰 처리부를 통해 대응하는 트리뷰로 구성하여 표시되도록 한 후, 상기 트리뷰를 통한 사용자의 선택에 따라 상기 시뮬레이션부를 제어하여 대응하는 시뮬레이션을 재수행시키는 분석 제어부
를 포함하는, 동적이산사건수목의 분석 장치.According to claim 1,
The analysis processing unit,
an event sequence constructing unit that identifies individual event sequences constituting the dynamic discrete event tree and composes the entire event sequence;
a tree view processing unit configured to display the entire event sequence constituted by the event sequence composing unit in a tree view; and
After receiving the dynamic discrete event tree from the simulation unit and transmitting it to the event sequence construction unit, an event sequence is configured, and the configured event sequence is configured and displayed in a tree view corresponding to the tree view processing unit, and then the tree view An analysis control unit that controls the simulation unit according to a user's selection through
Including, dynamic discrete event tree analysis device.
상기 사건시퀀스는 하나 이상의 분기로 구성되고, 각각의 분기는 분기명을 사용하며, 각각의 사건시퀀스는 구성된 분기의 분기명의 누적을 통해 사건시퀀스 형태가 결정될 수 있는,
동적이산사건수목의 분석 장치.4. The method of claim 3,
The event sequence consists of one or more branches, each branch uses a branch name, and each event sequence has an event sequence form that can be determined through accumulation of branch names of the configured branches,
Analysis device for dynamic discrete event trees.
상기 사건시퀀스 구성부는 전체 사건시퀀스 중에서 미리 설정된 형태의 사건시퀀스를 검색할 수 있고, 검색된 사건시퀀스에 대해 상기 트리뷰 처리부가 상기 트리뷰 상에 표시할 수 있는,
동적이산사건수목의 분석 장치.4. The method of claim 3,
The event sequence configuration unit can search for an event sequence in a preset form among the entire event sequence, and the tree view processing unit can display the searched event sequence on the tree view,
Analysis device for dynamic discrete event trees.
상기 분석 제어부는 상기 검색된 사건시퀀스에 대해 상기 시뮬레이션부를 통한 시뮬레이션의 재수행이 진행되도록 하는,
동적이산사건수목의 분석 장치.6. The method of claim 5,
The analysis control unit is configured to re-perform the simulation through the simulation unit with respect to the searched event sequence,
Analysis device for dynamic discrete event trees.
상기 분석 제어부는 상기 시뮬레이션부를 통한 시뮬레이션 중에 상기 트리뷰를 통한 상기 사용자의 분기지점 선택이 있는 경우, 상기 분기지점에서의 시뮬레이션을 정지시킨 후, 상기 사용자의 선택에 따라 상기 시뮬레이션을 종료하거나, 또는 입력값의 수정을 수행하거나, 또는 상기 시뮬레이션을 재개하는 처리를 수행하는,
동적이산사건수목의 분석 장치.4. The method of claim 3,
When the user selects a branch point through the tree view during simulation through the simulation unit, the analysis control unit stops the simulation at the branch point and ends the simulation according to the user's selection, or input performing a correction of a value, or performing a process of resuming the simulation;
Analysis device for dynamic discrete event trees.
상기 입력값은 상기 분기지점에서의 공정 운전 조건, 기기 고장 유무 및 기기 신뢰도 정보를 포함하는,
동적이산사건수목의 분석 장치.8. The method of claim 7,
The input value includes process operation conditions at the branch point, whether there is a device failure, and device reliability information,
Analysis device for dynamic discrete event trees.
상기 트리뷰 처리부는 상기 사용자에 의해 선택된 분기지점을 상기 트리뷰 내에 표시하거나, 또는 상기 사용자에 의해 선택된 분기지점에 대응하는 정보를 상기 분기지점에 대응하도록 상기 트리뷰 내에 표시하거나, 또는 상기 사용자에 의해 선택된 분기지점을 기준으로 상위 사건시퀀스 또는 하위 사건시퀀스를 서로 구별되도록 표시하거나, 또는 상기 트리뷰 전체 또는 일부를 확대하거나 축소하여 표시하는,
동적이산사건수목의 분석 장치.4. The method of claim 3,
The tree view processing unit displays the branch point selected by the user in the tree view, or displays information corresponding to the branch point selected by the user in the tree view to correspond to the branch point, or to the user Displaying the upper event sequence or lower event sequence to be distinguished from each other based on the branch point selected by the
Analysis device for dynamic discrete event trees.
상기 분석 처리부는 상기 시뮬레이션 진행시 감시될 감시변수가 등록변수로 등록되는 경우, 상기 시뮬레이션 진행 중에 상기 등록변수의 상태를 상태 창을 통해 표시하거나, 또는 상기 등록변수에 대한 상태 변화를 이력 그래프를 통해 제공하는,
동적이산사건수목의 분석 장치.According to claim 1,
When the monitoring variable to be monitored during the simulation is registered as a registered variable, the analysis processing unit displays the state of the registered variable during the simulation through a status window, or displays a change in the state of the registered variable through a history graph. provided,
Analysis device for dynamic discrete event trees.
복수의 기기들 및 운전원 동작 수행 시점을 포함하는 물리모델의 시뮬레이션을 수행하여 상기 물리모델에 대한 동적 신뢰도 평가의 결과로서 생성된 동적이산사건수목에 대응하는 트리뷰를 표시하는 단계 ― 상기 동적이산사건수목은 상기 물리모델의 시뮬레이션을 수행하면서 감시변수 및 제어변수를 수집하고, 수집된 감시변수를 사용하여 분기규칙을 결정하며, 결정된 분기규칙에 기반하여 분기지점을 생성하고, 생성된 분기지점에 기반하여 분기확률 계산 및 상기 제어변수를 변경하며, 계산된 분기확률 및 변경된 제어변수를 이용하여 상기 물리모델의 시뮬레이션을 재수행함으로써 생성됨 ―, 그리고
상기 트리뷰를 통한 사용자의 선택에 따라 상기 동적이산사건수목을 구성하는 전체 사건시퀀스 또는 일부 사건시퀀스에 대한 시뮬레이션을 재수행하는 단계
를 포함하는 동적이산사건수목의 분석 방법.A method for the analysis device to perform analysis on a dynamic discrete event tree, comprising:
Displaying a tree view corresponding to a dynamic discrete event tree generated as a result of dynamic reliability evaluation for the physical model by performing a simulation of a physical model including a plurality of devices and an operator operation time point - the dynamic discrete event The tree collects monitoring variables and control variables while performing the simulation of the physical model, determines a branching rule using the collected monitoring variables, creates a branching point based on the determined branching rule, and based on the generated branching point to calculate the branch probability and change the control variable, and to re-perform the simulation of the physical model using the calculated branch probability and the changed control variable.
Re-performing the simulation of the entire event sequence or some event sequences constituting the dynamic discrete event tree according to the user's selection through the tree view
Analysis method of dynamic discrete event trees, including.
상기 트리뷰를 표시하는 단계와 상기 시뮬레이션을 재수행하는 단계 사이에,
상기 시뮬레이션의 초기값을 변경하는 단계, 그리고
상기 감시변수 중에서 상기 사용자에 의해 선택되는 감시변수를 등록변수로 등록하는 단계
를 더 포함하고,
상기 시뮬레이션을 재수행하는 단계에서, 상기 등록변수에 대한 상태를 감시하도록 표시하는,
동적이산사건수목의 분석 방법.12. The method of claim 11,
Between the step of displaying the tree view and the step of re-performing the simulation,
changing the initial value of the simulation; and
Registering a monitoring variable selected by the user from among the monitoring variables as a registration variable
further comprising,
In the step of re-performing the simulation, displaying to monitor the state of the registered variable,
Analysis method for dynamic discrete event trees.
상기 시뮬레이션을 재수행하는 단계는,
상기 트리뷰에서 표시되는 사건시퀀스 중에서 사용자에 의해 특정된 사건시퀀스를 검색하는 단계, 그리고
검색된 사건시퀀스에 대한 시뮬레이션을 재수행하는 단계
를 포함하는, 동적이산사건수목의 분석 방법.12. The method of claim 11,
The step of re-performing the simulation is
retrieving an event sequence specified by a user from among the event sequences displayed in the tree view; and
Re-performing the simulation for the searched event sequence
A method for analyzing dynamic discrete event trees, including.
상기 검색된 사건시퀀스에 대한 시뮬레이션은 상기 검색된 사건시퀀스의 종료 시점으로부터 재개되는 시뮬레이션인,
동적이산사건수목의 분석 방법.14. The method of claim 13,
The simulation for the retrieved event sequence is a simulation restarted from the end point of the retrieved event sequence,
Analysis method for dynamic discrete event trees.
상기 시뮬레이션을 재수행하는 단계는,
상기 시뮬레이션의 진행 상태에 대응하는 트리뷰를 표시하는 단계,
상기 트리뷰를 통해 표시된 사건시퀀스의 분기지점 중에서 사용자에 의해 특정 분기지점이 선택되는 경우, 선택된 분기지점에서 상기 시뮬레이션을 정지시키는 단계, 그리고
상기 선택된 분기지점에서, 상기 사용자의 선택에 따라, 상기 시뮬레이션을 종료하거나, 또는 상기 분기지점에서의 입력값을 수정하거나, 또는 상기 시뮬레이션을 재개하는 단계
를 포함하는, 동적이산사건수목의 분석 방법.12. The method of claim 11,
The step of re-performing the simulation is
displaying a tree view corresponding to the progress state of the simulation;
stopping the simulation at the selected branch point when a specific branch point is selected by the user among branch points of the event sequence displayed through the tree view; and
At the selected branch point, according to the user's selection, terminating the simulation, modifying the input value at the branch point, or resuming the simulation
A method for analyzing dynamic discrete event trees, including.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
KR1020200134465A KR102424416B1 (en) | 2020-10-16 | 2020-10-16 | Apparatus for analyzing dynamic discrete event tree and method thereof |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
KR1020200134465A KR102424416B1 (en) | 2020-10-16 | 2020-10-16 | Apparatus for analyzing dynamic discrete event tree and method thereof |
Publications (2)
Publication Number | Publication Date |
---|---|
KR20220050605A KR20220050605A (en) | 2022-04-25 |
KR102424416B1 true KR102424416B1 (en) | 2022-07-21 |
Family
ID=81451824
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
KR1020200134465A KR102424416B1 (en) | 2020-10-16 | 2020-10-16 | Apparatus for analyzing dynamic discrete event tree and method thereof |
Country Status (1)
Country | Link |
---|---|
KR (1) | KR102424416B1 (en) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN116701731B (en) * | 2023-06-08 | 2024-04-05 | 费莱(浙江)科技有限公司 | Dynamic monitoring and early warning method for operation stability in life cycle of motor |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR100197911B1 (en) * | 1996-11-26 | 1999-06-15 | 김징완 | Plant simulation system |
US20080168092A1 (en) * | 2007-01-10 | 2008-07-10 | General Electric Company | Systems and methods for turbine control simulation |
KR101089892B1 (en) * | 2009-06-30 | 2011-12-05 | 한국수력원자력 주식회사 | A system for analyzing the effect of human-induced events on risk/performance using fault trees and turbine cycle simulation and the operation method thereof |
KR102633236B1 (en) * | 2015-09-07 | 2024-02-02 | 쇼어라인 에이에스 | Simulation methods and systems |
-
2020
- 2020-10-16 KR KR1020200134465A patent/KR102424416B1/en active IP Right Grant
Also Published As
Publication number | Publication date |
---|---|
KR20220050605A (en) | 2022-04-25 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US5214577A (en) | Automatic test generation for model-based real-time fault diagnostic systems | |
US5997167A (en) | Programmable controller including diagnostic and simulation facilities | |
CN108021505B (en) | Data online method and device and computer equipment | |
JP4873985B2 (en) | Failure diagnosis device for equipment | |
US20130159774A1 (en) | Dynamic reprioritization of test cases during test execution | |
CN113391943B (en) | Micro-service fault root cause positioning method and device based on cause and effect inference | |
US20130317780A1 (en) | Probability of failure on demand calculation using fault tree approach for safety integrity level analysis | |
US20060230097A1 (en) | Process model monitoring method and system | |
KR20180108446A (en) | System and method for management of ict infra | |
JPH03263227A (en) | Knowledge data base processing system and expert system | |
JPH05151484A (en) | Plant operation assisting device | |
JP2004523843A (en) | System, apparatus and method for diagnosing a flow system | |
US10860012B2 (en) | KPI calculation rule builder for advance plant monitoring and diagnostics | |
KR102141677B1 (en) | Learning data generating apparatus and method for learning model of fault forecast and diagnostic system of power plant | |
KR102424416B1 (en) | Apparatus for analyzing dynamic discrete event tree and method thereof | |
US9372742B2 (en) | System and method for self-healing | |
KR101936240B1 (en) | Preventive maintenance simulation system and method | |
JP7190246B2 (en) | Software failure prediction device | |
EP3932012B1 (en) | Mesh communication network provision | |
Kaalen et al. | Tool-supported dependability analysis of Semi-Markov processes with application to autonomous driving | |
US7246265B2 (en) | Method and system for automatically verifying fault hypotheses predetermined by a user | |
KR102447891B1 (en) | Apparatus for analyzing dynamic discrete event tree capable of applying branch mode according to reliability case and operating method thereof | |
Diaconeasa et al. | Branching rules and quantification based on human behavior in the ADS-IDAC dynamic PRA platform | |
CN115733741B (en) | Abnormal scene test method and device for system to be tested | |
KR102536984B1 (en) | Method and System of Decision-Making for Establishing Maintenance Strategy of Power Generation Facilities |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
E701 | Decision to grant or registration of patent right | ||
GRNT | Written decision to grant |