• 제어로봇시스템학회:학술대회논문집
• /
• 1989.10a
• /
• pp.418-420
• /
• 1989

Many complex industrial processes cannot be satisfactorily controlled using the results of modern control theory, mainly because their precise structure is unknown. However this is often balanced by a considerable amount of operator's heuristic knowledges for the process which is difficult to quantify and utilize. Fuzzy set theory is a relatively new concept which allows this qualitativeness to be expressed rigorously and therefore in this paper modified PI type fuzzy logic controller is introduced and its usefulness for control is assessed.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2018.05a
• /
• pp.470-471
• /
• 2018

This paper presents a design method for combinational digital logic systems using time domain based multiplexing and common multi-terminal extension decision diagrams. The proposed method can reduce the 1)hardware, 2)logic levels and 3)pins. In the logic system design, we use two types of decision diagrams(DDs), that is the common binary decision diagrams and CMTEDDs. Also, we propose an algorithms to derive common multiple-terminal binary decision diagrams from CBDDs, and CMTEDDs from CMTBDDs. The CMTEDDs over CBDDs is more compactness in terms of number of non-terminal nodes, where the nodes for output selection variables are not included in the non-terminal nodes. In the logic design, each non-terminal nodes of an CBDDs and an CMTEDDs is realized by a multiplexer(MUX). In addition, we compare the proposed TDBM realization with the conventional one.

• Korean Journal of Logic
• /
• v.23 no.1
• /
• pp.1-23
• /
• 2020

This paper deals with mianorm-based logics with right and left n-potency axioms and their fixpointed involutive extensions. For this, first, right and left n-potent logic systems based on mianorms, their corresponding algebraic structures, and their algebraic completeness results are discussed. Next, completeness with respect to algebras whose lattice reduct is [0, 1], known as standard completeness, is established for these systems via Yang's construction in the style of Jenei-Montagna. Finally, further standard completeness results are introduced for their fixpointed involutive extensions.

• Proceedings of the KIEE Conference
• /
• 1996.11a
• /
• pp.65-67
• /
• 1996

This paper presents the automatic construction and parameter optimization technique for the fuzzy logic controller using genetic algorithm. In general the design of fuzzy controller has difficulties in the acquisition of expert's knowledge and relies to a great extent on empirical and heuristic knowledge which, in many cases, cannot be objectively justified. Therefor the performance of the controller can be degraded in the case of plant parameter variations or unpredictable incident which the designer may lave ignored. And fuzzy logic controller parameters elicited form the expert may not be global. Some of these problems can be resolved by application of genetic algorithm. Finally, we provides the second order dead time plant to evaluate the feasibility and generality of our proposed method. Comparison shows that the proposed method can produce a fuzzy logic controller with higher accuracy and a smaller number of fuzzy roles than manually billed fuzzy logic controller.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.35C no.3
• /
• pp.69-78
• /
• 1998

This paper presented a method of extracting algorithm for Edge Multiple-Valued Decision Diagrams(EMVDD), a new data structure, from Binary Decision Diagram(BDD) which is resently using in constructing the digital logic systems based on the graph theory. We discussed the function minimization method of the n-variables multiple-valued functions and showed that the algorithm had the regularity with module by which the same blocks were made concerning about the schematic property of the proposed algorithm. We showed the EMVDD of Full Adder by module construction and verified the proposed algorithm by examples. The proposed method has the visible, schematical and regular properties.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.4
• /
• pp.225-233
• /
• 2009

The objective of this paper is to examine a construction method and verify PLC logic using the logical modeling and simulation of a virtual plant has complex manufacturing system and the domain of application is car body assembly line of automotive industrial operated by PLC Program. The proposed virtual plant model for the analysis of the construction method consists of three types of components which are virtual device, intermediary transfer and controller is modeled by logical model but it the case of the verification of PLC program, HMI and PLC logic in the field substitute for the controller. The implementation of the proposed virtual plant model is conducted PLC Studio which is an object-oriented modeling language based on logical model. As a result, proposed methods enable 3D graphics is designed in the analysis step to use for verification of PLC program without special efforts.

• Computers and Concrete
• /
• v.28 no.6
• /
• pp.605-619
• /
• 2021

Building Information Modeling (BIM) models are a powerful tool for preserving and using architectural history. Manually creating information models for such a significant number and variety of architectural monuments as Dong drum towers is challenging. The building logic based on "actual measurement construction" was investigated using the metamodel idea, and a metamodel-based automated modeling approach for the wood framework of Dong drum towers was presented utilizing programmable algorithms. Metamodels of fundamental frame kinds were also constructed. Case studies were used to verify the automated modeling's correctness, completeness, and efficiency using metamodel. The results suggest that, compared to manual modeling, automated modeling using metamodel may enhance the model's integrity and correctness by 5-10% while also reducing time efficiency by 10-20%. Metamodel and construction logic offer a novel way to investigate data-driven autonomous information-based modeling.

• International conference on construction engineering and project management
• /
• 2005.10a
• /
• pp.366-370
• /
• 2005

The construction environment is dynamic in nature and is characterized by various degrees of uncertainties. The uncertainties such as lack of coordination, non availability of resources, condition of temporary structures and varying weather conditions have a significant impact on estimating the duration of activities. These are subjective, vague and imprecisely defined and are expressed in subjective measures rather than mathematical terms. Conventionally, various quantitative techniques such as CPM and PERT have emerged in construction industry. These techniques cannot solve the above problems and rely on human experts which may not always be possible. In such situations Artificial Intelligence tools such as fuzzy sets and neural networks handle such variables and provide global strategies. The present paper evaluates the effect of qualitative factors to identify the activity duration using new intelligent approach. The results are compared with conventional methods for effective project management. A case study is considered to demonstrate the applicability of fuzzy logic for project scheduling.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2022.04a
• /
• pp.200-201
• /
• 2022

Off-Site Construction is being widely adopted as an alternative to solve endemic problems in construction industry such as low productivity and efficiency. However, it is strongly recommended to examine the transportation process to be optimized because it determines the size of a modular and influences the cost of the construction. Therefore, in this study simulation model for optimization of modular construction transportation plan was developed using AnyLogic. As a result of the study, the influence of trailer transport capacity and transport time increases as the number of modular which should be transported from factory to site increases.

• The KIPS Transactions:PartA
• /
• v.14A no.2
• /
• pp.107-116
• /
• 2007

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