• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제9권2호
• /
• pp.123-132
• /
• 2003

품질 인증 테스트는 소프트웨어의 품질을 결정하고 보증하기 위하여 인증 기관에서 제품 개발 후에 수행하는 테스트로써 해당 제품의 소스 코드 없이 제품 매뉴얼의 분석을 통하여 테스트가 이루어지는 경우가 대부분이다. 본 논문에서는 제품 매뉴얼에 기반한 테스트 데이타 생성을 위하여, 소프트웨어 패키지와 매뉴얼 분석 데이타로부터 테스트 데이타를 생성하는 것을 자동화한 '테스트 데이터 자동 생성 도구'(Manual-based Automatic Test data generating tool: MaT)를 구현한다. MaT의 입력 데이타는 소프트웨어 패키지와 매뉴얼의 분석 결과인데, 입력 데이타 구성을 위하여 '메뉴 기반 테스트 분석 모델'을 제안한다. 본 도구를 소프트웨어 패키지의 품질 인증 테스트에 적용함으로써 품질과 신뢰도가 향상된 소프트웨어 제품 개발에 기여할 수 있게 된다.

• Water Engineering Research
• /
• 제3권2호
• /
• pp.75-84
• /
• 2002

An Euler-Lagrange two-phase flow model is presented fur simulation sheet-flow transport under wave and current. The flow is computed by solving the Reynolds Averaged Navier-Stokes equation in conjunction with the k-$\varepsilon$ turbulence model for turbulence closure. The sediment transport is introduced as a motion of granular media under the action of unsteady flow from the Lagragian point of view. In other word, motion of every single particle is numerically traced with Movable Bed Simulator (MBS) code based on the Distinct Element Method (DEM), in which the frequent interparticle collision of the moving particles during the sheet-flow transport is sophisticatedly taken into account. The particle diameter effect on time-dependent developing process of sheet-flow transport is investigated, by using three different diameter sizes of sediment. The influence of an imposed current on oscillatory sheet-flow transport is also investigated. It is concluded that the sediment transport rate increases due to the relaxation process related to the time-lag between flow velocity and sediment motion.

• 한국전산유체공학회지
• /
• 제16권2호
• /
• pp.17-23
• /
• 2011

The turbulent flow and vortex shedding phenomena around pantograph panhead of high speed train were investigated and compared with available experimental data and other simulations. The pantograph head was simplified to be a square-cross-section pillar and assumed to be no interference with other bodies. The Reynolds number (Re) was 22,000. The LES(large eddy simulation) of FDS code was applied to solve the momentum equations and the Wener-Wengle wall model was employed to solve the near wall turbulent flow. Smagorinsky model($C_s$=0.2) was used as SGS(subgrid scale) model. The total grid numbers were about 9 millions and the analyzed domain was divided into 12 multi blocks which were communicated with each other by MPI. The time-averaged mainstream flows were calculated and well compared with experimental data. The phased-averaged quantities had also a good agreement with experimental data. The near-wall turbulence should be carefully treated by wall function or direct resolution to get successful application of LES methods.

• Journal of Positioning, Navigation, and Timing
• /
• 제2권1호
• /
• pp.59-65
• /
• 2013

The signal broadcast from a GPS satellite experiences code delay and carrier phase advance while passing through the ionosphere, which causes a signal error. Many ionosphere models have been studied to correct this ionospheric delay error. In this paper, the ionosphere modeling for the Korean Peninsula was carried out using a spherical harmonics based model. In contrast to the previous studies, we considered a real-time ionospheric delay correction model using fewer number of basis functions. The modeling performance was evaluated by comparing with a grid model. Total number of basis functions was set to be identical to the number of grid points in the grid model. The performance test was conducted using the GPS measurements collected from 5 reference stations during 24 hours. In the test result, the modeling residual error was smaller than that of the existing grid model. However, when the number of measurements was small and the measurements were not evenly distributed, the overall trend was found to be problematic. For improving this problem, we implemented the modeling with additional virtual measurements.

• Geomechanics and Engineering
• /
• 제10권4호
• /
• pp.423-436
• /
• 2016

Currently, there is a great interest in the coupling between multiphase fluid flow and geomechanical effects in hydrocarbon reservoirs and surrounding rocks. The ideal solution for this coupled problem is to introduce the geomechanical effects through the stress analysis solution and implement an algorithm, which assures that the equations governing the flow and stress analyses are obeyed in each time step. This paper deals with the implementation of a program (FORTRAN90 interface code), which was developed to couple conventional reservoir (ECLIPSE) and geomechanical (ABAQUS) simulators, using a partial coupling algorithm. The explicit coupled hydro-mechanical behavior of Iranian field during depletion and $CO_2$ injection is studied using the soils consolidation procedure available in ABAQUS. Time dependent reservoir pressure fields obtained from three dimensional compositional reservoir models were transferred into finite element reservoir geomechanical models in ABAQUS as multi-phase flow in deforming reservoirs cannot be performed within ABAQUS. The FEM analysis of the reservoir showed no sign of plastic strain under production and $CO_2$ injection scenarios in any part of the reservoir and the stress paths do not show a critical behavior.

• 한국CDE학회논문집
• /
• 제20권2호
• /
• pp.124-132
• /
• 2015

When Building Information Modeling (BIM) was introduced at the early stage, it was only utilized as a three-dimensional visualization tool. Nowadays, however, BIM is being studied for increasing design productivity and managing enormous information on building life cycle. One of the representative research is developing 'common prototype BIM libraries'. BIM data made of common prototype libraries should be utilized in various ways, quantity takeoff, code checking, energy analysis and so on. However, common prototype BIM libraries are not enough to estimate accurate cost. For example, composite wall libraries should be divided into several single objects, wall structure and finishes, for the quantity takeoff and construction cost calculation. In this paper, we are suggesting an automated division algorithm of composite wall and developing a system prototype for it. This study is expected to reduce extra modeling work and contribute to fast and accurate cost calculation in the construction.

• 한국안전학회지
• /
• 제28권2호
• /
• pp.42-48
• /
• 2013

The $CO_2$ suppression characteristics and flame structure of nitrogen-diluted methane counterflow non-premixed flame were studied experimentally and numerically. To mimic a situation where combustion product gases are entrained into a compartment fire, fuel stream was diluted with $N_2$. A gas-phase suppression agent, $CO_2$, was diluted in the air-stream to investigate the suppression characteristics by the agent. For numerical simulation, an one-dimensional OPPDIF code was used for comparison with experimental results. An optically-thin radiation model(OTM) was adopted to consider radiation effects on the suppression characteristics. It was confirmed experimentally and numerically that suppression limit decreased with increasing nitrogen mole fraction in the fuel stream. A turning point was found only when a radiation heat loss was considered and the extinguishing concentration for turning point was differently predicted compared to the experiment result. Critical extinguishing concentration when neglecting radiation heat loss was also differently predicted compared with the experimental result.

• 대한기계학회논문집B
• /
• 제39권4호
• /
• pp.359-370
• /
• 2015

본 연구는 다양한 조건하에서 모세관력 불균형에 의해 구동되는 수평 표면 위의 액적 거동을 수치해석적으로 연구한 것이다. 액적 거동은 자체개발 코드(PowerCFD)를 사용하여 수치해석하였다. 수치해석에 사용된 코드는 보존적인 압력기반 유한체적방법에 기초한 비정렬 셀 중심 방법 및 VOF 방법에 체적포착법인 CICSAM을 채용하고 있다. 상세한 액적 거동이 다양한 초기 액적형상, 접촉각 및 표면장력(또는 Bond 수)의 조건하에서 얻어졌다. 또한 액적 이송 메커니즘이 액적 형상에 대한 수치해석 결과로부터 검토되었다.

• Advances in Energy Research
• /
• 제5권4호
• /
• pp.321-339
• /
• 2017

Energy simulation tools can provide information on the amount of heat transfer through building envelope components, which are considered the main sources of heat loss in buildings. Therefore, it is important to improve the quality of outputs from energy simulation tools and also the process of obtaining them. In this paper, a new Building Energy Performance Assessment Tool (BEPAT) is introduced, which provides users with granular data related to heat transfer through every single wall, window, door, roof, and floor in a building and automatically saves all the related data in text files. This information can be used to identify the envelope components for thermal improvement through energy retrofit or during the design phase. The generated data can also be adopted in the design of energy smart homes, building design tools, and energy retrofit tools as a supplementary dataset. BEPAT is developed by modifying EnergyPlus source code as the energy simulation engine using C++, which only requires Input Data File (IDF) and weather file to perform the energy simulation and automatically provide detailed output. To validate the BEPAT results, a computer model is developed in Revit for use in BEPAT. Validating BEPAT's output with EnergyPlus "advanced output" shows a difference of less than 2% and thus establishing the capability of this tool to facilitate the provision of detailed output on the quantity of heat transfer through walls, fenestrations, roofs, and floors.

• 콘크리트학회논문집
• /
• 제11권6호
• /
• pp.57-67
• /
• 1999

Optimization scheme is presented for the design of precast prestressed double-tee beams used as slabs in the parking or market structures. The objective considered is defined by a function that minimizes the hight of the double-tee beam, including the prefabricated element and the concrete topping poured in a second phase. The Sequential Quadratic Programming method is adopted to solve the problem. As an example 12 double-tee beams are designed with the design loads of the current design code of our country. The results from optimization process show that at least 29cm less in overall height than that designed by PCI design handbook. The section determined from the optimization process was refined for practical considerations. A MathCad 7.0 Pro Spreadsheet was prepared to verify all ACI requirements for flexure, shear and deflections. Flexural tests are performed on four full-scale 12.5m prototype models and show that all the specimens are fully comply the flexural strength requirements as specified by ACI 318-95. The present optimization scheme can be used for wider application of the design of precast prestressed double-tee beams with different materials and configurations particularly for in a large scale or for important designs.