• 전자공학회논문지A
• /
• 제31A권2호
• /
• pp.94-103
• /
• 1994

In testing for practical scan disigned logic circuits, there may exist logic value constraints on some part of primary inputs due to various requirements on design and test. This paper presents a logic value system called taboo logic values which targets the test pattern generation of logic circuits under logic value constraints. The taboo logic system represents the logic value constraints and identifies additional logic value constraints through the implication of the tqaboo logic values using a taboo logic calculus. Those identified logic value constraints will guide the search during the test pattern generation of avoid the unfruitful searches and to identify redundant faults due to the logic value constraints very quickly. Finally, experimental results on ISCAS85 benchmark circuits will demonstrate the efficiency of the taboo logic values.

• 한국정보디스플레이학회:학술대회논문집
• /
• 한국정보디스플레이학회 2003년도 International Meeting on Information Display
• /
• pp.227-229
• /
• 2003

We present a process for printing active matrix displays. In this process, transistors are fabricated using soluble semi-conducting and conducting materials. Accurate definition of the transistor channel and other circuit components is achieved by direct inkjet printing combined with surface energy patterning. We present results on our 4,800 pixel, 50 dpi, active matrix displays.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제14권3호
• /
• pp.188-199
• /
• 2014

Although the fuzzy logic controller is superior to the proportional integral derivative (PID) controller in motor control, the gain tuning of the fuzzy logic controller is more complicated than that of the PID controller. Using mathematical analysis of the proportional derivative (PD) and fuzzy logic controller, this study proposed a design method of a fuzzy logic controller that has the same characteristics as the PD controller in the beginning. Then a design method of a fuzzy logic controller was proposed that has superior performance to the PD controller. This fuzzy logic controller was designed by changing the envelope of the input of the of the fuzzy logic controller to nonlinear, because the fuzzy logic controller has more degree of freedom to select the control gain than the PD controller. By designing the fuzzy logic controller using the proposed method, it simplified the design of fuzzy logic controller, and it simplified the comparison of these two controllers.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 II
• /
• pp.907-910
• /
• 2003

We have developed Logic Design Training Kit for studying, actual training, designing of FPGA(Xillinx) or CPLD(ALTERA CPLD), the Digital Logic Device. This training kit has 12 matrix keys, RS232 port for serial communication and uses LED array. six FND(Dynamic), LCD as display part. That is standard specification for digital logic training kit. Special point of this kit is that we make two logic device trainig kit. This two logic device kit have more smaller and simple architecture because only uses one chip. That chip already includes a lot of functions that need for training kit, such as : complex logic circuit needed the two kind of logic devices, 16 way of system clock deviding function, serial communication interrupt....etc. We called that one chip is Center Bridge Chipset ; Xillinx FPGA Spartan2. User can select between using one device of FPGA or CPLD, or uses both them. Because of, Center Bridge Chipset has profitable architecture. it can work as Logic Device's networking with Master-Slave connection When using both logic devices.

• 전자공학회논문지A
• /
• 제30A권12호
• /
• pp.117-124
• /
• 1993

In this paper we propose a new thchnology mapping algorithm for multiplexer-based FPGA's The algorithm consists of three phases` First, it converts the logic functions and the basic logic mocule into BDD's. Second. it covers the logic function with the basic logic modules. Lastly, it reduces the number of basic logic modules used to implement the logic function after going through cell merging procedure. The binate selection is employed to determine the order of input variables of the logic function to constructs the balanced BDD with low level. That enables us to constructs the circuit that has small size and delay time. Technology mapping algorithm of previous work used one basic logic module to implement a two-input or three-input function in logic functions. The algorithm proposed here merges almost all pairs of two-input and three-input functions that occupy one basic logic module. and improves the mapping results. We show the effectiveness of the algorithm by comparing the results of our experiments with those of previous systems.

• 논리연구
• /
• 제14권1호
• /
• pp.55-76
• /
• 2011

이 논문은 uninorm의 한 체계인 WUML(Weak Uninorm Mingle Logic)을 다룬다. 먼저 WUML을 도입하고, 그 체계에 상응하는 대수적 구조를 정의한다. 그런 다음 그 체계의 대수적 완전성을 증명한다. 끝으로 WUML과 IUML의 표준적 완전성을 증명한다.

• 전자공학회논문지A
• /
• 제32A권10호
• /
• pp.93-101
• /
• 1995

The evaluation of the logic capability and the library generation method of the multiplexor-based logic module is described. Optimizing logic module for silicon area and logic capability is essential to build a efficient FPGAs(Field-Programmable Gate Arrays). Because the multiplexor-based logic module can implement a large number of functions, it presents difficulties for library-based approaches. However, the logic functions of the logic module can be significantly reduced by lmiting the number of variables and sum-of-products and by removing same functions with different variable ordering using algorithm presented in this paper.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제38권2호
• /
• pp.159-164
• /
• 1999

The purpose of this paper is to find role of in and logic in creative problem solving process. Intuition and logic have played an important role in creative problem solving process. Nevertheless, Intuition has been treated less importantly than logic. Therefore, I intend to review the role of intuition, and then the relationship of intuition and logic, and the role of intuition and logic in creative problem solving process. Although intuition gives an important clue in problem solving process, it may sometimes cause an error. This fact gives an idea that intuition and logic have to be harmoniously cultivated. In fact, Intuition and logic have been playing a complementary role in creative problem solving process. A creative learner is regarded as a mathematician of his age. It must be through intuition and logic that he/she solves the problem creatively, just as a mathematician invents the new mathematical fact through unconscious and conscious process. In this respective, teachers also should make every effort to cultivate intuition and logic themselves.

• 논리연구
• /
• 제8권2호
• /
• pp.85-107
• /
• 2005

Kleene first investigated a three-valued system which follows the evaluations of the Lukasiewicz infinite-valued logic ${\L}C$ with respect to negation, conjunction, and disjunction, and treats $\rightarrow$ as material-like implication in the sense that A $\rightarrow$ B is defined as ${\sim}A{\vee}B$ in its evaluation. Diense and Rescher extended it to many-valued logic and infinite-valued logic, respectively. This paper investigates a variant of the infinite-valued Kleene-Diense logic KD, which we shall call strong Kleene-Diense logic (sKD): sKD has the same evaluations as KD except that sKD takes a variant of Kleene-Diense implication. Following the idea of Dunn [2], we provide algebraic completeness for sKD together with its deduction theorem.

• 논리연구
• /
• 제11권2호
• /
• pp.57-91
• /
• 2008

철학적 문제들의 발생은 언어의 논리에 대한 오해에 기인한다는 신념에 따라, 비트겐슈타인의 철학적 탐구는 언제나 언어의 논리 문제를 중심으로 전개되었다. 그의 철학적 작업은 실로 논리적 탐구였다고 할 수 있다. 그러나 그가 생각한 언어의 논리란 무엇인가? 그것은 처음부터 언어의 문법으로서 이해되었지만, 이 이해에는 그의 전후기에 중요한 변화가 있었다. 초기에 그는 언어의 논리를 이상적 표기법에서 실현되는 진리 함수적 구문론과 같은 것으로 이해했으나, 후기에 그는 언어의 논리를 언어놀이의 다양한 언어 사용 규칙들로서 보는 데로 나아갔다. 그것은 논리를 모든 가능성이 미리 규정되어 있는 매우 엄격하고 이상적인 하나의 보편적 문법 체계로서 보는 데서부터, 논리를 미리 생각되지 않은 가능성에 열려 있고 언어놀이들에 특유한 다양한 언어 사용 규칙들로 이루어진 문법 체계들로서 보게 되는 변화이다. 이 글은 그의 전후기 논리관의 상이한 핵심과 그 변화 이유를 다루고 있다. 특히 논리의 자율성과 필연성에 대한 그의 전후기의 관점 변화가 다루어진다.