• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.31A no.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.07a
• /
• 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
• /
• v.14 no.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.

• Proceedings of the IEEK Conference
• /
• 2003.07b
• /
• 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.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.30A no.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.

• Korean Journal of Logic
• /
• v.14 no.1
• /
• pp.55-76
• /
• 2011

Fixed-point conjunctive left-continuous idempotent uninorms have been introduced (see e.g. [2, 3]). This paper studies a system for such uninorms. More exactly, one system obtainable from IUML (Involutive uninorm mingle logic) by dropping involution (INV), called here WUML (Weak Uninorm Mingle Logic), is first introduced. This is the system of fixed-point conjunctive left-continuous idempotent uninorms and their residua with weak negation. Algebraic structures corresponding to the system, i.e., WUML-algebras, are then defined, and algebraic completeness is provided for the system. Standard completeness is further established for WUML and IUML in an analogy to that of WNM (Weak nilpotent minimum logic) and NM (Nilpotent minimum logic) in [4].

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.32A no.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.

• The Mathematical Education
• /
• v.38 no.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.

• Korean Journal of Logic
• /
• v.8 no.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.

• Korean Journal of Logic
• /
• v.11 no.2
• /
• pp.57-91
• /
• 2008

In accordance with his belief that philosophical problems arise from misunderstandings of the logic of our language, Wittgenstein's philosophical investigations were always focused on the problems of logic of language. Indeed, it can be said that his investigations were logical investigations. But what was the logic as conceived by him? He regarded logic as grammar from the beginning, but between his two different philosophical periods, there were important changes in his conceptions of grammar. In his earlier period, he understood the logic of language as the truth-functional syntax realizable in an ideal notation, while in his later period he regarded logic as the rules of language-use in various language games. It was a change from viewing logic as an ideally strict and universal system in which every logical possibilities are determined to viewing logic as an open system of non-strict grammatical rules specific to each language game. This paper deals with the gists of his earlier and later views on logic and the reasons for the change of his views, including specifically the reasons for the change of his views concerning the autonomy and necessity of logic as grammar.