• Journal of Internet Computing and Services
• /
• 제8권4호
• /
• pp.159-171
• /
• 2007

This paper proposes a software tool MADE that is useful to develop a practical Korean morphological analyzer. A morphological analysis is performed by using adjacency conditions provided by a morphological dictionary. This means that developing a morphological analyzer is reduced merely to constructing a morphological dictionary. No programming skill is required in this process, MADE provides with useful functions that facilitate the construction of a dictionary. Once a dictionary is constructed, the morphological analysis engine embedded in MADE may be used as a stand-alone morphological analyzer or be integrated into an application software which requires a Korean morphological analysis module.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(D)
• /
• pp.281-282
• /
• 2011

유비쿼터스 환경의 발달과 함께 내장형 장치에서도 광대역 IP 망을 통한 네트워킹의 중요성이 부각되었다. 내장형 시스템은 데스크탑과 비교할 때 전력, 처리 능력, 메모리 크기 등의 가용 자원이 제한되기 때문에 내장형 시스템의 자원 제약을 고려한 경량화된 네트워크 프로토콜이 연구되어 왔다. 기존의 소프트웨어 기반 경량 IP는 실시간 운영체제를 전제하고 있으며 플랫폼 독립성을 고려하여 설계되었다. 본 논문에서는 운영체제가 없는 내장형 시스템에 최적화된 경량 IP를 제안한다. 또한 이를 LTE 네트워크 계측기에 적용시켜 제안 기법의 성능을 검증하였다.

• Smart Media Journal
• /
• 제4권4호
• /
• pp.47-55
• /
• 2015

Recently, the computing paradigm has been changing and VoIP technology is being revisited to support various services in ICT field. In this paper, we have designed and implemented the systems of software PBX open source Asterisk using light-weighted virtualization Docker technique, hardware platform, and mobile devices to support voice service based on secured mobile VoIP. And we verified the delay test of network traffics and the secured voice communication test in global real network environment.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.558-560
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)에 대해서 기술한다. ATM 은 임무 위급 시스템과 같은 실시간 시스템을 명세, 분석 및 검증할 수 있는 정형 기법이다. ATM 은 모드(mode), 전이(transition), 포트(port)로 구성된다. 모드는 머신의 압축된 상태를 의미하고 전이는 모드와 모드 사이의 변화를 말한다. 포트는 ATM 들 사이의 상호작용을 위한 진입을 나타내기 위한 것이다. ATM 은 소프트웨어 순환 공학을 위해 디자인 되었다. ATM은 재/역공학적 측면에서 계산 이론과 더불어 기존의 실시간 시스템의 소스코드에 대한 디지안 및 환경 정보를 나타낸다. 본 논문은 병렬성, 병렬적으로 동작하는 엔터티들 사이의 제어 정보이 흐름, ATM 타입과 클래스로부터의 인스턴스, 비/동기적 이벤트, 포트와 이벤트 타입, 포트의 타입, 통신, 입/출력, 예외처리, 시간에 관한 요구사항, 다수를 대상으로 하는 통신 주기적 작업등과 같은 ATM의 여러 개념을 기술하고 이러한 속성들을 Producer-Buffer-Consumer 예제로 살펴본다.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.421-423
• /
• 2005

소프트웨어 산업 사회에서 프로젝트의 품질과 생산성을 높이는 문제에 대한 여러 가지 방안들을 제시하고 있으며, 컴포넌트 기반 개발 프로세스 역시 생산성 향상에 대한 가능성을 제시하고 있다. 하지만 고객 니즈에 맞는 고품질의 프로젝트를 수행하기 위해서는 체계적인 관리 프로세스가 필요하며 더욱이 컴포넌트 호환 및 상호 운용에 대한 문제점을 해결하기 위한 많은 노력이 필요하다. 본 논문에서는 이러한 문제점들을 해결하기 위한 노력들 중의 하나로 Six Sigma와 OMG의 MDA(Model Driven Architecture) 기술을 이용하여 특정 도메인의 모델 변환(Model Transformation) 구조를 구현하고, 최적화된 Six Sigma관리 프로세스를 적용한 실제 사례를 통하여 프로젝트의 품질과 생산성 망상에 대한 결과를 측정하여 그 효과에 대해서 검증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.142-144
• /
• 2006

모델 체킹(model checking)은 자동으로 소프트웨어의 속성을 검증하는 기법으로 그 필요성이 꾸준히 증가하고 있다. 시스템이 특정 속성(property)을 만족하지 않는 경우 모델 체커는 반례(Counterexample)를 생성하게 된다. 반례는 오류가 발생한 원인을 담고 있는 정보로서 오류를 이해하고 수정하는 작업에 많은 도움을 준다. 하지만 반례가 너무 길거나 이해하기 어려운 경우에는 분석에 많은 시간과 자원이 소요되기도 한다. 따라서 자동적으로 반례 안의 오류를 찾아내고 설명을 제공하는 기법의 필요성이 대두되고 있다. 본 논문에서는 추상모델(abstract model)에서 생성된 반례의 오류의 원인을 밝히는 자동화 기법을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.241-243
• /
• 2006

소프트웨어의 재사용으로 인한 생산성 향상을 기대하면서, 컴포넌트 기반 개발(Component Based Development)에 관련한 연구가 지속적으로 이루어지고 있으며, 그 중 컴포넌트의 테스트 연구는 컴포넌트를 배포하고, 재사용하기 위해 검증하는데 기여하며 발전해 왔다. BIT(Built-In Test)와 컴포넌트 테스트를 위한 래퍼 클래스에 관한 연구가 대표적이다. 본 논문에서는 테스트 모듈의 산재를 방지하고, 유지보수성과 추적성 개선을 위해 테스트 프로세저를 모듈화하는 방안을 연구하였으며, 이를 위해 관점 지향 프로그래밍 개념을 도입하였다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 한국전산구조공학회 2011년도 정기 학술대회
• /
• pp.307-310
• /
• 2011

본 연구에서는 항만 구조물의 구조건전성 모니터링을 위한 Imote2 센서 플랫폼 기반의 스마트 무선센서의 적용성을 평가하였다. 이를 위해 먼저, 고민감도 MEMS 가속도계를 탑재한 Imote2 센서 플랫폼 기반스마트 무선센서를 설계하였다. 둘째, 스마트 무선센서노드의 독자적인 구조 상태 모니터링을 위한 내장소프트웨어를 설계하였다. 마지막으로, 모형 케이슨 구조물의 진동실험을 통해 개발된 스마트 무선센서의 성능을 검증하였다.

• Proceedings of the KIPE Conference
• /
• 전력전자학회 2008년도 하계학술대회 논문집
• /
• pp.292-294
• /
• 2008

최근 환경 파괴와 에너지 고갈에 대한 문제들이 사회의 큰 문제로 대두 되면서 풍력발전의 중요성이 증가하고 있다. 본 논문에서는 LabVIEW를 이용하여 이더넷(Ethernet) 환경에서의 풍력발전 원격감시 제어시스템을 구현하였다. 제안된 원격감시 제어시스템은 풍력발전 시스템의 MCU와 W5100의 SPI(Serial Peripheral Interface)를 통한 이더넷 통신용 하드웨어를 구축하였으며, NI사의 LabVIEW를 이용하여 서버상의 HMI(Human Machine Interface) 소프트웨어를 구현하였다. 본 연구의 실험을 위해 영구자석형 동기 발전기(PMSG:Permanent Magnet Synchronous Generator)를 이용하여 풍력발전 시스템 모델을 구현하고 이를 이용하여 원격감시 제어시스템의 성능을 검증하였다.

• Journal of KIISE:Software and Applications
• /
• 제27권9호
• /
• pp.931-941
• /
• 2000

본 논문은 가상환경 속에서 사용되는 다감각(시각, 청각, 후각, 촉각)요소가 현실감에 끼치는 영향력을 평가한다. 이번 실험에 80명의 피실험자가 참여하였으며, 여러 감각 요소들을 조합한 가상환경을 경험하게 하여 얻은 실험 데이터를 분석함으로써 각 요소들의 영향도를 평가한다. 주된 평가 요소는 가상 현실 환경 속에서 피실험자가 주관적으로 느끼는 현심감과, 감각 요소들이 피실험자들의 기억력에 미치는 영향도를 객관적으로 측정한 결과를 가지고 분산분석법을 사용하여 검증하여 본다. 이번 실험을 통하여 우리는 이러한 다중 감감 요소들이 단일한 감각요소가 있을 때에 비하여 가상 환경 속에서의 사물에 대한 기억력과 현실감을 증가시킬 수 있다는 결과를 얻는다. 또한 피실험자가 느꼈던 가상환경 속의 현실감과 사물에 대한 기억력에 대하여, 시각적인 요소를 증가시키는 것보다 그 외의 다른 요소(청각, 후각, 촉각)들을 첨가시키는 것이 현실감과 기억력을 배가시키는 요소로써 더 효과적이고 민감하게 반응한다.