• Journal of the Korea Society of Computer and Information
• /
• v.22 no.9
• /
• pp.9-16
• /
• 2017

The course timetabling problem is a problem assigning a set of subjects to the given classrooms and different timeslots, while satisfying various hard constraints and soft constraints. This problem is defined as a constraint satisfaction optimization problem and is known as an NP-complete problem. Various methods has been proposed such as integer programming, constraint programming and local search methods to solve a variety of course timetabling problems. In this paper, we propose an iterative improvement search method to solve the problem based on constraint programming. First, an initial solution satisfying all the hard constraints is obtained by constraint programming, and then the solution is repeatedly improved using constraint programming again by adding new constraints to improve the quality of the soft constraints. Through experimental results, we confirmed that the proposed method can find far better solutions in a shorter time than the manual method.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.9 no.4
• /
• pp.460-472
• /
• 2017

The design of harbours, as with any other system design, must be an optimization process. In this study, a global examination of the different constraints in coastal engineering was performed and an optimization problem was defined. The problem has multiple objectives, and the criteria to be minimized are the structure cost and wave height disturbance inside a harbour. As concluded in this survey, the constraints are predefined parameters, mandatory constraints or optional constraints. All of these constraints are categorized into four categories: environmental, fluid mechanical, structural and manoeuvring.

• Structural Engineering and Mechanics
• /
• v.53 no.4
• /
• pp.833-845
• /
• 2015

Natural frequencies of the structural systems should be far away from the excitation frequency in order to avoid or reduce the destructive effects of dynamic loads on structures. To accomplish this goal, a structural optimization on size and shape has been performed considering frequency constraints. Such an optimization problem has highly nonlinear property. Thus, the quality of the solution is not independent of the optimization technique to be applied. This study presents the performance evaluation of the recently proposed meta-heuristic algorithm called Teaching Learning Based Optimization (TLBO) as an optimization engine in the weight optimization of the truss structures under frequency constraints. Some examples regarding the optimization of trusses on shape and size with frequency constraints are solved. Also, the results obtained are tabulated for comparison. The results demonstrated that the performance of the TLBO is satisfactory. Additionally, TLBO is better than other methods in some cases.

• Korean Journal of Computational Design and Engineering
• /
• v.8 no.1
• /
• pp.10-18
• /
• 2003

FEM (Finite Element Method) is a fundamental numerical analysis technique in wide spread use in engineering application. As the solving time occupies small portion of entire FEM analysis time because of development of hardware, the relative lime to the whole analysis time to make mesh mod-els is growing. In particular, in the case of stiffeners such as features attached to plate in ship structure, the line constraints are imposed on mesh model together with other constraints such as holes. To auto-matically generate two dimensional quadrilateral mesh with the line constraints, an algorithm is pro-posed based on the constrained Delaunay triangulation and Q-Morph algorithm in which the line constraints are not considered. The performance of the proposed algorithm is evaluated. And some numerical results of our proposed algorithm ate presented.

• Journal of Korean Society for Quality Management
• /
• v.35 no.4
• /
• pp.52-60
• /
• 2007

A multi-attribute robust design methodology is presented. This method can be applied where there are various technical constraints in design variables, multiple potentially conflicting design attributes, and uncontrollable noise variables. Two forms of technical constraints, soft and hard constraints, are considered in robust design settings. Specifically, this work presents procedures for integrating two types of design constraints seamlessly on the multiple design attributes, which is achieved through a development of multi-attribute utility formulation. The effectiveness of the overall procedures is tested with the aid of an I-Beam design problem, and results of sensitivity analysis are discussed.

• Journal of Astronomy and Space Sciences
• /
• v.21 no.3
• /
• pp.209-220
• /
• 2004

Some methods have been presented to get optimal formation trajectories in the step of configuration or reconfiguration, which subject to constraints of collision avoidance and final configuration. In this study, a method for optimal formation trajectory-planning is introduced in view of fuel/time minimization using parameter optimization technique which has not been applied to optimal trajectory-planning for satellite formation flying. New constraints of nonlinear equality are derived for final configuration and constraints of nonlinear inequality are used for collision avoidance. The final configuration constraints are that three or more satellites should be placed in an equilateral polygon of the circular horizontal plane orbit. Several examples are given to get optimal trajectories based on the parameter optimization problem which subjects to constraints of collision avoidance and final configuration. They show that the introduced method for trajectory-planning is well suited to trajectory design problems of formation flying missions.

• Journal of Computing Science and Engineering
• /
• v.3 no.4
• /
• pp.260-277
• /
• 2009

In this paper we propose a model for checking integrity constraints of mobile databases called Three-Level (3-L) model, wherein the process of constraint checking to maintain the consistent state of mobile databases is realized at three different levels. Sufficient and complete tests proposed in the previous works together with the idea of caching relevant data items for checking the integrity constraints are adopted. This has improved the checking mechanism by preventing delays during the process of checking constraints and performing the update. Also, the 3-L model reduces the amount of data accessed given that much of the tasks are performed at the mobile host, and hence speeds up the checking process.

• Structural Engineering and Mechanics
• /
• v.12 no.1
• /
• pp.35-50
• /
• 2001

A numerical methodology is presented in this paper for the geometrically non-linear analysis of slender uni-dimensional structural elements under unilateral contact constraints. The finite element method together with an updated Lagrangian formulation is used to study the structural system. The unilateral constraints are imposed by tensionless supports or foundations. At each load step, in order to obtain the contact regions, the equilibrium equations are linearized and the contact problem is treated directly as a minimisation problem with inequality constraints, resulting in a linear complementarity problem (LCP). After the resulting LCP is solved by Lemke's pivoting algorithm, the contact regions are identified and the Newton-Raphson method is used together with path following methods to obtain the new contact forces and equilibrium configurations. The proposed methodology is illustrated by two examples and the results are compared with numerical and experimental results found in literature.

• Structural Engineering and Mechanics
• /
• v.35 no.1
• /
• pp.83-98
• /
• 2010

In this paper, the mass optimization of four bar linkages is carried out using genetic algorithms (GA) with single and dual constraints. The single constraint of bending stress and the dual constraints of bending and buckling stresses are imposed. From the movement response of the bar linkage mechanism, the analysis of the mechanism is developed using the combination of kinematics, kinetics, and finite element analysis (FEA). A penalty-based transformation technique is used to convert the constrained problem into an unconstrained one. Lastly, a detailed comparison on the effect of single constraint and of dual constraints is presented.

• Journal of Astronomy and Space Sciences
• /
• v.25 no.4
• /
• pp.361-374
• /
• 2008

Recently, satellite formation flying has been a topic of significant research interest in aerospace society because it provides potential benefits compared to a large spacecraft. Some techniques have been proposed to design optimal formation trajectories minimizing fuel consumption in the process of formation configuration or reconfiguration. In this study, a method is introduced to build fuel-optimal trajectories minimizing a cost function that combines the total fuel consumption of all satellites and assignment of fuel consumption rate for each satellite. This approach is based on collocation and nonlinear programming to solve constraints for collision avoidance and the final configuration. New constraints of nonlinear equality or inequality are derived for final configuration, and nonlinear inequality constraints are established for collision avoidance. The final configuration constraints are that three or more satellites should form a projected circular orbit and make an equilateral polygon in the horizontal plane. Example scenarios, including these constraints and the cost function, are simulated by the method to generate optimal trajectories for the formation configuration and reconfiguration of multiple satellites.