• 한국추진공학회지
• /
• 제18권5호
• /
• pp.79-86
• /
• 2014

터보펌프 실매질 시험설비는 액체산소와 케로신을 토대로 터보펌프 조립체의 성능을 검증하는 시험설비이다. 이 시험설비 중에서 가장 핵심적인 부분은 터보펌프의 구동력을 생성시키는 고온공기 생성시스템이다. 고압공기와 에탄올을 사용하는 알코올버너에 의해 시험시설에서 요구되는 유량과 온도가 생성된다. 본 연구에서는 국내기술로 제작한 알코올버너의 개발시험을 수행하였으며, 터보펌프 실매질 시험설비 구축에 앞서 버너의 제작기술과 운용경험을 확보할 수 있었다. 75톤급 터보펌프 실매질 시험에서는 이 알코올버너가 2기 동시 운용되어 터빈이 요구하는 구동력을 충족시킬 것으로 보인다.

• 정보보호학회논문지
• /
• 제28권6호
• /
• pp.1355-1369
• /
• 2018

스마트밴드가 삶을 보다 편리하게 만들고 긍정적인 생활 습관을 들일 수 있도록 도와주게 되면서 많은 사람들이 현재 스마트밴드를 사용하고 있다. 또한, 스마트밴드는 사용자의 개인 정보를 다루기 때문에 스마트밴드 시스템에 대한 안전한 보안 설계 및 구현이 필요하게 되었다. 신뢰할 수 있는 스마트밴드를 만들기 위해서는 먼저 시스템의 보안 요구사항을 도출한 다음 이를 충족하도록 시스템을 설계해야 한다. 본 논문에서는 Data Flow Diagram, STRIDE, Attack Tree와 같은 위협 모델링 기술을 스마트밴드 시스템에 적용하여 위협을 식별하고 이에 따라 보안 요구사항을 도출하였다. 위협 모델링을 통해 식별한 위협을 이용하여 실제로 스마트폰을 스마트밴드에 연결하는 과정에서의 취약점을 발견하였고 이를 통해 스마트밴드의 제어 권한을 획득하는 공격을 수행할 수 있었다. 발견된 취약점과 위협에 대응하기 위해 보안 대책을 제안하였으며 보안 프로토콜 자동 검증 도구인 Scyther를 사용하여 제안한 보안 대책에 대한 안전성을 검증한다.

• 한국전산구조공학회논문집
• /
• 제32권1호
• /
• pp.45-54
• /
• 2019

본 논문에서는 EKF기법의 초기 파라미터 설정에 따른 상태벡터의 발산 문제를 해결하고자 AEKF기법을 제시한다. EKF기법의 초기 파라미터는 상태벡터 수렴 및 안정성에 중요한 역할을 함으로 초기 파라미터의 적절한 설정은 EKF를 사용함에 있어 매우 중요하다. AEKF방법은 초기 파라미터인 P행렬을 k스텝마다 업데이트하여 초기 상태벡터의 변화에 민감하게 반응할 수 있으며, 또한 초기 상태벡터와 실제 시스템 모델과의 차이가 크게 발생하여도 적응적으로 P행렬의 값을 조절하여 상태벡터의 수렴을 가능하게 한다. 또한 Q행렬 및 R행렬을 k스텝 업데이트하여 상태벡터의 수렴 안정성을 더욱 확보하였다. 3DOF시스템을 통해서 AEKF기법의 결과와 EKF, UKF기법을 비교 검증하였다.

• 한국항행학회논문지
• /
• 제22권2호
• /
• pp.84-89
• /
• 2018

국내 기술의 발달로 인하여 다양한 항공기 발사 무장이 개발되고 있으며, 항공기-무장통합 인증에 대한 중요성 역시 높아지고 있다. 항공기-무장 통합 인증은 표준감항인증기준 (Standard ACC; standard airworthiness certification criteria)에서 제시하는 무장/장착물 통합 기준에 대한 적합성을 검증하여 안전 비행에 문제가 없다는 것을 증명하는 것으로, 무장 개발 후 항공기 통합 과정에서 요구되는 다양한 기준을 만족시켜야 함을 의미한다. 따라서 항공기의 요구사항을 무장 개발 과정에서 반영하여야 적합성 검증 단계에서 설계 변경 소요를 줄일 수 있다. 본 논문에서는 표준감항인증기준과 항공기-무장적합성 기준문서인 MIL-HDBK-1763, 그리고 순항유도무기 개발 프로세스간의 상관성을 분석하였다. 분석 결과 설계 초기 단계부터 공력 및 구조설계 분야에서 항공기 요구사항을 반영하여 개발을 진행하는 경우 항공기-무장 통합 인증 단계에서의 설계 변경 발생을 줄일 수 있다고 판단하였다.

• 한국ITS학회 논문지
• /
• 제20권6호
• /
• pp.331-345
• /
• 2021

시뮬레이션 기반 가상 검증은 자율주행 기능의 안전성 검증을 위한 주요 요구사항으로 간주되고 있다. 가상 검증 환경에서는 자율주행차량과 주행 환경은 모두 모델링되어야 하며 특히, 카메라 및 레이더 센서와 같은 환경 센서의 현실적인 모델링이 중요하다. 하지만 현실적인 인식 결과를 일관되게 제공하기 위한 모델링에 관한 연구는 부족한 실정이다. 이에 본 논문에서는 MILS(Model in the Loop Simulation) 환경에서 현실적인 오브젝트 인식 결과를 제공하기 위한 센서 모델링 방법이 다루어진다. 먼저, 모델링을 위한 주요 파라미터가 정의되며 카메라 및 레이더 센서의 오브젝트 감지 특성이 분석된다. 분석 결과로부터 모델링된 가상 센서 모델의 감지 특성은 실물 센서와의 상관계수 분석을 통해 유효성이 검증된다.

• 정보화정책
• /
• 제29권3호
• /
• pp.61-81
• /
• 2022

본 연구에서는 EA에서 제공하는 정보가 공공기관 정보화 사업수행 활동에 어떻게 영향을 주는지 살펴보았다. 분석 대상은 관세청 국가 관세망 및 관련 정보화 사업이며 설문 조사를 활용하였다. EA 정보 제공은 정보의 적절성, 충분성, 일관성으로 정의하고 사업수행 활동은 사업관리, 사업 참여, 의사소통, 요구사항 관리, 인력투입으로 정의하여 항목 간 상관분석을 통해 영향도를 제시하였다. EA에서 제공된 정보와 사업관리 툴의 활용도, 인력투입 적정성과는 유의미한 상관관계를 확인할 수 없었다. 담당 공무원은 제공된 정보가 충분하면 사업수행 중 의사 결정에 긍정적인 효과를 주고, 수행업체는 정보가 일관되게 제공된다면 사업에 필요한 자원을 효율적으로 활용할 수 있음을 확인하였다. 연구 결과는 정보화 사업의 성공적인 진행을 위해 사업이 가진 특성과 함께 발주처의 사업환경을 확인하고, 사업을 수행하는 주체별 핵심 역할에 집중하여 사업수행 전략을 수립하는 것이 사업의 성공에 중요하다는 것을 제시하였다.

• 한국군사과학기술학회지
• /
• 제26권1호
• /
• pp.91-101
• /
• 2023

Modeling and Simulation(M&S) technology has been widely used to solve constraints such as time, space, safety, and cost when we implement the same development and test environments as real warfare environments to develop, test, and evaluate weapon systems for the last several decades. The integration and test environments employed for development and test & evaluation are required to provide Live Virtual Construction(LVC) simulation environments for carrying out requirement analysis, design, integration, test and verification. Additionally, they are needed to provide computing environments which are possible to reconfigure computing resources and software components easily according to test configuration changes, and to run legacy software components independently on specific hardware and software environments. In this paper, an Integration Test and Simulation for Engagement Control(ITSEC) bed using a bare-metal virtualization mechanism is proposed to meet the above test and simulation requirements, and it is applied and implemented for an air missile defense system. The engagement simulation experiment results conducted on air and missile defense environments demonstrate that the proposed bed is a sufficiently cost-effective and feasible solution to reconfigure and expand application software and computing resources in accordance with various integration and test environments.

• 한국항행학회논문지
• /
• 제27권2호
• /
• pp.228-234
• /
• 2023

고품질 소프트웨어의 요구 증가로 국제표준, 산업 기능안전(IEC 61508), 자동차(ISO 26262), 무기체계 내장형 소프트웨어 지침 등 품질 인증 요구가 많다. 스타트 업, 벤처, 중소 업체들은 비용 및 인력 측면에서 체계적인 품질 획득이 어려움이 있다. 그들 업체에게 자동 테스트 케이스 생성은 비용, 시간, 인력 문제에도 소프트웨어 품질을 향상할 수 있는 해법으로 제시 될 수 있다. 이를 위해, 시스템 및 소프트웨어 설계 검증이 가능한 "의사 결정표" 기반 테스트 케이스 자동화를 제안한다. 이는 OMG의 표준 기법인 메타모델과 모델 변환 기법을 사용해 각각 의사 결정표(Model)와 테스트 케이스(Text)의 메타모델 설계 및 모델변환을 정의한다. 즉 의사 결정표 입력으로 테스트 케이스 발생 자동화이다. 이를 통해 MC/DC 커버리지등도 쉽게 적용 가능하다.

• 전기전자학회논문지
• /
• 제26권1호
• /
• pp.1-9
• /
• 2022

전력시스템의 신뢰성을 보장하며 분산전원의 수용성을 높이기 위해 IEEE 1547과 같은 표준을 개정하여 분산전원의 계통 연계기준을 강화하고 있다. 본 논문은 이러한 표준을 준수하는 IEEE 1547-2018 기반의 스마트 인버터 기능의 제어 알고리즘을 제안하고, 스마트 인버터 기술의 검증을 위해 구축한 Power HILS 기반의 테스트 플랫폼을 소개한다. 스마트 인버터 기능 중 Volt-var 제어와 Frequency-watt 제어 알고리즘은 상호운용성 표준을 준수하도록 해당 기능의 curve를 상위로부터 설정할 수 있도록 하며, 각 기능의 Enable 신호 시점을 상위 지령에 따라 제어할 수 있도록 하였다. 표준에 따라 Power HILS 테스트 플랫폼을 통해 Volt-var 제어와 Frequency-watt 제어에 대한 형식시험을 수행하였고, 명시된 표준 형식시험을 전부 만족함을 측정 결과를 통해 검증하였다.

• Journal of Korea Trade
• /
• 제27권1호
• /
• pp.101-118
• /
• 2023

Purpose - Korea became a trillion-dollar trading country in 2011. With the exponential increase in Korea's trade volume over the past decades, trade-related administrative burdens per capita for Korea Customs became enormous, for which the government established the Single Window, a trade-facilitating system, in 2004 to enhance the efficiency of customs-clearing procedures for traders. This paper focuses on finding whether the Korean Single Window system affects the country's trade facilitation positively through an empirical methodology. Design/methodology - To find empirical evidence that Single Window affects trade facilitation for the customs-clearing procedure, this study assumes that a time-efficient environment enables the handling of the increase in trade volume, under which four independent variables related to import customs-clearing procedures and two dependent variables to import were adopted for empirical analysis. The import customs procedures are classified into four steps from port entry to declaration acceptance. To understand the relationship between variables, scattered plots and correlation coefficients were calculated. Eight hypotheses were set and underwent simple linear regression. The data for analysis were collected by Korea Customs, and were about the lead time of import, the volume of imports in million USD, and the number of import declarations reported to customs offices on a monthly basis from 2005 to 2013. Findings - Six of the eight hypotheses showed the statistically significant result that lead time in the import customs-clearing procedure positively affects the number of import declaration reports and import volume. Specifically, Hypothesis 1, Hypothesis 2, and Hypothesis 3 strongly support the assumption lead time in import customs declaration has an inverse relationship with the number of import declarations, which means that the shorter the import lead time, the more import declaration increases. Research Limitations/Implications - With limited data accessibility to the government's custom-sclearing procedures, only the import lead time for customs clearance were adopted as independent variables. This paper, however, successfully found that the Single Window system contributed to trade facilitation. Originality/value - This study found that the time-saving Single Window system of Korea Customs enables itself to manage an exponentially-increasing trade volume by creating a trade-facilitating environment for customs personnel and traders, which may be a unique implication found through quantitative methodology.