• 제목/요약/키워드: 존재 증명

검색결과 529건 처리시간 0.03초

광디스크를 위한 주파수 적응 알고리즘과 함께하는 강인 출력 제어기 (Robust Output Regulator with Frequency Adaptation Algorithm for Optical Disc Drives)

  • 김상현;김형종;심형보
    • 전자공학회논문지SC
    • /
    • 제48권4호
    • /
    • pp.17-24
    • /
    • 2011
  • 본 논문에서는 알 수 없는 주파수를 가지는 주기적인 외란이 존재하는 광디스크 드라이브에 대하여 주파수 적응 알고리즘과 출력 제어기를 추가하여 외란을 제거하는 제어기법을 제안한다. 여기서 IMP(internal model principal)에 기반을 두는 주파수 적응 알고리즘은 주기적인 외란의 주파수를 알아내는 역할을 한다. 전체 시스템의 안정도 및 외란제거 성능은 특이섭동이론(singular perturbation theory)으로 증명된다. 본 논문의 기여는 주파수 범위에 따른 설계의 제약이 없다는 점과 모델 불확실성이 존재할 때도 외란을 제거할 수 있다는 점을 들 수 있다.

최대휘도표면을 이용한 색 항상성 알고리즘 (Color Constancy Algorithm using the Maximum Luminance Surface)

  • 안강식;조석제
    • 한국통신학회논문지
    • /
    • 제27권3A호
    • /
    • pp.276-283
    • /
    • 2002
  • 본 논문에서는 최대휘도표면을 이용한 색 항상성 알고리즘을 제안한다. 이 방법은 인간의 시각 시스템의 특성을 표현한 선형 모델을 이용한다. 선형 모델에서 가장 중요한 과정은 영상에 존재하는 광원을 추정하는 것이다. 광원을 추정하기 위하여 먼저 영상에 존재하는 가장 밝은 표면의 반사되는 분광 방사 에너지 분포를 추정한다. 그리고 이 표면에 해당하는 분광 반사율을 먼셀색표의 주성분분석을 통하여 추정한다. 추정한 분광 방사 에너지 분포와 분광 반사율을 이용하여 광원을 추정한다. 추정한 광원을 이용하여 영상을 복원할 때 밝기 보정을 위하여 일정한 계수를 사용한다. 실험 결과를 통하여 제안한 최대휘도표면을 이용한 방법이 기존 방법보다 색 항상성에 효과적인 방법임을 증명한다.

계면균열 문제에 대한 L적분의 응용 (Application of L Integral to Interface Crack Problems)

  • 박재학;엄윤용
    • 대한기계학회논문집
    • /
    • 제10권1호
    • /
    • pp.34-42
    • /
    • 1986
  • 본 논문에서는 균열면이 원호(circular arc)를 이루고, Comninou 모델과 같이 균열면의 일부가 접촉되어 있는 경우 L적분이 적분경로에 무관함을 증명하고 이를 이용하여 재료가 서로 다른 원형 개재물과 기재와의 경계면에 존재하는 계면 균열에서의 응력확대계수를 구하는 방법에 대해 살펴보았다. 기지가 무한 고체이고 접촉역이 작아 접촉역의 존재가 균열선단에서 멀리 떨어진 곳에서의 응력장에 거의 영향을 끼치지 아`는 경우에는 접촉역을 가정하지 않은 문제에 대한 해, 즉 진동특성을 나타내는 해로 부터, L적분의 성질을 이용하여, 접촉역을 가정하였을 때의 응력확대 계수를 간단한 꼴로 표시할 수 있었고, 유한의 기지에 원형 개재물이 존재하는 문제에 대해서는 F.E.M을 사용하여 L적분을 계산함으로써 응력확대계수를 구할 수 있었다.

다중톤 재밍이 존재하는 나카가미-­m 페이딩 환경에서 BFSK 변조방식을 이용한 Hybrid DS/SFH 확산대역 시스템의 성능분석 (Performance Analysis of Hybrid DS/SFH Spread Spectrum System using BFSK Modulations over Nakagami-m Fading Channel with Multitone Jamming)

  • 정근열;박진수
    • 한국정보통신학회논문지
    • /
    • 제7권8호
    • /
    • pp.1629-1637
    • /
    • 2003
  • 본 논문에서는 다중톤 재밍이 존재하는 나카가미­m 페이딩 환경하에서 BFSK 변조방식을 사용한 Hybrid DS/FH 확산대역 시스템의 성능을 분석하였다. 분석 결과 주파수 도약율이 증가할수록 시스템의 성능이 향상되었으며, 확산대역 시스템의 복합비를 고정하였을 경우 DS확산대역 방식의 시스템보다 더 낮은 비트 에러 확률을 가짐을 증명하였다. 또한 m값이 증가함에 따라 페이딩의 영향이 감소함을 알 수 있었으며, 신호대 방해신호의 전력비(SJR)가 증가할수록 DS 확산대역 시스템보다 성능이 향상됨을 알 수 있었다. 결과적으로 재밍이 존재하는 나카가미­m 페이딩 환경 하에서 Hybrid DS/SFH 확산대역 시스템의 성능이 DS 확산대역 시스템의 성능보다 우수함을 입증하였다.

퇴계선생의 감각경험과 심적반응의 의학생리학: <도산십이곡>중 제4곡을 중심으로 (The Physics of Toegye's Sensational Experience and Mental Response: The Study on the 4th Song of )

  • 김명희
    • 문화기술의 융합
    • /
    • 제8권3호
    • /
    • pp.283-290
    • /
    • 2022
  • 시조치료는 우울증을 극복하고 존재의 진정성을 확립시키는 것이다. 본 연구에서는 퇴계선생의 시조 <도산십이곡>의 이미지의 양상이 의학생리학적 감각경험과 심적반응을 융합하는지 탐색하는 것이다. 퇴계선생의 시조 <도산십이곡>은 생명력을 활성화시키는 원리가 작동되고 있다. 선생의 시조는 존재의 진정성을 창조하는 원리가, 인체의 감각경험과 심적반응을 통해 우울증을 극복하고 지금-여기, 존재의 삶이 변화될 수 있도록 도움을 주는 것이다. 따라서 본 연구에서는 퇴계선생의 시조 <도산십이곡>중 제4곡이 어떤 치유력을 지니고 있는지를 증명한다. 따라서 향후 감각경험과 심적반응에 대한 시조치료 연구 개발을 위한 기초자료로 제공하는 데 의의가 있다.

퍼지규칙의 신경망 학습을 통한 스케치 특징점 추출 (Sketch Feature Extraction Through Learning Fuzzy Inference Rules with a Neural Network)

  • 조성목
    • 한국정보처리학회논문지
    • /
    • 제5권4호
    • /
    • pp.1066-1073
    • /
    • 1998
  • 본 논문에서는 신경회로망을 사용하여 영상에 존재하는 스케치 특징점을 효과적으로 추출할 수 있는 퍼지규칙을 발생시킨다. 이를 위한 퍼지 입력변수로 DBAH(difference between arithmetic mean and harmonic mean)오 특징점정도가 정의된다. DBAH는 국부 밝기를 반영하는 특성을 가지며, 매우 어두운 영역에서의 작은 밝기변화에서는 낮은 출력을 나타내는 장점을 가진다. 퍼지규칙의 신경망학습을 통한 스케치 특징점을 추출은 특징점 추출을 위한 퍼지규칙의 설정에 효과적인 방법이 될 수 있음이 증명된다.

  • PDF

캐시 일관성 유지를 위한 전용 버스 시스템 (A Dedicated Bus System for Cache Coherence)

  • 천희식;김우완
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
    • /
    • pp.30-32
    • /
    • 1998
  • 멀티프로세서 시스템을 설계할 경우에는 공유메모리 구조와 메시지 전달방법의 두 가지의 패러다임을 바탕으로 하게 된다. 데이터 분할과 동적 부하 분산 문제를 단순화시틸 수 있으며 확장성을 용이하게 지원하는 장점을 가지고 있는 공유메모리 구조의 멀티프로세서 시스템에서 각 프로세서가 자신의 전용 캐시를 가지는 경우에는 메인 메모리와 이러한 전용 캐시내에 존재하는 데이터사본간에 일관성 문제가 발생한다. 본 논문에서는 일관성 유지를 위해 제안되어 있는 여러 알고리즘 중 처리 노드와 고대역 저지연 인터커넥션 네트워크로 구성되는 공유메모리 구조의 멀티프로세서 프로토타입인 DASH 프로토콜을 지원하기 위한 전용 버스 시스템을 완전 개방형인 IEEE Futurebus+ 스탠다드에 준비하여 설계한 다음, 이 시스템이 DASH 프로토콜을 지원하려 캐시의 일관성을 유지하기 위해 필요한 각종 행동과 기존의 범용 버스 시스템이 수행하는 행동의 병렬 처리를 지원할 수 있음을 시뮬레이션으로 증명한다.

  • PDF

Raman Spectroscopy Study of Diffusion of Water into Graphene/$SiO_2$ Interface

  • 이대응;류순민
    • 한국진공학회:학술대회논문집
    • /
    • 한국진공학회 2012년도 제43회 하계 정기 학술대회 초록집
    • /
    • pp.388-388
    • /
    • 2012
  • 친수성 기판과 소수성 그래핀(graphene) 계면에서의 물의 확산 현상은 호기심을 자극할 뿐만 아니라 그래핀 소자의 특성을 좌우하는 전하도핑(charge doping) 현상을 이해하는데 중요한 모델이 된다. 본 연구에서는 라만 분광법을 이용하여 그래핀/$SiO_2$ 계면에서의 물의 확산 현상을 탐구하였다. 열처리된 그래핀은 기판과의 상호작용에 의해 높은 밀도의 정공(electron hole)으로 도핑되어 있기 때문에, 물이 계면을 통해 확산하게 되면 정공의 밀도를 감소시킬 수 있게 된다. 본 실험에서는 이차원 라만 분광법을 통해 물 속에 담겨진 그래핀의 정공 밀도의 공간적인 분포를 확산 시간에 따라 조사하였다. 물의 확산은 시료에 따라 수 시간에서 수 일의 시간대에 걸쳐 그래핀 가장자리에서 중앙으로 이루어진다는 사실을 확인하였다. 또한 물의 계면확산으로 인해서 전하 밀도가 감소한다는 사실은 열처리된 그래핀의 정공 도핑을 유발하는 산소가 그래핀/$SiO_2$ 계면에 존재한다는 것을 증명한다.

  • PDF

Balanced Howell Rotations를 이용한 동적 라우팅 정보 생성 (Generation of Dynamic Routing Information by using Balanced Howell Rotations)

  • 김준모
    • 대한전자공학회논문지TC
    • /
    • 제48권2호
    • /
    • pp.14-20
    • /
    • 2011
  • 통신 노드들이 이동 중인 mobile ad hoc networks에서, 통신처리율에 따라 노드 쌍들의 순위를 결정하면, 이를 바탕으로 전체 네트워크의 처리율을 향상시키는 동적인 라우팅을 할 수 있다. Balanced Howell rotations는 브리지 게임을 위한 토너먼트 구성 방법의 하나이다. 본 논문에서는 mobile ad hoc networks의 전반적인 통신 처리율 향상을 위해 balanced Howell rotations를 활용할 수 있음을 설명한다. 그리고 balanced Howell rotations가 존재할 수 있는 조건을 제시하고, 이를 증명한다.

비례공진 전류제어 기반 단상 계통연계형 인버터의 옵셋 오차 분석 (Analysis of Offset Error on Single-phase Grid-connected Inverter Based on PR Current Controller)

  • 신광현;김은수;정병국;황선환
    • 전력전자학회:학술대회논문집
    • /
    • 전력전자학회 2016년도 전력전자학술대회 논문집
    • /
    • pp.495-496
    • /
    • 2016
  • 단상 계통연계형 인버터에서 전류센서를 통한 계통측 상전류 측정시 옵셋 오차는 전류센서와 측정 경로상에 위치한 아날로그 소자의 전압 불균형 및 비선형성으로 인하여 발생하게 된다. 옵셋 오차가 존재하지 않는 실제 상전류와 달리, 옵셋 오차를 포함한 측정된 전류로 전류 제어를 수행하게 되면 계통측상전류에 직류, 전원 주파수의 기본파 및 2배 고조파 성분을 야기한다. 이러한 직류 및 맥동 성분은 계통연계형 인버터의 전력전달에 있어서 효율을 저하시키는 원인이 된다. 본 논문에서는 단상 계통연계형 인버터에서 비례공진 전류 제어기를 적용하는 경우, 전류 옵셋 오차의 영향을 분석하고, 이를 저감하기 위한 알고리즘을 제안한다. 제안된 알고리즘의 타당성은 시뮬레이션과 실험을 통해 증명한다.

  • PDF