• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.13 no.8
• /
• pp.1693-1698
• /
• 2009

This paper is a research on the feature information using direction information and adjusting constant w for the dynamic signature verification. We could improved processing time and reduce signature database without the increase of error rate. We could confirmed these results by using statistical method T-test.

• International Journal of Aeronautical and Space Sciences
• /
• v.18 no.1
• /
• pp.108-117
• /
• 2017

This paper presents a distribution simulation model for dual purpose improved conventional munitions based on flight test data. A systematic procedure for designing a dispersion simulation model is proposed. A new accumulated broken line graph was suggested for designing the distribution shape. In the process of verification and simulation for the distribution simulation model, verification was performed by first comparing data with firing test results, and an application simulation was then conducted. The Monte Carlo method was used in the simulations, which reflected the relationship between ejection conditions and real distribution data. Before establishing the simulation algorithm, the dominant ejection parameter of the submunitions was examined. The relationships between ejection conditions and distribution results were investigated. Five key distribution parameters were analyzed with respect to the ejection conditions. They reflect the characteristics of clustered particle dynamics and aerodynamics.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.1197-1200
• /
• 2003

위성의 개발 및 제작에는 많은 비용과 기간이 소요되며, 일반적으로 사용되는 장비들과는 전혀 다른 우주환경에서 임무를 수행하게된다. 위성의 성공적인 임무완수를 위해서는 철저한 사전검증 작업들이 필요하게 된다. 특히, 위성의 궤도, 자세를 제어하고 실제적인 임무수행을 관할하는 위성탑재소프트웨어에 대한 완벽한 검증이 필요하다. 2004년 발사를 목표로 하고있는 다목적실용위성 2호 FSW(Flight Software)의 개발단계에서 소프트웨어의 통합 및 시험, 검증시험을 위해 실제 위성시스템과 유사한 인터페이스를 제공하는 개발도구인 STB(Software Test Bed)가 제작되었으며, 제작된 STB를 통한 FSW의 검증시험 및 분석을 지원하기 위한 프로그램으로서 구문분석 프로그램을 이용한 VTSP(Verification Test Script Parser)의 개발이 이루어졌다. 본 논문에서는 이러한 STB와 VTSP에 대한 전반적인 소개와 함께 개발된 STB와 VTSP를 이용하여 실제 위성탑재소프트웨어를 검증하기 위한 시험환경에 대해 알아보고자 한다.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2006.05a
• /
• pp.134-137
• /
• 2006

In this paper, performance verification of connection between bridge rail and FRP decks are performed by static test. Also, the effect of flexible bridge rail failure to behavior of FRP deck are examined. Commercial products of flexible bridge rail are applied to test specimen, and 6 types of FRP deck-to-bridge rail connection system are considered. By the test results, 6 types of connection system by the connection method have similar structural capacity and have enough safety margin. Therefore, it is determined that 6 kinds of bridge rail considered in this study can be applied to bridge effectively by the cases of bridge field condition.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.64 no.2
• /
• pp.331-337
• /
• 2015

The power flow analysis of electrified railway is required complicated calculation, because of variable load. Train runs trough rail supplied by electric power therefore, the load value in electrified railway system fluctuates along time. The power flow algorithm in electrified railway system is different from general power system, and the power flow simulation is peformed by the particular simulation software. Powerail is simulation software for analysis of traction power supply system developed by KRRI, in 2008. This consists of load forecasting module, including TPS and time scheduling, and power flow module. This software was verified by measured current under normal feeding condition, however, has not been verified by voltage on the condition of extended feeding. This paper presents the verification of PowerRail based on voltage drop under extended feeding condition. This is performed by comparing simulation result with field test. Field test and simulation is done in commercial railway line.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.58 no.1
• /
• pp.199-202
• /
• 2009

Scan design is currently the most widely used structured Design For Testability approach. In scan design, all storage elements are replaced with scan cells, which are then configured as one or more shift registers(also called scan chains) during the shift operation. As a result, all inputs to the combinational logic, including those driven by scan cells, can be controlled and all outputs from the combinational logic, including those driving scan cells, can be observed. The scan inserted design, called scan design, is operated in three modes: normal mode, shift mode, and capture mode. Circuit operations with associated clock cycles conducted in these three modes are referred to as normal operation, shift operation, and capture operation, respectively. In spite of these, scan design methodology has defects. They are power dissipation problem and test time during test application. We propose a new methodology about scan shift clock operation and present low power scan design and short test time.

• Proceedings of the SAREK Conference
• /
• 2005.11a
• /
• pp.217-222
• /
• 2005

Building energy consumption according to the ventilation has been considered to be an important subject. The purpose of this study is to investigate the cooling loads in a test space with a forced ventilating system. In the test space, on/off controlled air-conditioning and forced ventilating facility were operated between 8:30 to 21:00 during 4 days and some important data like temperatures and energy consumption were measured to obtain actual cooling loads. The simulation was carried out in a mode of temperature level control using a TRNSYS 15.3 with a precisely measured air change amount and performance data of air-conditioner. Cooling loads including sensible and latent were compared between by experiment and by simulation. Both of cooling loads associated with ventilation show a close agreement within an engineering tolerance.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• pp.547-549
• /
• 2003

위성의 개발 및 제작에는 많은 비용과 기간이 소요되며. 일반적으로 사용되는 장비들과는 전혀 다른 우주환경에서 임무를 수행하게 된다. 그리고 위성의 경우에는 발사이후에 발생하는 오류들을 수정하는 것이 거의 불가능하므로 위성의 성공적인 임무완수를 위해서는 철저한 사전검증 작업들이 필요하게 된다. 특히, 위성의 궤도, 자세를 제어하고 실제적인 임무수행을 관할하는 위성탑재소프트웨어에 대한 완벽한 검증이 필요하다. 이러한 소프트웨어의 통합 및 조립시험. 검증시험을 위해 저궤도 위성의 FSW(Flight Software) 개발단계에서 실제 위성시스템과 유사한 인터페이스를 제공하는 개발도구인 STB(Software Test Bed)가 제작되며, 제작된 STB를 통한 FSW의 검증시험 및 분석을 지원하기 위한 구문분석프로그램으로 VTSP(Verification Test Script Parser)를 개발하게 된다. 본 논문에서는 이러한 STB와 VTSP에 대한 전반적인 소개와 함께 개발된 STB와 VTSP를 이용하여 실제 위성탑재소프트웨어를 검증하기 위한 시험환경에 대해 알아보고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10e
• /
• pp.430-432
• /
• 2002

다목적실용위성 2호 FSW(Flight Software)의 개발단계에서 통합 및 시험, 검증시험을 위해 실제 위성시스템과 유사한 인터페이스를 제공하는 개발도구인 STB(Software Test Bed)가 제작되었으며, 제작된 STB를 통한 FSW의 검증시험 및 분석을 지원하기 위한 프로그램으로서 구문분석 프로그램을 이용한 VTSP(Verification Test Script Parser)의 개발이 필요하다. 본 논문에서는 구문분석 도구인 FLEX와 BISON을 이용하여 FSW가 실제시스템 상에서 요구조건에 따라 수행되고 있는지를 자동적으로 검증하기 위해 C 언어와 유사한 사용법을 가지며, 다양한 검증시험 환경에 적합한 VTSP를 개발하기 위한 전체적 개발환경 및 VTSP의 기능에 대해 소개한다.

• Proceedings of the KSR Conference
• /
• 2003.10c
• /
• pp.581-586
• /
• 2003

As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions. as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS(Labeled Transition System) with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification.