• Bulletin of the Korean Mathematical Society
• /
• v.49 no.5
• /
• pp.1067-1079
• /
• 2012

Let M be a right R-module, (S, ${\leq}$) a strictly totally ordered monoid which is also artinian and ${\omega}:S{\rightarrow}Aut(R)$ a monoid homomorphism, and let $[M^{S,{\leq}}]_{[[R^{S,{\leq}},{\omega}]]$ denote the generalized inverse polynomial module over the skew generalized power series ring [[$R^{S,{\leq}},{\omega}$]]. In this paper, we prove that $[M^{S,{\leq}}]_{[[R^{S,{\leq}},{\omega}]]$ has the same uniform dimension as its coefficient module $M_R$, and that if, in addition, R is a right perfect ring and S is a chain monoid, then $[M^{S,{\leq}}]_{[[R^{S,{\leq}},{\omega}]]$ has the same couniform dimension as its coefficient module $M_R$.

• Kyungpook Mathematical Journal
• /
• v.46 no.2
• /
• pp.255-260
• /
• 2006

Let $m$ and $k$ be any positive integers, let $\mathbb{Z}_k$ the ring of integers of modulo $k$, let $G_m(\mathbb{Z}_k)$ the group of all $m$ by $m$ nonsingular matrices over $\mathbb{Z}_k$ and let ${\phi}_m(k)$ the order of $G_m(\mathbb{Z}_k)$. In this paper, ${\phi}_m(k)$ can be computed by the following investigation: First, for any relatively prime positive integers $s$ and $t$, $G_m(\mathbb{Z}_{st})$ is isomorphic to $G_m(\mathbb{Z}_s){\times}G_m(\mathbb{Z}_t)$. Secondly, for any positive integer $n$ and any prime $p$, ${\phi}_m(p^n)=p^{m^2}{\cdot}{\phi}_m(p^{n-1})=p{^{2m}}^2{\cdot}{\phi}_m(p^{n-2})={\cdots}=p^{{(n-1)m}^2}{\cdot}{\phi}_m(p)$, and so ${\phi}_m(k)={\phi}_m(p_1^n1){\cdot}{\phi}_m(p_2^{n2}){\cdots}{\phi}_m(p_s^{ns})$ for the prime factorization of $k$, $k=p_1^{n1}{\cdot}p_2^{n2}{\cdots}p_s^{ns}$.

• Journal of the korean academy of Pediatric Dentistry
• /
• v.28 no.1
• /
• pp.129-141
• /
• 2001

When oral microorganisms were sampled from occlusal surfaces of caries and non-caries teeth, $3.43\times10^5$ CFU and $3.47\times10^3$ CFU of bacteria were counted on MSB agar plates, respectively. All the 20 colonies isolated from a caries surface were Streptococcus mutans but, only two of 20 colonies were identified as Streptococcus mutans by API test. S. mutans SM1 from caries tooth and S. mutans SM2 from non-caries tooth showed the same results except for $\alpha-galactosidase$ activity on sugar fermentation tests and biochemical tests. For the bacterial replication, both SM1 and SM2 were actively multiplicated at pH 5.5. And the viability of SM1 was high at 20% of sucrose, while that of SM2 was high at 5% of sucrose in the media. SM1 actively replicated at 16mM of $CaCl_2$, 160mM of KCl, and 6.4mM of $MgCl_2$, and the replication of SM2 was increased at 16mM of $CaCl_2$, 40mM of KCl, 6.4mM of $MgCl_2$. At 1mM of sodium bicarbonate and sodium phosphate, both bacteria were actively multiplicated. SM1 and SM2 were actively replicated at 1mM and 10mM of Tris, respectively. For potassium phosphate buffer, SM1 grew well proportionally to the concentration up to 100mM, while the growth of SM2 were inhibited by the increase of concentration. The 4.6 kb of gtf gene was amplified with a pair of primer, gtfB-F961 and gtfC-R5574 by polymerase chain reaction from the chromosomal DNA of SM1 and SM2. When 4.6kb bands were eluted from gel and were treated with restriction enzyme, EcoR I produced the same RFLP like 0.8kb and 3.8kb of DNA fragments for S. mutans GS-5, SM1 and SM2. By Hind III, the PCR products weren't digested for S. mutans GS-5 and SM1, but 3 fragments such as 2.4kb, 1.8kb and 400bp were examined for SM2. These results indicated the difference between gtf genes of SM1 and SM2. BamH I treatment showed 4 fragments for SM1 and SM2, while the 3 fragments for S. mutans GS-5. The PCR products were not digested by Kpn I, Sma I, Xho I and Pst I.

• Journal of Aquaculture
• /
• v.9 no.3
• /
• pp.187-194
• /
• 1996

Sixteen strains of marine rotifer, Braohionus plicatilis were isolated from salt pond, estuary and lagoon. Among 16 strains, 2 strains were large (L)-type and the others were small (S) or ultra small (US)-type. Four strains of fresh water rotifer, B. calyciflorus were isolated from commercial fish ponds. The size of lorica and resting egg were measured. In B. plicatilis, the range of lorica length from S-type and S-type were $244.3{\~}255.3\;{\mu}m$ and $131.0{\~}165.8\;{\mu}m$, respectively. The major axis of resting egg in the marine rotifer were $93.7\~116.4\;{\mu}m$ for S-type and $142.4{\~}145.5\;{mu}m$ for L-type, respectively. In freshwater rotifer, B. calyciflorus, the size range of lorica and major axis of resting egg were $211.8\~229.9\;{\mu}m$ and $126.8\~140.2\;{mu}m$, respectively. The size of freshwater rotifer was larger than that of S-type marine rotifer, but smaller than that of L-type one. Growth and formation of resting egg of B. plicatilis were different among the strains. The maximum density of S-type and L-type rotifer was 753.3 inds./ml for H-S strain and 220 inds./ml for O-L strain, respectively. The largest production of resting egg of S-type and L-type rotifer were 86.7 inds./ml for YY-S strain and 45.8 inds./ml for O-L strain, respectively.

• Journal of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1167-1182
• /
• 2016

Let M be an R-module, where R is a commutative ring with identity 1 and let G(V,E) be a graph. In this paper, we study the graphs associated with modules over commutative rings. We associate three simple graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ to M called full annihilating, semi-annihilating and star-annihilating graph. When M is finite over R, we investigate metric dimensions in $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$. We show that M over R is finite if and only if the metric dimension of the graph $ann_f({\Gamma}(M_R))$ is finite. We further show that the graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ are empty if and only if M is a prime-multiplication-like R-module. We investigate the case when M is a free R-module, where R is an integral domain and show that the graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ are empty if and only if $$M{\sim_=}R$$. Finally, we characterize all the non-simple weakly virtually divisible modules M for which Ann(M) is a prime ideal and Soc(M) = 0.

• KSBB Journal
• /
• v.8 no.4
• /
• pp.341-350
• /
• 1993

As an effort to develop an alternative transportation fuel, the production of methanol from methane gas was studied using the resting cells of an obligatory methanotroph, Methylosinus trichosporium OB3b. The reaction was carried out in high concentration phosphate buffer solutions with the flask-grown cells containing the exclusively cytoplasmic methane monooxygenase (sMMO) activity. The methanol accumulation rate was observed to be 79nmo1/mg·min during the initial 4.5hr. Phosphate-dependent inhibition was found for both sMMO and methanol dehydrogenase (MDH) activities, and the inhibition constants were 185mM and 42mM, respectively. The inhibition mode was noncompetitive. Methanol was found to be very inhibitory to the sMMO activity and the inhibition constant (noncompetitive) was 21mM when propylene was used as substrate. The sMO activity in the resting cells was declined very fast and the rate became very high during the methanol production. These results indicate that the use of M. trichosporium OB3b as a biocatalyst for the methanol production is heavily dependent on the stable maintenance of the whole-cell SMO activity as well as the effective alleviation of product inhibition.

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.279-284
• /
• 1994

Let R = ($r_1$, $r_2$, …, $r_{m}$) and S = ($s_1$, $s_2$, …, $s_{n}$ ) be positive integral vectors satisfying $r_1$＋ $r_2$＋…＋ $r_{m}$ = $s_1$＋ $s_2$＋ㆍㆍㆍ＋ $s_{n}$ , and let U(R, S) denote the class of all m $\times$ n matrices A = [$_a{ij}$ ] where $a_{ij}$ = 0 or 1 such that (equation omitted) = $r_{i}$ , (equation omitted) = $s_{j}$ , i = 1, ㆍㆍㆍ, m, j = 1, ㆍㆍㆍ, n.(omitted)

• Korean Journal of Agricultural Science
• /
• v.36 no.1
• /
• pp.87-98
• /
• 2009

The objective of this study is to evaluate the effect of increasing instream flow at Gapcheon stream of Daejeon city by considering two virtual reservoirs upstream, respectively; Geum-gok reservoir and Koe-gok reservoir upstream, respectively. The paralleled and cascaded reservoir operations were performed including the existing Jang-an and Bang-dong reservoirs. The results are summarized as follows. Firstly, from the Bang-dong and Geum-gok cascaded reservoir's water balance analysis, instream flow of $6.83Mm^3$ was able to be supplied to downstream, and water supply indexes of Geum-gok reservoir were analyzed to have the rate of water supply divided by watershed area of 403.4 mm, the rate of water supply divided by rainfall of 33.0 %, the rate of water supply divided by inflow of 96.4 %, the rate of water supply divided by storage capacity of 81.9 %, and the rate of inflow divided by storage capacity of 112.3 %. Secondly, from the Jang-an and Geum-gok paralleled reservoir's water balance analysis, flow durations at Gapcheon station were analyzed to have Q95 (the 95th high flow) of $4.806m^3/s$, Q185 (the 185th high flow) of $2.217m^3/s$, Q275 (the 275th high flow) of $1.140m^3/s$, and Q355 (the 355th high flow) of $0.887m^3/s$. Thirdly, inflow to Koe-gok reservoir was simulated including the Jang-an and Bang-dong paralleled reservoir's water balance analysis, instream flow of $49.60Mm^3$ was able to be supplied from Koe-gok reservoir to downstream, and water supply indexes of Koe-gok reservoir were analyzed to have the rate of water supply divided by watershed area of 246.5 mm, the rate of water supply divided by rainfall of 19.4 %, the rate of water supply divided by inflow of 40.8 %, the rate of water supply divided by storage capacity of 412.1 %, and the rate of inflow divided by storage capacity of 1,189.8 %. Fourthly, daily streamflows at Gapcheon stream were simulated including outflows from Koe-gok reservoir, flow durations at Gapcheon station were analyzed to have Q95 (the 95th high flow) of $4.501m^3/s$, Q185 (the 185th high flow) of $2.277m^3/s$, Q275 (the 275th high flow) of $1.743m^3/s$, and Q355 (the 355th high flow) of $1.564m^3/s$. The conclusion appeared that the effect of increasing instream flow at Gapcheon stream from Koe-gok reservoir was more higher than that from Geum-gok reservoir.

• Journal of Bio-Environment Control
• /
• v.8 no.2
• /
• pp.108-114
• /
• 1999

This study was conducted to investigate the optimum environment for leaf lettuce (Lactuca sativa L. var. crispa) in a plant factory to increase mass-production efficiency of quality leaf lettuce. Transpiration rate and $CO_2$ assimilation rate were increased with increasing the photosynthetic photon flux density (PPFD). The highest fresh weight and dry weight were observed at the PPFD of 200 and 300 U moi $m^{-2}$ $s^{-l}$, respectively. The optimum aerial environment for the growth and quality of leaf lettuce in the plant factory was determined to be over 200 $\mu$mol $m^{-2}$ $s^{-1}$ for PPFB. Although the interaction between light intensity and nutrient level was not significant, the lettuce growth was the best under electrical conductivity (EC) of 1.8 mS $cm^{-1}$ / at high light intensity (250 $\mu$mol $m^{-2}$ $s^{-1}$ ) and EC of 2.4 mS cm-1 at low light level (150 $\mu$mol $m^{-2}$ $s^{-1}$ ) respectively.y.

• Journal of the Korea Society for Simulation
• /
• v.17 no.2
• /
• pp.49-61
• /
• 2008

Most battleship warfare M&S systems run relatively slow and the simulation results are often unfair since the system should interact with human operators(controller and/or gamer). To deal with these problems, we have proposed the agent-based battleship warfare M&S system which interact with multiple agent systems instead of human operators. Agent-based M&S system may be able to efficiently support the analysis of effectiveness and/or the operational tactics development of given warfare by providing autonomous reasoning capabilities without the intervention of human controller. To do this, the paper propose the design concept and methodology using the advanced modeling and simulation framework as well as autonomous agent design principle. Several simulation tests performed on the battleship warfare case study on Korea Yellow sea will illustrate our techniques.