• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.20 no.8
• /
• pp.42-47
• /
• 2006

In this paper, we propose a sliding mode control with the bound estimation for robot manipulators without requiring exact knowledge of the robot dynamics. For the bound estimation, the upper bound of the uncertain nonlinearities of robot dynamics is represented as a Fredholm integral equation of the first kind and we propose an adaptive scheme which is only dependent on the sliding surface function. Also, we prove the asymptotic stability for the robot systems using two important properties in the robot dynamics: skew-symmetry and positive-definiteness of robot parameters.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.10
• /
• pp.3624-3637
• /
• 2014

At SAC 2004, Junod and Vaudenay designed the FOX family based on the Lai-Massey scheme. They noted that it was impossible to find any useful differential characteristic or linear trail after 8 rounds of FOX64 or FOX128. In this paper, we provide the lower bound of differentially active S-boxes in consecutive rounds of the Lai-Massey scheme that has SPS as its F-function, and we propose the necessary conditions for the reachability of the lower bound. We demonstrate that similar results can be obtained with respect to the lower bound of linearly active S-boxes by proving the duality in the Lai-Massey scheme. Finally, we apply these results to FOX64 and FOX128 and prove that it is impossible to find any useful differential characteristics or linear trail after 6 rounds of FOX64. We provide a more precise security bound for FOX128.

• Bulletin of the Korean Mathematical Society
• /
• v.32 no.1
• /
• pp.19-23
• /
• 1995

We will estimate the lower bound of the first nonzero Neumann and Dirichlet eigenvalue of Laplacian equation on compact Riemannian manifold M with boundary. In case that the boundary of M has positive second fundamental form elements, Ly-Yau[3] gave the lower bound of the first nonzero neumann eigenvalue $\eta_1$. In case that the second fundamental form elements of $\partial$M is bounded below by negative constant, Roger Chen[4] investigated the lower bound of $\eta_1$. In [1], [2], we obtained the lower bound of the first nonzero Neumann eigenvalue is estimated under the condtion that the second fundamental form elements of boundary is bounded below by zero. Moreover, I realize that "the interior rolling $\varepsilon$ - ball condition" is not necessary when the first Dirichlet eigenvalue was estimated in [1].ed in [1].

• Journal of the Korean Mathematical Society
• /
• v.39 no.4
• /
• pp.593-609
• /
• 2002

The order of speciality of an ample invertible Sheaf L on a curve is the least integer m so that $L^{ m}$ is nonspecial. There is a reasonable upper bound of the order of speciality for a simple invertible sheaf in terms of its degree and projective dimension. We study the case where it reaches the upper bound. Moreover we for mulate Castelnuovo's genus bound involving the order of speciality.ality.

• Journal of the Korean Mathematical Society
• /
• v.45 no.6
• /
• pp.1753-1767
• /
• 2008

Consider the nonparametric regression model $Y_{ni}\;=\;g(x_{ni})+{\epsilon}_{ni}$ ($1\;{\leq}\;i\;{\leq}\;n$), where g($\cdot$) is an unknown regression function, $x_{ni}$ are known fixed design points, and the correlated errors {${\epsilon}_{ni}$, $1\;{\leq}\;i\;{\leq}\;n$} have the same distribution as {$V_i$, $1\;{\leq}\;i\;{\leq}\;n$}, here $V_t\;=\;{\sum}^{\infty}_{j=-{\infty}}\;{\psi}_je_{t-j}$ with ${\sum}^{\infty}_{j=-{\infty}}\;|{\psi}_j|$ < $\infty$ and {$e_t$} are negatively associated random variables. Under appropriate conditions, we derive a Berry-Esseen type bound for the estimator of g($\cdot$). As corollary, by choice of the weights, the Berry-Esseen type bound can attain O($n^{-1/4}({\log}\;n)^{3/4}$).

• Proceedings of the Korean Geotechical Society Conference
• /
• 2000.11a
• /
• pp.261-268
• /
• 2000

In this study the bearing capacity of the eccentrically loaded shallow footing is estimated by means of the upper bound method of limit analysis. In the case of applying the upper bound, the results depend on the failure mechanism. So the failure surface is correctly studied through the model test using sand. New method is proposed to estimate the bearing capacity of the eccentrically loaded shallow footing by means of the upper bound method to apply the failure mechanism based on the model test. The propriety of new method is verified by the results of various methods. And the influences of the variables eccentricity, embedment depth, variations of contact width factor by model test using sand are also studied in this paper

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.04a
• /
• pp.206-211
• /
• 1996

Closed-die forging of external spine is analysed using an upper bound elemental technique. The kinematically admissible velocity field for three-dimensional deformation in forging of the external spine with trapezoidal teeth was obtained. The upper bound to the deforming load necessary and the the deformed configurations are predicted using integration of the formulation of energy expressions which were obtained from B(upset forging method) were considerd in the present analysis and the theoretical results compared with experimental ones Experiments were carried out on plasticine as model material at room temperature where talcum powder was used as a lubricant. The present investigation revealed that the analytical method B predicts a reducet forging load and improved configuration better than method A for the forged products.

• 한국터널공학회:학술대회논문집
• /
• 2005.04a
• /
• pp.77-86
• /
• 2005

In urban areas, new tunnel construction work is often taking place adjacent to existing piled foundations. In this case, careful assessment for the pile-soil-tunnel interaction is required. However, research on this topic has not been much reported, and currently only limited information is available. In this study, the complex pile-soil-tunnel interaction is investigated using the upper and lower bound methods based on kinematically possible failure mechanism and statically admissible stress field respectively. It is believed that the limit theorem is useful in understanding the complicated interaction behaviour mechanism and applicable to the pile-soil-tunnel interaction problem. The results are compared with numerical analysis. The material deformation patterns and strain data from the FE output are shown to compare well with the equivalent physical model tests. Admissible stress fields and the failure mechanisms are presented and used to develop upper and lower bound solutions to assess minimum support pressures within the tunnel.

• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.9
• /
• pp.658-663
• /
• 2003

In deterministic design of feedback controllers for uncertain dynamic systems, the upper bound of the uncertainty is very important to guarantee the stability of the closed loop system. In this paper, we assume that the upper bound of the uncertainty is formulated using a Fredholm integral equation of the first kind, that is, an integral of the product of a predefined kernel with an unknown influence function. We propose an adaptation law that is capable of estimating this upper bound. Using this adaptive upper bound, we design an adaptive variable structure control (AVSC), which guarantees asymptotic stability/ultimate boundedness of uncertain dynamic systems. The illustrative example shows the proposed AVSC is effective for uncertain dynamic systems.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.33 no.3
• /
• pp.154-161
• /
• 2010

This paper considers the simultaneously firing model for the artillery operations. The objective of this paper is to find the optimal fire sequence minimizing the final completion time of the firing missions of multiple artillery units for multiple targets. In the problem analysis, we derive several solution properties to reduce the solution space. Moreover, two lower bounds of objective are derived and tested along with the derived properties within a branch-and-bound scheme. Two efficient heuristic algorithms are also developed. The overall performances of the proposed branch-and-bound and heuristic algorithms are evaluated through various numerical experiments.