• Applied Chemistry for Engineering
• /
• v.19 no.6
• /
• pp.674-679
• /
• 2008

$TiO_2$ impregnated stainless steel fiber photocatalysts ($TiO_2/SSF$) were fabricated to overcome inherent problems of powdery $TiO_2$ photocatalysts in water treatment. Adhesion strength of the impregnated $TiO_2$ was examined using an ultrasonic-cleaner. Photocatalytic activity was evaluated through decomposition experiment of methylene blue and formic acid. Bactericidal efficiency was evaluated through sterilization experiment of E. Coli and Vibrio Vulnificus. Adhesion strength of the impregnated $TiO_2$ was so high that more than 95% was left over even after the treatment in an ultrasonic-cleaner for 30 min. Methylene blue and formic acid were decomposed as much as 60% and 38% of the initial concentration and more than 99.9% of E. Coli and Vibrio Vulnificus were killed after 1 hour exposure to the prepared photocatalyst under UV irradiation. In the case of decomposition of formic acid, decomposition ratio increased if oxidants were added. Especially the decomposition ratio increased as high as 80% when hydrogen peroxide was added as an oxidant.

• Bulletin of the Korean Chemical Society
• /
• v.35 no.7
• /
• pp.2013-2018
• /
• 2014

The adsorption and decomposition of trimethylene oxide ($C_3H_6O$) molecule on the Al(111) surface were investigated by the generalized gradient approximation (GGA) of density functional theory (DFT). The calculations employed a supercell ($6{\times}6{\times}3$) slab model and three-dimensional periodic boundary conditions. The strong attractive forces between $C_3H_6O$ molecule and Al atoms induce the C-O bond breaking of the ring $C_3H_6O$ molecule. Subsequently, the dissociated radical fragments of $C_3H_6O$ molecule oxidize the Al surface. The largest adsorption energy is about -260.0 kJ/mol in V3, V4 and P2, resulting a ring break at the C-O bond. We also investigated the decomposition mechanism of $C_3H_6O$ molecules on the Al(111) surface. The activation energies ($E_a$) for the dissociations V3, V4 and P2 are 133.3, 166.8 and 174.0 kJ/mol, respectively. The hcp site is the most reactive position for $C_3H_6O$ decomposing.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.60 no.9
• /
• pp.1748-1753
• /
• 2011

In this paper, we consider the stability of linear systems with an interval time-varying delay. It is known that the adoption of decomposition of delay improves the stability result. For the interval time-delay case, they applied it to the interval of time-delay and got less conservative results. Our basic idea is to apply the general decomposition to the low limit of delay as well as interval of time-delay. Based on this idea, by using the modified Lyapunov-Krasovskii functional and newly derived Lemma, we present a less conservative stability criterion expressed as in the form of linear matrix inequality(LMI). Finally, we show, by well-known two examples, that our result is less conservative than the recent results.

• Journal of the Korean Ceramic Society
• /
• v.49 no.1
• /
• pp.29-36
• /
• 2012

In many applications of functional oxides originally homogeneous materials are exposed to gradients in the chemical potential of oxygen. Prominent examples are solid oxide fuel cells (SOFCs) or oxygen permeation membranes (OPMs). Other thermodynamic potential gradients are gradients of electrical potential, temperature or uni-axial pressure. The applied gradients act as generalized thermodynamic forces and induce directed fluxes of the mobile components. These fluxes may lead to three basic degradation phenomena of the materials, which are kinetic demixing, kinetic decomposition, and morphological instabilities.

• Journal of radiological science and technology
• /
• v.42 no.2
• /
• pp.119-130
• /
• 2019

Positron emission tomography (PET) is widely used imaging modality for effective and accurate functional testing and medical diagnosis using radioactive isotopes. However, PET has difficulties in acquiring images with high image quality due to constraints such as the amount of radioactive isotopes injected into the patient, the detection time, the characteristics of the detector, and the patient's motion. In order to overcome this problem, we have succeeded to improve the image quality by using the dynamic image reconstruction method based on singular value decomposition. However, there is still some question about the characteristics of the proposed technique. In this study, the characteristics of reconstruction method based on singular value decomposition was estimated over computational simulation. As a result, we confirmed that the singular value decomposition based reconstruction technique distinguishes the images well when the signal - to - noise ratio of the input image is more than 20 decibels and the feature vector angle is more than 60 degrees. In addition, the proposed methode to estimate the characteristics of reconstruction technique can be applied to other spatio-temporal feature based dynamic image reconstruction techniques. The deduced conclusion of this study can be useful guideline to apply medical image into SVD based dynamic image reconstruction technique to improve the accuracy of medical diagnosis.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2001.01a
• /
• pp.400-409
• /
• 2001

In conceptual design of engineering devices, a designer decomposes a required function into sub-functions, so-called functional decomposition, using a kind of functional knowledge representing achievement relations among functions. However, such knowledge about functionality of engineering devices is usually left implicit because each designer possesses it. Even if such knowledge is found in documents, it is often scattered around technical domains and lacks consistency. Aiming at capturing such functional knowledge explicitly and sharing it in design teams, we discuss its systematic description based on functional ontologies which provide common concepts for its consistent and generic description. We propose a new concept named “was of achievement” as a key concept for capturing such functional knowledge. Categorization of typical representations of the knowledge and its organization as is-a hierarchies are also discussed. The generic concepts representing functionality of a device in the functional knowledge are provided by the functional concept ontology, which makes the functional knowledge consistent and applicable to other domains. We also discuss development of a design supporting system using the systematized knowledge, called a functional was server. It helps human designers redesign an existing engineering device by providing a wide range of alternative ways of achievement of the required function in a manner suitable for the viewpoint of each designer and then facilitates innovative design.

• 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 Institute of Control, Robotics and Systems
• /
• v.13 no.3
• /
• pp.256-262
• /
• 2007

In mass customization, the focus is variety and customization through flexibility and quick responsiveness. Mass customizers seek to provide personalized, custom-designed products at low prices to give customers exactly what they want and to provide sufficient variety in products and services. The idea of the product family is the most adequate approach to realize mass customization. An understanding of customer needs using functional decomposition becomes necessary to enhance the performance of the product family. This paper focuses on functional architecture modeling based on customer need regarding sub-functions for the product family. A quantitative functional model captures product functionality and customer need. Based on customer need ratings and sub-function, a product-function matrix was created. Additionally, a product-product matrix was generated to provide a similarity index among product families. A case study for implementing the functional architecture modeling was performed on the single use cameras.

• Nuclear Engineering and Technology
• /
• v.46 no.6
• /
• pp.753-772
• /
• 2014

The paper presents functional modelling and its application for diagnosis in nuclear power plants. Functional modelling is defined and its relevance for coping with the complexity of diagnosis in large scale systems like nuclear plants is explained. The diagnosis task is analyzed and it is demonstrated that the levels of abstraction in models for diagnosis must reflect plant knowledge about goals and functions which is represented in functional modelling. Multilevel flow modelling (MFM), which is a method for functional modelling, is introduced briefly and illustrated with a cooling system example. The use of MFM for reasoning about causes and consequences is explained in detail and demonstrated using the reasoning tool, the MFMSuite. MFM applications in nuclear power systems are described by two examples: a PWR; and an FBR reactor. The PWR example show how MFM can be used to model and reason about operating modes. The FBR example illustrates how the modelling development effort can be managed by proper strategies including decomposition and reuse.

• 제어로봇시스템학회:학술대회논문집
• /
• 1986.10a
• /
• pp.367-369
• /
• 1986

Guaranteed cost control is a method applicable to a class of systems with uncertain parameters that guarantees an upper bound of the cost functional. This paper is concerned with a matrix decomposition technique used to yield a reasonable upper bound of the cost functional for a finite-time LQ regulator problem. The uncertain linear systems dealt with in this paper are described by a set of state equations of single-input phase-variable canonical form which contain unknown but bounded uncertain parameters.