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

검색결과 119건 처리시간 0.023초

SWAT: 분산 인-메모리 시스템 기반 SWRL과 ATMS의 효율적 결합 연구 (SWAT: A Study on the Efficient Integration of SWRL and ATMS based on a Distributed In-Memory System)

  • 전명중;이완곤;바트셀렘;박현규;박영택
    • 정보과학회 논문지
    • /
    • 제45권2호
    • /
    • pp.113-125
    • /
    • 2018
  • 최근 빅데이터의 시대가 도래하여 다양한 분야로부터 다량의 지식을 얻을 수 있다. 수집된 지식은 정형화된 형태의 지식으로 가공하여 표현되며, 그 중 W3C의 온톨로지 표준 언어인 OWL이 대표적인 정형화 표현 형식이다. 이렇게 표현된 대용량의 온톨로지로부터 내재된 정보를 도출하기 위해 다양한 방법의 심볼릭 추론(Symbolic Reasoning) 연구가 활발하게 진행되고 있다. 그러나 대부분의 추론 연구들은 서술논리(Description Logic)표현 기반의 제한적인 규칙표현을 지원하며 실생활 기반의 서비스를 구축하기에는 많은 제약이 따른다. 또한 잘못된 지식으로부터 도출된 결과는 규칙들 사이의 종속관계에 따라 연쇄적으로 잘못된 지식이 생산될 수 있기 때문에 이러한 잘못된 지식에 대한 처리를 위한 지식관리가 필요하다. 따라서 본 논문에서는 해당 문제를 해결하기 위해 SWRL(Semantic Web Rule Language) 기반의 추론과 ATMS(Assumption-based Truth Maintenance System)간의 결합을 통해 새롭게 도출된 지식에 대한 관리를 할 수 있는 SWAT(SWRL + ATMS) 시스템을 제안한다. 또한 이 시스템은 대용량 데이터를 처리하기 위해 분산 인-메모리 프레임워크 기반의 SWRL추론과 ATMS를 병합 구축하였으며 이를 바탕으로 웹 형태의 ATMS 모니터링 시스템을 통하여 사용자가 손쉽게 잘못된 지식을 검색 및 수정할 수 있도록 한다. 본 논문에서 제안하는 방법에 대한 평가를 위해 LUBM(Lehigh University Benchmark)데이터 셋을 사용하였으며, 대용량 데이터에 대한 SWRL 추론과 잘못 추론된 정보에 대한 삭제를 통해 효율적인 추론과 관리가 가능한 결합 방법임을 증명한다.

한국 전통 음악 어법을 활용한 영화 음악의 연구 (An Analysis on the Application of Korean Traditional Music to Film)

  • 정수현;장민호
    • 한국엔터테인먼트산업학회논문지
    • /
    • 제13권7호
    • /
    • pp.247-259
    • /
    • 2019
  • 이 연구의 목적은, 한국 전통 음악의 어법을 활용하여 영화 음악을 발전시키기 위함이다. 2019년 현재 한국 영화 음악은 대부분 서양 악기 기반으로 만들어진다. 전통 음악이 쓰이는 빈도수를 확인해 보면, 서양 악기 기반의 음악보다 철저히 적음을 알 수 있으며, 1980년대 이전까지 한국 영화에서 다양하게 쓰이던 전통 악기와 전통 음악조차, 이제는 사극에서 내재적 음악으로 사용되는 데에 그치고 있는 것이 현실이다. 그리하여 전통 음악은 대중적으로 다가가기에 어렵다고 보는 관점이 많아지고 있으며, 많은 창작 음악 중에서도 영화 음악에는 거의 등장하지 않는다. 더 나아가 전통 악기의 음색을 사용하여 서양 악기를 흉내 내는 경우는 많은 반면, 전통 선법이나 장단, 시김새 등 전통 어법을 양악기로 연주하는 경우는 극히 드물다. 이는 필히 영화 음악을 작곡하는 음악가들의 전통 음악 어법이나 선법에 대한 제대로 된 이해가 부족함이 있을 것이며, 요즘의 음악 흐름에 전통 음악이 없기에 굳이 시도하지 않는 것이라고 생각된다. 하지만'전통'은, 그 나라의 역사와 문화, 생활, 성격 등을 모두 아우르며 그 민족을 나타내는 고유하고 특수한 것이다. 현재 디즈니사 영화나 할리우드 영화 등 세계적으로 유명한 영화를 살펴보면, 각 나라의 민속 음악을 활용하여 다양한 색채를 나타내는 월드 뮤직 형식이 많이 등장함을 알 수 있다. 이는 민속적인 색깔을 드러냄으로써 그 나라의 문화를 알리는 데 크게 일조한다. 하지만 한국의 색깔을 드러내는 영화나 음악은 찾아볼 수 없음이 현실이다. 이에 필자는 전통을 지켜내고자 하는 한국인으로서, 그리고 음악가로서 영화 음악에서 전통 어법을 사용한 음악이 필요하다는 것을 제안하였다. 제안 근거로 세계적으로 나라의 문화를 알리는데 일조한 중국 음악계의 '뉴웨이브' 양식과, 전통 어법이 서양 악기 양식으로 융화된 '탄둔'의 '와호장룡' 영화 음악을 예로 살펴보고, 그 음악으로 인한 효과를 한국 전통 음악에 대입했을 때도 훌륭한 효과를 나타낼 수 있을 것임을 증명하였다. 그를 통하여 영화 음악 작곡가들이 전통 음악을 더 잘 이해하고 하나의 음악을 만들어 내었을 때, 한국인만이 할 수 있는 가치 있는 음악이 완성되어 한국을 넘어 세계로 뻗어져 나갈 수 있을 것이다. 또한, 4차 산업혁명을 살아가고 있는 현재 그리고 미래에 우리의 목소리를 더 낼 수 있을 것이라고 기대한다.

맥스 스크립트를 이용한 감성적 걸음걸이 예측 시스템 (The Prediction System of Emotional Reaction to Gaits Using MAX SCRIPT)

  • 정재욱
    • 감성과학
    • /
    • 제14권1호
    • /
    • pp.1-6
    • /
    • 2011
  • 인간의 걸음걸이를 보고 느끼는 감성적 반응에는 모든 사람들이 공감할 수 있는 '규칙성'이 있다. 본 논문은 이러한 규칙성을 수량적으로 추출하고 재구성하여 3D 캐릭터 행동제어에 적용하고자 하는 연구과정의 일부분이다. <"가"라는 감성반응을 가지고 있는 걸음걸이 "A"와 "나" 라는 감성반응을 가진 걸음걸이 "B" 의 신체적 수치 데이터를 임의의 비율로 섞었을 때, 그에 대한 감성반응 역시 "가"와 "나" 가 섞인 "가/나"가 된다.>란 가설을 증명해서 향후 연구의 타당성을 확보하는 것이 이번 논문의 목적이다. 3D Studio Max의 스크립트로 만든 EAM을 이용하여, 바이페드 형식의 2개의 걸음걸이 샘플을 브랜딩 하였다. 6번 중 4번의 실험에서 성공적인 브랜딩 결과물을 추출할 수 있었다. 이것은 모션캡처 등을 이용하지 않더라도 기본적인 바이페드 데이터만 있다면 다양한 걸음걸이의 바이페드를 생산할 수 있다는 것을 의미한다. 현재 팔, 다리의 1Cycle 운동조건이 갖추어진 바이페드 샘플을 대상으로 하고 있지만, 완성된 시스템을 위해서는 다양한 운동조건에서도 브랜딩이 가능한 툴이 필요하다.

  • PDF

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

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

칸트, 후설과 유식철학(唯識哲學)에서 인식과 자아 문제에 관한 연구 - 유식철학(唯識哲學)의 삼성설(三性說)과 전식득지(轉識得智)를 중심으로 - (Investigation on Cognition and Ego in Kant, Husserl and Yogācāra - focused on trisvabhāva and the transformation of the basis of mind in Yogācāra -)

  • 박종식
    • 철학연구
    • /
    • 제144권
    • /
    • pp.167-203
    • /
    • 2017
  • 이 논문에서는 유식학파의 삼성설(三性說)를 칸트, 후설의 코페르니쿠스적 전회와 현상학적 환원이라는 태도전환과 비교하면서 자아와 인식의 상관관계를 탐구하고자 한다. 유식론은 식전변(識轉變), 삼성설(三性說), 수도론(修道論) 세 부분으로 구성되어 있는데, 이 논문에서는 유식학파의 식전변(識轉變), 삼성설(三性說)를 중심으로 자아와 식전변(識轉變) 문제를 칸트, 후설의 자아와 태도전환과 비교하고 그 유사성을 밝히고자 한다. 유식학파의 식전변(識轉變)는 현행식과 알라야식의 상관관계를 잘 보여주고 있다. 삼성설(三性說)는 자아와 인식이 공(空)임을 증명하는 유식학파의 핵심적 근거이다. 우리의 마음과 생각은 잠시도 고요하게 머물지 못하고 천변만화(千變萬化)하여 하루에도 수백 번을 생멸(生滅)하면서 천국과 지옥을 오간다. 마음과 생각을 잠시라도 쉴 수 있다면 부질없는 허공 속의 꽃(공화(空華))은 사라지고 바로 자아와 대상, 인식의 본래 모습을 깨닫게 될 것이다. 외부대상의 변화가 아니라, 인식태도의 전환인 전식득지(轉識得智)야말로 자기 마음의 본래면목을 제대로 볼 수 있는 유일한 방식이다. 현상에 대한 왜곡된 인식의 근거인 편계소집성(遍計所執性)을 깨달음으로써 현상의 의타기성(依他起性)과 마음의 원성실성(圓成實性)으로 환지본처(還至本處)하는 것이 유식학의 근본취지이다. 전오식(前五識), 의식(意識), 말나식(末那識), 알라야식 등 팔식(八識)은 단지 현상에 불과할 뿐 그 본성은 실체가 없는 공성(空性)에 불과하다. 전의(轉依)를 통해서 번뇌(煩惱)의 의식(意識)이 청정(淸淨) 지혜(智慧)로 전환되는 것이 전식득지(轉識得智)이다. 반면 칸트는 인식대상이란 자아에 의해서 구성되는 것이지, 있는 그대로의 대상을 인식할 수 없다고 한다. 칸트의 자아는 대상을 인식할 수 있도록 질서지우고 구성하는 능력이다. 자아는 고정된 실체가 아니라 활동성이다. 그러므로 칸트의 자아 역시 공성(空性)이지만, 자아가 대상과 인식을 구성하는 형식적 근거라는 점에서는 유식의 자아와는 다르다. 후설의 자아 역시 대상을 구성하고 대상에 의미를 부여하는 활동적 자아로서 실체가 아니라는 점에서는 공성(空性)이면서 동시에 의미 부여의 근원적 근거가 된다. 그러나 자아와 대상은 상관적인 지향적 구조를 지니고 있기 때문에, 자아와 독립된 초월적 대상이나 현상은 원리적으로 불가능하다. 이 점에서는 유식학의 관점과 유사하다. 그러나 의식활동으로서의 자아는 실체가 아닌 내용 없는 현상학적 잔여물이기는 하지만 무자성(無自性)의 자아는 아니다. 이런 방식으로 유식학, 칸트, 후설의 자아와 인식, 자아의 태도전환의 유사성과 차이성을 밝히고자 한다.

AdaBoost를 이용한 윈도우 영상의 하위 영상 검출 (Subimage Detection of Window Image Using AdaBoost)

  • 길종인;김만배
    • 방송공학회논문지
    • /
    • 제19권5호
    • /
    • pp.578-589
    • /
    • 2014
  • 윈도우 영상은 흔히 컴퓨터에서 응용프로그램을 실행하였을 때, 모니터를 통해 출력되는 화면을 의미하여, 웹페이지, 동영상 플레이어 및 여러 가지 응용프로그램을 모두 포함한다. 웹페이지는 다른 어플리케이션에 비해 다양한 종류의 정보를 다양한 형태로 전달한다. 이러한 웹페이지와 같은 윈도우 영상은 카메라로부터 획득할 수 있는 자연영상과 달리 텍스트, 로고, 아이콘 및 하위 영상과 같은 여러 가지 요소들을 포함하고 있고, 각 요소들은 서로 다른 형식의 정보를 사용자에게 전달한다. 그러나 텍스트와 영상은 정보가 다른 형태로 제공되기 때문에, 엄연히 다른 특성을 가지고 있는 요소들을 지역적으로 분리할 필요성이 있다. 본 논문에서는 윈도우 영상을 지역적인 특성에 따라 다수의 블록으로 분할한 후, 분할된 각 영역을 배경, 텍스트, 하위영상으로 분류하였다. 이러한 분류기법을 통해 분류된 하위 영상은 3D입체영상 변환, 영상 검색, 영상 브라우징등과 같은 응용을 가질 수 있다. 영상을 분류하는 방법에는 여러 가지가 존재할 수 있으나, 본 논문에서는 기계학습 기반의 알고리즘이 하위 영상 검출에도 좋은 접근법이 될 수 있음을 증명하기 위해 AdaBoost를 이용하였고, 실험결과로부터 93.4%의 검출률, 13%의 거짓 긍정률을 보임으로서, 이를 입증하였다.

오형근 초상사진 분석 (Analysis on Oh, hein-kuhn's Portrait Photograph)

  • 김지영
    • 한국콘텐츠학회논문지
    • /
    • 제14권3호
    • /
    • pp.103-112
    • /
    • 2014
  • 오형근은 우리나라를 대표하는 초상사진가이다. 여성의 초상을 다룬 <아줌마>, <소녀연기>, <화장소녀>는 과거 초상사진이 인물의 외양을 묘사한 것과 조금 다른 모습을 보인다. 작가는 인물의 겉모습과 더불어 '가정과 사회' '아이와 여성' 중간에서 갈등하고 불안해하는 내면의 모습을 표현하였다. 즉 비슷한 사진을 반복적으로 보여주면서 아줌마와 소녀 인물군 전체가 내뿜는 특정 아우라(aura)를 담아내, 우리는 '아줌마'와 '소녀'를 보고 알게 된다. 오형근 초상사진의 중요한 기법은 이미지의 '반복'이다. 작가는 인물을 정면에서 똑바로 응시하고 비슷한 프레임의 사진을 반복적으로 보여주면서 사진의 의미를 전달한다. 이러한 작품의 형식과 내용은 증명사진처럼 매우 단순해 자칫 지루하게 느껴질 수도 있다. 그러나 흘러가는 시간과 이동하는 공간을 표현한 영상보다 고정된 자리에서 움직임 없는 액자 속의 사진은 작품의 의미를 더욱 명확히 전달해, 우리는 오히려 작가가 전달하려는 메시지를 빨리 파악할 수 있다. 이미지 변형이 주를 이루는 사진 제작 환경에서 정통 오리지널 작업방식의 오형근 작품은 단연 눈에 띈다. 아줌마와 소녀의 초상을 통해 작가는 우리 사회의 한 단면을 이야기하고 우리는 그가 만든 초상을 통해 현실을 재확인한다.

라그랑주 승수법의 교수·학습에 대한 소고: 라그랑주 승수법을 활용한 주성분 분석 사례 (A Study on Teaching the Method of Lagrange Multipliers in the Era of Digital Transformation)

  • 이상구;남윤;이재화
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제37권1호
    • /
    • pp.65-84
    • /
    • 2023
  • 라그랑주 승수법(Method of Lagrange Multipliers)은 등식 제약조건하에서 미분가능한 함수의 최대, 최소를 구하는 대표적인 방법이다. 선형대수학, 최적화 이론, 제어 이론을 포함하여 최근에는 인공지능 기초수학에서도 널리 활용되고 있다. 특히 라그랑주 승수법은 미분적분학과 선형대수학을 연결하는 중요한 도구이며, 주성분 분석(Principal Component Analysis, PCA)을 포함한 인공지능 알고리즘에 많이 활용되고 있다. 따라서 교수자는 대학 미분적분학에서 처음 라그랑주 승수법을 접하는 학생들에게 구체적인 학습 동기를 제공할 필요가 생겼다. 이에 본 논문에서는 교수자가 학생들에게 라그랑주 승수법을 효과적으로 교육하는데 필요한 통합적인 시야를 제공한다. 먼저 다양한 전공의 학생들이 계산에 대한 부담을 덜고 원리를 쉽게 이해할 수 있도록 개발한 시각화 자료 및 파이썬(Python) 기반의 SageMath 코드를 제공한다. 또한 라그랑주 승수법으로 행렬의 고윳값과 고유벡터를 유도하는 과정을 상세히 소개한다. 그리고 라그랑주 승수법을 간단한 경우에 대한 증명에서 시작하여 일반화된 최적화 문제로 확장하고, 수업에서 학생들이 라그랑주 승수와 PCA를 활용하여 실제 데이터를 분석한 결과를 추가하였다. 본 연구는 대학수학을 지도하는 다양한 전공의 교수자들에게 도움이 될 기초자료가 될 것이다.

조호익(曺好益) 『역상설(易象說)』의 상수학적 연원 (A Study on the Origin of Image-Number Theory in Cho Hoik's Yixiangshuo)

  • 임재규
    • 대순사상논총
    • /
    • 제38집
    • /
    • pp.183-208
    • /
    • 2021
  • 조호익(曺好益) 『역상설(易象說)』의 상수학적 연원을 검토하기 위해서는 호일계의 『주역본의부록찬주(周易本義附録纂注)』를 검토할 필요가 있다. 호일계는 주자의 『주역본의』를 기본으로 하고, 주자의 문집과 어록 등의 관련 내용을 찾아 부록이라 하였고, 그리고 제유의 역설 중 『주역본의』의 뜻에 부합하는 주석을 모아서 찬주로 하였다. 여기에다 호일계 자신의 의견을 덧붙이는 형식의 '우위(愚謂)'나 '우안(愚案)' 등이 있다. 이러한 호일계의 『주역본의부록찬주』 체제는 사실상 조호익의 역학 저서 체제와 거의 일치한다. 즉 조호익은 호일계의 『주역본의부록찬주』의 부록, 찬주의 내용에 해당하는 저서로 『역전변해(易傳辨解)』, 『주역석해(周易釋解)』를 지은 듯하다. 이러한 저서는 주자의 『주역본의』의 단상을 정밀하게 밝힌 것이라고 이미 밝힌 바 있다. 그리고 『주역본의부록찬주』 '우위'나 '우안'에 해당하는 저서로 『역상설』이 있다. 『역상설』은 원래 독립적인 역학 저서가 아니라 『주역』의 두주 형태로 기록된 것을 후인들이 모아 편찬한 것이다. 따라서 『역상설』은 『주역본의부록찬주』의 '우위'나 '우안'과 거의 같은 형식이다. 그리고 조호익의 『역상설』은 내용적인 측면에서도 『주역본의부록찬주』의 '우위'나 '우안'의 역설을 많이 인용하고 있다. 한편, 조호익 『역상설』의 상수학적 연원을 검토하기 위해서 주진의 역학을 간과할 수 없다. 『역상설』이 주진을 인용하고 있는 점 때문만이 아니다. 보다 큰 이유는 『역상설』과 주진 역학의 골간적 측면 때문이다. 본론에서도 증명했지만, 『역상설』의 상수학적 『주역』 해석 방법론과 『한상역전(漢上易傳)』의 상수학적 『주역』 해석 방법론이 거의 일치한다. 결론적으로, 조호익 『역상설』의 상수학적 연원은 호일계의 『주역본의부록찬주』와 주진의 『한상역전』에서 모두 찾을 수 있을 것 같다. 특히 『주역본의부록찬주』의 '우위'나 '우안' 부분, 그리고 『한상역전』의 한대(漢代) 상수학적 체례에 그 연원이 있다고 할 수 있다.

기존 노면요철 포장 개선 연구 (A study to improve the existing rumble-strip)

  • 류성우;임관;박권제;조윤호
    • 한국도로학회논문집
    • /
    • 제11권1호
    • /
    • pp.177-186
    • /
    • 2009
  • 국내 도로의 주행안전성을 확보하기 위하여 2000년에 처음으로 노면요철 포장을 도입하였다. 본 공법의 효과가 증명되면서부터 시공물량은 매년 증가하였다. 본 연구진은 기존형태를 개선하여 본선 콘크리트 포장부 시공 시 동시에 노면요철 포장을 설치하는 형식을 제안하였다 노면요철 포장 시공장비를 제작하여 평택${\sim}$음성 고속국도에 시험시공을 하였으며 그 효과를 분석하였다. AASHTO에서 제안한 식을 이용하여 횡방향 정지거리를 산출한 결과, 개선된 노면요철 포장의 횡방향 여유 폭이 0.5m 더 확보되어 기존형태보다 더 안전한 것으로 나타났다. 소음도 평가결과, 노면요철 포장이 없는 구간을 주행할때보다 약 $3.5{\sim}9dB(A)$까지 더 크게 소음이 발생하여 졸음을 예방하거나 운전자의 환경을 개선시키는 것으로 나타났다. 진동평가에서는 주로 사람의 안구에 영향을 주는 주파수 영역대의 진동이 지배적인 것으로 나타났다. 주행 후 운전자들의 설문조사 결과에서는 개선된 형태가 기존형태보다 소음이나 진동에서 큰 차이는 없지만 주행상의 안정감이 더 큰 것으로 나타났다. 따라서 개선된 공법을 도로에 확대 적용할 경우, 기존보다 교통사고 및 사망자수를 줄일 수 있을 것으로 평가된다.

  • PDF