• 한국정보과학회논문지:데이타베이스
• /
• 제36권6호
• /
• pp.422-433
• /
• 2009

시맨틱 웹을 위한 하나의 보안연구로, 본 논문에서는, 온톨로지 계층 구조와 RDF 트리플 패턴에 기반한 RDF 접근 권한 명세 모델을 소개한다. 또한 권한 명세 모델을 승인된 접근 권한들에 대한 RDF 질의 유효성 검증 과정에 적용한다. RDF 트리플 패턴을 가지는 대표적 RDF 질의 언어인 SPARQL 또는 RQL 질의는 RDF 트리플 패턴 형식으로 명세된 접근 권한에 따라 실행 거부되거나 인가될 수 있다. 이러한 질의 유효성 검증 과정을 효율적으로 수행하기 위하여 RDF 포함 관계 추론에서의 주요한 권한 충돌 조건들을 분석한다. 다음으로 분석된 충돌조건과 Dewey 그래프 레이블링 기술을 활용하는 효율적 질의 유효성 검증 알고리즘을 제시한다. 실험을 통하여 제시된 검증 알고리즘이 합리적인 유효성 검증 시간과, 데이터와 접근권한들이 증가할 때 확장성을 가짐을 보인다.

• 정보과학회 논문지
• /
• 제42권12호
• /
• pp.1522-1534
• /
• 2015

본 연구에서는 미리 구축해 놓은 학습데이터 없이도 입력된 작문이 주어진 작문 주제에 적합한 내용인지 아닌지를 자동으로 판단할 수 있는 방법을 제안한다. ConceptNet은 다양한 종류의 문서에서 추출한 자연언어 문장들로부터 구축된 그래프 형태의 지식베이스이다. 본 연구에서는 작문 주제에 해당하는 작문 프롬프트(essay prompt)와 ConceptNet만을 이용하여 문서의 주제-이탈 여부를 판별하는 방법을 제안한다. ConceptNet에서 두 개념간의 최단 경로를 찾고 이에 대한 의미 유사도를 계산하는 방법을 제안한다. 이를 이용하여 작문 프롬프트와 수험생 작문 내용을 ConceptNet의 개념들로 매핑하고 이 개념들 사이의 의미 유사도를 계산하여 작문 프롬프트와 수험생 작문 사이의 주제 부합 여부를 판단한다. 8개의 작문 시험을 수행하여 얻은 수험생 작문 데이터에 대하여 평가를 수행한 결과 기존의 연구에 비해 좋은 성능을 얻을 수 있었다. ConceptNet을 활용하면 유의미한 단순 추론이 가능하기 때문에 본 연구에서 제안한 방법은 추론을 요하는 작문 문제에도 적용 가능함을 보였다.

• 한국컴퓨터정보학회논문지
• /
• 제11권6호
• /
• pp.19-26
• /
• 2006

CTOC에서 SSA Form으로 변경된 표현식에 대해 최적화를 적용하기 위해선 중복된 표현식을 제거하여야 한다. 본 논문에서는 이를 위해 VN(Value Numbering)을 적용하였다. VN을 수행하기 위해서 우선 SSA Form 형태로 정보를 유지하는 SSAGraph를 생성하고, 그래프에서 동등한 노드를 찾은 후, SCC(Strong1y Connected Component)를 생성한다. SCC를 통해 동등한 노드에 같은 valnum을 설정하게 된다. VN을 수행한 결과 SSA Form 수행 과정에서 추가되었던 많은 노드에 대한 제거를 확인할 수 있었다. 설정된 valnum은 최적화와 타입 추론에 적용된다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2006년도 춘계학술대회
• /
• pp.265-269
• /
• 2006

차세대 웹의 중심기술인 시맨틱 웹을 구현하기 위해서는 컴퓨터가 지식을 추론하고 처리할 수 있게 하기 위한 지식표현방법인 온톨로지가 필수적으로 요구된다. 이러한 온톨로지 생성의 중요성이 점차 커져 가는 실정에 따라, 생성된 온톨로지들의 재사용을 위한 방법이 관련 연구들 사이에 중요한 과제로 떠오르기 시작되었다. 본 논문에서는 온톨로지의 재사용을 효율적으로 하기 위한 방법을 제안한다. 우리가 제안하는 방법은 온툴로지를 사용자가 이해하기 쉽고 편집이 용이한 그래프 형태로 표현하는 방법으로 온톨로지를 UML로 변환하여 UML을 통한 온툴로지 재사용 방안을 제안한다. 우리가 제안하는 방법은 다음과 같다. OMG의 MDA 개념을 기반으로 기존에 생성된 온톨로지를 XML 파서를 이용하는 방법을 통하여 XMI로 변환한다. XMI로 변환된 온툴로지는 UML 도구를 사용하여 재사용 할 수 있다. UML로 변환된 온톨로지는 위 과정을 역으로 다시 수행함으로써 온톨로지로 변환된다. 이렇게 UML로 변환된 온톨로지는 UML의 장점을 그대로 가지게 된다. 이미 널리 사용되고 가독성과 편집력 그리고 상호 운용성이 높은 UML을 이용하여 온톨로지의 재 사용성을 높이고자 하는데 있다. 즉 사용자가 직관적으로 온톨로지의 전체 구조와 의미를 파악하는데 도움을 주며 편집 또한 용이하다. 이러한 방법을 바탕으로 UML을 통해 온톨로지를 쉽게 사용자의 온톨로지에 대한 이해와 수정을 도와 온톨로지의 재 사용성을 높이고 사용자간의 공유를 용이하게 만들 수 있다.

• 한국컴퓨터산업학회논문지
• /
• 제7권3호
• /
• pp.145-154
• /
• 2006

본 논문에서는 프로그램 최적화를 위해 개선된 추론적 부분 중복 제거(SPRE) 알고리즘을 제안했다. 본 논문에서 제안한 SPRE 기법은 컴파일러의 프로필링 기법 등을 통해 얻어진 실행 빈도에 대한 정보를 이용하여 실행 속도 최적화를 수행한다. 제안하는 알고리즘의 첫 번째 목적은 프로그램 실행 시 요구되는 메모리의 감소이며 두 번째는 실행 시간을 감소시키는 것이다. 단지 프로그램의 실행 속도만을 고려하는 경우에는 메모리 요구가 크게 증가하기 때문에 메모리 감소에 대한 고려도 중요하다. 이것은 프로그램을 실행하는데 요구되는 메모리의 크기가 실행 속도 보다 더 중요한 임베디드 시스템에 적합한 최적화 기법이다. 본 논문에서는 제어흐름그래프를 네트워크로 구성하여 분할하는데 사용하는 Min-Cut 알고리즘을 구현한다.

• 한국인지과학회:학술대회논문집
• /
• 한국인지과학회 2000년도 춘계 학술대회
• /
• pp.311-321
• /
• 2000

본 논문에서는 정신분석과 두 종류의 정서이론, 인공지능과 신경회로망 그리고 퍼지 페트리 네트 등을 사용하여 사람의 인지과정을 모방한 인지모형시스템을 개발하였다. 먼저 프로이트의 정신분석을 사용하여 정신의 구조를 그래프로 표현한 후 이것을 '마음의 지도'라 명명하였다. 인지모형시스템을 구현하기 위한 첫 번째 작업으로 동적인 추론을 할 수 있는 지능 모델인 KNBN(Kohonen Network based Belief Network)을 제안하였다. KNBN으로 표현한 마음의 약도 내에서 연결강도 값으로 사용할 상대적 데이터를 만들기 위한 근거로서는 '정서'를 사용하였는데, 플라칙의 진화론에 근거한 정서이론과 오토니의 인지적 정서이론을 결합하여 데이터로 만든후 이 수치를 연결강도로 사용하였다. 이 두 개의 정서이론을 결합하는 알고리즘을 만들기 위해 페트리네트를 변형한 퍼지 페트리네트를 제안하였다. 또한 오토니가 주장하는 정서의 인지구조를 사람들이 그대로 이해하는지 여부를 알기 위해 대학생 100명을 대상으로 설문지를 사용해 정서의 인지구조에 대해 조사하였고 그 결과 값에 근거하여 두 개의 정서이론 결합 알고리즘을 만들었다. 이것으로 정서 발화에 대한 상대적인 수치가 산출되었고, 이것을 KNBN으로 표현한 마음의 약도에 결합하기 위해 0과 1사이의 수치로 정규화 하였다. 이렇게 정규화된 데이터를 이용해 인지 모형 시스템을 개발하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (B)
• /
• pp.71-76
• /
• 2006

핸드폰, 스마트폰, PDA와 같은 모바일 디바이스는 위치, 전화기록, SMS, 사진, 동영상 등 사용자에 관한 다양한 정보를 지속적으로 수집하는데 유용하다. 최근, 모바일 디바이스로부터 수집된 정보를 토대로 개인의 일상을 요약하거나 상위 수준의 행동을 추론하는 등의 서비스를 제공하려는 연구가 진행되고 있다. 본 논문에서는 모바일 디바이스에서 수집된 정보를 검색, 요약, 시각화하기 위한 플랫폼인 라이프 브라우저를 제안한다. 라이프 브라우저는 디바이스에 저장된 개인 정보를 효과적으로 검색할 수 있도록 해주고, 개념 네트워크를 활용하여 개념 검색을 지원하며, 키그래프 기반 정보 요약 기능을 제공한다. 위치 정보의 레이블링을 위해 블록 기반의 Location Positioning Server가 구축되었다. 실제 3명의 사용자를 대상으로 수집한 정보를 라이프 브라우저를 통해 회상해 보는 과정을 분석해 보았고 저수준의 로그 정보를 직접 다루는 것보다 개념 네트워크 기반 라이프 브라우저를 사용하는 것이 유용함을 확인할 수 있었다.

• 터널과지하공간
• /
• 제15권6호
• /
• pp.441-451
• /
• 2005

RMR 암반분류법은 구간별 RMR값 산정시 일정 범위의 값을 채택함으로 인해 불확정성을 피할 수 없다. 이에 본 연구에서는 각 파라미터별로 연속적인 RMR 값을 평가하여 확률밀도함수그래프를 산정하고 모든 경우의 수에 대한 몬테카를로 시뮬레이션과 통계추론을 통해 RMR 산정의 불확정성을 정량적으로 평가하였다. 또한 RMR 산정의 불확정성을 실무에 적용하기 위하여 신뢰수준별 수정 RMR 암반등급 산정표를 제시하였으며, 이를 근간으로 RMR 암반분류의 표준지보패턴 및 지보재 설계 수행절차를 제안하였다.

• 한국전자통신학회논문지
• /
• 제14권5호
• /
• pp.943-950
• /
• 2019

머신 러닝은 인력을 대체함으로써 업무 효율성을 크게 높일 수 있다. 특히 4차 산업혁명 시대의 요청에 따라 인공지능을 포함한 머신 러닝의 중요성은 점점 커지고 있다. 본 논문은 MLP, RNN, LSTM, ANFIS 신경망 알고리즘 이용하여, 월별 전력 거래량을 예측한다. 본 논문에서는 통계청에서 제공하는 월별 전력 거래량과 월별 전력 거래금액, 최종에너지 소비량, 자동차용 경유 가격에 대한 2001~2017년까지의 공공 데이터를 사용하였다. 본 논문은 제시하는 각각의 알고리즘들을 학습시키고, 알고리즘이 예측하는 시계열 그래프를 이용하여 예측 결과를 보여주고 RMSE를 이용하여 이들 중에서 가장 우수한 알고리즘 제시한다.

• 한국수학사학회지
• /
• 제25권1호
• /
• pp.71-88
• /
• 2012

정적분을 이용한 자연로그 학습은 구체적인 개념이미지 형성이 어려운 부분이 존재하기에 역동적인 프로그램을 이용하여 시각적 추론의 과정을 거치는 접근방법이 개념이미지를 형성하는데 중요한 역할을 한다. 즉, 역동적인 프로그램 환경에서 학습하는 것은 학생들에게 수학적 개념을 구체적으로 인식하게 하는 유용한 교수 학습 방법이 될 것이다. 이에 본 연구는 전공학부 학생들이 역동적 프로그램이며 시각적 도구인 GeoGebra 환경에서 정적분을 이용한 자연로그 그래프를 이해하는 과정을 탐구하고 분석하여 그 특징을 알아보았다. 그 결과, GeoGebra 프로그램 환경을 바탕으로 학습하는 것은 학생들 스스로 오류를 수정하고 조작하는 활동을 행할 수 있어서 주어진 문제에 대한 해결과정을 직접 관찰 분석할 수 있다는 장점이 있다는 것을 알게 되었다. 또한, 역동적인 프로그램인 GeoGebra를 이용하는 것은 정적분을 이용한 자연로그 그래프를 보다 구체적으로 인식 이해 할 수 있고 개념이미지를 효과적으로 형성할 수 있다는 것을 확인할 수 있었다. 따라서 역동적인 프로그램 환경을 활용하는 것은 단순한 암기 주입식 교육환경에서 경험할 수 없었던 실체적인 수학개념에 대하여 접근할 수 있는 기회를 제공한다는 교육적 시사점을 제시하였다.