• Journal of Korean Society of societal Security
• /
• v.4 no.2
• /
• pp.29-40
• /
• 2011

The objective of this paper is to develop an intelligent decision support system that is able to advise disaster countermeasures and degree of incidents on the basis of the collected and analyzed signs of disasters. The concepts derived from ontology, text mining and case-based reasoning are adapted to design the system. The functions of this system include term-document matrix, frequency normalization, confidency, association rules, and criteria for judgment. The collected qualitative data from signs of new incidents are processed by those functions and are finally compared and reasoned to past similar disaster cases. The system provides the varying degrees of how dangerous the new signs of disasters are and the few countermeasures to the disaster for the manager of disaster management. The system will be helpful for the decision-maker to make a judgment about how much dangerous the signs of disaster are and to carry out specific kinds of countermeasures on the disaster in advance. As a result, the disaster will be prevented.

• Journal of Digital Contents Society
• /
• v.2 no.1
• /
• pp.51-61
• /
• 2001

The FLC(Fuzzy Logic Controller) is stronger to the disturbance and has the excellent characteristic to the overshoot of the initialized value than the classical controller, and also can carry out the proper control being out of all relation to the mathematical model and parameter value of the system. But it has the restriction which can't adopt the environment changes of the control system because of generating the fuzzy control rule through an expert's experience and the fixed value of the once determined control rule, and also can't converge correctly to the desired value because of haying the minute error of the controller output value. Now there are many suggested methods to eliminate the minute error, we also suggest the GA-FNNIC(Genetic Algorithm Fuzzy Neural Network Intelligence Controller) combined FLC with NN(Neural Network) and GA(Genetic Algorithm). In this paper, we compare the suggested GA-FNNIC with FLC and analyze the output characteristics, convergence speed, overshoot and rising time. Finally we show that the GA-FNNIC converge correctly to the desirable value without any error.

• Communications of Mathematical Education
• /
• v.35 no.1
• /
• pp.119-136
• /
• 2021

We performed the research and education programs using engineering tools such as Mathematica, Microsoft Excel and GeoGebra for the students in mathematics mentorship program of the institute of science education for the gifted. We used the engineering tools to solve the problems and found the rules by observing the solutions. Then we generalized the rules to theorems by proving the rules. Mathematica, the professional mathematical computation program, was used to calculate and find the length of the repeating portion of the repeating decimal. Microsoft Excel, the spreadsheet software, was used to investigate the Beatty sequences. Also GeoGebra, the dynamic geometric software, was used to investigate the Voronoi diagram and develop the Voronoi game. Using GeoGebra, we designed the Voronoi game plate for the game. In this program, using engineering tools improved the mathematical creativity and the logical thinking of the gifted students in mathematics mentorship program.

• Journal of KIISE:Software and Applications
• /
• v.26 no.8
• /
• pp.1010-1017
• /
• 1999

불완전한 계획 영역 이론은 오류 영역(noisy domain)에서 하나의 상태에 상반된 연산자들이 적용되는 불일치성 문제를 야기할 수 있다. 이 문제를 해결하기 위해서 본 논문은 상태를 기술하기 위해 다치 논리를 도입하여 제어지식으로서의 부정적 선행조건을 학습하는 새로운 방법을 제안한다. 기계에는 알려지지 않은 이러한 제어지식이 인간에게는 반대개념으로 잠재적으로 사용되고 있다. 이러한 잠재된 개념을 학습하기 위해 본 논문은 반대 연산자들로 구성된 사이클을 영역이론으로부터 기계적으로 생성하고, 이 연산자들에 대한 실험을 통해 반대 리터럴(literal)들을 추출한다. 학습된 규칙은 불일치성을 방지하면서 동시에 중복된 선행조건을 제거하여 연산자를 단순화시킬 수 있다.Abstract An incomplete planning domain theory can cause an inconsistency problem in a noisy domain, allowing two opposite operators to be applied to a state. To solve the problem, we present a novel method to learn a negative precondition as control knowledge by introducing a three-valued logic for state description. However, even though the control knowledge is unknown to a machine, it is implicitly known as opposite concept to a human. To learn the implicit concept, we mechanically generate a cycle composed of opposite operators from a domain theory and extract opposite literals through experimenting the operators. A learned rule can simplify the operator by removing a redundant precondition while preventing inconsistency.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.16 no.7
• /
• pp.1351-1362
• /
• 1992

Qualitative models in model-based expert system needs modeling paradigm which provides intelligent control of modeling assumptions and extracts robust inferences without quantitative information about the system to be modeled. Qualitative reasoning methodologies has proved the property of the completeness but not the soundness to the corresponding quantitative model. We propose new methodology of qualitative reasoning by introducing the concept of Centroid-Oriented Composite Interval to improve the soundness problem. Arithmetic operations and equivalence classes were composed using this definition. Qualitative simulation results were compared to Kuipers's results and the improvements in the soundness problem is verified.

• Journal of Advanced Navigation Technology
• /
• v.18 no.2
• /
• pp.178-184
• /
• 2014

CMOS technology based on PCA is very efficient at an implementation of memory or ALU. However, there has been a growing interest in quantum-dot cellular automata (QCA) because of the limitation of CMOS scaling. In this paper, we propose a design of PCA architecture based on QCA. In the proposed PCA design, we utilize D flip-flop and XOR logic gate without wire crossing technique, and design a input and rule control switches. In experiment, we perform the simulation of the proposed PCA architecture by QCADesigner. As the result, we confirm the efficiency the proposed architecture.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.17 no.5
• /
• pp.495-508
• /
• 1992

This paper describes on implementation of SGML(Standardized General Markup Language )parser, which can analize SGML documents and its DTD(Document Type Deflnitton) defined according to the SGML( ISO 8879) .We have constructed a yacc definition file to present the rules of SGML DTD and documents, by which incoming SGML DTD and documents can be parsed Into the appropriate tokens. with the tokens a database with the stuctures such as entity table, element table and so on is built to vali-date the logical structure of the inconung SGML documents. The additional functions of this parser Include the automatic transforminng of the incoming documents with the short references into the complete SGML documents. Several test SGML documents have tested to clarify an implementation of this parser and experimental results are satisfactory.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.39 no.4
• /
• pp.36-42
• /
• 2002

In this paper, we proposed a multiplicative algorithm for two polynomials with all non-zero coefficients over finite field GF($P^m$). Using the proposed multiplicative algorithm, we constructed the multiplier of modular architecture with parallel in-output. The proposed multiplier is composed of $(m+1)^2$ identical cells, each cell consists of one mod(p) additional gate and one mod(p) multiplicative gate. Proposed multiplier need one mod(p) multiplicative gate delay time and m mod(p) additional gate delay time not clock. Also, our architecture is regular and possesses the property of modularity, therefore well-suited for VLSI implementation.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.2
• /
• pp.16-24
• /
• 2010

This paper is proposed a novel fuzzy disturbance observer based on backstepping method for nonlinear systems with unknown disturbance. Using fuzzy logic systems, a fuzzy disturbance observer with the disturbance observation input is introduced for unknown disturbance. To guarantee that the proposed disturbance observer estimates the unknown disturbance, the disturbance observation error dynamic system is employed. Under the framework of the backstepping design, the fuzzy disturbance observer is constructed recursively and an adaptive laws and the disturbance observation input are derived. Numerical examples are given to demonstrate the validity of our proposed disturbance observer for nonlinear systems.

• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.45-64
• /
• 2004

The lambda calculus is a mathematical formalism in which functions can be formed, combined and used for computation that is defined as rewriting rules. With the development of the computer science, many programming languages have been based on the lambda calculus (LISP, CAML, MIRANDA) which provides simple and clear views of computation. Furthermore, thanks to the "Curry-Howard correspondence", it is possible to establish correspondence between proofs and computer programming. The purpose of this article is to make available, for didactic purposes, a subject matter that is not well-known to the general public. The impact of the lambda calculus in logic and computer science still remains as an area of further investigation.stigation.