• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 1997.03a
• /
• pp.130-135
• /
• 1997

A kinematically admissible velocity field is developed for the analysis of twisting of extruded products. The twisting of extruded product is caused by the linearly increased rotational velocity from the center on the cross-section of the workpiece at the die exit. In the analysis, the rotational velocity in angular direction is assumed by the multiplication of radial distance and angular velocity. The angular velocity is zero at the die entrance and is increased linearly by longitudinal distance from die entrance. The increase rate of angular velocity is determined by the minimization of plastic work. The results of the analysis show that the angular velocity of the extruded product changes with the aspect ratio of product and increases with the decreases in die length and in eccentricity of gravity center of the cross-section of workpiece at die entrance from that of the cross-section at the die exit.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 1995.10a
• /
• pp.143-149
• /
• 1995

A simple kinematically admissible velocity field is proposed to drtermine the final-stage extrusion load and the average extruded length in the square-die forward extrusion of non-axisymmetric bars from circular billets. The proposed velocity field is applied to the square-die extrusion of trochoidal gear-shaped bars and rectangular-shaped bars, the profile function of a rectangular being approximated by using a Fourier series. Experiments have been carried out with hard solder billets at room temperature. The theoretical predictions of the extrusion load are in good agreements with the experimental results and there is generally reasonable agreements in average extruded length between theory and experiment.

• Journal of Institute of Control, Robotics and Systems
• /
• v.10 no.1
• /
• pp.10-14
• /
• 2004

We present a predictive control algorithm combined with the robust robot control that is constructed on the Lyapunov min-max approach. Since the control design of a real manipulator system may often be made on the basis of the imperfect knowledge about the model, it is an important trend to design a robust control law that guarantees the desired properties of the manipulator under uncertain elements. In the preceding robust control work, we need to tune several control parameters in the admissible set where the desired stability can be achieved. By introducing an optimal predictive control technique in robust control we can find out much more deterministic controller for both the stability and the performance of manipulators. A new class of robust control combined with an optimal predictive control is constructed. We apply it to a simple type of 2-link robot manipulator and show that a desired performance can be achieved through the computer simulation.

• ICROS
• /
• v.6 no.4
• /
• pp.38-48
• /
• 2000

Abstract :본 논문에서는 관리제어시스템의 동적특성을 허용언어(admissible language) 범위 이내에서 최적화시키는 최적 관리제어기법들을 소개한다. 본 논문에서 주로 다루고자 하는 최적 관리제어기법은 Kumar와 Garg에 의해 제안된 기법과 Cho와 Lim에 의해 제안된 계층적 최적 관리제어기법, 그리고, Sengupta와 Lafortune이 제안한 최적 관리제어기법 등이다. 첫 번째 기법에서는 우선 시스템의 최적화를 위해 고려되고 있는 비용함수(cost function)를 소개한 후, 최대흐름 최소분할생성 정리(max-flow min-cut theorem)를 이용한 최적 관리제어기 설계기법을 제시하고, 이를 부분관측 하에서도 최적 관리제어기를 설계할 수 있도록 확장한다. 그런 후 제시된 설계기법에 의해 설계된 관리제어시스템에서 발생 할 수 있는 문제점들을 지적하고, Cho와 Lim에 의해 제안된 완전 최소분할생성(complete min-cut)이라는 개념을 도입하여 지적된 문제점들을 해결할 수 있는 방법을 제시한다. 또한 시스템의 고장을 고려한 계층적 최적 관리 제어(layered optimal supervisory control)기 법을 소개한다 그리 고 마지막으로 Sengupta와 Lafortune이 제안한 최적 관리제어기법에 대해서 살펴본다.

• Proceedings of the KIEE Conference
• /
• 2007.04a
• /
• pp.92-94
• /
• 2007

This paper considers an optimal control problem for a remote control to an electrical drive system with a DC motor. Since it is a linear control system with time-delay subject to unknown but bounded disturbance, we construct a worst-case feedback control policy. This policy can guarantee that, for all admissible uncertain disturbances, the real system state should be in a prescribed neighborhood of a desired value, and the cost functional takes the best guarantee value. The worst-case feedback control policy is allowed to be corrected at one correction point between the initial to the final time, which is equivalent to solving a 1-level min-max problem. Since the min-max problem at the stage does not yield a simple analytical solution, we consider an approximate control policy, which is equivalent and can be solved explicitly m the numerical experiments.

• IE interfaces
• /
• v.4 no.2
• /
• pp.1-12
• /
• 1991

This paper deals with the development of a computer aided fixture planning system that automatically selects set-ups, set-up sequence and fixture design for prismatic parts. This study presents the hierarchical data structure for feature-based part model and the preprocessing procedure for the proposed system. The preprocessing procedure generates tools such as DDR(Degree of Dimensional Relationship), AMV(Admissible Misalignment Value) and the datum reference frame of each feature according to the proposed decision table. The proposed system is called AFIX(Automated FIXture planning system) which is implemented by using C language on the workstation. A case study for a cavity plate is presented to show the performance of the AFM.

• Journal of applied mathematics & informatics
• /
• v.35 no.3_4
• /
• pp.323-330
• /
• 2017

Recently Samet, Vetro and Vetro introduced the notion of ${\alpha}$-${\Psi}$-contractive type mappings and initiated some fixed point theorems in complete metric spaces. The notion of ${\alpha}_*$ - ${\Psi}$-contractive multifunctions and initiated some fixed point results by Hasanzade Asl et. al. [8]. In this paper, we introduced the notion of ${\alpha}_*$ - ${\Psi}$-contractive multifunctions in a fuzzy metric space and gave fixed point results for these multifunctions in complete fuzzy metric spaces. We also obtain a fixed point results for self-maps in complete fuzzy metric spaces satisfying contractive condition.

• The Journal of the Acoustical Society of Korea
• /
• v.15 no.3E
• /
• pp.78-85
• /
• 1996

The set of admissible time-variations in the input signal can be separated into two categories : slow parameter changes and large parameter changes which occur infrequently. A common approach used in the tracking of slowly time-varying parameters is the exponential recursive least-squares(RLS) algorithm. There have been a variety of research works on the error analysis of the exponential RLS algorithm for the slowly time-varying parameters. In this paper, the focus has been given to the error analysis of exponential RLS algorithms for the input data with abrupt property changes. The voiced speech signal is chosen as the principal application. In order to analyze the error performance of the exponential RLS algorithm, deterministic properties of the exponential RLS algorithms is first analyzed for the case of abrupt parameter changes, the impulsive input(or error variance) synchronous to the abrupt change of parameter vectors actually enhances the convergence of the exponential RLS algorithm. The analysis has also been verified through simulations on the synthetic speech signal.

• Journal of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.1077-1095
• /
• 2010

The paper considers the identifiability (i.e., the unique identification) of a composite string in the class of piecewise constant parameters. The 1-D string vibration is measured at finitely many observation points. The observations are processed to obtain the first eigenvalue and a constant multiple of the first eigenfunction at the observation points. It is shown that the identification by the Marching Algorithm is continuous with respect to the mean convergence in the admissible set. The result is based on the continuous dependence of eigenvalues, eigenfunctions, and the solutions on the parameters. A numerical algorithm for the identification in the presence of noise is proposed and implemented.

• Journal of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.1017-1029
• /
• 2010

In this paper we obtain a very general theorem of $\rho$-compatibility for three multivalued mappings, one of them from the class $\mathfrak{B}$. More exactly, we show that given a G-convex space Y, two topological spaces X and Z, a (binary) relation $\rho$ on $2^Z$ and three mappings P : X $\multimap$ Z, Q : Y $\multimap$ Z and $T\;{\in}\;\mathfrak{B}$(Y,X) satisfying a set of conditions we can find ($\widetilde{x},\;\widetilde{y}$) ${\in}$ $X\;{\times}\;Y$ such that $\widetilde{x}\;{\in}\;T(\widetilde{y})$ and $P(\widetilde{x}){\rho}\;Q(\widetilde{y})$. Two particular cases of this general result will be then used to establish existence theorems for the solutions of some general equilibrium problems.