• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.28 no.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.

• The Journal of the Acoustical Society of Korea
• /
• v.26 no.1
• /
• pp.16-24
• /
• 2007

Voice activity detectors (VADs) are important in wireless communication and speech signal processing. In the conventional VAD methods. an expression for the likelihood ratio test (LRT) based on statistical models is derived. Then, speech or noise is decided by comparing the value of the expression with a threshold. We propose a new method with the modified decision rule based on the Gaussian distribution and the uniformly most power (UMP) test. This method requires the distribution of the absolute value of the incoming speech signal. Then we can obtain the final decision through the relation between the Rayleigh distributions. This VAD method can detect speech without a priori signal-to-noise ratio (SNR) which is required in the conventional VAD algorithms. Additionally, in the various VAD performance tests, the proposed VAD method is shown to be more effective than the traditional scheme.

• Journal of Mechanical Science and Technology
• /
• v.19 no.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
• /
• v.36 no.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
• /
• v.13 no.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
• /
• v.34 no.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.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.05a
• /
• 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
• /
• v.37 no.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.10a
• /
• 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
• /
• v.32 no.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.