• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.3
• /
• pp.425-438
• /
• 1993

Due to the producer-consumer dependency of shared variables, the potential parallelism embeded in the logic programming language has not been fully examined. The method proposed in this paper eliminates the dependency of shared variables by introducing number-sequenced variables in expanding an AND-OR proof tree. Basically, the execution of a logic program can be divided into two phases : expanding an AND-OR tree and proving the tree by matching facts with leaf nodes. In the course of the first phase, a set of number-sequenced variables are produced by expanding an AND-OR tree in the breadth-first searching. Based on the information of number-sequence, each of them is verified in the second phase in order to prove the tree. Consequently, the proposed algorithm can explore more parallelism without the dependency of shared variables.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.3
• /
• pp.491-499
• /
• 2007

In this paper, we present a design method of the ternary logic circuits based on Reed-Muller expansions. The design method of the presented ternary logic circuits checks the degree of each variable for the coefficients of Reed-Holler Expansions(RME) and determines the order of optimal control input variables that minimize the number of Reed-Muller Expansions modules. The order of optimal control input variables is utilized the computation of circuit cost matrix. The ternary logic circuits of the minimized tree structures to be constructed by RME modules based on Reed-Muller Expansions are realized using the computation results of its circuit cost matrix. This method is only performed under unit time in order to search for the optimal control input variables. Also, this method is able to be programmed by computer and the run time on programming is $3^n$.

• Journal of the Society of Naval Architects of Korea
• /
• v.39 no.3
• /
• pp.75-80
• /
• 2002

In these days of severe struggle for existence, the world has changed a great deal to global and digital oriented period. The enterprises try to introduce new management and production system to adapt such a change. But, if the only new technologies are applied to an enterprise without definite analysis about manufacturing, failure fellows as a logical consequence. Hence, enterprise must analyze manufacturing system definitely and needs new methodologies to mitigate risk. This study suggests that the new approach, which is systems approach for process improvement, is organized to systems analysis, systems diagnosis, and systems verification. Systems analysis analyzes manufacturing systems with object-oriented methodology-UML(Unified Modeling language) from a point of product, process, and resource view. Systems diagnosis identifies the constraints to optimize the system through scientific management or TOC(Theory of constraints). Systems verification shows the solution with virtual manufacturing technique applied to the core problem which emerged from systems diagnosis. This research shows the artifacts to improve the productivity with the above methodology applied to forming shop. UML provides the definite tool for analysis and re-usability to adapt itself to environment easily. The logical tree of TOC represents logical tool to optimize the forming shop. Discrete event simulator-QUEST suggests the tool for making a decision to verify the optimized forming shop.

• Korean System Dynamics Review
• /
• v.12 no.4
• /
• pp.63-92
• /
• 2011

The purpose of this paper is to investigate a possibility of applying multimethodological approach for solving a dilemma. The motivation of this attempt is that the two different approaches, the system dynamics and the theory of constraints, resemble each other in having mental models for describing the target system and using graphic tools for representing those mental models. After a brief discussion on the comparison of the two approaches, a combined method applying to the problem of dilemma is suggested. For an experimental example, the proposed approach is applied to the sales and finance conflict on an inventory issue. The study shows that the suggested approach is able to complement each other's drawbacks. Especially constructing a stock-and-flow model and implementing a computer simulation would be very useful for quantifying the system's behavior which is hardly tracked down when applying the theory of constraints alone.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.382-384
• /
• 2002

본 논문에서는 논리학에서 전통적으로 다루어 온 패턴인 삼단논증의 결론을 DNA 컴퓨팅을 이용해 증명해 내는 방법을 제시한다. 연역 장치로 진리나무 방법의 하나(resolution refutation)를 사용하기 위해서, 삼단논증의 전제들과 결론의 부정을 예화시킨 후 CNF 형태로 바꾸어 준다. 그리고 이것을 이중 가닥의 DNA 분자로 디자인한 후, 해소 반응을 통해 모순, 즉 닐(nil)을 발견하게 되면, 증명은 완료된다.

• Journal of the military operations research society of Korea
• /
• v.36 no.3
• /
• pp.83-93
• /
• 2010

In this paper, we propose a new expert system for close combat in military war game model for training. Simulation logic for damage assesment is one of the main simulation functions in military war game. In Changcho 21's model which is the war game model for Republic of Korea Army corps and division, the main function of close combat's damage assessment has not been calculated by Changcho 21's model, but by COBRA which was made by US Army and has been the expert system for close combat. Results which were calculated in COBRA were sent to Changcho 21's model through a cable network. And Changcho 21's model finally calculated the value of damage assessment with the results. In this paper, we develop an new expert system for close combat using decision tree. The experimental results show that the proposed expert system has similar performance to COBRA and has less computing complexity. And it can substitute for COBRA and be applicable to battlefield.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.7
• /
• pp.1653-1659
• /
• 2013

In this paper, we propose a new ECAD software for efficiently analyzing and debugging of digital architecture implemented in Verilog HDL or VHDL codes. This software firstly elaborates HDL codes so as to extract internal architecture structure, then generates several graphical aids such as hierarchical schematics by applying placement and routing algorithm, object tree to show configuration of each module, instance tree to show hierarchical structure of instances, and SPD (Signal Propagation Diagram) to show internal interconnections. It is more important function that same objects in different views(HDL codes, object tree, instance tree, SPD, waveform etc.) can be highlighted at the starting any object. These functions are sure to improve efficiency of manual job to fix bugs or to analyze HDL codes.

• Proceedings of the Korea Society of Information Technology Applications Conference
• /
• 2002.11a
• /
• pp.199-204
• /
• 2002

Reliability Centered Maintenance(RCM) was initially developed for the commercial aviation industry in the late 1960s and now is equally applicable to a variety of equipment other than aircraft. RCM is a method for establishing a preventive maintenance program which will efficiently and effectively allow the achivement of the required safety and availability levels of equipment and structures. RCM provides for the use of a decision logic tree to identify applicable and effective preventive maintenance requirements for equipment and structures. The end result of working through the decision logic is a judgement as to the necessity of performing a maintenance task. In this paper, we provide guiding principles based on IEC 60300-3-11 for RCM analysis methods and operational method of structure and equipment.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.11a
• /
• pp.199-204
• /
• 2002

Reliability Centered Maintenance(RCM) was initially developed for the commercial aviation industry in the late 1960s and now is equally applicable to a variety of equipment other than aircraft. RCM is a method for establishing a preventive maintenance program which will efficiently and effectively allow the achivement of the required safety and availability levels of equipment and structures. RCM provides for the use of a decision logic tree to identify applicable and effective preventive maintenance requirements for equipment and structures. The end result of working through the decision logic is a judgement as to the necessity of performing a maintenance task. In this paper, we provide guiding principles based on IEC 60300-3-11 for RCM analysis methods and operational method of structure and equipment.

• Journal of Intelligence and Information Systems
• /
• v.20 no.4
• /
• pp.43-58
• /
• 2014

As the use of trading systems has increased rapidly, many researchers have become interested in developing effective stock market prediction models using artificial intelligence techniques. Stock market prediction involves multifaceted interactions between market-controlling factors and unknown random processes. A successful stock prediction model achieves the most accurate result from minimum input data with the least complex model. In this research, we develop a combination model of ${\pi}$-fuzzy logic and support vector machine (SVM) models, using a genetic algorithm to optimize the parameters of the SVM and ${\pi}$-fuzzy functions, as well as feature subset selection to improve the performance of stock market prediction. To evaluate the performance of our proposed model, we compare the performance of our model to other comparative models, including the logistic regression, multiple discriminant analysis, classification and regression tree, artificial neural network, SVM, and fuzzy SVM models, with the same data. The results show that our model outperforms all other comparative models in prediction accuracy as well as return on investment.