• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.2270-2273
• /
• 2003

Fuzzy logic control has been widely implemented in air conditioning and ventilation systems which has uncertainty or high robust system. Since the dynamic behaviors of the systems contain complexity and uncertainty in its parameters , several fuzzy logic controllers had been implemented to control room temperature in the field of air conditioning system. In this paper, the fuzzy logic control has been developed to control room temperature and humidity in the precision air conditioning systems. The nonlinear mathematical model was formulated using energy and continuity equations. MATLAB was used to simulate the fuzzy logic control of the multi-variable air conditioning systems. The simulation results show that fuzzy logic controller can reduce the steady-state errors of the room temperature and relative humidity in multivariable air conditioning systems. The offset are less than 0.5 degree Celsius and 3 percent in relative humidity respectively under random step disturbance in heating load and moisture load respectively

• Journal for History of Mathematics
• /
• v.23 no.3
• /
• pp.33-44
• /
• 2010

We investigate what kind of logic is used in the ancient East Asian mathematics from their philosophical viewpoints. Such viewpoints are the logic by Mozi and the epistemology by Xun zi. We conclude that the logic residng in the ancient East Asian mathematics is surely existent and that the logic is the mathematics itself.

• Korean Journal of Logic
• /
• v.11 no.1
• /
• pp.131-156
• /
• 2008

This paper first investigates several uninorm logics (introduced by Metcalfe and Montagna in [8]) as fuzzy-relevance logics. We first show that the uninorm logic UL and its extensions IUL, UML, and IUML are fuzzy-relevant; fuzzy in Cintula's sense, i.e., the logic L is complete with respect to linearly ordered L-matrices; and relevant in the weak sense that ${\Phi}{\rightarrow}{\Psi}$ is a theorem only if either (i) $\Phi$ and $\Psi$ share a sentential variable or constant, or (ii) both $\sim\Phi$ and $\Psi$ are theorems. We next expand these systems to those with $\triangle$.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.9
• /
• pp.5744-5749
• /
• 2014

An extraction technique for a common logic expression is an extremely important part of multiple-output logic synthesis. This paper presents a new Boolean extraction technique using an exclusive-OR logic synthesis principle. The logic circuits produced only have AND, OR and NOT gates. Heuristic methods can also be applied to reduce the execution time and the number of literals. The experimental results showed improvements in the literal counts over the previous methods.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.1
• /
• pp.49-53
• /
• 2008

A fuzzy inference logic system is proposed for gas turbine engine fault isolation. The gas path measurements used for fault isolation are exhaust gas temperature, low and high rotor speed, and fuel flow. The fuzzy inference logic uses rules developed from a model of performance influence coefficients to isolate engine faults while accounting for uncertainty in gas path measurements. Inputs to the fuzzy inference logic system are measurement deviations of gas path parameters which are transferred directly from the ECM(Engine Control Monitoring) program and outputs are engine module faults. The proposed fuzzy inference logic system is tested using simulated data developed from the ECM trend plot reports and the results show that the proposed fuzzy inference logic system isolates module faults with high accuracy rate in the environment of high level of uncertainty.

• Journal of the Institute of Convergence Signal Processing
• /
• v.2 no.2
• /
• pp.111-118
• /
• 2001

In this paper, in order to implement the multi-layered perceptron neural network using pure digital logic circuit model, we propose the new logic neuron structure, the digital canonical multi-layered logic neural network structure, and the multi-stage multi-layered logic neural network structure for pattern recognition applications. And we show that the proposed approach provides an incremental additive learning algorithm, which is very simple and effective.

• Korean Journal of Logic
• /
• v.13 no.1
• /
• pp.1-20
• /
• 2010

This paper investigates a new proof of standard completeness (i.e. completeness on the real unit interval [0, 1]) for the uninorm (based) logic UL introduced by Metcalfe and Montagna in [15]. More exactly, standard completeness is established for UL by using nuclear completions method introduced in [8, 9].

• Journal of Educational Research in Mathematics
• /
• v.9 no.1
• /
• pp.111-119
• /
• 1999

This paper discusses jLogic, a mathematical logic education software developed by the author. jLogic is basically a MS-Windows based software that can construct first-order models, formulas and thet their satisfiablity. Logical formulas are easily input by a "keyboard" maintained by jLogic. A special finite model, called the "Toy World" can be visually cinstructed and modified. The user is supposed to answer the following 3 questions about the selected logical expression: 1. Is it a grammatically correct logical formula? 2. Is it a sentence that has a definite truth value? 3. Is th sentence true or false? When the user inputs his answer in the "Inspector window" and then presses the OK button, jLogic instantly tests the validity of the answer and tells the user the result. jLogic is freely downloaded from http://gauss.kyungpook.ac.kr/~jlogic/

• Journal of Institute of Control, Robotics and Systems
• /
• v.12 no.8
• /
• pp.834-841
• /
• 2006

Recently, many enterprises are installing AMSs(Automated Manufacturing Systems) for their competitive advantages. As the level of automation increases, proper design and validation of control logic is a imperative task for the successful operation of AMSs. However, current discrete event simulation methods mainly focus on the performance evaluation. As a result, they lack the modeling capabilities for the detail logic of automated manufacturing system controller. Proposed in this paper is a method of validation of the controller logic for automated material handling system using an object-oriented design and simulation. Using this method, FA engineers can validate the controller logic easily in earlier stage of system design, so they can reduce the time for correcting the logic errors and enhance the productivity of control program development Generated simulation model can also be used as a communication tool among FA engineers who have different experiences and disciplines.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.1
• /
• pp.50-59
• /
• 2009

There are two main problems in the current PLC ladder programming practices: First, currently there are no widely adopted systematic design methods to deal with PLC based control systems in the shop floor. So, the control logic design phase is usually omitted in current PLC programming development life cycle. Second, PLC ladder logic provides only microscopic view of system processes. As a result, it is difficult for FA engineers to have overall perspectives about the interaction of system components intuitively during the verification step of logic errors. To solve these problems, this paper proposed object-oriented design and automatic generation method of PLC ladder logic. Based on the proposed method, the computer software to assist the automatic ladder logic generation is also developed.