• Journal of the Korean Institute of Intelligent Systems
• /
• v.7 no.1
• /
• pp.27-33
• /
• 1997

This project is dedicated to the elaboration of a man-machine system for monitoring the non spread of nuclear weapons, technologies, raw materials. The main purpose of such a system depends on the customer requirements and may be : - control of non proliferation of nuclear technologies, especially those that can be used to manufacture a nuclear explosive device; - the appraisal of the possibility of production of nuclear weapons by a certain country on the basic of its intellectual and scientific-technical potential, its raw material resources, its export-import potential and other parameters.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.10a
• /
• pp.409-413
• /
• 2005

The logical analysis of data(LAD) is an effective Boolean-logic based data mining tool. A critical step in analyzing data by LAD is the pattern generation stage where useful knowledge and hidden structural information in data is discovered in the form of patterns. A conventional method for pattern generation in LAD is based on term enumeration that renders the generation of higher degree patterns practically impossible. In this paper, we present a new optimization-based pattern generation methodology and propose two mathematical programming medels, a mixed 0-1 integer and linear programming(MILP) formulation and a well-studied set covering problem(SCP) formulation for the generation of optimal and heuristic patterns, respectively. With benchmark datasets, we demonstrate the effectiveness of our models by automatically generating with much ease patterns of high complexity that cannot be generated with the conventional approach.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.737-741
• /
• 1993

In this paper, we design the fuzzy logic controller(FLC) for a nonlinear multivariable steam generating unit. Based on the knowledges of operator, the self-organizing controller(SOC) - a kind of FLC - is developed and tested. Both FLC and SOC based on linguistic rules have the advantages of not needing of some exact mathematical model for plant to be controlled. Beside, the SOC modifies the existing control rules by monitoring the control performance. The computer simulations have been carried out for the 200MW steam generating unit to show the usefulness of the proposed method and the effects of disturbances and parameter variations are considered.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.32A no.10
• /
• pp.73-80
• /
• 1995

In this paper, a synthesis tool using matrix operations for designing multi-level Reed Muller circuits is described which has been named as MRM (Multi-level Reed Muller Minimizer). The synthesis method which uses matrix operations has advantages in effectively minimizing chip area, delay optimization and fault detection capability. However, it uses only truth-table type maps for inputs, synthesizing only small circuits. To overcome the weakness, our method accepts two-level description of a logic function. Since the number of cubes in the two-level description is small, the input matrix becomes small and large circuits can be synthesized. To convert two-level representations into multi-level ones, different input patterns are extracted to make a map which can be fed to the matrix operation procedure. Experimental results show better performance than previous methods. The matrix operation method presented in this paper is new to the society of Reed Muller circuits synthesis and provides solid mathematical foundations.

• Proceedings of the KIEE Conference
• /
• 1999.07b
• /
• pp.773-775
• /
• 1999

In this paper, A new approach to stable adaptive fuzzy control of systems is proposed. The proposed scheme does not require an accurate mathematical model yet it guarantees an asymptotic stability. Fuzzy logic system, which has the property of universal approximator is used as an adaptive element of the proposed controller. Also this Paper proposes a fuzzy system that estimates the maximum limit of the uncertain term in the system dynamics to guarantee the Lyapunov stability. Proposed adaptive fuzzy control is applied to the DC servo motor system in order to show its good performance.

• Journal of Advanced Marine Engineering and Technology
• /
• v.33 no.7
• /
• pp.1003-1011
• /
• 2009

This study aims at precise control of oil outlet temperature in the oil cooler system of machine tools for enhancement of working speed and processing accuracy. PID control logic is adopted to obtain desired oil outlet temperature of the oil cooler system with hot-gas bypass method. We showed that the gains of PID controller could be easily determined by using gain tuning methods to get the gain of PID controller without any mathematical model. We also investigated various gain tuning methods to design the gains of PID and compared each control performance for selecting the optimal tuning method on the hot gas bypass method through experiments. Moreover, we confirmed excellent control performance with proposed PI controller gain even though disturbances were abruptly added to the experimental system.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.33 no.11
• /
• pp.1294-1299
• /
• 2009

The Korean tilting train called Hanvit 200 was launched recently in Korea to improve train speed up to 200 km/h at conventional lines. In this paper, we propose a HILS system for simulations of mechanical braking of the Hanvit 200 train using actual ASCU, actual dump valves, Simulink, dSPACE board, and ControlDesk software. In the proposed HILS system, dynamics of wheelsets, bogies and car body, brake force generation, creep force generations are realized via mathematical models, and anti-skid logic is realized using actual components. The validity of the proposed HILS system is demonstrated via comparing results of real-time and off-line simulations.

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10b
• /
• pp.446-451
• /
• 1992

In this paper, we propose a method to manage production system easily for operators when either equipments or products are changed. And we explain the scheduling AI tool which realizes the proposal method. The tool's knowledge expression consists of models, rules, mathematical expression and fuzzy logic. The model expresses the relations between products and manufacture, and properties of products. The models are separated into three type, equipment model, operation model, and product model. These models are classified by applicable fields as the assembly process or continuous plant process, The model expression of each type is based on object oriented paradigm. We report systems utilizing our approach.

• Journal for History of Mathematics
• /
• v.20 no.4
• /
• pp.175-190
• /
• 2007

In the nineteenth century was Augustus De Morgan, British mathematician, a great mathematics teacher. Although his name is well known to everybody who is interested in set theory, his major mathematical legacy would arise from his novel research in logic. In this article, we first investigate De Morgan's life briefly; we then consider his precious philosophy of mathematics education based on his students' remarks and his works. Finally, by considering his teaching style, we highlight some of the ingredients that go into making a great mathematics teacher.

• Korean Journal of Child Studies
• /
• v.23 no.1
• /
• pp.71-85
• /
• 2002

This study examined the effects of different interaction styles, that is, interaction with an object and interaction with an adult, on young children's cognitive level. Subjects were 150 5-year-old children. The task required children to predict the working of a mathematical balance beam. Seven cognitive levels were identified based on the logic of prediction. Data were analyzed by t-test, F-test, Duncan Test and Wilcoxon Matched-Pairs Test. Results showed that both interaction styles caused improvement in children's cognitive level, but when interaction with an adult was divided into two categories, i.e., interaction with the higher group and interaction with the lower group, the latter experienced decline in cognitive level. Regardless of sex, interactions within the Zone of Proximal Development and with the object were found to be effective methods for children's cognitive improvement.