• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1999년도 춘계종합학술대회
• /
• pp.179-184
• /
• 1999

디지털 시스템을 설계하고 분석할 때, 번지버스와 데이터버스 및 각종 제어 신호들을 타이밍도로 표현하는 경우가 많다. 그러나 디지털 시스템의 동작이 타이밍도로 표현되는 경우, 그 표현이 복잡할 뿐 아니라 동작 분석이 용이하지 못하다. 본 연구에서는 시스템의 타이밍도를 확장된 마크흐름선도(EMFG; Extended Mark flow Graph)로 표현하는 방법을 제안하였다. 시스템의 동작이 EMFG로 표현되는 경우, 각종 신호들에 따라 변화하는 시스템의 상태가 도식적으로 표현되므로 시스템의 동작 분석이 용이해질 뿐 아니라 시스템의 설계에도 유용하게 이용 될 수 있다. 적용 예로 NEC사의 $\mu$PD70320 CPU의 메모리 읽기 사이클 및 MCM60256A의 메모리 동작을 EMFG로 표현하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.565-567
• /
• 2001

원자력 발전 및 항공 시스템과 같은 실시간 시스템의 설계는 자원 및 시간적인 분석은 상당히 중요한 부분을 차지하고 있다. 이러한 설계는 그 설계단계로부터 철저한 명세 및 집중이 이루어져야 한다. Statechart는 Reactive 시스템을 모델링 하는 도식언어이다. 하지만 기존 Statechart 언어는 자원에 대한 시간적 명세가 분명치 않아 상태로 모든 것을 표현하기에는 복잡하고 용이하지 않다. 또만 이러한 명세 도구는 시스템의 검증은 물론 시간적 행위의 검증은 수월치 한다. 본 논문은 Statechart에 시간을 소모하는 자원을 명세하는 문법을 소개하고 이를 검증하는 기법을 제시하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.535-537
• /
• 2003

본 논문에서는 웹 문서들이 가지는 용어 정보들과 어휘들의 의미구조를 계층적 형태로 표현한 온틀로지 기반 자동 문서분류 방법을 제안한다. 문서 분류는 문서들을 가장 잘 표현할 수 있는 자질들을 점하고 이러한 자질들을 통해 미리 정의된 2개 이상의 카테고리에 문서의 내용을 파악하여 가장 관련이 있는 카테고리로 할당하는 것이다. 본 논문에서는 웹 문서에서 추출한 용어 정보들의 유사도와 온톨로지 카테고리의 유사도를 계산하여 웹 문서를 분류하며, 문서 분류를 위한 실험데이터나 학습과정 없이 바로 실시간으로 문서분류가 이루어지며, 결과적으로 문서들이 가지는 고유한 의미와 관계의 식별을 통하여 보다 더 정확하게 문서분류를 가능하게 해준다.

• 고전문학과교육
• /
• 제15호
• /
• pp.139-161
• /
• 2008

This study examined the texts of the Late Joseon Dynasty's YEONJEONG GASA, whose authors are unknown, to list the contents of education which can be provided by conventional elements. Most existing discussions on expression education have focused on creativity. However, the perspective creativity based on the concepts of modern individualism and difference believes that creation can be done only by special professionals with inborn abilities and is likely to jeopardize the possibility and need of expression education to reduce the scope of expression education. On the other hand, conventionality has been related to "cliche" and "old-fashioned" and considered the counterpoint of creativity with lacking originality and aesthetical or educational valuelessness. Nevertheless, conventionality is valuable as cultural custom in that it is closely related to the contemporary culture, thoughts, and language. Also, it is the power that creates new text and induces sympathy in receivers. The Late Joseon Dynasty's YEONJEONG GASA by unknown authors include typicality of circumstances, schematism of emotion, and formula in conventionality. The positive aspects of conventionality - familiarity and intimacy - are the basis of sympathy and become the power that encourages the public to participate in creation and enjoyment within the frame of creativity. Ultimately, conventionality of YEONJEONG GASA allows learners to experience the pleasure of expression and has an important meaning for expression education as it provides them with the opportunity to perform expressions to extend sympathy.

• 한국도서관정보학회지
• /
• 제44권4호
• /
• pp.177-207
• /
• 2013

이 연구는 그림책과 이야기 구조도식을 활용한 학교도서관 프로그램을 구성하여 초등학교 1학년생들에게 실시함으로써 그 효과를 분석하는 것을 목적으로 수행되었다. 경기도의 한 초등학교에서 1학년생 28명이 학교도서관 프로그램에 참여하여 11주 동안 총 20권의 그림책을 읽고 이야기 구조도식을 활용하여 책에 대한 반응을 나타내었다. 프로그램 시행 전후에 참여 아동의 문해능력과 도서 대출 빈도의 변화를 살펴보았고, 참여 아동의 어머니들과 프로그램 진행자들을 대상으로 만족도를 평가하였다. 이 프로그램에 참여한 아동들의 읽기이해력과 쓰기 유창성 및 글의 형식, 조직, 표현, 내용, 주제 면에서의 쓰기능력이 유의하게 향상되었다. 또한 프로그램 참여 이전에 비해 이들이 학교도서관에서 책을 대출하는 빈도가 유의하게 증가하였다. 마지막으로, 참여아동의 어머니들은 아동의 읽기능력과 읽기태도가 향상되고 아동 도서와 도서관에 대한 어머니 자신의 관심이 증가하였다는 점에서 매우 높은 만족도를 보였으며, 프로그램을 진행한 대학생 멘토들은 이 프로그램이 자신들에게도 긍정적인 영향을 주었다고 응답하였다.

• 대한수학교육학회지:학교수학
• /
• 제5권3호
• /
• pp.361-384
• /
• 2003

본 연구는 연립일차방정식에 관한 문장제에서 IDEAL 문제 해결 모형을 바탕으로 "구조-표현"을 강조한 교수-학습을 실시하였을 때 학생들의 문제해결 과정을 탐구하였다. 연구 결과, 구조-표현을 강조한 학급의 학생들이 이를 강조하지 않은 학급의 학생들보다 문제해결 능력이 향상되었으며, 동치문제, 동형문제, 유사문제를 더 정확하게 구별하였다. 또한, 구조-표현을 강조한 학급의 학생들이 그렇지 않은 학급의 학생들보다 문맥에 대한 이해 및 불완전한 정보 추출에서의 오류, 미지수간의 내적 관계에 대한 수학적 기호표현으로의 불완전한 전이 오류, 적절하지 않은 방정식 생성 오류의 발생 빈도가 적었다. 그리고, IDEAL 문제 해결 모형의 문제의 확인 단계(I)와 문제의 정의 단계(D)에서 학생들이 문제 해결 계획을 수립하기 위해 문제를 읽고 이해하여 문제를 해결하는 과정을 중점적으로 분석한 결과, 직접 변환 모델과 구조 도식 모델이 나타났다.

• 한국산업정보학회논문지
• /
• 제17권4호
• /
• pp.87-97
• /
• 2012

지식지도는 지식 간의 상호 연관성을 기초로 전체적인 지식의 현황을 보여주는 도식으로, 상황에 따라 다양하게 해석 및 적용될 수 있는 지식의 특성을 보다 형식화되고 정형화된 방식으로 표현하기 위해 온톨로지 기술의 적용이 필요하다. 본 연구는 지식 네트워크에 나타나는 지식 간 상호참조적 네비게이션이 가능하도록 온톨로지 기술을 기반으로 지식지도를 정의하고 표현하는 방법론을 제시한다. 제시된 방법론의 타당성을 검증하기 위하여, 온톨로지 모델링 도구인 Protege-OWL을 이용하여 실제 지식지도를 모델링하고, 몇 가지 예제를 통해 구현된 온톨로지 기반 지식지도가 실제로 지식 간의 상호참조적 네비게이션을 반영하는 지식네트워크를 구성하는지 알아본다.

• 대한수학교육학회지:학교수학
• /
• 제11권3호
• /
• pp.351-368
• /
• 2009

본 연구는 일 년간 행해진 두 명의 중학교 1학년 학생들과의 교육실험 자료로부터 '경우의 수'를 다룬 문제를 푸는 과정에서 어떻게 두 학생들이 자신들의 곱셈 추론양식을 수정, 변경해 나가며, 표현된 기호들과 상호작용을 해 나가는 지 보여주고 있다. Damon은 그의 곱셈적 추론방식을 수정하여 순환적 곱셈 추론의 구성단계에 있으며, Carol은 여전히 이원적 곱셈 추론 도식에 머물러 있는 것으로 보여 졌다. 이 연구는, 학생들이 그들 자신이 구성한 또는 교사에 의해 제시된 기호들을 다루는 과정에서 두 학생들이 겪는 어려움을 통해, 교사의 관점에서 잘 구성된 기호양식이라 하더라도, 그것이 반드시 학생들의 수학적 능력향상으로 연결되지 않을 수도 있음을 보여주고 있다.

• 한국언론정보학보
• /
• 제32권
• /
• pp.333-367
• /
• 2006

본 연구에서는 한국 광고에 있어서의 표현의 자유는 어느 정도 허용되는지를 살펴보고자 반 알스타인의 도식적 묘사를 통하여 광고관련 판례를 분석하였다. 즉, 광고를 표현의 일종으로 고려하는 경우 헌법적 보호를 받는 여타 다른 표현들에 비해서 어느 정도 보호를 받는가를 도식적으로 살펴보고자 하였다. 본 연구에서는 분석을 통해서 기존 연구들이 발견한 사항에 대한 결과와 유사한 결과 이외에 몇 가지 사안이 추가적으로 발견되었다. 첫째, 2002년 이후의 일반적인 출판물에 의한 명예훼손 판례는 문제가 된 내용의 대상이나 또는 소송을 제기한 사람이 누구인가에 대해 고려하여 만일 제소자가 공직자 또는 명백한 공적 인물의 경우에는 언론이 좀 더 자유롭게 보도하도록 판단하는 경향을 보이고 있는데 반해 광고에서의 명예훼손의 경우에는 이러한 점에 대한 이해가 아직 나타나고 있지 않다. 둘째, 기업과 관련된 판례의 경우 일반적 판결의 경우에는 기업의 성격을 고려하여 공익성의 정도를 판단하는 반면 광고와 관련된 판례의 경우에는 아무런 고려가 없다. 셋째, 비록 광고를 언론의 자유의 영역에서 헌법적 보호를 받는다는 측면에서는 이견이 없는 것으로 보이지만 헌법적 보호 대상으로서의 표현과 개인적 인격권과의 적절한 비교형량이 이루어지고 있는가에 대해서는 불확실하다. 결과적으로 알스타인의 도식적 측면에서 한국의 광고를 살펴보면 광고에 대한 표현으로서의 헌법적 보호는 명예훼손적 표현에 대한 보호의 정도보다 낮은 정도로 나타나 미국에서의 경우와 다르지 않은 것으로 보인다. 즉, 광고에 대한 보호의 정도는 위법적 표현(예를 들어 타인에게 협박을 하는 행위)이나 음란한 표현보다는 더 높게 인식하고 있으나 일반적인 명예훼손적 표현보다는 광고에 대한 보호의 정도가 낮다고 하겠다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (C)
• /
• pp.526-529
• /
• 2007

산업자동화, 임베디드시스템, 지능형 빌딩, 유비쿼터스 환경 구축 등의 다양한 분야에 활용되는 PLC나 모션제어기를 위한 표준안은 IEC 61131-3이다. 이 표준안은 제어기를 위한 프로그래밍 환경과 언어의 문법구조를 정의하고 있으나, 도식적으로 표현되는 LD 프로그램의 저장 형식이 제시되지 않아서 관련 소프트웨어마다 서로 다른 저장 형식을 사용한다. PLCopen 그룹에서 배포한 표준 저장 형식 XML 스키마를 사용하면 데이터의 교환과 연동 언어들의 호환이 가능하다. 본 논문은 표준 XML 스키마를 기반하는 LD 그래픽편집기를 구현한다. 구현 형태는 Eclipse 플러그인으로서, Eclipse 도구인 EMF와 GEF를 이용하였다.