• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.1449-1454
• /
• 2003

For many industrial processes there are good static models used for process design and steady state operation. By using system identification techniques, it is possible to obtain black-box models with reasonable complexity that describe the system well in specific operating conditions [1]. But black-box models using inductive modeling(IM) is not suitable for model based control because they are only valid for specific operating conditions. Thus we need to use deductive modeling(DM) for a wide operating range. Furthermore, deductive modeling is several merits: First, the model is possible to be modularized. Second, we can increase and decrease the model complexity. Finally, we are able to use model for plant design. Power plant must be able to operate well at dramatic load change and consider safety and efficiency. This paper proposes a simplified nonlinear model of an industrial boiler, one of component parts of a power plant, by DM method and applies optimal control to the model.

• 한국과학교육학회지
• /
• 제12권1호
• /
• pp.35-46
• /
• 1992

The purpose of this study was to investigate the most effective teaching model in the study of boiling point elevation. The teaching models were classified into three group-deductive, inductive and analogical teaching models. Learning materials, based on three teaching models respectively, were applied to 11th grade students, and the effect of teaching models were investigated and analyzed. The average achievement score(4.24) of the group treated with the analogical teaching model was higher than those(3.06 respectively) of each group treated with inductive or deductive teaching model(p<0.001). Most students answered that the analogical teaching model was helpful and interesting one for the comprehension of scientific concept.

• 정보처리학회논문지D
• /
• 제9D권6호
• /
• pp.991-998
• /
• 2002

본 논문에서는 XML 데이터와 같은 비구조적인 데이터 처리와 추론을 필요로 하는 의미 웹(semantic web) 구축에 유리한 연역 객체 지향 데이터베이스(Deductive and Object-oriented Database) 언어구현을 통해 XML 데이터 처리에 대해 알아본다. 대량 문서 관리와 데이터 교환에 가장 유용한 마크업 언어로 알려진 XML을 이용하여 XML 데이터 모델을 연역객체지향 데이터베이스 모델로 바꾸는 방법에 대해 알아본 다음 이 연역객체 지향 데이터베이스를 다시 Connection Graph로 바꾸고 Connection Graph Resolution을 이용하여 어떻게 질의에 답할 수 있는지를 기술한다. 또한 데이터베이스 내의 계층 지식을 이용하여 효율적이면서도 같은 답을 주는 질의로 바꾸는 방법을 제시하고 이 방법이 효율적이며 논리적으로 타당하다는 점을 증명한다.

• 정보처리학회논문지D
• /
• 제9D권2호
• /
• pp.243-250
• /
• 2002

In order to properly interpret and process or operators in deductive databases including indefinite clauses, we propose to use Lasez′s Strong Model Semantics(LSMS) which is reasonably simple yet powerful enough to support both exclusive and inclusive interpretations. Conventional semantics either fail to support both interpretations or simply too complex. Therefore, in this paper we study advantages and difficulties of representing indefinite information, and as for the solution to difficulties, we show how LSMS can be used to support both inclusive or and exclusive or interpretations. We also investigate and analyze it′s properties and show how it semantically differs from others. We believe that LSMS is the only "reasonably simple" semantics that supports both inclusive and exclusive interpretations.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제40권2호
• /
• pp.253-263
• /
• 2001

Developing mathematical thinking skills is one of the most important goals of school mathematics. In particular, recent performance based on assessment has focused on the teaching and learning environment in school, emphasizing student's self construction of their learning and its process. Because of this reason, people related to mathematics education including math teachers are taught to recognize the fact that the degree of students'acquisition of mathematical thinking skills and strategies(for example, inductive and deductive thinking, critical thinking, creative thinking) should be estimated formally in math class. However, due to the lack of an evaluation tool for estimating the degree of their thinking skills, efforts at evaluating student's degree of mathematics thinking skills and strategy acquisition failed. Therefore, in this paper, mathematical thinking was studied, and using the results of study as the fundamental basis, mathematical thinking process model was developed according to three types of mathematical thinking - fundamental thinking skill, developing thinking skill, and advanced thinking strategies. Finally, based on the model, evaluation factors related to essential thinking skills such as analogy, deductive thinking, generalization, creative thinking requested in the situation of solving mathematical problems were developed.

• 한국과학교육학회지
• /
• 제27권3호
• /
• pp.225-234
• /
• 2007

이 연구는 가설-연역적 방법론에 따른 수업 모형의 개발과 그에 따라 고안된 수업 프로그램의 현장 적용이 창의적 사고, 비판적 사고 및 과학적 태도에 어떠한 영향을 미치는지 알아보기 위한 목적으로 실시되었다. 먼저, 가설-연역적 방법론에 따른 수업 모형을 개발하였고, 개발한 모형을 직접 활용할 수 있도록 수업 프로그램을 고안하여 학교 현장에 적용하였다. 연구 결과 수업 프로그램의 적용은 창의적 사고력 및 비판적 사고력을 향상시키는 것으로 나타났다. 또한 가설-연역적 수업 프로그램은 과학적 태도에 긍정적인 영향을 주는 것으로 나타났다. 끝으로 수업 프로그램에 참여한 학생들을 대상으로 가설-연역적 수업 프로그램에 대한 의견을 설문 조사한 결과, 학생들은 수업 프로그램을 진행하는 과정에서 과학적인 생각, 새로운 생각, 비판적인 생각을 계속 해야 하는 것에 어려움을 느끼고 부담스러워했으나, 수업 프로그램이 종료된 후에는 스스로 생각하는 능력이 생겼다고 진술하였다.

• 상하수도학회지
• /
• 제35권5호
• /
• pp.351-365
• /
• 2021

Water treatment process simulator is the tool for predicting sequential changes of water quality in a train of unit processes. This predicts the changes through governing equations that represent physicochemical performance of each unit processes with an initial and boundary conditions. Since there is no operational data for the design of a water treatment facility, there is no choice but to predict the performance of the facility by assuming initial and boundary conditions in virtual reality. Therefore, a simulator that can be applied in the design stage of a water treatment facility has no choice but to be built as a numerical analysis model of a deductive technique. In this study, we had conducted basic research on governing equations, inter-process data-flow, and simulator algorithms for the development of simulators. Lastly, this study will contribute to design engineering tool development research in the future by establishing the water treatment theory so that it can be programmed in a virtual world and suggesting a method for digital transformation of the water treatment process.

• 한국과학교육학회지
• /
• 제23권3호
• /
• pp.215-228
• /
• 2003

이 연구는 과학철학에서 논의되어온 과학의 선언적 지식의 생성 과정을 보다 체계적으로 분석하고 정리하여 하나의 구조화된 과학적 지식의 생성 모형을 제시하고자 하였다. 이를 위해, 이 연구는 선언적 과학 지식의 생성 과정을 과학철학적 관점들을 중심으로 다양한 문헌들을 분석하고, 이러한 분석 결과를 바탕으로 과학적 지식의 생성 모형을 체계적으로 구조화하였다. 이를 통해 고안된 모형은 귀납적 과정, 귀추적 과정, 연역적 과정 등으로 구분되는 지식 생성 과정을 포함한다. 또, 각각의 과정은 다시 여러 단계의 하위 과정으로 구성되어 있음을 보여준다. 이 모형에 의하면, 먼저 귀납적 과정은 관찰과 규칙성 발견 과정으로 구분되며, 다시 관찰은 단순관찰과 조작관찰로 나뉘고, 규칙성발견은 공통점발견, 분류, 위계 발견 등으로 세분된다. 그리고 귀추적 과정은 의문 생성과 가설생성 과정으로 구분되며, 여기에서 가설생성과정은 다시 의문상황 표상, 경험상황 동정, 원인적설명자동정, 가설적설명자 동정 등의 과정으로 나뉘어 진다. 마지막으로 연역적 과정은 방법 기준의 고안 과정은 다시 가설의 검증방법 고안과 가설의 평가기준 고안으로, 가설평가 과정은 결과수집 과정과 가설평가 및 결론 진출 과정으로 세분된다.

• 한국과학교육학회지
• /
• 제27권1호
• /
• pp.37-49
• /
• 2007

본 연구의 목적은 우리나라 중등학교 지구과학 수업에서 교사들이 제공하는 과학적 설명을 논리적 형식에 따라 분류하고, 서로 다른 형식의 과학적 설명이 지니는 특징과 과학적 설명을 위한 담화 행위에서 교사와 학생들의 역할을 분석하는 것이었다. 연구를 위한 자료는 2003년과 2004년에 해외 단기 연수 프로그램에 참여한 지구과학 교사들로부터 수집되었으며, 총18차시에 해당하는 지구과학 수업 녹화 자료와 전사본을 분석하였다. 분석된 지구과학 수업에서는 연역-법칙적 설명이 가장 빈번히 발생하였고, 연역-법칙적 모형은 과학적 설명을 구성하는 데 필요한 과학 법칙이나 상위의 원리가 잘 정립된 문제에 알맞은 것임을 알 수 있었다. 하지만, 지구과학의 후진적 추론 과제를 다루는 상황에서는 귀추적 설명이 제공되었고, 일기 속담이나 기상 이변과 같이 지구과학에 특징적인 대상을 설명할 때에는 각각 통계-확률적 모형과 통계-유관성 모형에 부합하는 설명이 활용되었다. 지구과학수업에서 과학적 설명은 주로 교사의 단독적인 발화를 통해 이루어졌으며, 학생들은 과학적 설명을 구성하기 위한 담화 행위에서 주로 소극적인 역할을 담당하였다. 이상과 같은 연구 결과가 과학 수업과 과학교육 연구에 시사하는 점들을 논의하였다.

• 한국초등과학교육학회지:초등과학교육
• /
• 제42권1호
• /
• pp.109-126
• /
• 2023

이 연구는 초등 예비교사가 모의수업 시연에서 구성한 과학적 추론을 증거-설명의 연속선 관점에서 해석하여 그들의 과학적 추론이 갖는 인식론적 의미를 조사하였다. 연구를 위해 계절 변화에 관한 모의 수업을 시연한 예비교사 2명, 고기압과 저기압 및 바람에 관한 모의수업을 시연한 예비교사 2명이 연구 참여자로 선정되었다. 예비교사의 교수발화 중에서 귀납적, 연역적(가설-연역적) 추론, 또는 귀추적 추론의 사례가 드러난 에피소드에서 각 추론이 증거-설명의 연속선의 단계에서 어떤 역할을 하는지 비교하여 예비교사의 과학적 추론이 가진 인식론적 의미를 분석하였다. 계절 변화의 원인에 관한 모의수업을 시연했던 두 예비교사는 학생들이 수집한 데이터를 비교하여 증거를 인식하였고, 증거와 가설을 비교하여 가설을 검증하는 가설-연역적 추론을 활용하여 설명을 구성하였다. 고기압과 저기압 및 바람의 방향을 주제로 모의수업을 시연했던 두 예비교사는 모둠별 데이터를 종합하여 증거로 인식하는 귀납적 추론과 선형적 논리 구조를 가진 연역적 추론을 설명구성 전략으로 선택하여 최종 설명을 제시하였다. 연구에 참여한 예비교사들은 유사한 주제의 모의수업 시연에서 대체로 비슷한 흐름의 과학적 추론을 활용하여 과학지식을 구성하였으나, 증거-설명의 연속선에서 데이터, 증거, 모델, 설명으로 전개되는 인식론적 의미 측면에서 조금씩 다른 양상을 보였다. 또한, 일부 사례를 제외하면, 공통적으로 증거에서 모델을 탐색하는 과학적 추론은 부족하였으며, 가설이나 설명모델을 추리하기 위한 귀추적 추론이 부재하였다. 이 연구에서 분석틀로 적용했던 증거-설명의 연속선 접근은 과학적 추론의 인식론적 의미를 파악할 수 있게 하며 대안적인 과학적 추론 함양 지도 방법으로 사용될 수 있음을 논의하였다.