• Journal of KIISE:Software and Applications
• /
• v.32 no.3
• /
• pp.215-226
• /
• 2005

Loop invariant code motion (LICM) optimization includes relatively heavy code analyses, thus being not readily applicable to Java Just-In-Time (JIT) compilation where the JIT compilation time is part of the whole running time. 'Classical' LICM optimization first analyzes the code and constructs both the def-use chains and the use-def chains. which are then used for performing code motions. This paper proposes a light-weight LICM algorithm, which requires only the def-use chains of loop invariant code (without use-def chains) by exploiting the fact that the Java virtual machine is based on a stack machine, hence generating code with simpler patterns. We also propose two techniques that allow more code motions than classical LICM techniques. First, unlike previous JIT techniques that uses LICM only in single-path loops for simplicity, we apply LICM to multi-path loops (natural loops) safely for partially redundant code. Secondly, we move loop-invariant, partially-redundant null pointer check code via predication support in Itanium. The proposed techniques were implemented in a JIT compiler for Itanium processor on ORP (Open Runtime Platform) Java virtual machine of Intel. On SPECjvrn98 benchmarks, the proposed technique increases the JIT compilation overhead by the geometric mean of 1.3％, yet it improves the total running time by the geometric mean of 2.2％.

• International Journal of Automotive Technology
• /
• v.2 no.3
• /
• pp.117-122
• /
• 2001

For a dynamic analysis of a constrained multibody system, it is necessary to have a routine for satisfying kinematic constraints. LU decomposition scheme, which is used to divide coordinates into dependent and independent coordinates, is efficient but has great difficulty near the singular configuration. Other method such as the projection matrix, which is more stable near a singular configuration, takes longer simulation time due to the large amount of calculation for decomposition. In this paper, the row space and the null space of the Jacobian matrix are proposed by using the pseudo-inverse method and the projection matrix. The equations of the motion of a system are replaced with independent acceleration components using the null space of the Jacobian matrix. Also a new hybrid method is proposed, combining the LU decomposition and the projection matrix. The proposed hybrid method has following advantages. (1) The simulation efficiency is preserved by the LU method during the simulation. (2) The accuracy of the solution is also achieved by the projection method near the singular configuration.

• Transactions on Control, Automation and Systems Engineering
• /
• v.1 no.1
• /
• pp.8-15
• /
• 1999

One of the main reason advocating redundant manipulators' superiority in application is that they can afford to optimize a dexterity measure, for example the manipulability measure. However, to obtain the gradient of the manipulability is not an easy task in case of general manipulator with high degrees of redundancy. This article proposes a method to compute the gradient of the manipulability, based on recursive algorithm to compute the Jacobian and its derivative using Denavit-Hartenberg parameters only. To characterize the null motion of redundant manipulators, the null space matrix using square minors of the Jacobian is also proposed. With these capabilities, the inverse kinematics of a redundant manipulator system can be done automatically. The result is easily extended to dual manipulator system using the relative kinematics.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.2759-2764
• /
• 2003

Humans usually employ more joints than they actually need, and thus they can be categorized as a kinematically redundant system. Therefore, the behavior of the human body can be analyzed by several redundancy resolution algorithms. Different from typical industrial robots that are fixed to the ground, the COG/ZMP condition should be taken into account in the human body motion in order not to fall down. Thus a COG/ZMP stability index is employed as a measure of stability. Kinematic redundancy inherent in the human body can be exploited to satisfy the COG/ZMP condition. Simulation result shows that the COG/ZMP condition can be satisfied by exploiting the null space motion of the kinematically redundant human body model.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2003.06a
• /
• pp.288-291
• /
• 2003

This paper presents an extended Twyman-Green interferometry that enables simultaneous and real-time measurement of 5-DOF motion errors of the translational moving stage. This method uses a null balancing technique in which two plane mirrors are used as target mirrors to generate an interferometric fringe utilizing the optical principles of Twyman-Green interferometry. Fringe is detected by 2D photodiode array for high-speed measurement. Errors are then independently suppressed by activation of piezoelectric actuators through real-time feedback control while the machine axis is moving. Experimental results demonstrate that a machine axis can be controlled with motion errors about 10 nm in linear displacement, 0.15 arcsec in angular displacement

• Journal of the Korean Society for Precision Engineering
• /
• v.20 no.10
• /
• pp.112-119
• /
• 2003

This paper presents an extended Twyman-Green interferometry that enables simultaneous and real-time measurement of 5-DOF motion errors of the translational moving stage. This method uses a null balancing technique in which two plane mirrors are used as target mirrors to generate an interferometric fringe utilizing the optical principles of Twyman-Green interferometry. Fringe is detected by 2D photodiode array for high-speed measurement. Errors are then independently suppressed by activation of piezoelectric actuators through real-time feedback control while the machine axis is moving. Experimental results demonstrate that a machine axis can be controlled with motion errors about 10 nm in linear displacement, 0.15 arcsec in angular displacement.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10a
• /
• pp.77-82
• /
• 1996

This paper is concerned with how to utilize kinematic redundancy to reconstruct the inverse kinematic solution which is not attainable due to hardware limitations. By analyzing the error due to hardware limitations, we are to show that the recoverability of limitation reduces to the solvability of a reconstruction equation under the feasibility condition. It will be next shown that the reconstruction equation is solvable if the configuration is not a joint-limit singularity. The reconstruction method will be proposed based on the geometrical analysis of recoverability of hardware limitations. The method has the feature that no task motion error is induced by the hardware limitations while minimizing a possible null motion error, under the recoverability assumed.

• Journal of Mechanical Science and Technology
• /
• v.14 no.2
• /
• pp.159-167
• /
• 2000

A computational method for the dynamic analysis of a constrained mechanical system is presented in this paper. The partial velocity matrix, which is the null space of the Jacobian of the constraint equations, is used as the key ingredient for the derivation of reduced equations of motion. The acceleration constraint equations are solved simultaneously with the equations of motion. Thus, the total number of equations to be integrated is equivalent to that of the pseudo generalized coordinates, which denote all the variables employed to describe the configuration of the system of concern. Two well-known conventional methods are briefly introduced and compared with the present method. Three numerical examples are solved to demonstrate the solution accuracy, the computational efficiency, and the numerical stability of the present method.

• 제어로봇시스템학회:학술대회논문집
• /
• 1995.10a
• /
• pp.452-455
• /
• 1995

Various physical limitations which intrinsically exist in the manipulator control system, for example kinematic limits and torque limit, cause some undesirable effects. Specifically, when one or more actuators are saturated the expected control performance can not be anticipated and in some cases it induces instability of the system. The effect of torque limit, especially for redundant manipulators, is studied in this article, and an analytic method to reconstruct the control input using the redundancy is proposed based on the kinematically decomposed modeling of redundant manipulators. It results to no degradation of the output motion closed-loop dynamics at the cost of the least degradation of the null motion closed-loop dynamics. Numerical simulations help to verify the advantages of the proposed scheme.

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