• 자연과학논문집
• /
• 제7권
• /
• pp.115-120
• /
• 1995

실 시간 처리 시스템에서의 시간제약 조건을 충족시키는 바람직한 수단으로 근사값 계산 방안이 제안되었지만, 이에 대한 근본적 이론연구는 깊이 고찰되어 있지 않은 형편이다. 이에 본 논문에서는 실제 응용그로그램에서의 근사값 계산 방안의 체택 당위성을 판단할 수 있는 이론적 결정 방법을 제시하였다. 이로써 실시간에서의 시스템 예측도와 대응능력을 높여, 효과적인 자원관리와 제약조건을 충족시킬 수 있도록 한다.

• 대한교통학회지
• /
• 제12권1호
• /
• pp.75-84
• /
• 1994

In this paper we address the issue of how an optimal sample size computation relates the level of precision required for travel demand estimations and transportation planning. We approach the problem by 1) deriving a theoretical solution, 2) developing a computational procedure (algorithm) to implement the theoretical solution, and 3) demonstrating a practical application. Ultimately, we construct a formal scheme of optimal sample size computation for use in travel data collection processe.

• 한국CDE학회논문집
• /
• 제4권4호
• /
• pp.350-354
• /
• 1999

The problem of the computation of derivatives arises in various applications of rational Bezier curves. These applications sometimes require the computation of derivative on numerous points. Therefore, many researches have dealt with the representation for the computation of derivatives with the small computation error. This paper compares the performances of the representations for the derivative of rational Bezier curves in the performances. The performance is measured as computation requirements at the pre-processing stage and at the computation stage based on the theoretical derivation of computational bound as well as the experimental verification. Based on this measurement, this paper discusses which representation is preferable in different situations.

• 한국재료학회지
• /
• 제18권11호
• /
• pp.592-596
• /
• 2008

Spring constants (displacement per unit applied load) of MEMS socket pins of given structures were computed by theoretical analysis and confirmed by the finite element method (FEM). In the theoretical analysis, the displacement of pins was calculated based on the 2-dimensional bending theory of the curved beam. For the 3-dimensional modeling, CATIA was used. After modeling, the raw data were transferred to ANSYS, which was employed in the 3-dimensional analysis for the calculation of the stress and strain and loaddisplacement The theoretical analysis and the FEM results were found to agree, with each showing the spring constants as 63.4 N/m within a reasonable load range. These results show that spring constants can be easily obtained through theoretical calculation without resorting to experiments and FEM analysis for simple and symmetric structures. For the some change of shape and structural stiffness, this theoretical analysis can be applied to MEMS socket pins.

• Journal of international Conference on Electrical Machines and Systems
• /
• 제3권3호
• /
• pp.325-330
• /
• 2014

Eddy current induction is used in a wide range of electronic devices, for example in detection sensors. Due to the advances in computer hardware and software, the need for 3D computation and system comprehension is a requirement to develop and optimize such devices nowadays. Pure theoretical models are mostly limited to special cases. On the other hand, the classical use of commercial Finite Element (FE) electromagnetic 3D models is not computationally efficient and lacks modeling flexibility or robustness. The proposed approach focuses on: (1) implementing theoretical formulations in 3D (FE) model of a detection device as well as (2) an automatic Volumetric Estimation Method (VEM) developed to selectively model the target finite elements. Due to these two approaches, this model is suitable for parametric studies and optimization of the number, location, shape, and size of PCB receivers in order to get the desired target discrimination information preserving high accuracy with tenfold reduction in computation time compared to commercial FE software.

• Coupled systems mechanics
• /
• 제12권3호
• /
• pp.221-239
• /
• 2023

In our research, we have proposed a solid solution for aviation analysis which can ensure the asymptotic stability of coupled nonlinear plants, according to the theoretical solutions and demonstrated method. Because this solution employed the scheme of specific novel theorem of control, the controllers are artificially combined by the parallel distribution computation to have a feasible solution given the random coupled systems with aviation stability analysis. Therefore, we empathize and manually derive the results which shows the utilized lemma and criterion are believed effective and efficient for aircraft structural analysis of composite and nonlinear scenarios. To be fair, the experiment by numerical computation and calculations were explained the perfectness of the methodology we provided in the research.

• Communications for Statistical Applications and Methods
• /
• 제6권1호
• /
• pp.169-180
• /
• 1999

A Markov Chain Monte Carlo method with development of computation is used to be the software system reliability probability model. For Bayesian estimator considering computational problem and theoretical justification we studies relation Markov Chain with Gibbs sampling. Special case of GOS with Superposition for Goel-Okumoto and Weibull models using Gibbs sampling and Metropolis algorithm considered. In this paper discuss Bayesian computation and model selection using posterior predictive likelihood criterion. We consider in this paper data using method by Cox-Lewis. A numerical example with a simulated data set is given.

• Bulletin of the Korean Chemical Society
• /
• 제12권3호
• /
• pp.322-328
• /
• 1991

We have studied a characterization method of accurate size of spherical particles by fitting experimental light scattering profile to the rigorous theoretical scattering function. An efficient software has been developed for computation of the theoretical scattering function and regression analysis. A light scattering instrument has been built and the necessary data acquisition and analysis are carried out by use of a personal computer with an emphasis on the reduction of analysis and time aiming that this study will be extended toward a development of a practical particle sizing apparatus. The performance of the instrument and the software has been evaluated with latex spheres and found to be satisfactory.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2008년도 학술대회
• /
• pp.334-336
• /
• 2008

A novel adaptive mesh refinement (AMR) strategy based on the Moment-of-Fluid (MOF) method for volume-tracking dynamic interface computation is presented. The Moment-of-Fluid method is a new interface reconstruction and volume advection method using volume fraction as well as material centroid. The mesh refinement is performed based on the error indicator, the deviation of the actual centroid obtained by interface reconstruction from the reference centroid given by moment advection process. Using the AMR-MOF method, the accuracy of volume-tracking computation with evolving interfaces is improved significantly compared to other published results.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2008년 추계학술대회논문집
• /
• pp.334-336
• /
• 2008

A novel adaptive mesh refinement (AMR) strategy based on the Moment-of-Fluid (MOF) method for volume-tracking dynamic interface computation is presented. The Moment-of-Fluid method is a new interface reconstruction and volume advection method using volume fraction as well as material centroid. The mesh refinement is performed based on the error indicator, the deviation of the actual centroid obtained by interface reconstruction from the reference centroid given by moment advection process. Using the AMR-MOF method, the accuracy of volume-tracking computation with evolving interfaces is improved significantly compared to other published results.