• 제목/요약/키워드: 시스템 모델링

검색결과 793건 처리시간 0.151초

모바일 비디오 서비스에서의 게임이론

  • 서덕영;정재윤;이용헌
    • 정보와 통신
    • /
    • 제26권7호
    • /
    • pp.30-39
    • /
    • 2009
  • 게임이론은 경제현상을 분석 또는 예측하는 도구로서 사용되어왔으며, 본고에서는 이를 모바일 비디오 서비스에 적용하는 의의와 방법을 소개한다. 게임이론은 이기적이기도 하고 이타적이기도 한 사람이 개입하는 시스템을 모델링하는데 매우 유용한 방법론을 제공한다. 자원이 항상 제한적인 모바일 환경에서, 많은 자원을 요구하는 비디오 서비스를 제대로하는 것은 매우 어려운 일이며, 따라서 게임이론을 이용한 실용적이고 현실적인 모델링이 중요하다. 이와 관련하여 그간의 국내외 연구를 정리하고 향후 발전방향을 제시한다.

하드웨어 명세 및 구현의 정확성 확인 방법을 위한 연구 (Study for Validation of Hardware Specification and Implementation)

  • 안영정;김민숙;방기석;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
    • /
    • pp.31-33
    • /
    • 2003
  • 기능 검사(function simulation)란 하드웨어 시스템의 설계시 모델의 기능, 성능, 표준 준수 여부, 그리고 다른 상위 수준 조건의 관점에서 그 설계를 분석하는 중요한 설계 흐름이다. 하지만 복잡한 기존의 기능 검사의 절차는 사용자의 요구에 의해 하드웨어 시스템이 점점 복잡해지고 정보산업의 발전에 따라 개발 주기가 점점 빨라지는 시장의 특성으로 인해 설계자에게 많은 시간적 경제적인 부담감을 준다. 본 논문에서는 설계자에게 가중되는 부담을 극복하고 보다 효율적인 하드웨어 시스템의 모델링 및 기능 검사를 위해 오토마타 동치성 검사를 통한 하드웨어 시스템의 논리적 정확성 확인 방법론을 제안한다.

  • PDF

NuSMV에서 생성된 반례길이 비교 (Minimal Solution trace generation for game)

  • 이태훈;권기현
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
    • /
    • pp.358-360
    • /
    • 2003
  • 모델검사는 시스템과 그 시스템이 만족해야할 속성을 입력받아서 시스템이 속성을 만족하는지를 자동으로 보여주는 기술이다. 시스템이 속성을 만족한다면 참을, 만족하지 않는다면 왜 만족하지 않는지에 대한 반례를 보여준다. 모델검사에서 반례는 시스템의 오류를 발견하는데 중요하게 사용된다. 또한 모델검사를 이용해서 게임시스템을 모델링하고 반례를 이용해서 게임에 대한 풀이를 알 수 있게 되었다. 하지만 이런 반례가 최적의 풀이인지는 알 수 없었다. 이 논문은 모델검사에서 나온 게임 풀이가 최단 풀이 경로인지를 살펴본다. 그리고 최단 풀이경로를 출력하도록 NuSMV를 수정하여 원래 NuSMV에서 생성된 게임 풀이와 길이를 비교해 본다.

  • PDF

저차 시스템에 의한 다변수 시스템의 모델링 (Modeling for Multivariable Systems by Low Order Systems)

  • 안두수;이명규;김민형
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1993년도 하계학술대회 논문집 A
    • /
    • pp.319-322
    • /
    • 1993
  • This paper presents model reduction method of multivariable systems using orthogonal transformation based on aggregation method in time domain. Reduced model which is desisted by presented method preserve stability as relative dominant eigenvalues are selected in original system and obtained computational advantages using orthogonal functions.

  • PDF

매틀랩을 이용한 RPG 시스템 연료전지 모델 구현 (RPG System Fuel Cell Modeling using Matlab)

  • 김나영;장예지;한경희;백수현
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2009년도 춘계학술대회 논문집 에너지변화시스템부문
    • /
    • pp.251-252
    • /
    • 2009
  • 본 논문에서는 Matlab & Simulink를 이용하여 PEM Fuel Cell의 RPG시스템을 모델링 하였다. 모델링을 위해 기본적인 PEMFC의 기본 구조와 원리를 설명하고, 압력, 온도, 농도 등을 고려한 시뮬레이션을 구현하였다. 일정 조건 하에서 실험을 통하여 시뮬레이션의 결과와 실험값을 비교하였다.

  • PDF

태양열을 이용한 상변화 Thermosyphon의 작동특성과 시스템 모델링에 관한 연구 (Study on the operating characteristics and system modelling of loop type thermosyphon for using solar thermal energy)

  • 강명철;이윤준;윤현식;강용혁;윤환기;유창균;이동규
    • 한국에너지공학회:학술대회논문집
    • /
    • 한국에너지공학회 1999년도 추계 학술발표회 논문집
    • /
    • pp.187-192
    • /
    • 1999
  • 전 세계적으로 무분별한 화석에너지 사용에 따른 환경오염 문제와 에너지원의 고갈로 인하여 태양에너지는 대체에너지원으로 가장 유용한 에너지원이다. 대체에너지원으로의 태양에너지는 다양한 이용분야가 개발되어 실용화되고 있는데 그 중에서 온수급탕을 위한 연구로 자연형 태양열 시스템과 상변화형 시스템이 주류를 이루고 있다. 자연형 시스템의 개발과 실용화로 얻어진 기술을 바탕으로 기후에 적합한 상변화를 이용하는 시스템 개발을 추진하고 있는 실정이다.(중략)

  • PDF

PSIM 기반의 THS-II 추진 시스템 모델링 (PSIM based Modeling of THS-II propulsion system)

  • 배태석;최재호;임덕영
    • 전력전자학회:학술대회논문집
    • /
    • 전력전자학회 2012년도 전력전자학술대회 논문집
    • /
    • pp.126-127
    • /
    • 2012
  • 본 논문에서는 2세대 Toyota Prius의 파워트레인 구성요소의 모델링과 THS-II의 추진 시스템 해석에 대하여 기술한다. 내연기관, 전동기, Energy Storage System(ESS)과 같은 구성요소들의 정격은 에너지 개념과 Electrical Peaking Hybrid(ELPH)를 이용하여 설계 하였다. PSIM을 사용하여 모델링 하였으며 시뮬레이션 결과를 통하여 설계된 시뮬레이터의 타당성을 입증하였다.

  • PDF

배전계통에서의 3상 반파 컨버터와 전파 컨버터의 모델링 (3-Phase Half Wave and Full Wave Converter Modeling in Distribution System)

  • 이근형;푸준;김철환
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2007년도 제38회 하계학술대회
    • /
    • pp.1960-1961
    • /
    • 2007
  • 컨버터는 교류와 직류간의 변환, 교류 주파수의 상호변환, 상수(相數)의 변환 등을 하는 장치를 말하는데 일반적으로는 교류와 직류간의 변환을 의미한다. 송.배전 시스템에서 교류의 형태로 공급되는 전기를 직류가 필요한 곳에서는 컨버터를 이용하여 직류로 변환하여 사용하는데 이를 전력계통의 과도현상 분석용으로 개발된 수치계산 프로그램인 EMTP (Electromagnetic Transient Program)를 사용하여 3상 반파 컨버터와 3상 전파 컨버터를 이용한 시스템을 모델링하고 분석하였다.

  • PDF

스너버의 마찰을 고려한 하부지지형 세탁기의 진동 해석 (Vibrational analysis of the base supported washing machine considering the frictional effect in snubber)

  • 최상현;김주호;한창소;한동철
    • 한국소음진동공학회:학술대회논문집
    • /
    • 한국소음진동공학회 1993년도 추계학술대회논문집; 반도아카데미, 26 Nov. 1993
    • /
    • pp.99-105
    • /
    • 1993
  • 본 연구에서는 세탁통 및 감속장치가 스너버(Snubber)와 지지 스프링에 의 해서 지지되는 하부지지형 세탁기를 모델로 선택하였으며, 시스템의 동특성 해석을 위하여 세탁기를 회전체를 갖는 강체 현가 시스템으로 모델링하고 운동방정식을 구하여 수치 해법을 적용하여 진동 특성을 계산하였다. 세탁기 의 진동 형태를 예측하기 위해서 밑판의 마찰 계수, 스터버의 곡률 반경, 지지 스프링 계수 및 위치 등을 진동량에 영향을 미치는 설계 변수로 선정하여 결과를 구하였으며, 이 자료들을 설계 변경시에 이용할 수 있게 하였다.

  • PDF

임베이드 하드웨어/소프트웨어 시스템 구성에 관한 연구 (A Study on Constructing the Embedded Hardware/Software Systems)

  • 이택근;김치용;박춘명
    • 한국멀티미디어학회:학술대회논문집
    • /
    • 한국멀티미디어학회 2003년도 춘계학술발표대회논문집
    • /
    • pp.10-13
    • /
    • 2003
  • 본 논문에서는 21세기의 정보기술의 중심이 되는 임베이드 시스템을 하드웨이/소프트웨어 기반의 임베이드 시스템 구성에 대한 한가지 방법에 대해 논의하였다. 이를 위해 본 논문에서는 임베이드 시스템의 분류와 그 필요성에 대해 기술하였고, 또한, 임베이드 시스템 구성시에 고려할 사항과 분류에 대해 논의하였다. 그리고 임베이드 시스템 모델링에 대해 논의하였다. 또한 제안한 임베이드 하드웨어/소프트웨어 시스템은 최근에 그 중요성이 높아지고 있으며 향후 많은 분야에 접목이 될 멀티미디어 시스템을 효과적으로 구성할 수 있는 토대를 제공할 수 있을 것으로 기대된다.

  • PDF