• 제목/요약/키워드: 제약만족기법

검색결과 275건 처리시간 0.034초

종단 호스트에서 QoS 보장을 위한 비례 분배 실시간 자원할당 기법 (Fair Real-Time Resource Allocation for End System's QoS Support)

  • 박정근;유민수;홍성수;박선희
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
    • /
    • pp.148-150
    • /
    • 2003
  • 본 논문에서는 인터넷 종단 호스트에서 공유 자원의 대역폭 제약조건과 종료시한 제악조건 모두를 만족시킬 수 있는 자원 할당 구조를 제안한다. 제안된 구조는 두 단계로 구성된다. 상위 단계에서는 비례 분배 스케줄러(proportional share scheduler)인 EFT-C/D (Earliest Finish Time Credit/Debit) 스케줄러가 수행된다. 이 스케줄러는 CPU와 같은 시분할 공유 자원을 하위 단계 스케줄러들에게 지정된 비율로 분배하는 역할을 한다. 그리고 하위 단계에서는 서로 다른 시간 제약조건이 부여된 태스크들을 스케줄링 하기위해 다양한 실시간 스케줄러가 수행된다. 본 연구의 주요 성과는 두 가지로 요약된다. 첫째, 이상적인 GPS (Generalized Processor Sharing) 서버와 거의 동등한 수준으로 자원을 공평하게 분배하는 EFT-C/D 알고리즘을 개발하였다. 둘째, 하위 단계에서 수행되는 EDF 스케줄러에 대해 이용율(utilization)에 기반한 스케룰링 가능성 분석 방법을 개발하였다. 이 방법은 주어진 태스크 집합에 대해 단순히 이용율만을 계산하여 스케줄링 가능성을 판별할 수 있다. 따라서 새로운 태스크가 생성될 때 수락 여부를 시스템 수행 중에 제어할 수 있는 장점이 있다.

  • PDF

임베디드 시스템에 대한 모델 기반의 명세 기법 및 정적 시간 분석 기술 (Model-based specification and static timing-analysis of embedded systems)

  • 박해우;김진우;하순회
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (B)
    • /
    • pp.258-263
    • /
    • 2007
  • 임베디드 시스템은 그 복잡도가 나날이 증가하고 있는데, 특히 기능성 외에 주어진 시간 제약 조건을 만족해야 한다는 점에서 개발 및 검증이 어렵다는 특징을 갖고 있다. 특히 검증에 대해서는 많은 경우에 적당한 시나리오들을 잡아 반복적인 시뮬레이션을 하는 방법을 사용하는데, 이 방법은 많은 시간이 걸리며, 적당한 시나리오들을 잡기 어렵다는 문제 또한 가지고 있다. 본 논문에서는 데이터플로우 모델과 유한상태기계 모델을 확장하여 시스템에 자원 사용 정보 및 시간 제약 조건을 명세하고, 이 모델들에 기반한 정적 시간 분석 방법을 제시하고 있다. 본 논문에서 제시한 방법을 통해 검증 시 자동으로 필요한 시나리오들에 대해 검증을 수행할 수 있으며, 시뮬레이션 등 긴 시간이 걸리는 검증 방법을 최소한으로 사용할 수 있다는 이점을 얻을 수 있다.

  • PDF

WiBro 망을 이용한 리눅스 기반의 휴대형 개인방송 시스템 (Design of Linux-based Mobile Personal Broadcasting System over WiBro)

  • 이문섭;김익환;김태현
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2008년도 추계학술발표대회
    • /
    • pp.1063-1066
    • /
    • 2008
  • 최근 인터넷 사용자들의 역할이 일방적으로 제공되는 컨텐츠를 소비하는 소비자에서 컨텐츠를 창조하는 생산자로 변화하고 있으며, 이러한 경향의 한 형태로 인터넷 개인방송이 있다. 그러나, 기존 인터넷 개인방송은 시간과 공간의 제약이 존재하여 사용자들의 요구를 충분히 만족시키지 못하고 있다. 최근 모바일 단말기기와 모바일 인터넷 기술이 발달하면서 기존 시스템의 제약을 해소하고 사용자의 요구를 충족시킬 수 있을 것으로 기대된다. 본 논문에서는 WiBro (Wireless Broadband) 망을 이용한 리눅스 기반의 휴대형 개인방송 시스템을 제안한다. 또한, 계층간 최적화 기법(Cross-Layer Optimization)을 적용하여 네트워크 상태에 따라 제공되는 방송 서비스의 품질을 동적으로 조절하는 방안을 제시한다.

철근콘크리트 모멘트골조의 비용 및 이산화탄소 배출량을 고려한 유전자알고리즘 기반 구조최적화기법 (Genetic Algorithm Based Optimal Structural Design Method for Cost and CO2 Emissions of Reinforced Concrete Frames)

  • 이민석;홍갑표;최세운
    • 한국전산구조공학회논문집
    • /
    • 제29권5호
    • /
    • pp.429-436
    • /
    • 2016
  • 연구에서는 철근콘크리트 건물에 대한 유전자 알고리즘 기반의 최적구조설계기법을 제시하고자 한다. 목적함수는 구조물의 비용과 이산화탄소 배출량을 동시에 각각 최소화하는 것이다. 비용 및 인산화탄소 배출량은 구조설계안에서 얻을 수 있는 단면치수, 부재길이, 재료강도, 철근량 등과 같은 설계정보를 통해 계산한다. 즉, 구조물의 물량을 기초로 하여 비용과 이산화탄소 배출량을 평가한다. 재료의 운반, 시공 및 건물 운영 단계에서 발생하는 비용 및 이산화탄소 배출량은 본 연구에서 제외한다. 제약조건은 철근콘크리트 건물을 구성하는 기둥과 보 부재의 강도조건과 층간변위조건이 고려된다. 제약조건을 평가하기 위해 OpenSees를 활용한 선형정적해석이 수행된다. 제약조건을 만족시키면서 목적함수에 대해 최소의 값을 제시하는 설계안을 찾기 위해 유전자 알고리즘이 사용된다. 제시한 알고리즘의 적용성을 검증하기 위해 4층 철근콘크리트 모멘트 골조 예제에 제시하는 기법을 적용하여 검증한다.

상수관망 다목적 최적설계를 위한 매개변수 자동보정 기법의 적용 (Application of Parameter-setting Free Method for Multi-objective Optimal Design of Water Distribution Systems)

  • 최영환;이호민;유도근;최지호;김중훈
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2015년도 학술발표회
    • /
    • pp.209-209
    • /
    • 2015
  • 상수도 관망은 대표적인 사회기반시설로 수원으로부터 수용가에 이르기까지 안정적으로 유량을 공급하는 것을 목표로 한다. 상수도 관망의 최적설계는 요구되는 절점의 수압, 관로의 유속 등 수리학적 제약조건을 만족시키는 범위 안에서 비용을 최소화하는 설계안을 얻어내는 것을 목표로 시작하였다. 하지만 비용만을 고려한 과거의 상수도 관망 최적설계는 미래의 불확실한 조건에 매우 취약하고, 사용자의 다양한 요구를 충족시키지 못한다. 이 때문에 현대의 상수도 관망의 설계시 다양한 설계인자의 고려와 함께 효율적인 최적설계기법 적용의 필요성이 대두되고 있다. 따라서 본 연구에서는 상수도 관망 최적설계에 다양한 설계인자를 동시에 고려하기 위해 다목적 최적 설계기법인 Multi-objective Harmony Search 알고리즘을 적용하였다. 또한 다목적 최적설계의 효율성 증대를 위하여 매개변수 자동보정 기법 중 하나인 Parameter-Setting-Free (PSF) 기법(Geem and Sim, 2010)을 사용하였다. PSF 기법은 최적화 알고리즘의 매개변수 설정의 번거로움을 없애고, 반복수행을 통한 해 탐색이 진행됨에 따라 가장 효율적으로 작용하는 매개변수를 자동으로 설정하여 탐색효율을 강화하도록 고안된 기법이다. 본 연구에서는 제안된 기법을 실제 상수도관망의 최적설계에 적용하였고 그 결과를 분석하였다. 그 결과 제안된 기법을 통해 관망의 비용을 포함한 다양한 설계인자를 동시에 만족시키는 최적설계안을 효과적으로 도출 할 수 있었으며, 매개변수 자동보정 기법의 적용을 통해 해 탐색의 효율성과 편의성을 향상시킬 수 있었다.

  • PDF

개방형 LBS 를 위한 경로탐색 서비스 (Route Determination Service for the Open LBS)

  • 김성수;김재철;김광수;박종현;이종훈
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2003년도 추계학술발표논문집 (중)
    • /
    • pp.713-716
    • /
    • 2003
  • 현재 국내 LBS 가 중요한 서비스로 널리 확산되기 위해서는 서비스간의 상호운용성이 제공되어야 한다. 본 논문에서는 LBS 서비스간 상호운용성을 제공하는 개방형 LBS 를 위한 경로탐색 서비스에 대한 설계 및 구현기법을 제시한다. 최단경로문제(Shortest Path Problem)는 통신망 및 교통망의 분석, 생산라인의 품질 관리 등의 다양한 분야 등의 네트워크 흐름 최적화 문제 중에서 가장 많이 연구되고 있는 문제다. 도로 교통망에서는 교차로상에서의 회전 제약 문제 등의 제한조건이 존재한다. 본 논문에서 경로탐색은 듀얼 그래프(dual graph)를 이용하여 회전제약조건을 만족하는 경로를 구할 수 있었고, 사용자 경로탐색 기준에 따른 탐색기법도 제시한다. 또한, 구현된 서비스는OpenLS의 표준화된 인터페이스를 구현하여 상호운용성(interoperability)을 지원하며, 자바를 이용한 웹서비스로 구현되어 이식성, 운영체제 및 프로그래밍 언어 독립성을 제공할 수 있는 장점이 있다.

  • PDF

분산 환경 하에서 지능형 에이전트 기반의 자동 스케줄링을 위한 제약만족 기법의 응용 (Applying CSP techniques to automated scheduling with agents in distributed environment)

  • 정종진
    • 한국산업정보학회논문지
    • /
    • 제12권1호
    • /
    • pp.87-94
    • /
    • 2007
  • 분산 인공지능 기법들은 기존의 처리되지 못했던 많은 복잡한 문제들을 모델링하여 해결할 수 있도록 하고 있다. 특히 지능형 에이전트 기법은 분산 처리 환경 하에서 프로세스들 간의 각기 다른 문제 해결 능력들을 공유하도록 하는 방법들을 제공함으로써 효율적인 방법론이 될 수 있음을 증명하고 있다. 본 논문에서는 분산 환경의 스케줄링 문제에 에이전트 기법을 적용하여 문제를 해결하는 멀티에이전트 기반의 스케줄링 시스템 모델을 제안하고자 한다. 특히 멀티에이전트 스케줄링 시스템에 CSP 기법을 응용하여 모델링함으로써 효율적인 스케줄링이 이루어지도록 한다. 제안하는 모델에서는 스케줄링 문제를 제약조건에 따라 부문제들로 분할하고 부문제들에 대해서 분산되어 있는 각각의 에이전트가 자체적인 CSP 해결 기에 의해 해를 구하도록 한다. 본 논문에서는 제안하는 모델의 사례 연구로써 회의일정 스케줄링 문제를 통해 CSP의 모델링과 멀티에이전트 시스템을 이용한 문제해결 기법을 제시한다.

  • PDF

실시간 통신을 위한 이중 TDMA 구현 이더넷 (A Dual TDMA-implemented Ethernet for Real-Time Communication)

  • 이정훈;이봉규;박경린
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제26권3호
    • /
    • pp.341-349
    • /
    • 1999
  • 본 논문은 실시간 통신을 위한 이중 TDMA 구현 이더넷의 구조를 제시하고 이 네트워크 상에서의 대역폭 할당 기법을 제안 및 평가한다. 대역폭 할당 기법은 사전에 알려진 스트림 집합의 주가, 전송시간등의 실시간 트래픽 특성분석에 의해 프레임 시간의 범위, 사용율.종료시한.프로토콜 제약조건을 구하고 이를 만족시키는 프레임 시간과 슬롯시간을 결정한다. 이 기법은 단일 TDMA 구현 이더넷의 대역폭 할당에 따르는 낭비 시간 분석에 기반하고 있으며 이중화의 특성을 이용하여 낭비시간을 감소시킴으로써 단순히 대역폭이 두 배로 확장된 네트워크보다 높은 스케쥴 가능성을 보인다.

유전알고리즘을 이용한 최적조류계산 (Optimal Power Flow by Genetic Algorithm)

  • 김종율;김형수;문경준;이화석;박준호
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2006년도 제37회 하계학술대회 논문집 A
    • /
    • pp.200-201
    • /
    • 2006
  • 최적조류계산은 전력계통에서 여러 가지 제약조건을 만족하면서 경제적으로 계통을 운영하기 위한 기법이다. 종래의 최적조류계산 방법은 주로 선형계획법, 비선형계획법 같은 수치해석적인 방법을 사용하였다. 그러나, 이러한 방법들은 전역 최적해를 구하기 위해서는 목적함수가 Convex해야 한다. 또한 계통 규모가 클 경우, 최적해 수렴이 안되거나 수렴이 되더라도 시간이 많이 걸리는 단점이 있다. 최근에는 이러한 문제를 극복하고자 유전알고리즘과 같은 기법들이 최적조류계산 문제에 적용되고 있다. 본 논문에서는 유전알고리즘을 이용한 최적조류계산 기법을 소개하고 테스트 계통을 대상으로 그 적용가능성을 검증하였다.

  • PDF

이동 컴퓨팅 환경에서 적응적 요청 메시지를 이용한 갱신 거래 스케줄링 기법 (An Update Transaction Scheduling Method using Adaptive Request Message in Mobile Computing Environments)

  • 박준;황부현;정승욱;김중배
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
    • /
    • pp.761-763
    • /
    • 2003
  • 이동 컴퓨팅 환경은 협소한 대역폭. 전력공급의 한계성, 그리고 무선통신망의 낮은 신뢰성 등의 제약사항을 갖고 있다. 이동 컴퓨팅 시스템은 제한된 대역폭의 효율적인 사용과 거래의 수행성능을 향상시키기 위한 비용 효과적인 거래 스케줄링 알고리즘의 개발이 필요하다. 이 논문에서는 캐슁과 방송기법을 사용하는 이동 컴퓨팅 환경에서 이동 클라이언트의 갱신 연산이 가능한 경우에 캐쉬 데이터의 현재성과 상호 일관성을 만족할 수 있는 거래 스케줄링 알고리즘을 제안한다. 제안한 기법은 이동 클라이언트에서 사용하는 캐쉬에 있는 데이터에 대한 유효성을 각 데이터의 동적인 갱신 비율을 기준으로 하여 결정한다. 동적 갱신 비율의 도입은 거래의 철회율을 낮추어 제한된 대역폭의 사용과 서버의 부하를 줄여 시스템의 성능을 향상시킨다.

  • PDF