• Honam Mathematical Journal
• /
• v.1 no.1
• /
• pp.21-25
• /
• 1979

Abelian군(群)의 presheaf에 관한 직적(直積)과 직화(直和)를 Category 입장에서 정의(定義)하고 presheaf $F_{\lambda}\;({\lambda}{\epsilon}{\Lambda})$들의 두 직적(直積)(또는 直和)은 서로 동형적(同型的) 관계(關係)에 있으며, 특히 ${\phi}:X{\rightarrow}Y$가 homeomorphism이라 하고 ${\phi}_*F$를 X상(上)의 presheaf F의 direct image이라 하면 (1) $({\phi}_*F, \;{\phi}_*(f_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$가 $({\phi}_*F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}}$의 직적(直積)일 때 오직 그때 한하여 $(F,\;(f_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$는 $(F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$의 직적(直積)이다. (2) $({\phi}_*F,\;{\phi}_*(l_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$가 $({\phi}_*F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}}$의 직화(直和)일 때 오직 그때 한하여 $(F,\;(l_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$는 $(F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$의 직화(直和)이다. Let $(F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$ be an indexed set of presheaves of abelian group on topological space X. We can define the cartesian product $$\prod_{{\lambda}{\epsilon}{\Lambda}}\;F_{\lambda}$$ of $(F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$ by $$(\prod_{{\lambda}{\epsilon}{\Lambda}}\;F_{\lambda})(U)=\prod_{{\lambda}{\epsilon}{\Lambda}}(F_{\lambda}(U))$$ for U open in X $${\rho}_v^u:\;(\prod_{{\lambda}{\epsilon}{\Lambda}}\;F_{\lambda})(U){\rightarrow}(\prod_{{\lambda}{\epsilon}{\Lambda}}\;F_{\lambda})(V)((s_{\lambda})_{{\lambda}{\epsilon}{\Lambda}}{\rightarrow}(_{\lambda}{\rho}_v^u(s_{\lambda}))_{{\lambda}{\epsilon}{\Lambda}})$$ for $V{\subseteq}U$ open in X where $_{\lambda}{\rho}^U_V$ is a restriction of $F_{\lambda}$, And we have natural presheaf morphisms ${\pi}_{\lambda}$ and ${\iota}_{\lambda}$ such that ${\pi}_{\lambda}(U):\;({\prod}_\;F_{\lambda})(U){\rightarrow}F_{\lambda}(U)((s_{\lambda})_{{\lambda}{\epsilon}{\Lambda}}{\rightarrow}s_{\lambda})$ ${\iota}_{\lambda}(U):\;F_{\lambda}(U){\rightarrow}({\prod}\;F_{\lambda})(U)(s_{\lambda}{\rightarrow}(o,o,{\cdots}\;{\cdots}o,s_{\lambda},o,{\cdots}\;{\cdots}o)$ for $(s_{\lambda}){\epsilon}{\prod}_{\lambda}\;F_{\lambda}(U)$ and $(s_{\lambda}){\epsilon}F_{\lambda}(U)$.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.1
• /
• pp.125-129
• /
• 2010

Stateless computing supports a mobility of computing environment easily. It is becoming a major technology for securing personal user's information on shared computing environment. With the advance of virtualization technology and cloud computing, stateless computing is an essential part of personal computing environment connectivity (user's setting and data is stored in remote server or some storage, and it can be restored at any computing environment) In this paper, we propose uPC player that supports stateless computing execution environment on Windows. uPC player provides Windows operating system to user by using an uPC OS virtualization module. In this paper, we leverage how uPC player is designed and implemented for supporting a stateless computing execution environment. uPC player provides a desktop switch between host-system execution environment and uPC virtual execution environment. And it needs just one second for loading uPC virtual execution environment by using OS virtualization-based technique.

• Journal of applied mathematics & informatics
• /
• v.33 no.5_6
• /
• pp.593-605
• /
• 2015

In this study, we define r-circulant, circulant, Hankel and Toeplitz matrices involving the integer sequence with recurrence relation U_n = pU_n-1 + U_n-2, with U₀ = a, U₁ = b. Moreover, we obtain special norms of above mentioned matrices. The results presented in this paper are generalizations of some of the results of [1, 10, 11].

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.2
• /
• pp.231-244
• /
• 2005

We derive a comparison theorem for solutions of the following stochastic partial differential equations in a Hilbert space H. $$Lu^i=\alpha(u^i)M(t,\; x)+\beta^i(u^i),\;for\;i=1,\;2,$$ $where\;Lu^i=\;\frac{\partial u^i}{\partial t}\;-\;Au^{i}$, A is a linear closed operator on Hand M(t, x) is a spatially homogeneous Gaussian noise with covariance of a certain form. We are going to show that if $\beta^1\leq\beta^2\;then\;u^1{\leq}u^2$ under some conditions.

• Communications for Statistical Applications and Methods
• /
• v.22 no.1
• /
• pp.81-93
• /
• 2015

Validity of the stationary bootstrap of Politis and Romano (1994) is proved for U-statistics under strong mixing. Weak and strong consistencies are established for the stationary bootstrap of U-statistics. The theory is applied to a symmetry test which is a U-statistic regarding a kernel density estimator. The theory enables the bootstrap confidence intervals of the means of the U-statistics. A Monte-Carlo experiment for bootstrap confidence intervals confirms the asymptotic theory.

• Journal of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.381-386
• /
• 1996

We consider the behavior of positive radial solutions (or, briefly, pp.r.s.) of the equation $$ (1.1) ^\Delta u + \lambda f(u) = 0 in\Omega, _u = 0 on \partial\Omega, $$ where $\Omega = {x \in R^n$\mid$A < $\mid$x$\mid$ < B}$ is an annulus in $R^n, n \geq 2, \lambda > 0 and f \geq 0$ is superlinear in u and satisfies f(0) = 0.

• Journal of applied mathematics & informatics
• /
• v.16 no.1_2
• /
• pp.525-532
• /
• 2004

For two vertices u and v of an oriented graph D, the set I(u, v) consists of all vertices lying on a u-v geodesic or v-u geodesic in D. If S is a set of vertices of D, then I(S) is the union of all sets 1(u, v) for vertices u and v in S. The geodetic number g(D) is the minimum cardinality among the subsets S of V(D) with I(S) = V(D). In this paper, we give a partial answer for the conjecture by G. Chartrand and P. Zhang and present some results on orient able geodetic number.

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

In this paper, we are concerned with the following eigenvalue problems of m-point boundary value problem for p-Laplacian dynamic equation on time scales $(\varphi_p(u^{\Delta}(t)))^\nabla+{\lambda}h(t)f(u(t))=0,\;t\in(0,T)$, $u(0)=0,\varphi_p(u^{\Delta}(T))=\sum\limits_{i=1}^{m-2}a_i\varphi_p(u^{\Delta}(\xi_i))$, where $\varphi_p(u)=|u|^{p-2}$u, p > 1 and $\lambda$ > 0 is a real parameter. Under certain assumptions, some new results on existence of one or two positive solution and nonexistence are obtained for $\lambda$ evaluated in different intervals. Our work develop and improve many known results in the literature even for the continual case. In doing so the usual restriction that $f_0=lim_{u{\rightarrow}0}+f(u)/\varphi_p(u)$ and $f_\infty = lim_{u{\rightarrow}{\infty}}f(u)/\varphi_p({u})$ exist is removed. As an applications, an example is given to illustrate the main results obtained.

• Fire Science and Engineering
• /
• v.30 no.1
• /
• pp.74-80
• /
• 2016

Ubiquitous computer technology (U technology) is continually, and the trend is moving towards the miniaturization of devices, cost reduction, performance enhancement, and intelligence. It is important to improve fire safety system by the application of advanced IT technologies. In this study, a vulnerable point in fire safety was selected for improvement by U technology. The structure of the whole system and a unit system was were designed. This system is divided into 5 parts: the U-fire protection facility management system, the U-fire safety information system, the U-fire safety education system, the U-fire response system, and the U-wide area fire safety management system. The prototype system was constructed in a real building to confirm the applicability of the system.

• Korean Journal of Veterinary Research
• /
• v.31 no.1
• /
• pp.1-10
• /
• 1991

The present investigation was focussed on histochemical and electron microscopical observations of utero-vaginal(U-V) glands in U-V junctions of domestic hens. In histochemical observations, fine granules by PAS technique for mucopolysaccharides and nile blue stain for acidic lipids were slightly stained on the cytoplasm of U-V glandular epithelium. Larger granules by Sudan black B stain for neutral fat and phospholipids and Sudan III stain for neutral fat were heavily stained on the perinuclear region of the U-V gland epithelial cells. These positive materials were heavily stained on the U-V glandular epithelium of lowfecundity hens and non-laying hens. In scanning electron microscopic findings of the U-V junction surface, the orifices of U-V glands are seen as the crater-like invagination. The neck of the U-V gland and the epithelium of U-V iunction were covered by ciliated epithelial cells. Aggregates of spermatozoa are observed often to be on the necks of the U-V gland. These spermatozoa heads are embedded in the glandular tubules and many spermatozoa tails are free on the epithelium of uterine surface. In transmission electron microscopic findings, the epithelial cells of the U-V glandular orifices were ciliated, columnar cells. The apical regions of these cells contained numerous electrondense, round secretory granules of uniformly size. The epithelial cells of the U-V glandular tubule were columnar or pyramid shape with round or oval nuclei. These epithelial cells have numerous microvilli and also contained electron-dense, round secretary granules of uniformly size and electron-lucent vesicles of various size. Spermatozoa are seen as the cross-sections of various regions of heads and tails in glandular tubules. Also spermatozoa arranged longitudinally parallel within the glandular tubules.