• Journal of the KSME
• /
• v.32 no.5
• /
• pp.441-455
• /
• 1992

NC 공작기계의 운동정밀도는 키네마틱 트랜스듀서 링크 컨투어 측정시스템(Kinematic transducer link contour measuring system), BDD 측정시스템, Circular Test 등에 의해 측정될 수 있으며, 오차 발생원인을 규명할 수 있다. 이 글에서는 NC 공작기계의 오차가 컨투어 시험 결과에 미치는 영향을 평가하기 위하여, 공칭원(nominal circle) 혹은 공칭호(nominal arc)로부 터의 반경방향 편위를 포함하는 컨투어 운동결과를 이론적으로 해석하였다.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2012.05a
• /
• pp.57-58
• /
• 2012

• Journal of Korean Society on Water Environment
• /
• v.26 no.6
• /
• pp.963-968
• /
• 2010

This study has carried out to evaluate the performance of direct and indirect oxidation electrode for the purpose of decolorization of Rhodamine B (RhB) in water. Four kinds of electrodes were used for comparison: Pt and JP202 (indirect oxidation electrode), Pb and boron doping diamond (BDD, direct oxidation electrode). The effect of applied current (0.5 ~ 2.5 A), electrolyte type (NaCl, KCl, HCl, $Na_2SO_4$ and $H_2SO_4$) and electrolyte concentration (0.5 ~ 2.5 g/L), solution pH (3 ~ 11) and initial RhB concentration (25 ~ 125 mg/L) were evaluated. Experimental results showed that RhB removal efficiency were increased with increase of current, NaCl dosage and decrease of the pH. However, the effect of operating parameter on the RhB removal were different with the electrode type. JP202 electrode was the best electrode from the point of view of performance and energy consumption. The order of removed RhB concentration per energy lie in: JP202>Pt>Pb>BDD.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.17 no.1
• /
• pp.65-78
• /
• 2017

Single Event Transient has a critical impact on highly integrated logic circuits which are currently common in various commercial and consumer electronic devices. Reliability against the soft and intermittent faults will become a key metric to evaluate such complex system on chip designs. Our previous work analyzing soft errors was focused on parallelizing and optimizing error propagation procedures for individual transient faults on logic and sequential cells. In this paper, we present a new propagation technique where a fault binary decision diagram (BDD) continues to merge every new fault generated from the subsequent logic gate traversal. BDD-based transient fault analysis has been known to provide the most accurate results that consider both electrical and logical properties for the given design. However, it suffers from a limitation in storing and handling BDDs that can be increased in size and operations by the exponential order. On the other hand, the proposed method requires only a visit to each logic gate traversal and unnecessary BDDs can be removed or reduced. This results in an approximately 20-200 fold speed increase while the existing parallelized procedure is only 3-4 times faster than the baseline algorithm.

• Proceedings of the IEEK Conference
• /
• 1999.11a
• /
• pp.384-387
• /
• 1999

In this paper, we have proposed a testing methodology for Speed-Independent asynchronous control circuits using the self-checking property where the circuit detects certain classes of faults during normal operation. To exploit self-checking properties of Speed-Independent circuits, the Proposed methodology generates tests from the specification of the target circuit which describes the behavior of the circuit. The generated tests are applied to a fault-free and a faulty circuit, and target faults can be detected by the comparison of the outputs of the both circuits. For the purpose of efficient comparison, reachability information of the both circuits in the form of BDD's is used and operations are conducted by BDD manipulations. The identification for undetectable faults in testing is also used to increase efficiency of the proposed methodology. The proposed identification uses only topological information of the target circuit and reachability information of the good circuit which was generated in the course of preprocess. Experimental results show that high fault coverage is obtained for synthesized Speed-Independent circuits and the use of the identification process decreases the number of tests and execution time.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2003.07b
• /
• pp.818-821
• /
• 2003

Ozonic use of sterilization and heat treatment of raw material to extend the conservation period of food recently is increased by hard vegetable or microorganism sterilization purpose of fruit. If ozone can create as is easy comparatively because do air or oxygen by raw material and schedule period passes, there is advantage that do not leave the second contaminant because being gotten restored by oxygen. Also, because the effect is big to decolorization beside sterilization effect about microorganism, deodorization, disjointing of venomousness hazardous substance, food save, indoor air purge, good hand processing, hydrospace agricultural chemicals processing etc. the use extent is wide. This research ran parallel a sterilization experiment of E.coli colitis germs by ozone that manufacture ozonizer that use doped diamond maund electrode (BDD) by boron and searched special quality electrochemistry enemy of the ozonizer and is created. E.coli. After cultivate E.coli colitis germs during 37C 1 day is LB ship, after do ozonation, was sterilized more than 90% by ozone as result that examine sterilizing power by substance microscope and could confirm excellency of diamond electrode.

• Journal of Internet Computing and Services
• /
• v.20 no.3
• /
• pp.1-11
• /
• 2019

Today's software systems are becoming larger and more complicated, and the risk of accidents and failures have also grown larger. Software failures and accidents in industrial fields such as automobiles, nuclear power plants, railroad industries, etc. may lead to severe damage of property and human life. The safety-related international standards, such as IEC 61508 have been established and applied to industries for decades. The safety life cycle specified in the standards emphasize the activities to develop safety requirements through hazard and risk analysis in the early stage of software development. In this paper, we propose 'Hazard Analysis Process based on STPA using SysML' in order to ensure the safety of software at the early stage of software development. The proposed hazard analysis can be effectively performed minimizing the loss of hazard by using the BDD and the IBD of SysML to define the control structure of a system. The proposed method also improves the specification of the safety constraints(requirement) by using SD. As a result, it is possible to identify the hazard without missing and identify the hazard scenarios in detail, and safety can be sufficiently ensured in the early stage of software development.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.9
• /
• pp.759-767
• /
• 2000

OPKFDD(Ordered Pseudo-Kronecker Functional Decision Diagram)는 각 노드에서 다양한 decomposition을 취할 수 있는 Ordered-DD(Decision Diagram)의 한 종류이다. OBDD(Ordered Binary Decision Diagram)에서 각 노드는 Shannon decomposition 만을 이용하는 반면, OPKFDD는 각 노드마다 Shannon, positive Davio, negative Davio decomposition 중의 하나를 사용하도록 하며 많은 경우 매우 적은 수의 노드로 함수를 표현할 수 있다. 그러나 각 노드마다 각기 다른 확장 방법을 선택할 수 있는 특징 때문에 입력 노드에 대한 확장 방밥과 입력 변수 순서의 결정에 의해서 OPKFDD의 크기가 좌우되며 이에 대한 최적의 해를 구하는 것은 매우 어려운 문제로 알려져 있다. 본 논문에서는 DD 크기를 기준을 노드 수로 하여 기존의 BDD(Binary Decision Diagram) 자료구조에서 OPKFDD를 효율적으로 유도해내는 방법을 제시하고 complex term을 이용하여 이를 최소화하는 알고리즘을 제시한다. 그리고 입력변수 순서 결정을 위하여 다출력함수의 경우 함수간의 포함관계를 고려한 그룹-sifting과 각 노드의 확장 방법을 제안하고 실험 결과를 제시한다.

• Journal of Pharmaceutical Investigation
• /
• v.18 no.2
• /
• pp.83-88
• /
• 1988

We examined effects of crosslinking agents, i.e., ethyleneglycol dimethacrylate (EGD) and butanediol dimethacrylate (BDD) containing ester groups on chloromethylation of crosslinked polystyrene resin matrices. It was proved that the ester group in methylmethacrylate (MMA) accelerates the chloromethylation of the divinylbenzene (DVB)-crosslinked styrene-MMA copolymer. As the MMA content increased in the styrene-MMA copolymers, the chloromethylation was enhanced. Complete chloromethylation was obtained at about 25% MMA content.

• Journal of the Korea Computer Industry Society
• /
• v.4 no.4
• /
• pp.501-508
• /
• 2003

In this paper A new theory of linear loop transformation called Elimination of Data Dependency(BDD) is presented. The current framework of linear loop transformation cannot identify a significant fraction of parallelism. For this reason, a method to extract the maximum loop parallelism in perfect nested loops is presented. This technique is applicable to general loop nests where the dependence include both distance and directions.