• Journal of Information Display
• /
• v.6 no.1
• /
• pp.17-21
• /
• 2005

We explored a new way of designing dynamic logic gates with low temperature polysilicon thin film transistors to increase the speed. The proposed architecture of logic gates utilizes the structural advantage of smaller junction capacitance of thin film transistors. This method effectively blocks leakage of current through the thin film transistors. Furthermore, the number of transistors used in logic gates is reduced thereby reducing power consumption and chip area. Through HSPICE .simulation, it is confirmed that the circuit speed is also improved in all logic gates designed.

• Journal of applied mathematics & informatics
• /
• v.14 no.1_2
• /
• pp.69-80
• /
• 2004

We present a construction of the linear reduction of Hilbert type proof systems for propositional logic to if-then-else equational logic. This construction is an improvement over the same result found in [4] in the sense that the technique used in the construction can be extended to the linear reduction of first-order logic to if-then-else equational logic.

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1984.04a
• /
• pp.22-24
• /
• 1984

In this paper, the (15,7) cylic codesused EG(2,2) were decoded by one step majority logic decoding. This decoding algorithm is based on the properties of finite geometries and can be simply implemented for moderate length n. especially one step majority logic decoding is attractive because the complexity and the cost of the majority logic decoder increase very rapidly with L, the number of decoding steps. The theorectical and experimental results show that the majority logic decoding presented in this paper is a relatively effective decoding scheme.

• Proceedings of the IEEK Conference
• /
• 2002.07a
• /
• pp.220-223
• /
• 2002

The digital logic systems(DLS) is classified into digital combinational logic systems(CDLS) and digital sequential logic systems(SDLS). This paper presents a method of constructing the digital sequential logic systems without feedback. Firstly we assign all elements in Finite Fields to P-valued digit codes using mathematical properties of Finine Fields. Also, we discuss the operarional properties of the building block T-gate that is used to realizing digital sequential logic systems over Finite Fields. Then we realize the digital sequential logic systems without feedback. This digital sequential logic systems without feedback is constructed ny following steps. Firstly, we assign the states in the state-transition diagram to state P-valued digit dodo, then we obtain the state function and predecessor table that is explaining the relationship between present state and previous states. Next, we obtained the next-state function and predecessor table. Finally, we realize the circuit using T-gate and decoder.

• 제어로봇시스템학회:학술대회논문집
• /
• 1990.10a
• /
• pp.634-638
• /
• 1990

In this paper, the architecture of a dataflow logic solving processor for programmable logic controller is proposed. As the proposed DFLSP (dataflow logic solving processor) is designed based on the dataflow architecture, it has inherently concurrent processing and data synchronization capabilities. The proposed DFLSP is adequate for high speed programmable logic controllers and gets rid of data synchronization problem in hardware level. The performance of the proposed DFLSP is analyzed using computer simulations and prototype hardware. With single processing element, the logic solving time is 144 usec per 1K steps of logic program and with eight processing elements, the logic solving time is 23 usec per 1K steps of logic program with reasonable assumptions.

• Journal of Korean Society of Transportation
• /
• v.14 no.2
• /
• pp.89-118
• /
• 1996

The development and implementation of a real-time, traffic adaptive control scheme based on fuzzy logic through Video Image Detector systems (VIDs) is presented. Through VIDs based image processing, fuzzy logic can be used for a real-time traffic adaptive signal control scheme. Fuzzy control logic allows linguistic and inexact traffic data to be manipulated as a useful tool in designing signal timing plans. The fuzzy logic has the ability to comprehend linguistic instructions and to generate control strategy based on a priori verbal communication. The implementation of fuzzy logic controller for a traffic network is introduced. Comparisons are made between implementations of the fuzzy logic controller and the actuated controller in an isolated intersection. The results obtained from the application of the fuzzy logic controller are also compared with those corresponding to a pretimed controller for the coordinated intersections. Simulation results from the comparisons indicate the performance of the system is between under the fuzzy logic controller. Integration of the aforementioned schemes into and ATMS framework will lead to real-time adjustment of the traffic control signals, resulting in significant reduction in traffic congestion.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• 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.

• Journal for History of Mathematics
• /
• v.21 no.1
• /
• pp.17-28
• /
• 2008

This Paper introduces a historical background of mathematical logic. Logic and mathematics were not developed dependently until the mid of the nineteenth century, when two streams of logic and mathematics came to form a river so that brought forth synergy effects. Since the mid-nineteenth century mathematization of logic were proceeded while attempts to reduce mathematics to logic were made. Against this background $G{\ddot{o}}del's$ proof shows the limitation of formalism by proving that there are true arithmetical propositions that are not provable.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.515-520
• /
• 1996

Since the conventional Westinghouse DNB (Departure from Nucleate Boiling) protection logic is implemented on analog circuits, the logic must be very simple. However, if the DNB protection logic is implemented in a digital processor, a little bit of complexity can be allowed to increase the thermal (or operation) margin. The Westinghouse OTΔT DNB protection logic heavily restricts the operation region by applying the same logic for a full range of pressure in order to maintain its simplicity. In this work, the different DNB protection logic is used for several regions of pressure. The proposed method is applied to Yonggwang 1&2 nuclear power plants and it is calculated that the improved OTΔT can have 5.07% percent more thermal margin than the conventional OTΔT trip logic.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.5 no.2
• /
• pp.3-12
• /
• 1995

A controller utilizing fuzzy logic is developed to control the speed of a motor in a washing machine by choosing an appropriate phase. Due to the hardship imposed on obtaining a result from a relation established for inputs, present speed and present rate of speed, and ouput, a phase, of the system that can be tested against an experimental result, it is impossible to apply a genetic algorithm to fine-tune the fuzzy logic controller. To avoid this difficulty, a proper assumption that the parameters of an if-part of a primary fuzzy logic controller have a functional relationship with an error between computed values and experimental ones in made. Setting up of a fuzzy relationship between the parameters and the errors is then achieved through experimentally obtained data. Genetic Algorithm is then applied to this secondary fuzzy logic controller to verify the fuzzy logic. In the verification process, the primary fuzzy logic controller is used in obtaining experimental results. In this way the kind of difficulty in obtaining enough experimental values used to verify the fuzzy logic with genetic algorithm is gotten around. Selection of the parameters that would produce the least error when using the secondary fuzzy logic controller is done with applying genetic algorithm to the then-part of the controller. In doing so the optimal values for the parameters of the if-part of the primary fuzzy logic controller are assumed to be contained. The experimental result presented in the paper validates the assumption.