• Proceedings of the KSME Conference
• /
• 2001.06b
• /
• pp.651-657
• /
• 2001

This article explains the theory of multiple mode/physical coordinate synthesis method in order to analyze the dynamic characteristics for an huge marine engine. The theory leads to make a simulation code. The natural frequencies obtained from the simulation code is compared to those from a commercial analysis software, ANSYS. The simulation code is well reviewed.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.972-975
• /
• 2013

This work developed a code analysis & extraction tool named Function Network Analyzer (FNA) to reduce the cost of software safety analysis. FNA analyzes functions and variables which a given function depends on, and extracts subset of code that can be compiled of automotive operating system, final resulting a well-ordered code sequence that can be compiled for model checking technique. And the experimental result illustrates that FNA can get 100% accurate rate and over 96% reduction rate by testing API functions from trampoline system.

• KCI Concrete Journal
• /
• v.12 no.1
• /
• pp.121-130
• /
• 2000

This study focused on evaluating the reliability of code formulas such as those of the current Korean Building Code(KBC 1988). UBC 1997, NBCC 1995. and BSLJ 1994 for estimating the fundamental period of RC apartment buildings with shear-wall dominant systems, representative of typical residential buildings in Korea. For this purpose, full-scale measurements were carried out on fifty RC apartment buildings, and these results were compared to those obtained by code formulas and also by dynamic analysis. Although these code formulas are based on the measured periods of buildings during various earthquakes and building period varies with the amplitude of structural deflection or strain level, ambient surveys should provide an effective tool for experimentally verifying the design period to the completed building. This comparison shows that comparatively large errors are likely to occure when the code formula of KBC 1988 is used, and all the other code formulas are not sufficient to estimate the fundamental period of apartment buildings with shear-wall dominant systems. An improved formula is proposed by regression analysis on the basis of the measured period data. The proposal is for the servicebility stress level, but it can also be applied for seismic code in the regions of low seismicity similar to Korea.

• International journal of advanced smart convergence
• /
• v.13 no.2
• /
• pp.48-60
• /
• 2024

With the exponential growth of satellite data utilization, machine learning has become pivotal in enhancing innovation and cybersecurity in satellite systems. This paper investigates the role of machine learning techniques in identifying and mitigating vulnerabilities and code smells within satellite software. We explore satellite system architecture and survey applications like vulnerability analysis, source code refactoring, and security flaw detection, emphasizing feature extraction methodologies such as Abstract Syntax Trees (AST) and Control Flow Graphs (CFG). We present practical examples of feature extraction and training models using machine learning techniques like Random Forests, Support Vector Machines, and Gradient Boosting. Additionally, we review open-access satellite datasets and address prevalent code smells through systematic refactoring solutions. By integrating continuous code review and refactoring into satellite software development, this research aims to improve maintainability, scalability, and cybersecurity, providing novel insights for the advancement of satellite software development and security. The value of this paper lies in its focus on addressing the identification of vulnerabilities and resolution of code smells in satellite software. In terms of the authors' contributions, we detail methods for applying machine learning to identify potential vulnerabilities and code smells in satellite software. Furthermore, the study presents techniques for feature extraction and model training, utilizing Abstract Syntax Trees (AST) and Control Flow Graphs (CFG) to extract relevant features for machine learning training. Regarding the results, we discuss the analysis of vulnerabilities, the identification of code smells, maintenance, and security enhancement through practical examples. This underscores the significant improvement in the maintainability and scalability of satellite software through continuous code review and refactoring.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.34S no.2
• /
• pp.1-10
• /
• 1997

In this paper, an improved lower bound on the burst-error correcting capability of th ecyclic product code is presented and through the analysis of this new bound clustered cyclic product (CCP abbr.)code is proposed. The CCP code, to improve the burst-error correcting capability, combines the idea of clustering and the transmission method of cyclic product code. That is, a cluster which is defined in this paper as a group of consecutive code symbols is employed as a new transmission unit to the code array transmission of cyclic product code. the burst-error correcting capability of the CCP code is improved without a loss in the random-error correcting capability and performance comparison in the digital video camera records (DVCR) system shows the superiority of the proposed CCP code over conventional product codes.

• Nuclear Engineering and Technology
• /
• v.42 no.6
• /
• pp.636-655
• /
• 2010

A thermal-hydraulic code, named CUPID, has been being developed for the realistic analysis of transient two-phase flows in nuclear reactor components. The CUPID code development was motivated from very practical needs, including the analyses of a downcomer boiling, a two-phase flow mixing in a pool, and a two-phase flow in a direct vessel injection system. The CUPID code adopts a two-fluid, three-field model for two-phase flows, and the governing equations are solved over unstructured grids with a semi-implicit two-step method. This paper presents an overview of the CUPID code development and assessment strategy. It also presents the code couplings with a system code, MARS, and, a three-dimensional reactor kinetics code, MASTER.

• Journal of Energy Engineering
• /
• v.12 no.4
• /
• pp.281-288
• /
• 2003

The MATRA-LMR code has been developed based on a subchannel analysis method for LMR (Liquid Metal Reactor) core subassembly thermal hydraulic design and analysis. The code was improved to allow a seven assembly calculation and can account for inter-assembly heat transfer based on a lumped parameter model. This paper describes the main modifications and improvements of the code and shows reference calculation results which compared single assembly calculation with seven assembly calculation cased for driver and blanket subassemblies of the KALIMER 150 MWe breakeven conceptual design core. KAL- IMER is a pool-type sodium cooled reactor with a thermal output of 392.0 MWth, which have inherently safe, environmentally friendly, proliferation-resistant and economically viable reactor concepts.

• The KSFM Journal of Fluid Machinery
• /
• v.6 no.2 s.19
• /
• pp.41-46
• /
• 2003

The hydraulic design optimization and performance analysis of mixed-flow pumps for waterjet marine vehicle propulsion has been carried out using mean streamline analysis and three-dimensional computational fluid dynamics (CFD) code. In the present study, the conceptual design optimization has been formulated with a non-linear objective function to minimize the fluid dynamic losses, and then the commercial CFD code was incorporated to allow for detailed flow dynamic phenomena in the pump system. Newly designed mixed-flow model pump has been tested in the laboratory. Predicted performance curves by the CFD code agree very well with experimental data for a newly designed mixed-flow pump over the normal operating conditions. The design and prediction method presented herein can be used efficiently as a unified hydraulic design process of mired-flow pumps for waterjet marine vehicle propulsion.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2006.04a
• /
• pp.575-580
• /
• 2006

Air-operated valves are extensively used for process control and system isolation functions in nuclear power plant, where the safety is primary issue. The purpose of this study is to develop structural analysis code of various air-operated valves such as globe valve, gate valve, and butterfly valve. The thrust formula is derived for valve with the expected weak areas. The expected weak areas are referred from EPRI data. The structural stress analysis is carried out by analytical and commercial FEM code, ANSYS 8.0. The numerical results are compared together and verified on program procedures.

• Nuclear Engineering and Technology
• /
• v.49 no.7
• /
• pp.1388-1395
• /
• 2017

The Helically coiled tube Once-Through Steam Generator (H-OTSG) is a key piece of equipment for compact small reactors. The present study developed and verified a thermal-hydraulic design and performance analysis computer code for a countercurrent H-OTSG installed in a small pressurized water reactor. The H-OTSG is represented by one characteristic tube in the model. The secondary side of the H-OTSG is divided into single-phase liquid region, nucleate boiling region, postdryout region, and single-phase vapor region. Different heat transfer correlations and pressure drop correlations are reviewed and applied. To benchmark the developed physical models and the computer code, H-OTSGs developed in Marine Reactor X and System-integrated Modular Advanced ReacTor are simulated by the code, and the results are compared with the design data. The overall characteristics of heat transfer area, temperature distributions, and pressure drops calculated by the code showed general agreement with the published data. The thermal-hydraulic characteristics of a typical countercurrent H-OTSG are analyzed. It is demonstrated that the code can be utilized for design and performance analysis of an H-OTSG.