• Proceedings of the KIPE Conference
• /
• 2016.07a
• /
• pp.279-280
• /
• 2016

전기자동차를 위한 양방향 탑재형 충전기의 장내구성을 달성하기 위해 전해캐패시터를 사용하지 않는 전력변환장치가 요구된다. 본 논문에서는 V2G-V2H 기능을 갖는 무 전해캐패시터 양방향 탑재형 충전기의 제어알고리즘을 제안한다. 제안하는 양방향 충전기는 정현파 충전방식이 적용되었고 인버터만 제어하여 V2G-G2V-V2H 모드전환이 끊김없는 장점을 갖는다 제안하는 알고리즘을 검증하기 위한 3.3kW급 시작품의 시험결과로 타당성을 검증하였다.

• Annual Conference of KIPS
• /
• 2006.05a
• /
• pp.1355-1358
• /
• 2006

임베디드 리눅스 디바이스 드라이버의 개발이 증가하면서 이에 대한 오류 테스트 기능을 가진 모듈의 필요성이 증가되고 있다. 본 논문은 리눅스 디바이스 드라이버를 위한 freed 메모리 오류 테스트 모듈의 기본 개념을 제시하며, 기본 개념을 바탕으로 오류 테스트 모듈을 설계한다. freed 메모리 오류 테스트 모듈 설계를 위해 리눅스 USB 디바이스 드라이버에 설계하고, 오류가 발생할 가능성이 존재하는 부분에 대한 검증을 위한 코드를 추가하여 테스트 모듈을 작성한다. 오류 테스트 모듈 설계를 위해서 usb storage 디바이스 드라이버를 대상으로 하였다. 또한 작성된 오류 테스트 모듈의 실험을 진행하였다. 실험을 통해 리눅스 디바이스 드라이버의 오류 테스트 모듈의 동작을 확인할 수 있다.

• Journal of Korea Game Society
• /
• v.2 no.1
• /
• pp.55-61
• /
• 2002

유 무선환경에서 침입 패턴이 다양화되고, 모바일의 편리성이 강조되면서 네트워크 대역폭이 다양한 전송 기반을 요구하고 있다. 그리고 무선기반의 자료가 급증하고 있어, 무선환경에서의 침입탐지시스템 성능에 문제가 될 수 있다. 그러므로 게이트웨이를 근간으로 한 무선전송 기반을 보호하고, 컴퓨터 운영체제 상에 내재된 보안상의 결함을 보호하기 위하여 기존의 운영체제 내에 보안 기능을 추가한 운영체제이며, 커널의 핵심 부분을 인지하여 무선기반의 시스템 사용자에 대한 식별 및 인증, 강제적 접근 통제, 임의적 접근 통제, 해킹 대응 등의 보안 기능 요소들을 갖추게 하여 보안성에 강한 시스템 유지를 요구한다. 그러므로 감시대상의 정보를 미리 알고, WAP환경하에서 감시대상에 유효한 침입패턴만을 검사하도록 침입패턴 데이터베이스를 분리하는 모델을 제시하여, 이러한 문제점에 대한 해결책을 제시하고자 하였다. 따라서 기존 침입탐지시스템의 패턴 데이터베이스를 분석하였고, 이를 적절히 분리하여 이를 다시 운영체제에 반영하는 기법이다. 그리고 이를 제시한 모델을 검증하고자 실제 구현과 실험을 통해 이를 검증하였다.

• 한국경영정보학회:학술대회논문집
• /
• 2007.06a
• /
• pp.45-51
• /
• 2007

본 연구는 공수방식이나 기능점수(Funtion Point)방식에 의존해 온 기존의 게임콘텐츠 원가산정 방식의 문제점을 인식하고 이를 대체할 새로운 게임요소점수(Game Element Point) 접근방식 하에서 구체적인 원가산정 방법론을 개발 제시하였다. 게임콘텐츠 원가산정 모델은 게임콘텐츠에 고유한 게임요소를 도출하여 이를 게임요소점수(GEP; Game Element Point)로 환산하고 여기에 게임요소당 단가를 곱하여 원가를 산정하는 형태를 가지고 있다. 또한 제시된 방법론의 실무적용 가능성을 타진하기 위해 게임 개발업체들의 실제원가 자료를 입수하여 실제 개발원가와 GEP방식으로 계산된 원가를 비교 검증하였다. 탐색적 수준의 사례 비교를 통한 검증결과 GEP방식의 적용이 가능하고 또한 기존방식을 대체할 좀 더 실무적이고 정확한 게임 컨텐츠 원가산정 방식으로 사용할 수 있는 것으로 판명되었다.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.228-229
• /
• 2011

스마트 그리드(Smart Grid)는 기존 전력망에 IT기술을 융합하여 전력회사와 고객들 간의 실시간으로 양방향 정보 교환을 수행하는 시스템으로, 고객에게 전기 사용량 정보를 제공하는 서비스를 통해 전기의 사용량을 절약하도록 유도하는 것이 주요 목적인 차세대 전력망 시스템이다. 본 논문은 현재 개발 중인 AMI 요소 기술들의 상호 연동 테스트 방안을 소개하고 세부 구간 및 전구간 테스트 수행을 통해 얻은 각 시스템들의 로그 및 시스템별 응답 결과를 토대로 개발 기능의 적정성을 검증한다.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1748-1749
• /
• 2011

본 논문에서는 최근 전기자동차의 개발과 동시에 연구가 활발히 진행되고 있는 전기자동차의 충전시스템인 EVSE(Electric Vehicle Supply Equipment) 시뮬레이터를 구현하고 성능을 검증한다. EVSE는 전기자동차의 충전을 위해 안정적인 전원을 공급하는 기능 이외에도, 충전상태 모니터링, 인증 및 과금 등의 기능이 요구되기 때문에 전기자동차와의 통신이 필수적이다. 따라서 CAN 기반의 전기자동차 충전시스템 시뮬레이터를 구현하고, 제안된 충전 절차에 따른 실험을 통해 차량 인증, 차량 정보 확인 및 모니터링 프로그램의 성능을 검증한다.

• Proceedings of the KIPE Conference
• /
• 2011.07a
• /
• pp.253-254
• /
• 2011

본 논문에서는 고 전력밀도 및 저가형으로 구성 가능한 새로운 구조의 계통 연계형 태양광 인버터 시스템을 제안한다. 제안 시스템은 태양전지의 최대 전력점 추종기능과 배터리의 충 방전 기능을 단일 전력단으로 구성함으로써, 고 전력밀도 및 저가격형 시스템 구성이 가능하다. 또한, 제안 시스템은 배터리를 링크 캐패시터에 직렬 연결함으로써 링크 캐패시터의 전압 스트레스를 배터리 전압만큼 저감할 수 있으므로 가격저감 효과가 크다. 최종적으로 제안 시스템의 우수성과 신뢰성 검증을 위하여 1.5kW급 태양광 인버터 시스템의 시작품을 제작하였고, 이를 이용한 실험결과를 바탕으로 제안 시스템의 타당성을 검증한다.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.225_226
• /
• 2009

최근 전력산업의 화두가 되고 있는 지능형 전력망과 그린 에너지 사용의 확대로 인하여 배전계통은 더욱 복잡한 망구조를 띄고 있으며, 이에 따라 계통에서 발생하는 고장전류 증가 및 과도현상들도 매우 다양하게 나타나고 있다. 이와 같은 과도현상으로부터 배전계통을 보호하기 위해 전력용 퓨즈, Recloser, 과전류 계전기, 과전압 계전기 등이 사용된다. 이러한 보호 기기들이 정상 동작하기 위해서는 사전 모의를 통해 상시 부하 전류와 고장 전류 및 계통 이상 상태를 파악하고, 다른 보호기기와의 보호 협조를 고려해야 한다. 이러한 보호 장비들을 구현하고, 동작을 검증함에 있어 기존에는 EMTP(ElectroMagnetic Transients Program)와 같은 과도현상 해석 프로그램이 사용되어 왔다. 최근 상용 버전으로 개발된 EMTP-RV(ElectroMagnetic Transients Program-Restructured Version)는 기존의 컨트롤 소자들로만 구현해야 했던 한계점을 극복하기 위해 사용자 정의가 가능한 DLL(Dynamic Link Library) 기능을 제공함으로써 사용자가 EMTP-RV 개발자와 동일한 환경 하에서 계통 소자를 구현할 수 있도록 하였다. 본 논문에서는 새로운 모델링 기법인 DLL 기능을 이용하여 과전압계전기를 구현하고 결과를 검증하여 모델링 방법의 적합함을 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.81-86
• /
• 2008

SPIN은 소프트웨어 정확성 검사에 널리 사용되는 모델 검증 도구이다. 특히 C 코드로 작성된 소프트웨어를 효율적으로 검사하기 위해서 SPIN의 입력 언어인 Promela 모델에 C 코드를 끼워 넣는 기능이 버전 4.0 이상에서 지원되고 있다. 본 논문에서는 이러한 기능을 미로 게임 풀이에 적용하였다. 그 결과, Promela 모델만을 사용해서 풀이한 것보다도 모델에 C 코드를 끼워 풀이한 것이 메모리 사용 및 처리 시간에서 월등히 우수했다. 메모리와 시간과 같은 객관적인 성능 향상과 더불어서, 이러한 사례 연구는 모델 검증 도구 및 추상화 학습에도 유용함을 경험했다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2000.11b
• /
• pp.95-100
• /
• 2000

본 논문에서는 디지털 TV 방송 스트림을 분석, 검증하기 위한 시스템을 PC 상에서 소프트웨어 기반으로 구현하였다. 저장되어 있는 MPEG-2 트란스포트 스트림(transport stream, TS) 파일을 입력으로 받으며 별도의 하드웨어 장치를 사용하지 않는다. 이 분석기는 PSI(program specific information), TS 섹션, TS 헤더 등 기본 내용뿐만 아니라, TS 패킷들을 오디오, 비디오, PCR(program clock reference), 부가 데이터, 널(null) 패킷 등으로 구분하여 그래픽 사용자 인터페이스 통하여 보여 준다. 또한, 현재 표시되고 있는 TS 패킷과 가장 가까운 I 프레임를 디스플레이 해줌으로써 비트스트림 상의 오류 부분과 실제 영상과 쉽게 매칭시킬 수 있도록 해 준다. 본 논문의 분석기는 MPEG-2 비트스트림 적합성 검사 기능도 제공하며, 데이터 방송을 위한 여러 가지 부가 데이터를 MPEG-2 기본 스트림에 삽입하는 기능도 갖고 있다. 본 논문의 분석기를 이용함으로써 저비용으로 방송 스트림을 분석, 검증할 수 있을 뿐만 아니라, 실험실 연구를 위한 데이터 방송용 비트스트림을 저비용으로 제작할 수 있다.