• 대한수학교육학회지:수학교육학연구
• /
• 제27권2호
• /
• pp.191-205
• /
• 2017

본 연구는 서울의 C중학교 1학년 학생들이 기하 증명 문제를 해결하는 과정에서 보여주는 증명스키마 유형과 그 특징을 조사한 것이다. 자료 분석은 Harel, & Sowder의 증명스키마 유형에 기초하여 이루어졌다. 연구 결과, 학업성취수준에 따라 학생들이 사용하는 증명스키마 유형에 차이가 있었다. 상위권에서 하위권으로 갈수록 변형적 증명스키마를 사용하는 학생의 비율이 감소하였고 귀납적(측정) 증명스키마를 사용하는 학생의 비율은 증가하였다. 또한 증명과정에서 비형식적인 부호 사용하기, 문제에서 주어진 그림 특정 비율로 인식하기 등 각 증명스키마 유형마다 고유한 특징이 나타났다. 이를 바탕으로 4개의 의미 있는 결론을 추출하였고, 이것이 증명 교수 학습에 주는 시사점을 논의하였다.

• 한국학교수학회논문집
• /
• 제8권1호
• /
• pp.101-116
• /
• 2005

본 연구는 설문지를 통한 조사 연구와 수업 관찰을 통하여 증명에 대한 수학 교사들의 전반적인 인식과 증명 표현 양식 및 증명 능력을 조사하고, 교사가 가지고 있는 증명 스키마에 따른 증명 지도 방법의 특징을 살펴보았다. 연구 결과 교사들은 증명을 주로 연역으로만 인식하고 형식적 증명을 선호하는 경향을 가지고 있었다. 또한 학교수학에서 증명의 중요성은 인정하나 지도 방법에 대한 이해는 부족했으며 증명에 대한 지식 역시 교과서 의존도가 높았다. 한편 수학 교사들의 증명 스키마는 증명 지도 방법을 결정하는 중요한 요인으로 드러났다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 1998년도 추계학술발표논문집
• /
• pp.118-123
• /
• 1998

정형방법들은 명세와 설계 문제들에서 모호성, 불완전성, 그리고 불일치성을 보다 쉽게 발견하고 수정하기 위해 사용된다. Z 저형 명세 언어를 객체 지향 패러다임으로 기술하기 위하여, 클래스 기술에 대한 명확한 정의가 필요하다. 그리고 이를 증명할 수 있는 프로토타입이 필수적이다. Z 스키마의 숨김 연산자와 그의 확장인 논리 한정 연산자와 투사 연산자를 이용하여 클래스의 원리를 가지는 클래스 스키마를 유도하여 정의한다. 유도된 클래스 스키마가 상속성, 다형성, 캡슐화 등의 객체 지향 원리를 가지는가에 대한 증명하기 위한 프로토타입을 설계한다.

• 인지과학
• /
• 제1권2호
• /
• pp.347-360
• /
• 1989

Knowledge의 믿음이 추론 모형은 기존의 모형들이 갖고 있는 단점들을 해결하였으나,단순한 믿음에 대해서만 증명 기법을 제시하고 있고,여러가지 추론 규칙 스키마가 존재한느 믿음과 지식 시스템에 대해서는 증명 기법을 제시하고 있지 않다. 따라서 본 논문에서는 여러가지 추론 규칙 스키마가 존재하는 지식과 믿음의 통일된 증명 기법을 제시하였으며,이의 정당성과 완전성을 증명하였다.이 증명 기법은 과거의 기능체계 모형으로는 표현할수 없는 추론 규칙 스키마들까지도 처리가 가능하다. 또한,이 증명 기법을 사용하는 정리 증명 시스템을 구현함으로써 이의 실용성과 유용성을 보였다.

• 대한수학교육학회지:수학교육학연구
• /
• 제18권1호
• /
• pp.123-135
• /
• 2008

본 연구에서는 고등학교 과정에서 다루어지는 수학적 귀납법 증명의 대표적인 예제들을 이해하고 증명하는데 필요한 스키마를 분석하고, 그에 대한 학생들의 구성 여부를 조사하였다. 함수 스키마와 명제치 함수 스키마의 구성은 함의치 함수 스키마와 긍정 논리식 스키마의 구성에 선행하며 함의치 함수 스키마와 긍정 논리식 스키마는 수학적 귀납법 스키마를 위해 통합적으로 조절되어야 한다는 점도 확인하였다. 이를 바탕으로 하여 수학적 귀납법에 대한 학생들의 이해 수준은 $1{\sim}4$ 수준으로 설정될 수 있었다. 또한 이러한 이해 수준과 관련하여 수학적 귀납법을 학습하면서 겪는 학생들의 인지적 어려움이 분석되었다.

• 정보관리학회지
• /
• 제31권2호
• /
• pp.41-56
• /
• 2014

최근 연구데이터가 국가자산이라는 인식의 확산으로 원시데이터 관리 및 재사용의 필요성이 이슈이다. 본 연구에서는 데이터의 체계적인 관리를 위해, 스키마 클래스를 상속하는 방식의 메타데이터 설계 모델과 상속을 통해 생성된 스키마 객체들을 대상으로 메타데이터 통합 검색 모델을 제안하였다. 스키마 클래스를 상속한 스키마 객체가 데이터 컬렉션에 1대1의 관계를 갖도록 데이터 아키텍처를 설계하였으며, 제안된 모델의 검증을 위해서 가상 스키마 클래스 및 객체가 시스템적으로 구현 가능함을 증명하였다. 본 연구에서 제안하는 스키마 클래스 상속 및 통합검색 모델은 일반적으로 사용되는 '하향식 계층 모델'의 단점을 극복하는 모델로서, 정부 기관에서 생산되는 데이터를 독립적으로 관리하는데 활용될 수 있다고 사료된다.

• 한국정보과학회논문지:데이타베이스
• /
• 제31권5호
• /
• pp.445-456
• /
• 2004

데이타베이스 스키마는 모델링 되는 환경이 변화할 때에도 여전히 유효한 상태로 남을 만큼 안정적이라고 가정되어 왔다. 그러나 실제로는, 데이타 모델은 데이타베이스 설계자들이 공통으로 가정하는 만큼 안정적이지 않다. 현재 데이타베이스 시스템에서 풍부한 스키마 변화 연산들이 제공되지만은 사용자들은 스키마 변화가 스키마에 쓰여진 기존의 응용 프로그램에 영향을 미치는 문제로 곤란을 겪어왔다. 이 논문은 응용 프로그램에 영향을 주는 문제를 탐구한다. 옛 스키마에 기존의 프로그램을 지속적으로 지원하기 위하여 옛 스키마가 이전처럼 변경과 질의를 계속 허락해야 한다. 더 나아가, 관련 데이타는 최신상태로 유지되어야 한다 이것을 스키마 변화 도구의 프로그램 독립 성질이라 부른다. 이 성질을 달성하기 위하여, 이 논문은 프로그램 독립적인 스키마 진화 (Program Independency Schema Evolution: PISE) 방법론을 제안한다. 더 나아가, 각각의 관계형 스키마의 변화 연산들에 대하여 PISE 방법론에 기초한 구현 알고리즘을 도식적으로 설명함으로써 PISE 방법론의 포괄성과 견고성을 증명한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 Ⅲ
• /
• pp.1511-1514
• /
• 2003

본 논문에서는 지능형 방송에서 내용 기반 검색 서비스에 관해 연구하였다. 이를 통해 MPEG-7 오디오/비주얼 서술자들을 이용하여 TVAF 메타데이타와 메타데이타 전송 서비스 스키마를 확장하였다. 그리고 MPEG-7 오디오 서술자를 이용한 내용 기반 검색 시 나리에 제안된 스키마를 적용하여 효용성을 증명하였다.

• 정보처리학회논문지B
• /
• 제9B권1호
• /
• pp.23-28
• /
• 2002

지능형 에이전트를 구현하는데 있어서 하나의 근본적인 문제는 에이전트가 자신의 인식이나 행동의 의미를 이해하지 못한다는 점이다. 에이전트가 세계를 이해하지 못하는 이유중의 하나는 의미론적 자질을 단순한 문자열로 변환시키는 구문론적 접근방법에서 야기한다. 이 문제를 해결하기 위해 코헨은 에이전트가 자율적으로 자신의 센서와 행동자를 사용하여 환경과 상호작용 함으로써 고급 개념의 기초가 되는 물리적 스키마를 배우는 의미론적 방법을 소개한다. 하지만 코헨은 스키마를 이해하는 것을 가능하게 해주는 상위 계층의 개념소자는 다루지 않는다. 본 논문에서는 부정은 물리적 스키마의 인식을 가능하게 해주는 메타 스키마라는 제안을 하고 부정의 몇 가지 의미론적 양상들을 증명한다.

• 한국정보과학회논문지:데이타베이스
• /
• 제28권2호
• /
• pp.131-139
• /
• 2001

데이터 변환은 데이터 재사용, 데이터 교환 및 통합 등에 사용되는 중요한 기술이다. 본 논문에서는 객체지향 데이터베이스를 유효한 XML 문서들로 변환시키는 두 가지 알고리즘을 제시한다. 먼저 객체지향 데이터베이스의 스키마, 객체지향 데이터베이스, DTD 그리고 XML 문서를 정의한 뒤 두 가지 알고리즘, 즉 객체지향 데이터베이스의 스키마를 DTD로 변환시키는 알고리즘과 객체지향 데이터베이스를 XML 문서들로 변환시키는 알고리즘을 제시한다. 그리고 제시한 두 가지 알고리즘의 결과는 항상 잘 구성된 XML 문서들이고 유효한 XML 문서들임을 증명한다. 잘 구성된 XML 문서는 XML문서가 갖추어야 하는 필수 조건이므로 반드시 필요하다. 또한 유효성은 유효한 XML 문서들을 필요로 하는 XML 응용에 유효한 XML 문서를 제공할 수 있도록 한다.