• Nuclear Engineering and Technology
• /
• 제51권2호
• /
• pp.607-617
• /
• 2019

Global warming and climate change are increasing the intensity of typhoons and hurricanes and thus increasing the risk effects of typhoon and hurricane hazards on nuclear power plants (NPPs). To reflect these changes, a new NPP should be designed to endure design-basis hurricane wind speeds corresponding to an exceedance frequency of $10^{-7}/yr$. However, the short typhoon and hurricane observation records and uncertainties included in the inputs for an estimation cause significant uncertainty in the estimated wind speeds for return periods of longer than 100,000 years. A logic-tree framework is introduced to handle the epistemic uncertainty when estimating wind speeds. Three key parameters of a typhoon wind field model, i.e., the central pressure difference, pressure profile parameter, and radius to maximum wind, are used for constructing logic tree branches. The wind speeds of the simulated typhoons and the probable maximum wind speeds are estimated using Monte Carlo simulations, and wind hazard curves are derived as a function of the annual exceedance probability or return period. A logic tree decreases the epistemic uncertainty included in the wind intensity models and provides reasonably acceptable wind speeds.

• Nuclear Engineering and Technology
• /
• 제50권6호
• /
• pp.854-859
• /
• 2018

Calculating minimal cut sets is a typical quantification method used to evaluate the top event probability for a fault tree. If minimal cut sets cannot be calculated or if the accuracy of the quantification result is in doubt, the Monte Carlo method can provide an alternative for fault tree quantification. The Monte Carlo method for fault tree quantification tends to take a long time because it repeats the calculation for a large number of samples. Herein, proposal is made to improve the quantification algorithm of a fault tree with circular logic. We developed a top-down iteration algorithm that combines the characteristics of the top-down approach and the iteration approach, thereby reducing the computation time of the Monte Carlo method.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 추계학술대회 논문집
• /
• pp.1562-1569
• /
• 2008

In this paper, the study on development of an applicable logic on the characteristics of Rolling stocks will be proposed. In general, this logic which means decision logic or LTA(Logic Tree Analysis) is used to analyze how the failure mode have an effects on the system. The effect would be categorized as safety, operational, economical, etc. To do this, based on the typical logics which have been applied to other industries, such as plants, aero, etc. This paper emphasizes two crucial parameters that is one cost the other customer service, that have an important role in railway system operation. In conclusion, as mentioned above as the logic for which could be effectively applied for the railway system(RST) would be developed.

• 한국통신학회논문지
• /
• 제18권3호
• /
• pp.425-438
• /
• 1993

기존의 논리 프로그램을 병렬로 실행하는 방법들은 병렬화의 제약이 되었던 공유 변수들의 생산변수-사용변수의 의존관계로 인해 서술적인 표현력이 강한 논리 언어에 잠재된 병렬성을 살리지 못했다. 이 논문에서는 공유 변수의 의존 관계를 제거하기 위해 논리 프로그램의 실행을 증명 나무의 생성 단계와 사실을 처리하는 두 단계로 분리하는 방법을 제시한다. 첫단계에서는 변수마다 유일한 번호를 붙여 증명 나무에 생성되는 연구들을 변수 수열로 차별화하고, 사실 처리시 각 변수의 값을 차별화된 변수로 구하여 증명 나무의 성공 여부를 확인할 수 있다. 따라서, 생산 변수가 값을 생산한 후 사용 변수가 있는 술어의 처리가 가능했던 기존의 병렬 처리 방식보다 더 높은 병렬성을 이룰 수 있다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1999년도 하계학술대회 논문집 B
• /
• pp.838-840
• /
• 1999

In this paper, modeling and analysis of discrete event systems by temporal logic frame works and petri net is considered. The reachability tree of the petri net can be used to solve the safeness, boundedness, conservation and coverability problems of discrete event systems. But the reachability tree of the petri net do not solve reachability and liveness problems in general. We proposed a method that synthesised the petri net and the temporal logic frameworks. This method slove some problems of petri net by logical representation of temporal logic frameworks.

• 대한산업공학회지
• /
• 제41권4호
• /
• pp.338-343
• /
• 2015

We suggest a method to configure feature functions of continuous conditional random field (C-CRF). Regression tree and similarity analysis are introduced to construct the first and second feature functions of C-CRF, respectively. Rules from the regression tree are transformed to logic functions. If a logic in the set of rules is true for a data then it returns the corresponding value of leaf node and zero, otherwise. We build an Euclidean similarity matrix to define neighborhood, which constitute the second feature function. Using two feature functions, we make a C-CRF model and an illustrate example is provided.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 추계학술대회 논문집
• /
• pp.1529-1532
• /
• 2007

Failure Mode, Effects, and Criticality Analysis (FMECA) is an extension of FMEA which includes a criticality analysis. The criticality analysis is used to chart the probability of failure modes against the severity of their consequences. The result highlights failure modes with relatively high probability and severity of consequences, allowing remedial effort to be directed where it will produce the greatest value. However, there are several limitations. Measuring severity of failure consequences is subjective and linguistic. Since The result of FMECA only gives qualitative and quantitative informations, it should be re-analysed to prioritize critical units. Fuzzy set theory has been introduced by Lotfi A. Zadeh (1965). It has extended the classical set theory dramatically. Based on fuzzy set theory, fuzzy logic has been developed employing human reasoning process. IF-THEN fuzzy rule based assessment approach can model the expert's decision logic appropriately. Fault tree analysis (FTA) is one of most common fault modeling techniques. It is widely used in many fields practically. In this paper, a simple fault tree analysis is proposed to measure the severity of components. Fuzzy rule based assessment method interprets linguistic variables for determination of critical unit priorities. An rail-way transforming system is analysed to describe the proposed method.

• Nuclear Engineering and Technology
• /
• 제55권1호
• /
• pp.119-130
• /
• 2023

Among the various elements of probabilistic safety assessment (PSA), human failure events (HFEs) and their dependencies are major contributors to the quantification of risk of a nuclear power plant. Currently, the dependency among HFEs is reflected using a post-processing method in PSA, wherein several drawbacks, such as limited propagation of minimal cutsets through the fault tree and improper truncation of minimal cutsets exist. In this paper, we propose a method to model the HFE dependency directly in a fault tree using the if-then-else logic. The proposed method proved to be equivalent to the conventional post-processing method while addressing the drawbacks of the latter. We also developed a software tool to facilitate the implementation of the proposed method considering the need for modeling the dependency between multiple HFEs. We applied the proposed method to a specific case to demonstrate the drawbacks of the conventional post-processing method and the advantages of the proposed method. When applied appropriately under specific conditions, the direct fault-tree modeling of HFE dependency enhances the accuracy of the risk quantification and facilitates the analysis of minimal cutsets.

• 전자공학회논문지C
• /
• 제35C권11호
• /
• pp.1-10
• /
• 1998

휴대용 전자 시스템에 대한 deep submicron VLSI의 출현에 따라 기존의 면적과 성능(지연시간)외에 전력량 감축을 위한 새로운 방식의 CAD 알고리즘이 필요하게 되었다. 본 논문은 논리합성시 기술매핑 단계에서의 전력량 감소를 목적으로 한 논리 게이트 분할(gate decomposition)을 통한 재합성 알고리즘을 소개한다. 기존의 저전력을 위한 논리분할 방식은 Huffman 부호화 방식을 이용하였으나 Huffman code는 variable length를 가지고 있으며 logic depth (회로지연시간)와 글리치에 영향을 미치게 된다. 제안된 알고리즘은 임계경로상에 있지 않은 부회로에 대한 스위칭 동작량을 줄임으로써 logic depth (즉 속도)를 유지하면서 다양한 재구성된 트리를 제공하여 스위칭 동작량을 줄임으로써 전력량을 감축시키는 새로운 게이트분할 알고리즘을 제안한다. 제안된 알고리즘은 zero 게이트 지연시간을 갖는 AND 트리에 대하여 스위칭 동작량이 최소화된 2진 분할 트리를 제공한다. SIS (논리합성기)와 Level-Map (lower power LUT-based FPGA technology mapper)과 비교하여 각각 58%와 8%의 전력 감축효과를 보였다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제16권1호
• /
• pp.27-35
• /
• 2016

Black-box classifiers, such as artificial neural network and support vector machine, are a popular classifier because of its remarkable performance. They are applied in various fields such as inductive inferences, classifications, or regressions. However, by its characteristics, they cannot provide appropriate explanations how the classification results are derived. Therefore, there are plenty of actively discussed researches about interpreting trained black-box classifiers. In this paper, we propose a method to make a fuzzy logic-based classifier using extracted rules from the artificial neural network and support vector machine in order to interpret internal structures. As an object of classification, an anomalous propagation echo is selected which occurs frequently in radar data and becomes the problem in a precipitation estimation process. After applying a clustering method, learning dataset is generated from clusters. Using the learning dataset, artificial neural network and support vector machine are implemented. After that, decision trees for each classifier are generated. And they are used to implement simplified fuzzy logic-based classifiers by rule extraction and input selection. Finally, we can verify and compare performances. With actual occurrence cased of the anomalous propagation echo, we can determine the inner structures of the black-box classifiers.