• Journal of the KSME
• /
• v.48 no.12
• /
• pp.42-44
• /
• 2008

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.754-756
• /
• 2004

CBMC는 ANSI-C 프로그램과 베릴로그 서킷사이의 일치성을 검증하는 툴이다. 입력된 서킷과 코드를 CNF로 변환 과정에서 C 코드는 중첩 루프, pointer, dynamic memory allocation등에 대한 변환의 문제점이 있다. 본 논문에서는 CBMC에서 C 코드의 CNF로 변환하는 과정의 문제점들을 동일한 식(equation)의 변환 과정에 대하여 설명하고 상용적인 트리플 DES를 CBMC로 검증하는 과정을 제시한다

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.45 no.3
• /
• pp.241-251
• /
• 2017

Computational fluid dynamics analysis was performed for the case 3 of the EFD-CFD workshop. Solvers were used for three commercial CFD codes(Star-CCM+, Fluent and CFX) and an open source CFD code(SU2). The grid were generated four types depending on the total cells using commercial grid generation code(Pointwise). Mach number of 0.4 and 0.8, 2 degree angle of attack and Mach number of 0.9, 1 degree angle of attack were calculated. Similar pressure coefficient curve and normal force coefficient were showed from the coarse grid to fine grid of four codes. But there is a difference in the drag coefficient. The position of the shock wave was predicted forward as the discretization order increased in calculations using Star-CCM+ and Fluent. The computation time to converge, Fluent, Star-CCM +, CFX are in order, and SU2 takes much time to converge.

• The KSFM Journal of Fluid Machinery
• /
• v.4 no.1 s.10
• /
• pp.38-45
• /
• 2001

A commercial CFD code is used to compute the 3-D viscous flow field within the impeller of a centrifugal pump. Several preliminary numerical calculations are carried out to determine the influence of the parameters such as the grid systems, the numerical schemes, the turbulence models and the shape of the vaneless diffusers at the design flow rate. The results of the preliminary study are used for the calculation of the off-design flow conditions. The circumferentially averaged results such as the radial and tangential velocities, the exit flow angle, the slip factor, the static pressure and the total pressure are compared with the experimental data at the impeller exit to discuss the influence of the prescribed parameters.

• The KSFM Journal of Fluid Machinery
• /
• v.5 no.3 s.16
• /
• pp.54-59
• /
• 2002

A commercial CFD code is used to compute the 3-D viscous flow field within the inlet flow concentrator of the newly developed AHU (Air Handling Unit). To improve the performance of the AHU, the inlet air needs to be gradually accelerated to the fan's annular velocity without causing turbulence or flow separation. Three major geometric parameters were selected to specify the inlet shape of the AHU. The performance of the AHU could be measured by the inlet and outlet flow uniformity and the total pressure loss through the inlet flow concentrator. Several numerical calculations were carried out to determine the influence of the geometric parameters on the performance of the AHU. The best geometric values were decided to have efficient inlet shape with analyzing CFD calculation results.

• 유체기계공업학회:학술대회논문집
• /
• 2000.12a
• /
• pp.305-311
• /
• 2000

A commercial CFD code is used to compute the 3-D viscous flow field within the impeller o( a centrifugal pump. Several preliminary numerical calculations are carried out to determine the influence of the parameters such as the grid systems, the numerical schemes, the turbulence models and the shape of the vaneless diffusers at the design flow rate. The results of the preliminary study are used for the calculation of the off-design flow conditions. The circumferentially averaged results such as the radial and tangential velocities, the exit flow angle, the slip factor, the static pressure and the total pressure are compared with the experimental data at the impeller exit to discuss the influence of the prescribed parameters.

• 유체기계공업학회:학술대회논문집
• /
• 2001.11a
• /
• pp.448-453
• /
• 2001

A commercial CFD code is used to compute the 3-D viscous flow field within the inlet flow concentrator of the newly developed AHU(Air Handling Unit). To improve the performance of the AHU, the inlet air needs to be gradually accelerated to the fan's annular velocity without causing turbulence or flow separation. Three major geometric parameters were selected to specify the inlet shape of the AHU. Several numerical calculations are carried out to determine the influence of the geometric parameters on the performance of the AHU. The performance of the AHU could be measured by the inlet and outlet flow uniformity and the total pressure loss through the inlet flow concentrator. The optimized nondimensionalized velocity profile through the inlet flow concentrator were used for the design of the AHU with the various volume flow rates.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05b
• /
• pp.154-159
• /
• 1996

원자력발전소에는 원자로냉각재펌프와 같이 원심펌프가 많이 쓰이고 대부분의 펌프가 탈설계점에서 운전되고 있다. 이러한 펌프의 성능을 예측하거나 개선하고자 할 때 성능해석코드는 매우 유용하다. 본 연구에서는 기존성능해석프로그램의 문제점인 탈설계점에서의 성능예측 정확도가 많이 떨어지는 점을 개선하고 기존해석방법론을 검토하여 유량변화에 관계없이 일정한 값을 갖는 Slip factor의 문제점을 보안, 유량에 따라 적절히 보상하는 Slip factor를 고려하였고 각종 손실구조 및 적절한 손실모델을 도출하여 새로운 프로그램을 개발하였다. 또한 이 프로그램을 이용한 계산결과를 실험자료 및 기존의 상용코드 해석결과와 비교한 결과, 극저유량운전범위를 제외하고는 전유량 범위에 걸쳐 매우 양호한 결과를 얻었다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2018.11a
• /
• pp.216-217
• /
• 2018

소형 활주선의 경우, 대형 저속선 대비 항주자세의 변화가 크기 때문에 CFD 해석시 저항성능과 운동성능 결과에 오차가 발생할 수 있다. 본 연구에서는 Warped 2 선형을 대상으로 상용 CFD 코드인 STAR-CCM+ v9.04를 사용한 CFD해석을 수행하여, 이를 모형시험 결과와 비교하여 오차를 확인하였고, 또한 오차의 원인을 분석했을 때, 선체 하부의 Numerical ventilation 현상과 Spray 영역에 문제가 있다고 판단하였다. 추후 연구에서는 오차 해결 방법으로 VOF Phase replacement 기법과 Spray 영역에 대한 격자 최적화 방법을 연구하고자 한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2018.11a
• /
• pp.220-221
• /
• 2018

배스보트는 주로 민물에서 낚시를 위해 설계되는 소형 고속 활주형 선박으로 국내에서도 수요가 높은 편이다. 하지만 경기에 참가하는 선수들이 선호하는 17ft급 이상의 배스보트에 대해서는 수입에 100% 의존하는 중이다. 본 연구에서는 18.5ft급 배스보트의 주요요목 결정 및 선형을 개발하고, 선저경사각을 결정하기 위해 상용 CFD코드인 STAR-CCM+ v10.04를 사용하여 수치해석을 수행하여 각 선저경사각별 항주자세 및 저항성능을 분석하여 최적의 선저경사각을 갖는 선형을 도출하였다.