• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.40-42
• /
• 2002

CORBA나 DCOM과 같은 개발환경을 기반으로 한 컴포넌트 기반 개발(CBD : Component Based Development)은 광범위한 소프트웨어 재사용을 유도한다. 하지만 컴포넌트의 개발 과정 중 영세 및 설계 단계에서 그 컴포넌트가 과연 실행이 가능한 것인지, 오류는 없는지를 명확하게 알 수 있는 방법이 없다. 컴포넌트의 개발 초기 단계에서 그에 대한 검증의 과정을 통하여 논리적 설계 오류를 초기에 피드백할 수 있는 기회를 얻을 수 있을 뿐만 아니라 개발하고자 하는 컴포넌트의 품질을 보장할 수 있게 된다. 본 논문에서는 비동기 시스템 컴포넌트 소프트웨어 개발에서 개발의 초기에 발생될 오류를 발견하기 위해 검증 언어인 PROMELA(Process Meta LAnguage)로의 변환과 LTL의 제약사항을 적용하여, SPIN을 통해 명세의 일관성을 검사하고 정확성을 검증하는 방법을 제안함으로써 생산비를 감소시키고 안정성과 정확성 그리고 신뢰성을 가진 컴포넌트 소프트웨어를 개발할 수 있다.

• Annual Conference on Human and Language Technology
• /
• 2009.10a
• /
• pp.191-196
• /
• 2009

본 논문에서는 자바 기반의 품사부착 코퍼스 작성 도구를 제안 및 구현한다. 본 시스템에서는 각 사용자가 독립적으로 실행하지만 주요 데이터베이스는 서버에서 관리함으로서 지식을 공유할 수 있고, 품사부착 작업에 있어 사전에 만들어진 어절 후보로부터의 선택 및 사용자 입력이 가능하도록 한다. 고빈도 오류어절의 자동 표시 기능, 용례 검색을 통한 도움말 기능, 코멘트를 기반으로 구성된 집단 지식을 이용한 도움말 확장 기능 및 사전 검색 기능을 구현한다. 또한, 일관성 검사를 통해 품사부착 결과에 대한 신뢰도 증가 및 작업의 편의성을 증대시킬 수 있도록 설계한다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.4 no.4
• /
• pp.281-286
• /
• 2009

For the development of application program on mobile device, standardized visual UI is very important to user in addition to functional implementation of service. The UI can give not only more convenient usage to consumer but also an positive impact on the marketing of manufacture or vendor. Generally, in order to make a good UI style, the development of application program should have consistency between most of developers and sometimes require the unique style. But it is difficult to satisfy the requirement by only oneself development of application program. In this paper, we suggests the design of graphic middleware, which helps to make consistent and unique UI style. It can be used for the design of all applications to be included in the mobile device.

• Journal of Korean Society of Transportation
• /
• v.26 no.3
• /
• pp.187-197
• /
• 2008

While driving a highway, A driver gets lots of information through geometrical structure, traffic situation, signs on the road. He gets most of the information by visual sense. Acceleration or deceleration and driving direction depend on sight distance. Therefore, it's essential to secure a driver's sight distance for a safe drive. However, design guides of geometrical structure and sight distance suggest respective standards of horizontal and vertical alignment. They do not indicate quantitative standard of combined alignment. Currently, element separated on a two-dimensional projected plane are available, but they do not guarantee safe and pleasant design. I will use the existent model analysing three-dimensional sight distance through mathematical calculation and sort a variety of geometrical structure element and type. In these researches, we will look at how much three-dimensional sight distance is overestimated or underestimated compared to two-dimensional. I will develop a program which predicts traffic velocity on the curvature of two-lane provincial road. stopped sight distance and three-dimensional sight distance will be compared at a predicted drive velocity. I will suggest the way to evaluate road consistency.

• Proceedings of the Korea Water Resources Association Conference
• /
• 1992.07a
• /
• pp.375-382
• /
• 1992

국내외 비유사량 추정방법에 대하여 심도있게 조사하였다. 지금까지 우리나라 댐 계획시 이용됨 비유사량 추정방법을 검토한 결과, 유사량 자료의 부족과 적절한 비유사량 추정방법의 결여로 각 댐의 비유사량 추정은 일관성이 없이 대부분 댐 설계자의 경험과 주관에 의하여 결정된 것으로 나타났다. 따러서, 본 연구에서는 새로운 비유사량 추정에 관한 1단계 연구로서 국외의 비유사량 추정방법을 조사,분석하고 국내 가용자료의 한계를 고려하여 새로운 비유사량 추정방법의 개발방향과 방법을 제시한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.11a
• /
• pp.466-469
• /
• 2003

PC의 컴퓨팅 능력과 네트워크 성능이 급속도로 향상됨에 따라 이러한 인프라를 바탕으로 떠오르고 있는 Peer-to-Peer (P2P) 시스템은 자원의 복제 및 공유를 통하여 컴퓨팅 시스템 전반에 걸친 신뢰성과 결함감내 능력을 향상시킨다. 그러나 현재까지 연구된 P2P 네트워크는 각 노드가 복제한 데이터의 일관성 유지를 위해 필요한 그룹통신에 대한 고려가 부족하다. 본 논문은 SpanningTree 방식의 링 구성을 통하여, P2P 시스템에서의 그룹통신을 위해 설계된 메시지 전송 방식을 설명하고 기존 P2P 메시지 전송방식과의 비교를 통하여 성능향상의 근거를 보인다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.349-352
• /
• 2005

USE는 OCL(Object Constraint Language)로 작성된 UML 다이어그램의 제약조건을 검증해볼 수 있는 가장 뛰어난 도구이다. USE는 다이어그램에 적용되는 제약조건을 미리 저장해두고 검증 다이어그램을 명령어 형태로 입력받아 정확성 또는 일관성을 검증하는데 사용된다. 본 연구에서는 이러한 검증과정의 복잡함을 줄이기 위하여, UML 모델링 시에 검증 대상이 되는 다이어그램의 USE 명령어를 생성하는 효율적인 도구를 설계하고 구현한다.

• Proceedings of the Korea Concrete Institute Conference
• /
• 1996.10a
• /
• pp.433-439
• /
• 1996

본 논문에서는 스트럿-타이 모델을 이용한 콘크리트 구조물의 설계 및 해석과정에서 필요로 하는 스트럿 유효강도의 결정 및 절점영역 지지력의 검토를 일반적이고 일관성 있게 수행할 수 있는 방법을 제안하였다. 콘크리트 스트럿의 유효강도는 스트럿-타이 모델의 스트럿 영역에 해당되는 유한요소들의 주응력비를 고려하여 결정하였으며, 스트럿의 기하하적인 형상을 이용하여 형성된 절점영역의 지지력은 조합응력을 받는 콘크리트의 파괴기준을 고려하는 비선형 유한요소 해석을 이용하여 검토하였다. 제안한 방법을 예증하기 위해 실험된 철근콘크리트 보의 해석을 스트럿-타이 모델 방법을 이용하여 실시하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.181-183
• /
• 2004

본 논문은 하나의 도메인에 대해 서로 연관된 여러 개의 시소러스를 효율적으로 구축, 관리, 검색, 브라우징, 항해하기 위한 확장된 객체기반 시소러스 시스템을 제안한다. 이 시스템은 1) 대규모의 시소러스를 효율적으로 분산하여 구축할 수 있는 기능을 제공하고, 2) 구축된 시소러스간의 일관성 있는 검색, 브라우징, 항해를 제공한다 이러한 기능을 통해 사용자들은 내부적으로 분산된 시소러스를 하나의 시소러스처럼 이용할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.210-212
• /
• 1999

공간 데이터베이스 시스템에 관한 연구는 다양한 분야에서 진행되고 있으며 특히 공간 데이터베이스 시스템의 가장 중요한 응용인 지리정보시스템에 대한 연구가 중점적으로 이루어지고 있다. 지리정보시스템에서 이용되는 공간 객체는 Point, Lie, Region 등으로 분류되며 불규칙한 n차원의 가변 길이 속성을 가진다. 이는 또한 공간 객체간의 위상 관계와 위치 정보를 포함하여야 한다. 본 논문에서는 기존의 저장구조를 용이하게 확장 가능할 수 있도록 하는 관계표현을 이용한 공간 객체 데이터 구조를 제안한다. 제안된 구조는 공간 데이터와 속성 데이터를 효율적으로 연결시키며 공간 위상 관계를 유지하고 관리한다. 이는 도한 레이어 구조에서 관리되는 데이터에 의하여 공간 객체 간의 일관성을 유지시킨다.