• Journal of the Korean Chemical Society
• /
• v.50 no.5
• /
• pp.385-393
• /
• 2006

In this study, we analyzed the effects of science inquiry learning that applies open-ended hypothesis-testing learning model in a high school chemistry class of grade 11 in respect of science process skills, science-related attitude, and appreciation towards science class by cognitive level. Open-ended science inquiry learning activities on Metals and their applications unit in Chemistry I were developed and applied to the treatment groups while the conventional science activities were applied to the control groups. Four classes of 92 students in a high school located in Seoul were assigned into the treatment and control groups, respectively. According to the results in the test of science process skills, the students treated with the alternative experiments emphasizing open-ended hypothesis-testing obtained higher scores in experimental design, data conversion and description, and hypothesis test than those with conventional experiments but not in problem cognition and definition and hypothesis fixing'. There was negative effect on science-related attitude due to increased roles and tasks in the open-ended science inquiry learning activities.

• Journal of The Korean Association For Science Education
• /
• v.31 no.6
• /
• pp.958-969
• /
• 2011

The purpose of this study is to investigate relationships among scientific self-efficacy, achievement in science and cognitive self-regulation learning strategy. The subjects were composed of 158 elementary school students. Data of students' self-efficacy related to science and cognitive self-regulation learning strategy measured by questionnaire were analyzed. Science achievement scores were also collected. The results indicated that self-efficacy and cognitive self-regulation learning strategy predicted science scores. The findings showed that cognitive selfregulation learning strategy mediated the relation between self-efficacy and achievement in science. Memory learning strategy, considered a cognitive self-regulation learning strategy, did not mediate the relation between self-efficacy and science scores. The implications of science education to develop students' science achievement in the classroom and the suggestions for future researchers are discussed.

• Journal of The Korean Association For Science Education
• /
• v.18 no.1
• /
• pp.1-17
• /
• 1998

What does mean the statement that scientific reasoning is logical? In this study, we clarify the logical structure of the scientific explanation, prediction and the process of hypothesis testing. To simplify and identify the structure of scientific explanations and prediction more clearly, we used syllogism and presented various concrete examples. Especially, we showed that the logical structure of scientific explanation was well reflected in dynamics. Based on this analysis, it can be said that the deficit of students' understanding of dynamics is because that many scientific activities are focused on prediction rather than explanation. To explain the process of hypothesis testing, we reinterpreted the Wason's selection task as two stages: the process of prediction of experimental phenomena based on the presented hypothesis, and the process of the hypothesis testing based on the predicted experimental phenomena. And we suggested the reason of the logical fallacy of 'affirming the consequent' in science was because that many scientific relationships between the variables is one-to-one relationship, and compared this suggestion with the Lawon's multiple hypothesis theory. To check out the effect of content on the deductive reasoning, we reviewed some researches about psychology and psychology of science. And to understand the role of deductive reasoning in student's scientific activities, we reviewed researches about the analysis of students' responses in the task of conceptual change or evaluation of evidence and so on.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1578-1580
• /
• 2012

모델 검증은 시스템이 만족해야 하는 속성을 자동으로 검사하는 정형 검증 기법으로써, 많은 도메인에서 활용되고 있다. 특히 모델 검증 도구들에 따라 상태 공간 탐색 방식이 다르고, 상태 공간 탐색 방식에 따라서 생성되는 반례도 달라진다. 본 논문에서는 모델 검증의 대표적인 도구인 SPIN과 SMV에서 생성하는 반례를 상호 비교한다.

• Bulletin of the Korean Space Science Society
• /
• 2003.10a
• /
• pp.59-59
• /
• 2003

과학위성 1호는 고도 685 km 태양동기궤도에서 운용되는 소형인공위성으로 지구 그림자에 의한 주기적인 온도변화, 태양과 지구로부터의 자외선복사, 진공환경과 같은 가혹한 우주환경에서 정상적으로 임무를 수행해야 한다. 이러한 가혹한 우주환경에서 위성 각 시스템의 온도를 허용범위 내에서 조절하고 구조적인 열변형을 최소화하기 위하여 열제어 시스템이 필요하며, 위성개발과정에서 상세한 열설계 요구조건을 도출하고 반영하여 과학위성 1호의 열제어 시스템을 설계하였다. 열제어 시스템은 위성의 내\ulcorner외부에서 위성외부로부터의 열유입을 최소화하고 위성내부에서 발생한 열을 효과적으로 방출하는 역할을 한다. 열제어 시스템의 성능을 검증하기 위하여 다양한 임무와 궤도를 고려한 궤도열해석이 수행되었으며, 주기적인 온도변화와 진공환경을 모사하는 열진공시험을 통하여 예상되는 우주환경에서 위성 각 시스템의 정상동작 여부가 검증되었다. 본 연구는 과학위성 1호의 열설계 결과와 효과적인 열설계를 위한 궤도열해석 과정 그리고 위성 시스템의 신뢰성 검증을 위한 열진공시험결과를 다룬다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.6
• /
• pp.55-65
• /
• 2003

To perform the certificate validation processing on the user-side application induces the very considerable overhead because of the complex and time-consuming characteristic of the validation processing. Especially, the verification for digital signature over a certificate can be the major reason of the overhead, since the verification accompanies with the cryptographic calculation over each certificate on the certificate path. In this paper, we propose a new certificate validation scheme can reduce the overhead caused by user-side certificate validation processing and improve the utilization of CAs. As the result, our proposed scheme can not only reduces the overhead for the validation processing by decreasing the cryptographic calculation but also improves the utilization of CAs by employing them to the validation processing.

• Journal of The Korean Association For Science Education
• /
• v.28 no.6
• /
• pp.664-674
• /
• 2008

The purpose of this study was to analyze the effects of the teaching and learning programs for science teachers' scientific hypothesis testing-method invention. Subjects were 30 secondary school science teachers. The potato juice task was administered to the subjects before and after instructional treatments. The four-step strategy including the steps of identifying factors, identifying variables, selecting variables and inventing methods, was applied to the development of the teaching and learning programs for the science teachers. The programs were developed by 6 experts through the R&D method. The results of this study revealed that the number and elaborateness of science teachers' scientific hypothesis testing-methods increased after the instructional treatments. The testing ability of testing-methods invented by science teachers in the posttest was stronger than the one of the methods invented in the pretest. This study also discussed the implications of these findings for teaching and learning in science education.

• Agrochemical news magazine
• /
• v.21 no.2 s.155
• /
• pp.2-5
• /
• 2000

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.11a
• /
• pp.341-343
• /
• 2022

전 세계적으로 자율운항선박 기술개발을 추진 중이며, 자율운항선박 핵심 기술뿐 아니라, 상용화의 기틀을 마련하는 평가·검증 관련한 연구도 활발히 수행되고 있다. 이에 따라 자율운항선박의 핵심 기술과 주요 장비의 성능검증을 위한 테스트베드의 개발이 필수적이다. 본 연구에서는 국내외 자율운항선박 기술개발 현황과 자율운항선박의 시뮬레이션 기반 테스트베드가 갖춰야 할 요구사항을 분석하였으며, 자율운항선박의 특수성이 반영된 동역학 모델 기반의 조종 시뮬레이션 테스트베드에서의 성능검증을 위한 기능 분석 및 세분화를 통해 플랫폼 운영에 효과적인 기술들을 제안한다.

• Nuclear industry
• /
• v.17 no.8 s.174
• /
• pp.8-10
• /
• 1997

이 보고서는 97년 6월 22일~25일까지 대전에서 열린 $\ulcorner$차세대 초전도 핵융합 연구장치(KSTAR 장치)$\lrcorner$에 대한 물리적 타당성 검증 평가위원회(위원회)의 조사 결과 및 추천 사항을 요약한 것이다. 검증위원은 M. 시마다(위원장, 일본원자력연구소), V. 첸(미국 제너럴 아토믹사), 엄한섭(미국 해상전술연구소), O. 그루버(독일 막스플랑크연구소), E. 마마(미국 MIT 공대), O. 모또지마(일본 국립핵융합과학연구소), 이문종(미국 메릴렌드대), Y. 시모무라(국제열핵융합실험로)이다. 검증 평가위원은 각 분야의 전문가이며 $\ulcorner$KSTAR 물리적 타당성 검증 문서$\ulcorner$ 및 발표 자료를 기초로 검증하였다.