• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2008년도 학술대회 2부
• /
• pp.364-369
• /
• 2008

이 연구는 정보와 지식을 효과적으로 시각화하기 위해 만들어진 개념적 맵(Conceptual map)들의 종류와 그 특성과 차이점을 분석하고 활용 방안으로서 디지털 스토리텔링으로의 적용 가능성과 방법에 대한 연구이다. 사회현상에 존재하는 다양한 정보에서 사용자가 원하는 정보를 검색하고 조직하기 위해 다이어그램, 그래프, 맵 등 정보시각화를 통한 여러 방법들이 사용되고 있다. 특히 이 중에서 맵을 이용한 시각화에 주목하는 이유는 수많은 정보와 지식을 기반으로 만들어진 개념적 지도가 정보와 지식을 표현해 줄 뿐만 아니라, 이들 사이의 관계를 조직해주는 데에도 효율적으로 사용되고 있기 때문이다. 이러한 정보시각화는 대량의 정보 속에서 사용자들이 찾고자 하는 정보를 빠르고 용이하게 찾을 수 있도록 도와준다. 또한, 일련의 스토리 라인을 갖고 있는 책의 시각화의 경우 등장인물과 그들 주변에서 일어나는 사건들의 관계를 형상화할 수 있다. 이러한 과정을 통해 만들어진 개념적 맵에서는 개개인이 알고 있는 이야기와 그에 관한 정보를 다른 사람들과 의사소통하며 그 정보와 지식들이 확장될 수도 있어, 이는 지식시각화의 좋은 활용사례가 될 수 있을 것이다. 본 연구에서는 대표적인 개념적 맵의 세 가지 종류인 개념맵(Concept map), 지식맵(Knowledge map), 토픽맵(Topic map)의 정의와 특성들을 살펴보고, 각각의 구성요소의 차이점을 비교하여 시각화 방법론을 제안하였다. 또한, 각 맵의 특성과 차이점을 이용해 루이스 캐롤(Lewis Carroll)의 <이상한 나라의 엘리스>의 이야기 요소들을 각각의 개념적 맵들로 구성해봄으로써, 그 효과를 확인해보았다. 스토리텔링을 개념적 맵을 이용하여 표현할 경우, 사용자들은 스토리텔링을 효과적으로 접근할 수 있으며, 이러한 분석은 개념적 맵을 제작할 때 가이드라인으로 활용될 수 있을 것이다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제23권3호
• /
• pp.625-642
• /
• 2009

우리나라 학교수학에서는 접선에 대한 개념을 학년별로 다양하게 제시하고 있다. 학년이 올라감에 따라 이전 학년에서 학습했던 개념을 점차 수정하면서 최종적으로는 할선의 극한으로서의 접선의 개념에 도달한다. 이 연구에서는 선형 사로서의 접선 개념을 도입하고 이에 대한 수학 교육학적 의미에 대하여 고찰한다. 이 개념이 비선형 문제의 국소적 측면을 다룰 때 이를 선형화 시켜서 바라보는 현대 수학의 중요한 관점을 내포하고 있음을 살펴본다. 이 개념의 교수학적 변환으로서 접선을 이용하여 제곱근의 값을 근사적으로 구하는 방법을 알아보고, 이를 통하여 접선 개념의 학습에 대한 긍정적인 태도, 흥미, 동기 부여 등의 정의적인 요소들을 증진시킬 수 있음을 논의한다. 또한, 이 개념을 통하여 첨점이 있는 그래프에서 첨점의 좌우에서 서로 다른 접선이 생길 경우 학생들이 가질 수 있는 오류의 의미 분석 및 그 해소 방안을 모색한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1995년도 제7회 한글 및 한국어 정보처리 학술대회
• /
• pp.43-49
• /
• 1995

대부분 자연 언어 이해 시스템이나 중간 언어 방식을 이용한 기계 번역 시스템에서 자연 언어 문장을 이해하고 번역하기 위해서는 대량의 지식을 이용한 의미 구조의 생성이 요구된다. 따라서 개념 그래프를 이용하여 한국어 문장의 내부 의미 구조를 생성하기 위해서는 각 단어에 해당하는 개념과 개념들 사이의 개념적 관계를 나타내는 지식들이 요구된다. 그러나 이를 위한 의미 구조 생성 방법과 요구되는 지식 베이스를 정확하게 구축하는 것은 어렵고 응용 도메인에 종속한다는 문제가 있다. 본 논문에서 우리는 문형 이론을 도입하여 문형을 중심으로 의미 구조 생성을 위한 변환 규칙을 설계하고 이를 이용하여 방대한 지식 베이스의 구축없이 의미 구조를 생성할 수 있는 방법에 논의한다. 또한 본 논문에서 문형을 이용하면 몇 가지 모호성 문제를 해결할 수 있음을 보이고 문형의 한계에 대해서도 살펴본다.

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

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

• 한국수학사학회지
• /
• 제17권3호
• /
• pp.109-120
• /
• 2004

이 연구는 학과 과제와 기말 프로젝트에 있는 문제들 중에서 컴퓨터를 활용하여 수학적 문제 해결을 해 가는 세 명의 예비 교사를 연구 조사하였다 모든 연구 참여자들의 활동과 컴퓨터를 활용한 문제 해결 과정을 관찰하고 촬영하였다. 가능한 경우 예비 교사들의 탐구활동 전과 후 및 탐구활동 중에 개별적인 면담을 하였다. 자료수집 방법은 관찰, 면담, 현장 기록, 제출과제, 컴퓨터 작업, 오디오와 비디오 테이프를 사용하였다. 수학적 문제 해결 초기 단계에서는, 모든 연구 참여자들이 그래프와 데이터를 사용하여 모델 만들기, 사인 함수의 일반적 개념에 대하여 절차적 지식과 개념적 지식이 약하게 형성되어 있었으나 컴퓨터를 활용한 수학적 문제 해결 활동을 통하여 그들은 절차적 지식과 개념적 지식을 강하게 구성하였고 그들을 적절하게 연계시킬 수 있었다

• 한국과학교육학회지
• /
• 제9권1호
• /
• pp.101-111
• /
• 1989

본 연구의 목적은 광합성과 관련하여 한국 국민학교 5학년과 중학교 2학년 학생들이 갖고 있는 오개념을 조사하고, 학생들의 개념이해 정도, 논리적 사고능력, 그리고 학생배경변수들 사이의 상호관계를 조사하는 것이다. 세가지의 도구들이 이 연구를 위해 개발되었다. 광합성 개념검사 (Photosynthesis Concepts Test)는 광합성과 관련된 개념들의 이해를 평가하기 위해, 삐아제의 논리적 사고력 검사(Piagetian Cogical Reasoning Test)는 PCT에 포함된 3종류의 논리적 사고들, 변인 통제, 조합적 사고력, 상관관계 사고능력을 평가하기 위해, 그리고 실문서는 학생들의 배경변수들에 대한 정보를 얻기 위해 개발되었다. 이 도구들은 20명 의 국민학교 5학년, 239명의 중학교 2학년 학생들에게 시행되었다. 이 연구의 결과는 두집단의 학생들이 "먹이를 만든다"는 의미, 먹이의 정의, 식물에 의한 빛의 사용, 식물 뿌리와 잎의 기능들, 광합성 산물, 그리고 광합성을 위한 조건들과 관련하여 오개념을 갖고 있음을 보여 주었다. 국민학교 5학년과 중학교 2학년 사이의 개념 이해의 향상은 식물에 의한 빛 이용의 본질, 한 체계내에서 생물들간의 물질 교환, 포도당, 지방, 단백질 등에 대한 지식에서 보여졌고, 그래프를 해석하는 능력에서 또한 중학교 2학년 학생들이 앞섰다. 향상을 보인 항목들은 교과서에서 보다 많은 강조점을 두거나 상위의 논리적 사고능력을 요구하는 것들이었다. 희귀분석 결과, 전년도 과학성적과 논리적 사고력이 PCT 성취도에 가장 예견력이 높은 두 변수이며 5학년의 경우 성취도의 약 22%의 변량을, 중2의 경우 성취도의 약 40%의 변량을 설명하였다. 후속연구로서 내용의 추상성, 적절성, 그리고 요구되는 논리적 능력면에서 교수조건의 변형을 통한 오개념의 변화와 감소에 대한 실험적 연구가 제시되었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.286-288
• /
• 2004

단백질 상호작용 데이터는 현 생물정보학에서 기능이 알려지지 않은 단백질의 기능 예측에 높은 신뢰성이 있는 프로티오믹스의 계산 모델에 이용되고 있다. 일반적으로 이 단백질 기능 예측 알고리즘들은 대규모의 2차원 단백질-단백질 상호작용 맵에서 Guilt-by-Association 개념 기반으로 개발되고 있다. 본 논문에서는 단백질-단백질 상호작용 데이터를 이용한 그래프 기반 단백질 기능 예측 모델을 개발하였다. 특히, 이 모델은 대량의 상호작용 데이터에서 정확한 기능 예측을 수행할 수 있다는 장점을 가지고 있다. 이를 위해 Yeast에 대한 단백질 상호작용 맵, Homology 및 Interaction Generality를 이용하여 이 모델을 평가하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 1998년도 추계학술대회 논문집
• /
• pp.337-344
• /
• 1998

Conceptual design of the pantograph for high speed trains of 350km/h is introduced. The aims to be accomplished in the concept design are the good dynamic performance, low noise, aero-dynamic stability. The resulting mechanism of the pantograph have single-arm type structure with bebel gears to reduce noise sources, symmetric structure for the aero-dynamic stability and the special panhead assembly to obtain good dynamic performances.

• 한국철도학회논문집
• /
• 제19권2호
• /
• pp.170-186
• /
• 2016

본 논문에서는 철도 시스템에서 안전무결성수준 평가를 위한 다단계 퍼지 리스크 그래프를 제안한다. 본 모델은 입력변수의 모호함과 주관적 전문가 판단의 단점을 보완하는 것을 목적으로 한다. 다단계 퍼지 리스크 그래프 모델은 2단계로 구성된다. 본 논문에서는 첫 번째 퍼지화를 위한 상세 입력 변수가 제안되고 첫 번째 단계에서 퍼지 이론을 적용하여 기존의 리스크 그래프 입력 변수인 심각도, 노출도, 회피도, 요구율을 산정한다. 퍼지 추론 및 역퍼지화 결과 2단계에서 적용할 입력변수가 도출된다. 두 번째 단계에서는 식별된 해당 해저드에 대하여 안전 무결성 수준과 허용 해저드율을 산정하여 안전 요구사항을 수립한다. 또한 다단계 퍼지 리스크 그래프 모델을 검증하기 위해 CENELEC SC 9XA WG A10 보고서에 소개된 건널목 시스템을 대상으로 한 안전성 평가 결과와 비교하여 모델을 검증하였으며, 철도 분야의 초기 개념 설계 단계 안전성 요구사항을 수립 시 적용할 수 있다.

• 한국정보과학회논문지:정보통신
• /
• 제27권4호
• /
• pp.482-488
• /
• 2000

프로토콜 검증에 있어서 reachability analysis를 사용하는 방법은 널리 알려지고 많이 사용되는 방법이다. Reachability analysis를 통한 검증 방법에 있어서는 프로토콜의 동작을 나타내는 reachability graph의 생성이 중요하다. 그러나 시간이 관련되는 경우 발생하는 상태 수 폭증또는 시간의 실수적 성질의 문제가 있어서 reachability graph의 생성에 큰 장애가 되어왔다. 실시간 시스템이나 프로토콜에 있어서 타이머는 대기 시간의 한계를 지정하거나 일정한 시간간격을 시스템에 알릴 수 있도록 하는 등 시간의 상대적 기준점으로 사용되며 이외에도 여러 가지 용도로 타이머를 사용하게 되어 프로토콜을 모델링하는데 있어서 타이머는 불가결하다. 본 논문에서는 타이머를 모델링하지 못하며 통신 프로토콜과 그 환경을 모델링하는데 적절치 못하던 기존의 방법과 달리 타이머를 포함하며 통신 프로토콜과 그환경을 적절히 표현할 수 있도록 시스템을 기술하는 방법과 함께 상대적 시간 개념으로 천이와 타이머를 다루는 방법을 통해서 시간개념과 타이머가 들어있는 프로토콜의 reachability graph를 유도하는 방법을 제안하였다. 제안한 방법을 통해서 기존방법으로는 찾아낼수 없었던 시스템의 오류를 찾아낼 수 있었다. 이를 통해 보다 실제 프로토콜에 가깝에 모델링하고 검증할 수 있는 기반을 마련하고 있다.