• 제목/요약/키워드: 형식증명

검색결과 158건 처리시간 0.032초

시간의 단위별 처리를 이용한 자동화된 한국어 시간 표현 인식 및 정규화 시스템 (Automatic Recognition and Normalization System of Korean Time Expression using the individual time units)

  • 선충녕;강상우;서정연
    • 인지과학
    • /
    • 제21권4호
    • /
    • pp.447-458
    • /
    • 2010
  • 시간 정보는 문서나 문장 등에서 매우 중요한 정보로 사용되기 때문에 다양한 종류의 데이터에서 시간 정보의 인식은 매우 중요하다. 시간 정보는 일정한 형태를 가진 것으로 간주되지만 실제 사용되는 시간 표현은 매우 다양하고 복잡하며 정보의 일부가 빈번하게 생략되는 경우가 발생한다. 본 연구에서는 시간 표현의 추출뿐만 아니라 추출된 표현을 정규화된 표준 형식으로 변환하는 범용 시간 표현 추출 및 변환 시스템을 제안한다. 다양한 시간 표현의 추출과 변환에 필요한 노력을 줄이고 새로운 데이터에 대한 확장성을 보장하기 위해 기본 시간 단위를 정의하였다. 추출단계에서는 기본 시간 단위의 조합으로 구성된 사전을 사용하여 가능한 시간 표현들을 추출한다. 정규화 변환 단계에서는 인접 추출 정보와 기준 시간 등을 사용하여 생략된 기본 시간 단위 정보를 복원하고 최종적으로 모든 기본 시간 정보들은 통합되어 정규화된 표준 형식으로 변환된다. 제안한 시스템은 모바일 기기 등의 잡음 환경에서 강인한 성능을 보장하며 영역이나 언어에 대해 독립적이므로 많은 영역에서 응용이 가능하다. 본 연구는 실험에서 다량의 오류가 포함된 SMS 데이터에서 시간 표현 추출 정확도 93.8%, 시간 표현 변환 정확율 93.2%을 보임으로써 오류에 강인하면서도 높은 성능을 유지함을 증명하였다.

  • PDF

요나스 오델(Jonas Odell)의 작품 세계에 나타난 디지털 로토스코핑 이미지의 특성 (A Study on the Aesthetic Characteristics of the Digital Rotoscoping Images in Jonas Odell's Animations)

  • 김영옥
    • 만화애니메이션 연구
    • /
    • 통권39호
    • /
    • pp.111-132
    • /
    • 2015
  • 로토스코핑 기법은 20세기 초부터 실제 인물의 움직임과 같은 자연스럽고 매끈한 움직임 구사를 위해 오랫동안 활용되어 왔음에도, 이미 촬영된 이미지를 단순히 모방한다는 이유로 예술적 가치가 평가절하 되며 일종의 편법이나 속임수 등으로 여겨져 왔다. 하지만 무한 융합이 가능해진 디지털 시대 속에서 실사와 애니메이션의 경계를 자유롭게 넘나들 수 있는 로토스코핑 기법의 활용은 오히려 리얼리티의 확장적 재현이라는 새로운 미학적 가능성을 제시하고 끊임없이 새로운 애니메이션적 체험의 층위들을 만들어내고 있다. 또한 이러한 로토스코핑의 다양한 융합적 특성들을 적극 활용하고 실험하고 있는 요나스 오델의 작품들은 로토스코핑 이미지가 스타일적인 측면 외에도, 내러티브를 강화하는 수단으로 역할 할 수 있음을 증명할 수 있는 대표적 사례이다. 본 연구는 요나스 오델 감독의 독특한 철학적, 미학적 스타일을 완성시킨 다큐멘터리 형식의 3가지 옴니버스 단편들 -<투실라고 Tussilago>(2010), <거짓말 Lies>(2008), <첫경험 Never like the first time!>(2006) -을 분석하고, 실존 인물의 인터뷰 형식으로 진행되는 내러티브와 실사 이미지와의 구조와 관계 속에서 로토스코핑 이미지들이 어떠한 독특한 역할로 의미 작용을 하는지를 살펴본다. 이는 세 가지 특성- 청각적 감성을 매개하는 내적 리얼리티의 형이상학적 기록으로서의 이미지, 특정 인물에 대한 존재적 표상으로서 익명화된 이미지, 물리적 시공간을 담아내는 기억의 표상으로서 신체 이미지-을 기준으로 분류되고 분석된다. 이를 통해 21세기 디지털 시대에 로토스코핑 이미지는 비단 자연스러운 움직임의 재현과 독특한 스타일을 위한 것을 넘어, 어떠한 새로운 가치들을 획득하게 되는지를 밝힐 것이다. 본 연구가 예술적인 면에서 평가절하 되어왔던 로토스코핑 이미지의 가치를 재발견, 재위치 시킬 수 있는 밑거름으로서 역할하고, 뿐만 아니라 미국, 일본, 혹은 특정 유럽국에 치우친 애니메이션 작가와 스타일 연구의 환경 속에서 세계적으로 주목받고 있는 스웨덴 작가와 그의 독특한 스타일을 새롭게 소개할 수 있는 좋은 계기가 될 수 있기를 기대한다.

전기동력 수직이착륙 항공기의 복합재료 적용을 위한 소재인증 방안 고찰 (A Study on the Certification Method for the Application of Composite Material of eVTOL Aircraft)

  • 배성환;조성인;최청호;전승목
    • 한국항공우주학회지
    • /
    • 제48권12호
    • /
    • pp.969-976
    • /
    • 2020
  • 전 세계적으로 도심항공교통이 미래 혁신산업으로 주목받고 있으며 국내/외 유수의 산업체들은 신개념의 전기동력 수직이착륙 항공기 설계 및 제작에 구조적 강건성과 경량화를 위해 복합재료의 적용을 고려하고 있다. 본 논문에서는 신개념의 전기동력 수직이착륙 항공기에 복합재료를 적용하기 위하여 항공선진국의 복합재료 인증체계 및 국내 실정에 적합한 항공용 복합재료 인증 절차 및 방법, 재료 입증을 수행할 조직구성 등 항공안전기본계획에 의해 제도화된 복합재료 인증체계에 대해 분석하였다. 국내에서 수립된 항공용 복합재료 인증체계에 의해 신개념의 전기동력 수직이착륙 항공기 제작사는 사전 소재인증을 통해 국산 항공기에 복합재료를 적용하는 것이 용이해졌을 뿐만 아니라 형식증명 기간 내에 소재 입증에 대한 부담이 감소할 것이다. 또한, 재료 품질 및 성능이 입증된 국산 복합재료의 제작사는 국산 항공기 적용을 위한 진입이 수월할 것이며 항공기에 적용한 경험이 있는 재료 제작사는 해외 수출에도 긍정적인 영향을 미칠 것이다. 이를 통해 신개념의 전기동력 수직이착륙 항공기 산업발전을 도모하고 국내에서 제작된 기체의 국제적 신인도 제고를 기대할 수 있을 것이다.

도심용 eVTOL 항공기 전기추진시스템 기준 분석 및 안전성 확보 방안에 관한 연구 (A Study on the Certification Standard Analysis and Safety Assurance Method for Electric Propulsion System of the Urban eVTOL Aircraft)

  • 김주영;유민영;권혁록;길기남;공병호;나종화
    • 항공우주시스템공학회지
    • /
    • 제16권3호
    • /
    • pp.42-51
    • /
    • 2022
  • 도심환경에서 저공해/저소음으로 운항이 요구되는 eVTOL 항공기는 왕복행정엔진이나 터빈엔진과 같은 전통적인 추진시스템이 아닌 대부분 배터리를 이용한 전기추진시스템을 동력원으로 사용한다. 이에 따라 전기추진시스템에 대한 인증제도 마련 및 전기추진시스템의 안전성 확보방안이 중요한 이슈가 되고있다. 미국의 경우 전기추진시스템을 인증하기 위해 FAR Part 33에 준하는 특수기술기준을 발행하였고 유럽의 경우 전기추진시스템의 인증을 위해 다양한 특별조건을 제정하였다. 따라서 국내에도 미국, 유럽에 맞춰가며 eVTOL 항공기 전기추진시스템 기술기준에 대한 대비가 필요하다. 본 논문에서는 특별조건 중 전기/하이브리드 추진 시스템의 기술기준인 SC E-19를 분석하였고 기존 항공기 안전성 평가 절차인 ARP 4761에 항공기 수준에서 적용 되어야하는 SC E-19 기술기준을 적용시킴으로써 항공기에 장착하는 전기추진시스템의 안전성 확보 방안을 제안하였다. 마지막으로 Ehang 184 전기추진시스템의 사례연구를 통해 제안한 전기추진시스템의 안전성 확보 방안이 항공기 수준에서 적용 가능함을 확인하였다.

연결요소 분석에 기반한 인쇄체 한글 주소와 필기체 한글 주소의 구분 (Classification of Handwritten and Machine-printed Korean Address Image based on Connected Component Analysis)

  • 장승익;정선화;임길택;남윤석
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제30권10호
    • /
    • pp.904-911
    • /
    • 2003
  • 본 논문에서는 우편봉투 상에 기입된 인쇄체 한글 주소와 필기체 한글 주소를 효과적으로 구분할 수 있는 방법을 제안한다. 문자인식 모듈을 포함하는 각종 응용 시스템에서 입력 영상이 인쇄체인지 필기체인지 구분하는 것은 매우 중요하다. 이는 대부분의 경우 인쇄체 영상과 필기체 영상이 갖는 특징이 상이하여, 각 영상에서의 문자 및 문자열 분리 방법, 문자 인식 방법 둥이 매우 상이하게 개발되기 때문이다. 본 논문에서 제안한 구분 방법은 연결요소 추출 및 병합, 특징 추출, 영상 구분 순으로 수행된다. 연결요소 추출 및 병합 단계에서는 입력영상으로부터 연결요소를 추출한 후 일부 연결요소들에 대하여 병합을 시도하며, 특징 추출 단계에서는 병합결과 얻어진 연결요소들의 그룹들로부터 폭과 위치에 관련된 특징을 추출하고, 영상 구분 단계에서는 추출한 특징을 입력으로 제공받는 다충퍼셉트론을 사용하여 구분을 시도한다. 제안한 방법의 우수성을 증명하기 위해 실제 우편물로부터 추출된 3,147개의 한글 주소 영상을 사용하여 실험한 결과, 98.85%의 구분률을 보여주었다.

도형의 최대 분할 과제에서 초등학교 수학 영재들이 보여주는 정당화의 유형 분석 (Analysis on the Types of Mathematically Gifted Students' Justification on the Tasks of Figure Division)

  • 송상헌;허지연;임재훈
    • 대한수학교육학회지:수학교육학연구
    • /
    • 제16권1호
    • /
    • pp.79-94
    • /
    • 2006
  • 본 연구는 10명의 초등학교 5-6학년 수학영재들이 평면과 공간의 최대 분할이라는 과제를 해결하면서 보여주는 정당화 유형을 분석한 것이다 우선 문헌 연구를 통해 본 과제의 해결 과정에서 영재들이 보일 것으로 예상되는 정당화 유형 분석의 틀을 마련하고 실제로 초등 수학영재들이 자신의 능력에 따라 보여주는 정당화 과정의 특성을 분석하였다. 연구 결과, 초등 수학영재들 사이에도 정당화 수준에는 상당한 차이가 있는 것으로 나타났다. 초등 수학영재들에게서 외부적 정당화는 거의 나타나지 않았으며, 귀납적 정당화를 시도한 학생은 소수 있었다. 초등 수학영재들에게서 가장 많이 나타난 정당화 유형은 포괄적 정당화였으며, 형식적 정당화 수준에 이른 초등 수학영재도 일부 있었다. 이러한 결과는 초등 수학 영재들에게 패턴 찾기 탐구 주제를 제시할 때에 귀납적인 사례를 조사하도록 이끄는 방식이 그다지 적절하지 않으며, 일반화된 식의 산출보다는 정당화에 좀 더 초점을 맞춘 학습 지도가 필요함을 시사한다.

  • PDF

차량용 지능형 네트워크에서의 동기식 이더넷중심 오류 주입 알고리즘 구현☆ (Synchronize Ethernet-based Fault Injection Algorithm Implementation for Intelligent Automotive Network)

  • 장은지;김인영;이웅재
    • 인터넷정보학회논문지
    • /
    • 제17권4호
    • /
    • pp.43-50
    • /
    • 2016
  • 본 논문은 차량용 지능형 네트워크에서 각광 받게 될 이더넷중심의 프로토콜과 데이터 전송 시 임의의 오류에 내성이 있는 알고리즘을 제안하였다. 동시에 시뮬레이션과 실험을 통해 구현과 검증을 시도하여 시스템의 유용성을 증명하였다. 기존의 차량 통신 서비스 시스템에 적용시키기 위한 알고리즘에 대하여 문헌 조사하고 최종적으로 새로운 알고리즘을 구현하였다. 실제 차량용 실시간 데이터의 경우 임의의 값이 불규칙적으로 발생하기 때문에 임의의 데이터를 생성하여 실험을 진행하고 payload의 설정을 표준 형식에 맞추었다. 구현된 알고리즘의 성능을 확인하고자 기존의 알고리즘에서 단일 데이터에서부터 혼합형 (Hybrid-type) 데이터까지 확인하였을 때의 문제점을 확인하고 제안하는 알고리즘의 실효성을 확인하였다.

스마트폰 JPEG 파일의 출처 식별을 위한 DQT 정보 데이터베이스 구축 (Building a Database of DQT Information to Identify a Source of the SmartPhone JPEG Image File)

  • 김민식;정두원;이상진
    • 정보보호학회논문지
    • /
    • 제26권2호
    • /
    • pp.359-367
    • /
    • 2016
  • 스마트폰을 이용한 사진 촬영이 보편화됨에 따라 이미지 조작, 기밀 유출로 인한 사건이 빈번하게 발생되고 있어 이미지 파일의 위변조 여부와 원본 증명에 대한 수요가 꾸준히 증가하고 있다. 일반적으로 스마트폰은 사진 파일을 JPEG 형식의 이미지 파일로 저장하는데 JPEG 이미지의 Header부분에는 이미지의 압축률을 결정하는데 사용되는 DQT가 저장되어 있다. 또한 JPEG 내부 Thumbnail 이미지에도 DQT가 존재한다. 기존의 연구에서는 DQT만을 이용해 이미지를 촬영한 장치를 판별하였다. 하지만 이 연구는 장치를 판별하기에는 정확도가 매우 낮다. 이에 본 논문에서는 DQT 정보뿐만 아니라 Thumbnail 이미지의 DQT 정보에 대한 실험을 통해 사진을 촬영한 스마트폰 기기와 사진 파일을 편집하고 저장한 애플리케이션을 유추할 수 있도록 JPEG 파일의 DQT 정보 및 Thumbnail 이미지의 DQT 정보 데이터베이스를 구축하여 보다 정확한 이미지의 출처 판별을 돕는다.

브랜드 로고 기호의 의미작용과 커뮤니케이션 분석 체계의 제안과 활용:소셜 미디어 브랜드 로고를 중심으로 (Design and use of the Signification and Communication Analysis Frame for the Brand Logo Sign: based on the Social Media Brands)

  • 권보연
    • 한국콘텐츠학회논문지
    • /
    • 제11권6호
    • /
    • pp.76-89
    • /
    • 2011
  • 브랜드 로고는 상품과 서비스의 경쟁이 의미적으로 시작되는 출발점인 바, 로고 기호의 의미작용과 커뮤니케이션에 대한 분석은 브랜드 간 차이와 변별 요소의 발견에 기여할 수 있다. 이에 본 논문은 브랜드로고 기호작용에 대하여 총체적이고 일관성 있는 판독을 위한 분석 체계인 'SCoL' (Analysis frame of signification and communication for the brand logo, SCoL, 스콜) 를 개발하고, 이를 서비스의 초기 경쟁에 있어 로고 기호의 의존도가 높은 소셜 미디어 브랜드 로고 분석에 적용함으로써 제안의 타당성을 증명하고자 한다. SCoL은 브랜드 로고 기호의 4가지 형식 구성 요소를 토대로 퍼스의 도상, 지표, 상징을 통한 1단계 의미 작용 분석에 이어 2단계 분석으로 야콥슨의 이론을 적용하여 커뮤니케이션 기능을 해석할 수 있도록 고안되었다. SCoL 프레임을 적용하여 소셜 미디어 브랜드 로고 기호를 분석한 결과 소셜 미디어 브랜드들은 기호작용을 통해 고유한 의미 영역을 구축하고 있었으며, 또한 서로 다른 커뮤니케이션 기능에 의존하여 브랜드의 의미를 전달하고 있음을 발견하였다. SCoL은 분석 과정에서 브랜드 로고 기호의 구성 요소에 대한 판독 단위를 제공하여 기호학적 관점에서 로고의 의미 작용과 커뮤니케이션 기능 해석을 위한 유효한 분석 도구로 역할 하였다.

미소균열 탐상을 위한 자기광학소자를 이용한 비파괴탐상법의 제안과 적용 (Application of a New NDI Method using Magneto-Optical Film for Inspection of Micro-Cracks)

  • 이형노;박한주;장자 철웅
    • 비파괴검사학회지
    • /
    • 제21권2호
    • /
    • pp.197-203
    • /
    • 2001
  • 항공기나 대형 플랜트 등의 경년구조물에 있어서 제조 및 설계 혹은 작업환경 등에 의해 발생하는 미소결함은 응력부식파괴로 이어지는 결정적인 원인으로 알려져 있다. 따라서 제조단계에서의 결함의 검출뿐만 아니라 운전개지 후에 있어서도 비파괴검사에 기초를 둔 정기적인 건전성평가가 요구된다. 특히 구조물내의 미소균열 평가는 구조건전성 평가에 있어서 중요한 과제라 할 수 있다. 자기광학소자를 이용한 비파괴탐상법은 균열부근의 누설자속에 의한 자구 및 자벽의 변화를 이용하여 균열정보를 화상형태로 얻는다. 그러므로 빠른 탐상속도와 결과데이터 해석의 용이 그리고 실시간적으로 탐상결과를 획득할 수 있다는 장점을 지니고 있다. 본 논문은 자기광학소자를 이용한 새로운 비파괴적 탐상법을 제안하고, 본 탐상법을 이용하여 구조물에 존재하는 표면결함의 검출가능성 및 균열깊이의 평가를 실증하였다. 표면결함을 갖는 시험편과 파이프의 내면에 존재하는 피로균열을 대상으로 실험을 실시한 결과, 표면결함의 위치 및 2차원적 형상을 화상형식으로 얻을 수 있음을 증명하였다. 또한 피로시험중의 시험편을 대상으로 균열발생 및 균열진전과정을 평가를 통하여 원격탐상의 가능성을 제시하였다.

  • PDF