• Title/Summary/Keyword: 동적 제약

Search Result 416, Processing Time 0.025 seconds

Revisiting Clock Synchronization Problems: Static and Dynamic Constraint Transformation for Correct Timing Enforcement (실시간 제약 조건의 동적/정적 변화를 통한 클록 동기화 문제 해결)

  • 유민수;홍성수
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 1998.10a
    • /
    • pp.68-70
    • /
    • 1998
  • 본 논문에서는 클록들을 주기적으로 동기화하는 분산 실시간 시스템에서 주어진 태스크의 시간 제약(timing constraint)을 변환시는 구가지 기법을 제안한다. 전형적인 이산 클록 동기화(discrete clock synchronization)알고리즘은 클록의 값을 순간적으로 보정(correct)하여 클록의 시간이 불연속적으로 진행학 한다. 이러한 시간상의 불연속성은 태스크의 시작제한시간(release time)이나 종료시한(deadline)과 같은 이벤트를 잃어버리거나 다시 발생시키는 오류를 범하게 한다. 클록 시간의 불연속성을 피하기 위해 일반적으로 연속 클록 동기화(continuous clock synchronization) 기법이제안되었지만 소프트웨어적으로 구현되기에는 많은 오버헤드를 유발시키는 문제점이 있다. 이에 따라 연속 클록 동기화는 PLL (Phase-Locked Loop)을 이용한 별도의 하드웨어를 사용하는 것이 보통이다. 본 논문에서는 연속 클록 동기화 기법을 사용하는 대신, 태스크의 시간 제약을 동적으로 변환시키는 DCT (Dynamic Constraint Transformation) 기법을 제안하였다. DCT는 소프트웨어 으로 구현이 가능하여 새로운 하드웨어를 필요로 하지 않으며, 이를 통해 기존의 이산적으로 동기화된 시스템에서 클록 시간의 불연속성에 의한 문제점들을 해결할 수 있다. 또 다른 문제점으로서, 클록의 물리적인 특성으로 인해 동기화된 클록들이 상한된(bounded from the above)오차(skew)를 갖는다는 것이다. 이러한 오차는 지역 클록(local clock)에 대해 만족될 수 있는 임의의 실기간 제약 조건이 전역 클록(global clock)에 대해서는 만족되지 않을 수 있음을 의미한다. 본 논문에서는 이를 위해 먼저 두 가지의 스케줄링 가능성, 지역적 스케줄링 가능서(local schedulability)과 전역적 스케줄링 가능성(global schedulability)을 정의하고, 실시간 제약을 정적으로 변환시키는 SCT (Static Constraint Transformation)기법을 제안하였다. SCT를 통해 지역적으로 스케줄링 가능한 태스크는 전역적으로 스케줄링이 가능하므로, 단지 지역적 스케줄링 가능성만을 검사하면서 스케줄링 문제를 해결할 수 있도록 하였다.

  • PDF

A Design and implementation of JAVA applet of Number and Operations in Mathematics (수학과 수와 연산 영역의 자바 애플릿 설계 및 구현)

  • Kim, Min-Jeong;Kim, Kap-Su
    • 한국정보교육학회:학술대회논문집
    • /
    • 2006.01a
    • /
    • pp.51-56
    • /
    • 2006
  • 초등학교 수학과의 학습은 학습자의 구체적인 조작을 통해서 개념을 학습하여야 한다. 웹에서 구현되는 콘텐츠들은 개념 학습을 위한 정의나 정적인 것이다. 이린 정적인 콘텐츠는 상호작용의 제약 조건이 많다. 이런 제약 조건을 극복하고 학생들의 인지적인 단계에 적합한 동적인 상호작용을 위한 콘텐츠 개발이 필요하다. 이에 본 연구에서는 수와 연산 영역의 교육과정을 분석을 통하여 객체와 클래스를 분석 설계한 이전의 연구에 이어 '수 클래스'를 구현하고 구현한 클래스를 활용하여 학생들의 자유로운 조작과 탐구활동을 통해 수와 연산의 개념과 원리를 학습할 수 있는 프로그램인 '수와 연산 학습 애플릿'을 개발하였다. 이것은 학생들의 동적인 상호 작용을 강하할 수 있다.

  • PDF

Minimization of Pump Running Cost in the Large-scale Water Supply System (광역상수도 계통의 Pump 운전비용 최소화)

  • Lee, Gwang-Man;Kang, Shin-Wook;Kim, Soo-Myung
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2009.05a
    • /
    • pp.276-281
    • /
    • 2009
  • 장거리 용수공급 시스템에서 전력비용은 전체 운영비용의 큰 부분을 차지한다. 본 연구는 시간단위의 펌프와 배수지 시스템의 최적 운영계획을 수립하기 위해 동적계획기법에 기초한 방법론을 제시하고 있다. 해석방법은 가용 가능한 펌프의 효율적 운전과 전력요금체계, 시간대별 용수수요추이 그리고 배수지 특성과 송수관로의 제약조건 등을 고려하였다. 이를 위해 적용 가능한 시스템 운영목적과 제약조건이 제시되었고 개발된 방법은 수도권 광역상수도 양주계통의 2개 가압장과 5개 배수지를 대상으로 적용되었으며, 적용결과는 상당한 수준의 펌프운전비용을 절감할 수 있는 것으로 나타났다. 이와 같은 방법은 생애주기 비용 최소화 측면에서 실제 용수공급 시설 운영과 대규모 용수공급 체계의 설계 등에 적용이 가능하다.

  • PDF

Porting Mobile 3D Engine to VRender3D Processor (VRender3D 프로세서를 위한 Mobile 3D Engine 포팅)

  • Jung, Il-Dong;Fedorov, Alexander O.;Kim, Yong-Tae;Lee, Koon-Seok
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2008.06b
    • /
    • pp.384-387
    • /
    • 2008
  • PDA와 같은 이동단말에서 화려한 3D 그래픽을 보여주는 것은 그래픽 시스템 리소스의 제약이 있다. Mobile 3D 엔진은 모델의 움직임을 계산하여 동적으로 3D 그래픽을 만들어 내기 때문에 그래픽 시스템 뿐만 아니라, 충분한 성능의 프로세서와 여유의 메모리까지 지원되어야 한다. 본 논문에서는 Mobile 3D 엔진의 제약 사항과 그 해결 방법을 제시하였다. ARM9 Core를 기반으로 3D 가속 기능을 가진 VRender3D에 실제로 OpenGL/ES를 기반으로 하는 Mobile 3D 엔진을 포팅 (porting) 하고, 그 성능을 동적인 3D 영상으로 평가하였다.

  • PDF

Handwritten Hangul Recognition by Dynamic Lattice Search with Structural Constraints (문자의 구조적 제약과 동적 격자 탐색을 이용한 필기 한글 문자 인식)

  • Kang, Kyung-Won;Kim, Jin-Hyung
    • Annual Conference on Human and Language Technology
    • /
    • 2001.10d
    • /
    • pp.359-364
    • /
    • 2001
  • 필기 한글문자 인식은 다양한 필기 변형, 자모 간의 접촉과 같은 문제들을 내포하고 있다. 최근 이를 해결하기 위한 방법으로 랜덤 그래프를 이용한 필기 한글 모델링이 제안되었으나, 상향식 정보처리의 한계인 시간 복잡도 문제를 겪고 있다. 영어 단어인식에 관한 인지과학적 연구에서는 하향식 정보처리의 주요한 역할 중 하나로 인식 과정에서의 계산 중복을 없애는 필터링의 역할을 들고 있다. 본 논문에서는 랜덤 그래프를 이용한 필기 한글 모델링을 기반으로 하여 필기체에 나타나는 다양한 변형을 흡수하며, 시간 복잡도를 해결하기 위한 한글 문자의 구조에 바탕을 둔 하향식 정보처리 방법을 제안한다. 제안하는 방법은 모델 발화를 이용한 자모 후보 추출 DP 정합과 동적 격자 탐색을 이용한 문자 후보 탐색, 그리고 문자의 구조적 제약을 이용한 후보 제거 기법을 포함한다. 필기 한글 데이터베이스인 SERI-DB에 대한 예비 실험 결과, 제안한 방법은 인식률의 큰 저하 없이 상향식 정보 처리에 바탕을 둔 기존 방법에 비해 높은 속도 향상을 가져 왔다.

  • PDF

Design and Implementation of Memory Management Mechanism for Multimedia Applications (멀티미디어 지원을 위한 메모리 관리 기법 설계 및 구현)

  • Ko, Young-Woong;Ah, Jae-Young;Hong, Chul-Ho;Yoo, Chuck
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.10c
    • /
    • pp.61-63
    • /
    • 2001
  • 가상 메모리 시스템은 다중 프로그래밍의 정도를 높이고 효율적으로 주기억 장치를 관리하는 장점을 제공해 주지만 예측할 수 없는 지연을 발생시키는 문제점을 가지고 있다. 따라서 가상 메모리 시스템은 시간 제약이 엄격한 경성 실시간 시스템에서 사용하기에 부적합하며, 시간 제약이 완화된 멀티미디어 분야에서도 태스크의 제한 시간 실패율을 높이는 원인을 제공함으로써 멀티미디어 서비스 품질을 저하시키고 있다. 본 논문에서는 동적으로 태스크가 유입되는 범용 시스템 환경에서 가상 메모리 시스템이 멀티미디어 태스크에 미치는 영향을 분석하고. 멀티미디어 태스크의 제한 시간 실패율을 최소화할 수 있는 메모리 관리 방법을 제시하였다. 본 논문에서는 동적으로 유입되는 태스크의 페이지 폴트를 제한된 비율로 유지시키는 기법을 사용하며. 이를 통해서 부하를 분산시키고. 결과적으로 멀티미디어 응용이 원활히 수행될 수 있도록 하였다.

  • PDF

A Version Synchronization Tool for Dynamic Reconfiguration of Application Modules on Sensor Nodes (센서노드상의 응용모듈 동적재구성을 위한 버전동기화 도구)

  • Jung Sun-Woo;Kil A-Ra;Chong Ki-Won
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2006.06c
    • /
    • pp.217-219
    • /
    • 2006
  • 일반적으로 수십 개에서 많게는 수백 수천 개의 센서노드로 구성된 센서네트워크 환경에서 각 노드들은 제한된 저장 공간과 효율적인 에너지자원소비 등의 제약사항을 가지고 있다. 따라서 센서노드에서 응용모듈에 대한 형상관리를 수행하기에는 어려움이 있다. 본 논문은 한국전자통신연구원(ETRI)에서 개발된 나노큐플러스 운영체제(Nano-Qplus OS)기반의 센서네트워크 환경에서 각 노드들의 저장 공간이나 에너지 자원 등의 여러 제약조건을 고려한 버전동기화 도구를 제안한다. 이것은 윈도우즈 기반의 eclipse개발환경과 버전관리도구인 CVSNT와 연동하여 각 응용모듈의 버전을 관리하고, 이를 이용하여 본 논문에서 소개하는 센서노드와 버전정보 저장소간의 버전동기화 도구인 NVSync(Nano-Qplus Version Synchronization)를 사용하여 센서노드의 응용모듈과 동기화함으로써 동적으로 노드들의 응용모듈을 재구성할 수 있게 한다.

  • PDF

SenOS: State-driven Operating System Architecture for Dynamic Sensor Node Reconfigurability (SenOS : 동적 센서 노드 재구성을 위한 상태 기반 운영 체제 구조)

  • 홍성수;김태형;한승현;박선희
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.10a
    • /
    • pp.349-351
    • /
    • 2003
  • 무선 센서 네트웍은 동작 환경과 구조가 매우 특이하du 개발자들은 센서 네트웍의 노드를 디자인할 때 많은 제약 조건들과 요구 조건들을 고려해야 한다. 먼저 우선 센서 네트웍 상의 각 센서 노드에는 극도로 제한된 하드웨어 자원 조건 하에서도 무선 통신 기능뿐만 아니라 동시에 여러 이벤트를 재빠르게 처리할 수 있는 기능이 포함되어야 한다. 또한 환경과 응용 프로그램의 변화에 잘 대처하기 위해 런타임(run-time)에 각 센서 노드들을 동적으로 재구성할 수 있는 기능이 제공되어야 한다. 이러한 디자인 요구 조건들과 제약 조건들은 얼핏 서로 상반된 것처럼 보이는데, 무선 센서 노드들을 위한 실행 환경을 디자인할 때는 이러한 조건들을 모두 만족시킬 수 있는 운영 체제가 반드시 필요하다. 본 논문에서 우리는 무선 센서 노드들을 위한 매우 효율적이고 효과적인 유한 상태 머신(finite state machine) 기반의 운영체제, SenOS를 제안한다. 또한 새로운 운영 체제인 SenOS가 극도의 제한적인 자원에서도 동시성과 반응성, 재구성성의 요구 조건을 모두 만족시키면서 동작할 수 있다는 것을 보일 것이다.

  • PDF

A Friction Characteristics at the Vane Tip of an Oil Hydrulic Vane Pump for Power Steering System (Power Steering용 유압 베인 펌프의 베인 선단부에서의 마찰특성)

  • 박운성;정석훈;오석형;정재연
    • Proceedings of the Korean Society of Tribologists and Lubrication Engineers Conference
    • /
    • 1994.06b
    • /
    • pp.49-53
    • /
    • 1994
  • 베인형 펌프, 모터 등의 마찰, 마모특성에 관해서 많은 연구가 있었으나, 베인펌프는 구조로부터의 제약이 많기 때문에, 대용량, 고압, 고속화라는 일련의 요구를 만족시키는 것이 쉽지 않아, 그 요구에 부응하기 위해 지금까지의 연구가 내마모성 작동유, 표면처리 기술, 특수 베인기구등의 개발을 제약에 부딪칠 때마다 필요에 따라 한결같이 경험적으로 이루어졌으며, 측정에 대한 면에서도 동적 조건 하에서의 측정은 거의 없으며, 해석에 관해서도 일반성이 상당히 결여된 상태라 할 수 있다. 따라서 본 연구에서는 유압 베인펌프의 베인과 캠링간의 접동 모델로써 동적 마찰 실험장치를 제작하여, 베인 선단의 마찰력을 측정하고 이를 기초로 하여 실기 유압 베인펌프의 베인과 켐링내면간의 접동부에 관한 마찰특성을 추정하는 것을 목적으로 하였다.

  • PDF

Design of A Miniature Java Virtual Machine Using Dynamic Compiling (동적 컴파일링 기법을 이용한 소형 자바 가상 기계의 설계)

  • Kim, Do-Woo;Jung, Min-Soo;Jin, Min;Lee, Eun-Jung
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 1999.10a
    • /
    • pp.406-408
    • /
    • 1999
  • 썬에 의해 자바 플랫폼이 소개된 후, 자바 기술은 네트워크 상에 연결된 장치들이 선택할 수 있는 하나의 플랫폼으로 자리를 잡았다. 그래서 자바 기술을 자원 제약적인 네트워크 디바이스 및 디지털 전자기기에 적용하고자 하는 연구가 계속해서 진행 중이다. 본 논문에서는 자바 가상 기계를 소형화할 수 있는 기법들을 연구 분석하고, 처리 능력이나 메모리의 크기에 제약이 있는 디바이스들에 사용 가능하고, 동적 컴파일링 기법을 적용하여 실행 효율을 높일수 있는 소형 자바 가상 기계를 설계하고자 한다.

  • PDF