• 제목/요약/키워드: 증명이론

검색결과 623건 처리시간 0.029초

멀티미디어 스트리밍 환경을 위한 캐쉬 성능평가 모델 설계 및 최적성 분석 (Design and Optimality Analysis of Cache Performance Model for Multimedia Streaming Environments)

  • 반효경;조경운
    • 한국인터넷방송통신학회논문지
    • /
    • 제23권5호
    • /
    • pp.9-13
    • /
    • 2023
  • 멀티미디어 스트리밍 데이터는 용량이 매우 크고 순차적으로 접근이 이루어지는 특성이 있어 전통적인 캐슁 환경에서 입출력의 성능을 개선하기 위해 널리 사용되고 있는 LRU 알고리즘이 효과적이지 못한 것으로 알려져 있다. 이에 대한 실험적인 분석은 인터벌 기반 캐슁의 LRU 대비 성능 상의 비교 우위를 통해 입증된 바 있으나, 이론적인 근거가 증명되지는 않았다. 본 논문에서는 멀티미디어 스트리밍 환경을 위한 캐슁의 최적성을 분석하기 위해 캐쉬 성능평가 모델을 설계하고, 이론적으로 최적인 캐슁 알고리즘을 인터벌 캐슁에 기반해서 설계한다. 그런 다음 설계된 알고리즘이 스트리밍 데이터의 캐쉬 미스를 최소화하는 교체 알고리즘임을 제안된 모델에 근거한 최적성 분석을 통해 입증한다.

가상현실(VR)을 활용한 참여형 공간설계방법론 (A Participatory Spatial Design Methodology using Virtual Reality)

  • 최재연;김은형
    • 지적과 국토정보
    • /
    • 제46권2호
    • /
    • pp.253-267
    • /
    • 2016
  • 본 연구는 공간설계의 전반적인 참여를 위해서 가상현실을 적용시키는 방법론에 대한 논문이다. 현재의 공간설계의 참여는 일방적 정보전달의 과정, 정보이해의 어려움, 공간설계 단계의 제한적 참여라는 문제를 가지고 있다. 이런 문제점 해결을 위해 참여사다리의 마지막 단계로 제시되었던 PPGIS와 Geodesign의 비전인 가상현실은 참여의 수단으로 주목 받고 있다. 본 논문은 이러한 가상현실을 설계과정에 활용시키는 참여형 설계방법론을 제시하고자 한다. 이를 위해 본 논문은 참여와 가상현실에 대한이론 고찰을 통해 가상현실이 참여를 지원 할 수 있음을 확인하였고, 설계과정에서 가상현실이 수행해야 할 역할의 도출을 위해 설계과정과 참여과정을 비교하였다. 이 과정의 결과를 통해 가상현실을 활용한 참여형 공간설계 방법론을 제시한다. 또한, 방법론의 증명을 위해 설계과정에 적용하여 각 단계별 가상현실을 구현하고, 각 단계별 역할의 수행여부를 확인하여 방법론을 증명하였다. 증명의 결과로, 가상현실 체험을 통한 경험이 설계안을 효과적으로 이해시킬 수 있고 또한 가상현실을 통한 상호작용이 가능함을 증명하였고 이는 설계과정에서의 전반적인 참여가 가능하다는 것을 확인 하였다.

Downs-Thomson의 역설은 존재하는가? (수도권을 중심으로) (The Equilibrium Between Public and Private Transports on Seoul Metropolitan Area)

  • 김강수;육동형;조혜진
    • 대한교통학회지
    • /
    • 제23권8호
    • /
    • pp.43-51
    • /
    • 2005
  • Thomson(1977)은 수단간 균형상태가 여러 교통 수단간에도 존재할 수 있음을 주장하였다. 즉, 특정 기 종점간의 개인교통수단과 대중교통수단의 매력도(attractiveness)가 이용자 균형상태의 각 경로들의 통행시간 균형처럼 각 수단간에도 균형이 존재 할 수 있음을 제안하였으며, Mogridge(1985)는 이를 실제로 통행시간의 측면에서 런던과 파리의 예를 들어 균형상태가 존재함을 증명해 보았다. 본 연구에서는 각 수단간의 균형상태가 존재하는가에 대한 실증적 예를 수도권을 대상으로 파악해보고 교통 정책적 관점에서 이를 어떻게 해석할 수 있는가에 대한 시사점을 알아보았다. 결론적으로 서울을 기점으로 거리별로 대중교통수단과 승용차의 통행시간 비율과 수단분담율을 분석한 결과 균형이론의 밑바탕이 되는 승용차 억제수요의 행태변화가 이론과 실제가 상이하여 현실에서는 Thomson의 균형이론이 성립하기 어려운 것으로 판명되었다.

퍼지 제어기로부터 PID 제어기의 구현에 관한 연구 (Derivation of a Linear PID Control Law from a Fuzzy Control Theory)

  • 최병재;김병국
    • 한국지능시스템학회논문지
    • /
    • 제7권2호
    • /
    • pp.70-78
    • /
    • 1997
  • 여러 가지 고급 제어 이론들에 관한 연구가 심도있게 진행되고 있음에도 불구하고 아직까지 산업현장에는 여러가지 변형된 형태의 PID 제어기가 널리 사용되고있다. 이는 PID 제어기 자체가 가진 제어 구조의 단순성, 효율성, 강건성, 그리고 제어 기술자들에 대한 친밀감 등에 기인한다. 또한 요즘 제어 분야에서는 퍼지 이론을 도입하는 연구가 활발히 진행되고 있다. 특히, 퍼지 이론을 사용해서 거의 모든 함수들을 근사화시킬 수 있다는 연구 결과들이 발표되면서 수학적으로 안정성 및 강건성을 명확히 증명하기에 다소 미흡하였던 퍼지 논리 제어에 관한 연구가 활기를 띠고 있다. 본 논문에서는 먼저 간단한 퍼지 제어기로부터 선형 PID 제어기를 유도한다. 그리고 나서 다소 일반적인 경우의 퍼지 제어기를 사용하여 산업 현장에서 가장 널리 사용되고있는 선형PID 제어기를 유도하여 결굴 PID 제어기는 퍼지 제어기의 일종에 불과함을 입증할 것이다.

  • PDF

소비자의 보험소비만족에 관한 융합연구: 자기결정성 이론을 중심으로 (Consumer's Satisfaction of Insurance Consumption: Focusing on Self-determination Theory)

  • 심현정;김민정;최현자
    • 한국융합학회논문지
    • /
    • 제9권5호
    • /
    • pp.157-169
    • /
    • 2018
  • 본 연구는 보험소비자의 자발적 구매동기가 보험소비만족에 어떠한 영향을 주는지 확인하고자 하였다. 심리학의 자기결정성 이론에 근거하여 자발적인 구매동기를 유발하는 소비자의 심리적 욕구를 포함하여 보험소비만족에 대한 직 간접적 영향을 파악하고자 하였다. 보험소비자 1,225명 대상의 온라인 설문조사 자료를 이용하여 구조방정식 분석을 통해 연구 가설과 모형을 증명하였다. 연구결과, 소비자가 구매의 필요성을 스스로 인지하는 자발적인 구매동기에 의한 구매시 보험소비만족이 높아지고, 보험소비자율성과 보험소비환경에 대한 긍정적 인지는 자발적 구매동기를 높이며, 이를 매개로 소비만족에 기여하는 것으로 나타났다. 본 연구를 통하여 보험회사의 과도한 마케팅과 보험소비자의 자기과신은 보험소비만족을 저해할 수 있으며, 보험소비자의 자율적권리와 책임 인식을 높이는 금융소비자의 소비태도 교육이 필요하다는 시사점이 도출되었다.

온라인 게임 캐릭터에 성격을 적용하기 위한 G-HEXACO 타당화 연구: FIFA ONLINE3을 중심으로 (Validation of G-HEXACO for Application to Game Character's Personality - Focusing on FIFA Online3-)

  • 김미선;고일주
    • 한국게임학회 논문지
    • /
    • 제15권5호
    • /
    • pp.7-18
    • /
    • 2015
  • 본 연구는 HEXACO 성격 이론을 게임캐릭터에 적용하여, 게임에서 캐릭터가 다양한 성격을 표현하고, 다른 캐릭터와 상호작용을 하기 위한 이론적 기반을 구축하는 것에 목적이 있다. HEXACO PI-R은 현실을 기반으로 한 검사이므로 현실과 다른 특성을 지닌 게임에 적용하기에 무리가 있다. 따라서 게임 캐릭터에 성격 특성을 적용하기 위해서는 HEXACO PI-R을 변환시킨 게임 HEXACO(Game HEXACO, G-HEXACO)가 필요하다. G-HEXACO를 제안하기 위해서 우선 HEXACO PI-R이 게임에 활용하기에 적절한 이론임을 증명해야 한다. 이를 위해 일반인을 대상으로 HEXACO PI-R과, HEXACO 의 6 요인과 관련된 게임 문항을 설문하였다. 이 설문 결과를 바탕으로 하여, G-HEXACO성격 검사를 고안하였다. 본 연구는 게임 캐릭터에 성격을 적용하는데 있어, G-HEXACO 성격 검사가 HEXACO PI-R을 대체할 수 있음을 의미한다.

이윤율헤징을 이용한 원유 구매 전략 (Profit Margin Hedging Strategy in Crude Oil Purchasing)

  • 양지혜;김현석
    • 자원ㆍ환경경제연구
    • /
    • 제26권4호
    • /
    • pp.499-517
    • /
    • 2017
  • 본 연구는 원유 구매자가 원유를 구매함에 있어 이윤율헤징 전략이 항상 헤징하거나 모두 현물 구매하는 전략에 비해 최적의 구매전략이 될 수 있는지 기대목표효용 함수를 이용하여 이론적으로 분석하고 시뮬레이션을 실시하였다. 또한 선물가격이 평균회귀할 때 이윤율헤징이 최적의 전략이 된다는 이론적 증명을 바탕으로 원유 선물가격의 평균회귀성에 대한 실증분석을 수행하였다. 기대목표효용함수에 대한 시뮬레이션 결과, 원유를 구매함에 있어 이윤율헤징 전략을 사용할 경우 다른 전략을 사용해 구매하는 경우에 비해 더 높은 기대효용을 가져오는 것으로 나타났다. 원유 선물가격의 평균회귀성에 대한 실증분석 결과 평균회귀성을 가진다는 것은 입증할 수 없었다. 그러나 이론적 분석과 시뮬레이션 결과, 원유 선물시장에서 이윤율 헤징을 통한 구매전략이 원유 구매의 최적 전략이 된다고 판단할 수 있었다.

복합 입체형 정육면체 트러스 단위구조체의 강도 및 강성에 대한 해석 연구 (A Study on the Strength and Stiffness of Multi-Stage Cubic Truss Unit Structures)

  • 최정호
    • 한국융합학회논문지
    • /
    • 제10권4호
    • /
    • pp.139-145
    • /
    • 2019
  • 이 논문은 복합 입체형 트러스 단위구조체에 대한 강도 및 강성을 연구하였다. 사용된 모델은카고메 모델과 정육면체 트러스 모델을 합한 core-filled 모델이다. 해석을 위해 사용한 재질 특성은 304 스테인레스 스틸로 탄성계수는 193GPa, 항복응력 215MPa이다. 이론식은 깁슨-애쉬비의 상대탄성 관계식을 바탕으로 이론식을 유도하였고, 상용도구인 Deform 3D를 사용하여 해석을 실시하였다. 결론적으로 이 단위모델에 대한 상대탄성력은 상대밀도의 1.25배와 상수 계수값과 상관관계를 형성하고, 탄성은 기공과 반비례한다. 그리고, 상대압축강도는 상대밀도와 1.25배의 상관관계를 이룬다. 이에 대한 증명은 실제 실험을 해야 하겠으며, 유도한 이론 관계식은 굽힘과 좌굴등의 기계적 거동을 추가로 고려해야 한다. 앞으로 입체공간의 구조에 따른 탄성 및 응력에 대해 지속적인 연구가 진행될 것이다.

소액보험의 수요: 건강보험을 중심으로 (The Demand of Microinsurance: a Case of Health Insurance)

  • 홍지민
    • 한국산학기술학회논문지
    • /
    • 제21권12호
    • /
    • pp.469-474
    • /
    • 2020
  • 본 연구는 기존의 연구가 설명하지 못하는 저소득계층의 낮은 수요, 위험회피성향이 높을수록 낮은 수요를 보이는 점과 같은 소액보험의 특성을 건강보험에 관한 이론모형을 바탕으로 설명하고 있다. 특히 이러한 특성은 소득이 낮을 수록, 위험회피성향이 높을수록 보험 수요가 높다는 기존의 보험 이론과 배치되는 측면이 존재한다. 본 연구는 기존 1기간 모형에 비해 본 연구는 2기간 모형을 가정하고 있다. 그 결과 첫째, 기존 1기간 모형 하에서와 달리 소득의 감소가 언제나 질병 예방의 노력을 감소시킨다는 것을 보이고 있다. 둘째, 계리적으로 공정한 보험료 하에서 개인이 전부보험을 선택한다는 기존 연구결과와는 달리 소득이 낮은 경우 보험 수요가 낮아질 수 있다는 것을 보이고 있다. 셋째, 본 연구는 미래에 대한 전망이 개선될수록 보험 수요가 낮아질 수 있으며, 넷째, 위험회피성향이 증가할수록 보험수요가 증가해야 한다는 기존 연구결과와는 달리, 보험자에 대한 신뢰 부족 및 파산 우려가 큰 경우 위험회피성향이 증가할수록 보험수요가 오히려 낮아질 수 있다는 것을 이론적으로 증명하고 있다.

잰킷 행렬을 이용한 저밀도 부호의 구성 (Low Density Codes Construction using Jacket Matrices)

  • 문명룡;이광재;;황기연;이문호
    • 대한전자공학회논문지TC
    • /
    • 제42권8호
    • /
    • pp.1-10
    • /
    • 2005
  • 본 논문에서는 대수 이론과 관련된 일반화된 치환 행렬로부터 저밀도 부호의 명시적 구성을 고찰하였으며, 순환공식과 치환행렬에 관한 재킷 역 블록 행렬을 설계하였다. 설계 결과로부터 제안 기법은 저밀도 부호를 얻기 위한 간단하며, 고속화된 기법임을 알 수 있다. 또한, $\pi$-회전 LDPC(low density parity check) 부호와 같은 구조화 LDPC 부호 역시 저밀도 재킷 역 블록 행렬임을 증명하였다.