• Journal of the Chungcheong Mathematical Society
• /
• v.7 no.1
• /
• pp.109-115
• /
• 1994

We introduce the concept of the prolongation operator and examine some properties of this operator. In c-first countable space X, we prove that each compact subset M of X is stable if and only if DR(M)=M for each polydynamical system.

• Korean Journal of Computational Design and Engineering
• /
• v.9 no.1
• /
• pp.27-34
• /
• 2004

A tetrahedral mesh generation scheme using 3-D operators has been presented. The proposed scheme employs new 3-D operators such as rearranging and modified finishing operators in addition to the previous trimming, wedging, digging, splitting and finishing operators. These new operators have been introduced in order to increase the stability of mesh generation process. Check processings with surrounded element edges and faces have also been optimized by employing a searching algorithm. Sample meshes are constructed to demonstrate the mesh generating capability of the proposed algorithm.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.1031-1040
• /
• 2009

It is shown that every almost positive linear mapping h : $\mathcal{A}\rightarrow\mathcal{B}$ of a Banach *-algebra $\mathcal{A}$ to a Banach *-algebra $\mathcal{B}$ is a positive linear operator when h(rx) = rh(x) (r > 1) holds for all $x\in\mathcal{A}$, and that every almost linear mapping h : $\mathcal{A}\rightarrow\mathcal{B}$ of a unital C*-algebra $\mathcal{A}$ to a unital C*-algebra $\mathcal{B}$ is a positive linear operator when h($2^nu*y$) = h($2^nu$)*h(y) holds for all unitaries $u\in \mathcal{A}$, all $y \in \mathcal{A}$, and all n = 0, 1, 2, ..., by using the Hyers-Ulam-Rassias stability of functional equations. Under a more weak condition than the condition as given above, we prove that every almost linear mapping h : $\mathcal{A}\rightarrow\mathcal{B}$ of a unital C*-algebra $\mathcal{A}$ A to a unital C*-algebra $\mathcal{B}$ is a positive linear operator. It is applied to investigate states, center states and center-valued traces.

• Journal of Institute of Convergence Technology
• /
• v.2 no.2
• /
• pp.35-39
• /
• 2012

This paper presents the effect of data-hold methods on stability of haptic system with a virtual wall. When a human operator interacts with virtual wall, the lager the stiffness of the virtual wall is, the more realistic the operator feels that the virtual wall is. However, if the stiffness of the virtual wall becomes extremely large, the system may be unstable. When a virtual wall is designed, it is necessary to analyze the maximum available stiffness to guarantee a stable haptic interaction. The simulation model in this paper is developed based on the haptic device model, sampler, a virtual wall model, and data hold methods to compute the maximum stiffness for stability. The effectiveness of the simulation is evaluated through comparing the results of previous studies with the results of this simulation. In addition, the effects of two data hold methods, that is, zero-order hold (ZOH) and first-order hold (FOH) on the stability are analyzed and the values of the maximum available stiffness are compared through the simulation.

• Journal of Institute of Convergence Technology
• /
• v.3 no.2
• /
• pp.23-29
• /
• 2013

When a human operator interacts with a virtual wall that is modeled as a virtual spring model, the lager the stiffness of the virtual spring is, the more realistic the operator feels that the virtual wall is. In the previous studies, it is shown that the maximum available stiffness of a virtual spring to guarantee the stability can be increased when the first-order-hold method is applied, however the effects of a human impedance on the stability are not considered. This paper presents the effects of a human impedance on stability of haptic system with a virtual spring and a first-order-hold (FOH) method. The human impedance model is modeled as a linear second-order system model. The relations between the maximum available stiffness of a virtual spring and the human impedance such as a mass, a damping and a stiffness are analyzed through the MATLAB simulation. It is shown that the maximum available stiffness is proportional to the square root of the human mass or damping respectively.

• Communications of the Korean Mathematical Society
• /
• v.11 no.4
• /
• pp.959-965
• /
• 1996

In this paper we study the index stability theorem for a bounded linear operator with closed range and extend the Kato's decomposition theorem for an absence of the index.

• Journal of the Chungcheong Mathematical Society
• /
• v.15 no.1
• /
• pp.25-33
• /
• 2002

We prove the generalized Hyers-Ulam-Rassias stability of linear operators in a Hilbert module over a unital $C^*$-algebra.

• Journal of applied mathematics & informatics
• /
• v.9 no.1
• /
• pp.15-26
• /
• 2002

In this paper, we suggest and analyze a class of resolvent dynamical systems associated with mixed variational inequalities. We study the globally asymptotic stability of the solution of the resolvent dynamical systems for the pseudomonotone operators. We also discuss some special cases, which can be obtained from our main results.

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

This paper focuses on the stability and operability of a man-machine system considering a human operator. Some papers' main interest has been the stability only, but the operability such as fatigue is also the other main interest. In a man-machine system, feelings such as motional, visual, and kinesthetic are important since those enable operators to work easily or fatigue operators. A model of a man-machine system has been developed. Motional, visual, and kinesthetic feelings may be considered as feedbacked sensor signals. We also have quantified the degree of fatigue with respect to reference operation. This is a performance index to be optimized. Several methods are presented to optimize the degree of fatigue and the stability of the integrated system. Examples are presented to show that the usefulness of the proposed modeling method and fatigue mitigating algorithm.

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

In this paper, the eigenstructure of a class of linear time varying systems, termed as linear quasi-time invariant(LQTI) systems, is investigated. A system composed of dynamic devices such as linear time varying capacitors and resistors can be an example of the class. To effectively describe and analyze the LQTI systems, a generalized differential operator G is introduced. Then the dynamic systems described by the operator G are studied in terms of eigenvalue, frequency characteristics, stability and an extended convolution. Some basic attributes of the operator G are compared with those of the differential operator D. Also the corresponding generalized Laplace transform pair is defined and relevant properties are derived for frequency domain analysis of the systems under consideration. As an application example, a LQTI circuit is examined by using the concept of eigenstructure of LQTI system. The LQTI filter processes the sinusoidal signals modulated by some functions.