• 논리연구
• /
• 제17권2호
• /
• pp.253-287
• /
• 2014

영어 'any'는 일차술어논리에서 'every', 'all', 'each' 등과 유사하게 다루어지지만, 자연언어에서 이들은 서로 다른 의미를 갖는다. 특히 'any'는 부정어와 함께 사용되는데, 언어학자들은 이 현상에 주목하고 이를 설명하고자 하였다. 필자는 기존의 언어학적 설명이 만족스럽지 못한 점을 지적하고 벤들러가 'any'의 논리적 특성에 관해서 오래 전에 제시한 철학적 통찰에 주목한다. 필자의 분석에 따르면 'any'는 벤들러가 '선택의 자유'라고 부르는 특성을 일차적으로 가지며 파인이 '임의의 대상'이라고 부르는 것을 가리킨다. 이 과정에서 필자는 'any'의 논리적 특성이 한국어 '아무'의 분석을 통해서 더 잘 드러난다는 점을 보인다. 필자는 이러한 분석이 중요한 철학적 함축을 갖는다고 생각하며, 그 한 가지 사례로 보편 일반화 규칙과 서문의 역설이 제기하는 문제가 'any'의 논리적 특성에 대한 분석을 통해서 새롭게 조망될 수 있음을 보인다.

• Journal of Mechanical Science and Technology
• /
• 제15권11호
• /
• pp.1482-1489
• /
• 2001

Thermally-induced errors originating from machine tool errors have received significant attention recently because high speed and precise machining is now the principal trend in manufacturing proce sses using CNC machine tools. Since the thermal error model is generally a function of temperature, the thermal error compensation system contains temperature sensors with the same number of temperature variables. The minimization of the number of variables in the thermal error model can affect the economical efficiency and the possibility of unexpected sensor fault in a error compensation system. This paper presents a thermal error model with minimum number of variables using a fuzzy logic strategy. The proposed method using a fuzzy logic strategy does not require any information about the characteristics of the plant contrary to numerical analysis techniques, but the developed thermal error model guarantees good prediction performance. The proposed modeling method can also be applied to any type of CNC machine tool if a combination of the possible input variables is determined because the error model parameters are only calculated mathematically-based on the number of temperature variables.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1993년도 Fifth International Fuzzy Systems Association World Congress 93
• /
• pp.1281-1284
• /
• 1993

By the exponential representation form (EF) for fuzzy logic, any fuzzy value a (in fuzzy valued logic or fuzzy linguistic valued logic) can be represented as Bc, where B is called the truth base and C the confidence exponent. This paper will propose the basic concepts of this form and discuss its interesting properties. By using a different truth base, the exponential form can be used to represent the positive and the negative logic in fuzzy valued logic as well as in fuzzy linguistic valued logic. Some Simple application examples of EF for approximate reasoning are also illustrated in this paper.

• 대한전자공학회논문지
• /
• 제24권2호
• /
• pp.338-346
• /
• 1987

This paper describes a method for verifying whether a given geometrical layout correcdtly reflects the original logic level description. The logic description extracted from layout data was directly compadred with the original logic diagram generated at logic level design stage where the logic diagram is represented as a weighted multi-place graph. The comparison is based on graph isomorphism and error messages(error categories and locations)are invoked if any difference is found between the two logic descriptions. An efficient partitioning algorithm which consists of two steps, candidate selection and equal weight partitioning procedure, enables the entire verification process to occur in O(n log n) time.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제15권2호
• /
• pp.126-131
• /
• 2015

Studies on the control of inverted pendulum type systems have been widely reported. This is because this type of system is a typical complex nonlinear system and may be a good model to verify the performance of a proposed control system. In this paper, we propose the design of two fuzzy logic control systems for the control of a Segway mobile robot which is an inverted pendulum type system. We first introduce a dynamic model of the Segway mobile robot and then analyze the system. We then propose the design of the fuzzy logic control system, which shows good performance for the control of any nonlinear system. In this paper, we here design two fuzzy logic control systems for the position and balance control of the Segway mobile robot. We demonstrate their usefulness through simulation examples. We also note the possibility of simplifying the design process and reducing the computational complexity. This possibility is the result of the skew symmetric property of the fuzzy rule tables of the system.

• 대한전자공학회논문지
• /
• 제26권10호
• /
• pp.1606-1616
• /
• 1989

In this paper, the design of DYNAMIC CMOS ARRAY LOGIC which has both advantages of dynamic CMOS and array logic circuits is proposed. The major components of DYNAMIC CMOS ARRAY LOGIC are two-stage dunamic CMOS circuits and an internal clock generator. The function block of dynamic CMOS circuits is realized as a parallel interconnection of NMOS transistors. Therefore the operating speed of DYNAMIC CMOS ARRAY LOGIC is much faster than the one of the conventional dynamic CMOS PLAs and static CMOS PLA. Also, the charge redistribution problem by internl delay is solved. The internal clock generator generates four internal clocks that drive all the dynamic CMOS circuits. During evaluation, two clocks of them are delayed as compared with others. Therefore the race problem is completoly eliminated. The internal clock generator also prevents the reduction of circuit output voltage and noise margin due to leakage current and charge coupling without any penalty in circuit operating speed or chip area utilization.

• Journal of the Optical Society of Korea
• /
• 제16권4호
• /
• pp.432-442
• /
• 2012

In this paper, we propose, analyze and simulate the performances of some new plasmonic logic gates in two dimensional plasmonic waveguides with nanodisk resonators, using the numerical method of finite difference time domain (FDTD). These gates, including XOR, XNOR, NAND, and NOT, can provide the highly integrated optical logic circuits. Also, by cascading and combining these basic logic gates, any logic operation can be realized. These devices can be utilized significantly in optical processing and telecommunication devices.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1993년도 Fifth International Fuzzy Systems Association World Congress 93
• /
• pp.993-996
• /
• 1993

This paper addresses the structure and its associated learning algorithms of a feedforward multi-layered connectionist network, which has distributed learning abilities, for realizing the basic elements and functions of a traditional fuzzy logic controller. The proposed neural-network-based fuzzy logic control system (NN-FLCS) can be contrasted with the traditional fuzzy logic control system in their network structure and learning ability. An on-line supervised structure/parameter learning algorithm dynamic learning algorithm can find proper fuzzy logic rules, membership functions, and the size of output fuzzy partitions simultaneously. Next, a Reinforcement Neural-Network-Based Fuzzy Logic Control System (RNN-FLCS) is proposed which consists of two closely integrated Neural-Network-Based Fuzzy Logic Controllers (NN-FLCS) for solving various reinforcement learning problems in fuzzy logic systems. One NN-FLC functions as a fuzzy predictor and the other as a fuzzy controller. As ociated with the proposed RNN-FLCS is the reinforcement structure/parameter learning algorithm which dynamically determines the proper network size, connections, and parameters of the RNN-FLCS through an external reinforcement signal. Furthermore, learning can proceed even in the period without any external reinforcement feedback.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국제학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.24-29
• /
• 1993

In this paper, the estimation of the structure of a logic circuit under test is made from the observation of the input-output correlation function by use of M-sequence, from which we can estimate whether or not any fault exist in the logic circuit. Especially, investigation was made in case of the 2_stage logic circuit. We checked theoretically the sequence of correlation function, and we have shown that the correlation function is a function of period of M-sequence only, land the appearing number of correlation function in a period is a constant value depending on the logic circuit only. And by computer simulations we have shown that the structure of the circuit under test can be estimated from the observation of sequence of correlation function.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 춘계학술대회 논문집
• /
• pp.1001-1005
• /
• 2003

Most electronic chassis control systems until today have been designed with optimization on its own performance. Recently, however. importance of the global chassis control (GCC) concept that aims to achieve optimal performance on a global basis is more emphasized than ever, as the x-by-wire technology is rapidly progressing. In this research, a study has been done for developing a GCC logic for combining longitudinal, lateral, and vertical chassis control subsystems. A simulation has been performed to investigate interactions among the subsystems, and based upon the results, a GCC logic has been developed. The logic has been tested under various driving conditions. and the results have been compared with those from implementing subsystems without any GCC logic.