• 정보처리학회논문지A
• /
• 제8A권1호
• /
• pp.48-55
• /
• 2001

Using BDD, we can represent Boolean functions uniquely and compactly, Hence, BDD have become widely used for CAD applications, such as logic synthesis, formal verification, and etc. The size of the BDD representation for a function is very sensitive to the choice of orderings on the input variables. Therefore, it is very important to find a good variable ordering which minimize the size of the BDD. Since finding an optimal ordering is NP-complete, several heuristic algorithms have been proposed to find good variable orderings. In this paper, we propose a variable ordering algorithm based on the $\mu$O(microcanonical optimization). $\mu$O consists of two distinct procedures that are alternately applied : Initialization and Sampling. The initialization phase is to executes a fast local search, the sampling phase leaves the local optimum obtained in the previous initialization while remaining close to that area of search space. The proposed algorithm has been experimented on well known benchmark circuits and shows superior performance compared to a algorithm based on simulated annealing.

• 한국정보통신학회논문지
• /
• 제20권3호
• /
• pp.654-662
• /
• 2016

사고수목을 이루는 게이트나 기본사상이 많아질수록 정상사상 확률의 정확한 계산이 어려워진다. 이를 극복하기 위해 BDD 방법을 적용하면 중소형 사고수목의 경우 짧은 시간에 근사계산 없이 정확한 값을 구할 수 있다. CUDD 함수를 이용하여 사고수목을 BDD로 변환하고 그로부터 정상사상의 발생확률을 구하는 고장경로 탐색 알고리즘을 고안하였다. 후방탐색 알고리즘은 전방탐색 알고리즘보다 고장경로의 탐색과 확률계산 시간에서 효과적이다. 이 탐색 알고리즘은 BDD에서 고장경로를 찾는데 있어서 탐색시간을 줄일 수 있고, 해당 사고수목의 단절집합과 최소단절집합을 찾는 유용한 방법이다.

• 한국표면공학회:학술대회논문집
• /
• 한국표면공학회 2017년도 춘계학술대회 논문집
• /
• pp.69-69
• /
• 2017

For several decades, industrial processes consume a huge amount of raw water for various objects that consequently results in the generation of large amounts of wastewater. There effluents are mainly treated by conventional technologies such are aerobic, anaerobic treatment and chemical coagulation. But, there processes are not suitable for eliminating all hazardous chemical compounds form wastewater and generate a large amount of toxic sludge. Therefore, other processes have been studied and applied together with these techniques to enhance purification results. These techniques include photocatalysis, absorption, advanced oxidation processes, and ozonation, but also have their own drawbacks. In recent years, electrochemical techniques have received attention as wastewater treatment process that show higher purification results and low toxic sludge. There are many kinds of electrode materials for electrochemical process, among them, boron doped diamond (BDD) attracts attention due to good chemical and electrochemical stability, long lifetime and wide potential window that necessary properties for anode electrode. So, there are many researches about high quality BDD, among them, researches are focused BDD on Si substrate. But, Si substrate is hard to apply electrode application due to the brittleness and low life time. And other substrates are also not suitable for wastewater treatment electrode due to high cost. To solve these problems, Ti has been candidate as substrate in consideration of cost and properties. But there are critical issues about adhesion that must be overcome to apply Ti as substrate. In this study, to overcome this problem, TiN interlayer is introduced between BDD and Ti substrate. TiN has higher electrical and thermal conductivity, melting point, and similar crystalline structure with diamond. The TiN interlayer was deposited by reactive DC magnetron sputtering (DCMS) with thickness of 50 nm, $1{\mu}m$. The microstructure of BDD films with TiN interlayer were estimated by FE-SEM and XRD. There are no significant differences in surface grain size despite of various interlayer. In wastewater treatment results, the BDD electrode with TiN (50nm) showed the highest electrolysis speed at livestock wastewater treatment experiments. It is thought to be that TiN with thickness of 50 nm successfully suppressed formation of TiC that harmful to adhesion. And TiN with thickness of $1{\mu}m$ cannot suppress TiC formation.

• 한국정보통신학회논문지
• /
• 제23권6호
• /
• pp.711-718
• /
• 2019

이진결정도는 고장수목 해석에서 기존의 Boolean Logic 해석법의 잘 알려진 대체 방법이다. 고장수목의 규모가 커짐에 따라 계산에 필요한 컴퓨터 연산시간과 자원이 급격하게 증가한다. 이진결정도로부터 단절집합 및 최소단절 집합을 효과적으로 계산하기 위해 새로운 고장경로 탐색법과 고장경로 재구성 방법이 제안되었다. 고장경로 그룹화와 Bottom-Up 탐색법은 고장경로의 탐색에 효율적임을 증명하였고, 최소단절집합 계산을 위한 단절집합의 비교계산 횟수를 줄이기 위해 경로 재구성 방법을 사용할 수 있음을 증명하였다. 새로 제안된 방법을 적용하고, 기존의 근사확률 공식인 MCUB 확률공식과 동일한 새로운 ASDMP 확률공식을 사용하여 정상사상 확률을 계산 할 수 있다.

• 대한전자공학회논문지SD
• /
• 제37권3호
• /
• pp.48-54
• /
• 2000

이 논문은 임베디드 소프트웨어를 위한 소프트웨어 합성시 don't care 정보를 이용하여 합성된 소프트웨어의 성능을 향상시키기 위한 방법을 제시한다. 임베디드 시스템은 주로 실시간 처리가 요구되는 분야에 사용되기 때문에 매우 까다로운 실시간 및 코드 크기의 제한이 있기 때문에 그에 관한 최적화는 매우 중요하다. 우리는 BDD 기반의 유한상태기계 전달 함수의 표현으로부터 확장된 유한상태기계를 유도하는 소프트웨어 합성의 경우에 돈 케어정보를 추출하고, 그를 이용한 BBD를 최소화하여, 일차적으로는 코드크기를 줄이고 결과적으로는 코드가 실행되는 임베디드 시스템의 성능을 향상시키는 방법을 제안한다. 그러한 방법이 적용된 실험적 결과를 제시하고, don't care 기반의 BDD 최소화와 BDD 변수의 동적 재배열의 결합 등 관련 연구 방향을 제안한다.

• 한국재료학회지
• /
• 제27권3호
• /
• pp.137-143
• /
• 2017

Boron-doped diamond (BDD) electrode has an extremely wide potential window in aqueous and non-aqueous electrolytes, very low and stable background current and high resistance to surface fouling due to weak adsorption. These features endow the BDD electrode with potentially wide electrochemical applications, in such areas as wastewater treatment, electrosynthesis and electrochemical sensors. In this study, the characteristics of the BDD electrode were examined by scanning electron microscopy (SEM) and evaluated by accelerated life test. The effects of manufacturing conditions on the BDD electrode were determined and remedies for negative effects were noted in order to improve the electrode lifetime in wastewater treatment. The lifetime of the BDD electrode was influenced by manufacturing conditions, such as surface roughness, seeding method and rate of introduction of gases into the reaction chamber. The results of this study showed that BDD electrodes manufactured using sanding media of different sizes resulted in the most effective electrode lifetime when the particle size of alumina used was from $75{\sim}106{\mu}m$ (#150). Ultrasonic treatment was found to be more effective than polishing treatment in the test of seeding processes. In addition to this, BDD electrodes manufactured by introducing gases at different rates resulted in the most effective electrode lifetime when the introduced gas had a composition of hydrogen gas 94.5 vol.% carbon source gas 1.6 vol.% and boron source gas 3.9 vol.%.

• 한국표면공학회:학술대회논문집
• /
• 한국표면공학회 2018년도 춘계학술대회 논문집
• /
• pp.51-51
• /
• 2018

산업의 발달 및 인구 증가에 따라 발생되는 폐수의 종류는 다양해지고 있으며, 폐수의 처리를 위해서는 주로 생물학적 처리를 먼저 검토하게 된다. 하지만 최근 폐수의 성분은 생물학적으로 처리하기 어려운 난분해성 요인(고농도의 염분, 독성 유기용매, 중금속 등)이 존재 할 뿐 아니라, 생물학적 처리 후 존재하는 잔류 유기물은 환경부에서 제시하는 방류수 기준을 만족시키기에 어려움이 있다. 이러한 난분해성 요인을 제거하기 위해서 전기 화학적 처리의 필요성이 대두되고 있으며, 다양한 고도산화기술들이 제시되고 있다. 그 중 처리시간의 단축으로 인한 처리비용 절감과 산화제 발생에 따른 높은 처리 효율로 인해 전기화학적 폐수산화처리에 대한 연구가 활발히 진행되고 있는 실정이다. 본 연구에서는 기존에 사용되어 지고 있는 전기화학적 폐수산화처리를 위한 불용성 전극을 BDD 전극으로 대체하여 다양한 폐수에 전기분해 처리 적용 가능성을 검토하고자 기존 BDD 전극의 기판 모재로 이용되던 Si, Nb 대신에 Ti 기판 위에 BDD 형성시켜 전극을 제작하였고, 폐수의 전기분해 적용 가능성을 확인하기 위하여 축산폐수, 해양폐수, 질산염폐수 등 실제 폐수를 채수하여 폐수 내 유기물의 전기분해 처리 효율을 분석하였다. 이에 Ti 모재 기판에 증착된 BDD 전극을 이용하여 폐수 내 유기물의 전기분해 처리효율을 분석 한 결과, 축산폐수의 경우 처리시간 150분에 95% 이상 처리효율을 나타냈으며, 해양폐수의 경우 처리시간 60분에 98% 이상의 유기물 제거 효결과가 나타남에 따라 축산폐수와 선박 평형수, 양식장폐수 등 다양한 폐수에 적용이 가능할 것으로 판단되며, 기존에 적용되어 지고 있는 고도산화처리 기술을 BDD 전극을 이용한 전기화학적 처리로 대체 할 수 있을 것으로 기대할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.37-39
• /
• 2003

본 연구에서는 만족성 검사기를 이용하여 두 유한 상태 기계의 행위가 동치인지를 검사한다. 기존의 동치 검사는 대부분 BDD를 기반으로 했었기 때문에 변수 순서 배열 및 내부 BDD노드 폭발 문제에 시달렸었다. 하지만 여기서는 BDD대신 명제 논리를 이용하기 때문에 위와 같은 문제점을 피할 수 있다. 하지만 논리식을 만족성 검사기의 입력 형태인 논리곱 정규형으로 변환하는 과정에서 절의 3기는 식의 크기에 지수적으로 증가하였다.

• 전자공학회논문지C
• /
• 제34C권2호
• /
• pp.12-18
• /
• 1997

An efficient synthesis method of cellular architecture FPgA is proposed in this paper. To generate a logical representation called complex term which is to be directly mapped onto the cellular architecture FPGA, and SO or ESOP minimization tool was used in previous methods. Instead, we use a logic function transformed into BDD (binary decision diagram) in the actual generation of the complex temrs. In this process it estimates the cost(i.e. the number of complex terms) for three branches, 0-branch and 1-branches. This process is continued over the whole BDD to do such computation, and we observed that the number of complex terms has been reduced compared to the previous results.

• 전자공학회논문지A
• /
• 제30A권12호
• /
• pp.117-124
• /
• 1993

In this paper we propose a new thchnology mapping algorithm for multiplexer-based FPGA's The algorithm consists of three phases` First, it converts the logic functions and the basic logic mocule into BDD's. Second. it covers the logic function with the basic logic modules. Lastly, it reduces the number of basic logic modules used to implement the logic function after going through cell merging procedure. The binate selection is employed to determine the order of input variables of the logic function to constructs the balanced BDD with low level. That enables us to constructs the circuit that has small size and delay time. Technology mapping algorithm of previous work used one basic logic module to implement a two-input or three-input function in logic functions. The algorithm proposed here merges almost all pairs of two-input and three-input functions that occupy one basic logic module. and improves the mapping results. We show the effectiveness of the algorithm by comparing the results of our experiments with those of previous systems.