• IEMEK Journal of Embedded Systems and Applications
• /
• v.13 no.4
• /
• pp.187-194
• /
• 2018

The operating system for IoT should have a small memory footprint and provide low power state, real-time, multitasking, various network protocols, and security. Although the Zephyr kernel, an operating system for IoT, released by the Linux Foundation in February 2016, has these features but errors generated by the user code can generate fatal problems in the system because the Zephyr kernel adopts a single-space method that both the user code and kernel code execute in the same space. In this research, we propose a space separation method, which separates kernel space and user space, to solve this problem. The space separation that we propose consists of three modifications in Zephyr kernel. The first is the code separation that kernel code and user code execute in each space while using different stacks. The second is the kernel space protection that generates an exception by using the MPU (Memory Protection Unit) when the user code accesses the kernel space. The third is the SVC based system call that executes the system call using the SVC instruction that generates the exception. In this research, we implemented the space separation in Zephyr v1.8.0 and evaluated safety through abnormal execution of the user code. As the result, the kernel was not crashed by the errors generated by the user code and was normally executed.

• Communications of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.185-202
• /
• 2019

In this paper, we investigate many types of stability, like (uniform stability, exponential stability and h-stability) of the first order dynamic equations of the form $$\{u^{\Delta}(t)=Au(t)+f(t),\;\;t{\in}{\mathbb{T}},\;t>t_0\\u(t_0)=x{\in}D(A),$$ and $$\{u^{\Delta}(t)=Au(t)+f(t,u),\;\;t{\in}{\mathbb{T}},\;t>t_0\\u(t_0)=x{\in}D(A),$$ in terms of the stability of the homogeneous equation $$\{u^{\Delta}(t)=Au(t),\;\;t{\in}{\mathbb{T}},\;t>t_0\\u(t_0)=x{\in}D(A),$$ where f is rd-continuous in $t{\in}{\mathbb{T}}$ and with values in a Banach space X, with f(t, 0) = 0, and A is the generator of a $C_0$-semigroup $\{T(t):t{\in}{\mathbb{T}}\}{\subset}L(X)$, the space of all bounded linear operators from X into itself. Here D(A) is the domain of A and ${\mathbb{T}}{\subseteq}{\mathbb{R}}^{{\geq}0}$ is a time scale which is an additive semigroup with property that $a-b{\in}{\mathbb{T}}$ for any $a,b{\in}{\mathbb{T}}$ such that a > b. Finally, we give illustrative examples.

• Journal of the Korea Furniture Society
• /
• v.24 no.3
• /
• pp.293-301
• /
• 2013

Through 1960 and 1970s, there had been constant endeavor in order to succeed the korean traditional architectural heritages. Among those efforts Ahn Yung Bae's book "Exterior Space in Traditional Korean Architecture"presented unique methodology utilizing abstraction of space and movement of subject. His method doesn't refer traditional form of architecture. He ignores formal elements. Instead, he reads space through subject's movement and this reading act creates meaning of space. So, he constructed knowledge not about the object of traditional architecture but the subject of today. Ahn's book opens new discourse based on traditional korean architecture. His analyses didn't deal with the form of traditional space, but the experiences of observer. However many historical documents related to architecture had not been interpreted until nineties and the succession of heritage became to be broken by modernity through 20th century. In this situation his book showed the unavoidable method, that is, the modernization of tradition.

• Honam Mathematical Journal
• /
• v.32 no.3
• /
• pp.441-451
• /
• 2010

In this paper we evaluate the analogue of Wiener integral ${\int\limits}_{C[0,t]}x(t_1){\cdots}x(t_n)d\omega_\rho(x)$ where 0 = $t_0$ < $t_1$ $\cdots$ < $t_n$ $\leq$ t and the Paley-Wiener-Zygmund integral ${\int\limits}_{C[0,t]}$ exp $({\int\limits}_0^t h(s)\tilde{d}x(s))d\omega_\rho(x)$ is the analogue of Wiener measure space.

• East Asian mathematical journal
• /
• v.24 no.1
• /
• pp.81-95
• /
• 2008

Let E be a uniformly convex Banach space with a uniformly $G{\hat{a}}teaux$ differentiable norm, C a nonempty closed convex subset of E, and $T\;:\;C\;{\rightarrow}\;E$ a nonexpansive mapping satisfying the weak inwardness condition. Assume that every weakly compact convex subset of E has the fixed point property. For $f\;:\;C\;{\rightarrow}\;C$ a contraction and $t\;{\in}\;(0,\;1)$, let $x_t$ be a unique fixed point of a contraction $T_t\;:\;C\;{\rightarrow}\;E$, defined by $T_tx\;=\;tf(x)\;+\;(1\;-\;t)Tx$, $x\;{\in}\;C$. It is proved that if {$x_t$} is bounded, then $x_t$ converges to a fixed point of T, which is the unique solution of certain variational inequality. Moreover, the strong convergence of other implicit and explicit iterative schemes involving the sunny nonexpansive retraction is also given in a reflexive and strictly convex Banach space with a uniformly $G{\hat{a}}teaux$ differentiable norm.

• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.593-598
• /
• 1994

In this note we give some results on the jump (due to Kato [5] and West [7]) of a semi-Fredholm operator. Throughout this note, suppose X is an Banach space and write L(X) for the set of all bounded linear operators on X. A operator $T \in L(x)$ is called upper semi-Fredholm if it has closed range with finite dimensional null space, and lower semi-Fredholm if it has closed range with its range of finite co-dimension. It T is either upper or lower semi-Fredholm we shall call it semi-Fredholm and Fredholm it is both. The index of a (semi-) Fredholm operator T is given by $$ index(T) = n(T) = d(T),$$ where $n(T) = dim T^{-1}(0)$ and d(T) = codim T(X).

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

The existence and representations of some generalized inverses, including ${A_{T,*}}^{(2)},\;{A_{T,*}}^{(1,2)},\;{A_{T,*}}^{(2,3)},\;{A_{*,S}}^{(2)},\;{A_{*,S}}^{(1,2)}\;and\;{A_{*,S}}^{(2,4)}$, are showed. As applications, the perturbation theory for the generalized inverse {A_{T,S}}^{(2)} and the perturbation bound for unique solution of the general restricted system $A_{x}$ = b(dim(AT)=dimT, $b{\in}AT$ and $x{\in}T$) are studied. Moreover, a characterization and representation of the generalized inverse ${A_{T,*}}^{(2)}$ is obtained.

• Communications of the Korean Mathematical Society
• /
• v.10 no.1
• /
• pp.207-213
• /
• 1995

Let $(\Omega, F, P)$ be a probability space with F a $\sigma$-algebra of subsets of the measure space $\Omega$ and P a probability measure on $\Omega$. Suppose $a > 0$ and let $(F_t)_{t \in [0,a]}$ be an increasing family of sub-$\sigma$-algebras of F. If $r > 0$, let $J = [-r,0]$ and $C(J, R^n)$ the Banach space of all continuous paths $\gamma : J \to R^n$ with the sup-norm $\Vert \gamma \Vert = sup_{s \in J}$\mid$\gamma(s)$\mid$$ where $$\mid$\cdot$\mid$$ denotes the Euclidean norm on $R^n$. Let E,F be separable real Banach spaces and L(E,F) be the Banach space of all continuous linear maps $T : E \to F$.

• Korean Journal of Mathematics
• /
• v.23 no.1
• /
• pp.47-64
• /
• 2015

We express generalized Fourier-Feynman transform and convolution product of functionals in a Banach algebra $\mathcal{S}(L^2_{a,b}[0,T])$ as limits of function space integrals on $C_{a,b}[0,T]$. Moreover we obtain change of scale formulas for function space integrals related with generalized Fourier-Feynman transform and convolution product of these functionals.

• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1371-1385
• /
• 2019

Given a topological space X and a non-negative integer k, ${\varepsilon}^{\sharp}_k(X)$ is the set of all self-homotopy equivalences of X that do not change maps from X to an t-sphere $S^t$ homotopically by the composition for all $t{\geq}k$. This set is a subgroup of the self-homotopy equivalence group ${\varepsilon}(X)$. We find certain homotopic tools for computations of ${\varepsilon}^{\sharp}_k(X)$. Using these results, we determine ${\varepsilon}^{\sharp}_k(M(G,n))$ for $k{\geq}n$, where M(G, n) is a Moore space type of (G, n) for a finitely generated abelian group G.