• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.29 no.6 s.237
• /
• pp.795-803
• /
• 2005

This paper studies the observability of calibration system with a measurement operator. The calibration system needs a simple digital indicator to measure the mobile table movements with respect to the MC coordinate. However, it yields the concern about the poor parameter observability due to measuring only a part of the movements. We uses the QR-decomposition to find the optimal calibration configurations maximizing the linear independence of rows of an observation matrix. The number of identifiable parameter is examined by the rank of the observation matrix, which represents the parameter observability. The method is applied to a 6-axis MC with parallel tilting table and the calibration results are presented. These results verify that all necessary kinematic parameters are observable and the calibration system has robustness to the noise using optimal calibration configurations.

• Communications of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1141-1158
• /
• 2018

Hahn difference operator $D_{q,{\omega}}$ which is defined by $$D_{q,{\omega}}g(t)=\{{\frac{g(gt+{\omega})-g(t)}{t(g-1)+{\omega}}},{\hfill{20}}\text{if }t{\neq}{\theta}:={\frac{\omega}{1-q}},\\g^{\prime}({\theta}),{\hfill{83}}\text{if }t={\theta}$$ received a lot of interest from many researchers due to its applications in constructing families of orthogonal polynomials and in some approximation problems. In this paper, we investigate sufficient conditions for stability of the abstract linear Hahn difference equations of the form $$D_{q,{\omega}}x(t)=A(t)x(t)+f(t),\;t{\in}I$$, and $$D^2{q,{\omega}}x(t)+A(t)D_{q,{\omega}}x(t)+R(t)x(t)=f(t),\;t{\in}I$$, where $A,R:I{\rightarrow}{\mathbb{X}}$, and $f:I{\rightarrow}{\mathbb{X}}$. Here ${\mathbb{X}}$ is a Banach algebra with a unit element e and I is an interval of ${\mathbb{R}}$ containing ${\theta}$.

• Korean Journal of Mathematics
• /
• v.16 no.4
• /
• pp.583-587
• /
• 2008

Let $\mathfrak{L(H)}$ denote the algebra of bounded linear operators on a separable infinite dimensional complex Hilbert space $\mathfrak{H}$. We say that $T{\in}\mathfrak{L(H)}$ is a quasi-class A operator if $$T^*{\mid}T^2{\mid}T{{\geq}}T^*{\mid}T{\mid}^2T$$. In this paper we prove that if A and B are quasi-class A operators, and $B^*$ is invertible, then for a Hilbert-Schmidt operator X $$AX=XB\;implies\;A^*X=XB^*$$.

• 전기의세계
• /
• v.20 no.3
• /
• pp.8-16
• /
• 1971

The proper design of man-machine systems requires as much understanding of the human element as of the machine. Although the modern systems engineer can obtain a very high degree of repeatability and accuracy for the characteristics of a machine, these of the human elements are much less well known. Due to the complexity and importance of modern man-machine systems, this difficult problem has recently received increasing attention. In this paper, the dynamic characteristics of the human operator have been newly determined by impulse estimation using Pseuo-random binnary signals as a test signal and the quasi-linear human operator models used as an element of a closed-loop control system adopted from McRuer & Krendel and Bekey. Also the techniques and instruments are presented for correlating the actual characteristics of the constructed system with anticipated theoretical values. Consequently, in spite of many problems remain yet, experimental results were very satisfactory.

• Kyungpook Mathematical Journal
• /
• v.48 no.2
• /
• pp.281-286
• /
• 2008

In this note we prove that if A and $B^*$ are subnormal operators and is a bounded linear operator such that AX - XB is a Hilbert-Schmidt operator, then f(A)X - Xf(B) is also a Hilbert-Schmidt operator and $${\parallel}f(A)X\;-\;Xf(B){\parallel}_2\;\leq\;L{\parallel}AX\;-\;XB{\parallel}_2$$, for f belonging to a certain class of functions. Furthermore, we investigate the similar problem in the case that S, T are hyponormal operators and $X\;{\in}\;\cal{L}(\cal{H})$ is such that SX - XT belongs to a norm ideal (J, ${\parallel}\;{\cdot}\;{\parallel}_J$) and prove that f(S)X - Xf(T) $\in$ J and ${\parallel}f(S)X\;-\;Xf(T){\parallel}_J\;\leq\;C{\parallel}SX\;-\;XT{\parallel}_J$, for f in a certain class of functions.

• The Pure and Applied Mathematics
• /
• v.18 no.1
• /
• pp.31-39
• /
• 2011

Stone's theorem states that "A bounded linear operator A is infinitesimal generator of a $C_0$-group of unitary operators on a Hilbert space H if and only if iA is self adjoint". In this paper we establish a generalization of Stone's theorem in the framework of Hilbert $C^*$-modules.

• Journal of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.573-597
• /
• 2005

A continuous linear operator T, on the space of entire functions in d variables, is PDE-preserving for a given set $\mathbb{P}\;\subseteq\;\mathbb{C}|\xi_{1},\ldots,\xi_{d}|$ of polynomials if it maps every kernel-set ker P(D), $P\;{\in}\;\mathbb{P}$, invariantly. It is clear that the set $\mathbb{O}({\mathbb{P}})$ of PDE-preserving operators for $\mathbb{P}$ forms an algebra under composition. We study and link properties and structures on the operator side $\mathbb{O}({\mathbb{P}})$ versus the corresponding family $\mathbb{P}$ of polynomials. For our purposes, we introduce notions such as the PDE-preserving hull and basic sets for a given set $\mathbb{P}$ which, roughly, is the largest, respectively a minimal, collection of polynomials that generate all the PDE-preserving operators for $\mathbb{P}$. We also describe PDE-preserving operators via a kernel theorem. We apply Hilbert's Nullstellensatz.

• Journal of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.495-517
• /
• 2022

Let M_α be a bilinear fractional maximal operator and BM_α be a fractional maximal operator associated with the bilinear Hilbert transform. In this paper, the compactness on weighted Lebesgue spaces are considered for commutators of bilinear fractional maximal operators; these commutators include the fractional maximal linear commutators M^j_α,β and BM^j_α,β (j = 1, 2), the fractional maximal iterated commutator ${\mathcal{M}}_{{\alpha},{\vec{b}}}$, and $BM_{{\alpha},{\vec{b}}}$, where b ∈ BMO(ℝ^d) and ${\vec{b}}\;=\;(b_1,b_2)\;{\in}\;BMO({\mathbb{R}}^d)\;{\times}\;BMO({\mathbb{R}}^d)$. In particular, we improve the well-known results to a larger scale for 1/2 < q < ∞ and give positive answers to the questions in [2].

• Journal of the Korean Operations Research and Management Science Society
• /
• v.37 no.4
• /
• pp.67-72
• /
• 2012

In this paper a new method of handling linear constraints for the genetic algorithm is suggested. The method is designed to maintain the feasibility of offsprings during the evolution process of the genetic algorithm. In the genetic algorithm, the chromosomes are coded as the vectors in the real vector space constrained by the linear constraints. A method of handling the linear constraints already exists in which all the constraints of equalities are eliminated so that only the constraints of inequalities are considered in the process of the genetic algorithm. In this paper a new method is presented in which all the constraints of inequalities are eliminated so that only the constraints of equalities are considered. Several genetic operators such as arithmetic crossover, simplex crossover, simple crossover and random vector mutation are designed so that the resulting offspring vectors maintain the feasibility subject to the linear constraints in the framework of the new handling method.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.1
• /
• pp.161-173
• /
• 2013

This paper is concerned with the space $\mathcal{K}_{w^*}(X^*,Y)$ of $weak^*$ to weak continuous compact operators from the dual space $X^*$ of a Banach space X to a Banach space Y. We show that if $X^*$ or $Y^*$ has the Radon-Nikod$\acute{y}$m property, $\mathcal{C}$ is a convex subset of $\mathcal{K}_{w^*}(X^*,Y)$ with $0{\in}\mathcal{C}$ and T is a bounded linear operator from $X^*$ into Y, then $T{\in}\bar{\mathcal{C}}^{{\tau}_{\mathcal{c}}}$ if and only if $T{\in}\bar{\{S{\in}\mathcal{C}:{\parallel}S{\parallel}{\leq}{\parallel}T{\parallel}\}}^{{\tau}_{\mathcal{c}}}$, where ${\tau}_{\mathcal{c}}$ is the topology of uniform convergence on each compact subset of X, moreover, if $T{\in}\mathcal{K}_{w^*}(X^*, Y)$, here $\mathcal{C}$ need not to contain 0, then $T{\in}\bar{\mathcal{C}}^{{\tau}_{\mathcal{c}}}$ if and only if $T{\in}\bar{\mathcal{C}}$ in the topology of the operator norm. Some properties of $\mathcal{K}_{w^*}(X^*,Y)$ are presented.