• Journal of the Korean Operations Research and Management Science Society
• /
• v.17 no.3
• /
• pp.137-158
• /
• 1992

We study the Multiple Product Single Facility Stockout Avoidance Problem (SAP). That is the problem of determining, given initial inventories, whether there is a multiple product single facility production schedule that avoids stockouts over a given time horizon. The optimization version of the SAP where stockouts are pnelized linearly is also studied. We call this problem the Weighted Stockout Problem (WSP). Both problems are NP-hard in the strong sense. We develop Mixed Integer Linear Programming (MIP) formulations for both the SAP and the WSP. In addition, several heuristic algorithms are presented and performances are tested using computational experiments. We show that there exist polynomial algorithms for some special cases of the SAP and the WSP. We also present a method to phase into a target cyclic schedule for infinite horizon problems. These can be used as a practical scheduling tool for temporarily overloaded facilities or to reschedule production after a disruption.

• Journal of The Korean Association For Science Education
• /
• v.16 no.4
• /
• pp.470-476
• /
• 1996

The purpose of this study was to investigate how sample story problems should be presented to students to promote their transfer of a comprehensive solution principle to a story problem in a different domain. The variables of interest were example-problem condition, principle learning condition, and recall condition. One hundred and ninety six university students were asked to solve analogical story problems. Contrary to expectations, there were no significant differences between the one-solved-and-one -unsolved problem format and the two-solved-problem format. Also, subjects who were asked to derive a general solution principle did not received higher scores than subjects who were provided with one and subjects who were in the control group. However, the time interval between analog learning and transfer had effect on the subjects' solution of the target problem.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.4
• /
• pp.27-34
• /
• 2019

The course timetabling problem is a kind of very complex combinatorial optimization problems, which is known as an NP-complete problem. Sometimes a given course timetabling problem can be accompanied by many constraints. At this time, even if only one constraint is violated, it can be an infeasible timetable. Therefore, it is very difficult to make an automated course timetabling system for a complex real-world course timetabling problem. This paper introduces an automated course timetabling system using constraint programming. The target problem has 26 constraints in total, and they are expressed as 24 constraints and an objective function in constraint programming. Currently, we are making a timetable through this system and applying the result to the actual class. Members' satisfaction is also much higher than manual results. We expect this paper can be a guide for making an automated course timetabling system.

• The Journal of the Acoustical Society of Korea
• /
• v.24 no.4
• /
• pp.230-237
• /
• 2005

The angle-tracking of maneuvering targets is required to the state estimation and classification of targets in underwater acoustic systems. The Problem of angle-tracking multiple closed and crossing targets has been studied by various authors. Sword et al. Proposed a multiple target an91e-tracking algorithm using angular innovations of the targets during a sampling Period are estimated in the least square sense using the most recent estimate of the sensor output covariance matrix. This algorithm has attractive features of simple structure and avoidance of data association problem. Ryu et al. recently Proposed an effective multiple target angle-tracking algorithm which can obtain the angular innovations of the targets from a signal subspace instead of the sensor output covariance matrix. Hwang et al. improved the computational performance of a multiple target angle-tracking algorithm based on the fact that the steering vector and the noise subspace are orthogonal. These algorithms. however. are ineffective when a subset of the incident sources are coherent. In this Paper, we proposed a new multiple target angle-tracking algorithm for coherent and incoherent sources. The proposed algorithm uses the relationship between source steering vectors and the signal eigenvectors which are multiplied noise covariance matrix. The computer simulation results demonstrate the improved Performance of the Proposed algorithm.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.12 no.2
• /
• pp.9-22
• /
• 2008

This paper presents an integrated optimal design technique of a hybrid structure-damper system for improving the seismic performance of the structure. The proposed technique corresponds to the optimal distribution of the stiffness and dampers. The multi-objective optimization technique is introduced to deal with the optimal design problem of the hybrid system, which is reformulated into the multi-objective optimization problem with a constraint of target reliability in an efficient manner. An illustrative example shows that the proposed technique can provide a set of Pareto optimal solutions embracing the solutions obtained by the conventional sequential design method and single-objective optimization method based on weighted summation scheme. Based on the stiffness and damping capacities, three representative designs are selected among the Pareto optimal solutions and their seismic performances are investigated through the parametric studies on the dynamic characteristics of the seismic events. The comparative results demonstrate that the proposed approach can be efficiently applied to the optimal design problem for improving the seismic performance of the structure.

• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.1
• /
• pp.71-75
• /
• 2008

Many sensor operating systems have memory limitation constraint; therefore, stack memory areas of threads resides in a single memory space. Because most target platforms do not have hardware MMY (Memory Management Unit), it is difficult to protect each stack area. The method to solve this problem is to exchange original stack handling instructions in binary code for wrapper routines to protect stack area. In this exchanging phase, instruction corruption problem occurs due to difference of each instruction length between stack handling instructions and branch instructions. In this paper, we propose the algorithm to call a target routine without instruction corruption problem. This algorithm can reach a target routine by repeating branch instructions to have a short range. Our solution makes it easy to apply security patch and maintain upgrade of software of sensor node.

• Korean Journal of Cognitive Science
• /
• v.4 no.2
• /
• pp.201-262
• /
• 1994

This paper portrays software reuse as analogical mapping and rule development.In order to explore the impacts of inconsistent representationS on the cognitive process of software resuse,it manipulates the intermal representations of source and target problems and their program solutions.The experimental design for this study has two factors:1)the degree of structural consistency between the source problem and the target problem,and2) the degree of structural consistency between the source problem and the source solution.A full-scale protocol analysis reveals that these two factors influence the cognitive process of mapping between source and target,the process of developing rules,and the interrelation between analogical mapping and rule development.The paper concludes by discussing the implications of these results for software reuse.

• Journal of KIISE
• /
• v.45 no.1
• /
• pp.86-93
• /
• 2018

When multiple clients share bandwidth and receive a streaming service, HTTP Adaptive Streaming has a problem in that the bandwidth is measured inaccurately due to the ON-OFF pattern of the segment request. To solve the problem caused by the ON-OFF pattern, the proposed PANDA (Probe AND Adapt) determines the quality of the segment to be requested while increasing the target bandwidth. However, since the target bandwidth is increased by a fixed amount, there is a problem in low bandwidth utilization and a slow response to changes in bandwidth. In this paper, we propose a video quality control scheme that improves the low bandwidth utilization and slow responsiveness of PANDA. The proposed scheme adjusts the amount of increase in the target bandwidth according to the bandwidth utilization after judging the bandwidth utilization by comparing the segment download time and the request interval. Experimental results show that the proposed scheme can fully utilize the bandwidth and can quickly respond to changes in bandwidth.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.35C no.9
• /
• pp.38-48
• /
• 1998

Generating test patterns for asynchronous sequential circuits remains to be a very difficult problem. There are few algorithms for this problem, and previous works cut feedback loops, and insert synchronous flip-flops in the feedback loops during ATPG. The conventional algorithms are similar to the algorithms for synchronous sequential circuits. This means that the conventional algorithms generate test patterns by modeling asynchronous sequential circuits as synchronous sequential circuits. So, test patterns generated by those algorithms nay not detect target faults when the test patterns are applied to the asynchronous sequential circuit under test. In this paper an algorithm is presented to generate test patterns for asynchronous sequential circuits. Test patterns generated by the algorithm can detect target faults for asynchronous sequential circuits with the minimal possibility of critical race problem and oscillation. And it is guaranteed that the test patterns generated by the algorithm will detect target faults.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2016.05a
• /
• pp.101-103
• /
• 2016

Recently, the target object can be represented as sparse coefficient vector in visual tracking. Due to this reason, exploitation of the compressibility in the transform domain by using L1 minimization is needed. Further, L1 minimization is proposed to handle the occlusion problem in visual tracking, since tracking failures mostly are caused by occlusion. Furthermore, there is a weighted parameter in L1 minimization that influences the result of this minimization. In this paper, this parameter is analyzed for occlusion problem in visual tracking. Several coefficients that derived from median value of the target object, mean value of the arget object, the standard deviation of the target object are, 0, 0.1, and 0.01 are used as weighted parameter of L1 minimization. Based on the experimental results, the value which is equal to 0.1 is suggested as weighted parameter of L1 minimization, due to achieved the best result of success rate and precision performance parameter. Both of these performance parameters are based on one pass evaluation (OPE).