• The Journal of Korea Robotics Society
• /
• v.13 no.3
• /
• pp.151-156
• /
• 2018

Military robots are expected to play an important role in the future battlefield, and will be actively engaged in dangerous, repetitive and difficult tasks. During the robots perform the tasks a human operator controls the robots in a supervisory way. The operator recognizes battlefield situations from remote robots through an interface of the operator control center, and controls them. In the meantime, operator workload, controller interface, robot automation level, and task complexity affect robot operability. In order to assess the robot operability, we have developed ROSim (Robot Operational Simulator) incorporating these operational factors. In this paper, we introduce the results of applying ROSim experimentally to the assessment of reconnaissance robot operability in a battle field. This experimental assessment shows three resulting measurements: operational control workload, operational control capability, mission success rate, and discuss its applicability to the defense robot research and development. It is expected that ROSim can contribute to the design of an operator control center and the design analysis of a human-robot team in the defense robot research and development.

• Journal of Electrical Engineering and Technology
• /
• v.10 no.6
• /
• pp.2376-2383
• /
• 2015

Assistance of the operator’s walking ability while carrying a load is a challenging area in lower limb exoskeletons. We implement an exoskeleton called the Unmanned Technology Research Center Exoskeleton (UTRCEXO), which enables the operator to walk with a load more comfortably. The UTRCEXO makes use of two types of DC motor to assist the hip and knee joints. The UTRCEXO detects the operator’s walking intention including step initiation with insole-type FSRs faster without using any bio-signals and precedes the operator’s step with a reference torque. It not only reduces interaction forces between the operator and the UTRCEXO, but also allows the operator to walk with a load more comfortably. In this paper, we present the UTRCEXO implementing the walking assistance mechanism with interaction force reduction during walking.

• Journal of KIISE:Information Networking
• /
• v.37 no.4
• /
• pp.312-316
• /
• 2010

In this paper, we propose a game theoretic channel sharing model that allocates resources of a base station between MNO(Mobile Network Operator) and MVNO(Mobile Virtual Network Operator) in a fair and efficient manner. Considering the input traffic loads of MNO and MVNO, the proposed model uses the bargaining game theory to allocate channel resources between MNO and MNVO. When the input loads of the carriers are asymmetric, the proposed model increases the resource utilization by allocating more channel resources to the operator with high input load. In addition, the proposed model prevents the quality of service of an operator from degrading even if the input load of the other operators increases excessively.

• Communications of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.855-866
• /
• 2020

For two essentially bounded Lebesgue measurable functions 𝜙 and ξ on unit circle 𝕋, we attempt to study properties of operators $S^k_{\mathcal{M}({\phi},{\xi})=S^k_{T_{\phi}}+S^k_{H_{\xi}}$ on H²(𝕋) (k ≥ 2), where $S^k_{T_{\phi}}$ is a k^th-order slant Toeplitz operator with symbol 𝜙 and $S^k_{H_{\xi}}$ is a k^th-order slant Hankel operator with symbol ξ. The spectral properties of operators S^k_{𝓜(𝜙,𝜙)} (or simply S^k_𝓜(𝜙)) are investigated on H²(𝕋). More precisely, it is proved that for k = 2, the Coburn's type theorem holds for S^k_𝓜(𝜙). The conditions under which operators S^k_𝓜(𝜙) commute are also explored.

• The Pure and Applied Mathematics
• /
• v.11 no.4
• /
• pp.293-308
• /
• 2004

Let K be a nonempty convex subset of an arbitrary Banach space X and $T\;:\;K\;{\rightarrow}\;K$ be a uniformly continuous strictly hemi-contractive operator with bounded range. We prove that certain Ishikawa iteration scheme with errors both converges strongly to a unique fixed point of T and is almost T-stable on K. We also establish similar convergence and almost stability results for strictly hemi-contractive operator $T\;:\;K\;{\rightarrow}\;K$, where K is a nonempty convex subset of arbitrary uniformly smooth Banach space X. The convergence results presented in this paper extend, improve and unify the corresponding results in Chang [1], Chang, Cho, Lee & Kang [2], Chidume [3, 4, 5, 6, 7, 8], Chidume & Osilike [9, 10, 11, 12], Liu [19], Schu [25], Tan & Xu [26], Xu [28], Zhou [29], Zhou & Jia [30] and others.

• Computers and Concrete
• /
• v.22 no.5
• /
• pp.493-500
• /
• 2018

Due to the fact that the ratio of their height to their openings is very large compared to normal beams, there are difficulties in the design and analysis of deep beams, which differ in behavior. In this study, the optimum horizontal and vertical reinforcement diameters of 5 different beams were determined by using genetic algorithms (GA) due to the openness/height ratio (L/h), loading condition and the presence of spaces in the body. In this study, the effect of different mutation operators and improved double times sensitive mutation (DTM) operator on GA's performance was investigated. In the study following random mutation (RM), boundary mutation (BM), non-uniform random mutation (NRM), Makinen, Periaux and Toivanen (MPT) mutation, power mutation (PM), polynomial mutation (PNM), and developed DTM mutation operators were applied to five deep beam problems were used to determine the minimum reinforcement diameter. The fitness values obtained using developed DTM mutation operator was higher than obtained from existing mutation operators. Moreover; obtained reinforcement weight of the deep beams using the developed DTM mutation operator lower than obtained from the existing mutation operators. As a result of the analyzes, the highest fitness value was obtained from the applied double times sensitive mutation (DTM) operator. In addition, it was found that this study, which was carried out using GAs, contributed to the solution of the problems experienced in the design of deep beams.

• Journal of applied mathematics & informatics
• /
• v.24 no.1_2
• /
• pp.535-539
• /
• 2007

Given operators X and Y acting on a separable complex Hilbert space $\mathcal{H}$, an interpolating operator is a bounded operator A such that AX=Y. In this article, we show the following: Let $Alg\mathcal{L}$ be a tridiagonal algebra on a separable complex Hilbert space $\mathcal{H}$ and let $X=(x_{ij})\;and\;Y=(y_{ij})$ be operators in $\mathcal{H}$. Then the following are equivalent: (1) There exists a normal operator $A=(a_{ij})\;in\;Alg\mathcal{L}$ such that AX=Y. (2) There is a bounded sequence $\{\alpha_n\}\;in\;\mathbb{C}$ such that $y_{ij}=\alpha_jx_{ij}\;for\;i,\;j\;{\in}\;\mathbb{N}$. Given vectors x and y in a separable complex Hilbert space $\mathcal{H}$, an interpolating operator is a bounded operator A such that Ax=y. We show the following: Let $Alg\mathcal{L}$ be a tridiagonal algebra on a separable complex Hilbert space $\mathcal{H}$ and let $x=(x_i)\;and\;y=(y_i)$ be vectors in $\mathcal{H}$. Then the following are equivalent: (1) There exists a normal operator $A=(a_{ij})\;in\;Alg\mathcal{L}$ such that Ax=y. (2) There is a bounded sequence $\{\alpha_n\}$ in $\mathbb{C}$ such that $y_i=\alpha_ix_i\;for\;i{\in}\mathbb{N}$.

• Kyungpook Mathematical Journal
• /
• v.55 no.1
• /
• pp.63-71
• /
• 2015

Let H be a separable infinite dimensional complex Hilbert space, and let $\mathcal{L}(H)$ denote the algebra of all bounded linear operators on H into itself. Let $A,B{\in}\mathcal{L}(H)$ we define the generalized derivation ${\delta}_{A,B}:\mathcal{L}(H){\mapsto}\mathcal{L}(H)$ by ${\delta}_{A,B}(X)=AX-XB$, we note ${\delta}_{A,A}={\delta}_A$. If the inequality ${\parallel}T-(AX-XA){\parallel}{\geq}{\parallel}T{\parallel}$ holds for all $X{\in}\mathcal{L}(H)$ and for all $T{\in}ker{\delta}_A$, then we say that the range of ${\delta}_A$ is orthogonal to the kernel of ${\delta}_A$ in the sense of Birkhoff. The operator $A{\in}\mathcal{L}(H)$ is said to be finite [22] if ${\parallel}I-(AX-XA){\parallel}{\geq}1(*)$ for all $X{\in}\mathcal{L}(H)$, where I is the identity operator. The well-known inequality (*), due to J. P. Williams [22] is the starting point of the topic of commutator approximation (a topic which has its roots in quantum theory [23]). In [16], the author showed that a paranormal operator is finite. In this paper we present some new classes of finite operators containing the class of paranormal operators and we prove that the range of a generalized derivation is orthogonal to its kernel for a large class of operators containing the class of normal operators.

• Journal of applied mathematics & informatics
• /
• v.11 no.1_2
• /
• pp.431-436
• /
• 2003

Given vectors x and y in a Hilbert space, an interpolating operator is a bounded operator T such that Tx = y. An interpolating operator for n vectors satisfies the equation $Tx_i\;:\;y_i,\;for\;i\;=\;1,\;2,\;{\cdots},\;n$. In this article, we obtained the following : $Let\;x\;=\;\{x_i\}\;and\;y=\{y_\}$ be two vectors in a separable complex Hilbert space H such that $x_i\;\neq\;0$ for all $i\;=\;1,\;2;\cdots$. Let L be a commutative subspace lattice on H. Then the following statements are equivalent. (1) $sup\;\{\frac{\$\mid${\sum_{k=1}}^l\;\alpha_{\kappa}E_{\kappa}y\$\mid$}{\$\mid${\sum_{k=1}}^l\;\alpha_{\kappa}E_{\kappa}x\$\mid$}\;:\;l\;\in\;\mathbb{N},\;\alpha_{\kappa}\;\in\;\mathbb{C}\;and\;E_{\kappa}\;\in\;L\}\;<\;\infty\;and\;$\mid$y_n\$\mid$x_n$\mid$^{-1}\;=\;1\;for\;all\;n\;=\;1,\;2,\;\cdots$. (2) There exists an operator A in AlgL such that Ax = y, A is a unitary operator and every E in L reduces, A, where AlgL is a tridiagonal algebra.

• The Journal of Korea Robotics Society
• /
• v.12 no.1
• /
• pp.94-106
• /
• 2017

Unmanned military vehicles (UMVs) will be increasingly applied to the various military operations. These UMVs are most commonly characterized as dealing with "4D" task - dull, dirty, dangerous and difficult with automations. Although most of the UMVs are designed to a high degree of autonomy, the human operator will still intervene in the robots operation, and tele-operate them to achieve his or her mission. Thus, operator capacity, along with robot autonomy and user interface, is one of the important design factors in the research and development of the UMVs. In this paper, we propose the method to assess the operator capacity of the UMVs. The method is comprised of the 6 steps (problem, assumption, goal function identification, operator task analysis, task modeling & simulation, results and assessment), and herein colored Petri-nets are used for the modeling and simulation. Further, an illustrative example is described at the end of this paper.