• 대한수학회지
• /
• 제54권2호
• /
• pp.599-612
• /
• 2017

If ${\psi}$ is analytic on the open unit disk $\mathbb{D}$ and ${\varphi}$ is an analytic self-map of $\mathbb{D}$, the weighted composition operator $C_{{\psi},{\varphi}}$ is defined by $C_{{\psi},{\varphi}}f(z)={\psi}(z)f({\varphi}(z))$, when f is analytic on $\mathbb{D}$. In this paper, we study normal, cohyponormal, hyponormal and normaloid weighted composition operators on the Hardy and weighted Bergman spaces. First, for some weighted Hardy spaces $H^2({\beta})$, we prove that if $C_{{\psi},{\varphi}}$ is cohyponormal on $H^2({\beta})$, then ${\psi}$ never vanishes on $\mathbb{D}$ and ${\varphi}$ is univalent, when ${\psi}{\not\equiv}0$ and ${\varphi}$ is not a constant function. Moreover, for ${\psi}=K_a$, where |a| < 1, we investigate normal, cohyponormal and hyponormal weighted composition operators $C_{{\psi},{\varphi}}$. After that, for ${\varphi}$ which is a hyperbolic or parabolic automorphism, we characterize all normal weighted composition operators $C_{{\psi},{\varphi}}$, when ${\psi}{\not\equiv}0$ and ${\psi}$ is analytic on $\bar{\mathbb{D}}$. Finally, we find all normal weighted composition operators which are bounded below.

• 대한수학회지
• /
• 제54권1호
• /
• pp.281-302
• /
• 2017

For a Banach space operator $A{\in}B(\mathcal{X})$, let ${\sigma}(A)$, ${\sigma}_a(A)$, ${\sigma}_w(A)$ and ${\sigma}_{aw}(A)$ denote, respectively, its spectrum, approximate point spectrum, Weyl spectrum and approximate Weyl spectrum. The operator A is polaroid (resp., left polaroid), if the points $iso{\sigma}(A)$ (resp., $iso{\sigma}_a(A)$) are poles (resp., left poles) of the resolvent of A. Perturbation by compact operators preserves neither SVEP, the single-valued extension property, nor the polaroid or left polaroid properties. Given an $A{\in}B(\mathcal{X})$, we prove that a sufficient condition for: (i) A+K to have SVEP on the complement of ${\sigma}_w(A)$ (resp., ${\sigma}_{aw}(A)$) for every compact operator $K{\in}B(\mathcal{X})$ is that ${\sigma}_w(A)$ (resp., ${\sigma}_{aw}(A)$) has no holes; (ii) A + K to be polaroid (resp., left polaroid) for every compact operator $K{\in}B(\mathcal{X})$ is that iso${\sigma}_w(A)$ = ∅ (resp., $iso{\sigma}_{aw}(A)$ = ∅). It is seen that these conditions are also necessary in the case in which the Banach space $\mathcal{X}$ is a Hilbert space.

• Journal of Mechanical Science and Technology
• /
• 제17권1호
• /
• pp.23-31
• /
• 2003

This paper introduces a constraint operator for the kinematic calibration of a parallel mechanism. By adopting the concept of a constraint operator, the movement between two poses is constrained. When the constrained movements are satisfied, the active joint displacements are taken and inputted into the kinematic model to compute the theoretical movements. A cost function is derived by the errors between the theoretical movement and the actual movement. The parameters that minimize the cost function are estimated and substituted into the kinematic model for a kinematic calibration. A single constraint plane is employed as a mechanical fixture to constrain the movement, and three digital indicators are used as the sensing devices to determine whether the constrained movement is satisfied. This calibration system represents an effective, low cost and feasible technique for a parallel mechanism. A calibration algorithm is developed with a constraint operator and implemented on a parallel manipulator constructed for a machining center tool.

• 한국CDE학회논문집
• /
• 제13권6호
• /
• pp.429-439
• /
• 2008

With a remote operated manipulator system, the situation at a remote site can be rendered through remote visualized image to the operator. Then the operator can quickly realize situations and control the slave manipulator by operating a master input device based on the information of the virtual image. In this study, the remote operator visual support system (ROVSS) was developed for viewing support of a remote operator to perform the remote task effectively. A visual support model based on virtual environment was also inserted and used to fulfill the need of this study. The framework for the system was created by Windows API based on PC and the library of 3D graphic simulation tool such as ENVISION. To realize this system, an operation test environment for a limited operating site was constructed by using experimental robot operation. A 3D virtual environment was designed to provide accurate information about the rotation of robot manipulator, the location and distance of operation tool through the real time synchronization. In order to show the efficiency of the visual support, we conducted the experiments by four methods such as the direct view, the camera view, the virtual view and camera view plus virtual view. The experimental results show that the method of camera view plus virtual view has about 30% more efficiency than the method of camera view.

• 호남수학학술지
• /
• 제26권4호
• /
• pp.379-389
• /
• 2004

Given operators X and Y acting on a Hilbert space ${\mathcal{H}}$, an interpolating operator is a bounded operator A such that AX = Y. An interpolating operator for n-operators satisfies the equation $AX_i=Y_i$, for $i=1,2,{\cdots},n$. In this article, we obtained the following : Let ${\mathcal{H}}$ be a Hilbert space and let ${\mathcal{L}}$ be a commutative subspace lattice on ${\mathcal{H}}$. Let X and Y be operators acting on ${\mathcal{H}}$. Then the following statements are equivalent. (1) There exists an operator A in $Alg{\mathcal{L}}$ such that AX = Y, A is positive and every E in ${\mathcal{L}}$ reduces A. (2) sup ${\frac{{\parallel}{\sum}^n_{i=1}\;E_iY\;f_i{\parallel}}{{\parallel}{\sum}^n_{i=1}\;E_iX\;f_i{\parallel}}}:n{\in}{\mathbb{N}},\;E_i{\in}{\mathcal{L}}$ and $f_i{\in}{\mathcal{H}}<{\infty}$ and <${\sum}^n_{i=1}\;E_iY\;f_i$, ${\sum}^n_{i=1}\;E_iX\;f_i>\;{\geq}0$, $n{\in}{\mathbb{N}}$, $E_i{\in}{\mathcal{L}}$ and $f_i{\in}H$.

• 제어로봇시스템학회논문지
• /
• 제13권7호
• /
• pp.631-636
• /
• 2007

An efficient obstacle avoidance algorithm is proposed in this paper to avoid dynamic obstacles using a collision vector while a tele-operated mobile robot is moving. For the verification of the algorithm, an operator watches through a monitor and controls the mobile robot with a force-reflection joystick. The force-reflection joystick transmits a virtual force to the operator through the Inter-net, which is generated by an adaptive impedance algorithm. To keep the mobile robot safe from collisions in an uncertain environment, the adaptive impedance algorithm generates the virtual force which changes the command of the operator by pushing the operator's hand to a direction to avoid the obstacle. In the conventional virtual force algorithm, the avoidance of moving obstacles was not solved since the operator cannot recognize the environment realistically by the limited communication bandwidth and the narrow view-angle of the camera. To achieve the dynamic obstacle avoidance, the adaptive virtual force algorithm is proposed based on the collision vector that is a normal vector from the obstacle to the mobile robot. To verify the effectiveness of the proposed algorithm, mobile robot navigation experiments with multiple moving obstacles have been performed, and the results are demonstrated.

• Nuclear Engineering and Technology
• /
• 제44권8호
• /
• pp.929-938
• /
• 2012

The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제21권1호
• /
• pp.1-16
• /
• 2017

The Allen-Cahn equation is solved numerically by operator splitting Fourier spectral methods. The basic idea of the operator splitting method is to decompose the original problem into sub-equations and compose the approximate solution of the original equation using the solutions of the subproblems. The purpose of this paper is to characterize higher order operator splitting schemes and propose several higher order methods. Unlike the first and the second order methods, each of the heat and the free-energy evolution operators has at least one backward evaluation in higher order methods. We investigate the effect of negative time steps on a general form of third order schemes and suggest three third order methods for better stability and accuracy. Two fourth order methods are also presented. The traveling wave solution and a spinodal decomposition problem are used to demonstrate numerical properties and the order of convergence of the proposed methods.

• BMB Reports
• /
• 제42권5호
• /
• pp.293-298
• /
• 2009

Temperate mycobacteriophage L1 encodes an unusual repressor (CI) for regulating its lytic-lysogenic switching and, in contrast to the repressors of most temperate phages, it binds to multiple asymmetric operator DNAs. Here, ions like $Na^+$, $Cl^-$, and $acetate^-$ ions were demonstrated to facilitate the optimal binding of CI to cognate operator DNA, whereas $K^+$, $Li^+$, ${NH_4}^+$, $Mg^{2+}$, $carbonate^{2-}$, and $citrate^{3-}$ ions significantly affected its operator binding activity. Of these ions, $Mg^{2+}$ unfolded CI most severely at room temperature and, compared to $Mg^{2+}$, $Na^+$ provided improved thermal stability to CI. Furthermore, the intrinsic tryptophan fluorescence of CI was changed notably upon replacing $Na^+$ with $Mg^{2+}$ and these opposing effects of $Mg^{2+}$ and $Na^+$ were also noticed in their actions on the C-terminal fragment (CTD) of CI. Taken together, $Na^+$ appeared to be more appropriate than $Mg^{2+}$ for maintaining the biologically active conformation of CI needed for its optimal binding to operator DNA.

• Journal of Electrical Engineering and Technology
• /
• 제9권1호
• /
• pp.52-59
• /
• 2014

Operator training simulator, within a training environment designed to understand the principles and behavior of the railway system with respect to operator's entries and predefined scenario, can provide a very strong benefit in facilitating operators' handling undesired operations. This simulator consists of computer system and applications, and the purpose of applications is to generate the power and voltage and analyze the AC substation and DC railway, respectively. This paper describes a novel approach to the new techniques for AC/DC hybrid simulation for the operator training simulator in the railway system. We first propose the structure the database of railway system. Then, topology processing and power flow using a linked-list method based on the proposed database, full or decoupled newton-rapshon methods are presented. Finally, the interface between the analysis for AC substation using a newton-rapshon method and the analysis for DC railway system using a time-interval power flow method is described. We have verified and tested the developed algorithm through the extensive testing for the proposed test system. To demonstrate the validity of the developed algorithm, comparative simulations between the proposed algorithm and PSS/E for the test system were conducted.