• The Transactions of the Korea Information Processing Society
• /
• 제3권3호
• /
• pp.640-654
• /
• 1996

This paper presents a synthesis method for multi-level Reed-Muller circuits using BDDs(Binary Decision Diagrams). The existing synthesis tool for Reed circuits, FACTOR, is not appropriate to the synthesis of large circuits because it uses matrix (map-type) to represent given logic functions, resulting in the exponential time and space in number of imput to the circuits. For solving this problems, a syntheisis method based on BDD is presented. Using BDDs, logic functions are represented compactly. Therefor storage spaces and computing time for synthesizing logic functions were greatly decreased, and this technique can be easily applied to large circuits. Using BDD representations, the proposed method extract best patterns to minimize multi-level Reed Muller circuits with good performance in area optimization and testability. Experimental results using the proposed method show better performance than those using previous methods〔2〕. For large circuits of considering the best input partition, synthesis results have been improved.

• Tunnel and Underground Space
• /
• 제17권2호
• /
• pp.119-127
• /
• 2007

Based on the critical plane approach, a methodology far predicting the anisotropic strength ot transversely isotropic rock is Proposed. It is assumed that the rock failure is governed by Hoek-Brown failure criterion. In order to establish an anisotropic failure function, Mohr envelope equivalent to the original Hoek-Brown criterion is used and the strength parameters m, s are expressed as scalar functions of orientation. The conjugate gradient method, which is one of the robust optimization techniques, is applied to the failure function for searching the orientation giving the maximum value of the anisotropic function. While most of the existing anisotropic strength models can be applied only when the stress condition is the same as that of conventional triaxial compression test, the proposed model can be applied to the general 3-dimensional stress conditions. Through the simulation of triaxial compression tests for transversely isotropic rock sample, the validity of the proposed method is investigated by comparing the predicted triaxial strengths and inclinations of failure plane.

• Journal of Korean Society of Transportation
• /
• 제19권6호
• /
• pp.143-160
• /
• 2001

Micro-simulation models have been recognized as an efficient assessment tool in developing traffic signal control technologies. In this paper a prototype of a microscopic simulation model which can be applied to evaluate the performance of traffic-adaptive signal control strategies was developed. In the simulation process, space-based arrays were appled to estimate parameters of car following and lane changing models. Two levels of link types, a micro-type and macro-type links, were also embodied in the simulation process. The proposed model was tested on a test network consists of 9 intersections. The performance of the proposed model was evaluated in link by link comparisons with the results of NETSIM. The results show that the proposed model could appropriately simulate traffic flows of the test network. The model also produces traffic adaptive signal timings, cycle lengths and green times for turning movements, based on the detector data. It implies that the optimization process of the model produces reasonable signal timings for the test network on the cycle basis.

• Tunnel and Underground Space
• /
• 제22권4호
• /
• pp.257-265
• /
• 2012

In this study, a series of CFD (Computational Fluid Dynamics) simulations carried out to evaluate the optimum design model of the internal flow path of drill bit. The Star-CCM+ code was adopted to simulate the multi-phase discharge flow of rock particles and flushing air during a drilling process. The input parameters for the flow simulation of rock particles and air were obtained from the in-situ drilling test results. After the three design factors were determined, the experimental design method (Taguchi method) was utilized to evaluate the optimum value of each factor.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• 제21권5호
• /
• pp.89-94
• /
• 2021

Recently, manufacturing companies are introducing many intelligent production processes that apply IIoT/ICT to improve competitiveness, and a system that maintains availability, improves productivity, and optimizes management costs is needed as a preventive measure using environmental data generated from air ejectors. Therefore, in this study, a dedicated control board was developed and LoRa communication module was applied to remotely control it to collect and manage information about compressors from cloud servers and to ensure that all operators and administrators utilize common data in real time. This dramatically reduced M/S steps, increased system operational availability, and reduced local server operational burden. It dramatically reduced maintenance latency by sharing system failure conditions and dramatically improved cost and space problems by providing real-time status detection through wired and mobile utilization by maintenance personnel.

• Journal of Convergence for Information Technology
• /
• 제11권4호
• /
• pp.19-25
• /
• 2021

This study proposes a digital twin implementation method through simulation so that the manufacturing process can be optimized in a manual manufacturing site. The scope of the proposal is a knowledge management mechanism that collects manual motion with a sensor and optimizes the manufacturing process with repetitive experimental data for motion recognition. In order to achieve the research purpose, a simulation of the distribution site was conducted, and a plan to create an optimized digital twin was prepared by repeatedly experiencing the work simulation based on the basic knowledge expressed by the worker's experience. As a result of the experiment, it was found that it is possible to continuously improve the manufacturing process by transmitting the result of configuring the optimized resources to the physical system by generating the characteristics of the work space configuration and working step within a faster time with the simulation that creates the digital twin.

• Journal of the Korea Society of Computer and Information
• /
• 제26권12호
• /
• pp.29-43
• /
• 2021

In this paper, a new approach to solve the constrained dynamic programming is proposed by using the constraint programming. While the conventional dynamic programming scheme has the state space augmented with states on constraints, this approach, without state augmentation, represents states of constraints as domains in a contraining programming solver. It has a hybrid computational mechanism in its computation by combining solving the Bellman equation in the dynamic programming framework and exploiting the propagation and inference methods of the constraint programming. In order to portray the differences of the two approaches, this paper solves a simple version of the long-term car rental financing problem. In the conventional scheme, data structures for state on constraints are designed, and a simple inference borrowed from the constraint programming is used to the reduction of violation of constraints because no inference risks failure of a solution. In the hybrid approach, the architecture of interface of the dynamic programming solution method and the constraint programming solution method is shown. It finally discusses the advantages of the proposed method with the conventional method.

• Tunnel and Underground Space
• /
• 제29권2호
• /
• pp.108-123
• /
• 2019

In recent years, as safety management in underground mines has become more important in the worldwide, mine safety management technologies combining information communication technology such as real-time worker position tracking, monitoring system and equipment remote control have been developed. Wireless communication system is mainly applied to these technologies for the flexibility of network configuration. There are some cases the monitoring system was installed in domestic underground mines, but, it is necessary to develop the technology more suitable for domestic mining standard. In this study, we developed the real-time environmental monitoring system using ZigBee technology and examined the result of application to domestic limestone mine. Furthermore, applicability of the developed environment monitoring system to $VentSim^{TM}$ LiveView was checked. This study is expected to contribute to the related studies like the optimization of the ventilation system in underground mines.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• 제24권11호
• /
• pp.1477-1483
• /
• 2020

The stability guarantee of wireless network based control systems is still challenging due to the lossy links and node failures. This paper proposes a hierarchical cluster-based network protocol called robust wireless sensor and actuator network (R-WSAN) by combining time, channel, and space resource diversity. R-WSAN includes a scheduling algorithm to support the network resource allocation and a control task sharing scheme to maintain the control stability of multiple plants. R-WSAN was implemented on a real test-bed using Zolertia RE-Mote embedded hardware platform running the Contiki-NG operating system. Our experimental results demonstrate that R-WSAN provides highly reliable and robust performance against lossy links and node failures. Furthermore, the proposed scheduling algorithm and the task sharing scheme meet the stability requirement of control systems, even if the controller fails to support the control task.

• KIPS Transactions on Computer and Communication Systems
• /
• 제10권2호
• /
• pp.53-58
• /
• 2021

In this paper, an alternative finite memory structure(FMS) smoothing filter is developed for discrete-time state-space model with a control input. To obtain the FMS smoothing filter, unbiasedness will be required beforehand in addition to a performance criteria of minimum variance. The FMS smoothing filter is obtained by directly solving an optimization problem with the unbiasedness constraint using only finite measurements and inputs on the most recent window. The proposed FMS smoothing filter is shown to have intrinsic good properties such as deadbeat and time-invariance. In addition, the proposed FMS smoothing filter is shown to be equivalent to existing FMS filters according to the delay length between the measurement and the availability of its estimate. Finally, to verify intrinsic robustness of the proposed FMS smoothing filter, computer simulations are performed for a temporary model uncertainty. Simulation results show that the proposed FMS smoothing filter can be better than the standard FMS filter and Kalman filter.