• Title/Summary/Keyword: 지연시간 계산

Search Result 502, Processing Time 0.023 seconds

A Formal Method for Round-Trip Engineering of Real-Time System : Abstract Timed Machine (실시간 시스템의 순환 공학을 위한 정형 기법: 추상 시간 기계)

  • 노경주;박지연;이문근
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2000.04a
    • /
    • pp.558-560
    • /
    • 2000
  • 본 논문은 ATM(Abstract Timed Machine)에 대해서 기술한다. ATM 은 임무 위급 시스템과 같은 실시간 시스템을 명세, 분석 및 검증할 수 있는 정형 기법이다. ATM 은 모드(mode), 전이(transition), 포트(port)로 구성된다. 모드는 머신의 압축된 상태를 의미하고 전이는 모드와 모드 사이의 변화를 말한다. 포트는 ATM 들 사이의 상호작용을 위한 진입을 나타내기 위한 것이다. ATM 은 소프트웨어 순환 공학을 위해 디자인 되었다. ATM은 재/역공학적 측면에서 계산 이론과 더불어 기존의 실시간 시스템의 소스코드에 대한 디지안 및 환경 정보를 나타낸다. 본 논문은 병렬성, 병렬적으로 동작하는 엔터티들 사이의 제어 정보이 흐름, ATM 타입과 클래스로부터의 인스턴스, 비/동기적 이벤트, 포트와 이벤트 타입, 포트의 타입, 통신, 입/출력, 예외처리, 시간에 관한 요구사항, 다수를 대상으로 하는 통신 주기적 작업등과 같은 ATM의 여러 개념을 기술하고 이러한 속성들을 Producer-Buffer-Consumer 예제로 살펴본다.

  • PDF

An Analysis of Wall-Charge in the Plasma Display Panel (플라즈마 디스플레이의 벽전하 해석)

  • Han, Jin-Ho;Lee, Jeong-Seop;Ryeom, Jeong-Duk
    • Proceedings of the Korean Institute of IIIuminating and Electrical Installation Engineers Conference
    • /
    • 2008.10a
    • /
    • pp.3-6
    • /
    • 2008
  • PDP는 어드레스 기간 동안 유전체 위에 축적한 벽전하(Wall-Charge)를 이용하여 화상정보를 입력함으로서 표시방전 셀을 결정할 수 있다. 따라서 벽전하의 해석은 방전 셀 특성을 분석하기 위한 중요한 요소이나 실제 X-Y 전극 간 벽전압은 다른 인가 펄스의 영향과 공간전하의 영향이 작용하여 측정이 쉽지 않다. 본 논문에서는 공간전하의 영향과 다른 인가 펄스의 영향을 고려하여 실제 표시방전 펄스의 방전 조건과 동일한 조건을 만들어 벽전하가 소거된 상황의 방전개시전압을 측정하였으며 측정된 결과를 통해 벽전압을 계산하였다. 또한 공간전하 발생 후 시간을 변화시키면서 방전지연시간과 방전강도를 측정하여 방전 시 발생한 공간전하에 의한 영향을 분석하였다.

  • PDF

Analysis of demand paging Cost for Flash Memory-based Real-Time Embedded Systems (NAND 플래시 메모리 기반의 실시간 임베디드 시스템에서의 demand paging 비용 분석)

  • Lee, Young-Ho;Lim, Sung-Soo
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2007.06b
    • /
    • pp.445-450
    • /
    • 2007
  • NAND 플래시 메모리 기반의 실시간 임베디드 시스템에서는 일반적으로 shadowing 기법을 통해 프로그램을 수행한다. 그러나 shadowing 기법은 시스템의 부팅 시간을 증가시키고 불필요한 DRAM 영역을 차지한다는 단점 때문에 자원 제약이 심한 실시간 임베디드 시스템에는 적합하지 않다. 이에 대한 대안 중 하나는 demand paging 기법을 활용하는 것이다. 단, demand paging 환경에서는 page fault에 의한 시간 지연 때문에 태스크의 최악 실행 성능을 예측하기 어렵다. 따라서 본 논문에서는 NAND 플래시 메모리 기반의 실시간 임베디드 시스템에서 demand paging 비용을 고려한 태스크 최악 성능 분석 기법을 제안한다. 제안하는 기법은 각 태스크에 대해 demand paging 비용을 계산하고, 이를 전통적인 WCRT 분석 기법과 결합하는 방법을 사용한다. 또한 demand paging 비용과 WCET 분석을 독립적으로 고려함으로써, 최악의 경우에도 분석 결과의 안정성을 보장하고 기존의 방법에 비해 분석 복잡도를 줄였다.

  • PDF

A TCP Flow Control for Receiver with Limited Memory in Mobile Environment (모바일 환경에서 제한된 메모리의 수신자에 의한 TCP흐름 제어)

  • 이종민;차호정
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.04d
    • /
    • pp.512-514
    • /
    • 2003
  • 본 논문은 모바일 환경에서 제한된 메모리를 가지고 있는 수신자에 의 한 TCP흐름 제어 방법을 제안한다. TCP 흐름 제어는 송신자에서 수신자에게 전달되는 Advertised 윈도우 크기를 조정하여 수행된다. 수신자는 무선 대역폭과 종단간 패킷 왕복 시간을 동적으로 측정하며 최적의 Advertised 윈도우 크기를 계산하고 송신자의 전송률을 무선 대역폭으로 제한한다. 제안된 흐름 제어 기법은 제한된 메모리를 가진 수신자를 고려하였으며 무선 네트웍의 특성을 고려 한 효율적 인 TCP 흐름 제어로 TCP의 전송 성능 향상과 종단간 패킷 왕복 시간의 지연을 줄일 수 있도록 하였다. 제안된 흐름 제어 기 법의 효율성과 성능을 구현과 실험을 통해 검증한다.

  • PDF

Efficient Implementation of IFFT and FFT for PHAT Weighting Speech Source Localization System (PHAT 가중 방식 음성신호방향 추정시스템의 FFT 및 IFFT의 효율적인 구현)

  • Kim, Yong-Eun;Hong, Sun-Ah;Chung, Jin-Gyun
    • Journal of the Institute of Electronics Engineers of Korea SP
    • /
    • v.46 no.1
    • /
    • pp.71-78
    • /
    • 2009
  • Sound source localization systems in service robot applications estimate the direction of a human voice. Time delay information obtained from a few separate microphones is widely used for the estimation of the sound direction. Correlation is computed in order to calculate the time delay between two signals. In addition, PHAT weighting function can be applied to significantly improve the accuracy of the estimation. However, FFT and IFFT operations in the PHAT weighting function occupy more than half of the area of the sound source localization system. Thus efficient FFT and IFFT designs are essential for the IP implementation of sound source localization system. In this paper, we propose an efficient FFT/IFFT design method based on the characteristics of human voice.

A Digit Serial Multiplier Over GF(2m)Based on the MSD-first Algorithm (GF(2m)상의 MSD 우선 알고리즘 기반 디지트-시리얼 곱셈기)

  • Kim, Chang-Hoon;Kim, Soon-Cheol
    • The KIPS Transactions:PartA
    • /
    • v.15A no.3
    • /
    • pp.161-166
    • /
    • 2008
  • In this paper, an efficient digit-serial systolic array is proposed for multiplication in finite field GF($2^m$) using the polynomial basis representation. The proposed systolic array is based on the most significant digit first (MSD-first) multiplication algorithm and produces multiplication results at a rate of one every "m/D" clock cycles, where D is the selected digit size. Since the inner structure of the proposed multiplier is tree-type, critical path increases logarithmically proportional to D. Therefore, the computation delay of the proposed architecture is significantly less than previously proposed digit-serial systolic multipliers whose critical path increases proportional to D. Furthermore, since the new architecture has the features of a high regularity, modularity, and unidirectional data flow, it is well suited to VLSI implementation.

Dynamic Density-based Inhibited Message Diffusion For Reducing Overhead In Delay Tolerant Network (DTN에서 오버헤드 감소를 위한 동적 밀도 기반 메시지 확산 억제 기법)

  • Dho, Yoon-hyung;Oh, Young-jun;Lee, Kang-whan
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2015.05a
    • /
    • pp.120-122
    • /
    • 2015
  • In this paper, we proposed an algorithm of the unnecessary copied message inhibition using dynamic density what is called DDIM(Dynamic Density-based Inhibited Message diffusion) in DTNs(Delay Tolerant Networks). Existing DTN routing algorithms as Epidemic and Spray and Wait have some problems that occur large overhead in dense network due to the thoughtless message diffusion. Our proposed method, the DDIM, determines adjusted number of copied message through dynamic node density that is calculated using node's radio coverage and neighbor nodes in period time to solve message diffusion problem. It decrease overhead without losing message delivery ratio and increased latency through reducing message diffusion. In this paper, we compare delivery ratio, average latency and overhead of proposed algorithm, DDIM, and existing DTN routing algorithm and prove enhanced performance through simulation results.

  • PDF

A Positioning Accuracy Analysis in Korea by using NTCM-BC Ionosphere Model (NTCM-BC 전리층 모델을 이용한 한반도 내 위치추정 정확도 분석)

  • Kim, Mingyu;Myung, Jaewook;Kim, Jeongrae
    • Journal of Advanced Navigation Technology
    • /
    • v.21 no.5
    • /
    • pp.479-484
    • /
    • 2017
  • A Neustrelitz TEC model (NTCM) developed by Deutsches Zentrum $f{\ddot{u}}r$ Luft- und Raumfahrt (DLR) provides a better accuracy than the global positioning system (GPS) Klobuchar model for predicting ionospheric delay. The NTCM model accuracy is comparable to Galileo NeQuick model, and it has less computation time. The NTCM model uses F10.7 values as a parameter of solar activity function, while a NTCM-Broadcast (NTCM-BC) uses TEC values from a Klobuchar model. For this reason, a NTCM-BC model can be used for real-time ionosphere correction. In this paper, vertical ionospheric delay and GPS positioning errors in Korea by using a NTCM-BC ionosphere model from 2009 to 2014 are analyzed and compared with those of a Klobuchar model. In the 6-year statistics, the vertical ionospheric delay is reduced by 17.7 %, and horizontal and vertical positioning accuracies by the NTCM-BC model are improved by 25.6 % and 6.7 %, respectively, over the Klobuchar model.

A synchronous/asynchronous hybrid parallel method for some eigenvalue problems on distributed systems

  • 박필성
    • Proceedings of the Korean Society of Computational and Applied Mathematics Conference
    • /
    • 2003.09a
    • /
    • pp.11-11
    • /
    • 2003
  • 오늘날 단일 슈퍼컴퓨터로는 처리가 불가능한 거대한 문제들의 해법이 시도되고 있는데, 이들은 지리적으로 분산된 슈퍼컴퓨터, 데이터베이스, 과학장비 및 디스플레이 장치 등을 초고속 통신망으로 연결한 GRID 환경에서 효과적으로 실행시킬 수 있다. GRID는 1990년대 중반 과학 및 공학용 분산 컴퓨팅의 연구 과정에서 등장한 것으로, 점차 응용분야가 넓어지고 있다. 그러나 GRID 같은 분산 환경은 기존의 단일 병렬 시스템과는 많은 점에서 다르며 이전의 기술들을 그대로 적용하기에는 무리가 있다. 기존 병렬 시스템에서는 주로 동기 알고리즘(synchronous algorithm)이 사용되는데, 직렬 연산과 같은 결과를 얻기 위해 동기화(synchronization)가 필요하며, 부하 균형이 필수적이다. 그러나 부하 균형은 이질 클러스터(heterogeneous cluster)처럼 프로세서들의 성능이 서로 다르거나, 지리적으로 분산된 계산자원을 사용하는 GRID 환경에서는 이기종의 문제뿐 아니라 네트워크를 통한 메시지의 전송 지연 등으로 유휴시간이 길어질 수밖에 없다. 이처럼 동기화의 필요성에 의한 연산의 지연을 해결하는 하나의 방안으로 비동기 반복법(asynchronous iteration)이 나왔으며, 지금도 활발히 연구되고 있다. 이는 알고리즘의 동기점을 가능한 한 제거함으로써 빠른 프로세서의 유휴 시간을 줄이는 것이 목적이다. 즉 비동기 알고리즘에서는, 각 프로세서는 다른 프로세서로부터 갱신된 데이터가 올 때까지 기다리지 않고 계속 다음 작업을 수행해 나간다. 따라서 동시에 갱신된 데이터를 교환한 후 다음 단계로 진행하는 동기 알고리즘에 비해, 미처 갱신되지 않은 데이터를 사용하는 경우가 많으므로 전체적으로는 연산량 대비의 수렴 속도는 느릴 수 있다 그러나 각 프로세서는 거의 유휴 시간이 없이 연산을 수행하므로 wall clock time은 동기 알고리즘보다 적게 걸리며, 때로는 50%까지 빠른 결과도 보고되고 있다 그러나 현재까지의 연구는 모두 어떤 수렴조건을 만족하는 선형 시스템의 해법에 국한되어 있으며 비교적 구현하기 쉬운 공유 메모리 시스템에서의 연구만 보고되어 있다. 본 연구에서는 행렬의 주요 고유쌍을 구하는 데 있어 비동기 반복법의 적용 가능성을 타진하기 위해 우선 이론적으로 단순한 멱승법을 사용하여 실험하였고 그 결과 순수한 비동기 반복법은 수렴하기 어렵다는 결론을 얻었다 그리하여 동기 알고리즘에 비동기적 요소를 추가한 혼합 병렬 알고리즘을 제안하고, MPI(Message Passing Interface)를 사용하여 수원대학교의 Hydra cluster에서 구현하였다. 그 결과 특정 노드의 성능이 다른 것에 비해 현저하게 떨어질 때 전체적인 알고리즘의 수렴 속도가 떨어지는 것을 상당히 완화할 수 있음이 밝혀졌다.

  • PDF

Development of RTD Model of the Mixer-Settler-Type Extractor Using the Stimulus-Response Method (자극-반응법(反應法)을 이용(利用)한 혼합침강형(混合沈降型) 추출장치(抽出裝置)의 RTD 모델 개발(開發))

  • Lee, Jin-Young;Kim, Joon-Soo;Lee, Hoo-In;Sohn, Jeong-Soo
    • Resources Recycling
    • /
    • v.16 no.5
    • /
    • pp.65-70
    • /
    • 2007
  • This study presents the findings of the experiments that were conducted on single- and multi-stage solvent extractors using the stimulus-response method, with the am of identifying flow characteristics of the material inside the mixer-settler-type extractor. The results of this study show that the response characteristics of a single-stage mixer is the same as that of a completely stirred tank reactor (CSTR), and that the lag time of a mixer-settler-type extractor increases with the number of its extraction stages. The experimental data for the single- and multiple-stage extractors were analyzed using K-RTD, a response analysis program, to obtain a retention time distribution (RTD) model of one-stage and four-stage extractors. The correlation coefficient between the calculated values and the experimental data was 0.963 for the one-stage extractor and 0.995 for the four-stage extractor, showing quite a good correlation.