• Korean Journal of Microbiology
• /
• v.50 no.1
• /
• pp.67-72
• /
• 2014

Minimal broth containing nicotine as a sole carbon source (MB/N) was used to isolate novel nicotine-degrading bacterial strains from tobacco plants and field soils. Comparative analysis of 16S rRNA gene sequence, phenotypic test and morphological tests showed that the position of these isolates were in the genus Arthrobacter of the family Micrococcaceae. The highest 16S rRNA gene sequence similarity of the isolate NU11 and NU15 to type strains in the genus Arthrobacter were Arthrobacter equi (98.2%) which was presumably a novel strain and Arthrobacter nicotinovorans (99.8%), respectively. Both strain NU11 and NU15 showed rod shaped, Gram-positive characteristics and catalase activity, but did not show oxidase activity. The novel strain NU11 was found to degrade efficiently nicotine in MB/N medium by the analysis of UV absorption spectra and could be used as an organism in bioremediation technique.

• Korean Journal of Mathematics
• /
• v.27 no.2
• /
• pp.437-444
• /
• 2019

For c > -1, let ${\nu}_c$ denote a weighted radial measure on ${\mathbb{C}}$ normalized so that ${\nu}_c(D)=1$. For $c_1,c_2>-1$ and $f{\in}L^1(D^2,\;{\nu}_{c_1}{\times}{\nu}_{c_2})$, we define the weighted Berezin transform $B_{c_1,c_2}f$ on $D^2$ by $$(B_{c_1,c_2})f(z,w)={\displaystyle{\smashmargin2{\int\nolimits_D}{\int\nolimits_D}}}f({\varphi}_z(x),\;{\varphi}_w(y))\;d{\nu}_{c_1}(x)d{\upsilon}_{c_2}(y)$$. This paper is about the space $M^p_{c_1,c_2}$ of function $f{\in}L^p(D^2,\;{\nu}_{c_1}{\times}{\nu}_{c_2})$ ) satisfying $B_{c_1,c_2}f=f$ for $1{\leq}p<{\infty}$. We find the identity operator on $M^p_{c_1,c_2}$ by using invariant Laplacians and we characterize some special type of functions in $M^p_{c_1,c_2}$.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.265-269
• /
• 2009

Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.

• Kyungpook Mathematical Journal
• /
• v.54 no.4
• /
• pp.595-606
• /
• 2014

In this paper three more right Jacobson-type radicals, $J^r_{g{\nu}}$, are introduced for near-rings which generalize the Jacobson radical of rings, ${\nu}{\in}\{0,1,2\}$. It is proved that $J^r_{g{\nu}}$ is a special radical in the class of all near-rings. Unlike the known right Jacobson semisimple near-rings, a $J^r_{g{\nu}}$-semisimple near-ring R with DCC on right ideals is a direct sum of minimal right ideals which are right R-groups of type-$g_{\nu}$, ${\nu}{\in}\{0,1,2\}$. Moreover, a finite right $g_2$-primitive near-ring R with eRe a non-ring is a near-ring of matrices over a near-field (which is isomorphic to eRe), where e is a right $g_2$-primitive idempotent in R.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.976-978
• /
• 2005

We present a nearly optimal ($O(\nu\;min(\nu,\;n)n\;log\;n)$ time and O(n) srace) algorithm that constructs a shortest path map with n isothetic roads of speed $\nu$ under the $L_1$ metric. The algorithm uses the continuous Dijkstra method and its efficiency is based on a new geometric insight; the minimum in-degree of any nearest neighbor graph for points with roads of speed $\nu$ is $\Theta(\nu\;min(\nu,\;n))$, which is first shown in this paper. Also, this algorithm naturally extends to the multi-source case so that the Voronoi diagram for m sites can be computed in $O(\nu\;min(\nu,\;n)(n+m)log(n+m))$ time and O(n+m) space, which is also nearly optimal.

• Journal of Korean Medicine Rehabilitation
• /
• v.19 no.1
• /
• pp.23-38
• /
• 2009

Objectives : The purpose of this morphological studies was to investigate the relations between Sanyinjiao(Sp6), Yinlingquan(Sp9) and pancreas of rats using peudorabies virus(PRV). Methods : We observed labeled neurons following the injection of PRV, Bartha strain, into the Sanyinjiao(Sp6), Yinlingquan(Sp9) and pancreas of rats. After survival times of 4 days following the injection of PRV, the rats were perfused, and their spinal ganglia, spinal cord and brain stem were frozen sectioned($35{\mu}m$). These sections were strained by PRV immunohistchemical staining methods and observed with light microscope. Results : The results were as follows. 1. In the spinal ganglia, the overlap areas of PRV labeled neurons projecting to Sanyinjiao(Sp6), Yinlingquan(Sp9) and pancreas were observed in T10-13 dorsal root ganglia. 2. In the spinal cord, the overlap areas of PRV labeled neurons projecting to Sanyinjiao(Sp6), Yinlingquan(Sp9) and pancreas were lamina I, IV, V, VII, IX, X, intermediolateral nucleus(IML), intermediomedial nucleus(IMM) in thoracic segments. In lumbar segments, the overlap areas of PRV labeled neuron were lamina I, IV, V, VI, IX, X and IMM. In sacral segments, the overlap areas of PRV labeled neuron were lamina I, IV, V, VI, VII, IX, X. 3. In the brain, the overlap areas of PRV labeled neurons projecting to Sanyinjiao(Sp6), Yinlingquan(Sp9) and pancreas were area postrema, nucleus tractus solitarius, caudoventrolateral reticular nu., medullary reticular nu., lateral paragigantocellular nu., C3 adrenalin cells, gigantocellular nu., raphe pallidus nu., raphe obscurus nu., ambiguus nu., raphe magnus nu., pontine reticular formation, A5 cell group, subcoeruleus nu., locus coeruleus, Barringnton's nu., $K{\ddot{o}}lliker$-Fuse nu., dorsal raphe nu., Edinger-Westphal nu., central gray matter, perifornical nu., dorsomedial hypothalamic nu., arcuate nu., lateral hypothalamic nu., paraventricular hypothalamic nu., hindlimb area. Conclusions : In conclusion, these results suggest that the interrelationship of meridian(spleen meridian), acupoints(Sp6 and Sp9) and viscera(pancreas) may be related the central autonomic centers.

• Korean Journal of Mathematics
• /
• v.23 no.3
• /
• pp.401-408
• /
• 2015

The first and second Zagreb indices of a graph G are defined as $M_1(G)={\sum}_{{\nu}{\in}V}d_G({\nu})^2$ and $M_2(G)={\sum}_{u{\nu}{\in}E(G)}d_G(u)d_G({\nu})$. where $d_G({\nu})$ is the degree of the vertex ${\nu}$. G is called a k-apex tree if k is the smallest integer for which there exists a subset X of V (G) such that ${\mid}X{\mid}$ = k and G-X is a tree. In this paper, we determine the maximum Zagreb indices in the class of all k-apex trees of order n and characterize the corresponding extremal graphs.

• East Asian mathematical journal
• /
• v.23 no.1
• /
• pp.111-122
• /
• 2007

In this paper, we will show some relations between decomposition series {${\nu}^{\alpha}\;:\;{\alpha}$ is an ordinal } and supratopological series {${\sigma}_{\alpha}{\nu}\;:\;{\alpha}$ is an ordinal} for a neighborhood structure $\nu$ and the formular ${\sigma}_{\alpha}{\nu}\;=\;{\nu}^{({\omega}^{\alpha})}$, where $\omega$ is the first limit ordinal.

• Solar Energy
• /
• v.18 no.1
• /
• pp.91-98
• /
• 1998

The study of mixed convection in a room with heated bottom surface and various partitions has been numerically investigated using a finite volume method. The parameters studied here are, 50$\overline{Nu}=\overline{Nu_n}{\cdot}(1+c(Re/Gr^{1/2})^d)$, where $\overline{Nu_n}$ corresponds to pure natural convextion.

• Communications of the Korean Mathematical Society
• /
• v.11 no.1
• /
• pp.139-145
• /
• 1996

We show how some interesting results involving series summation and the digamma function are established by means of Riemann-Liouville operator of fractional calculus. We derive the relation $$ \frac{\Gamma(\lambda)}{\Gamma(\nu)} \sum^{\infty}_{n=1}{\frac{\Gamma(\nu+n)}{n\Gamma(\lambda+n)}_{p+2}F_{p+1}(a_1, \cdots, a_{p+1},\lambda + n; x/a)} = \sum^{\infty}_{k=0}{\frac{(a_1)_k \cdots (a_{(p+1)}{(b_1)_k \cdots (b_p)_k K!} (\frac{x}{a})^k [\psi(\lambda + k) - \psi(\lambda - \nu + k)]}, Re(\lambda) > Re(\nu) \geq 0 $$ and explain some special cases.