• The Bulletin of The Korean Astronomical Society
• /
• v.46 no.2
• /
• pp.54.2-54.2
• /
• 2021

지구과학 분야에서 가장 어렵게 느껴지는 내용인 천문분야는 다른 과학 분야와 달리 탐구 대상이 천체들이 먼거리에 있고, 쉽게 관측하기 어려우며, 실험실에서 동일실험과 반복 실험이 불가능하여, 추상적이고 직접 관측하기 어려운 개념에 관한 연구들이 많다. 따라서 이 연구에서는 레이저 커팅기를 사용해 지구과학교과 중 별자리를 구성하는 별들의 상대적 거리를 수학적으로 계산하는 과정과 고등학교 물리교과 중 LED 광원의 원리를 알고 LED 모듈을 제작하여 최종적으로 아름답고 과학적으로 가치가 있는 입체 별자리 교구를 제작하는 형태의 STEAM 교육 프로그램을 개발하고 시범학교 적용을 하였다. 이에 지능정보화 사회에 발맞춰 천문학 지식을 창의 교육의 형태로 교육하는 새로운 교육법을 실현한 연구결과들을 발표하고자 한다. 또한 개발한 프로그램의 효과성을 검증하기 위해 STEAM 관련 태도 검사와 논리적 사고력 검사 및 만족도 검사를 실시하였다. 연구결과 개발된 프로그램이 STEAM 태도 검사와 논리적 사고력에 효과가 있는 것으로 나타났으며, 천문수업에 대한 학생들의 인식은 긍정적이었다. 따라서 후속 연구에서는 다양한 학년 및 위계에 맞는 프로그램의 개발과 다양한 지역 등의 현장 적용을 통한 연구가 진행되어야 할 것으로 판단된다.

• KIISE Transactions on Computing Practices
• /
• v.21 no.7
• /
• pp.476-481
• /
• 2015

We have parallelized the cumulative sum (CUSUM) test of NIST's statistical random number test suite in a CUDA environment. Storing random walks in an array instead of in scalar variables eliminates data dependence. The change in data structure makes it possible to apply parallel scans, scatters, and reductions at each stage of the test. In addition, serial data exchanges between CPU and GPU are removed by migrating CPU's tasks to GPU. Finally we have optimized global memory accesses. The overall speedup is 23 times over the sequential version. Our results contribute to improving security of random numbers for cryptographic keys as well as reducing the time for evaluation of randomness.

• Journal of KIISE:Computing Practices and Letters
• /
• v.12 no.2
• /
• pp.141-148
• /
• 2006

This paper suggests method of safe security S/W by verifying and its result of formal verification tool. We will survey many formal verification tools and compare features of these tools. And we will suggest what tool is appropriate and methodogoly of developing safe security S/W. The Z/EVES is the most appropriate tool. This paper proposes formal verification of ACS by using RoZ tool which is formal verification tool to create UML model. The specification and verification are executed using Z/EVES tool. These procedures can find weak or wrong point of developed S/W.

• Journal of The Korean Association For Science Education
• /
• v.30 no.5
• /
• pp.594-608
• /
• 2010

This research attempts to extract the factors that generate scientific interest, and verify the effect of extracted factors on the generation of scientific interest in middle school students' observation activity on life phenomenon. In order to analyze interest-generating factors, observation programs were applied four times in the science class of 3rd grade middle school students. And an interview was conducted towards students who had strong scientific interest among students who participated in the observation activity. After classifying the interview results according to the types, and 21 interest-generating factors were extracted. Interest-generating factors were classified into 5 categories; the characteristics of the observation object, the characteristics of the observation activity, the characteristics of the observation result, the characteristics of the observer, and the characteristics of the extrinsic factor. It was verified that interest-generating factors have an effect on the generation of scientific interest in the observation activity. First of all, in order to confirm whether the extracted generation factors would have an effect on the generation of interest in observation activity, as survey of interest-generating factors was drawn up. The observation activity program of 4 times' volume was applied towards third grade middle school students, and survey paper on interest-generating factor was input. Analysis result showed that factors have effect on the generation of interest. That is, it was confirmed that extracted interest-generating factor has a significant effect on the generation of scientific interest. The cause analysis on the uninteresting observation activity was possible, and it would play an essential role in developing an interesting observation activity.

• Journal of The Korean Association For Science Education
• /
• v.18 no.3
• /
• pp.357-369
• /
• 1998

Science-related affective domain is considered as a very important domain for achieving students' scientific literacy. Most science educational objectives include some objectives about affective domain such as scientific attitudes, values, curiosity, interests and concerns about nature and science. In this research, the evaluation framework and items of science-related affective domain were developed. The evaluation framework consists of three main categories such as cognition, interest and scientific attitudes and 16 subcategories. The validity of the evaluation framework is tested by ten science educators. Forty-eight items are selected among item pool by considering item response analysis and item-test correlation coefficient. The Cronbach ${\alpha}$ of the tests is 0.83(cognition and interest) and 0.86(scientific attitudes). The results of the test are as follows. First, boys got higher scores than girls. Second, elementary students got higher scores than secondary students. Finally. students in urban areas showed higher scores than those in rural areas.

• The Journal of Korean Association of Computer Education
• /
• v.17 no.1
• /
• pp.65-73
• /
• 2014

The purpose of this study is to examine how time management, usefulness, and interest predict m-learning outcomes. For this study, 144 high school students participated in m-learning activities during science classes. After 5 week of classes, they responded the following surveys: time management, usefulness, interest, satisfaction, perceived achievement and learning persistence. Multiple regression analyses with correlation applied to this study as a data analysis method. The results showed that time management, usefulness, interest significantly predicted learning satisfaction and persistence. In addition, time management and usefulness significantly predicted perceived achievement, Therefore, these findings imply that time management, usefulness should be considered for designing m-learning activities in high school science class.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.1
• /
• pp.46-61
• /
• 2002

Among the many phases involved in software development, requirements analysis phase in generally considered to play a crucial role in determining the overall software quality. Therefore, many software development companies manages the phase as one of the important phase. Especially, safety assurance through requirements analysis for safety-critical systems is quite demanding, and national and international bodies routinely require safety demonstration. Among various approaches, inspection and formal methods are generally shown to be effective. In this paper, we propose a formal verification procedure for SCR(Software Cost Reduction)-style SRS(Software Requirements Specification) using the PVS specification and verification procedure and applied this procedure to an industrial system such that a shutdown system for Wolsung nuclear power plant. This system had been verified through inspection not formal verification. The application of formal methods is rare in Korea, so it is very important to experiment about formal verification to industrial systems.

• Journal of The Korean Association For Science Education
• /
• v.32 no.1
• /
• pp.129-145
• /
• 2012

This study investigated factors of creativity and interaction between factors that are revealed when gifted students designed scientific experiments. For this, we firstly developed items which required the written process of designing experiments to explore creativity factors. Then, we used these items as a part for letters of self-introduction to students who applied for 2011 correspondence education of general physics for the Korea Physics Olympiad. 513th letters of self-introduction which were analyzed to investigate factors of creativity in view of creativity definition after researchers' consultation, which specifically means a combination of divergent and convergent thinking. The results were as follows; (1) in the step of hypothesis building, we could not only find Originality and the Flexibility & Fluency, which were factors of divergent thinking, but also Coherency and Elaborateness, which were factors of convergent thinking. (2) in the step of the hypothesis testing, we could explore Originality, Flexibility & Fluency in divergent thinking and Coherency, Reliability, Clarity, Elaborateness in convergent thinking. (3) we also figured out three creativity types of gifted students from the viewpoint that creativity is a consequence of interaction between divergent thinking and convergent thinking; a) Type A showed divergent and convergent factors of creativity in the step of hypothesis building. However, type A did not include divergent factors of creativity on the process of the hypothesis testing. b) Type B had divergent and convergent factors of creativity on the process of the hypothesis testing, but it had not convergent factors of creativity on the step of hypothesis building. c) Finally, in Type C, only divergent factors of creativity appeared on the process of the hypothesis testing, but convergent factors of creativity could be found on the step of hypothesis building and hypothesis testing.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.25 no.8 s.219
• /
• pp.26-31
• /
• 2007

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.8
• /
• pp.895-904
• /
• 1999