• 정보처리학회논문지D
• /
• 제10D권5호
• /
• pp.813-820
• /
• 2003

모델 검사는 모델이 속성을 만족하는지를 판정하기 위해서 모델의 상태 공간을 철저하게 조사한다. NuSMV는 모델 검사를 자동으로 수행하는 도구로서 본 논문에서는 이와 같은 NuSMV를 이용하여 푸쉬 푸쉬 게임을 해결한다. 모델이 속성을 만족하지 않는 경우 NuSMV는 그 이유를 설명하는 반례를 생성하게 되는데 NuSMV에 구현되어 있는 반례 생성 방식은 상태 공간을 2번 탐색하기 때문에 게임 풀이에 비효율적이다. 본 논문에서는 반례 생성시 상태 공간을 한 번만 탐색하도록 NuSMV를 재 구현 하였다. 그 결과 게임 풀이에 있어서 원래 NuSMV 보다 약 62%의 시간 절감과 11%의 공간 절감이 있었다.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2003년도 The Fifth Asian Computational Fluid Dynamics Conference
• /
• 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.

• 지구물리와물리탐사
• /
• 제16권3호
• /
• pp.190-195
• /
• 2013

화천 지진관측소의 시추주상도와 56일간 기록한 상시미동자료 및 3개 원거리 지진이벤트($M_w{\geq}6.0$)를 이용하여 천부 횡파속도(${\nu}_s$)를 구하였다. 지표에서 기록한 상시미동자료의 수평성분/수직성분 스펙트럼비로부터 10 m 두께의 토양층의 ${\nu}_s$(${\nu}^s_s$= 296 m/s)를 결정하였다. 지표로부터 시추공 센서가 설치된 96 m 깊이까지의 평균 ${\nu}_s$($\bar{\nu}_s$= 1,309 m/s)는 3개의 원거리 지진이벤트를 지표 및 시추공 센서로 기록한 자료들의 스펙트럼 상관도로 계산하였다. 이렇게 계산한 ${\nu}^s_s$와 $\bar{\nu}_s$값을 이용하여 계산한 기반암의 ${\nu}_s$는 2,150 m/s이며, 30 m까지의 평균 ${\nu}_s$는 696 m/s이다. 화천 관측소 부지는 비교적 양호한 것으로 판단되며, 이 연구를 통해 구해진 천부 ${\nu}_s$는 향후 지반의 부지증폭효과 및 지진재해의 정량적 평가에 활용될 수 있다.

• 천문학회보
• /
• 제41권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
• /
• 제9권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}}}$.

• 대한수학회보
• /
• 제22권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
• /
• 제32권4호
• /
• pp.408-415
• /
• 1989

전국 각지로부터 수집한 30개 누룩 시료로부터 27균주의 전분자화성효모를 분리하여 이들 균주를 Hansenula anomala(6균주), Hansenula sydowiorum(2균주), Saccharomycopsis fibuligera (4균주), Schwanniomyces occidentalis(2균주), Candida fabianii(2균주), Candida famata(1균주), Candida hydrocarbofumarica(3균주), Candida silvicola(1균주), Candida steatolytica(4균주), Candida tropicalis(2균주)의 4속 10종으로 동정하였다. 분리효모균주 중 Saccharomycopsis fibuligera Nu-01, Nu-08, Nu-12 및 Nu-27은 높은 amylase활성을 나타내고 이들 균주중 Nu-12는 가장 높은 amylase 활성 (16.9 IU/ml)을 나타내었다. 분리효모균주의 비증식속도는 starch를 탄소원으로 한 배지에서 Hansenula anomala의 균주가 일반적으로 높았고 ethanol 발효에 있어서는 Candida hydrocarbofumarica Nu-15, Nu-22 및 Nu-25를 제외한 모든 분리균주가 알콜을 생성하였다.

• 대한수학회논문집
• /
• 제22권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$.

• 지구물리와물리탐사
• /
• 제16권3호
• /
• pp.109-118
• /
• 2013

높이 23 m인 보령시 청천댐 상부와 인근에서 5 kg 해머를 이용하여 소규모 굴절법 및 표면파 탐사를 실시하였다. 인공 지진파의 수직 및 수평성분을 초동주시 토모그래피 및 레일리파 분산곡선 역산을 통하여 천부 P파속도(${\nu}_p$)와 S파속도(${\nu}_s$) 구조를 파악하였다. 중생대 퇴적암질 기반암의 평균 ${\nu}_p$와 ${\nu}_s$는 댐마루 30 m 깊이에서 각각 1650 m/s와 950 m/s, 하류쪽 댐체 끝 지점 10 m 깊이에서 각각 1650 m/s와 940 m/s로 분석된다. 이 층들의 동포아송비는 0.24 ~ 0.25의 범위로, 고화된 퇴적층의 값과 일치한다. 댐체로부터 152 m 하류지점의 깊이 45 m 시추공 부근에서의 SH파 굴절법 토모그램은 10 ~ 12 m 깊이에 평균 vs가 870 m/s인 임계굴절면이 존재함을 보여준다. 이 지역에서는 덮개층의 ${\nu}_p$와 ${\nu}_s$가 각각 500 m/s와 200 m/s인 상부층과 깊이에 따라 속도가 거의 선형으로 증가하는 하부층으로 구성되어 있다.

• 한국지능시스템학회논문지
• /
• 제13권3호
• /
• pp.316-321
• /
• 2003

최근들어, 서포트 벡터 학습은 패턴 분류, 함수 근사 및 비정상 상태 탐지 등의 분야에서 상당한 관심을 끌고 있다. 여러가지 서포트 벡터 학습 방법들 중 누-버전(nu-versions)으로 불리는 방법들은 서포트 벡터의 개수를 제어해야할 필요가 있는 경우에는 특히 유용한 것으로 알려져 있다. 본 논문에서는, $\nu-SVR$로 불리는 누-버전 서포트 벡터 학습 방법과 미리 정해진 기저함수를 모두 활용하는 함수 근사 문제를 고려한다. $\varepsilon-SVR$, $\nu-SVR$ 및 세미-파라메트릭 함수 근사 방법론등을 복습한 후에, 본 논문은 정해진 기저함수를 이용할 수 있는 방향으로 기존의 $\nu-SVR$ 방법을 확장하는 방안을 제시한다. 그리고, 제안된 방법의 적용가능성이 예제를 통하여 보여진다.