• 공업화학
• /
• 제19권6호
• /
• pp.674-679
• /
• 2008

수처리에 있어서 분말 $TiO_2$ 광촉매가 안고 있는 문제점을 극복하기 위하여 스테인리스 강 섬유를 지지체로 한 $TiO_2$ 담지 광촉매($TiO_2/SSF$)를 제조하였다. 초음파 세척기를 이용하여 담지된 $TiO_2$의 부착강도를 살펴보았으며, 메틸렌블루와 포름산 분해실험을 통하여 광촉매 활성을 평가하였고, 대장균과 비브리오균에 대한 살균실험을 통하여 살균능력을 평가하였다. 담지된 $TiO_2$는 30 min간의 초음파 처리 후에도 95% 이상이 남아 있을 정도로 강한 부착력을 보였으며, UV 하에서 60%의 메틸렌블루와 38%의 포름산을 1 h 만에 각각 분해시키는 광촉매 활성을 보였고, 대장균과 비브리오균에 대하여 99.9% 이상의 높은 살균능력을 보였다. 포름산 분해의 경우에는 산화제를 첨가하면 분해율이 증가하였으며, 특히 과산화수소를 첨가할 경우에는 분해율이 1 h 만에 80%로 증가하였다.

• Bulletin of the Korean Chemical Society
• /
• 제35권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.

• 전기학회논문지
• /
• 제60권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.

• 한국세라믹학회지
• /
• 제49권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.

• 대한방사선기술학회지:방사선기술과학
• /
• 제42권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.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2001년도 The Pacific Aisan Confrence On Intelligent Systems 2001
• /
• 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.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권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과 각 노드의 확장 방법을 제안하고 실험 결과를 제시한다.

• 제어로봇시스템학회논문지
• /
• 제13권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
• /
• 제46권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년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 17-18 Oct. 1986
• /
• 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.