• The KIPS Transactions:PartD
• /
• v.10D no.5
• /
• pp.813-820
• /
• 2003

This paper solves Push-Push game with the model checker NuSMY which exhaustively explores all search space to determine whether a model satisfies a property. In case a model doesn't satisfy properties to be checked, NuSMV generates a counterexample which tells where this unsatisfaction occurs. However, the algorithm for generating counterexample in NuSMV traverses a search space twice so that it is inefficient for solving the game we consider here. To save the time to be required to complete the game, we revise the part of counterexample generation so that it traverses a search space once. As a result, we obtain 62% time improvement and 11% space improvement in solving the game with modified NuSMV.

• 한국전산유체공학회:학술대회논문집
• /
• 2003.10a
• /
• pp.13-14
• /
• 2003

Two different ${\kappa}-{\varepsilon}-\overline{{\nu}{\nu}}-f$ turbulence models together with the two-layer model are evaluated for natural convection in a rectangular cavity. The numerical problem and accuracy of the turbulence models are discussed. The original $\overline{{\nu}{\nu}}-f$ model suffers from the numerical stiffness problem when used with the segregate solution procedure like the SIMPLE algorithm, and a remedy for this problem is proposed. It is shown that original $\overline{{\nu}{\nu}}-f$ model best predicts the mean velocity, Reynolds stresses and the turbulent heat flux while the modified $\overline{{\nu}{\nu}}-f$ model (N=6) overpredicts the turbulent quantities.

• Geophysics and Geophysical Exploration
• /
• v.16 no.3
• /
• pp.190-195
• /
• 2013

We estimated near-surface shear-wave velocity (${\nu}_s$) at the Hwacheon seismic station using a geologic log of a well, microtremors recorded during a period of 56 days, and records of three teleseismic events ($M_w{\geq}6.0$). The vs of the 10-m thick soil layer (${\nu}^s_s$= 296 m/s) was determined from horizontal-to-vertical spectral ratios of microtremors recorded at the surface. The average ${\nu}_s$ ($\bar{\nu}_s$= 1,309 m/s) from the surface to the 96-m depth of a borehole sensor, was computed using spectral coherence analyses of data recorded by surface- and borehole-sensors for the three teleseismic events. Using these calculated values of ${\nu}^s_s$ and $\bar{\nu}_s$, the computed bedrock ${\nu}_s$ is 2,150 m/s and the time-averaged ${\nu}_s$ to a 30-m depth is 696 m/s. Accordingly the Hwacheon seismic station is regarded as a relatively good site. The deduced near-surface ${\nu}_s$ can be used for further quantitative evaluation of site amplification and earthquake hazard.

• The Bulletin of The Korean Astronomical Society
• /
• v.41 no.2
• /
• pp.58.3-58.3
• /
• 2016

The Kepler space mission provides quantitative and qualitative photometric time series of oscillating stars. It is possible to examine statistical study with seismic properties of solar-like stars. Global seismic properties - large frequency separation (${\Delta}{\nu}$), frequency of maximum power (${\nu}_{max}$) and amplitude of Gaussian envelope (A) widely have been used to determine empirical scaling relations for inferring the stellar physical quantities - mass, age and temperature. We aim to confirm whether width of Gaussian envelope on power excess (${\delta}{\nu}_{env}$) can be used with parameter of scaling relation before redgiant phase using Kepler data. Therefore we analyze the characteristics of ${\delta}{\nu}_{env}$ of 129 solar-like stars from main-sequence to subgiant. We have demonstrated that ${\delta}{\nu}_{env}$ has highly correlations with global parameters - ${\Delta}{\nu}$ and ${\nu}max$. We have also found the break of ${\delta}{\nu}_{env}-{\Delta}{\nu}$ and ${\nu}_{max}$ relations.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.9 no.1
• /
• pp.79-90
• /
• 2005

In this paper we study the numerical solutions of the stochastic differential equations of the form $$du(x,\;t)=f(x,\;t,\;u)dt\;+\;g(x,\;t,\;u)dW(t)\;+\;\sum\limits_{|q|\leq2m}\;A_q(x,\;t)D^qu(x,\;t)dt$$ where $0\;{\leq}\;t\;{\leq}\;T,\;x\;{\in}\;R^{\nu}$, ($R^{nu}$ is the $\nu$-dimensional Euclidean space). Here $u\;{\in}\;R^n$, W(t) is an n-dimensional Brownian motion, $$f\;:\;R^{n+\nu+1}\;{\rightarrow}\;R^n,\;g\;:\;R^{n+\nu+1}\;{\rightarrow}\;R^{n{\times}n},$$, and $$A_q\;:\;R^{\nu}\;{\times}\;[0,\;T]\;{\rightarrow}\;R^{n{\times}n}$$ where ($A_q,\;|\;q\;|{\leq}\;2m$) is a family of square matrices whose elements are sufficiently smooth functions on $R^{\nu}\;{\times}\;[0,\;T]\;and\;D^q\;=\;D^{q_1}_1_{\ldots}_{\ldots}D^{q_{\nu}}_{\nu},\;D_i\;=\;{\frac{\partial}{\partial_{x_i}}}$.

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.2
• /
• pp.117-119
• /
• 1985

Let R be a commutative noetherian ring with 1.neq.0, denoting by .nu.(I) the cardinality of a minimal basis of the ideal I. Let A be a polynomial ring in n>0 variables with coefficients in R, and let M be a maximal ideal of A. Generally it is shown that .nu.(M $A_{M}$).leq..nu.(M).leq..nu.(M $A_{M}$)+1. It is well known that the lower bound is not always satisfied, and the most classical examples occur in nonfactional Dedekind domains. But in many cases, (e.g., A is a polynomial ring whose coefficient ring is a field) the lower bound is attained. In [2] and [3], the conditions when the lower bound is satisfied is investigated. Especially in [3], it is shown that .nu.(M)=.nu.(M $A_{M}$) if M.cap.R=p is a maximal ideal or $A_{M}$ (equivalently $R_{p}$) is not regular or n>1. Hence the problem of determining whether .nu.(M)=.nu.(M $A_{M}$) can be studied when p is not maximal, $A_{M}$ is regular and n=1. The purpose of this note is to provide some conditions in which the lower bound is satisfied, when n=1 and R is a regular local ring (hence $A_{M}$ is regular)./ is regular).

• Applied Biological Chemistry
• /
• v.32 no.4
• /
• pp.408-415
• /
• 1989

Twenty-seven strains of starch utilizing yeasts were isolated from 30 samples of ‘Nuruk’, a traditional starter in Korea. These strains were identified as ten species belonging to four genera; Hansenula anomaly (six strains), Hansenula sydowiorum (two strains), Saccharomycopsis fibuligera (four strains), Schwanniomyces occidentalis (two strains), Candida fabianii(two strains), Candida famata(one strain), Candida hydrocarbofumarica (three strains), Candida silvicola (one strain), Candida steatolytica (four strains) and Candida tropicalis (two strains). Saccharomycopsis fibuligera Nu-01, Nu-08, Nu-12 and Nu-27 produced much amylase, and one of these, Saccharomycopsis fibuligera Nu-12 showed the highest amylase activity (16.9 IU/ml). Among the isolates, the strains of Hansenula anomala were exhibited relatively high specific growth rate in the medium used starch as a carbon source, and ethanol fermentation by the strains of Candida hydrocarbofumarica was not observed.

• Communications of the Korean Mathematical Society
• /
• v.22 no.1
• /
• pp.65-74
• /
• 2007

Suppose that $\mu$ is a finite positive Borel measure on bounded symmetric domain $\Omega{\subset}\mathbb{C}^n\;and\;\nu$ is the Euclidean volume measure such that $\nu(\Omega)=1$. Suppose 1 < p < $\infty$ and r > 0. In this paper, we will show that the norms $sup\{\int_\Omega{\mid}k_z(w)\mid^2d\mu(w)\;:\;z\in\Omega\}$, $sup\{\int_\Omega{\mid}h(w)\mid^pd\mu(w)/\int_\Omega{\mid}h(w)^pd\nu(w)\;:\;h{\in}L_a^p(\Omega,d\nu),\;h\neq0\}$ and $$sup\{\frac{\mu(E(z,r))}{\nu(E(z,r))}\;:\;z\in\Omega\}$$ are are all equivalent. We will also show that the inclusion mapping $ip\;:\;L_a^p(\Omega,d\nu){\rightarrow}L^p(\Omega,d\mu)$ is compact if and only if lim $w\rightarrow\partial\Omega\frac{\mu(E(w,r))}{\nu(E(w,r))}=0$.

• Geophysics and Geophysical Exploration
• /
• v.16 no.3
• /
• pp.109-118
• /
• 2013

On and near the 23-m high earthen Cheongcheon dam in Boryeong City, Korea, short seismic refraction and surface-wave profiles were conducted using a 5-kg sledgehammer. From vertical and horizontal components of the seismic waves, near-surface P-wave velocities (${\nu}_p$) and S-wave velocities (${\nu}_s$) were derived by inverting first-arrival refraction times and dispersion curves of Rayleigh waves. Average ${\nu}_p$ and ${\nu}_s$ for the Jurassic sedimentary basement were determined to be 1650 and 950 m/s at a depth of 30 m directly beneath the dam and 1650 m/s and 940 m/s at a depth of 10 m at the toe of the dam, respectively. The dynamic Poisson's ratio for these strata were therefore in the range of 0.24 to 0.25, which is consistent with ratios for consolidated sedimentary strata. Near a 45-m borehole 152 m downstream from the dam crest, an SH tomogram indicates a refraction boundary with an average ${\nu}_s$ of 870 m/s at depths of 10 ~ 12 m. At this site, the overburden comprises the upper layer with relatively constant ${\nu}_p$ and ${\nu}_s$ around 500 and 200 m/s, respectively, and the lower layer in which both ${\nu}_p$ and ${\nu}_s$ increase with depth almost linearly. The dynamic Poisson's ratios for the overburden were in the range of 0.30 to 0.43.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.3
• /
• pp.316-321
• /
• 2003

Recently, support vector learning attracts great interests in the areas of pattern classification, function approximation, and abnormality detection. It is well-known that among the various support vector learning methods, the so-called no-versions are particularly useful in cases that we need to control the total number of support vectors. In this paper, we consider the problem of function approximation utilizing both predetermined basis functions and a no-version support vector learning called $\nu-SVR$. After reviewing $\varepsilon-SVR$, $\nu-SVR$, and a semi-parametric approach, this paper presents an extension of the conventional $\nu-SVR$ method toward the direction that can utilize Predetermined basis functions. Moreover, the applicability of the presented method is illustrated via an example.