• Journal of Digital Contents Society
• /
• v.9 no.1
• /
• pp.157-164
• /
• 2008

As use of internet gets increased, the efficiency of applying the chart which is expressing and providing information through web is increased. The chart has the high delivering ability of information because it expresses data visually. But there are problems such as compatibility between the chart composing programs, difficulty of sharing the chart data, and displaying the chart on the web. In this paper, we propose the chart markup language, which expresses the chart information by using the XML in order to solve problems of compatibility of the chart expression and sharing the chart information. The CML is possible not only to provide compatibility between platforms and programs but also to share the chart data as it is based on the XML.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.185-189
• /
• 2002

When we are teaching the programming education, it is very useful if we show that a flow chart generate automatically owing to a written out of the program. In this paper, we introduce the method of a flow chart generating from the simple imperative language for the While program. After the While program is translated by the Flow Chart Language program, it is generated automatically by making use of the java graphic library. Taking advantage of our results of the study, beginners can understand the flow of the program easily.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.54-56
• /
• 1999

현재 많은 내장형 시스템을 구현하기 위한 방법론으로 가상 프로토타입(VP)을 이용하고 있다. 본 논문에서는 가상 프로토타입을 이용하여 내장형 시스템의 설계 및 구현을 위해 사용되는 시스템 명세 언어인 SpecCharts로 명세된 시스템을 동기적 의미론에 만족하는 SpecCharts의 Subset을 규명하여 동기화 형태로 해당명세를 변환시키고 이로부터 synchronous VHDL 코드로 생성할 수 있는 방법을 설계하였다. 동기적 의미론을 만족시키기 위하여 비결정적인 추상적인 모델(NDAM)을 이용하여 SpecCharts로부터 VHDL ？로 변환하는 방법을 제시하고, 변환된 VHDL 코드를 동기적 VHDL 코드로 변환하기 위하여 W. Baker에 의해 규명된 동기적 VHDL subset 적용하여 synchronous VHDL 코드를 생성하는 방법을 제안한다.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2001.04a
• /
• pp.171-176
• /
• 2001

This paper describes the methodology of an IEC 1131-3-based control logic generator for the control system design and converting algorithm between programmable languages. The proposed control logic generator is generated based on the software model and common element with data type, variables, POUs(program organization unit) and execution control unit commonly used within programmable languages of IEC 1131-3 Standard. The generation method of object file was proposed on five programmable language based on IECI 131-3. The generation method of object file is represented as following; 1) the generation method using conversion algorithm from LD to IL with FBD(function block diagram), 2) the generation method using C code generation algorithm from SFC using the SFC execution sequence with FBD and ST(structured text). The proposed control logic generator was implemented by Visual C++ and MFC on MS-windows NT 4.0

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.11
• /
• pp.3556-3565
• /
• 2000

가상 프로토타입(Virtual Prototyping: VP) 방법론을 이용하면 내장형 시스템을 설계하고 구현할 때에 비용을 절감하면서 제품의 개발기간을 단축할 수 있다. VP는 S/W component, H/W component 그리고 S/W 와 H/W를 연결하는 Interface component로 구성되어 진다. VP의 구성 요소중 H/W component를 구현하는 방법은 여러 가지가 있었으나 시스템 명세 언어로부터는 하드웨어 컴포넌트로 구현하는 방법을 고려하고자한다. 그러나 시스템 명세 언어로부터 생성된 H/W component 용 VHDL 코드는 항상 합성 가능한 코드라고 할 수 없다. 본 논문에선 시스템 명세 언어로부터 검증을 용이하게 하는 하드웨어 구현을 위하여 명세언어로써 SpecCharts를 이용하고 이로부터 동기적 의미론을 만족하는 합성 가능한 VHDL 코드를 생성하는 방법론을 제시한다.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.11 no.1
• /
• pp.61-69
• /
• 2002

This paper describes a converting algorithm between programmable languages of a software PLU. It is based on IEC 61131-3 standard and PC. The proposed control logic is designed by the software model and common element with data type, variables, POUs(program organization unit) and execution control unit commonly used within programmable languages of IEC 61131-3 Standard. The generation method of object file is proposed on five programmable language based on IEC 61131-3. It is represented as fo11ows; 1) the generation method using conversion algorithm from LD to IL with FBD(function block diagram), 2) the generation method using f code generation algorithm from SFC using the SFC execution sequence with FBD and ST(structured text). The proposed control logic generator was implemented by Visual C++ 6.0 and MFC on MS-windows NT 4.0.

• Nuclear Engineering and Technology
• /
• v.31 no.1
• /
• pp.58-67
• /
• 1999

The purpose is to produce a model of nuclear reactor trip logic caused by the steam generator water level of Wolsong 2/3/4 unit through an activity chart and a statechart and to produce C language automatically using Statechart-based Formalism and Stalemate MAGNUM toolset suggested by David Harel Formalism. It was worth attempting auto-generation of C language though we manually made Software Requirement Specification(SRS) for safety-critical software using statechart-based formalism. Most of the phases of the software life-cycle except the software requirement specification of an analysis phase were generated automatically by Computer Aided Software Engineering (CASE) tools. It was verified that automatically produced C language has high productivity, portability, and quality through the simulation.

• Nuclear Engineering and Technology
• /
• v.51 no.4
• /
• pp.1008-1016
• /
• 2019

In the SG (steam generator) of PWR (pressurized water reactor) for a nuclear plant, hundreds of U-shaped tubes are used for the heat exchanger system. They interact with primary pressurized cooling water flow, generating flow-induced vibration in the secondary flow region. A simplified U-tube model is proposed in this study to apply for experiment and its counterpart computation. Using the commercial code, ANSYS-CFX, we first verified the Moody chart, comparing the straight pipe theory with the results derived from CFD (computational fluid dynamics) analysis. Considering the virtual mass of fluid, we computed the major modes with the low natural frequencies through the comparison with impact hammer test, and then investigated the effect of pump flow in the frequency domain using FFT (fast Fourier transform) analysis of the experimental data. Using two-way fluid-structure interaction module in the CFD code, we studied the influence on mean flow rate to generate the displacement data. A feasible CFD method has been setup in this research that could be applied potentially in the field of nuclear thermal-hydraulics.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.50 no.4
• /
• pp.241-250
• /
• 2022

This paper addresses the Feasible Angular Momentum(FAM) chart that can be used as an indicator for maneuverability analysis of spacecraft installed with control moment gyros(CMGs). Recently, as the demands for high agility of spacecraft has been increasing in order to perform the space mission given to spacecraft more effectively, interest in CMGs, which is a high torque generator is increasing. However, since the CMG has a singularity problem that does not generate the control torque in the specific directions, in this paper, we consider the two pairs of parallel control moment gyros(TPCMGs) that follows the roof-type configuration. The Gimbal space was newly defined except for the space where singularity can be generated and the space where torque error is generated due to the hardware limits. The feasible angular momentum space is defined as a FAM chart, and it is very meaningful that it is possible to analyze the spacecraft's rotational maneuverability effectively by deriving the spacecraft's 3-axis parameters in the corresponding gimbal space mathematically.

• Journal of computational fluids engineering
• /
• v.20 no.1
• /
• pp.39-46
• /
• 2015

In this research, we studied the pressure drop affecting on the internal surface roughness and the curvature radius of a U-tube, which is used for the cooling system in PWR(Pressurized Water Reactor). Using ANSYS-FLUENT, a commercial code based on CFD(Computational Fluid Dynamics) technique, we compared a Moody chart with the Darcy friction factor changed by a range of various surface roughness and Reynolds numbers of a straight pipe model. We studied the effect giving variation about a range of various surface roughness and the curvature radius of the full scale U-tube model. The material of the heat transfer tube is Inconel 690 used in the steam generator. We compared the velocity distribution of selected 4 locations, and derived the correlation between the surface roughness and the pressure drop for the U-tube of each representative curvature radius using the linear regression method.