• 한국정보과학회논문지:시스템및이론
• /
• 제27권12호
• /
• pp.941-950
• /
• 2000

OPKFDD(Ordered Pseudo-Kronecker Functional Decision Diagram)는 각 노드에서 다양한 확장방법(decomposition)을 취할 수 있는 Ordered-DD(Decision Diagram)의 한 종류로서 각 노드마다 Shannon, positive Davio, negative Davio 확장중의 하나를 사용하도록 하며 다른 종류의 DD와 비교해서 작은 수의 노드로 함수를 표현할 수 있다. 그러나 각 노드마다 각기 다른 확장 방법을 선택할 수 있는 특징 때문에 입력 노드에 대한 확장 방법과 입력 변수 순서의 결정에 의해서 OPKFDD의 크기가 좌우되며 최소의 노드 수를 갖는 OPKFDD의 구성은 매우 어려운 문제로 알려져 있다. 즉, OPKFDD에서의 입력변수와 각 노드의 확장 방법을 병행해서 최적의 해를 구하기 위해서는 η개의 입력변수에 대해서 η!.3$^2$$^n$$^{-1}$의 경우의 수를 고려해야 한다. 따라서 본 논문에서는 주어진 불리안 함수를 OPKFDD의 최적화 표현을 위해 노드 수를 기준으로 하여 입력변수 순서와 각 노드의 확장 방법을 함께 고려하는 혼용 유전자 알고리즘을 제안하며 최소의 노드 수를 갖는 OPKFDD를 생성하기 위해서 다양한 파라미터 값에 따른 실험결과를 제시한다.

• Nuclear Engineering and Technology
• /
• 제44권7호
• /
• pp.755-766
• /
• 2012

A Binary Decision Diagram (BDD) is a graph-based data structure that calculates an exact top event probability (TEP). It has been a very difficult task to develop an efficient BDD algorithm that can solve a large problem since its memory consumption is very high. Recently, in order to solve a large reliability problem within limited computational resources, Jung presented an efficient method to maintain a small BDD size by a BDD truncation during a BDD calculation. In this paper, it is first identified that Jung's BDD truncation algorithm can be improved for a more practical use. Then, a more efficient truncation algorithm is proposed in this paper, which can generate truncated BDD with smaller size and approximate TEP with smaller truncation error. Empirical results showed this new algorithm uses slightly less running time and slightly more storage usage than Jung's algorithm. It was also found, that designing a truncation algorithm with ideal features for every possible fault tree is very difficult, if not impossible. The so-called ideal features of this paper would be that with the decrease of truncation limits, the size of truncated BDD converges to the size of exact BDD, but should never be larger than exact BDD.

• 한국정보통신학회논문지
• /
• 제9권8호
• /
• pp.1774-1779
• /
• 2005

본 논문에서는 그래프 이론에 기초를 둔 GFDD를 사용하여 디지털논리시스템을 구성하는 한가지 방법을 제안하였다. 제안한 방법은 먼저 유한체와 그래프 이론의 수학적 성질을 논의하였으며, 단일변수에 대한 동작영역과 함수영역간의 변환을 용이하게 하기 위한 변환행렬 $\psi$GF(P)(1)과 $\xi$GF(P)(1)을 논의하였다. 그리고 디지털스위칭함수를 구하기 위한 Reed-Muller 확장을 논의하였으며, 이를 다변수인 경우로 확장하기 위해 Kronecker Product를 논의하였다.

• Nuclear Engineering and Technology
• /
• 제54권8호
• /
• pp.2933-2940
• /
• 2022

Approximations such as the delete-term approximation, rare event approximation, and minimal cutset upper bound (MCUB) need to be prudently applied for the quantification of a seismic probabilistic safety assessment (PSA) model. Important characteristics of seismic PSA models indicate that preserving the success branches in a primary seismic event tree is necessary. Based on the authors' experience in modeling and quantifying plant-level seismic PSA models, the effects of applying negate-down to the success branches in primary seismic event trees on the quantification results are summarized along with the following three insights gained: (1) there are two competing effects on the MCUB-based quantification results: one tending to increase and the other tending to decrease; (2) the binary decision diagram does not always provide exact quantification results; and (3) it is identified when the exact results will be obtained, and which combination provides more conservative results compared to the others. Complicated interactions occur in Boolean variable manipulation, approximation, and the quantification of a seismic PSA model. The insights presented herein can assist PSA analysts to better understand the important theoretical principles associated with the quantification of seismic PSA models.

• 설비공학논문집
• /
• 제14권2호
• /
• pp.134-142
• /
• 2002

LCC (Life-Cycle Cost) analysis is a practical method and a guideline for evalua-ting the economic performance of building service systems. By using the LCC analysis, the most cost-effective design decision can be made, which has the lowest LCC during the project study period among the various design alternatives. The present case shows an example of appro-priate use of the LCC analysis, by demonstrating the procedures of decision making among at-tarnative building HVAC systems at community center and congress hall of a local government.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2011년도 추계학술대회
• /
• pp.687-688
• /
• 2011

본 논문에서는 최근에 디지털논리시스템의 회로 구현시에 적용되기 시작한 분할설계기법의 한가지 방법을 제안하였다. 기존의 디지털논리회로설계기법은 적용되는 개별소자를 어떻게 효과적이며 효율적으로 이용하느냐 하는 것이 큰 목적이었으나, 최근의 전자공학의 발달과 회로의 집적도가 높아짐에 따라서 디지털논리설계기법은 각각의 모듈을 구성하고 있는 소자들의 개별소자를 사용하는 것보다는 복잡하더라도 좀 더 경제적이고 다기능의 분할설계기법이 요구되고 있다. 이러한 내용을 근간으로 본 논문에서는 효과적인 분할기법을 이용한 스위칭함수구성의 한가지 방법을 제안하였다.

• 품질경영학회지
• /
• 제42권2호
• /
• pp.165-177
• /
• 2014

Purpose: This study analyzes the strategical priority to improve eco-labelling certification system, focused on biodegradable resin. Methods: This study will come up with measures to operate the eco-Label certification system related to biodegradable products more effectively and efficiently by discovering various problems related to the system, using causal loop diagram and AHP analysis. Results: This study shows that the government should play more important role while firms could also serve their roles in the initial and stabilizing stages of the eco-labelling certification system, in order to vitalize the eco-Label certification system more effective. Conclusion: This study addresses strategic eco-labelling policies on governmental and firm's operation and providers guidance to practitioners in addressing strategic decision relating to eco-labelling certification system.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제49권6호
• /
• pp.316-321
• /
• 2000

In this paper, we proposed MBDD(Modified Binary Decision Diagram) as a multi-level logic synthesis method and a vertex of MBDD to NMOS transistors matching. A vertex in MBDD is matched to a set of NMOS transistors. MBDD structure can be achieved through transformation steps from BDD structure. MBDD can represent the same function with less vertices less number of NMOS transistors, consequently capacitance of the circuit can be reduced. Thus the power dissipation can be reduced. We applied MBDD to a full odder and a 4-2compressor. Comparing the 4-2compressor block with other synthesis logic, 31.2% reduction and 19.9% reduction was achieved in numbers of transistors and power dissipation respectively. In this simulation we used 0.8 ${\mu}{\textrm}{m}$ fabrication parameters.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2018년도 춘계 학술논문 발표대회
• /
• pp.159-160
• /
• 2018

The domestic construction industry is changing its preference for demand and supply along with urbanization and economic development. Accordingly, initial risk assessments is more important than before. Currently, the research related to risk analysis except for apartment studies is insufficient. Therefore, the objective is to suggest a basic study on financial analysis model development by applying optimization method in residential officetel. To achieve the objective. first, the previous studies are investigated. Second, the causal loop diagram is structured based on the collected data. Third, the financial model is developed by using optimization method. In the future, the proposed model can be helpful whether or not conduct execution of an officetel development project to the decision makers.

• 한국신뢰성학회:학술대회논문집
• /
• 한국신뢰성학회 2000년도 추계학술대회
• /
• pp.257-267
• /
• 2000

원자력발전소 주요기기의 교체에 대한 경제성평가는 대부분 결정론적 방법으로 수행하고 있으나 불확실성을 가진 입력변수에 따라 결과 값이 매우 가변적일 수 있다. 현실세계의 불확실성을 보다 면밀히 고려하기 위해 확률론적 방법을 활용하고 있다. 본 논문에서는 decision analysis를 이용하여 원자력발전소 기기 교체에 대한 경제성평가를 확률론적 방법으로 수행하였다. Decision analysis는 불확실성과 위험에 직면한 선택을 이끄는 기회를 이성적으로 개선하기 위한 방법론이며, 확률론과 통계이론이 복합되어 있다. Decision analysis의 주요요소는 여러 가지 방안 중 선택한 대안, 선택으로부터 결정된 결과, 그리고 다른 대안과 비교해서 상대적인 우선순위이다. 또한, decision analysis는 값, 불확실성, 그리고 위험도를 구조적으로 통합하는 원리를 제공한다. Decision analysis의 중요한 이점은 이러한 불확실성과 위험도에 대한 처리에 있으며, 모델은 influence diagram과 decision tree를 이용하여 작성한다. 본 논문에서는 decision analysis를 이용하여 국내 A형 원자력발전소 증기발생기의 최적교체시기를 결정하여 보았다. 이러한 방법은 향후 원자력발전소 주요기기의 교체에 관한 경제성평가시 적용할 수 있을 것으로 기대된다.