• Journal of the Korea Society of Computer and Information
• /
• v.20 no.4
• /
• pp.95-102
• /
• 2015

This paper proposes a simple algorithm for circuit minimization. There are currently two effective heuristics for circuit minimization, namely manual Karnaugh maps and computable Quine-McCluskey algorithm. The latter, however, has a major defect: the runtime and memory required grow $3^n/n$ times for every increase in the number of variables n. The proposed algorithm, however, extracts the prime implicants (PI) that cover minterms of a given Boolean function by deriving an implicants table based on frequency. From a set of the extracted prime implicants, the algorithm then eliminates redundant PIs again based on frequency. The proposed algorithm is therefore capable of minimizing circuits polynomial time when faced with an increase in n. When applied to various 3-variable and 4-variable cases, it has proved to swiftly and accurately obtain the optimal solutions.

• Tunnel and Underground Space
• /
• v.26 no.3
• /
• pp.201-211
• /
• 2016

A method for estimating rock joint size distribution using contained traces length distribution from 3D cylindrical window survey was suggested. To reduce the numerical error, an improved technique was applied. The accuracy was verified by referring to Monte-Carlo simulation and it was found that the error can be decreased with suitable gamma values.

• Journal of the Korea Society of Computer and Information
• /
• v.19 no.3
• /
• pp.109-117
• /
• 2014

This paper revises the Quine-McCluskey Algorithm to circuit minimization problems. Quine-McCluskey method repeatedly finds the prime implicant and employs additional procedures such as trial-and-error, branch-and-bound, and Petrick's method as a means of circuit minimization. The proposed algorithm, on the contrary, produces an implicant chart beforehand to simplify the search for the prime implicant. In addition, it determines a set cover to streamline the search for $1^{st}$ and $2^{nd}$ essential prime implicants. When applied to 3-variable and 4-variable experimental data, the proposed algorithm has indeed proved to obtain the optimal solutions much more simply and accurately than the Quine-McCluskey method.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2012.05a
• /
• pp.366-366
• /
• 2012

확률강우량은 하천설계, 수자원설계 및 계획을 위한 기초자료로 활용되며 최근 이상기후 및 기후변화로 인한 극치강우의 빈도 및 양적 증가로 인한 확률강우량 산정의 불확실성 분석에 대한 관심이 크게 증가하고 있다. 수문빈도 해석에 있어서 대부분 지역이 50년 이하의 수문자료가 이용되고 있으며 수문설계에서 요구되는 50년 이상의 확률강수량 추정시에는 상당한 불확실성을 내포하고 있다. 이러한 점에서 본 연구에서는 자료연수에 따른 Sampling Error와 분포형의 매개변수의 불확실성을 고려한 해석모형을 구축하고자 한다. 빈도해석에서 매개변수를 추정하기 위해서는 일반적으로 모멘트법, 최우도법, 확률가중모멘트법이 이용되고 있으나 사용되는 분포형에 따라서 통계학적으로 불확실성 구간을 정량화하는 과정이 난해할 뿐만 아니라 극치 수문자료가 Thick-Tailed분포의 특성을 가짐에도 불구하고 신뢰구간 산정시 정규분포로 가정하는 등 기존 해석 방법에는 많은 문제점을 내포하고 있다. 본 연구에서는 이러한 매개변수의 불확실성 평가에 있어서 우수한 해석능력을 발휘하는 Bayesian기법을 도입하여 분포형의 매개변수를 추정하고 매개변수 추정과 관련된 불확실성을 평가하고자 한다. 이와 별개로 자료연한에 따른 Sampling Error를 추정하기 위해서 Bootstrapping 기반의 해석모형을 구축하고자 하며 최종적으로 빈도해석시에 나타나는 불확실성을 종합적으로 검토하였다. 빈도해석을 위한 확률분포형으로 GEV(generalized extreme value)분포를 이용하였으며 Gibbs 샘플러를 활용한 Bayesian Markov Chain Monte Carlo 모의를 기본 해석모형으로 활용하였다.

• Journal of Environmental Health Sciences
• /
• v.13 no.2
• /
• pp.1-7
• /
• 1987

대기오염과 사망율과의 관련성을 평가하고자 미국내 23개 SMSA(Standard Metropolitan Statistical Areas) 지역에서 대기오염의 程度를 나타내는 指數인 PSI(Pollutant Standards Index), 氣象學的 變數 및 사회 경제적 변수를 이용하여 多變量 分析을 시도하였다. 그 결과 총사망율과의 관련성은 사회경제적변수가 영향이 큰 반면 PSI는 작은 것으로 示俊되었다. 대기오염과 사망율과의 연관성에 관한 평가는 많은 변수의 復雜性이 내포하고 있어 좀더 具體的이고 세밀한 분석이 기대된다.

• The KIPS Transactions:PartA
• /
• v.8A no.3
• /
• pp.253-260
• /
• 2001

It is important to detect races for debugging shared-memoy parallel programs, because the races cause unintended nondeterministic program execution. Previous on-the-fly techniques to detect races can not guarantee the first race detection in nested parallel programs. Detecting the first race is important for debugging parallel programs, since the removal of the first race may make the next occurred races disappear. In this paper, we presents an on-the-fly detection technique to detect all of the first races through the reexecution of the debugged programs. We assume that the debugged parallel program may have one-way nested parallel programs. The number of reexecution is at the least the nesting depth of the program in the worst case. The space complexity is O(VT) and the time complexity to detect race in each access of access history is O(T), where V is number of shared variables and T is the maximum parallelism of the program. This efficiency of our technique in each execution is the same with the previous on-the-fly detection techniques. Therefore, this technique makes debugging parallel programs more effective and practical.

• Journal of KIISE:Computer Systems and Theory
• /
• v.30 no.7_8
• /
• pp.341-351
• /
• 2003

For debugging effectively the shared-memory programs with nested parallelism, it is important to detect efficiently the first races which incur non-deterministic executions of the programs. Previous on-the-fly technique detects the first races in two passes, and shows inefficiencies both in execution time and memory space because the size of an access history for each shared variable depends on the maximum parallelism of program. This paper proposes a new on-the-fly technique to detect the first races in two passes, which is constant in both the number of event comparisons and the space complexity on each access to shared variable because the size of an access history for each shared variable is a small constant. This technique therefore makes on-the-fly race detection more efficient and practical for debugging shared-memory programs with nested parallelism.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.05b
• /
• pp.90-94
• /
• 2005

본 연구의 목적은 현 국내 홍수 예경보시스템에 사용되고 있는 저류함수모형의 매개변수 변화에 따른 유량해석의 불확실성을 평가하는데 있다. 적용 대상지점으로는 개진을 출구로 하는 낙동강 회천유역($747.5km^2$)이며 비교적 양호한 수문자료를 가지고 있는 단일 호우사상을 선정하였다. 불확실성 평가에 사용된 매개변수는 관측수문곡선을 비교적 정확하게 모의하는 경험적인 값을 기준으로 Monte Carlo 기법을 이용하여 각각의 매개변수(K, P, $T_{1},\;f_{l},\;R_{sa}$)에 대한 정규분포를 가지는 100개의 난수를 발생시켜 저류함수 모형으로 모의되는 유량 앙상블을 평가하였다. 최적화된 매개변수를 이용하여 유량해석을 실시한 결과, 각각의 매개변수가 유출해석에 미치는 영향을 파악할 수 있었으며, 그 중 저류상수 K와 포화누가우량 Rsa가 불확실성이 제일 큰 매개변수로 나타났고, 이들의 혼합 앙상블 유출결과도 매우 큰 불확실성을 내포하는 것으로 나타났다.

• Journal of the KSME
• /
• v.30 no.2
• /
• pp.98-106
• /
• 1990

파괴역학은 균열을 다루는 학문이기 때문에 관심의 대상이 항상 균열이다. 따라서 재료내에 균열 이 내재하고 있거나 또는 발생할 가능성이 있어야만 이 학문을 이용 할 수 있다. 그런데 지구상 의 모든 재료는 다행인지 불행인지는 모르데 항상 균열을 내포하고 있다. 그 균열은 초기에는 미소균열이겠지만 사용 중에 언젠가는 거시균열로 성장한다. 거시균열로 성장한 균열을 파괴역 학에서 취급한다. 왜냐하면 최종적인 파괴는 항상 거시적인 균열로부터 일어나기 때문이다. 본 글에서는 파괴역학 분야 중에서 선형 탄성학에 근거한 선형 탄성 파괴역학의 기본 개념과 이 분야에서 취급되는 기본 매개변수에 대하여 간단히 소개하고자 한다.

• Applied Chemistry for Engineering
• /
• v.8 no.3
• /
• pp.389-394
• /
• 1997

The distribution of impurity included in benzene layer crystal was explored in layer crystallization of cyclohexane and benzene mixtures. The influence of crystal growth rate on crystal purity was investigated. All experimental results for bezene-cyclohexane system obtained in layer crystallizer have been evaluated with the criterion of Wintermantel. The purity of crystal decreases with increasing degree of subcooling, decreasing feed concentration and increasing crystal growth rate. The crystal growth rate was a key parameter to determine the inclusion of impurity in crystals. The results obtained from runs performed at increasing crystallization time(i.e. crystal thickness) have clearly shown that migration of inclusions within crystal layer to the melt, leading to the removal of impurity occurs. The diffusion of impurity which takes place during the crystallization from the beginning, enhances a further purification of the crystal layer if that underwent a thermal gradient after growth of the layer crystal stops.