• 한국과학교육학회지
• /
• 제24권5호
• /
• pp.851-868
• /
• 2004

본 연구는 과학영재들의 생물교육을 위한 웹기반 STS학습 프로그램을 개발하는데 목적을 두었다. 연구방법은 다음과 같은 일련의 단계를 따라 실시하였다. 첫 번째 단계에서는 수업모형의 내용구축을 위한 선행 요소로써 과학 영재들의 요구 분석, STS학습의 목표분석, 생물교과의 목표를 분석하였다. 두 번째 단계에서는 과학영재를 위한 웹기반 STS 수업모형의 구성요소를 확정하고, 수업모형의 단계를 구성하였다. 세 번째 단계에서는 두 번째 단계를 통하여 구축된 내용과 모형의 학습단계에 따라 웹프로그램 언어인 Frontpage, 나모웹에디터, Dreamweaver, Hotdog등을 사용하여 웹상에서 운용되는 STS 수업모형을 개발하였다. 이때 시스템 전문가 1인, 프로그래밍 전문가 2인, 교과 전문가 3인이 참여하였고, 구현 가능성은 전문가 10인에게 설문조사한 후 최종 결정하였다. 네 번째 단계는 완성된 수업모형을 전문가를 통하여 타당성 평가를 의뢰하였으며, 과학영재들에게도 수업모형에 대한 평가를 하도록 하였다. 단, 과학영재를 통한 평가는 수업모형 수행 이후에 얻어진 것이다. 다섯 번째 단계에서는 확정된 프로그램을 J과학고 예비 입학생 6명에게 실시함으로서, 수업모형의 내용 보완 및 오류 수정 등의 절차를 거쳐 최종 수업모형을 확정하였다. 본 프로그램의 특성은 첫째, 본 연구에서 개발한 웹기반 STS 수업모형은 기존의 STS 교육방법이나 학습프로그램과는 달리 학생들이 보다 능동적인 참여자로써 임할수 있는 모형이다. 기본적인 학습단계는 학생 주도적인 과제선정-탐색-개념원리 점검-해결안 제시-실행으로 기존 모형들과의 차이점은 '개념원리 점검 단계'에서 찾을수 있다. 둘째, 본 연구에서 개발한 STS 수업모형은 Renzulli의 심화학습3단계 모형과 lCP의 모형을 기본토대로서 활용하여 학습자의 능동적 참여를 강조하는 학습자 중심의 모형이다. 학습자 스스로 무엇을 배울 것인가를 정하게 하고 구체적인 연구계획서를 작성하게 하여, 과학적인 접근법으로 자신의 과제를 해결할 수 있도록 지원하는 학습자 주체의 능동성을 고려하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권4호
• /
• pp.282-296
• /
• 2010

OWL 온톨로지는 실세계의 도메인 지식을 모델링 하는데 적합하다. 또한 명백하게 정의된 지식으로부터 암시적인 새로운 지식을 추론할 수 있다. 하지만 이 모델링된 지식은 완전할 수 없다. 사람이 가지고 있는 모든 상식을 모델링 할 수 없기 때문이다. 온톨로지는 완전한 지식표현을 위한 무결성 제약조건과 예외 처리와 같은 비단조 추론을 지원할 방법이 없다. 디폴트 규칙은 온톨로지 안의 특정 클래스에 대한 예외를 처리할 수 있다. 또한 무결성 제약은 온톨로지에 정의된 클래스의 제한조건(restriction)에 인스턴스가 일관되게 할 수 있다. 본 논문에서는 Open World Assumption(OWA) 기반의 온톨로지와 Closed World Assumption(CWA) 기반의 비단조 추론을 지원하는 규칙의 지식베이스를 통합하여 Open World 와 Closed World 추론을 모두 지원하는 실질적인 추론 시스템을 제안한다. 이 시스템은 온톨로지에 정의된 불완전한 개념을 다룰 때 OWA기반이라서 발생하는 문제점을 ASP(Answer Set Programming)를 사용하여 해결방안을 제안한다. ASP는 논리 프로그래밍 언어로써 비단조 추론을 허용하며, 서술 논리 지식베이스에 CWA 기반의 질의를 가능하게 한다. 제안하는 시스템은 Protege에서 제공하는 Pizza 온톨로지를 예로써 비단조 추론이 필요한 경우를 보이고, 잘 알려진 온톨로지들로 성능 평가하여 본 시스템의 정당(sound)하고 완전(complete)함을 증명한다.

• 한국컴퓨터정보학회논문지
• /
• 제19권1호
• /
• pp.191-201
• /
• 2014

본 연구에서는 퍼즐 기반 학습에서 이루어지는 초등정보영재의 컴퓨팅적 문제 해결 접근법을 분석함으로써 퍼즐 기반 학습의 체계적 개선을 위한 시사점을 도출하고자 하였다. 이를 위해, 제약조건, 최적화, 확률, 통계, 패턴인식, 전략의 6가지 유형별 교육용 퍼즐을 구성하고 초등정보영재를 대상으로 퍼즐 기반 학습을 수행하였다. 또한 각 퍼즐 유형에 따른 학습자의 문제 해결 접근법을 확인하기 위해 사전 사후검사 결과의 정답률 및 정답자와 오답자의 문제 해결 접근법을 비교 분석하였다. 연구 결과, 각 퍼즐 유형별 빈번한 오류 발생의 원인인 몇 가지 양식 오류와 다양한 직관들을 확인하였으며, 오답자들은 '백트래킹', '동적 프로그래밍', '추상화', '모델링', '문제 축소'와 같은 컴퓨팅적 전략을 적용하지 못함으로 인해 완전한 해법에 도달하지 못한다는 것을 확인하였다. 이러한 분석 결과를 토대로 퍼즐 문제 표현 방식의 개선, 인지적 피드백의 적시 제공, 퍼즐 기반 학습 지원을 위한 웹 기반 시스템 개발 등 퍼즐 기반 학습 개선 방안을 제안하였다.

• 한국컴퓨터산업학회논문지
• /
• 제3권8호
• /
• pp.963-980
• /
• 2002

소프트웨어 재공학은 기존 시스템의 유지보수 문제에 대한 해결책으로 많은 연구가 이루어 지고 있다. 재공학은 역공학과 순공학을 이용하여 기존 시스템에 대한 이해와 새로운 시스템의 개발을 의미하며 기존 시스템에서의 컴퍼넌트들로부터 필요한 기능을 가져와 재구성 하는 것이다. 본 논문에서는 기존의 프로시져 언어에 의해 컴파일된 바이너리 코드를 입력으로 받아서 웹 기반 자바 바이트 코드로 변환한다. 즉 바이너리-바이너리 단계에서 수행되는 소프트웨어 시스템을 제안한다. 이를 위해 먼저 Pascal-L 에 의해 작성된 기존의 프로그램 언어를 Jasmin 이라는 어셈블리 코드로 먼저 번역하고 사용자 읽기 가능한 자바 바이트 코드 상태인 Jasmin 어셈블리가 실제 자바 코드로 변환된다. 이 시스템은 결국 기존의 원시코드가 번역기를 통해 실행 가능한 바이너리 코드 형식으로 실행된다. 이 번역과정은 먼저 주어진 바이너리코드에서 언어구조를 식별하는 과정과 변수 객체의 위치를 분석하고 초기화 하는 과정 그리고 주어진 바이너리 코드를 Jasmin 코드로의 매핑하는 단계등으로 구성된다.

• 한국통신학회논문지
• /
• 제31권7A호
• /
• pp.649-658
• /
• 2006

최근 소프트웨어 개발은 client/server 시스템이나 웹 프로그래밍, 객체지향 개발, 네트워크 환경에 의한 분산개발 등 새로운 개발 형태로써 다양하게 적용되고 있다. 한편 소프트웨어 분산 개발에 대한 기술도 관심이 되고 있으며, 객체지향 개념이 확대되고 있다. 이러한 기술에 의한 개발 작업량의 대폭 삭감이나 소프트웨어 품질 및 생산 개선의 효과가 점차 증대되어 가는 추세로 향후 광범위한 분야에 분산된 다수의 워크스테이션에 의해 병행되어 개발된 객체(object)를 이용한 분산개발의 발전에 대해 고찰한다. 본 논문에서는 이러한 분산 소프트웨어 개발환경을 대상으로 확률미분방정식 모델에 의한 소프트웨어 최척 배포문제를 논한다. 과거에는 소프트웨어 개발 프로세스에 의한 출하 품질의 파악이나 시험 진도관리에 의한 신뢰성 평가를 행하는 접근방법(approach)에 의해 소프트웨어의 고장 발생 현상을 불확정 사상에 의해 확률, 통계적으로 취급하는 방법을 적용하였으나 본고에서는 fault 발견과정에서 계수에 의해 취급되는 비동차포아송과정(NHIPP: Non-Homogeneous Poisson Process) 에 의한 SRGM과 fault 발견 과정을 연속적으로 변동하는 확률 과정의 모델화된 확률 미분방정식 (SDE: stochastic differential equation)에 의한 SRGM을 제안하여 최적의 배포시기를 결정한다. 여기서 시험단계 및 운용단계에 발생하는 비용 요인으로부터 도출된 총 소프트웨어 비용을 최소로 하는 시험시간인 최적 배포시기를 구한다. 특히, 총 소프트웨어 비용의 확률분포를 고려하여 최적 배포시기의 신뢰 한계도 논한다.