• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.16 no.2
• /
• pp.95-103
• /
• 2016

In a dynamic environment autonomous robots often encounter unexpected situations that the robots have to deal with in order to continue proceeding their mission. We propose an adaptive goal-based model that allows cyber-physical systems (CPS) to update their environmental model and helps them analyze for attainment of their goals from current state using the updated environmental model and its capabilities. Information exchange approach utilizes Human-Agent-Robot-Machine-Sensor (HARMS) model to exchange messages between CPS. Model validation method uses NuSMV, which is one of Model Checking tools, to check whether the system can continue its mission toward the goal in the given environment. We explain a practical set up of the model in a situation in which homogeneous robots that has the same capability work in the same environment.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.12 no.3
• /
• pp.161-169
• /
• 2008

We investigate the existence of solutions u(x, t) for perturbations of the elliptic system with Dirichlet boundary condition $$\array {L{\xi}+{\mu}g({\xi}+2{\eta})=f\;in\;{\Omega}}\\{L{\eta}+{\nu}g({\xi}+2{\eta})=f\;in\;{\Omega}}$$ (0.1) where $g(u)=Bu^+-Au^-$, $u^+=max\{u,\;0\}$, $u^-=max\{-u,\;0\}$, ${\mu}$, ${\nu}$ are nonzero constants and the nonlinearity $({\mu}+2{\nu})g(u)$ crosses the eigenvalues of the elliptic operator L.

• Journal of the Korean Society for Precision Engineering
• /
• v.4 no.4
• /
• pp.43-55
• /
• 1987

본 연구는 Orthotropic 재료에 존재하는 균열선단에서의 응력장의 양상에 대하여 지금까지의 연구들에서 상세하게 고려되지 않았던 여러 탄성계수들의 영향을 평면-변형조건 하에서 고찰하였다. 여러 하중조건과 경계조건 하에서의 일반적인 이방성 재료에 존재하는 균열선단에서의 응력자의 양상도 고찰하였으며, $a_{11}S^4-2a_{16}S^3+(2a_{12}+a_{66})S^2-2a_{26}S+a_{22}=0$인 특성방정식의 4근은 Cardano와 Ferrar의 해법을 쓴 새로운 단순기법에 의해 해석하였고 특성방정식의 4근에 미치는 일반적인 이방성 재료의 물성치 즉 Exx, Eyy, Ezz, Gxy, ${\nu}_{zx}$, ${\nu}_{xy}$,${\nu}_{yz}$, ${\eta}$ ${\eta}$xy,x, ${\eta}$xy, y, ${\eta}$xy,z , 들의 영향들에 대해 상세히 연구되었다. 또한 균열선단부근에서의 응력분포 양상을 재료의 물성치와 경계조건 및 하중조건들로써 체계적으로 연구하였다.

• Korean Journal of Mathematics
• /
• v.15 no.2
• /
• pp.149-165
• /
• 2007

We investigate the existence of multiple nontrivial solutions $u(x,t)$ for a perturbation $b[({\xi}-{\eta}+2)^+-2]$ of the hyperbolic system with Dirichlet boundary condition $$(0.1)\;L{\xi}={\mu}[({\xi}-{\eta}+2)^+-2]\;in\;({-{\frac{{\pi}}{2}}},{\frac{{\pi}}{2}}){\times}\mathbb{R},\\L{\eta}={\nu}[({\xi}-{\eta}+2)^+-2]\;in\;({-{\frac{{\pi}}{2}}},{\frac{{\pi}}{2}}){\times}\mathbb{R},$$, where $u^+$=max{u,o}, ${\mu}$, ${\nu}$ are nonzero constants. Here L is the wave operator in $\mathbb{R}^2$ and the nonlinearity $({\mu}-{\nu})[({\xi}-{\eta}+2)^+-2]$ crosses the eigenvalues of the wave operator.

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

Let n be a fixed positive integer, R be a 2n!-torsion free prime ring and $\mu$, $\nu$ be a pair of generalized derivations on R. If < $\mu^2(x)+\nu(x),\;x^n$ > = 0 for all x $\in$ R, then $\mu$ and $\nu$ are either left multipliers or right multipliers. Let n be a fixed positive integer, R be a noncommutative 2n!-torsion free prime ring with the center $C_R$ and d, g be a pair of derivations on R. If < $d^2(x)+g(x)$, $x^n$ > $\in$ $C_R$ for all x $\in$ R, then d = g = 0. Then we apply these purely algebraic techniques to obtain several range inclusion results of pair of (generalized-)derivations on a Banach algebra.

• Journal of the Korean Mathematical Society
• /
• v.49 no.5
• /
• pp.1065-1082
• /
• 2012

In this paper we first investigate the existence of the generalized Fourier-Feynman transform of the functional F given by $$F(x)={\hat{\nu}}((e_1,x)^{\sim},{\ldots},(e_n,x)^{\sim})$$, where $(e,x)^{\sim}$ denotes the Paley-Wiener-Zygmund stochastic integral with $x$ in a very general function space $C_{a,b}[0,T]$ and $\hat{\nu}$ is the Fourier transform of complex measure ${\nu}$ on $B({\mathbb{R}}^n)$ with finite total variation. We then define two sequential transforms. Finally, we establish that the one is to identify the generalized Fourier-Feynman transform and the another transform acts like an inverse generalized Fourier-Feynman transform.

• The Pure and Applied Mathematics
• /
• v.21 no.4
• /
• pp.295-305
• /
• 2014

Yan & Hanson [8] and Makate & Sattayatham [6] extended Bates' model to the stochastic volatility model with jumps in both the stock price and the variance processes. As the solution processes of finding the characteristic function, they sought such a function f satisfying $$f({\ell},{\nu},t;k,T)=exp\;(g({\tau})+{\nu}h({\tau})+ix{\ell})$$. We add the term of order ${\nu}^{1/2}$ to the exponent in the above equation and seek the explicit solution of f.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.11 no.1
• /
• pp.13-30
• /
• 2007

In this paper we study the numerical solutions of the stochastic functional differential equations of the following form $$du(x,\;t)\;=\;f(x,\;t,\;u_t)dt\;+\;g(x,\;t,\;u_t)dB(t),\;t\;>\;0$$ with initial data $u(x,\;0)\;=\;u_0(x)\;=\;{\xi}\;{\in}\;L^p_{F_0}\;([-{\tau},0];\;R^n)$. Here $x\;{\in}\;R^n$, ($R^n$ is the ${\nu}\;-\;dimenional$ Euclidean space), $f\;:\;C([-{\tau},\;0];\;R^n)\;{\times}\;R^{{\nu}+1}\;{\rightarrow}\;R^n,\;g\;:\;C([-{\tau},\;0];\;R^n)\;{\times}\;R^{{\nu}+1}\;{\rightarrow}\;R^{n{\times}m},\;u(x,\;t)\;{\in}\;R^n$ for each $t,\;u_t\;=\;u(x,\;t\;+\;{\theta})\;:\;-{\tau}\;{\leq}\;{\theta}\;{\leq}\;0\;{\in}\;C([-{\tau},\;0];\;R^n)$, and B(t) is an m-dimensional Brownian motion.

• Nuclear Engineering and Technology
• /
• v.48 no.4
• /
• pp.906-914
• /
• 2016

We investigated the heat load imposed on the lower head of a reactor vessel by the natural convection of the oxide pool in a severe accident. Mass transfer experiments using a $CuSO_4-H_2SO_4$ electroplating system were performed based on the analogy between heat and mass transfer. The $Ra^{\prime}_H$ of $10^{14}$ order was achieved with a facility height of only 0.1 m. Three different volumetric heat sources were compared; two had identical configurations to those previously reported, and the other was designed by the authors. The measured Nu's of the lower head were about 30% lower than those previously reported. The measured angular heat flux ratios were similar to those reported in existing studies except for the peaks appearing near the top. The volumetric heat sources did not affect the Nu of the lower head but affected the Nu of the top plate by obstructing the rising flow from the bottom.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.11 no.4
• /
• pp.272-277
• /
• 2011

The ambipolar behavior of tunneling field-effect transistors (TFETs) has been investigated quantitatively by introducing a novel parameter: ambipolarity factor (${\nu}$). It has been found that the malfunction of TFET can result from the ambipolar state which is not on- or off- state. Therefore, the effect of ambipolar behavior on the device performance should be parameterized quantitatively, and this has been successfully evaluated as a function of device structure, gate oxide thickness, supply voltage, drain doping concentration and body doping concentration by using ${\nu}$.