• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.15-20
• /
• 1997

We present the results HELIOS verification against VENUS PWR critical experiments loaded with high plutonium content mixed oxides fuels. The effective multiplication factors are calculated to be slightly supercritical within an acceptable error bound. In the prediction of power shape, HELIOS results are in close agreement with the measured values. The RMS errors of re-normalized calculated fission rate distribution are less than 1.4 % with either explicit or implicit models or micro tubes/rods in each fuel assembly for both ALL-MOX and GD-MOX mock-up cores.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.407-416
• /
• 2013

Let E be an elliptic curve over $\mathbb{Q}$ and $p$ be a prime of good supersingular reduction for E. Although the Iwasawa theory of E over the cyclotomic ${\mathbb{Z}}_p$-extension of $\mathbb{Q}$ is well known to be fundamentally different from the case of good ordinary reduction at p, we are able to combine the method of our earlier paper with the theory of Kobayashi [5] and Pollack [8], to give an explicit upper bound for the number of copies of ${\mathbb{Q}}_p/{\mathbb{Z}}_p$ occurring in the $p$-primary part of the Tate-Shafarevich group of E over $\mathbb{Q}$.

• Journal of the Korean Mathematical Society
• /
• v.48 no.2
• /
• pp.341-365
• /
• 2011

In this paper, we establish general stratawise higher jet evaluation transversality of J-holomorphic curves for a generic choice of almost complex structures J (tame to a given symplectic manifold (M, $\omega$)). Using this transversality result, we prove that there exists a subset $\cal{J}^{ram}_{\omega}\;{\subset}\;\cal{J}_{\omega}$ of second category such that for every $J\;{\in}\;\cal{J}^{ram}_{\omega}$, the dimension of the moduli space of (somewhere injective) J-holomorphic curves with a given ramication prole goes down by 2n or 2(n - 1) depending on whether the ramication degree goes up by one or a new ramication point is created. We also derive that for each $J\;{\in}\;\cal{J}^{ram}_{\omega}$ there are only a finite number of ramication profiles of J-holomorphic curves in a given homology class $\beta\;{\in}\;H_2$(M; $\mathbb{Z}$) and provide an explicit upper bound on the number of ramication proles in terms of $c_1(\beta)$ and the genus g of the domain surface.

• Journal of the Korean Mathematical Society
• /
• v.47 no.4
• /
• pp.831-843
• /
• 2010

Let $\cal{H}$ and $\cal{K}$ be Hilbert spaces and let T, $\tilde{T}$ = T + ${\delta}T$ be bounded operators from $\cal{H}$ into $\cal{K}$. In this article, two facts related to the perturbation bounds are studied. The first one is to find the upper bound of $\parallel\tilde{T}^+\;-\;T^+\parallel$ which extends the results obtained by the second author and enriches the perturbation theory for the Moore-Penrose inverse. The other one is to develop explicit representations of projectors $\parallel\tilde{T}\tilde{T}^+\;-\;TT^+\parallel$ and $\parallel\tilde{T}^+\tilde{T}\;-\;T^+T\parallel$. In addition, some spectral cases related to these results are analyzed.

• Journal of applied mathematics & informatics
• /
• v.27 no.5_6
• /
• pp.1033-1047
• /
• 2009

In this paper, we consider a m-type risk model with Markov-modulated premium rate. A integral equation for the conditional ruin probability is obtained. A recursive inequality for the ruin probability with the stationary initial distribution and the upper bound for the ruin probability with no initial reserve are given. A system of Laplace transforms of non-ruin probabilities, given the initial environment state, is established from a system of integro-differential equations. In the two-state model, explicit formulas for non-ruin probabilities are obtained when the initial reserve is zero or when both claim size distributions belong to the $K_n$-family, n $\in$ $N^+$ One example is given with claim sizes that have exponential distributions.

• Journal of the Korean Statistical Society
• /
• v.35 no.3
• /
• pp.281-303
• /
• 2006

In an earlier work, we investigated the problem of using linear programming to bound performance measures in a discrete time Jackson network. There it was assumed that the system evolution is controlled by the early arrival scheme. This assumption implies that the system can't be modelled by a Markov chain. This problem was resolved and performance bounds were calculated. In the present work, we use a modification of the early arrival scheme (without corrupting it) in order to make the system evolves as a Markov chain. This modification enables us to obtain explicit expressions for certain moments that could not be calculated explicitly in the pure early arrival scheme setting. Moreover, this feature implies a reduction in the linear program size as well as the computation time. In addition, we obtained tighter bounds than those appeared before due to the new setting.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.31 no.1
• /
• pp.55-71
• /
• 2006

We perform a computational study on 0-1 knapsack problems generated under explicit correlation induction. A total of 2000 100-variable test problems are solved. We use two solution methods: (1) a well known heuristic and (2) a representative branch and bound type algorithm. Two different performance measures are considered: (1) the number of nodes needed to find an optimal solution and (2) the relative error of the heuristic solution. We also examine the effect of different joint probability mass functions (pmfs) for the coefficient values on the performance of the solution procedure.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.171-184
• /
• 2023

In this paper, we show that a complete translating soliton Σ^m in ℝⁿ for the mean curvature flow is stable with respect to weighted volume functional if Σ satisfies that the L^m norm of the second fundamental form is smaller than an explicit constant that depends only on the dimension of Σ and the Sobolev constant provided in Michael and Simon [12]. Under the same assumption, we also prove that under this upper bound, there is no non-trivial f-harmonic 1-form of L²_f on Σ. With the additional assumption that Σ is contained in an upper half-space with respect to the translating direction then it has only one end.

• Microbiology and Biotechnology Letters
• /
• v.43 no.3
• /
• pp.249-258
• /
• 2015

In this paper, the autolysis process of Saccharomyces cerevisiae FX-2 (S. cerevisiae FX-2) via, a variety of endogenous enzyme, was investigated systematically by analyzing changes in physicochemical parameters in autolysate, surface morphology and the internal structure of the yeast cells. As an explicit conclusion, the arisen autolysis depended on the pH and the optimal pH was found to be 5.5. Based on the experimental data and the characteristics of mycelia morphology, a hypothesis is put forward that simple proteins in yeast vacuolar are firstly degraded for utilization, and then more membrane-bound proteins are hydrolyzed to release hydrolytic enzymes, which arouse an enzymatic reaction to induce the collapse of the cell wall into the cytoplasm.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.1
• /
• pp.221-237
• /
• 2016

The wireless body area networks (WBANs) consist of wearable computing devices and can support various healthcare-related applications. There exist two crucial issues when WBANs are utilized for healthcare applications. One is the protection of the sensitive biometric data transmitted over the insecure wireless channels. The other is the design of effective medical management mechanisms. In this paper, a secure medical information management system is proposed and implemented on a TinyOS-based WBAN test bed to simultaneously address these two issues. In this system, the electronic medical record (EMR) is bound to the biometric data with a novel fragile zero-watermarking scheme based on the modified visual secret sharing (MVSS). In this manner, the EMR can be utilized not only for medical management but also for data integrity checking. Additionally, both the biometric data and the EMR are encrypted, and the EMR is further protected by the MVSS. Our analysis and experimental results demonstrate that the proposed system not only protects the confidentialities of both the biometric data and the EMR but also offers reliable patient information authentication, explicit healthcare operation verification and undeniable doctor liability identification for WBANs.