• 제목/요약/키워드: 증명 구성

검색결과 838건 처리시간 0.036초

다중패턴 홀로그램을 위한 자동검사 시스템 (An Automatic Inspection System for Hologram with Multiple Patterns)

  • 권혁중;서혜영;박태형
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2007년도 제38회 하계학술대회
    • /
    • pp.310-311
    • /
    • 2007
  • 다중패턴 홀로그램을 위한 자동 검사 시스템을 제안한다. 시스템 하드웨어는 조명계, 카메라 그리고 영상처리부로 구성된다. UV LED를 사용하는 다양한 조명은 다른 위치에 놓여 각 위치에서의 이미지 패턴을 획득한다. 시스템 소프트웨어는 전처리, 패턴 생성, 패턴매칭으로 구성된다. 획득한 입력 홀로그램 영상은 패턴매칭 알고리즘에 의해 표준 패턴과 비교한다. 입력 홀로그램의 위치 오차 보정을 위해, 다른 위치에서의 홀로그램 표준 패턴은 온라인상에서 생성되어야만 한다. 본 논문은 표준 패턴의 생성을 위해 CGH(Computer Generated Hologram)방법에 근거한 주파수 변환을 적용한다. 한국지폐의 홀로그램을 위한 실험 결과는 제안한 시스템의 유용성을 증명한다.

  • PDF

평면 그래프의 기하학적 대칭성 탐지 알고리즘 (An Algorithm for Detecting Gemetric Symmetry in a Plannar Graph)

  • 홍석희;이상호
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제26권1호
    • /
    • pp.107-116
    • /
    • 1999
  • 대칭성(symmetry)은 그래프의 구조와 특성을 시각적으로 표현할 때 중요한 미적 기준 중의 하나이다. 또한 대칭성을 보여주는 드로잉은 전체 그래프가 크기가 작은 부그래트들로부터 반복적으로 구성됨을 보여줌으로써 전체 그래프에 대한 이해를 쉽게 푸는 해주는 장점이 있다. 하지만 일반적인 그래프에서 기하하적 대칭성(geometric symmetry)을 탐지하는 문제는 이미 NP-complete 임이 증명되었으므로 이에 대한 연구는 평면 그래프(planar graph)의 극히 제한적인 부분집합인 트리, 외부 평면 그래프, 임베딩된 (embedded) 평면 그래프 등에 초점이 맞추어져 왔다. 본 논문에서는 평면 그래프에서의 기하학적 대칭성 문제를 연구하였다. 평면 그래프를 이중 연결 성분들로 분할한 다음 이를 각각 다시 삼중 연결 성분들로 분할하여 트리를 구성하고 축소(reduction)개념을 도입함으로써 기하학적 대칭성을 탐지하는 O(n2)시간 알고리즘을 제시하였다. 여기서 n은 그래프의 정점의 개수이다. 이 알고리즘은 평면 그래프를 최대한 대칭적으로 드로잉하는 알고리즘 개발에 이용될 수 있다.

차동전력조절기 회로를 적용한 독립형 태양광 벅-플라이백 전하균등화 회로 (Buck-Flyback Stand-alone PV System for charge balancing with Differential Power Processor circuit)

  • 박정현;박종후
    • 전력전자학회:학술대회논문집
    • /
    • 전력전자학회 2015년도 추계학술대회 논문집
    • /
    • pp.31-32
    • /
    • 2015
  • 본 논문에서는 전하 균등화를 해주는 동시에 차동전력조절 방식(Differential Power Processing, DPP)을 추가하여 최대 전력점(Maximum Power Point, MPP)을 추종하는 회로를 제안한다. 이를 통하여 본 논문에서는 PV모듈을 제어를 하고, 동시에 벅-플라이백 컨버터를 이용하여 전하 균등화를 할 수 있다. 본 논문에서의 전력조절기는 포워드컨버터로 구성 되어 있고, 주 컨버터인 전하균등화회로는 벅-플라이백컨버터로 구성하였다. 컨버터의 입력은 PV모듈을 직렬로 연결, 출력은 배터리를 직렬로 연결하여 제안한 기능을 구현하였다. 이에 따른 조건을 수식으로 증명하였다.

  • PDF

차동전력조절기 회로를 적용한 독립형 태양광 벅-플라이백 전하균등화 회로의 소신호모델 분석 (Small signal Analysis of the buck-flyback stand-alone PV system for charge balancing with differential power processor circuit)

  • 박정현;박종후
    • 전력전자학회:학술대회논문집
    • /
    • 전력전자학회 2016년도 추계학술대회 논문집
    • /
    • pp.21-22
    • /
    • 2016
  • 본 논문에서는 차동전력조절방식을 추가하여 최대 전력점을 추종하는 동시에 출력단에 직렬로 연결된 부하가 전하 균등화 기능을 수행하는 회로를 제안한다. 제안하는 회로는 각각의 PV모듈을 제어를 하고, 이를 상태공간평균화기법을 이용하여 해석하였다. 본 논문에서의 전력조절기는 포워드컨버터로 구성 되어 있고, 주 컨버터인 전하균등화회로는 벅-플라이백컨버터로 구성하였다. 컨버터의 입력은 PV모듈을 직렬로 연결, 출력은 배터리를 직렬로 연결하여 제안한 기능을 구현하였다. 이에 따른 조건을 수식으로 증명하고, MATLAB과 모의 시뮬레이션 프로그램인 PSIM의 Bode plot을 비교하여 이를 검증하였다.

  • PDF

서버를 통한 Bluetooth 기기 자동 연결 및 데이터 직접 송수신 기법 연구 (A research of direct data transmission and automatic pairing process through service server among Bluetooth devices)

  • 박재만
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2012년도 추계학술발표대회
    • /
    • pp.736-737
    • /
    • 2012
  • 블루투스(Bluetooth)는 일반적으로 10m 안팍의 휴대폰, 노트북 등의 휴대기기를 서로 연결해 정보를 교환하는 근거리 무선 기술 표준이다. 이 표준 기술은 이어폰이나 기기간의 페어링을 통하여 정보를 공유하기위한 단일 서비스 제품으로 자주 사용되기도 하며, 스마프폰에서는 이 표준 기술을 제어하여 명함이나 개인의 사진, 동영상 그리고 문서파일등을 공유하기 위한 방식으로 활용되기도 한다. 하지만 가장 큰 문제는 Bluetooth 를 응용하여 기기간의 페어링을 진행하는 절차가 일반적 사용자에게는 너무 복잡하고, 기술적인 처리 방식을 요구함으로써 대중화된 서비스를 지원하기에는 부족한 점이 많다. 따라서, 본 논문에서는 Bluetooth 환경하에서 사용자에게 직접적인 파일 전송을 지원하기 위해 서비스 서버에서 각 단말의 정보를 통합 수신하고, 이를 각 단말에 전달하여 각 단말이 자동적으로 Bluetooth 연결을 구성하고 서비스는 이를 활용하여 Direct 하게 파일을 송수신하는 간결화된 근거리 기반의 통신 연결 서비스 구성 방식을 제안하고 이를 증명하고자 한다.

효율적인 Nested Loops Join을 위한 조인순서 선정 및 인덱스 구성에 관한 연구 (The Study of the Method that to Choice Efficient Nested Loops Join Order and the Index Design)

  • ;여정모
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2013년도 춘계학술발표대회
    • /
    • pp.877-880
    • /
    • 2013
  • 정보시스템의 기반이 되는 관계형 데이터베이스에서는 데이터의 양에 따라 성능 차이가 발생한다. 데이터베이스에 관한 여러 가지 기능에 대한 이해가 부족하여 많은 성능 저하 문제를 유발하는데, 그중에 조인 성능문제가 큰 비중을 차지하고 있다. 아주 드문 경우가 아니라면 대부분의 데이터 처리는 하나 이상의 테이블이 필요하기 때문이다. 조인을 정확하게 사용하면 성능 개선에 큰 이점을 가져 올 수 있다. 본 연구는 관계형 데이터베이스 기반의 가장 기본적인 조인방식인 Nested Loops Join 방식을 효율적으로 수행하기 위한 조인순서 선정 및 인덱스 구성에 관한 연구를 하였다. 연구 결과를 평가하기 위해서 SQL Trace을 추출한 후 성능을 비교함으로써 선정된 조인순서가 효율적인 것을 입증하였다. 또한 기존의 응답시간을 기준으로 성능평가방법보다 액세스한 데이터 블록 수를 기준으로 한 성능 평가방법이 더 근본적으로 조인 성능을 개선할 수 있음을 증명하였다. 차후에는 더 복잡한 조인 형태 및 다른 조인방식의 성능개선 방법에 관한 연구를 진행할 것이다.

TCN(IEC-61375-1)의 MVB 기반 슬레이브 컨트롤러 구현 및 시뮬레이션 (Implementation and simulation a slave module based on MVB of the TCN(IEC 61375-1))

  • 설재윤;김석헌;박재현
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2009년도 추계학술발표대회
    • /
    • pp.573-574
    • /
    • 2009
  • 열차 통신의 목적은 분산 제어 시스템에서 빠르고 정확한 데이터 교환에 있다. 이를 위하여 개발되고 1999년 IEC와 IEEE에 의해 국제 규격으로 승인된 TCN(Train Communication Network)은 차량간 통신 버스인 WTB(Wired Train Bus)와 차량내 통신 버스인 MVB(Multifunction Vehicle Bus)의 이중 계층 구조로 구성되며 TCN의 데이터 서비스는 프로세스 데이터, 메시지 데이터, 관리용 데이터의 세가지 데이터 서비스로 구분된다. MVB는 전송 가능한 데이터 서비스에 따라 디바이스의 클래스가 나눠지게 된다. 본 논문에서는 MVB에서 버스 마스터의 프레임에 따라 데이터를 보낼 수 있는 슬레이브 컨트롤러의 구성과 시뮬레이션을 통해 구현된 장치의 기능이 국제 표준의 제안사항들을 따르고 있는 지 증명한다.

효과적인 구성주의 학습도구로써 온라인게임의 활용 -대학생을 대상으로 온라인게임 '군주'를 활용한 경영전략 수업의 구성주의적 고찰- (Utilizing Online Game as a effective learning material - Consideration of a Business Strategy Lecture by Utilizing Online Game, 'Goonzu', for University students as a View of Constructivism -)

  • 위정현;원은석
    • 한국게임학회 논문지
    • /
    • 제6권4호
    • /
    • pp.25-37
    • /
    • 2006
  • 최근 구성주의 학습이 강조되고 있음에도 불구하고 교사들은 교육현장에서 구성주의 학습이론에 기반을 둔 수업을 진행하는데 많은 부담을 느끼고 있다. 이에 대한 주된 원인으로 교사들이 구성주의 학습활동에서 활용할 수 있는 적절한 학습도구를 찾기 힘들다는 점을 언급할 수 있다. 최근 연구를 통해 온라인게임은 학습도구로서 효과적임이 증명되었다. 이에 본 연구는 구성주의 학습에 온라인게임이 효과적인 학습도구로 활용될 수 있음을 논의해 보고자 한다. 본 연구는 2006년 온라인게임 '군주'를 활용하여 중앙대학교 대학생 50명을 대상으로 9주 동안 진행된 전략경영 수업과정을 구성주의 학습의 관점으로 살펴보았다. 그 결과 온라인게임을 활용한 수업에서 구성주의 학습방법이 효과적으로 적용되고 있음을 알 수 있었다. 이러한 논의를 바탕으로 구성주의 학습활동의 효과적인 도구로써 온라인게임이 활용될 수 있음을 논의하였다.

  • PDF

퍼지 제어를 적용한 교차로에서의 최적 교통 신호 시스템 (An Optimal Traffic Signal system of Cross-roads Applying Fuzzy Control)

  • 이영신;이윤배
    • 한국정보처리학회논문지
    • /
    • 제4권1호
    • /
    • pp.167-176
    • /
    • 1997
  • 교차로에서 통행 패턴의 계속적인 변화와 교통량의 증가 때문에, 매시간 변화에 따라 교차로를 유연성있게 관리할 수 있는 효율적인 교통제어 시스템이 필요하다. 본 논문에서는 교차로를 구성하는 각 도로로 복합성을 자율적으로 분석하여 그 결과에 따라 교차로를 통과할 수 있는 시간을 결정하는 제어 시스템에 관해 연구하였다. 교 통신호 제어를 위해 퍼지 논리 제어기에 퍼지 개념을 적용하였으며, 퍼지 논리 제어 기의 최적 수행을 증명하기 위해서 규칙 신호 시스템을 비교하고 시뮬레이션을 통해 타당성을 증명하였다. 시뮬레이션 결과 교통 제어의 효율성이 6% 정도 향상되었다.

  • PDF

『유클리드 원론』 I권 정리 22의 Diorism을 통해서 본 존재성 (The Diorism in Proposition I-22 of 『Euclid Elements』 and the Existence of Mathematical Objects)

  • 유미영;최영기
    • 대한수학교육학회지:수학교육학연구
    • /
    • 제25권3호
    • /
    • pp.367-379
    • /
    • 2015
  • 고대 그리스에서 '수학적 대상이 존재하기 위한 조건'으로 사용된 diorism을 통하여 수학적 대상의 존재성에 대하여 살펴본다. Diorism이 제시된 대표적 예인 "유클리드 원론" I권 정리 22를 중심으로 삼각형의 존재성을 "원론"이 어떻게 다루었는지에 대하여 논의한다. 정의한 대상의 존재성을 공준이나 명제로 증명하는 "원론"의 구조를 통하여 수학적 대상의 존재성은 인식가능성이고 공리체계 내에서 증명가능성임을 밝힌다. 이러한 관점에서 작도는 "원론"에서 존재성을 보증하는 주요 방법이다. 또한 diorism의 맥락에서 전개도가 다면체를 구성할 수 있음을 살펴보았다. 이러한 내용을 바탕으로 수학적 대상의 존재성에 대해 학교수학에서 시사하는 점을 논의하였다.