• Title/Summary/Keyword: 동기화 제약

Search Result 105, Processing Time 0.03 seconds

Time Synchronization Method for Sensor Device Based on Low Power Consumption (저전력 센서 장치의 시간동기화 방법)

  • Kang, Sunghwan;Kim, Jongsun;Eom, Junyoung
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2016.04a
    • /
    • pp.903-906
    • /
    • 2016
  • 최근 사물인터넷(IoT, Internet of Things)관련 기술의 발전 및 서비스 산업의 급속한 발전으로 센서 장치에 대한 수요가 증가하고 있다. 센서 장치는 사물인터넷 플랫폼과의 연동을 위한 통신 인터페이스를 필수로 지원하여야 하며, 그 외에 다양한 센서들의 연동 인터페이스와 소비 전력을 모두 고려하여 하드웨어 및 소프트웨어의 설계가 이루어져야 한다. 이와 같이 센서 장치는 베터리 소비를 최적화하여 모든 기능이 구현되어야 하므로 기능상의 제약이 많이 따른다. 시간 동기화를 위해 사물인터넷 플랫폼에서 송신하는 동기 메시지를 수신하기 위해 슬립모드를 지원하는 경우 센서 장치가 항상 깨어 있어야하므로 저전력으로 동작 할 수 없는 어려움이 따른다. 따라서 데이터를 센싱하는 주기에 맞춰 시간 동기화를 진행하는 프로토콜 및 지연 시간 계산 방안을 제시하고 이에 따른 기존 프로토콜들과 비교하여 경량화한 알고리즘을 제안한다. 향후 시간 동기화 프로토콜의 호환을 위해 CoAP 규격과 연동 될 수 있는 연구가 필요하다.

Design of a IEEE 1588 Based Clock Synchronization System for Femtocell Frequency Signal Generation (펨토셀 주파수 신호 생성을 위한 IEEE 1588 기반 클록 동기화 시스템의 설계)

  • Han, Jiho;Park, Yong-Jai
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.16 no.7
    • /
    • pp.4871-4877
    • /
    • 2015
  • This article presents a circuit and a system for IEEE 1588 based clock synchronization to generate a very accurate frequency signal required in femtocell devices. A prototype board and the experimental environment to verify the functions and to evaluate the performance are explained to verify the feasibility of the proposed synchronization system. To make low-cost femtocells without constraints on the place of installation, it is very important to study on the practical implementation of synchronization system based on IEEE 1588. The experimental result shows that the synchronization errors between -16 ns and 9 ns are guaranteed over the network of femtocell devices with the proposed synchronization circuits, thus the synchronization criteria of the 3GPP HNB are met.

Clock Synchronization in Wireless Embedded Applications (무선 임베디드 환경에서의 시간 동기화)

  • No, Jin-Hong;Hong, Young-Sik
    • Journal of KIISE:Information Networking
    • /
    • v.32 no.6
    • /
    • pp.668-675
    • /
    • 2005
  • With the proliferation of wireless network and the advances of the embedded systems, the traditional distributed systems begin to include the wireless embedded systems. Clock synchronization in the distributed systems is one of the major issues that should be considered for diverse Purposes including synchronization, ordering, and consistency. Many clock synchronization algorithms have been proposed over the years. Since clock synchronization in wireless embedded systems should consider the low bandwidth of a network and the poor resources of a system, most traditional algorithms cannot be applied directly. We propose a clock synchronization algorithm in wireless embedded systems, extending IEEE 802.11 standard. The proposed algorithm can not only achieve high precision by loosening constraints and utilizing the characteristics of wireless broadcast but also provide continuous time synchronization by tolerating the message losses. In master/slave structure the master broadcasts the time information and the stave computes the clock skew and the drift to estimate the synchronized time of the master. The experiment results show that the achieved standard deviation by the Proposed scheme is within the bound of about 200 microseconds.

Formal Verification of Synchronization Protocol for Data Coherence (자료 일치성을 위한 동기화 프로토콜의 정형 검증)

  • Chun, Seung-Su;Kwon, Gi-Hwon
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2002.11c
    • /
    • pp.1973-1976
    • /
    • 2002
  • 본 논문에서는 유 무선 네트워크 환경에서의 자료 일치성 유지를 위한 동기화 프로토콜(SyncML1.1)을 검증한다. 프로토콜 검증에 관한 기존 연구에서는 약한 일관성을 갖는 동기화 프로토콜은 다루어지지 않았으며 정리 증명 혹은 모델 채킹에 대한 선택적 접근으로인해 증명 영역이 제한적이었다. 본 연구에서는 프로토콜의 의미를 정의하고 행위 및 시스템 구조, 메시지 패싱에 대한 개별적 모델을 단계적으로 설계하는 한편, 동기화 프로토콜에서의 안전성 및 상호 배제, 궁극성 속성은 시퀀트 계산법에서의 역방향 전략으로 증명되며, 모델 채킹 기술을 하나의 증명 규칙으로 사용했다. 본 연구는 두가지 부분에서 특징과 의미을 갖는다. 첫째, 정리증명과 모델 채킹이 혼합된 검증 방법을 사용했다. 둘째, 객체 제약 언어 및 정형 명세 언어의 사용을 통해 모델의 생성을 보다 단계적이고 정형적으로 유도했으며 이를 통해 검증의 신뢰성 및 품질을 높였다.

  • PDF

Synchronization of VOD Content and Captions Using Speech Recognition and Modified Dynamic Programming (음성인식과 변경된 동적계획법을 이용한 VOD 콘텐트와 자막의 동기화)

  • Oh, Juhyun
    • Proceedings of the Korean Society of Broadcast Engineers Conference
    • /
    • 2021.06a
    • /
    • pp.131-134
    • /
    • 2021
  • 지상파 방송에서는 청각장애인을 위해 폐쇄자막(closed caption) 서비스가 제공되고 있지만, 이를 저장하여 VOD 서비스 등에 제공하고자 할 때는 영상과의 비동기화(desynchronization) 문제로 인해 활용할 수 없는 문제가 있다. 본 논문에서는 이를 해결하기 위해 자동 음성인식(automatic speech recognition)과, 자막 동기화 문제에 맞게 변경된 동적계획법(modified dynamic programming)을 이용하는 방법을 제안한다. 문자열 정렬에서 삽입과 삭제 등 간격(gap)의 발생을 제어하는 제약조건과 그에 따른 점수 구조를 적용함으로써 문자열 정렬 성능을 개선한다. 또한 정렬된 폐쇄자막과 음성인식 문자열로부터 시간 동기정보를 복원하고 동기화된 자막을 생성하는 방법을 제안한다. 실제 TV 프로그램과 자막에 적용하여 기존 방법에 비해 성능의 향상이 있음을 확인하였다.

  • PDF

TOC based Approach for Workflow Management System (워크플로우 관리시스템을 위한 제약이론 적용방안에 대한 연구)

  • Kim, Hun-Tae;An, Dong-Jun;Gang, Seok-Ho
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 2004.05a
    • /
    • pp.556-559
    • /
    • 2004
  • 본 논문은 제약이론의 프로세스 운영 개선기법에 기반하여 워크플로우에서 제약 자원을 찾고, 워크플로우의 운영 성과가 개선될 수 있도록 효율적인 업무 흐름 관리 방법을 개발하는 것을 목적으로 한다. 과거의 워크플로우 기록을 분석하여 제약업무담당자(CCP)를 결정하고, 제약 업무 담당자의 업무처리속도에 발생된 프로세스 인스턴스의 워크플로우 투입속도를 동기화하여 CCP의 업무부하가 일정수준으로 유지되도록 하며 비 제약 업무담당자의 여유능력이 향상되도록 한다. 이를 통해 CCP의 업무부하를 가능한 업무담당자들에 분산시킴으로써 프로세스 인스턴스의 처리가 원활히 이루어지도록 한다. 본 논문에서 개발한 알고리즘을 워크플로우 관리 시스템에 적용함으로써 전체 워크플로우가 효율적으로 운영되는 효과를 기대할 수 있다.

  • PDF

Bio-sensing Data Synchronization for Peer-to-Peer Smart Watch Systems (피어-투-피어 스마트워치 시스템을 위한 바이오 센싱 데이터 동기화)

  • LEE, Tae-Gyu
    • The Journal of the Convergence on Culture Technology
    • /
    • v.6 no.4
    • /
    • pp.813-818
    • /
    • 2020
  • Recently, with the rapid increase in technology and users of smart devices, the smart watch market has grown, and its utility and usability are continuously expanding. The strengths of smartwatches are wearable portability, application immediacy, data diversity and real-time capability. Despite these strengths, smartwatches have limitations such as battery limitations, display and user interface size limitations, and memory limitations. In addition, there is a need to supplement developers and standard devices, operating system standard models, and killer application modules. In particular, monitoring and application of user's biometric information is becoming a major service for smart watches. The biometric information of such a smart watch generates a large amount of data in real time. In order to advance the biometric information service, stable peer-to-peer transmission of sensing data to a remote smartphone or local server storage must be performed. We propose a synchronization method to ensure wireless remote peer-to-peer transmission stability in a smart watch system. We design a wireless peer-to-peer transmission process based on this synchronization method, analyze asynchronous transmission process and proposed synchronous transmission process, and propose a transmission efficiency method according to an increase in transmission amount.

An Improved Time Synchronization Algorithm in Sensor Networks (Sensor Network에서의 개선된 망동기화 알고리즘)

  • Jang, Woo-Hyuk;Kwon, Young-Mi
    • Journal of the Institute of Electronics Engineers of Korea TC
    • /
    • v.45 no.9
    • /
    • pp.13-19
    • /
    • 2008
  • Time synchronization of nodes in sensor network synchronizes sensor nodes to one time clock. This is very essential in sensor networks so that the information collected and reported from the sensor nodes becomes meaningful. If sensor nodes are not synchronized, disaster report with time information can be wrong analyzed and this may lead to big calamity. With the limitation of battery and computing power, time synchronization algorithm imported in sensor nodes has to be as simple as it doesn't need big complexity, nor generates many synchronization messages. To reduce the synchronization error, hop count should be kept small between reference node to initiate synchronization and sensor nodes to be synchronized. Therefore, multiple reference nodes are used instead of single reference node. The use of multiple reference nodes introduce the requirement of synchronization among reference nodes in the network. Several algorithms have been proposed till now, but the synchronization among reference nodes are not well considered. This paper proposes improved time synchronization for sensor networks by synchronizing multiple reference nodes inside the network. Through simulation, we validated the effects of new algorithm.

Effective Race Visualization for Debugging OpenMP Programs (OpenMP프로그램의 디버깅을 위한 효과적 경합 시각화)

  • 김금희;김영주;전용기
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2004.10a
    • /
    • pp.13-15
    • /
    • 2004
  • OpenMP 프로그램에서 수행되는 스레드들간에 적절한 동기화 없이 적어도 하나의 쓰기 사건으로 동일한 공유변수에 접근하는 경우에 발생되는 오류인 경합은 비결정적인 수행결과를 초래하므로 디버깅을 위해서 반드시 탐지되어야 한다. 이러한 경합탐지를 위한 기존의 디버깅 도구는 프로그램의 복잡한 수행구조 및 디버깅 정보를 시각화하기 위한 공간이 제한적이므로 효과적인 시각화를 제공하지 못한다. 본 논문에서는 경합 시각화를 위해서 3차원적 시각화와 스레드 및 이벤트 둥의 추상화 기능으로 공간적 제약성을 해결하는 도구를 제안한다. 제안된 도구는 추상적 시각화 정보를 제공하므로 프로그램의 이해가 용이하고 효과적인 경합디버깅 환경을 제공한다.

  • PDF

Design and Implementation of A mobile SFA system using SyncML. (SyncML을 이용한 무선인터넷상에서의 SFA 시스템의 구현)

  • Choi, Lee-Kwon;Kang, Shin-Sang;Lee, Sang-Bum
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2003.05a
    • /
    • pp.165-168
    • /
    • 2003
  • 본 논문에서는 무선 인터넷에 관한 관련 기술을 이용하여 분산 데이터 동기화 표준인 SyncML을 통해 무선 인터터넷 환경에서의 실제적으로 응용 가능한 영업 사원의 업무 자동화 (SPA : Sails Force Automation) 솔루션을 무선디바이스인 PHOPNE 과 PDA 에서 운영할 수 있는 최적 동기화 모듈의 설계와 구현에 목적이 있다. 본고에서는 무선 인터넷 기술, 동기화 기술, 영업사원의 업무 자동화 기술에 언급하고 세 가지 기술을 이용하여 실질적으로 물류, 유통 업무에 사용 할 수 있게 객체 지향 설계 방법과 소스를 분석하여 최적화된 시스템을 도출하고 그것을 통해 무선단에서 경량화된 동기화 최적의 시스템을 설계, 구현하였다. 무선단에서 여러 제약 사항 특히 데이터의 관리에 있어서의 문제점을 동기화 기술을 통해 많은 데이터를 효과적으로 관리함으로써 대용량의 데이터베이스와 디바이스에 상관없이 분산 데이터 일관성과 통합관리 기능을 유지하고 무선단에서 지연성(disconnection)에 대한 신뢰성을 유지 할 수 있는 시스템을 분석과 설계를 통해 객체지향적인 방법으로 고려해서 시스템을 구축하였다.

  • PDF