• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.15 no.3
• /
• pp.613-623
• /
• 2011

In this paper, we present a method on the construction of quinternary logic circuits using Perfect shuffle. First, we discussed the input-output interconnection of quinternary logic function using Perfect Shuffle techniques and Kronecker product, and designed the basic cells of performing the transform matrix and the reverse transform matrix of quinternary Reed-Muller expansions(QRME) using addition circuit and multiplication circuit of GF(5). Using these basic cells and the input-output interconnection technique based on Perfect Shuffle and Kronecker product, we implemented the quinternary logic circuit based on QRME. The proposed design method of QRME is simple and very efficient to reduce addition circuits and multiplication circuits as compared with other methods for same logic function because of using matrix transform based on modular structures. The proposed design method of quinternary logic circuits is simple and regular for wire routing and possess the properties of concurrency and modularity of array.

• Journal of the Korean Solar Energy Society
• /
• v.32 no.4
• /
• pp.96-102
• /
• 2012

The minimum airflow of VAV terminal boxes is a key factor for comfort, indoor air quality(IAQ) and energy cost. If the minimum airflow is not reasonable, it would waste energy and make IAQ problems. There are two types of VAV terminal box control logic. One is the single maximum, another is the dual maximum control logic. Dual maximum control logic is more efficiency way to reduce the energy consumption. It has a minimum airflow set point and a heating maximum set point. It allows the minimum airflow set point to be much lower than single maximum control logic. A building simulation was conducted to evaluate the energy consumption and the IAQ according to the control logic of the V AV terminal box. In the simulation, dual maximum control logic can save the energy up to 6.5% compared to the single maximum control logic.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.676-678
• /
• 2003

Microtunneling techniques play a crucial role in the construction of pipelines. This paper shows the automatic tunneling algorithm of microtunneling system using fuzzy logic technology to assist operators to assure the quality of microtunneling construction. To have effective output value of fuzzy controller, we slightly modified the conventional defuzzification methods. The proposed automatic tunneling algorithm shows good tunneling results comparable with those of experts.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.14 no.5
• /
• pp.503-510
• /
• 1989

This paper represents a method which construct Combinational Mutiple Valued Logic circuits. First, it constructs Combinational Multiple Valued Logic Cell as the input variable, Then, it can be applied to the general case by expanding ti, thus these series of process is simple and regular. The construction theory of Combinational Multiple Valued Logic circuits, representes here has regularity, simplicity and modularity, especially, in case imput variables are incresed this theory also has characteristics of expansion.

• Journal of Drive and Control
• /
• v.13 no.2
• /
• pp.51-58
• /
• 2016

The present study deals with the issue of clamping force control of an injection molding machine using 2-way cartridge valve based logic circuit. The operating principle for the cartridge valve is described with its construction and static opening behavior. Basic module circuits are designed first and analysed according to the basic functions. Then they are combined with a virtual design model for the clamping mechanism to simulate the control performance of the overall system. The backlash inherent in the mechanism is considered while evaluating the time-delay in the process of clamping force build-up. The effects of a couple of design parameters in backlash, i.e., interval and stiffness have been demonstrated in the time-domain.

• Korean Journal of Logic
• /
• v.7 no.1
• /
• pp.1-22
• /
• 2004

The Kantian idea that some judgments are synthetic even in the area of a priori judgments cannot be accepted in its original version, but a modification of the notions 'analytic' and 'synthetic' discovers a rational core of that idea. The new definition of 'analytic' concerns concepts and makes it possible to distinguish between analytic concepts, which are effective ways of computing recursive functions, and synthetic concepts, which either define non-recursive functions, or define recursive functions in an ineffective way. To justify this claim we have to construe concepts as abstract procedures not reducible to set-theoretical entities.

• Korean Journal of Logic
• /
• v.20 no.3
• /
• pp.313-333
• /
• 2017

In this paper, we deal with standard completeness of some axiomatic extensions of the involutive mianorm logic IMIAL. More precisely, first, seven involutive mianorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for four of them using construction in the style of Jenei-Montagna.

• Korean Journal of Logic
• /
• v.18 no.2
• /
• pp.197-215
• /
• 2015

In this paper, we deal with standard completeness of some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, four involutive micanorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for two of them using construction in the style of Jenei-Montagna.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2000.11a
• /
• pp.375-389
• /
• 2000

Fuzzy logic ignores some information in the reasoning process. Neural networks are powerful tools for the pattern processing, but, not appropriate for the logical reasoning. To model human knowledge, besides pattern processing capability, the logical reasoning capability is equally important. Another new neural network called neural logic network is able to do the logical reasoning. Because the fuzzy inference is a fuzzy logical reasoning, we construct fuzzy inference network based on the neural logic network, extending the existing rule- inference. network. And the traditional propagation rule is modified. For the search strategies to find out the belief value of a conclusion in the fuzzy inference network, we conduct a simulation to evaluate the search costs for searching sequentially and searching by means of search priorities.

• Journal of architectural history
• /
• v.20 no.4
• /
• pp.45-60
• /
• 2011

The purpose of this paper is to research Gunnar Asplund's Woodland Chapel (1918-20) in terms of the revernacularization of classicism and to investigate into the matter of the constructional logic. The term 'revernacularization of classicism' was used by Alan Colquhoun to explain the process to return to the pure sources of classical architecture, and the case of a successful fusion of classicism and vernacular traditions was suggested by Demetri Porphyrios through Scandinavian Doricist sensibility in the early 20th century. Porphyrios's classicism, not as style but as sensibility, is premised on a constructional logic of vernacular, and is to achieve an aesthetic quality by its mythical elaboration. Woodland Chapel, a representative of the Scandinavian Doricism according to him, illustrates characteristics of the revernacularized classicism as in the fact that it thickly displays vernacular images at the same time as relying on classicism; in the return to primitive simplicity; and in the mythopoeic power. However, the constructional logic of this building was obscured in the capital of the portico columns, the interior dome, and the whole structure of the roof. Confronting this paradox, we have to remember that although Porphyrios emphasized the constructional logic he opened an aesthetic exit of the mythical elaboration, which is in accord with the concept of the tectonic as the poetics of construction. Woodland Chapel assumes atectonic features but is never anti-tectonic. Asplund intensified a poetic effect by setting the myth over construction in the chapel, and so it can be seen as a key example of the revernacularized classicism with the Doricist sensibility.