• Proceedings of the KIEE Conference
• /
• 2000.07b
• /
• pp.1420-1422
• /
• 2000

The railway signaling system consists of micro-computerized vital devices on board and ground, which are connected to one another by track circuits, and interlocking equipment for route control. Therefore it is important to validate the required functions of developed system and interface between developed signaling systems. To verify the conditions and functions of signaling functions, the laboratory prototype test bench, which consists of personal computers LAN, will be developed. In this paper design of signaling system test-bench for high-speed signaling is described and developed software module are presented.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.12
• /
• pp.227-234
• /
• 2016

In this paper, we propose a think-aloud program for acquiring abstraction concept. Think-aloud is a technique, which is good for teaching higher-order thinking skills to learner. We intend to propose a program for teaching abstraction concept to learners directly, as software education is being reinforced in the current education policy. For the study, we develop a program depending on ADDIE model. According to these steps, we analyzed related works such as computational thinking, think-aloud technique, and direct instructional model. After that, we split and structuralized the learning tasks for achieving a goal. And then, we constructed steps for the instruction and detailed contents of the program. We did a survey for verification to nine experts and we corrected the program according to it.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.14 no.2
• /
• pp.54-62
• /
• 2010

This paper describes the development of high fidelity air data processing algorithm which can be applied into an air data system for a high speed aerial vehicle. Unlike the previous air data system, current algorithm used several pre-determined pressure data which were obtained with computational fluid dynamic approach without using total pressures having enough sensor redundancy and fault detection ability. The verification of current algorithm was done by commercial software Matlab and Simulink.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2010.05a
• /
• pp.406-410
• /
• 2010

Current paper represents the air data acquisition and processing algorithm which can acquire the air data such as velocity and angle of attack by measuring the static pressure on the specific locations of a high speed aerial vehicle. Unlike the previous air data acquisition system, current system applied several pre-determined data obtained from computational fluid dynamic approach having enough sensor redundancy and fault detection ability. The verification of current algorithm was done by commercial software Matlab and Simulink.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2017.05a
• /
• pp.606-608
• /
• 2017

The computational fluid analysis was carried out to investigate structural stability of exhaust duct for turboprop engine. In order to calculate the thrust and shear force acting on the flight condition of the aircraft, the flow in the exhaust duct and the flow in the direction of the exhaust duct flange were analyzed by Fluent software to obtain thrust, shear force and bending moment. As a result of the analysis, it was confirmed that the allowable loads set idle engine manual were not exceeded.

• Annual Conference of KIPS
• /
• 2003.05a
• /
• pp.397-400
• /
• 2003

FPGA 보드를 이용하여 디지털 논리 설계를 검증하려면 고가의 논리 분석기 장비를 필요로 한다. 본 논문은 FPGA 설계에 대한 검증을 PC에서 직접 입력 데이터를 FPGA 보드 쪽으로 전달하고 그 결과를 다시 PC 쪽에서 GUI 형태로 확인할 수 있도록 구성된, 논리 분석기 기능을 갖는 VHDL 모듈과 소프트웨어의 구현에 관한 것이다. 이와 같은 VHDL 모듈과 소프트웨어 모듈을 활용함으로써 추가 비용 없이 검증 과정을 수행할 수 있다.

• Annual Conference of KIPS
• /
• 2003.11c
• /
• pp.1543-1546
• /
• 2003

잘못된 명세로 인한 자원의 손실을 악기 위해서는 반드시 명세에 대한 검증이 필요하다. 객체지향 모델링 언어의 표준인 UML은 각각의 다이어그램이 사용자의 요구사항을 정확히 반영하고 있는지를 검증하기가 매우 어렵다. 본 논문은 UML의 여러 다이어그램 중 상태 다이어그램(Statechart Diagram)의 명세에 발생해서는 안되는 상태 또는 발생할 수 없는 상태와 같은 오류의 존재여부 등의 정확성을 검증하기 위해 CTL을 이용한 정형검증도구인 SMV를 이용한다. 이를 위해 UML의 상태 다이어그램에서 상태 정보와 상태 천이 정보를 추출하여 SMV로 변환하는 규칙을 찾아내어 UML의 상태 다이어그램의 정확성 검증을 수행하는 방법을 제안하고 자동으로 변환하는 툴을 설계한다.

• Proceedings of the KIEE Conference
• /
• 2009.04b
• /
• pp.88-90
• /
• 2009

Extremely-Low-Frequency(ELF) magnetic fields are generated around power cables and bus bars in power systems. Such the stray fields may cause disturbances to nearby electronic apparatus and affect even human health. In order to seeking out a proper way to reducing the fields, the first thing to do is to accurately predict field distribution around analysis models of interest. Then, optimization techniques should be applied for finding a more improved design than the initial one. To achieve this goal, commercial electromagnetic software, MagNet, is combined with evolution strategy algorithm. For verification of the proposed method, three-phase power line cables and busbar systems have been tested.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.997-998
• /
• 2007

This paper deals with analytical solution concerning the image method using the magnetic charge instead of 3D FEA(finite element analysis) in the slotless single air-gap motor. The theory of analytical method and the design procedures are introduced. The reliability and validity of proposed analytical solution are verified through the comparison with the results of commercial 3D FE software. In addition, calculation time between proposed analytical solution and 3D FEA is compared. Finally, characteristics, such as Back-EMF and phase resistance, between calculated and experimental results are compared. From the verification with 3D FEA and experimental results, it is proved that presented analytical method provided very effective and precise results.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.05a
• /
• pp.167-169
• /
• 2010

This paper describes hardware design and FPGA verification of TFT-LCD controller used in mobile devices widely. TFT-LCD controller outputs pixel's color information red, green, blue and Hsync, Vsync synchronization signals. We used verilog-hdl to describe TFT-LCD controller and simulated it using modelsim software and verified it's exact operation on Xilinx FPGA. Framebuffer made up Block RAM form in FPGA and TFT-LCD displayed image file.