• Bulletin of the Korean Mathematical Society
• /
• v.58 no.2
• /
• pp.515-526
• /
• 2021

Denote by ��+ the set of probability measures supported on ℝ+. Suppose V�� is the variance function of the Cauchy-Stieltjes Kernel (CSK) family ��-(��) generated by a non degenerate probability measure �� ∈ ��+. We determine the formula for variance function under boolean multiplicative convolution power. This formula is used to identify the relation between variance functions under the map ${\nu}{\mapsto}{\mathbb{M}}_t({\nu})=({\nu}^{{\boxtimes}(t+1)})^{{\uplus}{\frac{1}{t+1}}}$ from ��+ onto itself.

• Journal of KIISE:Software and Applications
• /
• v.32 no.12
• /
• pp.1178-1191
• /
• 2005

In this paper, we propose a synthesis method of software fault tree from software requirements specification written in NuSCR formal specification language. The software fault tree, proposed in this paper, reflects requirements on both structure and behavior and it is an integrated form. The software fault tree can be used for analyzing safety in the view of structure and behavior. We propose templates for each components in NuSCR specification language and a synthesis method of software fault tree using the templates. The research was applied into the main trip logic of the reactor protection system of ARP1400, the Korean next generation nuclear reactor system, developed by KNICS. And we evaluate feasibility of our approach through this case study.

• Horticultural Science & Technology
• /
• v.30 no.2
• /
• pp.185-191
• /
• 2012

For initiation of resistance breeding program of the red pepper, 21 PR ($Phytophthora$ resistance) cultivars, 36 cultivars collected from USA and 'Supermanitta' which is a susceptible cultivar against phytophthora blight were assayed against phytophthora blight, powdery mildew, and anthracnose. For seedling assay of phytophthora blight, three different mating type strains of $Phytophthora$ $capsici$ were used (A1, A2, Sterile). The result showed that most of the pepper of PR cultivars were resistance or moderately resistance at each mating type. 'Yeokganghongjanggun' was resistant to all three $P.$ $capsici$ strains and 'PR-Datta' and 'PR-Manitta' were resistant or moderately resistant at each type. In case of the collected cultivars, 'NuMex J.E.Parker', 'Omni Color', and 'SCM334' were resistant to all the three types and some cultivars including 'Sweet Banana' and 'Tabasco' were moderately resistant to each type fungi. 'Orange Habanero' and 'Black Cuban' were resistant to powdery mildew and 'Supermanitta' and 'PR Keumdong' were moderately resistant, while 'Santa Fe Grande', 'NuMex Pinata' and 'Puya' were very susceptible. In the case of anthracnose, 'Aji Limon' and 'Capsicum baccatum var. pendulum 3-4' were resistant and 'Pobalno', 'Omni Color', 'Negro', 'Mesilla', 'Mulato', 'Bhut Jolokia', 'Big Dipper', 'Black Cuban', 'NuMex Pinata', and 'NuMex Big Jim' were moderately resistant. The most PR cultivars except 'Taesan' were susceptible or very susceptible. These resistant individuals identified through this experiment can be used as sources of resistance to pepper pathogens in the future breeding programs.

• Bulletin of the Korean Chemical Society
• /
• v.7 no.1
• /
• pp.63-66
• /
• 1986

Concentration dependences of the isotropic Raman line widths for the $ {\nu}_1$ (C-H and C-D) and the ${\nu}_2\;(C{\equiv}N)$ modes for $CH_3CN$ and $CD_3CN\;in\;CCl_4$ solutions have been investigated. For the ${\nu}_1$ modes, the dephasing seems to be a good description for the isotropic line broadening in $CCl_4$ solution even though the concentration fluctuation can reproduce the experimental results also. For the ${\nu}_2$ modes, the concentration fluctuation was the dominant mechanism for the concentration-dependent line broadening.

• Journal of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.787-811
• /
• 1999

Let M be the maximal ideal space of the Banach algebra $H^{\infty}$ of bounded analytic functions on the open unit disc $\triangle$. For a positive singular measure ${\mu}\;on\;{\partial\triangle},\;let\;{L_{+}}^1(\mu)$ be the set of measures v with $0\;{\leq}\;{\nu}\;{\ll}\;{\mu}\;and\;{{\psi}_{\nu}}$ the associated singular inner functions. Let $R(\mu)\;and\;R_0(\mu)$ be the union sets of $\{$\mid$\psiv$\mid$\;<\;1\}\;and\;\{$\mid${\psi}_{\nu}$\mid$\;<\;0\}\;in\;M\;{\setminus}\;{\triangle},\;{\nu}\;\in\;{L_{+}}^1(\mu)$, respectively. It is proved that if $S(\mu)\;=\;{\partial\triangle}$, where $S(\mu)$ is the closed support set of $\mu$, then $R(\mu)\;=\;R0(\mu)\;=\;M{\setminus}({\triangle}\;{\cup}\;M(L^{\infty}(\partial\triangle)))$ is generated by $H^{\infty}\;and\;\overline{\psi_{\nu}},\;{\nu}\;{\in}\;{L_1}^{+}(\mu)$. It is proved that %d{\theta}(S(\mu))\;=\;0$ if and only if there exists as Blaschke product b with zeros $\{Zn\}_n$ such that $R(\mu)\;{\subset}\;{$\mid$b$\mid$\;<\;1}\;and\;S(\mu)$ coincides with the set of cluster points of $\{Zn\}_n$. While, we proved that $\mu$ is a sum of finitely many point measure such that $R(\mu)\;{\subset}\;\{$\mid${\psi}_{\lambda}$\mid$\;<\;1}\;and\;S(\lambda)\;=\;S(\mu)$. Also it is studied conditions on \mu for which $R(\mu)\;=\;R0(\mu)$.

• The Journal of the Korea Contents Association
• /
• v.2 no.4
• /
• pp.99-103
• /
• 2002

In this paper, we investigate for how to define a fuzzy measure by using the semi-normed fuzzy integral of a given measurable function with respect to another given fuzzy measure when t-seminorm is continuous. Let (X, F, g) be a fuzzy measure space, h$\in$L$^\circ$(X), and $\top$ be a continuous t-seminorm.. Then the set function $\nu$ defined by $\nu$(A)=$\int _A$h$\top$g for any $A\in$F is a fuzzy measure on (X, F).

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.11 no.2
• /
• pp.3-8
• /
• 2007

In this paper a generalized parametric mean length $L(P^{\nu},\;R)$ has been defined and bounds for $L(P^{\nu},\;R)$ are obtained in terms of generalized R-norm information measure.

• The KIPS Transactions:PartD
• /
• v.12D no.1 s.97
• /
• pp.81-90
• /
• 2005

Given a model and a property, model checking determines whether the model satisfies the property. In case the model does not satisfy the property model checking gives a counterexample which explains where the violation occurs. Since counterexamples are useful for model debugging as well as model understanding, counterexample generation is one of the indispensable components in the model checking tool. This paper presents efficient counterexample generation techniques when a safety property is falsified. These techniques are used to solve Push Push games which consist of 50 games. As a result, all the games are solved with the proposed techniques. However, with the original NuSMV, 42 games are solved but 8 failed. In addition, we obtain $86{\%}$ time improvement and $62{\%}$ space improvement compared to the original NuSMV in solving the game.

• The Journal of Engineering Geology
• /
• v.6 no.2
• /
• pp.103-110
• /
• 1996

This study shows the variation of poisson's ratio according to stress for the Cretaceous sandstones and shale in the Euiseoung Subbasin. To make a mechanical experiment, samples prepared with 3.0 cm in diameter and 6.2 cm in length were used in testing stress and strain. Generally poisson's ratio has been considered as one of properties, but contrary to steel, the test result makes sure that poisson's ratio has functional relation to stress. I had used four methods to calculate poisson's ratio, Poisson's ratio shows considerable different results according to the calculating, method but it has similar tendency in an elastic limit. Poisson' s ratio increases rapidly and is distinguished clearly in internal fracture region according to the calculating method. Poisson's ratio of sandstone and shale is different from one another in low and high stress regimes,but it is linearly proportional to the stress in an elastic regimes, that is, ${\nu}_t={\;}{\nu}_0+P_{\sigma}({\nu}_0$:first stage Poisson's ratio, ${\nu}_t$:poisson's ratio, P: poisson's coefficient, $\sigma$:stress). Poisson's ratios of two kinds of rock samples show continuous variation from 0.1 to 0.21 in an elastic regime. The variation of poisson's ratio is much wider in an internal fracture regine. It varies from 0.22 to 0.45 in sandstone, which is out of elastic regime.

• Nuclear Engineering and Technology
• /
• v.37 no.5
• /
• pp.479-490
• /
• 2005

The thermalhydraulic performance of a CANDU-6 reactor loaded with various CANFLEX fuel bundles is evaluated by the NUCIRC code, which is incorporated with recent models of pressure drop and critical heat flux (CHF) predictions based on high-pressure steam-water tests for the CANFLEX bundle as well as a 37-element bundle. The distributions of channel flow rate, channel exit quality, critical channel power (CCP), and critical power ratio (CPR) for the CANFLEX bundles (with natural or recycled uranium fuel) in the CANDU-6 reactor fuel channel are calculated by the code. The effects of axial and radial heat flux on CCP are evaluated by assuming that the recycled uranium fuel (CANFLEX-RU) has the same geometric data as the natural uranium fuel bundle (CANFLEX-NU), but a different power distribution due to different fuel composition and refueling scheme. In addition, the effects of pressure tube creep and bearing-pad height are examined by comparing various results of uncrept, and $3.3\%\;and\;5.1\%$ crept channels loaded with CANFLEX bundles with 1.4 mm or 1.7 mm high bearing-pads with those of the 37-element bundle. The distributions of the channel flow rate and CCP for the CANFLEX-NU or -RU bundle show a typical trend for a CANDU-6 reactor channel, and the CPRs are maintained above at least 1.444 (NU) or 1.455 (RU) in the uncrept channel. The enhanced CHF of the CANFLEX bundle (particularly with 1.7mm height bearing-pads) produces a higher thermal margin and considerably less sensitivity to CCP reduction due to the pressure tube creep than the 37-element bundle. The CCP enhancement due to the raised bearing-pads is estimated to be about $3\%\~5\%$ for the CANFLEX-NU and $2\%\~6\%$ for the CANFLEX-RU bundle, respectively.