• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.10a
• /
• pp.536-539
• /
• 2008

본 논문에서는 복잡한 구조의 멀티미디어 스트리밍 시스템을 단순하고 기본적인 작업 구조를 설계하고, 이 구조를 바탕으로 확장성과 이식성을 높일 수 있는 시스템 설계에 목적을 두고 있다. 따라서 복잡하고 확장성이 떨어지는 문제점을 해결하기 친하여 시스템의 처리 구조를 선형 작업 집합(LTS : Linear Task Set)모델로 제안하였다. 단순한 기본 구조를 바탕으로 일관성 있는 처리과정을 정의하고 단순한 시스템 구조에서 서비스의 목적과 요구사항에 따라 자유로운 구조 변경을 허용할 수 있도록 하였다. 또한 이 모델을 바탕으로 멀티미디어 스트리밍 서비스가 가능하도록 컴포넌트 시스템 모델을 제시하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.442-444
• /
• 2001

프로토콜은 서로 다른 원격 시스템간의 정보 교환을 원활하게 하기 위한 통신 규약이다. 일반적으로 프로토콜은 그 역할상 기능적 정확성이 절대적으로 필요한 대상이지만, 프로토콜 규격은 비형식적 텍스트 서술에 의존하기 때문에 소프트웨어의 설계에서 풀어야할 프로토콜 행위의 모호성과 불완전성을 낳게된다. 따라서, 프로토콜이 구현되기 이전에 프로토콜 규격에 대한 정확성, 완전성, 일관성 등을 조사, 분석하는 프로토콜 검증이 반드시 수반되어야 한다. 본 논문에서는 Telelogic사의 통신 시스템 통합 개발 도구인 SDT를 이용하여 현재 3GPP 진영에서 개발중인 IMT-2000/비동기식 무선 인터페이스 중 RRC 프로토콜을 SDL로 설계하고 정확성을 검증한다.

• Proceedings of the Korean Society for Information Management Conference
• /
• 1997.08a
• /
• pp.199-202
• /
• 1997

본 연구는 국내에서 제작한 데이터베이스의 품질을 평가하고자 4개의 문헌 데이터베이스를 선정하여 각 데이터베이스를 정확성, 일관성, 완전성, 현행성 등 네가지 기준에 따라 분석하였다. 실험결과는 각 평가기준별로 정리되었으며 그에 대한 최우선 대책을 제안했다. 데이터베이스의 품질은 정보 검색과 서비스에서 매우 중요한 것이므로 시스템 설계자나 이용자 모두 데이터베이스의 품질에 대해 넓은 안목을 갖추고 체계적인 분석을 수행하여야 하며 이와 함께 제도적인 뒷받침도 이루어져야 할 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04b
• /
• pp.96-98
• /
• 2000

현행 토지 지번 중심의 주소체계는 불규칙적인 지번의 배열으로 상호 연계성이 부족하여 사회적 비용이 발행, 이러한 문제 해결하고 국가경쟁력을 높이고자 선진국과 같은 체계적이고 합리적인 주소체계와 정확성, 일관성, 융통성, 경제성 등을 갖출 수 있는 도로방식에 의한 도로명과 건물번호를 체계적으로 부여하는 새로운 주소 체계를 도입하기로 하였다. 이에 본 논문에서는 새주소 사업에 있어 핵심이 되는 새주소 관리 시스템과 관리시스템의 부 시스템인 도로명판관리 시스템에 관하여 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10a
• /
• pp.557-562
• /
• 2006

최근 기업환경에서는 분산되어 있는 정보를 통합하여 정보 공유의 필요성이 증가함에 따라 기존 레거시 시스템간의 협업을 하기 위한 상호 운용이 강조되고 있다. 독립적인 레거시 시스템의 상호 연결을 위해서는 플랫폼 이질성, 의미 이질성 등을 극복할 필요가 있다. 이러한 문제를 해결하기 위해 ISO/IEC 11179에서 진행하고 있는 XMDR을 이용하여 미들웨어를 설계하였다. 설계한 미들웨어를 레거시 시스템에 적용하여 데이터 공유 및 통합의 일관성을 유지할 수 있게 되었다. 하지만 설계된 미들웨어는 각 노드의 자원 상황과 작업 상황에 대한 조정기능이 없기 때문에 정보 활용의 효율성을 보장할 수 없다. 따라서 레거시 시스템을 관리하고 조정하는 방안이 필요하다. 본 논문에서는 정보를 요청하는 요청 에이전트와 정보를 제공하는 정보 에이전트간의 정확한 정보 교환을 할 수 있도록 조정하고, 각 레거시 시스템의 정보 모니터링과 작업 분배 및 로컬 노드의 자원 관리를 담당하는 협력 에이전트를 설계함으로써 통합된 정보를 효율적으로 활용할 수 있도록 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.639-641
• /
• 2000

캐쉬를 사용하는 분산 공유 메모리 시스템에서는 캐쉬들 사이의 일관성 유지를 위한 지연 시간이 성능에 큰 영향을 미친다. 최근에는 각 공유 메모리의 일반적인 접근 패턴을 학습하여 일관성 유지의 예측적 수행을 가능하게 하는 메모리 공유 패턴 예측기가 연구되고 있다. 기존의 메모리 공유 패턴 예측기는 패턴 정보를 저장하기 위해서 모든 메모리 블락마다 예측 테이블들을 할당하지만 실제로 성능 향상에 도움을 주는 테이블들은 소수에 불과하다. 본 논문에서는 적은 양의 패턴 저장 공간을 사용하면서 기존의 예측기와 유사한 성능을 낼 수 있는 캐쉬 구조의 메모리 공유 패턴 예측기를 제안한다, 제안된 예측기에서는 좋은 성능을 내는 예측 테이블들을 선택적으로 저장하게 하는 효율적인 테이블 교체 기법이 요구된다. 본 논문에서는 LRU 교체 기법을 캐쉬 구조의 예측기에 적용시켰을 때의 문제점을 분석하고 제안된 예측기의 특성에 적합한 테이블 교체 기법을 제안한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2009.10a
• /
• pp.253-256
• /
• 2009

Synchronization system which applies to two-way synchronization of spatio-temporal in the mobile environment maintains a consistence of DB from some defect during synchronization. This study analyzes defects that are generated at the mobile client-server environment and proposes recovery protocol which can rerun consistence of DB and synchronization.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04b
• /
• pp.102-104
• /
• 2000

우리나라의 지번체계는 인구증가와 경제발전에 따른 도시의 팽창과 각종 개발사업에 따른 토지의 등록, 분할 및 합병 등이 빈번하게 발생함에 따라서 불규칙하고 불합리하게 지번이 부여되어 왔다. 이에 따라 선진국과 같은 체계적이고, 합리적인 주소체계의 필요성이 꾸준히 대두되어 왔으며 정확성, 일관성, 유통성, 경제성, 검색성 등의 여러 가지 특성을 갖출 수 있는 도로방식에 의한 도로명과 건물번호를 체계적으로 부여하는 새로운 주소체계를 도입하기로 하였다. 이러한 이유로 필요성이 높아지고 있는 새주소 관리 시스템은 크게 4개의 부시스템으로 나누어지는데 본 논문에서는 이러한 4개의 부시스템 중에서 도로 관리 시스템 대하여 새주소 부여 체계와 원칙에 따라 설계하고 MAPINFO 와 MAPBASIC 언어를 이용하여 구현한다.

• The KIPS Transactions:PartD
• /
• v.10D no.6
• /
• pp.971-982
• /
• 2003

The consistency of UML diagrams is a nature for checking whether diagrams are coherently designed with only one requirements and the correctness of UML Diagrams, especially it uses OCL(Object Constraint Language) which is standard constraint language in UML. Firstly we devise metamodels that are described with conponent and relationships, then we derive verification rules from each matamodels for verifying correctness and consistency, and then we formally specify the rules with OCL for automatic verification. Finally we verify the rules with USE TOOL.

• Computational Structural Engineering
• /
• v.6 no.1
• /
• pp.117-125
• /
• 1993

In general, the strength and stiffness of laminated composite cylindrical shells are very sensitive to the variation of slenderness parameters, some coupling-stiffness parameters, lamination angles, stacking sequence and number of layers. In this paper, the effects of these factors on the strength and buckling reliabilities of GFRP laminated cylindrical shells are investigated based on the proposed strength and buckling limit state models. As these factors have various and complicated effects on the strength and buckling reliabilities of GFRP laminated cylindrical shells, the results should be incorporated into the design formula such that optimum design technique and design code which provide uniform consistent reliability for balanced design in practice