• Journal of Gifted/Talented Education
• /
• v.24 no.6
• /
• pp.975-1000
• /
• 2014

This study is a case study about the status of science gifted follow-up management systems for nation-level institutes for gifted and talented education. The aim of the study is to develop the theoretical model that establishes the basis of follow-up management systems for scientifically gifted to support in order to grow the beneficiaries of nation- level scientifically gifted education into globally competitive talented. Specifically, this study says the components of the systematic and efficient structure for nation-level gifted follow-up management. For this, we collect the experts' opinions on gifted education for follow-up management of the beneficiaries on national level science gifted, and gifted and talented education institutions conducted the case study for follow-up management. The collecting of experts' opinion have participated 11 persons, and 6 institutes were involved in the case study of follow-up management institutes. As a result, it reports for scientifically gifted follow-up management systems to be made by forming of the upper systems and each lower systems. Resources system was found to be composed of human information system and education information system. Operating system was found to be composed of input system, analysis system, and management system. Application system was found to be composed of prediction system, verification system and improvement system.

• Journal of Korean Library and Information Science Society
• /
• v.35 no.1
• /
• pp.19-49
• /
• 2004

This study intends to develop a model of nation-wide library cooperative system for Korea. It analyzes and investigates the definitions, types and models of library cooperation; and current status and problems in operations of major cooperative systems in Korea and other nations. There are some cooperative systems such as cooperative system for public libraries operated by the National Library of Korea and other systems based on their regions or library types in Korea. New model of nationwide cooperative system can improve library functions through many cooperative plans.

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

무선 센서 네트워크는 유비쿼터스 컴퓨팅에서 생활 환경과 컴퓨터 사이의 중계자 역할을 하는 매우 중요한 연구 분야이다. 매우 제약적인 자원 환경에서 동작하여야 하는 센서 노드의 동작 환경적 특성 때문에 제한된 자원을 효율적으로 관리할 수 있는 센서 노드용 운영체제가 요구된다. 센서 노드는 제약적인 자원을 가지고 있지만 데이터 수집, 데이터 프로세싱, 다른 노드로부터 수신된 데이터의 전달 등 여러 가지 작업들이 동시에 발생된다. 기존의 범용 센서네트워크 운영체제에서는 극도로 제한된 자원을 최대한 효율적으로 사용할 수 있는 방법에 대하여 주로 연구해 왔다. 무선 센서 네트워크의 응용 범위가 점차 넓어지고 있다. 방사능 감지와 같이 실시간성을 요구하는 응용분야들이 생겨나기 시작하면서 센서 네트워크에서도 실시간성의 필요성이 대두되게 되었다. 실시간 센서 네트워크 연구 분야에서 실시간 통신 프로토콜의 연구 결과가 발표되고 있지만, 실시간 운영체제의 지원없이 완전한 실시간성을 보장하기 힘들다. 하지만 센서 노드용 실시간 운영체제에 대한 연구는 아직까지 활발히 진행되지 않고 있다. 본 논문에서는 정시성을 보장하는 분산 객체 모델인 TMO를 센서네트워크의 제한된 자원 환경에 알맞도록 경량화 시킨 $\mu$TMO 모델을 제시하고, 센서 노드용 운영체제에 $\mu$TMO 모델 을 적용하여 실시간성 지원에 따른 오버헤드를 감소시킨 실시간 센서 네트워크 운영체제의 구조를 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04d
• /
• pp.94-96
• /
• 2003

맡은 사용자 영역의 프로그램들이 확장성과 성능 향상을 목적으로 다중 프로세스 모델에서 다중 스레드 모델로 바뀌고 있다. 웹 서버도 폭발적으로 증가하는 사용자 요청을 수용할 수 있도록 확장성과 성능 향상을 위해서 다중 스레드 모델을 적용하였다. 본 논문에서는 다중 프로세스 모델을 적용한 웹 서버와 다중 프로세스/다중 스레드 모델을 적용한 웹 서버에 대한 성능을 여러 운영체제 환경에서 평가하였다. 실험 결과 전체적으로 다중 프로세스 모델이 다중 스레드 모델보다 더 좋은 성능과 안정성을 보였다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.8 no.2
• /
• pp.47-66
• /
• 1998

CALS체제의 구축에 있어 역기능으로 인한 여러 가지 문제가 대두되고 있다. 본 논문에서는 CALS정보보호 위협 요소를 비롯한 정보보호 서비스와 메커니즘을 분석하고 CALS를 안전하게 구축하기 위한 정보보호 모델과 시뮬레이션 단계를 예시하였다. CALS체제의 위협 요소, 보안 목적, 구현 자정요소, 지원 보안 메커니즘을 설정하여 제안된 CALS정보보호 모델은 4개의 서브 모델인 전송모델, 키관리 모델, 감사 모델, 통합 데이터 베이스 연계 모델로 수성하였으며 구현을 위한 모듈로 보안관리부, 디렉토리 서비스 에이전트와 인증국을 포함하는 키관리부, 분산 환경에서의 보안 감사부, 통합 데이터베이스 관리부로 나누어 제시하였다.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.11 no.2
• /
• pp.73-81
• /
• 2011

In this paper, we studied on the building models of open educational resource service system for download or upload their own educational content to be shared with the others without worrying about copyright infringement. We first analyzed the building models of the international OER(Open Educational Resource) service sites. And then, based on these results, we present the new service models suitable to be built the open educational resource service system in phases. The proposed models have the flexibility to accommodate the needs of users and have the advantage that the copyright-related issues of the existing 'National Educational Information Sharing System' could be solved step by step.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.874-876
• /
• 2005

무선 센서 네트워크는 최근 대두되고 있는 유비쿼터스 컴퓨팅의 연구에 힘입어, 군사용의 목적으로만 사용되던 과거와는 달리 다양한 분야에서 많은 연구가 진행되고 있다. 센서 네트워크는 제한적인 자원을 가진 노드에서 데이터 감지로 인한 이벤트, 데이터 프로세싱 그리고 노드들 간의 통신이 동시에 발생하므로 병렬처리 기능과 실시간성을 가진 운영체제가 필수적으로 요구된다. 하지만 현재 연구되고 있는 센서 네트워크를 위한 운영체제들은 이러한 요구를 만족시켜 주지 못하고 있는 실정이다. 우리는 본 논문에서 정시보장, 분산환경의 특징을 갖는 분산 실시간 객체모델인 TMO 모델을 적용하여 실시간성을 보장해주는 센서네트워크 운영체제를 제안 한다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.12
• /
• pp.630-640
• /
• 2007

As the range of sensor network's applicability is getting wider, it creates new application areas which is required real-time operation, such as military and detection of radioactivity. However, existing researches are focused on effective management for resources, existing sensor network operating system cannot support to real-time areas. In this paper, we propose the ${\mu}TMO$ model which is lightweight real-time distributed object model TMO. We design the real-time sensor network operation system ${\mu}TMO-NanoQ+$ which is based on ETRI's sensor network operation system Nano-Q+. We modify the Nano-Q+'s timer module to support high resolution and apply Context Switch Threshold, Power Aware scheduling techniques to realize lightweight scheduler which is based on EDF. We also implement channel based communication way ITC-Channel and periodic thread management module WTMT.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.267-270
• /
• 2004

실시간 운영체제는 임베디드 환경에서 매우 중요한 소프트웨어 컴포넌트이다. 임베디드 실시간 운영체제는 고안전성 시스템이나 유비쿼터스 시스템 내에서 강하고(Robust), 신뢰성(Reliable)있고, 안전한(Safety) 특성을 지녀야 한다. 근래에는 이러한 실시간 시스템을 UML 과 같은 모델 기반의 방법으로 설계하고 코드 생성을 통해 구현까지 이끄는 모델 유도 공학(Model Driven Engineering: MDE)[1]을 통해서 개발하고 있다. 이러한 MDE 의 모델은 대부분 UML 기반의 언어를 사용하여 아키텍처를 구성하고 설계하여 코드를 생성하여 구현 코드를 생성해 낸다. 본 논문에서는 이러한 MDE 의 비정형적 언어를 대신하여, 정형명세 언어를 사용하여 실시간 시스템의 모델을 설계하고 이를 검증하여 실시간 운영체제를 개발하는 방법론을 기술한다. 이렇게 함으로써 보다 엄격한 언어를 통해 시스템의 설계의 모호함이나 모순을 없애고, 수학적 기반의 검증을 통해 보다 안전하고 신뢰성 있는 시스템을 구현하자 한다.

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

최근 유비쿼터스 컴퓨팅의 핵심인 센서 네트워크에 많은 관심이 집중되고 있다 센서 네트워크를 구성하는 요소 중 센서노드에 탑재되는 운영체제의 경우, 제한된 컴퓨팅 자원을 가지는 센서 네트워크의 특성상 효율성, 초경량성, 실시간성, 병렬성, 이벤트 기반, 저전력, 재사용성, 프로그래밍 용이성, 그리고 이식성과 같은 요구사항들을 가진다. 본 논문에서는 이러한 요구사항들을 기반으로 (1) 유한상태기계(finite state machine)에 기반 한 컴포넌트 소프트웨어 모델을 정의하고, (2) 이러한 컴포넌트를 효과적으로 수행시킬 수 있는 실시간 운영체제를 제안한다.