• 대한기계학회논문집B
• /
• 제28권10호
• /
• pp.1255-1263
• /
• 2004

An a priori test has been conducted for the dynamic mixed model which was generalized for the prediction of passive scalar field in a turbulent channel flow The results from a priori tests indicated that dynamic mixed model is capable of predicting both subgrid-scale heat flux and dissipation rather accurately. The success is attributed to the explicitly calculated resolved term incorporated into the model. The actual test of the model in a LES a posteriori showed that dynamic mixed model is superior to the widely used dynamic Smagorinsky model in the prediction of temperature statistics.

• 한국음향학회지
• /
• 제26권1호
• /
• pp.16-24
• /
• 2007

음성검출기는 이동 통신이나 음성신호처리 등에 매우 중요한 기법으로 사용된다. 일반적인 음성검출방식은 통계적인 모델을 기반으로 하여 likelihood ratio test (LRT)를 하게 된다. 그리고 이 값을 임계값과 비교하여 음성인지 아닌지 판단하게 된다. 본 논문에서는 가우시안 (Gaussian) 분포를 기반으로 하고 uniformly most powerful (UMP) 테스트를 이용하여 새로운 음성검출기법을 제안한다. 새로운 음성검출기법의 결정규칙은 기존 LRT에 기반하여 UMP 테스트를 통해 식을 유도하였다. UMP 테스트를 이용하면, 입력음성에 대한 절대값의 확률 분포를 Rayleigh 분포 형태로 얻을 수 있으며, 이 분포에 따라 최종적으로 음성검출을 하게 된다. 이 새로운 방식의 음성검출기는 기존의 방식에서 필요한 a priori signal-to-noise ratio (SNR) 값을 구하지 않고도 음성 유무를 판단할 수 있다는 장점이 있다. 실제로 다양한 음성검출에 대한 성능 평가결과, 제안된 기법이 기존 방식에 비해 우수한 성능을 나타내었다.

• Journal of Mechanical Science and Technology
• /
• 제19권3호
• /
• pp.913-923
• /
• 2005

The dynamic mixed model (DMM) combined with a box filter of Zang et. al. (1993) has been generalized for passive scalar transport and applied to large eddy simulation of turbulent channel flows with Prandtl number up to 10. Results from a priori test showed that DMM is capable of predicting both subgrid-scale (SGS) scalar flux and dissipation rather accurately for the Prandtl numbers considered. This would suggest that the favorable feature of DMM, originally developed for the velocity field, works equally well for scalar transport problem. The validity of the DMM has also been tested a posteriori. The results of the large eddy simulation showed that DMM is superior to the dynamic Smagorinsky model in the prediction of scalar field and the model performance of DMM depends to a lesser degree on the ratio of test to grid filter widths, unlike in the a priori test.

• Ocean and Polar Research
• /
• 제36권4호
• /
• pp.367-371
• /
• 2014

In early 1990s, the Korean government has launched a deep-sea research program to secure the stable long-term supply of strategic metallic minerals including Cr, Cu and Ni. Through the pioneering surveys, Korea registered $150,000km^2$ of Mn-nodule field in the Clarion-Clipperton area, the NE equatorial Pacific to the international sea-bed authority (ISA) in 1994. Following the ISA exploration code, the final exclusive exploration area of $75,000km^2$ was assigned in 2002, based on results of eight-year researches of chemico-physical properties of nodules, bottom profiles and sediment properties. Since that time, environmental studies, mining technical developments including robot miner and lifting system and establishment of smelting systems were accompanied with the detailed geophysical studies to decipher the priori mining area until 2009. Major points of the recent Korea Mn-nodule program are deployed on a commercial scale until 2015. In order to meet the goals, we developed a 1/5 scaled robot miner compared to commercial one in 2012 and performed a mining test at the water depth of 1,370 m in 2013. In addition, detailed 25,000 scaled mining maps in the priori area, which can provide operation roots of the miner, will be prepared and an environmental-friendly mining strategy will be pursued based on the environmental impact test and environmental monitoring.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제13권3호
• /
• pp.169-180
• /
• 2009

A discontinuous Galerkin method with interior penalty terms is presented for linear Sobolev equation. On appropriate finite element spaces, we apply a symmetric interior penalty Galerkin method to formulate semidiscrete approximate solutions. To deal with a damping term $\nabla{\cdot}({\nabla}u_t)$ included in Sobolev equations, which is the distinct character compared to parabolic differential equations, we choose special test functions. A priori error estimate for the semidiscrete time scheme is analyzed and an optimal $L^\infty(L^2)$ error estimation is derived.

• Journal of Astronomy and Space Sciences
• /
• 제34권3호
• /
• pp.213-223
• /
• 2017

The deep space orbit determination software (DSODS) is a part of a flight dynamic subsystem (FDS) for the Korean Pathfinder Lunar Orbiter (KPLO), a lunar exploration mission expected to launch after 2018. The DSODS consists of several sub modules, of which the orbit determination (OD) module employs a weighted least squares algorithm for estimating the parameters related to the motion and the tracking system of the spacecraft, and subroutines for performance improvement and detailed analysis of the orbit solution. In this research, DSODS is demonstrated and validated at lunar orbit at an altitude of 100 km using actual Lunar Prospector tracking data. A set of a priori states are generated, and the robustness of DSODS to the a priori error is confirmed by the NASA planetary data system (PDS) orbit solutions. Furthermore, the accuracy of the orbit solutions is determined by solution comparison and overlap analysis as about tens of meters. Through these analyses, the ability of the DSODS to provide proper orbit solutions for the KPLO are proved.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2008년도 춘계종합학술대회 A
• /
• pp.591-594
• /
• 2008

This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framework provides an explicit opportunity for software composers as well as software components to test a priori security properties of software components in a system composition. The proposed framework uses logic programming as a tool to represent security properties of atomic components and reason about their compositional matching with other components.

• Journal of Pharmaceutical Investigation
• /
• 제37권6호
• /
• pp.377-395
• /
• 2007

Near infrared(NIR) spectral data have been used for the noninvasive analysis of various biological samples. Nonetheless, absorption bands of NIR region are overlapped extensively. It is very difficult to select the proper wavelengths of spectral data, which give the best PCR(principal component regression) models for the analysis of constituents of biological samples. The NIR data were used after polynomial smoothing and differentiation of 1st order, using Savitzky-Golay filters. To find the best PCR models, all-possible combinations of available principal components from the given NIR spectral data were derived by in-house programs written in MATLAB codes. All of the extensively generated PCR models were compared in terms of SEC(standard error of calibration), $R^2$, SEP(standard error of prediction) and SECP(standard error of calibration and prediction) to find the best combination of principal components of the initial PCR models. The initial PCR models were found by SEC or Malinowski's indicator function and a priori selection of spectral points were examined in terms of correlation coefficients between NIR data at each wavelength and corresponding concentrations. For the test of the developed program, aqueous solutions of BSA(bovine serum albumin) and glucose were prepared and analyzed. As a result, the best PCR models were found using a priori selection of spectral points and the final model selection by SEP or SECP.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.560-563
• /
• 1997

The conventional impedance control has been known to have the following problems: it has lack of specifying force directly and unknown environment stiffness has to be known priori in order to specify the reference trajectory. In this paper, new impedance force control that can control a desired force directly under unknown stiffness is proposed. A new nonlinear impedance function is developed based on estimation of unknown stiffness from force and position measurements. The nonlinear characteristics of the proposed impedance function are analyzed based on unknown environment position. Simulation studies with robot manipulator are carried out to test analytical results.

• ETRI Journal
• /
• 제32권2호
• /
• pp.333-335
• /
• 2010

This letter proposes a non-coherent blind time-of-arrival (TOA) estimation scheme for impulse radio ultra-wideband systems. The TOA estimation is performed in two consecutive phases: the Rayleigh-quotient theorem-based coarse-signal acquisition (CSA) and the iterative-threshold-test-based fine time estimation (FTE). The proposed scheme serves in a blind manner without demanding any a priori knowledge of the channel and the noise. Analysis and simulations demonstrate that the proposed scheme significantly increases the signal detection probability in CSA and ameliorates the TOA estimation accuracy in FTE.