• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10b
• /
• pp.430-435
• /
• 1992

Hazard identification is one of the most important task in process design and operation. This work has focused on the development of a knowledge-based expert system for HAZOP (Hazard and Operability) studies which are regarded as one of the most systematic and logical qualitative hazard identification methodologies but which require a multidisciplinary team and demand much time-consuming, repetitious work. The developed system enables design engineers to implement existing checklists and past experiences for safe design. It will increase efficiency of hazard identification and be suitable for educational purposes. This system has a frame-based knowledge structure for equipment failures/process material properties and rule networks for consequence reasoning which uses both forward and backward chaining. To include wide process knowledge, it is open-ended and modular for future expansion. An application to LPG storage and fractionation system shows the efficiency and reliability of the developed system.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.5 no.4
• /
• pp.199-211
• /
• 2009

The purpose of this study is to elicit influential factors on accepting IPTV services and define the casual relationship between the factors, and "user satisfaction", "re-use intention", "stranger recommendation intention", in an attempt to provide useful guidelines to IPTV carriers, contents providers and equipment makers for their forming IPTV service models and marketing strategies. For this end, the theoretical background of this study has been brought from relevant literature, and theoretical study models have been established by logical reasoning of the interrelation among diverse components. Then, the established models have been analyzed by using statistical packages "SPSS(12.0), LISREL(8.72)". Finally theoretical and practical significance and future study direction have been suggested. To make sure of effective validity of IPTV service adoption models above, empirical studies should be made continuously. And then vertical and horizontal studies at a specific point would show ever-changing causal relationship, helping to promote financial outcome of relevant companies and organizations.

• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• pp.2047-2050
• /
• 2002

At present, many applications independently provide access control for their own resources, for example Web, Databases and Operating Systems, etc. Such independent access control systems result in multiple access control configurations each of which deals with the access control in its own application context. Since those multiple configurations are operated in isolation, and maintained by possibly different administrators, they are likely to be incoherent. In this paper, we propose a logical specification to reason about multiple access control configurations. Our specification can be used to detect the incoherence in multiple configurations. Furthermore, it of offers many kinds of policies for multiple configurations that can capture several kinds of requirements for multiple access control systems.

• Journal of The Korean Association of Information Education
• /
• v.18 no.1
• /
• pp.65-74
• /
• 2014

The STEAM education and the computer science education have become increasingly important with the advert of science technology that enhances the national competitiveness. The purpose of the research is to develop the STEAM education program focused on programming education. I introduced a programming activity utilizing a sensor that can trigger students' interest with relation to other school subject factors. I applied the education program to grade 4-5 students, then compared and analyzed effects of the education program by conducting pretest and posttest regarding the creativity, reasoning skills, and the affective domain in science learning. Overall, the analysis reveals that the STEAM education program developed in this study improved fluency, originality and creativity index of the students' creativity, reasoning skills and scientific attitudes.

• Journal of The Korean Association of Information Education
• /
• v.16 no.4
• /
• pp.463-474
• /
• 2012

The necessity of computer science education has been increased in the society which has been changing rapidly by the development of information science. But most elementary school teachers don't realize its necessity and don't recognize the notion of computational thinking which is the fundamental principle of computer science. In this research, we designed and implemented an algorithm learning program based on computational thinking with using Logo, which was for pre-service elementary school teachers to be able to realize the necessity of computer science education and recognize computational thinking. As the findings analyzed between pre- and post-test, the averages of correlational reasoning, combinatorial reasoning and the sum of overall logical thinking increased significantly. Also, participants' awareness of computer science education and computational thinking changed positively.

• Journal of the Korean Geographical Society
• /
• v.44 no.3
• /
• pp.372-394
• /
• 2009

This study investigates the ontology-based public participation GIS(PPGIS). The major reason that ontology-based GIS has attracted attention in semantic communication in recent year is due to the wide availability of geographical variable and the imminent need for turning such recommendation into useful geographical knowledge. Therefore, this study has been focused on designing and implementing the pilot tested system for public participation GIS. The applicability of the pilot tested was validated through a simulation experiment for history tourism in Guri city Gyeongi-do, Focused on the methodology, the life cycle model which involves regional statues and user recognition, can be viewed as an important preprocessing step(specification, conceptualization, formalization, integration and implementation) for recommended geographical knowledge discovery by axiom. Focusing on practicality, ontology in this study would be recommended for geographical knowledge through reasoning. In addition, ontology-based public participation GIS would show integration epistemological and ontological approach, and be utilized as an index which is connected with semantic communication. The results of the pilot system was applied to the study area, which was a part of scenario. The model was carried out using axiom of logical constraint in the meaning of human-activity.

• Journal of The Korean Association For Science Education
• /
• v.17 no.2
• /
• pp.139-148
• /
• 1997

This study investigated the influences of the cooperative learning strategies upon students' achievement and their perceptions of learning environments in a middle school physical science course. Prior to instruction, the Group Assessment of Logical Thinking was administered, and its score was used as a blocking variable. Mid-term examination score was used as a covariate. For the treatment group with heterogeneous grouping, cooperative learning instruction (the Learning Together model) was used, which emphasized group reward, individual accountability, and role division. For the control group, traditional instruction was used. After instruction, an achievement test consisting of three subtests (knowledge, understanding, and application), and the perception questionnaire of classroom and laboratory environments, were administered. ANCOVA results revealed that there was a significant interaction between instruction and the level of logical reasoning ability although there were no significant differences in all three subtest scores of the achievement test. For the concrete operational reasoners, the treatment group performed better in the subtests of understanding and application than the control group. For students at the formal and transition levels, however, the treatment group scored lower than the control group. Significant interactions were also found in the perceptions of classroom environment and laboratory environment. For the concrete operational reasoners, the treatment group showed more positive perception than the control group. For the students at the formal and transition levels, the control group had positive perception than the treatment group. Educational implications are discussed.

• School Mathematics
• /
• v.9 no.2
• /
• pp.197-222
• /
• 2007

The study aims to reflect the elementary school geometry education based on the Realistic Mathematics Education in the Netherlands in the light of the results from recent researches in geometry education and the direction of geometry standards for school mathematics of the National Council of Teachers of Mathematics in order to induce implications for improving korean geometry curriculum and textbook series. In order to attain these purposes, the present paper reflects the history of elementary school geometry education in the Netherlands, sketches the elementary school geometry education based on the Realistic Mathematics Education in the Netherlands by reflecting general goals of the mathematics education, the core goals for geometry strand of the Netherlands, and geometry and spatial orientation strand of Dutch Pluspunt textbook series for the elementary school more concretely. Under these reflections on the documents, it is analyzed what is the characteristics of geometry strand in the Netherlands as follows: emphasis on realistic spatial phenomenon, intuitive and informal approach, progressive approach from intuitive activity to spatial reasoning, intertwinement of mathematics strands and other disciplines, emphasis on interaction of the students, cyclical repetition of experiencing phase, explaining phases, and connecting phase. Finally, discussing points for improving our elementary school geometry curriculum and textbook series development are described as follows: introducing spatial orientation and emphasizing spatial visualization and spatial reasoning with respect to the instruction contents, considering balancing between approach stressing on grasping space and approach stressing on logical structure of geometry, intuitive approach, and integrating mathematics strands and other disciplines with respect to the instruction method.

• Journal of Korean Elementary Science Education
• /
• v.41 no.1
• /
• pp.30-43
• /
• 2022

In this study, elementary students' science communication competence was investigated based on the grammatical features expressed in their language-use in classroom discourse and science writings. The classes were designed to integrate the evidence-based reasoning framework and traditional learning cycle and were conducted on fifth graders in an elementary school. Eight elementary students' discourse data and writings were analyzed using lexico-grammatical resource analysis, which examined the discourse text's content and logical relations. The results revealed that the student language used in analyzing data, interpreting evidence, or constructing explanations did not precisely conform to the grammatical features in science language use. However, they provided examples of grammatical metaphors by nominalizing observed events in the classroom discourses and those of causal relations in their writings. Thus, elementary students can use science language grammatically from science language-use experiences through listening to a teacher's instructional discourses or recognizing the grammatical structures of science texts in workbooks. The opportunities in which elementary students experience the language-use model in science learning need to be offered to understand the appropriate language use in the epistemic context of evidence-based reasoning and learn literacy skills in science.

• Journal of The Korean Association For Science Education
• /
• v.22 no.3
• /
• pp.571-585
• /
• 2002

This is one of the basic research for inspecting the possibility of the development of logical thinking capability to make possible formal thinking. The 5th grade students (n=306) in the elementary school were participated in this study. Performing the 6 variable-controlling activities in the 'Thinking Science' program for one semester, the SRT II test and the Variable-Controlling test were operated to examine the effects on the development of the variable-controlling ability by treatments, gender, and cognitive levels. Performing of the variable-controlling activities was highly successive on the development of students' variable-controlling ability. Although learning effect on the ability of identifying causal variable was moderate, the abilities of controlling experimental condition, measurement of variable, and identifying result variable were significantly developed. There was statistically significant difference by gender. Girls showed better performance all the time in both groups. Boys in the experimental group were getting better gradually, so the difference by gender was somewhat decreased. Examining the variable-controlling ability by cognitive levels, students in the experimental group show significant increase in all levels, especially the students in early, mid, and mature concrete level show substantial learning effects. The results of this study implied that the variable-controlling activities in the 'Thinking Science' could be effective for learning of variable-controlling and eventually for the development of logical thinking capability to make possible formal thinking.