• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06d
• /
• pp.421-423
• /
• 2012

새로운 네트워크 아이디어를 검증하기 위해서는 실질적인 대규모 트래픽 상황에서 실험을 거쳐야 한다. 하지만 기존의 네트워크 구조는 네트워크 벤더들에 의해서 제어부분이 개방되지 않은 장치들로 구성 되어 있기 때문에 검증과정에 있어서 어려움을 겪는다. 이러한 문제점을 해결하기 위해 최근 소프트웨어 정의 네트워킹(Software Defined Networking: SDN) 연구가 활발히 진행되고 있다. 그러나 기존의 SDN 연구들은 플로우 테이블에 국한한 제한된 인터페이스만을 정의하고 있고 이러한 이유로 여러 SDN간이나 일반적인 네트워크들까지 통합하여 제어할 수 있는 슈퍼 컨트롤러에 대한 연구가 요구된다. 본 논문에서는 최근 SDN 분야에서 활발히 연구되고 있는 오픈플로우(OpenFlow)를 바탕으로 소프트웨어 정의 네트워킹의 기능 확장을 위한 슈퍼 컨트롤러 설계를 제안한다.

• Journal of Satellite, Information and Communications
• /
• v.10 no.3
• /
• pp.62-67
• /
• 2015

This paper we introduce next-generation VSAT system based on DVB-RCS2 which is second-generation satellite communication standard. We construct a test-bed for the functional verification of return link modem and discuss the results. According to this, we expect to efficient use of technology for the next-generation VSAT services and broadcasting services.

• The KIPS Transactions:PartD
• /
• v.8D no.1
• /
• pp.62-70
• /
• 2001

Correct descriptions for software component functions become a strong requirement in developing critical software especially on the area of real-time applications. In this paper, we introduce both formalization of software design using patterns and verification methods in order for the components to increase their understandability. In particular, the paper investigates into a means of formal description techniques based on VDM++ for the software components, and provides adequacy proof steps for a given functional descriptions.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.2
• /
• pp.169-177
• /
• 1993

In this paper an experimental microsatellite packet radio protocol based on the terrestrial AX.25 amateur packet radio protocol is introduced and its protocol is modeled by the extended Petri Nets with timers and counters. Finally, this protocol is validated in terms of correctness, recovery, boundness, deadlock, etc by its reachability tree.

• Proceedings of the KIPE Conference
• /
• 2010.07a
• /
• pp.399-400
• /
• 2010

본 논문에서는 고전력 밀도 및 저가형으로 구현이 가능한 새로운 구조의 계통 연계형 태양광 인버터 시스템을 제안한다. 제안된 시스템은 태양전지의 최대 전력점 추종기능과 배터리의 충 방전 기능을 통합하여 기존 3단 구성을 2단으로 줄임으로써 시스템 제작단가가 낮아지고 고전력 밀도 구성이 가능하다. 제안 시스템의 우수성과 신뢰성 검증을 위하여 1.5kW급 PV PCS 시작품을 제작하고 이를 이용한 실험결과를 바탕으로 제안 시스템의 타당성을 검증한다.

• Annual Conference of KIPS
• /
• 2003.11b
• /
• pp.1333-1336
• /
• 2003

최근의 인터넷은 기하급수적으로 폭증하는 트래픽을 원활히 수용하기 위하여 광인터넷으로 급속히 전환되고 있다. 이에 따라 새롭게 제시되는 네트워크 구조를 기반으로 네트워크 설계 단계에서 구축단계까지 새로운 운용관리 체계를 필요로 한다. 광인터넷 시뮬레이션 도구는 이러한 요구사항을 효과적으로 지원할 수 있는 도구로서 네트워크 요소시스템의 기능성 검증 및 네트워크 운용성 검증 등을 제공할 수 있다. 한편 광인터넷 시뮬레이션 도구에 있어서 광인터넷의 표현 및 모델링은 주요한 요구사항 중의 하나이며 이는 DML(Domain Modeling Language) 기반의 네트워크 모델링 컴포넌트를 통하여 구성될 수 있다. DML 은 간단하면서 고급의 모델 정의 기능을 제공하고 인터넷과 같은 대규모 모델로의 확장이 용이하며 이종 엔진과의 시뮬레이션 모델교환 형식으로도 사용이 가능하므로, 광인터넷 시뮬레이션 도구에서 시뮬레이션 모델의 표현에 매우 적합하다. 따라서 이 논문에서는 광인터넷 시뮬레이션 도구에 적용 가능한 DML 기반 네트워크 모델링 컴포넌트를 설계한다.

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

기존에 사용되고 있는 XML 파싱 모델에는 Object 모델과 Push 모델이 있다. Object 모델은 문서내의 컨텐츠를 트리 구조로 변화하기 때문에 메모리의 사용이 않아지고 Push 모델의 경우 문서 내의 컨텐츠를 이벤트 처리하는 각각의 메서드를 이용함으로써 이벤트 처리의 지연 및 지연을 위한 메모리를 추가로 사용하는 등의 단점이 있다. 이를 해결하기 위해 Pull 모델이 등장했으나 DTD를 지원하지 않음으로서 XML 문서의 유효성을 검증할 방법이 없으며 파서의 기능이 미약하다. 본 논문에서는 Visitor 패턴을 이용하여 기존의 Pull 파서들이 가지지 못하던 XML 문서의 유효성 검증문제를 해결하고, 파서에 부가적인 기능을 하는 모듈을 추가하여 Interpreter시스템으로 확장 가능한 파서를 생성해 주는 XML Pull Parser Generator를 제안한다.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 2009.05a
• /
• pp.127-130
• /
• 2009

본 연구에서는 스마트 의류에 대하여 소비자들이 느끼는 지각된 가치가 소비자 수용도에 미치는 영향을 조사하고자 하였다. 이를 위해 MP3 기능 재킷과 심박 모니터링 스포츠웨어를 대상으로 소비자들의 수용도에 대한 연구모형을 수립하였고, 선행연구들을 근거로 각 구성요인 간의 관계에 대해 연구가설을 설정하였으며, 그 경로가설을 검증하였다. Davis(1989)가 제안한 TAM을 적용하여 스마트 의류의 수용과정을 설명한 결과 모형의 적합성을 검증하였으며, 8 개의 경로가설 중 6 개의 경로가 통계적으로 유의함이 밝혀져 채택되었다. 그 결과는, 첫째, 지각된 사용용이성은 유용성을 거쳐 태도에 간접적으로 영향을 주었고, 태도는 다시 수용의도에 영향을 주는 것으로 나타났다. 둘째, 지각된 유용성은 지각된 가치에 대한 태도에 영향을 주는 것으로 나타났으나, 스마트 의류의 수용의도에는 영향을 미치지 않는 것으로 분석되었다. 셋째, 지각된 가치가 스마트 의류에 대한 태도와 수용의도에 둘 다 영향을 미치는 것으로 나타났다. 넷째, 스마트 의류에 대한 태도는 구매의도에 영향을 미치는 것으로 나타났다.

• Proceedings of the KIEE Conference
• /
• 2001.07a
• /
• pp.75-80
• /
• 2001

EMTDC가 FACTS 기기와 같이 전력전자소자가 포함된 계통을 신뢰성 있게 해석 할 수 있고 또한 다양한 제어기능과 각종 스위칭 소자 모델을 제공 하기때문에 실계통에서 운용되고 있는 서대구 SVC 제어시스템을 EMTDC로 개발하였다. 모델 개발을 위하여 서대구 SVC의 제작사인 ABB에서 제공한 서대구 SVC의 기능, 구성 및 특성을 분석하였으며 개발된 EMTDC SVC 제어시스템 모델의 신뢰성을 검증하기 위하여 제작사에서 제공한 TNA 테스트 결과와 비교하여 모델의 정확성을 검증하였다.

• 한국IT서비스학회:학술대회논문집
• /
• 2009.05a
• /
• pp.81-84
• /
• 2009

우리나라에서는 2000년대 초반부터 u-City(유비쿼터스도시)라는 미래도시 모델을 정립하고 2008년에는 u-City에 관한 법률과 시행령을 제정 공포하여 u-City의 구축과 운영을 제도적으로 지원하고 있다. 다양한 목적과 지역적 특성에 맞게 u-City가 구축 운영되고 있지만, 표준 모델과 프레임워크가 정해져 있지 않은 상태이다. 한편, 지능형교통시스템(ITS, Intelligent Transport System)은 수년간 구축과 운영을 위한 표준모델과 프레임워크가 연구 검증되었으며, 최근 한국에서도 ITS 프레임워크와 관련하여 표준화된 모델이 제시되었다. 본 논문에서는 표준화되어진 ITS 프레임워크를 통해서 도시서비스를 구축 운영하는데 필요한 프레임워크의 구조와 기능을 파악하고, 2008년에 제안한 u-City 제공 서비스 프레임워크(UCSF)를 비교하여 UCSF의 구조와 기능을 검증한다.