• Journal of the military operations research society of Korea
• /
• v.32 no.2
• /
• pp.21-39
• /
• 2006

This paper presents a mixed linear and integer goal programming (GP) model to aid in strategic planning and scheduling of guard soldiers. The proposed model is a general-purpose model, hence can be used to produce an optimal schedule with respect to any user-provided combination of guard post objectives and soldier preferences. We extensively test the usefulness of the model on a real-life dataset from a guard post in the ROK Army with using three objectives set by the guard post and three preferences provided by individual solders. Numerical results and analysis from these experiments show that the proposed guard scheduling model efficiently as well as effectively generates an optimal guard schedule and can also be used for an optimal revision of any existing schedule. In summary, these illustrate that the proposed model can be practically used for optimal planning and scheduling of guard soldiers in guard posts.

• Environmental and Resource Economics Review
• /
• v.19 no.1
• /
• pp.159-198
• /
• 2010

The Korean government is planning to introduce the Renewable Portfolio Standard (RPS) system to replace the currently used Feed-in-Tariff (FIT) system which is a subsidy-based mechanism to foster the renewable energy industry. The RPS system is a market-oriented system in which the power companies are obliged to use renewable energy sources to produce electricity by a certain ratio of their production level. They can either produce for themselves or simply purchase the REC (renewable energy certificate) in the market to implement. The objective of this article is to compare the RPS system with the current FIT system in terms of the implementing cost to achieve the policy goal to expand the share of renewable energy m the total power generation. The analysis is conducted using Linear Programming models. The results of this study imply several policy suggestions to successfully introduce the RPS system.

• Journal of Korea Society of Industrial Information Systems
• /
• v.27 no.6
• /
• pp.105-114
• /
• 2022

We examine berth allocation problems in tidal bulk ports with an objective of minimizing the demurrage and dispatch associated berthing cost. In the proposed optimization model inventory (or stock) level constraints are considered so as to satisfy the service level requirements in bulk terminals. It is shown that the mathematical programming formulation of this research provides improved schedule resolution and solution accuracy. We also show that the conventional big-M method of standard resource allocation models can be exempted in tidal bulk ports, and thus the computational efficiency can be significantly improved.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2011.10a
• /
• pp.479-482
• /
• 2011

This paper proposes a design of a ship backbone network-based on the survival and efficiency of the ship network. Currently IEC operates the standard ship network, a standard specification "IEC 61162-410 maintains the operation of the network. IEC 61162-410 offers a high stability of the ship network by using terminal equipment. But current studies are incomplete because it has been assumed that the ship's network will operate at double its current capacity. This paper analyzes the double ship backbone topology for an organization and then will summarise the minimum costs required to implement the ship backbone topology using an ILP. Also, we present an effective traffic assignment technique that uses an ILP, metaheuristic, heuristic algorism-based underlying the ship backbone network. The results by experimenting the design of the network confirmed a greter efficiency, stability and cost-effectiveness of the ship network.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.9
• /
• pp.691-701
• /
• 2020

An actuator mixer design using convex optimization technique situation where the propulsion system of an electric VTOL UAV during vertical take-off and landing maneuvers is proposed. The attainable control set to analyze the impact from failure of each motor and propeller can be calculated and illustrated using the properties of the convex function. The control allocation can be defined as a convex function optimization problem to obtain an optimal solution in real time. The mixer is implemented using a convex optimization solver, and the performance of the control allocation methods is compared to the attainable control set. Finally, the proposed mixer is compared with other techniques with nonlinear sux degree-of-freedom simulation.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2008.05a
• /
• pp.664-668
• /
• 2008

본 연구에서는 비정상상태 자유수면 모의를 위해 2차원 유한체적법을 이용한 수치모형을 개발하였으며, 이론적인 해석해 및 수리실험을 통한 실측자료를 이용하여 검증하였다. 개발된 모형은 지배방정식으로 비선형 및 보존형 2차원 천수방정식(shallow water equation)을 이용하였으며, 동적메모리 할당 기능이 포함된 Fortran-90으로 코딩되었다. 또한 구조화된 격자 및 비구조화 격자 시스템에도 적용될 수 있도록 모형을 구성하였으며, 불규칙한 하상지형에 의해 수치진동을 감소시키기 위해 본 모형에 well-balanced HLLC 기법을 적용하였다. 모형의 적용성을 검증하기 위하여 1차원의 경우 젖은/마른 하상 조건하에서의 댐 붕괴파 문제와 하상이 변화하는 지형 구간을 통과할 때 발생되는 천이류에 대한 문제 그리고 시간에 따라 변화하는 수위와 지형 조건에서의 wetting & drying에 대한 문제에 적용하였으며, 2차원의 경우 전통적인 댐 붕괴파 문제 및 구조물에 미치는 댐 붕괴파의 영향에 대한 수리모형실험을 통한 실측자료를 이용하여 검증하였다. 검증결과 본 모형을 통해 계산된 수치해는 이론적인 해석해와 실측자료에 거의 정확히 일치하였으며, 향후 실제 하천 자료를 이용하여 모형의 현장 적용성을 검증할 것이다.

• Journal of KIISE:Information Networking
• /
• v.34 no.3
• /
• pp.156-167
• /
• 2007

In this paper, we develop the model based prediction algorithm for Variable-Bit-Rate(VBR) video traffic with regular Group of Picture(GOP) pattern. We use multiplicative ARIMA process called GOP ARIMA (ARIMA for Group Of Pictures) as a base stochastic model. Kalman Filter based prediction algorithm consists of two process: GOP ARIMA modeling and prediction. In performance study, we produce three video traces (news, drama, sports) and we compare the accuracy of three different prediction schemes: Kalman Filter based prediction, linear prediction, and double exponential smoothing. The proposed prediction algorithm yields superior prediction accuracy than the other two. We also show that confidence interval analysis can effectively detect scene changes of the sample video sequence. The Kalman filter based prediction algorithm proposed in this work makes significant contributions to various aspects of network traffic engineering and resource allocation.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.10
• /
• pp.2571-2580
• /
• 1997

In this paper, we deal with the resource constrain scheduling to execute behavior algorithm under resource limit. Expecially, we proposed a scheduling algorithm, called delayed scheduling, which finds the lower bound control step to assign operation under resource limit. We take in account the actual scheduling problems including multicycle operation and functional pipelining. Integer Linear Programing formulations are used to the scheduling problems in order to get optimal scheduling result. Experiment was done on the DFG model of fifth-order digital wave filter, to show it's effectiveness.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.8
• /
• pp.2196-2203
• /
• 1999

This paper describes the bus scheduling problem and register optimization method in datapath synthesis. Scheduling is process of operation allocation to control steps in order to minimize the cost function under the given circumstances. For that purpose, we propose some formulations to minimize the cost function for bus assignment to get an optimal and minimal cost function in hardware allocations. Especially, bus and register minimization technique are fully considered which are the essential topics in hardware allocation. Register scheduling is done after the operation and bus scheduling. Experiments are done with the DFG model of fifth-order digital ware filter to show its effectiveness. Structural integer programming formulations are used to solve the scheduling problems in order to get the optimal scheduling results in the integer linear programming environment.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.35 no.3
• /
• pp.175-182
• /
• 2022

In many engineering problems, the dynamic substructuring can be useful to analyze complex structures which made with many substructures, such as aircrafts and automotive vehicles. It was originally intended as a method to simplify the engineering problem. The powerful advantage to this is that computational efficiency dramatically increases with eliminating unnecessary degrees-of-freedom of the system and the system targets are concurrently satisfied. Craig-Bampton method has been widely used for the linear system reduction. Recently, multi-level optimization (such as target cascading), which propagates the system-level targets to the subsystem-level targets, has been widely utilized. To this concept, the genetic algorithm which one of the global optimization technique has been utilized to the substructure optimization. The number of internal modes for each substructure can be obtained by the genetic algorithm. Simultaneously, the reduced system meets the top-level targets. In this paper, various numerical examples are tested to verify this concept.