• Bulletin of the Korean Space Science Society
• /
• 2009.10a
• /
• pp.28.3-28.3
• /
• 2009

과학기술위성 3호는 2007년 6월에 사업착수를 시작하여, 동년 8월 시스템요구사항검토회의(SRR)를 통해 임무 요구사항을 도출하였고, 동년 12월에 시스템기본설계검토회의(SDR)과 2008년 9월 시스템예비설계검토회의(PDR)를 개최하여 시험인증모델(EQM, Engineering& Qualification Model) 제작을 시작하여, 납품을 완료하고 ETB(Engineering Test Bed)상에서 유닛의 기능 시험 및 접속시험, 그리고 환경시험을 수행을 완료하였다. 또한 열구조모델 (STM, Structure and Thermal Model)도 제작을 완료하고 발사환경시험과 열평형 환경시험을 완료하였다. 이와같이 시험인증모델 및 열구조모델에 대한 지상에서의 시험과 검증이 완료된 시험결과를 바탕으로 2009년 9월 상세설계를 완료하고 비행모델 제작에 착수할 예정이다. 이 논문에서는 과학기술위성 3호의 시험인증모델에 대한 시험의 목적, 종류 그리고 검증에 대한 결과 그리고 향후 계획에 대해 발표하고자 한다. 참고로 과학기술위성 3호는 주탑재체인 다목적적외선영상시스템(MIRIS)은 우리 은하계의 근적외선 관측, 우주 배경복사 관측 및 지구 지표면의 적외선 영상 획득을 임무로 하고 있고, 부탑재체인 초소형 영상 분광기(COMIS)는 한반도 지역의 다중 스펙트럼 영상을 획득함으로써 대기관측 및 환경감시의 임무를 가지고 있다.

• The Journal of the Acoustical Society of Korea
• /
• v.40 no.4
• /
• pp.382-390
• /
• 2021

Synthetic aperture sonars as well as side scan sonars or multibeam echo sounders have been commercialized and are widely used for seafloor imaging. In Korea related research such as the development of a towed synthetic aperture sonar system is underway. In order to obtain high-resolution synthetic aperture sonar images, it is necessary to accurately estimate the platform motion on which it is installed, and a precise underwater navigation system is required. In this paper we are going to provide reference data for determining the required navigation accuracy and precision of navigation sensors by quantitatively analyzing how much distortion of the sonar images occurs according to motion characteristics of the platform equipped with the synthetic aperture sonar. Five types of motions are considered and normalized root mean square error is defined for quantitative analysis. Simulation for error analysis with parameter variation of motion characteristics results in that yaw and sway motion causes the largest image distortion whereas the effect of pitch and heave motion is not significant.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.24 no.7
• /
• pp.925-934
• /
• 2020

In order to improve the energy efficiency of ships, this study designed an energy saving system (ESS) algorithm suitable for ship operation characteristics, and analyzed energy consumption patterns based on the operation characteristics of ships equipped with specific systems. Therefore, we intend to study techniques that can reduce the cost of operation. To this end, we intend to study to implement an efficient system that can increase energy efficiency that reflects the characteristics of the propulsion system of the ship based on the power generation system. The vessel to be researched is intended to conduct research on HVACS (Heating, Ventilation and Air Conditioning) mounted on LNG carriers, and based on this, it has energy with scalability to be applied to future-based vessels such as electric propulsion ships and autonomous ships. I would like to propose a savings technique.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.1
• /
• pp.135-146
• /
• 2021

VMP(Variable Message Protocol) is bit-based variable message processing protocol that enables the sharing situation information in real time as a tactical datalink protocol for Korean Army. System A is currently under development and will be operated as an army system when its development is completed. In system A, the VMP processing terminal is mounted and the VMP is utilized for exchanging tactical information. System A can acquire situation information from mounted situation information acquisition system and share situation information with other system A by the VMP. In this paper, we propose a method of sharing situation information with system A and speed improvement methods of sharing situation information using VMP. As speed improvement methods of sharing situation information, this paper studied 'Removing Process of Sending VMP Observation Report', 'Adopting One-time Situation Information Send Button When Sharing A System Situation Information By VMP', 'Combination of Many VMP Messages Using Repeat Function Of Application Header'. And we conducted the experiment, the result was that the transmission speed of equipment to which the research method was applied was improved by 76.8% compared to the existing equipment.

• The Journal of the Korea Contents Association
• /
• v.4 no.4
• /
• pp.71-78
• /
• 2004

Dedicated Short Range Communications(DSRC) as a prominent communications candidate for Intelligent Transportation Systems(ITS) have been developed to support ITS applications such as value-added information service, e-commerce, electronic toll payment, etc. These various applications associated with electronic payment through unsecure communication channel of DSRC suffer from security threats. To ensure secure payment, we have adopted appropriate cryptographic mechanisms including encipherment, authentication exchange and digital signature. The cryptographic mechanisms require to use cryptographic keys established between two communication entities. In this paper, we propose a secure electronic payment system which is designed to have some functions for strong authentication, encryption, key agreement, etc. Especially, we adopt domestic developed cryptographic algorithms such as EC-KCDSA and SEED for digital signature and block cipher, respectively. We can show those mechanisms are appropriate for the secure electronic payment system for ITS services under the DSRC wireless environment in aspects of constrained computational resource use and processing speed.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.571-574
• /
• 2006

Dependent type은 유리수, 리스트 함수, 행렬 곱 등 여러 가지 타입들의 제약 사항들을 충실히 표현하는 데에 필수적이기 때문에 이를 지원하는 타입 시스템을 탑재한 언어를 새로 개발하거나 기존 언어의 다른 특성들을 활용하여 이를 모의(simulate)하려는 시도가 다각도로 진행되고있으며, Haskell 타입 레벨 프로그래밍도 이런 모의 기법 중 하나다. 기존 타입 레벨 프로그래밍은 변별력의 손실이 없는 대신 이로 인해 관련 함수들의 타입이 복잡해지거나 확정하기 어려워지는 경우가 많아서 잘못된 프로그램을 작성할 위험 부담이 커진다. 실제로 dependent type이 필요한 경우들 중에는 매우 간단한 변별력만을 요구하는 경우가 많으므로, 귀납적 자료형을 이진 추상화하여 일부 변별력을 포기하는 대신 상대적으로 간단하게 dependent type과 관련 함수들의 타입을 확정하는 간소화된 타입 레벨 프로그래밍 기법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06a
• /
• pp.373-375
• /
• 2006

정보가전기기의 발전에 따라 인터넷과 퍼스널 컴퓨터 중심의 정보화는 이제 어느 장소, 어느기기에서나 네트워크와 연결되어 사용자에게 서비스를 제공하는 유비쿼터스 시대로 접어들고 있다. 이러한 정보기기들은 기기에 특성화된 실시간 운영체제를 탑재하고 통신하게 되며, 한정된 자원을 가진 내장형 정보기기들을 위해 경량의 네트워크 스택을 적용해야 할 필요성이 있다. 본 논문에서는 실시간 운영체제상에 내장형 시스템용 경량 네트워크 스택을 설계 및 구현하였다.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.418-420
• /
• 2007

본 논문은 전력IT 국책과제로 진행되는 EMS(Energy Management System) Network Applications(NA)의 개발로써 향후 개발될 한국형 EMS시스템에 탑재될 응용 프로그램 DB, 토폴로지 프로세서, 상태추정 등 실시간 계통해석에서 사용되는 프로그램들의 개발 현황을 중심으로 기술되어 있다.

• Annual Conference of KIPS
• /
• 2018.05a
• /
• pp.2-5
• /
• 2018

고성능 모바일 기기가 보급화 됨에 따라 증강 현실, 3D 게임과 같은 고사양 응용들이 출시되고 있다. 이러한 응용들의 응답성은 모바일 기기의 품질을 결정하는 중요한 요소들 중 하나이다. 기존 연구에 따르면 고사양 응용들 중 하나인 웹 브라우저의 응답 시간에서 페이지 zeroing 에 소요되는 시간이 적지 않은 비중을 차지한다. 본 논문은 페이지 zeroing 에 소요되는 시간을 단축하기 위해 적응형 페이지 선 zeroing 기법을 제안한다. 제안된 기법은 응답 시간이 아닌 구간에서 페이지들을 미리 zeroing 하여 보관해 두었다가 응답 시간인 구간에서 페이지 할당 요청 시 미리 zeroing 된 페이지들을 응용에게 제공한다. 이를 리녹스 커널 3.4 가 탑재된 Nexus 5 에 구현하였고 실험을 통해 확인한 결과, 모델링 된 응용의 응답 시간이 평균 39.52% 단축됨을 확인하였다.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.65 no.11
• /
• pp.1860-1867
• /
• 2016

In this paper, first, a linearized modeling of a phase shift full-bridge converter used in chargers of electric vehicles is derived by using state-space approach and transfer functions from the duty ratio to output voltage and the inductor current are also verified. second, control systems for the output voltage and the inductor current are designed using the root locus technique. It is illustrated by experimental results that the control performance on the output variables is satisfied with the designed digital control system based on a automobile qualified 32-bit microcontroller.