• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• 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.

• Journal of The Korean Association For Science Education
• /
• v.12 no.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.

• The KIPS Transactions:PartD
• /
• v.9D no.6
• /
• pp.991-998
• /
• 2002

With the advent of XML and database languages armed with the object-oriented concept and deductive logic, the problem of efficient query processing for them has become a major issue. We describe a way of processing semi-structured XML data through an implementation of a Deductive and Object-oriented Database (DOODB) language with the explanation of query processing. We have shown how to convert an XML data model to a DOODB data model. We have then presented an efficient query processing method based on Connection Graph Resolution. We also present a knowledge-based query processing method that uses the homomorphism of objects in the database and the associative rule of substitutions.

• The KIPS Transactions:PartD
• /
• v.9D no.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.

• The Mathematical Education
• /
• v.40 no.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.

• Journal of The Korean Association For Science Education
• /
• v.27 no.3
• /
• pp.225-234
• /
• 2007

This research was conducted with an intention to develop a teaching program that possesses a goal of elevating higher thinking ability within the science class and to investigate its effect. The hypothetico-deductive teaching model was developed and its' program was designed to be directly put into the practical use, and apply it in class. The application of the hypothetico-deductive teaching program had a positive effect in the improvement of students' creative thinking ability and critical thinking ability. And it had a positive influence on scientific attitudes. After completing the program the opinions of the students who participated in this research by a poll were gathered and analyzed. The students felt uneasy and had a lot of difficulties during the program activity because they had to keep on thinking newly, critically, and scientifically, but they admitted that they gained the ability to think on their own when the program was completed.

• Journal of Korean Society of Water and Wastewater
• /
• v.35 no.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.

• Journal of The Korean Association For Science Education
• /
• v.23 no.3
• /
• pp.215-228
• /
• 2003

The present study is to analyze the arguments about the generation of declarative scientific-knowledge in the philosophy of science and invent a structured model of the process of scientific-knowledge generation with the types of the generated scientific-knowledge. The invented model shows that scientific-knowledge generation is a distinctive process with the processes of inductive, abductive, and deductive thinking. Furthermore, inductive process is included with observation, which is consisted of simple observation and operative observation, and rule-discovery which is involved with the processes of commonness discovery, classification, pattern discovery, and hierarchical relationship. Also, abductive process has two components. One component generates question and second component generates hypothesis in which the process consists of representing question situation, identifying experienced situation, identifying causal explicans, and generating hypothetical explicans. Finally, deductive process is involved with logical inventing test method and evaluation criteria, concrete inventing test method and evaluation criteria, evaluating hypothesis, and making conclusion.

• Journal of The Korean Association For Science Education
• /
• v.27 no.1
• /
• pp.37-49
• /
• 2007

The purpose of this study was to classify the logical forms of scientific explanations provided by teachers in secondary earth science classrooms, to examine the characteristics of the scientific explanations in different forms, and to identify the roles of the teacher and students in discursive practices for scientific explanations. Data came from the earth science teachers who participated in overseas teacher in-service programs in the years 2003 and 2004. A total of 18 video-taped lessons and their verbatim transcriptions were analyzed. The result showed that deductive-nomological explanations occurred most frequently in earth science classrooms and that the deductive-nomological model was well-suited to those problems for which there existed firmly established scientific laws or principles to construct scientific explanations. However, abductive explanations were presented when the classes dealt with retrodictive tasks of earth science. The statistical-probabilistic and statistical-relevance models were also employed in explaining weather proverbs and unusual changes of weather, respectively. Most of the scientific explanations were completed through the teachers' monologic utterances, and students assumed passive roles in discursive practices for developing scientific explanations. Implications for science lessons and science education research were discussed.

• Journal of Korean Elementary Science Education
• /
• v.42 no.1
• /
• pp.109-126
• /
• 2023

In this study, I took the evidence-explanation (E-E) continuum perspective to examine the epistemological implications of scientific reasoning cases designed by preservice elementary teachers during their simulation teaching. The participants were four preservice teachers who conducted simulation instruction on the seasons and high/low air pressure and wind. The selected discourse episodes, which included cases of inductive, deductive, or abductive reasoning, were analyzed for their epistemological implications-specifically, the role played by the reasoning cases in the E-E continuum. The two preservice teachers conducting seasons classes used hypothetical-deductive reasoning when they identified evidence by comparing student-group data and tested a hypothesis by comparing the evidence with the hypothetical statement. However, they did not adopt explicit reasoning for creating the hypothesis or constructing a model from the evidence. The two preservice teachers conducting air pressure and wind classes applied inductive reasoning to find evidence by summarizing the student-group data and adopted linear logic-structured deductive reasoning to construct the final explanation. In teaching similar topics, the preservice teachers showed similar epistemic processes in their scientific reasoning cases. However, the epistemological implications of the instruction were not similar in terms of the E-E continuum. In addition, except in one case, the teachers were neither good at abductive reasoning for creating a hypothesis or an explanatory model, nor good at using reasoning to construct a model from the evidence. The E-E continuum helps in examining the epistemological implications of scientific reasoning and can be an alternative way of transmitting scientific reasoning.