• 대한기계학회논문집A
• /
• 제31권8호
• /
• pp.839-846
• /
• 2007

Nd:YAG pulse laser fillet welding of stainless steel plate was simulated to find welding condition by using commercial finite element code MARC. Full model of AISI 304 stainless steel plate was considered and user subroutines were applied to boundary condition for the heat transfer. Material properties such as conductivity, specific heat, mass density and latent heat were given as a function of temperature. As results, Three dimensional heat source model for pulse laser beam conditions of fillet welding has been designed by the comparison between the finite element analysis results and experimental data on AISI 304 stainless steel plate. Nd:YAG laser welding for AISI 304 stainless steel was successfully simulated and it should be useful to determine optimal welding condition.

• Nuclear Engineering and Technology
• /
• 제53권3호
• /
• pp.763-775
• /
• 2021

The thermal hydraulic performances of Steam Generator (SG) under both steady and transient operation conditions are of great importance for the safety and economy in nuclear power plants. In this paper, based on our self-developed SG thermal hydraulic analysis code STAF (Steam-generator Thermalhydraulic Analysis code based on Fluent), an improved new version STAF-CT (fully Coupling and Transient) is developed and introduced. Compared with original STAF, the new version code STAF-CT has two main functional improvements including "Transient" and "Fully Three Dimensional Coupling" features. In STAF-CT, a three dimensional energy transferring module is established which can achieve energy exchange computing function at the corresponding position between two sides of SG. The STAF-CT is validated against the international benchmark experiment data and the results show great agreement. Then the U-shaped SG in AP1000 nuclear power plant is modeled and simulated using STAF-CT. The results show that three dimensional flow fields in the primary side make significant effect on the energy source distribution between two sides. The development of code STAF-CT in this paper can provide an effective method for further SG high fidelity research in the nuclear reactor system.

• 융합보안논문지
• /
• 제4권2호
• /
• pp.27-34
• /
• 2004

최근 인터넷 사용의 급격한 증가와 정보통신기술의 급속한 발전은 컴퓨터 보안상의 문제점을 노출하고 있고 이로 인한 피해가 심각한 수준으로 다가오고 있다. 안전한 시스템 접속에 관한 많은 연구가 보고 되고 있지만, 일반적으로 공격자들은 순수 공격 기술이나 네트워크 구성의 결함을 이용하기 보다는 시스템 상에서 구동 중인 프로그램들, 특히 서비스를 위한 프로세스들이 개발 당시에 가지는 근본적인 취약성을 이용한다. 따라서 보안 관리자들은 공격에 이용되는 취약성을 보완하기 위해 보안 패치 작업등 많은 노력과 시간을 투자해야만 하며, 동시에 개발자들 또한 노출된 프로그램의 취약성에 대한 계속된 프로그램 수정 작업으로 부담이 커지고 있는 실정이다. 본 논문에서는 이러한 문제점을 해결하고 안전한 소스코드의 작성을 위하여 프로그램 개발 시 침해의 가능성을 가지는 취약성 함수들을 조사 및 분석을 연구 목표로 하였다. 이를 위하여 소스코드 수준에서 잠재할 수 있는 표준 C 함수에 관련된 취약성과 Win32 API 함수의 취약성에 대하여 분석하고, 그 결과를 기반으로 소스 코드의 취약성을 검사하기 위한 자동화 도구를 개발하였다.

• 한국멀티미디어학회논문지
• /
• 제10권3호
• /
• pp.411-419
• /
• 2007

EVM(Embedded Virtual Machine)은 모바일 디바이스, 셋톱박스, 디지털 TV에 탑재되어 하드웨어에 독립적으로 수행되는 스택기반 가상기계이며, SIL(Standard Intermediate Language)은 EVM의 중간언어로 객체지향 언어와 순차적인 언어를 위한 연산 코드 집합을 갖고 있다. 기존에는 C 프로그램을 실행하기위해 플랫폼에 의존적인 목적코드로 변환하여 실행하였다. 이런 문제를 해결하기 위해 본 연구팀은 EVM을 개발하면서 목적기계의 코드가 아닌 플랫폼에 독립적인 스택기반의 SIL 코드를 생성하는 ANSI C 컴파일러를 개발하였다. 본 논문에서는 ANSI C 컴파일러가 생성한 SIL 코드를 3-주소 코드 형태의 재 표현된 ANSI C 프로그램으로 변환하는 SIL-to-C 역컴파일러(Decompiler) 시스템을 설계하고 구현하였다. 이와 같은 작업은 ANSI C 컴파일러가 생성한 SIL 코드가 올바른지를 확인할 수 있는 검증 방법을 제시하며, 소프트웨어 오작동 및 버전 호환이 이루어지지 않을 때 소프트웨어의 구조를 변경하고 수정하여 성능을 개선하는 작업을 용이하게 한다.

• Journal of Positioning, Navigation, and Timing
• /
• 제13권1호
• /
• pp.85-92
• /
• 2024

This study develops a Global Positioning System (GPS) Code Multipath Grid Map (CMGM) of each individual domestic reference station from the extracted code multipath of measurement data. Multipath corresponds to signal reflection/refraction caused by obstacles around the receiver antenna, and it is a major source of error that cannot be eliminated by differencing. From the receiver-independent exchange format (RINEX) data for two days, the associated code multipath of a satellite tracking arc is extracted. These code multipath data go through bias correction and interpolation to yield the CMGM with respect to the azimuth and elevation angles. The effect of the CMGM on multipath mitigation is then quantitatively analyzed to improve the Root Mean Square (RMS) of averaged pseudo multipath. Furthermore, the single point positioning (SPP) accuracy is analyzed in terms of the RMS of the horizontal and vertical errors. During two weeks in February 2023, the RMSs of the averaged pseudo multipath for five reference stations decreased by about 40% on average after CMGM application. Also, the SPP accuracies increased by about 7% for horizontal errors and about 10% for vertical errors on average after CMGM application. The overall quantitative analysis indicates that the proposed approach will reduce the convergence time of Differential Global Navigation Satellite System (DGNSS), Real-Time Kinematic (RTK), and Precise Point Positioning (PPP)-RTK correction information in real-time to use measurement data whose code multipath is corrected and mitigated by the CMGM.

• 한국소프트웨어감정평가학회 논문지
• /
• 제17권1호
• /
• pp.11-16
• /
• 2021

정보통신의 발달로 인하여 소프트웨어의 중요성이 증대되고 있으며, 이에 따른 소프트웨어 저작권 분쟁도 증가하는 추세에 있다. 본 논문은 제출된 프로그램들의 소스와 관련하여 프로그램 수행에 필요한 파일들을 감정범위로 하였다. 분석 대상인 대용량 파일 전송 솔루션 프로그램은 데이터에 대한 전자서명 및 암호화를 통하여 기밀성, 무결성, 사용자 인증, 부인방지 기능 등의 부가 기능을 제공하고 있다. 본 논문에서는 프로그램 A, 프로그램 B, 프로그램 C 3개에 대하여 분석을 수행한다. 프로그램 유사율을 산출하기 위하여 다음과 같은 내용을 분석한다. 패키지의 구조, 패키지 이름, 각 패키지 내 소스파일 이름, 소스파일 내 변수명, 함수명, 함수구현 소스코드, 제품의 환경변수 정보에 대하여 유사 여부를 분석하고 프로그램의 전체 유사율을 산출한다. 패키지 구조 및 패키지 이름이 일치되는 정도를 확인하기 위해, 폴더 구조를 비교하여 유사도 판단을 하였다. 또한 패키지 구조 및 패키지 이름이 어느 정도 일치하는지와 각 패키지 내 소스 파일(클래스) 이름이 어느 정도 일치하는지에 대한 분석을 하였다.

• Nuclear Engineering and Technology
• /
• 제48권2호
• /
• pp.304-317
• /
• 2016

An accelerator-driven system consists of a subcritical reactor and a controllable external neutron source. The reactor in an accelerator-driven system can sustain fission reactions in a subcritical state using an external neutron source, which is an intrinsic safety feature of the system. The system can provide efficient transmutations of nuclear wastes such as minor actinides and long-lived fission products and generate electricity. Recently at Kyoto University Research Reactor Institute (KURRI; Kyoto, Japan), a series of reactor physics experiments was conducted with the Kyoto University Critical Assembly and a Cockcrofte-Walton type accelerator, which generates the external neutron source by deuteriu-metritium reactions. In this paper, neutronic analyses of a series of experiments have been re-estimated by using the latest Monte Carlo code and nuclear data libraries. This feasibility study is presented through the comparison of Monte Carlo simulation results with measurements.

• 한국전산유체공학회지
• /
• 제21권2호
• /
• pp.70-80
• /
• 2016

The comparison of two commercial codes(FLUENT and STAR-CCM+) and an open-source code(OpenFOAM) are carried out for the aerodynamic analysis of flight vehicles at low speeds. Tailless blended-wing-body UCAV, main wing and propeller of HALE UAV(EAV-3) are chosen as geometries for the investigation. Using the same mesh, incompressible flow simulations are carried out and the results from three different codes are compared. In the linear region, the maximum difference of lift and drag coefficients of UCAV are found to be less than 2% and 5 counts, respectively and shows good agreement with wind tunnel test data. In a stall region, however, the reliability of RANS simulation is found to become poor and the uncertainty according to code also increases. The effect of turbulence models and meshes generated from different tools are also examined. The transition model yields better results in terms of drag which are much closer to the test data. The pitching moment is confirmed to be sensitive to the existence and the location of transition. For the case of EAV-3 wing, the difference of results with ${\kappa}-{\omega}$ SST model is increased when Reynolds number becomes low. The results for the propeller show good agreement within 1% difference of thrust. The reliability and uncertainty of three codes is found to be reasonable for the purpose of engineering use. However, the physical validity and reliability of results seem to be carefully examined when ${\kappa}-{\omega}$ SST model is used for aerodynamic simulation at low speeds or low Reynolds number conditions.

• 정보과학회 논문지
• /
• 제42권7호
• /
• pp.860-867
• /
• 2015

국방 분야에서 무기체계가 첨단화 되면서 무기체계 내장형 소프트웨어의 중요성이 증대되고 있으며, 현대의 전장상황이 네트워크 중심전(NCW)으로 전개됨에 따라 무기체계 내장형 소프트웨어의 신뢰성 및 품질 확보가 중요시 되고 있다. 또한 내장형 소프트웨어의 문제점이 개발단계에서 양산단계로 이관되어 막대한 손실이 발생되고 있으며, 개발업체에서는 소프트웨어 신뢰성 시험에 대한 체계적인 활동이 이루어지지 않고 있다. 본 연구에서는 다양한 소스코드 신뢰성 검증사례 분석을 바탕으로 소프트웨어 소스코드 품질검증체계 확립에 대한 접근방안을 제시한다. 방위사업청의 "무기체계 소프트웨어 개발 및 관리 매뉴얼"의 동적분석 평가항목 및 코드실행률 목표값 기준을 제시하고, 개발업체의 소프트웨어 개발능력 향상을 유도하기 위한 방안을 제안한다.

• 한국컴퓨터정보학회논문지
• /
• 제29권2호
• /
• pp.119-126
• /
• 2024

정보저장 소프트웨어는 함정전투체계의 연동 분석을 위해 전투 관리체계의 전술 도메인 메시지를 분석 컴퓨터로 전달하는 기능을 수행하며, 전투 관리체계와 분석 컴퓨터 간의 중간 매개체 역할을 한다. 정보저장 소프트웨어는 전투 관리체계에서 사용하는 대부분의 메시지를 처리하기 때문에 소스 코드의 양이 상대적으로 많고, 연동 장비 및 메시지의 변경 사항에 의해 수정 사항이 빈번하게 발생한다. 이에 따라 개발 과정에서 추가적인 공수가 소요되게 되고, 결국 개발 비용의 증가로 이어지게 된다. 본 논문에서는 재사용성을 향상하기 위하여 정보저장 소프트웨어 구조에 대한 표준화에 관한 연구를 수행하였다. 휘처 모델을 통해 정보저장 소프트웨어의 구성 요소를 기능별로 나누어 수정 요소를 분리하고, 디자인 패턴을 적용하여 정보저장 소프트웨어의 구조를 개선하였다. 그로 인해 연동 장비와 메시지의 변화에도 정보저장 소프트웨어의 수정 사항을 최소화할 수 있게 되어 개발 비용의 절감 효과가 기대된다.