• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.1
• /
• pp.62-66
• /
• 2009

Recently developed compilers perform some optimizations in order to speed up the execution time of source program. These optimizations require the transformation of the sequence of program statements. This transformation does not give any problems in a single-threaded program. However, the transformation gives some significant errors in a multi-threaded program. State-of-the-art model checkers such as Java-Pathfinder do not consider the transformation resulted in the optimization step in a compiler since they just consider a single memory model. In this paper, we describe a new technique which is based on SMT solver. The Java Memory Model Simulator based on SMT Solver can compute all possible output of given multi-thread program within one second which, in contrast, Traditional Java Memory Model Simulator takes one minute.

• Particle and aerosol research
• /
• v.9 no.2
• /
• pp.103-110
• /
• 2013

The electrostatic precipitator (ESP) has been used for degrading atmospheric pollutants. These devices induce the electrical forces to facilitate the removal of particulate pollutants. The ions travel from the high voltage electrode to the grounded electrode by Coulomb force induced by the electric field when a high voltage is applied between two electrodes. The ions collide with gas molecules and exchange momentum with each other thus inducing fluid motion, electrohydrodynamic (EHD) flow. In this study, for the simulation of electric field and EHD flow in ESPs, an open source EHD solver, "espFoam", has been developed using open source CFD toolbox, OpenFOAM(R) (Open Field Operation and Manipulation). The electric potential distribution and ionic space charge density distribution were obtained with the developed solver, and validated with experimental results in the literature. The comparison results showed good agreement. Turbulence model is also incorporated to simulate turbulent flow; hence the developed solver can analyze laminar and turbulent flow. In distributions of electric potential and space charge, the distributions become distorted and asymmetric as the flow velocity increases. The effect of electrical drift flow was investigated for different flow velocities and the secondary flow in a flow of low velocity is successfully predicted.

• Journal of the Korea Society for Simulation
• /
• v.8 no.3
• /
• pp.29-37
• /
• 1999

When an escalator is developed or modified to improve its performance, estimation of dynamic characteristics of the escalator is required. But modeling of the escalator for a design purpose is very difficult and time consuming. Especially, it is very difficult for a designer to use the simulation model during design process because preparing a proper model takes time and also the designer needs to know how to use the simulation program. In order to solver these problems, a graphic user interface program that can predict dynamic characteristics of an escalator is developed for the designer. Since this program makes the necessary escalator model for simulation for itself, the designer does not need to know how to use the simulation program while design is in progress. In this paper, a designer oriented interface program is developed and an example is presented to show the effectiveness of the developed program.

• Journal of Korea Foundry Society
• /
• v.17 no.6
• /
• pp.552-559
• /
• 1997

주조방안설계를 위한 pre-processor, main-solver 그리고 post-processor로 구성된 통합 응고해석 시스템을 개발하였다. Pre-processor는 퍼스널 컴퓨터에서 사용되는 상용 CAD 프로그램인 AutoCAD를 사용하였다. Main-solver는 주조과정중의 충진거동을 해석한 유동해석 프로그램과 3차원 열전달 응고해석을 통합하여 냉각수 시스템으로 제어되는 금형 반복주조법에서의 응고양상을 해석할 수 있다. Post-processor는 cavity내의 용탕충진거동, 주형내의 온도분포, 응고시간등을 3차원 그래픽으로 처리할 수 있게 설계하였다. 개발된 시스템의 현장적용 가능성을 검증하기 위하여 대형주강 밀하우징, 자동차휠 주조용품, 밸브블럭등의 시제품의 열유동해석에 적용하였다. 본 연구에서 개발된 CastDesigner는 중소기업형 주조현장에서 PC용 CAD/CAE system 구축을 통한 최적주조방안 설계용 열유동해석 프로그램으로 사료된다.

• Journal of computational fluids engineering
• /
• v.15 no.2
• /
• pp.71-78
• /
• 2010

As a step toward accurate prediction of droplet impingement and ice accretion on aircraft, an Eulerian-based droplet impingement and ice accretion code for air flows around an airfoil containing water droplets is developed. A CFD solver based on the finite volume method was also developed to solve the clean airflow. The finite-volume-based approach for simulating droplet impingement on an airfoil was employed owing to its compatibility with the CFD solver and robustness. For ice accretion module, a simple model based on the control volume is combined with the droplet impingement module that provides the collection efficiency. To validate the present code, it is compared with NASA Glenn IRT (Icing Research Tunnel) experimental data and other well-known icing codes such as LEWICE and FENSAP-ICE. It is shown that the collection efficiency and shape of ice accretion are in good agreement with previous experimental and simulation results.

• Proceedings of the IEEK Conference
• /
• 2005.11a
• /
• pp.873-876
• /
• 2005

A low noise amplifier(LNA) using electro-magnetic field simulator is designed in standard 0.25um CMOS process. Integrated spiral inductor is simulated using EM field solver. Then LNA is simulated with active device, capacitor and simulated inductor by EM field solver. A S11 and S21 of -15.45dB and 17.8dB at 2.3GHz as simulation results was achieved. A Noise Figure is 2.92dB. And Measurements show a S11 and S21 of -12.4dB and 17.8dB at 2.3GHz. A Noise Figure of 3.3dB was achieved.

• The Journal of the Acoustical Society of Korea
• /
• v.20 no.4E
• /
• pp.17-23
• /
• 2001

To develop the code of predicting flow-field and aeroacoustic noise by an electrical cable, a combined CFD-Acoustic analogy approach is selected. The two dimensional, unsteady and incompressible Reynolds-averaged Navier-Stokes solver with κ-ω and κ-ω SST turbulence modeling is used to calculate the near flow-field around an electric cable. Near-field results are then coupled with two-dimensional Curle's integral formulation based upon Lighthill's acoustic analogy with the assumption of acoustic compactness. To validate this code, numerical results are compared with experimental data for a circular cylinder. The simulation shows an overprediction on acoustic amplitudes, but overally speaking, the spectrum pattern of sound pressure agrees well with experiment within an acceptable amount of error. In addition, a few cross-sections of the cable were selected and tested with each other in terms of drag and radiated noise

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.9 no.5
• /
• pp.537-551
• /
• 2017

In this paper, a two-phase flow solver $HiFoam^{(R)}$ has been developed based on the $OpenFOAM^{(R)}$ to predict resistance of a ship in calm water. The VOF method of $OpenFOAM^{(R)}$ was reviewed and a simple flux limiter was introduced to enhance the robustness of the solver. The procedure for predicting ship motion was modified by introducing Quasi-Steady Fluid-Body Interaction (QS-FBI) with least square regression to improve the efficiency. Other minor factors were considered as well in terms of the efficiency and robustness. The HiFoam was applied to KCS and JBC simulations to validate its efficiency and accuracy by comparing the results to experimental data and STAR-CCM+. The $HiFoam^{(R)}$ was also applied to various ships and it showed good agreements to the experimental data.

• International Journal of Fluid Machinery and Systems
• /
• v.4 no.1
• /
• pp.161-171
• /
• 2011

The availability of a high quality open source CFD simulation platform like OpenFOAM offers new R&D opportunities by providing direct access to models and solver implementation details. Efforts have been made by Hydro-Qu$\'{e}$bec to adapt OpenFOAM to hydroturbines for the development of steady-state capabilities. This paper describes the developments that have been made to implement new turbomachinery related capabilities: multiple frames of reference solver, domain coupling interfaces (GGI, cyclicGGI and mixing plane) and specialized boundary conditions. Practical use of the new turbomachinery capabilities are demonstrated for the analysis of a 195-MW Francis turbine.

• Nuclear Engineering and Technology
• /
• v.49 no.5
• /
• pp.1095-1099
• /
• 2017

A fission source can act as a stabilization element in coupled Monte Carlo simulations. We have observed this while studying numerical instabilities in nonlinear steady-state simulations performed by a Monte Carlo criticality solver that is coupled to a xenon feedback solver via fixed-point iteration. While fixed-point iteration is known to be numerically unstable for some problems, resulting in large spatial oscillations of the neutron flux distribution, we show that it is possible to stabilize it by reducing the number of Monte Carlo criticality cycles simulated within each iteration step. While global convergence is ensured, development of any possible numerical instability is prevented by not allowing the fission source to converge fully within a single iteration step, which is achieved by setting a small number of criticality cycles per iteration step. Moreover, under these conditions, the fission source may converge even faster than in criticality calculations with no feedback, as we demonstrate in our numerical test simulations.