• The Journal of Engineering Research
• /
• v.6 no.1
• /
• pp.5-14
• /
• 2004

Finding a solution to a constraint satisfaction problem requires choosing values for variables so as to satisfy the constraints of the problem. A constraint is simply a logical relation among several unknowns (or variables), each taking a value in a given domain. Conventional constraint-based scheduling systems are not enough to satisfy the all constraints because there are conflicts between them. In this paper, we propose a method for interactive scheduling, which have two major problems: first, it is hard to satisfy concretely all various kinds of constraints, and second, the search space is extremely large and requires a long execution time. To solve the above problems, we introduce the Interactive Scheduling System (ISS) that interacts with the user to exchange suggestions each other. Our system is performed in two steps: knowledge base generation of an initial assignment and iterative improvement with the user(host or internet client) to satisfy the constraints. Applying our system, we actually constructed timetables for our university, where the scheduling time is considerably reduced.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.11
• /
• pp.881-888
• /
• 2020

In this paper, research on estimation of states of a target of interest using Line Of Sight(LOS) angle measurement is performed. Target's position, velocity, and acceleration are chosen to be the states of interests. The LOS measurement is known to be highly non-linear, making target dynamic modeling hard to be implemented into a filter. To solve this issue, the Pseudomeasurement equation was applied to the LOS measurement equation. With the help of this equation, 3D variable turn target dynamic model is applied to the filter model. For better performance, Kinematic Constraint is also implemented into the filter model. As for the filter, Bias Compensation Pseudomeasurement Filter (BCPMF) is used which is known for its robustness to initial conditions. Moreover, Two-Stage Kalman Filter (TSKF) form was also implemented to benefit from the parallel computation. As a result, TBCPMF 3DVT-KC is proposed and simulated to assess performance.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.4C
• /
• pp.185-190
• /
• 2005

In IS-95 and IMT-2000 systems using variable code rates and constraint lengths, this paper limits code rate 1/2 and constraint length 3 and realizes forward real-time decoder using Sliding-Window with decoding length 6 and PVSL(Prototype Vector Selecting Logic), LVQ(Learning Vector Quantization) in Neural Network. In comparison condition to theoretically constrained AWGN channel environment at $S/(N_{0}/2)=1$ I verified the superiority of forward real-time decoder through hard-decision and soft-decision comparison between Viterbi decoder and forward real-time decoder such as BER and Secure Communication and H/W Structure.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.8
• /
• pp.2722-2742
• /
• 2014

We propose methods of linear transceiver design for two different power constraints, sum relay power constraint and per relay power constraint, which determine signal processing matrices such as base station (BS) transmitter, relay precoders and user receivers to minimize sum mean square error (SMSE) for multi-relay multi-user (MRMU) networks. However, since the formulated problem is non-convex one which is hard to be solved, we suboptimally solve the problems by defining convex subproblems with some fixed variables. We adopt iterative sequential designs of which each iteration stage corresponds to each subproblem. Karush-Kuhn-Tucker (KKT) theorem and SMSE duality are employed as specific methods to solve subproblems. The numerical results verify that the proposed methods provide comparable performance to that of a full relay cooperation bound (FRCB) method while outperforming the simple amplify-and-forward (SAF) and minimum mean square error (MMSE) relaying in terms of not only SMSE, but also the sum rate.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.17 no.5
• /
• pp.1183-1192
• /
• 1993

Since the punching time is strongly related to the productivity in sheet metal stamping, there have been a lot of efforts to obtain the optimal tool path. However, most of the conventional efforts have the basic limitations to provide the global optimal solution because of the inherent difficulties of the NP hard combinatorial optimization problem. The existing methods search the optimal tool path with limiting tool changes to the minimal number, which proves not to be a global optimal solution. In this work, the turret rotation time is also considered in addition to the bed translation time of the NCT machine, and the total punching time is minimized by the simulated annealing algorithm. Some manufacturing constraints in punching sequences such as punching priority constraint and punching accuracy constraint are incorporated automatically in optimization, while several user-interactions to edit the final tool path are usually required in commercial systems.

• IE interfaces
• /
• v.16 no.3
• /
• pp.352-361
• /
• 2003

Vehicle manufacturing plant is a typical mixed-model production system. Generally it consists of three main shops including body shop, painting shop and assembly shop in addition to engine shop. Each shop contains diverse manufacturing processes, all of which are integrated in a form of flow line. Due to the high pressure from the market requesting small-volume large variety production, production planning becomes very critical for the competitiveness of automotive industry. In order to save costs and production time, production planning system is requested to meet some designated requirements for each shop: to balance the work load in body and assembly shops, and to minimize the number of color changes in painting shop. In this context, we developed a sequencing module for a vehicle production planning system using the ILOG Solver Library. It is designed to take into account all the manufacturing constraints at a time with meeting hard constraints in body shop, minimizing the number of soft constraints violated in assembly shop, and minimizing the number of color changes in painting shop.

• ETRI Journal
• /
• v.38 no.6
• /
• pp.1153-1162
• /
• 2016

This paper addresses the resource allocation (RA) problem in multi-cell cognitive radio networks. Besides the interference power threshold to limit the interference on primary users PUs caused by cognitive users CUs, a proportional fairness constraint is used to guarantee fairness among multiple cognitive cells and the impact of imperfect spectrum sensing is taken into account. Additional constraints in typical real communication scenarios are also considered-such as a transmission power constraint of the cognitive base stations, unique subcarrier allocation to at most one CU, and others. The resulting RA problem belongs to the class of NP-hard problems. A computationally efficient optimal algorithm cannot therefore be found. Consequently, we propose a suboptimal RA algorithm composed of two modules: a subcarrier allocation module implemented by the immune algorithm, and a power control module using an improved sub-gradient method. To further enhance algorithm performance, these two modules are executed successively, and the sequence is repeated twice. We conduct extensive simulation experiments, which demonstrate that our proposed algorithm outperforms existing algorithms.

• Journal of Communications and Networks
• /
• v.18 no.2
• /
• pp.173-181
• /
• 2016

In this paper, we address a new robust optimization problem in a multiuser multiple-input single-output broadcasting system with simultaneous wireless information and power transmission, where a multi-antenna base station (BS) sends energy and information simultaneously to multiple users equipped with a single antenna. Assuming that perfect channel-state information (CSI) for all channels is not available at the BS, the uncertainty of the CSI is modeled by an Euclidean ball-shaped uncertainty set. To optimally design transmit beamforming weights and receive power splitting, an average total transmit power minimization problem is investigated subject to the individual harvested power constraint and the received signal-to-interference-plus-noise ratio constraint at each user. Due to the channel uncertainty, the original problem becomes a homogeneous quadratically constrained quadratic problem, which is NP-hard. The original design problem is reformulated to a relaxed semidefinite program, and then two different approaches based on convex programming are proposed, which can be solved efficiently by the interior point algorithm. Numerical results are provided to validate the robustness of the proposed algorithms.

• The KIPS Transactions:PartA
• /
• v.18A no.3
• /
• pp.115-122
• /
• 2011

It is very hard to obtain a general algorithm for solution of all the constraint satisfaction optimization problems. However, if the whole problem is separated into subproblems by characteristics of decision variables, we can assume that an algorithm to obtain solutions of these subproblems is easier. Under the assumption, we propose a problem classifying rule which subdivide the whole problem, and develop backtracking algorithms fit for these subproblems. One of the methods of finding a quick solution is efficiently arrange for any order of the search tree nodes. We choose the cluster head positioning problem in wireless sensor networks in which static characteristics is dominant and interference minimization problem of RFID readers that has hybrid mixture of static and dynamic characteristics. For these problems, we develop optimal variable ordering algorithms, and compare with the conventional methods. As a result of classifying the problem into subproblems, we can realize a backtracking framework for systematic search. We also have shown that developed backtracking algorithms have good performance in their quality.

• Computational Structural Engineering : An International Journal
• /
• v.1 no.2
• /
• pp.89-96
• /
• 2001

A study on the topology optimization of a Hard-Disk-Driver(HDD) actuator arm is presented. The purpose of the present wert is to increase the natural frequency of tole first lateral mode of the HDD actuator arm under the constraint of total moment of inertia, so as to facilitate the position control of the high speed actuator arm. The first lateral mode is an important factor in the position control process. Thus the topology optimization for 2-D model of the HDD actuator arm is considered. A new objective function corresponding to multieigenvalue optimization is suggested to improve the solution of the eigenvalue optimization problem. The material density of the structure is treated as the design variable and the intermediate density is penalized. The effects of different element types and material property functions on the final topology are studied. When the problem is discretized using 8-node element of a uniform density, tole smoothly-varying density field is obtained without checker-board patterns incurred. AS a result of 7he study, an improved design of the HDD actuator arm is suggested. Dynamic characteristics of the suggested design are compared computationally with those of the old design. With the same amount of the moment of inertia, the natural frequency of the first lateral mode of the suggested design is subsequently increased over the existing one.