• Journal of the Korea Society for Simulation
• /
• v.18 no.2
• /
• pp.57-64
• /
• 2009

Stable and effective constraint enforcement system is one of the crucial components for physically-based dynamic simulations. This paper presents analysis and evaluation for traditional constraint enforcement systems(Lagrange Multiplier method, Baumgarte stabilization method, Post-stabilization method, Implicit constraint enforcement method, Fast projection method) to provide a guideline to users who need to integrate a suitable constraint enforcement system into their dynamic simulations. The mathematical formulations for traditional constraint enforcement systems are presented in this paper. This paper describes a summary of evaluation which consists of constraint error comparison, computational cost, and dynamic behavior analysis to verify the efficiency of each traditional constraint enforcement system.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.5 no.1
• /
• pp.154-161
• /
• 1997

This paper presents the method to eliminate the constraint reaction in the Lagrange multiplier form equation of motion by using a generalized coordinate driveder from the velocity constraint equation. This method introduces a matrix method by considering the m dimensional space spanned by the rows of the constraint jacobian matrix. The orthogonal vectors defining the constraint manifold are projected to null vectors by the tangential vectors defined on the constraint manifold. Therefore the orthogonal projection matrix is defined by the tangential vectors. For correcting the generalized position coordinate, the optimization problem is formulated. And this correction process is analyzed by the quasi Newton method. Finally this method is verified through 3 dimensional vehicle model.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• pp.376-382
• /
• 1991

In the analysis of constrained holonomic systems, the Lagange multiplier method yields a system of second-order ordinary differential equations of motion and algebraic constraint equations. Conventional holonomic or nonholonomic constraints are defined as geometric constraints in this paper. Previous works concentrate on the geometric constraints. However, if the total energy of a dynamic system can be computed from the initial energy plus the time integral of the energy input rate due to external or internal forces, then the total energy can be artificially treated as a constraint. The violation of the total energy constraint due to numerical errors can be used as information to control these errors. It is a necessary condition for accurate simulation that both geometric and energy constraints be satisfied. When geometric constraint control is combined with energy constraint control, numerical simulation of a constrained dynamic system becomes more accurate. A new convenient and effective method to implement energy constraint control in numerical simulation is developed based on the geometric interpretation of the relation between constraints in the phase space. Several combinations of energy constraint control with either Baumgarte's Constraint Violation Stabilization Method (CVSM) are also addressed.

• Proceedings of the KSME Conference
• /
• 2004.04a
• /
• pp.706-709
• /
• 2004

A numerical method was developed that imposes constraint condition on the order parameters in martensitic phase transformation. In the method, an amplitude function having values of 1 or 0 was multiplied to transformation rates. The merit of the method is that the imposition of the constraint condition is more straightforward than a method with Lagrangian multiplier and easy to implement in the tangent modulus method. The developed method is applied to three-dimensional finite element analyses of single and poly crystalline shape memory alloys.

• 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.

• Journal of Institute of Control, Robotics and Systems
• /
• v.17 no.7
• /
• pp.619-624
• /
• 2011

This paper presents a controller design method for a robust control problem with multiple constraints using genetic algorithms and LMI design method. A robust $H_{\infty}$ constraint with loop shaping and pole placement is used to address disturbance attenuation with error limits and desired transient specifications, in spite of the plant uncertainties and disturbances. In addition, a loop gain constraint is considered so as not to enlarge the loop gain unnecessarily. The robust $H_{\infty}$ constraint and pole placement constraint can be expressed in terms of two matrix inequalities and the loop gain constraint can be considered as an objective function so that genetic algorithms can be applied. Accordingly, a robust controller can be obtained by integrating genetic algorithms with LMI approach. The proposed controller design method is applied to a track-following system of an optical disk drive and is evaluated through simulation results.

• International Journal of Highway Engineering
• /
• v.15 no.4
• /
• pp.155-165
• /
• 2013

PURPOSES : Benefits for improvement of travel time reliability obtained from construction of new highways should be considered as a major factor in the feasibility study for highway constructions. The purpose of this study is to develop a method of estimation for the value of travel time reliability. METHODS : Highway type (urban/rural highway) and traffic flow type(interrupted/uninterrupted) was considered to estimate he value of travel time reliability. And Double-bounded Dichotomous Choice among Contingent Valuation Method(CVM) was applied to survey the willingness-to-pay of drivers when travel time reliability is improved. Finally the value of travel time reliability was estimated using the results of survey and logit model. The value of travel time reliability was estimated considering travel objectives, time constraint travel and non-time constraint travel. RESULTS: The value of travel time reliability of business trip is higher than that of non-business trip. The value of travel time reliability of time constraint travel is higher than that of non-time constraint travel. The value of travel time reliability in urban area is higher than that in rural area. CONCLUSIONS: It was concluded that the proposed method in this study is more realistic and proper to estimate the value of travel time reliability because it reflects the situations of time constraint travel and non-time constraint travel.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.1098-1100
• /
• 2005

The floorplanning problem is an essential design step in VLSI layout design and it is how to place rectangular modules as density as possible. And then, as the DSM advances, the VLSI chip becomes more congested even though more metal layers are used for routing. Usually, a VLSI chip includes several buses. As design increases in complexity, bus routing becomes a heavy task. To ease bus routing and avoid unnecessary iterations in physical design, we need to consider bus planning in early floorplanning stage. In this paper, we propose a floorplanning method for topological constraint consisting of bus constraint and memory constraint. The proposed algorithms based on Genetic Algorithm(GA) is adopted a sequence pair. For selection control, new objective functions are introduced for topological constraint. Studies on floor planning and cell placement have been reported as being applications of GA to the LSI layout problem. However, no studies have ever seen the effect of applying GA in consideration of topological constraint. Experimental results show improvement of bus and memory constraint.

• Journal of Korea Spatial Information System Society
• /
• v.11 no.1
• /
• pp.79-86
• /
• 2009

The tuple of constraint database consists of constraint logical formula and it could process the presentation and query of the constraint database simply. Query operation processing shall include the constraint formula between related tuple such as selection, union, intersection of spatial data through the constraint database. However, this could produce the increasing of duplicated or unnecessary data. Hence, it will drive up the cost as per quality. This paper identified problems regarding query processing result in the constraint database. Also this paper suggested the tuple minimization summary method for result relation and analyzed the effects for efficient query processing. We were able to identify that the effectiveness of the query processing was enhanced by eliminating unnecessary constraint formula of constraint relation using the tuple minimization method.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.8 no.2
• /
• pp.111-119
• /
• 2013

This paper proposes one method on photometric stereo calibration using the constraint on light source directions in which the light sources have the unknown tilt and slant angles but the slant angles are the same. First, the constraint is analyzed based on the equation of linear ambiguity which leads to the conclusion that another constraint should be added to solve the calibration completely. Later, the combination of constraint on light source directions and the constraint that there exists at least six surface patches having known albedos is exploited to resolve the linear ambiguity up to an accurate and close-form solution. The effective performance of the proposed method is demonstrated through experiment results.