• Journal of Microbiology and Biotechnology
• /
• v.12 no.4
• /
• pp.622-627
• /
• 2002

Diphtheria toxin repressor (DtxR) binds to approximately 30 to 35-bp regions containing an interrupted 9-bp inverted repeat within a 19-bp core sequence. The core sequence is fairly conserved and critical for DtxR binding. The flanking regions that are consisted of 5 to 8 more of nucleotides from the core are also required for DtxR binding. The nucleotides in both flanking regions are A-T rich. To examine whether the A-T nucleotides in both flanking regions from the core have significant roles for DtxR binding, a DNA fragment was constructed based on the diphtheria tox promoter/operator, and DNA fragments with substitution of A and T nucleotides In the flanking regions to G and C were also constructed. To assess the effect of these substitutions on binding of DtxR and repressibility by DtxR, $\beta$-galactosidase activity from lacZ fused to the region was assessed. Gel mobility shift of the region by purified DtxR was also examined. The DNA fragments containing the mutations in the flanking regions still exhibited repression and mobility shift with DtxR. The core segment with the mutation is still, therefore, recognized by DtxR. Nonetheless, the results from the assays indicated that the substitution significantly decreased repression of the operator by DtxR in vivo under high-iron condition and decreased binding of DtxR to the operator. These results suggest that A and T nucleotides fur both flanking regions are preferred for the binding of DtxR.

• Journal of the Korean Society for Precision Engineering
• /
• v.26 no.5
• /
• pp.104-111
• /
• 2009

A ship engine operator should compensate the crankshaft assembly of ship engine after inspecting crankshaft deflection error in the crank throw regularly to avoid engine vibration and abrasions. In the previous method, the operator enters the bed plate and measures crankshaft deflection using dial gauge on rotating crankshaft manually. However, this method can cause dangerous situation to the operator as well as uncomfortable in an inferior environment. In order to solve the problems, this paper studies the method which makes the operator measure the error outside of the bed plate. In this paper, it is suggested that BlueTooth wireless communication transfers the error data to the outer standing operator with digitalized crankshaft deflection inspection device developed in this paper. So, the wireless measurement system is developed and applied to a medium-speed marine engine through size-miniaturization. After applying test, the developed inspection device showed that it provides much safe and ease inspection method. Furthermore, in the result, the measuring accuracy is more improved.

• Kyungpook Mathematical Journal
• /
• v.48 no.3
• /
• pp.359-366
• /
• 2008

Let A(p) be the class of functions $f\;:\;z^p\;+\;\sum\limits_{j=1}^{\infty}a_jz^{p+j}$ analytic in the open unit disc E. Let, for any integer n > -p, $f_{n+p-1}(z)\;=\;z^p+\sum\limits_{j=1}^{\infty}(p+j)^{n+p-1}z^{p+j}$. We define $f_{n+p-1}^{(-1)}(z)$ by using convolution * as $f_{n+p-1}\;*\;f_{n+p-1}^{-1}=\frac{z^p}{(1-z)^{n+p}$. A function p, analytic in E with p(0) = 1, is in the class $P_k(\rho)$ if ${\int}_0^{2\pi}\|\frac{Re\;p(z)-\rho}{p-\rho}\|\;d\theta\;\leq\;k{\pi}$, where $z=re^{i\theta}$, $k\;\geq\;2$ and $0\;{\leq}\;\rho\;{\leq}\;p$. We use the class $P_k(\rho)$ to introduce a new class of multivalent analytic functions and define an integral operator $L_{n+p-1}(f)\;\;=\;f_{n+p-1}^{-1}\;*\;f$ for f(z) belonging to this class. We derive some interesting properties of this generalized integral operator which include inclusion results and radius problems.

• Journal of the Korean Mathematical Society
• /
• v.54 no.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.

• Journal of the Korean Mathematical Society
• /
• v.54 no.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
• /
• v.17 no.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.

• Korean Journal of Computational Design and Engineering
• /
• v.13 no.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.

• Honam Mathematical Journal
• /
• v.26 no.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$.

• Journal of Institute of Control, Robotics and Systems
• /
• v.13 no.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
• /
• v.44 no.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.