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

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

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제24권3호
• /
• pp.611-626
• /
• 2010

본 연구는 일차항수의 합성 성질에 관한 수학적 지식의 발견을 CAS 그래핑 계산기를 도구로 활용하여 조명하였다. 이를 위하여 먼저 CAS 그래핑 계산기와 같은 공학이 도구로 생성되는 의미와 과정을 살펴보았고, 실험수학의 견지에서 CAS를 활용한 관찰, 추측, 추론과 증명 등의 개념 기반형 수학적 활동에 기초한 수학적 지식 발견의 탐구 활동을 구상하였으며, 이 활동의 실제적 적용으로 일차함수의 반복 합성에 의해 얻어진 함수족들의 성질을 분석하였다. 이를 통하여 CAS 그래핑 계산기가 가지는 도구의 기능적 능력인 그래프 그리기, 표의 생성이나 기호 조작은 지필로는 힘든 반복 합성한 함수족의 탐구를 유의미하도록 함을 알 수 있었고, CAS가 수학적 활동에 매개되어 학교수학의 새로운 교수-학습 변화에 대한 주요한 역할을 담당할 수 있음을 확인할 수 있었다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2002년도 춘계학술발표논문집(상)
• /
• pp.10-15
• /
• 2002

확장된 마크흐름선도(EMFG : Extended Mark Flow Graph)는 시스템의 동시성이나 병렬성을 잘 표현할 수 있는 방향성 그래프이다. 이를 이용하여 시스템을 모델링하면 개념설계가 가능하고, 상세 동작분석이 용이해짐으로 이산제어시스템이나 시퀀스 제어회로등을 설계할 때 사용될 수 있는 도구이다. 기존 EMFG에서는 타이머에 대한 표기 방법이 미비하여 타이머를 많이 사용하는 분야인 시퀀스제어 설계 및 릴레이 회로의 표현에는 많은 어려움이 있다. 본 논문에서는 타이머 릴레이들의 동작에 대하여 생성지연-소멸 트랜지션, 생성-소멸지연 트랜지션과같이 이중바로 표기된 새로운 트랜지션을 도입하였다. 새로운 트랜지션을 이용하면 타이머들의 동작을 분명하게 표현할 뿐만 아니라 EMFG의 표현을 알고리듬할 수 있다. 그러므로 복잡한 시스템을 모델링할 때 제안된 트랜지션을 이용하면 효율적인 모델링을 할 수 있다.

• 한국기록관리학회지
• /
• 제19권1호
• /
• pp.23-67
• /
• 2019

Records in Contexts(RiC)은 ICA의 네 가지 기술표준을 통합, 정규화하여 개발한 국제적 기술표준이다. RiC은 기록 기술을 다차원적으로 바꾸고 기록의 맥락을 드러내며 이질적 시스템 간 데이터 상호운용성을 확보할 수 있는 장점이 있다. 본 논문에서는 RiC을 아카이브 시스템 설계의 핵심 도구로 설정하고, 데이터베이스 구현을 위한 '논리적 데이터 모델링'을 수행한다. RiC의 개념 모델인 RiC-CM(Conceptual Model)은 데이터 참조 모델로 활용할 수 있기 때문에, 사용자 요구사항에 맞는 데이터 모델로 개발이 가능하다. 이에 본 논문에서는 이를 두 가지 데이터 모델, '관계형 데이터 모델'과 '그래프형 데이터 모델'로 구현하고자 한다. 관계형 데이터 모델은 대부분 레거시 시스템의 데이터베이스가 적용하고 있는 만큼 범용적이다. 한편 그래프형 데이터 모델은 정보 '개체(entity)' 사이의 '관계(relationship)'를 중심으로 개체를 유연하게 확장할 수 있다.

• 한국학교수학회논문집
• /
• 제8권3호
• /
• pp.357-366
• /
• 2005

이 연구는 교육과정에 명시적으로 표기하지 않은 개념형성과정을 밝혀 구조망으로 나타내고, 여기에서 교사가 지도할 내용의 개열을 구성하는데 그 목적을 둔다. 이를 위해 연구진은 사인함수의 그래프에 대한 개념형성과정을 수업모델로 만들어 교실에서 수업을 실시하고 수업 중학생들의 모둠활동을 관찰했다. 또, 수업 후에는 인터뷰를 통해 개념형성과정에서 보인 상황 찾기(인식), 사용된 사고전략, 효과적인 자료 및 학습도구 등 학생들의 반응을 면밀히 기록했다. 이들 결과는 5인의 전문 집단에 의하여 분석되어 내용구조망(network)과 그 지도계열을 구성할 수 있었다. 이 연구는 학교현장에서 소홀이 되고 있는 개념교육에 구체적인 방법을 제시하고 있다.

• 한국지능시스템학회논문지
• /
• 제24권6호
• /
• pp.640-645
• /
• 2014

인터넷 상에서 많은 사람들은 사용자 간의 의사소통과 정보 공유, 사회적 관계를 생성하기 위한 방법으로 소셜 네트워크 서비스를 이용한다. 그 중 대표적인 트위터는 하루에 수백만 건의 소셜 데이터가 발생하기 때문에 수집되고 있는 데이터의 양이 엄청나다. 이 방대한 양의 데이터로부터 의미 있는 정보를 추출하는 소셜 마이닝이 집중적으로 연구되고 있다. 트위터는 일반적으로 유용한 정보 혹은 공유하고자 하는 내용을 팔로잉-팔로워 관계를 이용해 쉽게 전달하고 리트윗할 수 있다. 소셜 미디어에서 트윗 데이터에 대한 토픽 모델링은 이슈를 추적하기 위한 좋은 도구이다. 짧은 텍스트 기반인 트윗 데이터의 제한점을 극복하기 위해, 사용자를 노드로 사용자간 댓글과 리트윗 메시지의 여부를 간선으로 하는 그래프 구조를 갖는 댓글 그래프의 개념을 소개한다. 토픽 모델링의 대표적인 방법인 LDA 토픽 모델이 짧은 텍스트 데이터에 대해 비효율적인 것을 보완하기 위한 방법으로, 이 논문에서는 짧은 문서의 수를 줄이고 마이닝 결과의 질을 향상시키기 위한 댓글 그래프를 사용하는 토픽 모델링 방법을 소개한다. 제안한 모델은 토픽 모델링 방법으로 LDA 모델을 사용하였으며, 7일간 수집한 트윗 데이터에 대한 실험 결과를 보인다.

• 한국정보처리학회논문지
• /
• 제4권7호
• /
• pp.1821-1841
• /
• 1997

본 논문은 형식 기술 기법 중의 하나인 LOTOS 명세로부터 적합성 시험 시퀀스를 자동 생성하는 방법을 기술한다. 전체적인 시스템 구현을 위해 현재까지 연구된 여러가지 알고리즘들을 응용하여 적용하였고, 또 Rural Chinese Postman tour 개념을 개선한 후 적용하였다. 통신 프로토콜에 대한 LOTOS 명세로부터 CAESAR 도구의 Petri-net을 통한 시뮬레이션 기능을 이용하여 해당상태 천이 그래프를 생성하고, 얻어진 상태 천이 그래프에 대해 적합성 시험 시퀀스를 생성하기 위해 주어진 그래프의 각 상태에 대한 유일한 시퀀스인 UE sequence(Unique Event sequence)를 정의하였다. 또한 이러한 UE 시퀀스가 존재하지 않는 상태에 대해서는 부분 UE sequence(Partial UE sequence) 및 signature를 정의하였고, 또 이러한 특성 시퀀스에 대한 경험적 연구 결과를 정리하였다. 한편, 최적의 시험 시퀀스 생성을 위해 얻어진 특성 시퀀스들을 Rural Chinese Postman tour 개념에 적용하는 방법론에 대해서도 제시하였다. 또 생성된 적합성 시험 시퀀스의 오류 판단 영역 예측 방법 및 과정과 결과에 대해서도 기술하였고, 얻어진 시험 시퀀스를 표준 시험 표준기법인 TTCN으로의 변화 방법론도 제시하였다. 마지막으로 제안된 생성방법론에 대한 프로토타입은 실제 통신 프로토콜에 적용하기 위해 실질적인 많은 부분을 고려하면서 실행시험 스우트 생성을 위해 구현되었고, 이 프로토타입은 지능망이나 PCS 또는 ATM 프로토콜을 위한 적합성 시험 목적으로 사용될 수 있다.

• 대한수학교육학회지:수학교육학연구
• /
• 제15권4호
• /
• pp.419-444
• /
• 2005

본 연구에서는 먼저 수학과 과학의 연결성을 고려한 수학학습에 관한 선행연구를 고찰한 후에, 중 고등학교 수학과 과학의 통합교육의 필요성을 제 7차 수학과 교육과정 개정의 배경과 수학과의 목표 측면에서 논의하였다. 또한 외국의 통합교육 사례를 살펴보고 이에 근간하여 수학과 과학의 통합교육 유형, 수학과 과학의 간교과형 통합교육 방법을 논의하였다. 문헌연구에 기반을 두고 수학과 과학에서 공통이 되는 개념, 원리, 기능을 중심으로 한 간교과형 통합교육 방법을 위한 교수-학습 자료를 개발하여 이를 수학 시간에 활용할 것을 권하였다. 그 후에 수학과 과학의 간교과형 통합교육을 위한 교수-학습 자료를 개발하고 이를 연구도구로 활용하여 사례연구를 하였다. 사례연구 결과, 학생들은 등속운동을 탐구하면서 일차함수가 발생되는 과정을 이해하고, 시간과 속도_. 시간과 이동거리의 관계식과 그래프를 개발하고, 이 식과 그래프를 연결하여 기울기의 실제적인 의미를 해석할 수 있었다.

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

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

• 한국산업정보학회논문지
• /
• 제8권1호
• /
• pp.112-120
• /
• 2003

본 논문에서는 웹 환경에서 객체 데이타베이스를 위한 그래픽 질의어인 OGQL(Odysseus Graphical Query language)의 설계 및 구현에 대하여 논하였다. OGQL은 객체 질의어에 포함된 객체 개념을 간단한 시각적 도구로 표현함으로써 사용자에게 편리한 질의 환경을 제공한다. 특히, OGQL에서는 클래스 계층구조(class composition hierarchy) 상에서 질의 조건을 표시하는데 널리 사용되는 순환(cycle)을 가진 경로식(path expression)을 그래프 형태의 직관적인 표현 방식으로 시각화하고 있다. 순환을 가진 질의의 시각적 표현은 복잡한 이유로 대부분의 그래픽 질의에서 다루지 않고 있다. 또한, 클래스 간의 상속(inheritance)과 같은 객체 질의어의 고유 특성도 시각적으로 표현하고 있다. OGQL은 JDBC를 이용한 자바응용 프로그램이므로 웹 환경에서 원격지 데이터베이스에 접근이 용이하고, 컴퓨터 시스템 플랫폼에 독립적이라는 장점도 가진다.