• 한국인터넷방송통신학회논문지
• /
• 제15권3호
• /
• pp.137-141
• /
• 2015

모바일 클라우드 컴퓨팅은 모바일 기기의 자원 제약적인 문제를 해결하기 위해 클라우드 서비스를 활용한다. 이렇게 모바일 기기에서 수행해야할 작업을 클라우드로 위임하는 것을 오프로딩이라고 하고 에너지 소모의 관점에서 많은 연구들이 진행되고 있다. 본 논문에서는 응답 시간의 관점에서 오프로딩 기법 적용의 효율성을 측정하기 위해 센 싱 데이터 동기화를 고려한 응답 시간 모델을 설계하였다. 제안 모델에서는 클라우드에서 모바일 기기가 요청한 작업 을 처리할 때 필요한 센싱 데이터에 대한 동기화 작업을 고려하여 정교한 응답 시간 예측을 가능하도록 했으며 모의실험을 통해 새로운 센서 데이터의 발생 비율과 동기화 주기가 응답 시간에 어떤 영향을 주는지를 확인하였다.

• 산업공학
• /
• 제12권2호
• /
• pp.305-311
• /
• 1999

Robot task program is needed to control and manage a Robot without explicitly describing the robot program by user which includes commands, procedures, geometric and signal data in the detail level. To use the Robot task program, a computer system is required to convert the Robot task into the Robot program, which can be understood by the Robot. In this paper, the systemic method for automatic generation of explicit Robot programs (ERP) from task-level commands is described. Specifically, a 3-step procedure including Robot task decomposition, task synchronization and ERP generation is presented.

• 한국정보과학회논문지:시스템및이론
• /
• 제36권4호
• /
• pp.291-303
• /
• 2009

라운드 로빈 기반 비례지분 스케줄링(Round Robin based Proportional Share scheduling, RRPS)은 각 태스크에게 지분(share)을 결정하는 비중(weight)이라는 속성을 정의하고 각 태스크의 비중에 비례하여 CPU 자원을 할당한다. 라운드 로빈 기반 비례지분 스케줄링은 공평성(fairness)을 성능의 척도로 사용하며 스케줄링의 높은 공평성을 목표로 한다. 그러나 태스크를 간의 동기화로 인한 스케줄링의 공평성 문제에 대한 연구는 부족하다. 본 논문에서는 라운드 로빈 기반 비례지분 스케줄링에서 동기화로 인한 스케줄링의 지연이 높은 불공평성을 발생시킴을 보인다. 이를 비중역전(weight inversion)이라는 현상으로 설명한다. 다음, 비중역전을 방지하는 동기화 기법인 비중상속 프로토콜(weight inheritance protocol, WIP)을 제안한다. 또한, 공평성분석과 시뮬레이션을 통해 비중상속 프로토콜이 불공평성을 감소시킴을 보인다.

• Journal of information and communication convergence engineering
• /
• 제16권2호
• /
• pp.84-92
• /
• 2018

For large wireless sensor networks running on battery power, the time synchronization of all sensor nodes is becoming a crucial task for waking up sensor nodes with exact timing and controlling transmission and reception timing. However, as network size increases, this synchronization process tends to require long processing time consume significant power. Furthermore, a naïve synchronization scheduler may leave some nodes unsynchronized. This paper proposes a power-efficient scheduling algorithm for time synchronization utilizing the notion of density, which is defined by the number of neighboring nodes within wireless range. The proposed scheduling algorithm elects a sequence of minimal reference nodes that can complete the synchronization with the smallest possible number of hops and lowest possible power consumption. Additionally, it ensures coverage of all sensor nodes utilizing a two-pass synchronization scheduling process. We implemented the proposed synchronization algorithm in a network simulator. Extensive simulation results demonstrate that the proposed algorithm can reduce the power consumption required for the periodic synchronization process by up to 40% for large sensor networks compared to a simplistic multi-hop synchronization method.

• 한국정보과학회논문지:시스템및이론
• /
• 제35권6호
• /
• pp.273-283
• /
• 2008

최근 많은 임베디드 실시간 시스템에 동적 전압 조절(Dynamic Voltage Scaling: DVS)을 지원하는 프로세서를 사용하고 있다. 이런 시스템의 설계 및 동작의 최적화를 위한 중요한 요소 중 하나가 전력(power)이다. 동적 전압 조절을 지원하는 프로세서의 슬로우다운을 이용하므로서 많은 소비 전력을 절약할 수 있다. 본 논문에서는 태스크의 동기화가 필요한 임베디드 실시간 시스템에서 효율적인 전력 소비를 위해 태스크들의 슬로우다운 값을 구하는 휴리스틱 알고리즘들을 제안한다. 기존 알고리즘에서는 상대 마감시간이 작은 태스크의 슬로우다운 값은 상대 마감시간이 크거나 같은 태스크의 슬로우다운 값보다 크거나 같아야 한다는 제약조건을 가지고 있다. 본 논문에서는 이 제약조건을 완화하여 기존 알고리즘과 같은 시간복잡도를 가지면서 전력을 더 작게 소비하는 휴리스틱 알고리즘들을 제시한다. 실험을 통해 소비전력 면에서 효율적임을 보였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권10호
• /
• pp.1264-1274
• /
• 1999

본 논문에서는 분산된 클록들을 주기적으로 동기화 시키는 분산 실시간 시스템에서 시간적 제약을 만족시키기 위한 정적/동적 시간 제약(timing constraint) 변환 기법을 제안한다. 전형적인 이산클록동기화(discrete clock synchronization) 알고리즘은 클록의 값을 순간적으로 조정하여 클록의 시간이 불연속적으로 진행한다. 이러한 시간상의 불연속성은 시간적 이벤트를 잃어버리거나 다시 발생시키는 오류를 범하게 한다.클록 시간의 불연속성을 피하기 위해 일반적으로 연속클록동기화(continuous clock synchronization) 기법이 제안되고 있지만 소프트웨어적으로 구현되면 많은 오버헤드를 유발시키는 문제점이 있다. 본 논문에서는 시간적 제약을 동적으로 변환시키는 DCT (Dynamic Constraint Transformation) 기법을 제안하였으며, 이를 통해 기존의 이산클록동기화 알고리즘을 수정하지 않고서도 클록 시간의 불연속성에 의한 문제점들을 해결할 수 있도록 하였다. 아울러 DCT에 의해 이산클록동기화 하에서 생성된 태스크 스케쥴이 연속클록동기화에 의해 생성된 스케쥴과 동일함을 증명하여 DCT의 동작이 이론적으로 정확함을 증명하였다.또한 분산 실시간 시스템에서 지역 클록(local clock)이 기준 클록과 완벽하게 일치하지 않아서 발생하는 스케쥴링상의 문제점을 다루었다. 이를 위해 먼저 두 가지의 스케쥴링 가능성, 지역적 스케쥴링 가능성(local schedulability)과 전역적 스케쥴링 가능성(global schedulability)을 정의하고, 이를 위해 시간적 제약을 정적으로 변환시키는 SCT (Static Constraint Transformation) 기법을 제안하였다. SCT를 통해 지역적으로 스케쥴링 가능한 태스크는 전역적으로 스케쥴링이 가능하므로, 단지 지역적 스케쥴링 가능성만을 검사하면 스케쥴링 문제를 해결할 수 있도록 하였고 이를 수학적으로 증명하였다.Abstract In this paper, we present static and dynamic constraint transformation techniques for ensuring timing requirements in a distributed real-time system possessing periodically synchronized distributed local clocks. Traditional discrete clock synchronization algorithms that adjust local clocks instantaneously yield time discontinuities. Such time discontinuities lead to the loss or the gain of events, thus raising serious run-time faults.While continuous clock synchronization is generally suggested to avoid the time discontinuity problem, it incurs too much run-time overhead to be implemented in software. We propose a dynamic constraint transformation (DCT) technique which can solve the problem without modifying discrete clock synchronization algorithms. We formally prove the correctness of the DCT by showing that the DCT with discrete clock synchronization generates the same task schedule as the continuous clock synchronization.We also investigate schedulability problems that arise when imperfect local clocks are used in distributed real-time systems. We first define two notions of schedulability, global schedulability and local schedulability, and then present a static constraint transformation (SCT) technique. The SCT ensures that it is sufficient to check the schedulability of a task locally in a node with a local clock, since the global schedulability of the task is derived from its local schedulability through SCT. We formally prove the correctness of SCT.

• 한국멀티미디어학회논문지
• /
• 제13권1호
• /
• pp.30-37
• /
• 2010

최근 많은 임베디드 실시간 시스템에 동적 전압 조절(Dynamic Voltage Scaling: DVS)을 지원하는 프로세서를 사용하고 있다. 이런 시스템의 설계 및 동작의 최적화를 위한 중요한 요소 중 하나가 전력(power)이다. 동적 전압 조절을 지원하는 프로세서의 슬로우다운을 이용함으로서 많은 소비 전력을 절약할 수 있다. 본 논문에서는 태스크의 동기화가 필요한 임베디드 실시간 시스템에서 효율적인 전력 소비를 위해 태스크들의 슬로우다운 값을 구하는 기존 알고리즘을 시간복잡도 측면에서 개선하였다. 시간복잡도 $O(n^{2})$인 기존 알고리즘을 수학적인 분석 및 시뮬레이션을 통하여 그 성질을 파악하고, 그 성질을 이용하여 기존 알고리즘과 같은 성능을 가지는 시간복잡도가 O(nlogn) 및 O(n)인 개선된 알고리즘들을 제안하였다.

• 한국통신학회논문지
• /
• 제27권1C호
• /
• pp.103-111
• /
• 2002

IMT-2000에서 RNC의 Main Control Processor는 호 처리를 담당하는 부분으로, 고신뢰도와 실시간성이 요구되므로 결함 허용 시스템의 연구가 중요하다. 이를 위하여 본 연구에서는 태스크 기반 이중화 방안을 제안한다. 이 방안은 Active side의 태스크들이 메시지 단위로 동작하고, 동작 후 변경된 메모리 영역의 데이터를 Standby side에 전달하는 방식을 기본으로 하며, 절체 시 recovery를 위해 메시지를 logging하는 방식이다. 제안한 방식은 dual down 및 동기화 과정의 복잡성을 제거 할 뿐만 아니라, 태스크가 동기를 제어하므로 좀 더 정확한 동기화가 가능하다. 또한 효과적으로 태스크 기반 이중화를 수행하기 위한 결함 탐지 및 처리 방안을 제시한다. 이 방안은 결함 탐지 확률을 높이고 결함에 의하여 발생한 오류 데이터가 Standby side로 전송되는 것을 원천적으로 차단하는 것에 중점을 둔다.

• 한국인지과학회:학술대회논문집
• /
• 한국인지과학회 2010년도 춘계학술대회
• /
• pp.37-41
• /
• 2010

The previous investigations of electroencephalogram (EEG) activity in the memory retrieval tasks demonstrated that event-related potentials (ERP) during recollection showed different durations and the peak levels from those without recollection. However, it has been unknown that recollection in memory retrieval also modulates high-frequency brain rhythms as well as establishes large-scale synchronization across different cortical areas. In this study, we examined the spectral components of the EEG signals, especially the gamma bands (20-80Hz), measured during the memory retrieval tasks. Specifically, we focused on two major spectral components: first, we evaluated the temporal patterns of the power spectral density before and after the onset of the memory retrieval task; second, we estimated phase synchrony between all possible pairs of EEG channels to evaluate large-scale synchronization. Fourteen healthy subjects performed the memory retrieval task in the virtual reality environment where they selected whether or not t he present item was seen in the previous training period. When the subjects viewed the unseen items, the middle gamma power (40-60Hz) appeared to increase 200-500ms after stimulus onset while the low gamma power (20Hz) was suppressed all the way through the post-stimulus period 150ms after onset. The degree of phase synchronization in this low gamma level, however, increased when the subjects fetched the item from memory. This suggests that phase synchrony analysis might reveal different aspects of the memory retrieval process than the gamma power, providing additional information to the inference on the brain dynamics during memory retrieval.

• 인간행동과 음악연구
• /
• 제16권1호
• /
• pp.47-72
• /
• 2019

본 연구는 자폐스펙트럼장애(ASD) 아동의 운동조절을 평가하기 위해 리드믹 운동과제를 포함한 국외 실험연구를 고찰하고 분석하고자 하였다. 이를 위해 ASD로 진단받은 아동과 신경학적 손상이 없는 대조군(TD)을 대상으로 하고 리드믹 탭핑, 리드믹 운동, 동기화 등 운동조절 관련 변인을 포함하고 있는 국외 실험연구를 선정하였다. 총 10개의 연구가 최종 선정되었고, 해당 연구에 포함된 운동조절 관련 변인과 사용된 청각 자극, 측정 방법 등을 분석하였다. 또한 ASD 아동과 TD 아동의 리드믹 운동과제 수행력 차이를 확인하기 위해 메타분석을 실시하였다. 연구 결과, 리드믹 운동과제를 통해 운동조절을 평가할 때 목표된 변인은 다섯 가지로 운동 타이밍 조절, 타이밍 재산출, 양손 협응, 동기화, 대인 간 동기화가 포함되었고, 각 과제는 움직임의 정확도(accuracy)와 정밀도(precision)의 측면에서 분석됨을 알 수 있었다. 또한 리드믹 운동과제 수행력과 사회기술 지표의 상관관계가 보고됨을 확인할 수 있었다. 메타분석 결과, ASD 그룹은 청각 자극에 맞추어 움직이다가 자극이 소거된 후에도 동일한 움직임을 지속하는 타이밍 재산출 지표에 있어서는 TD 그룹과 유의한 차이가 없는 반면, 외부 자극(청각적 큐나타인)에 동기화하고 움직임을 일관적으로 조절하는 데 있어서는 유의하게 낮은 수행 수준을 보이는 것으로 나타났다. 이러한 연구 결과는 리드믹 운동과제가 음악치료 임상 현장에서 ASD 아동의 운동조절뿐만 아니라 사회기술을 평가하는 효과적인 방안이 될 수 있음을 시사한다.