• Journal of The Korean Association For Science Education
• /
• v.31 no.4
• /
• pp.587-599
• /
• 2011

The purpose of this study was to analyze variable-controlling strategy (below vcs) and the ability to infer the effect of variables in Middle school students who experienced 'Thinking Science' activities in a CASE program. For this study, 71 9th grade students experienced in CASE program for 2 years were selected as the experimental group and 72 students were selected as the control group. All students were tested with Science Reasoning TaskVII. The five types of variable-controlling strategy were extracted from students' response. According to the result of this study, the students experienced in CASE program was more successful in the variable-controlling strategy of length, quality, and shape than the control group. The types of reasoning ability of the variable effect intuitively were categorized as possibility of reasoning, impossibility of reasoning, and impossibility of reversible thinking. It has shown that the reasoning ability of the experimental group was higher than that of the control group in the length and thickness variable effect. The results of this study implied that the variable controlling activities in CASE program could be effective for learning variable controlling, and eventually, for the development of reasoning ability of the variable controlling effect. In the ability to infer the effects of variables to get difficult Intuitively, both groups were similar to the rate of cognitive level reached to the formal operation in generalization, and the student of experimental group was 1.5 times faster than the control group.

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.28 no.3
• /
• pp.31-47
• /
• 2003

Quality design in practice highly depends on human designer's intuition and past experiences due to lack of formal knowledge about the relationship among 10 variables. This paper represents an data mining approach for developing quality design support system that integrates Case Based Reasoning (CBR) and Artificial Neural Networks (ANN) to effectively support all the steps in quality design process. CBR stores design cases in a systematic way and retrieve them quickly and accurately. ANN predicts the resulting quality attributes of design alternatives that are generated from CBR's adaptation process. When the predicted attributes fail to meet the target values, quality design simulation starts to further adapt the alternatives to the customer's new orders. To implement the quality design simulation, this paper suggests (1) the data screening method based on ξ-$\delta$ Ball to obtain the robust ANN models from the large production data bases, (2) the procedure of quality design simulation using ANN and (3) model management system that helps users find the appropriate one from the ANN model base. The integration of CBR and ANN provides quality design engineers the way that produces consistent and reliable design solutions in the remarkably reduced time.

• The Mathematical Education
• /
• v.55 no.1
• /
• pp.107-127
• /
• 2016

The purpose of this study was to explore the possibility of mathematical instruction through performance task activities based on the The Backward Design, which was suggested at first by Wiggins & McTighe in 1998. The Design deals with a performance assessment task involving the whole objective and its entire content of a lesson. Based on the Backward Design, this study established the mathematical instructional materials, which deal with the concept of 'the sector' taught in middle school, with one large performance task including three small tasks. It is important that in the lesson students be guided to achieve the several learning goals by themselves through reasoning activities. For this purpose, a formal interview was carried out by the subject of three middle school mathematics teachers. As a result, in order to implement the instruction utilizing the performance tasks more efficiently in future, it is required that a large performance task should be selected or developed including the content or problem contexts to be relevant with the real-life challenging situations. In addition, to make students enhance reasoning skills, it is strongly requested that the tasks including the utilization of supplementary materials such as technological devices or manipulatives be dealt with in a lesson.

• Korea Information Processing Society Review
• /
• v.11 no.6
• /
• pp.56-75
• /
• 2004

In this article we address some system characteristics and challenging issues in developing Context-aware Middleware for Ubiquitous Computing. The functionalities of a Context-aware Middleware includes gathering context data from hardware/software sensors, reasoning and inferring high-level context data, and disseminating/delivering appropriate context data to interested applications/services. The Middleware should facilitate the query, aggregation, and discovery for the contexts, as well as facilities to specify their privacy policy. Following a formal context model using ontology would enable syntactic and semantic interoperability, and knowledge sharing between different domains. Moddleware should also provide different kinds of context classification mechanical as pluggable modules, including rules written in different types of logic (first order logic, description logic, temporal/spatial logic, fuzzy logic, etc.) as well as machine-learning mechanical (supervised and unsupervised classifiers). Different mechanisms have different power, expressiveness and decidability properties, and system developers can choose the appropriate mechanism that best meets the reasoning requirements of each context. And finally, to promote the context-trigger actions in application level, it is important to provide a uniform and platform-independent interface for applications to express their need for different context data without knowing how that data is acquired. The action could involve adapting to the new environment, notifying the user, communicating with another device to exchange information, or performing any other task.

• Journal of KIISE
• /
• v.42 no.10
• /
• pp.1195-1206
• /
• 2015

For the management of a knowledge system, systems that automatically infer and manage scalable knowledge are required. Most of these systems use ontologies in order to exchange knowledge between machines and infer new knowledge. Therefore, approaches are needed that infer new knowledge for scalable ontology. In this paper, we propose an approach to perform rule based reasoning for scalable SHIF ontologies in a spark framework which works similarly to MapReduce in distributed memories on a cluster. For performing efficient reasoning in distributed memories, we focus on three areas. First, we define a data structure for splitting scalable ontology triples into small sets according to each reasoning rule and loading these triple sets in distributed memories. Second, a rule execution order and iteration conditions based on dependencies and correlations among the SHIF rules are defined. Finally, we explain the operations that are adapted to execute the rules, and these operations are based on reasoning algorithms. In order to evaluate the suggested methods in this paper, we perform an experiment with WebPie, which is a representative ontology reasoner based on a cluster using the LUBM set, which is formal data used to evaluate ontology inference and search speed. Consequently, the proposed approach shows that the throughput is improved by 28,400% (157k/sec) from WebPie(553/sec) with LUBM.

• Journal of the Korean School Mathematics Society
• /
• v.12 no.3
• /
• pp.307-317
• /
• 2009

Formally p$\rightarrow$q means that affirming p one implicitly affirms q and that denying q one implicitly denies p. Denying p or affirming q do not lead to certain conclusions. Middle school students can recognize practical implication p$\rightarrow$q is true whenever p is false, but they don't recognize theoretical implication p$\rightarrow$q is true whenever p is false. They have not assimilated intuitively the complete structure of implication. Thus they do not distinguish naturally between the uncertain conclusion which can be drawn by affirming p and the certain rejection of p which follows from the negation of q. Also they can not recognize the uncertain conclusion which can be drawn by negation of p. There is no significant difference between practical conditional statements, formal conditional statements and conditional Inferences in advanced mathematics students. But there is a significant difference between formal conditional inferences and specific conditional inferences with statement p$\rightarrow$q is true when p is false.

• Education of Primary School Mathematics
• /
• v.7 no.2
• /
• pp.85-99
• /
• 2003

In this paper, firstly examined various proofs types that cover informal empirical justifications by Balacheff, Miyazaki, and Harel ＆ Sowder and Tall. Using these theoretical frameworks, justification activities by 5th graders were analyzed and several conclusions were drawn as follow: 1) Children in 5th grade could justify using various proofs types and method ranged from external proofs schemes by Harel & Sowder to thought experiment by Balacheff This implies that children in elementary school can justify various mathematical statements of ideas for themselves. To improve children's proving abilities, rich experience for justifying should be provided. 2) Activities that make conjectures from cases then justify should be given to students in order to develop a sense of necessity of formal proof. 3) Children have to understand the meaning and usage of mathematical symbol to advance to formal deductive proofs. 4) New theoretical framework is needed to be established to provide a framework for research on elementary school children's justification activities. Research on proof mainly focused on the type of proof in terms of reasoning and activities involved. But proof types are also influenced by the tasks given. In elementary school, tasks that require physical activities or examples are provided. To develop students'various proof types, tasks that require various justification methods should be provided. 5) Children's justification type were influenced not only by development level but also by the concept they had. 6) Justification activities provide useful situation that assess students'mathematical understanding. 7) Teachers understanding toward role of proof(verification, explanation, communication, discovery, systematization) should be the starting point of proof activities.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.1
• /
• pp.64-88
• /
• 2024

Security and reliability are the utmost importance facts in intelligent networked vehicles. Stochastic Petri Net and Z (SPZN) as an excellent formal verification tool for modeling concurrent systems, can effectively handles concurrent operations within a system, establishes relationships among components, and conducts verification and reasoning to ensure the system's safety and reliability in practical applications. However, the application of a system with numerous nodes to Petri Net often leads to the issue of state explosion. To tackle these challenges, a refinement and abstraction method based on SPZN is proposed in this paper. This approach can not only refine and abstract the Stochastic Petri Net but also establish a corresponding relationship with the Z language. In determining the implementation rate of transitions in Stochastic Petri Net, we employ the interval average and weighted average method, which significantly reduces the time and space complexity compared to alternative techniques and is suitable for expert systems at various levels. This reduction facilitates subsequent comprehensive system analysis and module analysis. Furthermore, by analyzing the properties of Markov Chain isomorphism in the case study, recommendations for minimizing system risks in the application of intelligent parking within the intelligent networked vehicle system can be put forward.

• Journal of Korean Elementary Science Education
• /
• v.31 no.4
• /
• pp.513-531
• /
• 2012

This study was to analyze the characteristic of scientific argumentation in the classes for the gifted of elementary school. The participants of this study were 5 fifth graders and 9 sixth graders, 14 in total, from the basic unit schools for gifted students of J elementary school in Incheon city. And it constituted small scale groups made up of 2~3 students with similar or identical ability in scientific reasoning. It had set up hypothesis for each group before the experiment, and students had a group discussion as a whole after the experiment. Classes were conducted 4 times, all courses were recorded as a sound/video. The ability in scientific reasoning of the students was inspected, making use of SRT II by means of pre-survey, and their argumentation levels were analyzed, utilizing 'Rubric for scientific argumentation course assessment.' As a result, argumentations did not incurred in every class. Analysis in argumentations of the students resulted in low level argumentation. This means argumentation cannot incur based on that with the limit in understanding the principle of experiments over the threshold of textbook no matter that he is an gifted student or not. The student both in formal operational period and transition period (2B/3A), the ability of scientific thinking in upper level, was improved of his argumentative ability in an overall aspect. However, a student of concrete operational period, the ability of scientific thinking in lower level, had argumentation with still lower level even after the experiment at the moment of discussing with the students on the upper level of scientific thinking ability.