• 제목/요약/키워드: 프레게 제한

검색결과 9건 처리시간 0.021초

프레게 제한-수의 정의와 적용 가능성

  • 박준용
    • 논리연구
    • /
    • 제10권2호
    • /
    • pp.47-107
    • /
    • 2007
  • 나는 이 글에서 프레게 제한에 대한 라이트의 해석이 옳지 않다는 것을 보인다. 우선 나는 그가 산수 개념의 적용에 대한 반성을 통해 그 개념에 대한 선천적 지식을 얻을 수 있다고 여긴 사례를 검토한다. 이 검토를 기초로 나는 산수 개념의 적용을 지배하는 원리가 있고, 프레게 제한은 바로 그런 원리가 성립하도록 해당 개념을 정의하라는 요구임을 보인다. 둘째로 나는 라이트의 해석은 수학의 적용에 대한 아주 좁은 견해에 의존한다는 것을 보인다. 나는 산수의 적용에 대한 프레게의 견해를 살펴본 후에 실수가 적용될 수 있는 양을 산수량, 순수 공간량 및 물리량 세 부류로 나눈다. 나는 실수 적용 원리는 순수 공간량만 아니라 물리량에 대해서도 성립한다는 것을 보인다. 이에 근거해서 나는 실수 이론을 확립하는 데에도 여전히 프레게 제한은 유효하다고 결론짓는다.

  • PDF

손영역 획득과 손동작 인식에 의한 제스처 기반 사용자 인터페이스의 구현 (Gesture-based User-Interface Through Hand-region Detection and Hand-movement Recognition)

  • 고일주;배영래;최형일
    • 인지과학
    • /
    • 제8권4호
    • /
    • pp.35-53
    • /
    • 1997
  • 본 논문은 컴퓨터 시각을 이용하여 제스처를 인식함으로써 사용자에게 보다 편리한 인터페이스를 제공하는 것을 목표로 한다. 제안하는 제스처 인식 방법은 손영역을 획득하는 손영역 획득 모듈?손영역을 인식하는 인식 모듈로 나누어 수행한다. 손영역 획득 모듈에서는 손색상 모델?손색상 결정함수를 정의하여 칼라영상의 영역 분리를 수행하였고, 칼만필터를 이용하여 손색상 모델을 갱신하고 탐색영역을 제한하여 영역 추적을 용이하게 하였다. 영역 추적은 전 시점의 손영역 정보를 이용하여 현 시점의 손영역을 획득한다. 인식 모듈에서는 정적인 제스처를 표현하는 객체 프레임?행동 프레임, 그리고 동적인 제스처를 표현하는 스키마를 정의한다. 그리고 획득된 손영역?정합을 수행함으로써 제스처를 인식한다. 실험 결갬灌?제안하는 제스처 기반 인터페이스를 적용한 삼목(Tic-Tac-Toe) 게임 프로그램을 구현하였다. 사용자는 제스처를 이용하여 컴퓨터와 게임을 진행한다. 제안하는 시스템은 다른 종류의 게임 프로그램이나 마우스의 역할을 수행하는 윈도우 시스템의 제어, 그리고 가상 현실 시스템에 적용될 수 있다.

  • PDF

양의 비율로서 실수 (Real Numbers as Ratios of Quantities)

  • 박준용
    • 논리연구
    • /
    • 제14권3호
    • /
    • pp.137-176
    • /
    • 2011
  • 밥 헤일은 최근 추상화 원리에 기초한 실수이론을 제안하였다. 그 이론에서 실수는 양의 비율로 간주되고, 양의 비율의 동일성은 유독소스에게서 유래된 비율 원리에 의해 설명된다. 그가 실수를 양의 비율로 정의하는 이유는 산수 개념의 정의는 그런 개념의 보편적 적용 가능성에 알맞게 이루어져야 한다는 프레게의 요구를 그가 만족시키려 하기 때문이다. 이 글에서 나는 실수적용에 대한 헤일의 설명이 왜 프레게 제한을 만족시키기 힘든지 보이고, 대안이 될 만한 설명을 제안한다. 나는 먼저 양 개념에 대한 그의 설명과 양의 영역에 관한 그의 약정 사이에 어떤 간격이 있고, 이 때문에 실수 적용에 대한 그의 설명에 어려움이 생긴다는 것을 보인다. 다음으로 나는 어떤 종류의 양들에나 적용될 수 있는 새로운 비율 원리를 제안하고, 그 원리는 양의 비율로서 실수들이 보편적으로 적용가능한 이유를 적합하게 설명해 준다고 주장한다. 마지막으로 나는 양의 측정 절차를 검토한 후, 실수의 성공적 적용을 위해 우리가 전제해야 할 원리들을 제시한다.

  • PDF

비디오 스케일러빌리티를 고려한 영상 품질 메트릭 모델링 (Quality Metric Modeling with Full Video Scalbility)

  • 서동준;김천석;배태면;노용만
    • 한국방송∙미디어공학회:학술대회논문집
    • /
    • 한국방송공학회 2006년도 학술대회
    • /
    • pp.81-84
    • /
    • 2006
  • 다양한 멀티미디어 사용 환경 조건에 적합한 컨텐츠를 제공하기 위해서는 다양한 소비 환경을 반영할 수 있는 스케일러블 비디오의 제공이 필요하다. 이러한 스케일러블 비디오의 경우, 다양한 조합의 프레임 율, SNR, 공간해상도를 가지는 비디오가 가능하므로 사용자에 게 최적의 품질을 제공하는 조합을 결정해야 할 필요가 있다. 따라서 본 논문에서는 프레임율, SNR, 공간해상도 그리고 영상의 모션 속도에 따라 변동할 수 있는 영상 품질을 나타낼 수 있는 새로운 영상 품질 메트릭을 주관적 평가를 통하여 제안한다. 제안한 품질 메트릭은 주관적 품질평가 선호도와의 상관계수(correlation coefficient)가 PSNR과 주관적 품질평가 점수와의 상관계수 평균값에 비해 높은 값을 보였다. 본 논문에서 제안한 품질 메트릭은 다양한 조합의 부호화 조건에 따른 품질측정이 가능하여 제한적인 멀티미디어 소비환경에서 최적의 부호화 조건을 결정할 수 있다.

  • PDF

협업 환경에서의 인터랙션을 위한 적외선 LED 포인터 (Infrared LED Pointer for Interactions in Collaborative Environments)

  • 진윤석;이규화;박준
    • 한국HCI학회논문지
    • /
    • 제2권1호
    • /
    • pp.57-63
    • /
    • 2007
  • 본 연구는 Tiled Display 기반의 협업 환경에서 인터랙션을 위한 적외선 포인터를 구현하는 목적으로 진행되었다. 적외선 발광 다이오드에서 나오는 빛을 인지하여 포인터의 궤적을 인식하는 기술과 이를 응용하여 여러 분야에 접목시키는 것에 주안점을 두었다. 기본적인 마우스 클릭 기능과 단순 포인팅 기능을 제공하는 기존의 포인터와는 달리 적외선 발광 다이오드가 탑재된 포인터를 조립, 이용하여 기존의 기능뿐만 아니라 컴퓨터와 사용자 간의 새로운 커뮤니케이션 수단을 제공하고 있다. 장점으로는 책상, 테이블과 같은 제한된 공간을 벗어나서 적외선 투과 필터가 장착된 카메라 하나만 설치할 수 있는 곳이면 구현이 가능하며 적외선을 이용하므로 가시광선의 영향을 적게 받아 효율적으로 영상 처리를 할 수 있다는 데에 있다. 그리고 적외선을 이용한 사용자의 모션을 추적, 인식하여 복합적이 여러 가지 기능을 실행할 수 있으며, 보다 더 사용자와 인터랙티브한 작업이 가능하다. 구현된 하드웨어와 소프트웨어 시스템은 프레젠테이션 및 게임 컨트롤 등에 사용되었다.

  • PDF

강박스거더 교량의 프레임 형식 중간다이아프램의 설계 (Design of Longitudinal prestress of precast decks in twin-girder continuous composite bridges)

  • 윤동용;안성현;이성철
    • 한국강구조학회 논문집
    • /
    • 제18권5호
    • /
    • pp.515-524
    • /
    • 2006
  • 강박스거더에 편심이 작용하면 단면은 뒤틀리고, 이로 인해서 종방향으로 뒤틀림 응력이 발생한다. 휨모멘트에 의한 휨응력 이외에뒤틀림으로 인한 추가되는 종방향 응력은 경우에 따라서는 무시할 수 없이 크기 때문에 설계단계에서 반드시 고려되어야 한다. 일반적으로 중간다이아프램을 설치하여 뒤틀림 변형 자체를 억제시켜 뒤틀림응력의 크기를 제안하는 방법을 이용하는데, 이때 휨응력에 비교하여 뒤틀림응력의 크기를 통상 5~10%정도로 제한한다. 현재 적용하는 중간다이아프램 설치간격에 대한 공식은 고전적인 BEF 이론을 바탕으로 유도되었는데, 이는지나치게 보수적인 설계를 유도하고있다. 이에 본 연구에서 강박스거더의 프레임형식 중간다이아프램에 대해 3차원 유한요소해석을 수행하여 분석한 결과, 현행 중간다이아프램 단면적 공식은 지나치게 큰 값을 요구하는 것으로 나타났다. 그래서 유한요소 해석결과를 회귀분석하여 설계 초기에 적용할 수 있는 개선된 프레임형식의 중간다이아프램 단면적 설계공식을 제안하였다.

스테레오 2D 비디오 영상을 이용한 비정형 3D 형상 복원 (Non-rigid 3D Shape Recovery from Stereo 2D Video Sequence)

  • 고성식
    • 한국정보통신학회논문지
    • /
    • 제20권2호
    • /
    • pp.281-288
    • /
    • 2016
  • 움직임이 자연스러운 피사체는 대부분 형태가 불규칙하게 변형되는 비정형(non-rigid) 형상이고, 그 종류 또한 매우 다양하게 존재하다. 비정형 형상 복원에 관한 기술은 영화나 게임 산업에서 최근 폭넓게 적용되고 있다. 그렇지만, 현실적인 접근 방법은 움직이는 피사체에 많은 비콘 장치를 부착해야한다. 이러한 제약사항을 극복하기 위해, 비콘장치가 없는 입력 비디오 영상으로부터 비정형 형상을 복원하는 연구가 멀티미디어 응용 분야에서 광범위하게 진행되고 있다. 이러한 관점에서 본 논문은 비정형 3D 형상을 복원할 수 있는 새로운 CPSRF(Chained Partial Stereo Rigid Factorization) 알고리즘을 제안한다. 본 방법은 스테레오 2D 비디오 영상으로부터 비정형 3D 형상을 프레임 별로 실시간 복원하는데 포커스 한다. 또한 시변 형상 변형은 가우시한 분포를 따라야 하는 제한을 두지 않는다. 실험결과에서는 제안한 CPSRF 방법의 복원 성능이 불규칙한 형상 변형을 고려하지 않은 기존 방법 보다 우수함을 확인한다.

실시간 렌더링 환경에서의 3D 텍스처를 활용한 GPU 기반 동적 포인트 라이트 파티클 구현 (GPU-based dynamic point light particles rendering using 3D textures for real-time rendering)

  • 김병진;이택희
    • 한국컴퓨터그래픽스학회논문지
    • /
    • 제26권3호
    • /
    • pp.123-131
    • /
    • 2020
  • 본 연구는 10만 개 이상의 움직이는 파티클 각각이 발광원으로서 존재할 때 라이팅을 위한 실시간 렌더링 알고리즘을 제안한다. 각 라이트의 영향 범위를 동적으로 파악하기 위해 2개의 3D 텍스처를 사용하며 첫 번째 텍스처는 라이트 색상 두 번째 텍스처는 라이트 방향 정보를 가진다. 각 프레임마다 두 단계를 거친다. 첫 단계는 Compute shader 기반으로 3D 텍스처 초기화 및 렌더링에 필요한 파티클 정보를 갱신하는 단계이다. 이때 파티클 위치를 3D 텍스처의 샘플링 좌표로 변환 후 이 좌표를 기반으로 첫 번째 3D 텍스처엔 해당 복셀에 대해 영향을 미치는 파티클 라이트들의 색상 총합을, 그리고 두 번째 3D 텍스처에 해당 복셀에서 파티클 라이트들로 향하는 방향벡터들의 총합을 갱신한다. 두 번째 단계는 일반 렌더링 파이프라인을 기반으로 동작한다. 먼저 렌더링 될 폴리곤 위치를 기반으로 첫 번째 단계에서 갱신된 3D 텍스처의 정확한 샘플링 좌표를 계산한다. 샘플링 좌표는 3D 텍스쳐의 크기와 게임 월드의 크기가 1:1로 대응하므로 픽셀의 월드좌표를 그대로 샘플링 좌표로 사용한다. 샘플링한 픽셀의 색상과 라이트의 방향벡터를 기반으로 라이팅 처리를 수행한다. 3D 텍스처가 실제 게임 월드와 1:1로 대응하며 최소 단위를 1m로 가정하는데 1m보다 작은 영역의 경우 해상도 제한에 의한 계단 현상 등의 문제가 발생한다. 이러한 문제를 개선하기 위한 텍스처 샘플링 시 보간 및 슈퍼 샘플링을 수행한다. 한 프레임을 렌더링하는데 소요된 시간을 측정한 결과 파티클이 라이트의 개수가 262144개일 때 Forward Lighting 파이프라인에서 146ms, deferred Lighting 파이프라인에서 46ms 가 소요되었으며, 파티클 라이트의 개수가 1024576개일 때 Forward Lighting 파이프라인에서 214ms, Deferred Lighting 파이프라인에서 104ms 가 소요되었다.

애니메이션 미장센 특성 연구 - 러시아 애니메이션을 중심으로 (The Study on A Peculiarity of Mise-en-scene Found in Animation :Focused on Russian Animation)

  • 김미르나래;민준일
    • 만화애니메이션 연구
    • /
    • 통권44호
    • /
    • pp.1-31
    • /
    • 2016
  • 애니메이션이 비교적 긴 시간 동안 하나의 예술 장르로서 학문적 관심의 대상이 되었음에도, 예술 장르로서의 애니메이션에 대한 대중들의 인식은 같은 뿌리를 둔 또 하나의 영상 예술인 영화에 비하면 아직까지도 개선을 요구하는 부분이 많다. 영화 이론이 대중에게 영화를 예술의 한 장르로서 각인하는데 밑거름이 된 것을 생각하면, 애니메이션 이론도 폭넓게 연구되어야 하며 애니메이션 미학에서 스크린의 비중이 높은 만큼 시각적 특징에 집중한 애니메이션 미장센에 관한 관심은 당연하다. 미장센은 시각적 요소들이 작품의 주제를 내보이는데 의의를 두며 용어가 쓰이는 예술 분야마다 약간의 의미 차이를 갖는다. 영화 비평에서 시작된 미장센은 미학 표현 개념으로 자리 잡았으나, 영화, 연극, 뮤지컬, 애니메이션 등 영상 및 무대 예술을 넘어 회화나 게임, 패션 등의 예술과 문화 분야에서도 거론되면서 분야별 미장센의 의미에 관한 의견이 분분하며 그 개념이 달리 쓰이거나 확장되기도 한다. 본 논문에서는 대중예술로서 애니메이션이 자리 잡기 위한 방안으로 미학연구의 필요성을 주장하며 애니메이션의 시각적 특징이 두드러지는 '미장센'에 중점을 두어 애니메이션의 표면적 예술성에 대해 연구한다. 연구 방법으로 미장센을 하나의 미학 이론으로 확립한 영화와 용어가 처음 쓰인 연극의 매체 특성을 비교해 두 매체의 미장센 특징을 찾고, 이를 애니메이션에 대입하여 애니메이션 미장센의 특징을 알아본다. 또한, 애니메이션 미장센에서 프레임의 시각적 요소가 작가의 의견을 직접적으로 표출한다는 것을 밝히기 위해 제한된 환경에서 만들어진 작가주의 애니메이션의 미장센을 살핀다. 위와 함께, 상업 애니메이션이 특정 집단의 기호에 맞춰 제작된 것을 감안하여 소비에트의 지원 아래 제작된 러시아 애니메이션의 실험적인 제작 방식과 그에 따른 독창적인 미장센을 분석한다. 작품의 소재를 자국의 민담에서 찾은 러시아 애니메이션이 이를 오페라와 발레의 공연 양식으로부터 영향을 받은 공간 표현, 무거운 동화(Inbetweens), 라이브 액션 활용 등의 미장센으로 은유적으로 표현하며 독특한 미학적 세계를 구축한 점을 염두에 두고, 작품의 주제나 작가 의견이 어떠한 외적 장치를 통해 미장센으로 드러나는지 확인한다.