• Solar Energy
• /
• v.18 no.1
• /
• pp.91-98
• /
• 1998

The study of mixed convection in a room with heated bottom surface and various partitions has been numerically investigated using a finite volume method. The parameters studied here are, 50$\overline{Nu}=\overline{Nu_n}{\cdot}(1+c(Re/Gr^{1/2})^d)$, where $\overline{Nu_n}$ corresponds to pure natural convextion.

• Korean Journal of Microbiology
• /
• v.50 no.1
• /
• pp.67-72
• /
• 2014

Minimal broth containing nicotine as a sole carbon source (MB/N) was used to isolate novel nicotine-degrading bacterial strains from tobacco plants and field soils. Comparative analysis of 16S rRNA gene sequence, phenotypic test and morphological tests showed that the position of these isolates were in the genus Arthrobacter of the family Micrococcaceae. The highest 16S rRNA gene sequence similarity of the isolate NU11 and NU15 to type strains in the genus Arthrobacter were Arthrobacter equi (98.2%) which was presumably a novel strain and Arthrobacter nicotinovorans (99.8%), respectively. Both strain NU11 and NU15 showed rod shaped, Gram-positive characteristics and catalase activity, but did not show oxidase activity. The novel strain NU11 was found to degrade efficiently nicotine in MB/N medium by the analysis of UV absorption spectra and could be used as an organism in bioremediation technique.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.265-269
• /
• 2009

Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.

• 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}}}$.

• 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.

• 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.

• Korean Journal of Heritage: History & Science
• /
• v.48 no.2
• /
• pp.48-63
• /
• 2015

This study began with the purpose of awakening an interest in Korean Nu-jung and seeking application plan based on Nu-jung of Aneuisamdong. Also it intends to suggest activation plan of Nu-jung while using the culture of taste for the arts and classical scholar of ancestors with the physical place named Nu-jung as the medium. As concrete ways to activate Nu-jung, we suggested plans which use the game of go(Baduk), main material of the culture of taste for the arts and classical scholar, and increase availability by planning a program adding picturesqueness of Nu-jung. By bringing the material named the game of go(Baduk) to the place named Nu-jung, we suggested the plan capable of experiencing the culture of taste for the arts and classical scholar and also expecting local promotion and economical effect. And the plan is to design and conduct night program, 1 night 2 days program, tailored program, and so on by combining the material of the culture of taste for the arts and classical scholar with the medium named 'Dal(the moon)' in the static place named Nu-jung. The plans above are applicable to most of Nu-jung scattered all over the country, which means that we have a lot of Nu-jung in Korea and, at the same time, we have abundant contents to be used as cultural properties. Now it's important how to develop and use these contents through the connection with various academic fields in terms of managing cultural properties. By understanding the value of the original form of culture while emerging from simply using cultural properties, we can use cultural properties in a higher level. For this, preserving cultural properties should be supported by continuous interdisciplinary study.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.05a
• /
• pp.81-84
• /
• 2003

$\varepsilon$-SVR(e-Support Vector Regression)학습방법은 SV(Support Vector)들을 이용하여 함수 근사(Regression)하는 방법으로 최근 주목받고 있는 기법이다. SVM(SV machine)의 한 가지 방법으로, 신경망을 기반으로 한 다른 알고리즘들이 학습과정에서 지역적 최적해로 수렴하는 등의 문제를 한계로 갖는데 반해, 이러한 구조들을 대체할 수 있는 학습방법으로 사용될 수 있다. 일반적인 $\varepsilon$-SVR에서는 학습 데이터와 관사 함수 f사이에 허용 가능한 에러범위 $\varepsilon$값이 학습하기 전에 정해진다. 그러나 Nu-SVR(ν-version SVR)학습방법은 학습의 결과로 최적화 된 $\varepsilon$값을 얻을 수 있다. 정해진 기저함수가 포함되는 $\varepsilon$-SVR 학습방법(Sermparametric SVR)은 정해진 독립 기저함수를 사용하여 함수를 근사하는 방법으로, 일반적인 $\varepsilon$-SVR 학습방범에 비해 우수한 결과를 나타내는 것이 성공적으로 입증된 바 있다. 이에 따라, 본 논문에서는 정해진 기저함수가 포함된 ν-SVR 학습 방법을 제안하고, 이에 대한 수식을 유도하였다. 그리고, 모의 실험을 통하여 제안된 Sermparametric ν-SVR 학습 방법의 적용 가능성을 알아보았다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.358-360
• /
• 2003

모델검사는 시스템과 그 시스템이 만족해야할 속성을 입력받아서 시스템이 속성을 만족하는지를 자동으로 보여주는 기술이다. 시스템이 속성을 만족한다면 참을, 만족하지 않는다면 왜 만족하지 않는지에 대한 반례를 보여준다. 모델검사에서 반례는 시스템의 오류를 발견하는데 중요하게 사용된다. 또한 모델검사를 이용해서 게임시스템을 모델링하고 반례를 이용해서 게임에 대한 풀이를 알 수 있게 되었다. 하지만 이런 반례가 최적의 풀이인지는 알 수 없었다. 이 논문은 모델검사에서 나온 게임 풀이가 최단 풀이 경로인지를 살펴본다. 그리고 최단 풀이경로를 출력하도록 NuSMV를 수정하여 원래 NuSMV에서 생성된 게임 풀이와 길이를 비교해 본다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2003.05a
• /
• pp.263.2-263.2
• /
• 2003