• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.1418-1420
• /
• 2004

비정형적인 방법에 의해 설계되어진 프로토콜은 불확실성과 오류를 내포하고 있을 수 있으며, 이러한 특성은 프로토콜의 안전성에 매우 심각한 영향을 미치게 된다. 또한 구형되어진 프로토콜 명세에 만족하게 구현되어졌는지를 확인하는 것 또한 프로토콜 엔지니어링에서 매우 중요한 부분이다. 즉, 프로토콜 명세의 정형검정과 적합성 시험은 프로토콜 개발 과정에서 매우 중요한 부분이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델에 대한 적합성 시험을 위하여 프로토콜 제어흐름을 IOFSM으로 모델링하였으며, 이 명세로부터 UIO 방법에 의한 적합성 시험계열 생성방법을 제시하였다. 또한, 프로토콜 검정 및 적합성 시험 방법을 실제 프로토콜의 정확성을 분석하는 데 사용할 수 있도록 프로토콜 검정기와 시험기를Windows 환경하에서 GUI기능에 의해 Window상에 구현되도록 하여 프로토콜 명세의 정확성을 평가할 수 있게 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.694-696
• /
• 1999

본 논문에서는 전략적 경영정보시스템의 구축 방법론에 입각하여, 현재 교육부 주관 하에 보급되고 있는 '초.중등학교 종합정보관리시스템'을 분석하고 재설계 방안을 도출하였다. 초.중등학교의 내적 외적 환경, 교육의 비전과 목표, 주요 성공요인, 주요 업무상관도, 핵심 업무프로세스 등을 분석하여, 현재 보급 중인 시스템의 학교 적합도를 가늠하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.419-421
• /
• 2003

본 논문에서는 진화 연산 기법을 이용한 자연어 구운 분석 기법을 제시한다 기존의 확률 문맥 무관문법(PCFG)에 관한 연구는 차트 파싱 방법을 구문 분석을 위한 기법으로 가정하고 있다. 하지만, 차트 파싱은 문장의 길이가 늘어날수록 복잡도가 크게 증가하는 문제를 안고 있다. 따라서, 차트 파서의 대안으로서 진화 연산 기법을 사용하여 이 문제를 해결하였다. 진화 연산의 적합도 함수로는 생성된 파스트리의 확률을 사용하였다. 작은 규모의 자연어 문제에 적용한 결과, 진화 연산이 파싱 문제를 성공적으로 해결할 수 있음을 확인할 수 있었다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.11a
• /
• pp.95-100
• /
• 2001

본 논문은 시간에 따라 변하는 스크린 이미지의 스트리밍에 적합한 이미지 압축 및 저장 방법을 세안하는 것이다. 이를 위하여 시간에 따라 변화하는 스크린 이미지의 특성을 일반 동영상과 비교하여 분석하였으며, 분석 결과에 의거하여 스크린 이미지의 스트리밍에 가장 적합한 압축 및 저장 방법을 제안하였다. 제안된 방법들은 스트리밍 데이터를 효과적으로 지원하는 DirectShow의 구조에 따라 구현되었으며, 구현된 내용을 보인다. 제안된 방법의 유용성을 보이기 위하여, 구현된 시스템 상에서 압축 성능이 측정되었으며 그 결과를 설명한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.11-17
• /
• 1995

이동가입자 수신단에서의 평균 수신전력 레벨이 핸드오버 임계값과 수신기 임계값 사이에 있는 영역을 핸드오버 영역이라 하며, 가입자가 핸드오버 영역에 머무르는 시간을 핸드오버 지속시간(Handover Duration Time)으로 정의한다. 시뮬레이션 분석 결과 핸드오버 지속시간은 감마분포를 따름이 입증되었으며, 따라서 본 연구에서는 감마분포에서의 모수(shape, scale 파라메터)를 해석적 방법으로 구한다. 그리고 해석적 방법의 검증을 위해 평균과 표준편차, 모수를 시뮬레이션 결과와 비교하며, 끝으로 적합도 검정을 수행하였다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2001.11a
• /
• pp.51-55
• /
• 2001

늘어가는 정보통신 서비스에 대한 수요를 만족시키기 위하여 현재 유·무선망을 통합하며 지상망과 위성통신망을 연동하는 방안이 사용되고 있다. 위성통신망은 여러 단말들로 구성되어 있으며, 무선 환경에 노출되어 있어 위성통신망 단말들 사이의 보안이 필수적인 요구된다. 따라서 본 논문에서는 Pull과 Push 형태의 두 가지 키 분배 모델과 대칭키, 비대칭키 암호화 알고리즘을 사용하여 위성통신망에서 적합한 단말간 키 분배 모델을 제안하며 그 성능을 분석함으로써 위성통신환경에서의 적합성을 검증하였다.

• 한국정보교육학회:학술대회논문집
• /
• 2006.08a
• /
• pp.87-93
• /
• 2006

본 연구는 프로그래밍의 기초 개념과 프로그램 작성 전 매우 중요한 비중을 차지하는 순서도를 활용하여 초등학교 학생에게 적합한 프로그래밍 기초학습 내용을 선정하고 협력학습을 통한 프로그래밍 기초 학습 수업을 설계하여 성취도에 대한 영향을 분석함으로 초등학교 학생들의 체계적인 프로그래밍 학습 방법을 모색하여 초등학교에서의 적합한 프로그래밍 교육 과정의 일부를 제시하고자 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10e
• /
• pp.448-450
• /
• 2002

본 논문에서는 이동통신 환경에 적합한 키 교환 프로토콜의 기본적인 보안 요소와 요구되는 사항들을 살펴보고 기존의 키 교환 프로토콜들을 분석하여 제시한 보안 요소의 만족여부를 살펴본다. 또한 이를 기반으로 이동통신 환경에 적합한 End-to-End 키 교환 프로토콜을 제안하고 이를 기존의 키 교환 프로토콜들과 비교 분석한다. 제안된 키 교환 프로토콜은 이동통신 단말기에서의 공개키 연산과 교환되는 메시지 수를 줄여 기존의 키 교환 프로토콜과 비교해 볼 때 보다 더 효율적이다.

• 한국IT서비스학회:학술대회논문집
• /
• 2006.11a
• /
• pp.80-85
• /
• 2006

현재 많은 인터넷 콘텐츠 서비스가 다양한 방식의 유료 서비스로 제공되고 있지만 다양하고 복잡한 콘텐츠 서비스의 특성상 가격 책정에는 많은 어려움이 있다. 본 연구는 인터넷 영화관을 대상으로 하여 사용자들이 서비스를 선택할 때 가장 고려하는 속성을 분석하고 속성과 속성 수준을 설정한 프로파일들의 가격반응함수를 구하였다. 또한, 선형${\cdot}$곱셈${\cdot}$유인${\cdot}$구텐베르그 모델 중 가장 적합한 모델을 추정하고 독점 영역과의 관계를 살펴봄으로써 각 기업들이 서비스의 가격을 책정함에 있어서 가장 수익성 높고 적합한 전략을 설정할 수 있도록 방향을 제시하였다.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.31 no.3
• /
• pp.79-99
• /
• 2020

The purpose of this study is to investigate the model of cluster analysis techniques for grouping public libraries and analyze their characteristics. Statistical data of public libraries of the National Library Statistics System were used, and three models of cluster analysis were applied. As a result of the study, cluster analysis was conducted based on the size of public libraries, and it was largely divided into two clusters. The size of the cluster was largely skewed to one side. For grouping based on size, the ward method of hierarchical cluster analysis and the k-means cluster analysis model were suitable. Three suggestions were presented as implications of the grouping method of public libraries. First, it is necessary to collect library service-related data in addition to statistical data. Second, an analysis model suitable for the data set to be analyzed must be applied. Third, it is necessary to study the possibility of using cluster analysis techniques in various fields other than library grouping.