• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2013.06a
• /
• pp.17-20
• /
• 2013

Many researches have been conducted in the field of constructing controllers for ships over 20 years. But still, ship automatic track-keeping controllers has not been designed for ship's automatic berthing as they considered nearly constant ship's speed. This study dealt with this problem to design track-keeping control on ship's model of SAE NURI using nonlinear mathematical expression. By using this control, the ship is auto track-kept in fare-way at reducing speed to anchorage place. The simulation results proved that this control can be adapted in ship's auto berthing in near future.

• Proceedings of the KIEE Conference
• /
• 1993.07a
• /
• pp.442-444
• /
• 1993

The design problem of the AGC (Automatic Gauge Control) without a gauge-meter and a load-cell for a reversing rolling mill will be considered in this paper. The proposed controller in this paper is designed using only the linearly approximated relationships between a roll gab, a metal thickness and a pressing force. The data transfer delaying can be released by using these relationships. To show the validity of the proposed control method, the results of the computer simulation and the mathematical analysis will be presented in this paper.

• International Journal of Contents
• /
• v.14 no.2
• /
• pp.24-29
• /
• 2018

In this paper, we propose an efficient traffic light detection (TLD) method as an advanced driver assistance system (ADAS) for elderly drivers. Since an increase in traffic accidents is associated with the aging population and an increase in elderly drivers causes a serious social problem, the provision of ADAS for older drivers via TLD is becoming a necessary(Ed: verify word choice: necessary?) public service. Therefore, we propose an economical TLD method that can be implemented with a simple black box (built in camera) and a smartphone in the near future. The system utilizes a color pre-processing method to differentiate between the stop and go signals. A mathematical morphology algorithm is used to further enhance the traffic light detection and a circular Hough transform is utilized to detect the traffic light correctly. From the simulation results of the computer vision and image processing based on a proposed algorithm on Matlab, we found that the proposed TLD method can detect the stop and go signals from the traffic lights not only in daytime, but also at night. In the future, it will be possible to reduce the traffic accident rate by recognizing the traffic signal and informing the elderly of how to drive by voice.

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.16 no.2
• /
• pp.203-209
• /
• 2018

To correctly predict the neutron behavior based on diffusion calculations, it is necessary to adopt well-specified boundary conditions using suitable diffusion approximations to transport boundary conditions. Boundary conditions such as the zero net-current, the Marshak, the Mark, the zero scalar flux, and the Albedo condition have been used extensively in diffusion theory to approximate the reflective and vacuum conditions in transport theory. In this paper, we derive and analyze these conditions to prove their mathematical validity and to understand their physical implications, as well as their relationships with one another. To show the validity of these diffusion boundary conditions, we solve a sample problem. The results show that solutions of the diffusion equation with these well-formulated boundary conditions are very close to the solution of the transport equation with transport boundary conditions.

• Journal of Korean Institute of Industrial Engineers
• /
• v.1 no.2
• /
• pp.27-38
• /
• 1975

This paper explores a quantitative decision-making system for planning production, inventories and work-force in a multi-item production system. The Multi-item Parametric Decision Rule (MPDR) model, which assumes the existence of two types of linear feed-back rules, one for work-force level and one for production rates, is basically an extension of the existing method of Parametric Production Planning (PPP) proposed by C.H. Jones. The MPDR model, however, explicitly considers the effect of manufacturing progress and other factors such as employee turn-over, difference in work-days between month etc., and it also provides decision rules for production rates of individual items. First, the cost relations of the production system are estimated in terms of mathematical functions, and then decision rules for work-force level and production rates of individual items are establised based upon the estimated objective cost function. Finally, a direct search technique is used to find a set of parameters which minimizes the total cost of the objective function over a specified planning horizon, given estimates of future demands and initial values of inventories and work-force level. As a case problem, a hypothetical decision rule is developed for a particular firm (truck assembly factory).

• Journal of Korean Institute of Industrial Engineers
• /
• v.37 no.3
• /
• pp.248-257
• /
• 2011

Cross docking is a logistics management concept in which items delivered to a terminal by inbound trucks are immediately sorted out, routed and loaded into outbound trucks for delivery to customers. Two main advantages by introducing a cross docking terminal are to consolidate multiple smaller shipment into full truck load and remove storage and order picking processes to save up logistics costs related to warehousing and transportation costs. This research considers the scheduling problem of trucks in the cross docking terminals with multi-door in an inbound and outbound dock, respectively. The trucks sequentially deal with the storage process at the one of inbound doors and the shipping process at the one of the outbound doors. A mathematical model for an optimal solution is derived, and genetic algorithms with two different chromosome representations are proposed. To verify performance of the GA algorithms, we compare the solutions of GAs with the optimal solutions and the best solution using randomly generated several examples.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.12 no.4
• /
• pp.106-113
• /
• 1998

The steam generator waste level control system in a nuclear power station has difficulty in its mathematical modeling and theoretical application in both a transient and steady state operation. Therefore, the stability problem of the conventional control methods brings many researches interests to the various methods of a system design in recent years. In this study, an improved loop shaping approach is proposed by applying the genetic algorithm to QFT (Quantitative Feedback Theory) in designing a control system in order to the performance of the system. And the effects of the proposed methods are shown by the simulation results.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2009.06a
• /
• pp.167-168
• /
• 2009

As the rapid increase of the container trade, most of the container terminals strive to improve the container handling productivity. Therefore, they consider to find efficient operating strategies and to introduce new container handling facilities. In terms of equipment, there are a variety of types of quay cranes. Single-lift crane operates only one container regardless of size and twin-lift crane operates two 20' containers or one 40' container simultaneously. Tandem crane, recently introduced, can operate four 20' containers or two 40' containers simultaneously. In this paper, we propose the mathematical model and the solution procedure of the ship loading scheduling problem for the tandem crane.

• Journal of KIISE
• /
• v.43 no.7
• /
• pp.812-819
• /
• 2016

This paper introduces and analyzes the theoretical basis and method of the conventional initial-value assignment problem and feasibility of image segmentation. The paper presents topological evidence and a method of appropriate initial-value assignment based on topology theory. Subsequently, the paper shows minimum conditions for feasibility of image segmentation based on separation axiom theory of topology and a validation method of effectiveness for image modeling. As a summary, this paper shows image segmentation with its mathematical validity based on topological analysis rather than statistical analysis. Finally, the paper applies the theory and methods to conventional Gaussian random field model and examines effectiveness of GRF modeling.

• Journal of Information Technology Services
• /
• v.11 no.4
• /
• pp.195-213
• /
• 2012

In ubiquitous environments, the Intelligent Transportation System (ITS) protocol is a typical service used to improve the quality of life for humans. The Vehicular Ad-hoc Network (VANET) protocol, a part of ITS, needs further study with regards to its support for high reliability, high speed mobility, data transmission efficiency, and so on. The IEEE 802.11 standard provides a high data rate channel, but it was designed for peer-to-peer network protocols. IEEE 802.11p also provides a high data rate channel, however, it only facilitates communication between roadside and on-board equipment. A VANET has characteristics that enable its topology to change rapidly; it can also be expanded to a multi-hop range network during communication. Therefore, the VANET protocol needs a way to infer the current topology information relating to VANET equipped vehicles. In this paper, we present the Multi-Beacon MAC Protocol, and propose a method to resolve the problem of beacon collisions in VANET through the use of this Multi-Beacon MAC protocol. Evaluation of the performance of Multi-Beacon MAC protocol by means of both mathematical analyses and simulation experiments indicate that the proposed method can effectively reduce beacon collisions and improve the throughput and the delay between vehicles in VANET systems.