• Journal of the Korean Society for information Management
• /
• v.11 no.1
• /
• pp.103-124
• /
• 1994

In an age of fierce global trade-war, the importance of sdenbfic and technologd advancement is clearly rmgruzed and, as a result., the flow of information from develaped countries is get- more restricted. Thus, the e s t a b h e n t of systematic data bdd-up is needed to improve the international com~tivenes of Korean prcducts when the trend of weapnizlng hl-tech know-how's is intensified. This paper demonstrates k c requirements for database bdd-up through analysis of evaluation cnteria, difficulties in management, data clasiKcalion. Structure and procedure of database of thermodynarmc property of new rnatmak is described.

• Journal of IKEEE
• /
• v.1 no.1 s.1
• /
• pp.111-119
• /
• 1997

This paper presented a method of extracting algorithm for Edge Multiple-Valued Decision Diagrams(EMVDD), a new data structure, from Binary Decision Diagram(BDD) which is resently used in constructing the digital logic systems based on the graph theory. And we discussed the function minimization method of the n-variables multiple-valued functions. The proposed method has the visible, schematical and regular properties.

• Journal of Electrical Engineering and information Science
• /
• v.2 no.5
• /
• pp.1-8
• /
• 1997

The main purpose of the Boolean equivalence problem is to verify that two Boolean expressions have the same functionality. Simulation has been extensively used as the standard method for the equivalence problem. Obviously, the number of tests required to perform a satisfactory coverage grows exponentially with the number of input variables. However, formal methods as opposed to simulation are getting more attention from the community. We propose a new algorithm called the Cover-Merge Algorithm based on a derivational method using the concept of cover and merge for the equivalence problem and investigate its theoretical aspects. Because of the difficulty of the problem, we emphasize simplification techniques in order to reduce the search space or problem size. Heuristics based on types of merges are developed to speed up the derivation process by allowing simplifications. In comparison with widely used technique called Binary Decision Diagram or BDD, the algorithm proposed outperforms BDD in nearly all cases of input including standard benchmark problems.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.3
• /
• pp.766-772
• /
• 1999

With the increase of portable system and high-density IC, power consumption of VLSI circuits is very important factor in design process. Power estimation is required in order to estimate the power consumption. A simple and correct solution of power estimation is to use circuit simulation. But it is very time consuming and inefficient way. Probabilistic method has been proposed to overcome this problem. Transition density using probability was an efficient method to estimate power consumption using BDD and Boolean difference. But it is difficult to build the BDD and compute complex Boolean difference. In this paper, we proposed Propowest. Propowest is building a digraph of circuit, and easy and fast in computing transition density by using modified COP algorithm. Propowest provides an efficient way for power estimation.

• Proceedings of the KIEE Conference
• /
• 2002.11a
• /
• pp.170-172
• /
• 2002

Thin, Boron-doped conducting diamond films are expected to be excellent electrodes for industrial electrolysis. Boron-doped diamond(BDD) were used as anode for generating ozone gas by electrolysis of acid solution. In this work, we have studied ozone generating system using BDD electrode. In order to determine the ozone generation properties of diamond electrode, experimental conditions, electrolyte concentration, temperature, flow rate and reaction time were varied diversely. As a result, we could confirm that ozone gas was generated successfully and the performance of diamond electrode was stable for electrolyte while $PbO_2$ electrode was disintegrated. Actually we are found that ozone amount increased by lowering the temperature of electrolyte.

• Journal of Electrochemical Science and Technology
• /
• v.14 no.3
• /
• pp.215-221
• /
• 2023

A rapid and environment-friendly electrochemical sensor to determine the chemical oxygen demand (COD) has been developed. The boron-doped diamond (BDD) thin-film electrode is employed as the anode, which fully oxidizes organic pollutants and provides a current response in proportion to the COD values of the sample solution. The BDD-based amperometric COD sensor is optimized in terms of the applied potential and the solution pH. At the optimized conditions, the COD sensor exhibits a linear range of 0 to 80 mg/L and the detection limit of 1.1 mg/L. Using a set of model organic compounds, the electrochemical COD sensor is compared with the conventional dichromate COD method. The result shows an excellent correlation between the two methods.

• Korean Chemical Engineering Research
• /
• v.54 no.3
• /
• pp.340-349
• /
• 2016

Electro oxidation system was designed in this study for the reduction of COD (Chemical Oxygen Demand) from high-strength wastewater, produced during refinery turnaround period. First, BDD (Boron Doped Diamond) electrode was synthesized and electro oxidation system of actual industrial wastewater was developed by adopting the synthesized BDD electrode. The experiments were carried out under various operating conditions under certain range of current density, pH, electrolyte concentration and reaction time. Secondly, reaction kinetics were identified based on the experimental results, and the kinetics were embedded into a genetic mathematical model of the electro oxidation system. Lastly, design and operating parameters of the process were optimized to maximize the efficiency of the pretreatment system. The coefficient of determination ($R^2$) of the model was found to be 0.982, and it proved high accuracy of the model compared with experimental results.

• Journal of Environmental Science International
• /
• v.19 no.9
• /
• pp.1143-1152
• /
• 2010

The purpose of this study is to degradation of Rhodamine B (RhB, dye) and N, N-Dimethyl-4-nitrosoaniline (RNO, indicator of the electro-generation of OH radical) in solution using boron doped diamond (BDD) electrode. The effects of applied current (0.2~1.0 A), electrolyte type (NaCl, KCl, and $Na_2SO_4$) and electrolyte concentration (0.5~3.0 g/L), solution pH (3~11) and air flow rate (0~4 L/min) were evaluated. Experimental results showed that RhB and RNO removal tendencies appeared with the almost similar thing, except of current. Optimum current for RhB degradation was 0.6 A, however, RNO degradations was increased with increase of applied current. The RhB and RNO degradation of Cl type electrolyte were higher than that of the sulfate type. The RhB and RNO degradation were increased with increase of NaCl concentration and optimum NaCl dosage was 2.5 g/L. The RhB and RNO concentrations were not influenced by pH under pH 7. Optimum air flow rate for the oxidants generation and RhB and RNO degradation were 2 L/min. Initial removal rate of electrolysis process was expressed Langmuir - Hinshelwood equation, which is used to express the initial removal rate of UV/$TiO_$2 process.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2003.11a
• /
• pp.607-610
• /
• 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 disinfection 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. 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 disinfection effect by substance microscope and could confirm excellency of diamond electrode.

• Journal of Internet Computing and Services
• /
• v.20 no.5
• /
• pp.105-111
• /
• 2019

Core technologies that lead the Fourth Industrial Revolution era, such as artificial intelligence, big data, and autonomous driving, are implemented and serviced through the rapid development of computing power and hyper-connected networks based on the Internet of Things. In this paper, we implement two different models for drivable area segmentation in various environment, and propose a better model by comparing the results. The models for drivable area segmentation are using DeepLab V3+ and Mask R-CNN, which have great performances in the field of image segmentation and are used in many studies in autonomous driving technology. For driving information in various environment, we use BDD dataset which provides driving videos and images in various weather conditions and day&night time. The result of two different models shows that Mask R-CNN has higher performance with 68.33% IoU than DeepLab V3+ with 48.97% IoU. In addition, the result of visual inspection of drivable area segmentation on driving image, the accuracy of Mask R-CNN is 83% and DeepLab V3+ is 69%. It indicates Mask R-CNN is more efficient than DeepLab V3+ in drivable area segmentation.