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

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

파노라마 모자익에서의 정확한 초점거리 복원을 위한 접합 신뢰도 측정방법 (Stitch Reliability Measurement for Recovering Accurate Camera Focal Length in Panoramic Mosaics)

  • 김화성;김창헌
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제28권3호
    • /
    • pp.125-133
    • /
    • 2001
  • 본 논문은 파노라마 모자익의 접합 질을 판단하기 위해 접합 신뢰도라는 수량적 기준을 제시한다. 또한, 파노라마의 자동 생성과 따른 시각화를 위해 필요한 초점거리 측정에 접합 신뢰도가 유용함을 보인다. 이미지로부터 초점거리를 복원하는 기존 방법은 일반적인 파노라마 모자익에서 나타나는 잘못 접합된 부분을 초점거리 계산에 포함하기 때문에 부정확하다는 단점이 있다. 제안 방법은 높은 접합 신뢰도를 가진 일정 개수의 이미지를 선별할 수 있기 때문에 초점거리를 따르고 정확하게 자동 측정한다. 접합의 신뢰도를 계산하기 위해, 제안 방법은 카메라 회전 움직임 제약조건의 만족 여부를 판단할 수 있는 특징점을 정의하고, 이 특징점의 이상적인 위치와 실제 위치의 차이를 계산한다. 본 논문에서 제시한 제약조건은 카메라의 자유 회전 움직임에서 항상 만족하고, 이는 수학적으로 증명된다. 마지막으로, 실험을 통해 제안 방법이 기존 방법보다 초점거리의 편차가 작다는 것을 보이고, 파노라마 모자익의 접합 질을 높인다는 것을 보인다.

  • PDF

분산 실시간 시스템에서의 자원 제어 기법 (A Resource Control Technique in Distributed Real-Time Systems)

  • 이은미;허신
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제28권3호
    • /
    • pp.161-172
    • /
    • 2001
  • 본 논문에서는 분산 실시간 시스템에서 공유되는 자원들에 대한 실시간적 특성을 분석하고, 태스크가 이들 자원을 요청했을 때, 봉쇄시간을 예측하는 자원 관리자를 제안한다. 분산 환경에서, 우리는 봉쇄의 주요 원인인 우선순위 역전 문제와 함께 원격 봉쇄의 문제점을 고려해야 한다. 본 논문에서 우선 순위 역전 문제는 동기 프로토콜로 잘 알려진 Priority Ceiling Protocols(PCP)를 사용하여 해결하였다. 또한, 원격 봉쇄의 문제에 대해서는, 전역자원을 다른 지역자원들 보다 우선적으로 수행함으로써 원격 태스크들로 인한 봉쇄시간을 예측할 수 있도록 하였다. 본 논문의 자원 관리자는 할당된 자원과 태스크들의 관계 목록을 이용하여, 요청된 자원의 상태에 따른 봉쇄요인을 분석하고, 그 결과로 태스크가 자원 수행을 마칠 때까지 소요되는 봉쇄시간의 상한값을 결정한다. 또한, 이러한 상한값의 타당성을 수학적으로 증명하였다.

  • PDF

PMBOK 프로세스 연관도와 네트워크 토폴로지 특징에 관한 비교 (The comparison about PMBOK process correlation and network topology characteristics)

  • 손주항;김민택;정동수;한정안
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
    • /
    • pp.217-219
    • /
    • 2012
  • 효율적으로 일하는 방법을 제시하는 프로젝트 관리 프레임 중의 하나인 PMBOK는 9가지 프로젝트 관리 영역의 필요성을 제시하고 있다. PMBOK 프로세스 연관도를 살펴보면, 네트워크 토폴로지의 특징인 노드, 링크, 순위, 빈도수와 관련된 유사한 면이 있는 것을 발견할 수 있다. PMBOK의 표준 프로세스 연관도에 따라 연결되는 링크를 순차적으로 그린다고 가정했을 때, 실제 업무의 프로세스 링크는 네트워크이론의 Power-law를 따를 것이라고 예상되었다. 이러한 현상을 증명하기 위해 PMBOK 표준 프로세스 연관도를 모델로 하여, 인터넷 위상의 특징을 결정하는 속성 중 Power-law1, 2의 관련성을 분석하였다.

공간-변형 셀룰라 신경망 기반 연상 메모리 설계를 위한 새로운 방법론 (A synthesis procedure for associative memories based on space-varying cellular neural networks)

  • 김혜연;박주영;박연묵;이성환
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (B)
    • /
    • pp.472-474
    • /
    • 2000
  • 본 논문에서는 연상 메모리 기능을 수행하는 공간-변형 셀룰라 신경망의 설계 방법론을 제안한다. 셀룰라 신경망에 관한 알려진 결과들과 새로 도출된 이론을 기반으로, 주어진 양극 벡터들을 기대할만한 성능으로 기억할 수 있는 공간-변형 셀룰라 신경망을 얻는 설계 방법론을 제안한다. 본 논문에서 제안된 설계 방법론의 주요 부분은 일반화된 고유값 문제(GEVP)와 선형행렬 부등식 문제(LMIP)를 푸는 것으로 이루어지며, 이 문제들은 현재 내부점 방법에 의해 효과적으로 풀릴 수 있다. 제안된 방법의 정당성은 설계 예제를 통해서 증명한다.

  • PDF

단순전단유동에서 Doi-Edwards 모델의 불안정성 (Hadamard Instability of the Doi-Edwards Model in Simple Shear Flow)

  • 권영돈
    • 유변학
    • /
    • 제10권3호
    • /
    • pp.160-164
    • /
    • 1998
  • 본 연구에서 Doi-Edwards 점탄성 조성방정식의 Hadamard 안정성 분석을 행하였 다. Hadamard 안정성은 방정식의 탄성 성질과 연관되는 특성으로 파장이 짧고 진동수가 큰 파동에 의한 외란 하에서 식의 안정성을 의미한다. 먼저 안정성을 위한 일반 3차원 조건을 수립하고 단순한 1차원과 2차원 외란하에서 필요조건을 구하였다. Doi-Edwards 이론을 따 르는 물질의 단순전단유동을 고려함에 의하여 순간 전단변형률이 1.8786을 넘어설 때 파장 이 짧고 진동수가 큰 외란에 의하여 불안정성이 나타남이 증명되었다. 이 안정성의 임계치 는 실제 고분자공정 뿐 아니라 실험실에서도 쉽게 도달할수 있는 값으로 이와 같은 불안정 유동은 mi-crophase separation과 같은 물리적 현상과는 관련이 있다는 증거가 없으므로 조 성방정식 자체가 지니는 수학적 모순점에 기인한 것이라 할수 있다.

  • PDF

마찰용접의 이론과 실제의 적용 (Fundamentals and Basic Application of Friction Welding)

  • 정호신
    • Journal of Welding and Joining
    • /
    • 제15권6호
    • /
    • pp.1-12
    • /
    • 1997
  • 마찰용접의 실제적인 생산에의 응용은 중요 부품의 용접에 그 적용이 검토 되었지만 마찰용접의 실적이 적었기 때문에 다른각종의 용접법과 용접부 특성을 비교 확인할 정도이었을 뿐 마찰용접을 본격적으로 도입하는 데에는 많은 저항이 있었다. 그러나 각종 시험을 되풀이하고 확고한 근거가 마련된 단계에서도 품질에 대한 불안 이나 일반화되어 있지 않다고 하는 관점에서도 마찰용접이 갖는 매력 때문에 도입이 시도되었다. 따라서 마찰용접품의 관리에 대해서도 비정상적일 정도로 배려를 거듭하 여 초창기에는 전체를 비파괴 시험하거나 sample 파괴시험하는 등의 상당히 번잡한 검사를 거쳤다. 그러나 마찰용접품의 불량률이 격감하였다는 것과 검사결과가 양호 하다는 등 종래의 용접법에 비해 용접부의 품질이 매우 우수하고 또 재현성이 높다는 점이 증명된 이후 흡속히 마찰용접이 각 산업분야에 도입되었다.

  • PDF

국내 앙상블 유량예측 연구 5년 (The 5-Year Ensemble Streamflow Prediction Studies in Korea)

  • 김영오;정대일
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2004년도 학술발표회
    • /
    • pp.267-271
    • /
    • 2004
  • 2000년도 국내에 소개된 앙상블 유량예측은 한반도 유출특성을 고려한 예측시스템 구축을 위해 꾸준한 수정과 보완을 반복하며 약 5년간의 연구가 진행되었다. 앙상블 유량예측의 연구방향은 크게 예측의 정확성을 향상시키기 위한 이론적 인구와 수자원 계획과 관리에 활용될 수 있도록 GUI를 포함한 유량예측시스템을 구축하는 등의 실무적 연구가 함께 진행되고 있다. 앙상블 유량예측의 정확성을 향상시키기 위해 갈수기에 강우-유출모형의 모의능력을 개선해야 하며, 홍수기에는 기상예보를 효율적으로 이용해야 한다는 기본 전략을 수립하였다. 최근 강우-유출모형의 모의능력을 개선하기 위해 신경망 강우-유출모형을 구축하고, 기존 강우-유출모형의 모의결과를 보정하거나, 두개 이상의 모형을 결합함으로서 유량모의능력을 개선하여 갈수기 앙상블 유량예측 정확성을 향상시킬 수 있음을 증명하는 성과를 거둔 바 있다. 향후 앙상블 유량예측의 연구 방향은 기상예보자료의 적극적인 활용에 초점을 맞추고 있다. 최근 ENSO(El Nino Southern Occillation), PDI(Pacific Decadal Idex) 등 다양한 기후정보의 새로운 발견과 GCM 등 기후모형의 급속한 개선으로 기후 예측의 정확도가 높아지고 있는 추세이므로, 이를 이용하여 홍수기 앙상블 유량예측의 정확도 개선을 목표로 인구가 진행될 전망이다.

  • PDF

접촉 작업을 위한 로봇의 스킬 학습 전략 (Robot Skill Learning Strategy for Contact Task)

  • 김병찬;강병덕;박신석;강성철
    • 로봇학회논문지
    • /
    • 제3권2호
    • /
    • pp.146-153
    • /
    • 2008
  • 본 논문에서는 인간 운동 제어 이론과 기계학습을 기반으로 하여 로봇의 접촉 작업 수행을 위한 새로운 운동 학습 전략을 제시하였다. 성공적인 접촉 작업 수행을 위한 본 연구의 전략은 강화학습 기법을 통하여 최적의 작업 수행을 위한 임피던스 매개 변수를 찾는 것이다. 본 연구에서는 최적의 임피던스 매개 변수를 결정하기 위하여 Recursive Least-Square (RLS) 필터 기반 episodic Natural Actor-Critic 알고리즘이 적용되었다. 본 논문에서는 제안한 전략의 효용성을 증명하기 위해 동역학 시뮬레이션을 수행하였고, 그 결과를 통하여 접촉작업에서의 작업 최적화 및 환경이 가지는 불확실성에 대한 적응성을 보여 주었다.

  • PDF

콘크리트 교량의 상태 평가를 위한 성능지수 (PERFORMANCE INDEX-An Assessment Indicator of Concrete Bridges)

  • 김경수
    • 한국구조물진단유지관리공학회 논문집
    • /
    • 제1권2호
    • /
    • pp.131-140
    • /
    • 1997
  • 콘크리트 교량을 저렴하고 신속하게 상태 평가를 하기 위하여 성능 지수(Performance Index)를 제안한다. 이 기법은 육안 검사에 의하여 발견된 결함의 범위와 심각도를 사용하여 콘크리트 교량의 전반적인 상태를 신속하게 등급화 하고 콘크리트 교량의 노출 조건을 고려하여 콘크리트 성능을 정량적으로 평가한다. 또한 본 연구에서는 상기한 성능 지수 기법의 타당성을 증명할 수 있는 정밀 안전 진단 시험결과를 활용하여 6개의 주요 노후화 원인을 고려하는 또 다른 성능 지수를 제안한다. 이러한 두 상태 평가 방법이 영국의 실제 교량 상태 평가 자료를 바탕으로 한 상태 평가 결과를 퍼지 집합 이론(fuzzy set theory)으로 분석한 결과와 비교하여 방법의 정당성 및 신뢰성을 논의한다.

  • PDF

차원 축소를 위한 유클리드 거리의 근사 방안 (On Approximating the Euclidean Distance for Dimensionality Reduction)

  • 정승도;김상욱;김기동;최병욱
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
    • /
    • pp.67-69
    • /
    • 2005
  • 고차원 공간상의 벡터들 간의 유클리드 거리를 빠르게 계산하는 것은 멀티미디어 정보 검색을 위하여 매우 중요하다. 본 논문에서는 고차원 공간상의 두 벡터들 간의 유클리드 거리를 효과적으로 근사하는 방법을 제안한다. 이러한 근사를 위하여 두 벡터들의 놈(norm)을 사용하는 방법이 기존에 제안된 바 있다. 그러나 기존의 방법은 두 벡터간의 각도 성분을 무시하므로 근사 오차가 매우 커지는 문제점을 가진다. 본 연구에서 제안하는 방법은 기준 벡터라 부르는 별도의 벡터를 이용하여 추정된 두 벡터간의 각도 성분을 유클리드 거리 근사에 사용한다. 이 결과, 각도 성분을 무시하는 기존의 방법과 비교하여 근사 오차를 크게 줄일 수 있다. 또한, 제안된 방법에 의한 근사 값은 유클리드 거리 보다 항상 작다는 것을 이론적으로 증명하였다. 이는 제안된 방법으로 멀티미디어 정보 검색을 수행할 때 착오 기각이 발생하지 않음을 의미하는 것이다. 다양한 실험에 의한 성능 평가를 통하여 제안하는 방법의 우수성을 규명한다.

  • PDF