• Journal of Science Education
• /
• v.37 no.1
• /
• pp.131-141
• /
• 2013

The purpose of this study was to find out the effect of the science lesson emphasized creativity and character on the creativity and science related attitudes of elementary school students. To conduct this study, 'Unit 1. Weighing', which is a part of content of 4th grade science text book, was analyzed and 11 science lessons emphasized the elements of creativity and character were developed. One experimental group and one control group of 4th grade students were selected to perform a prior investigation. Then the experimental group attended developed science lessons and the control group attended the traditional science lessons based on the text book and teacher's guide. After conducting lessons, a post investigation was performed for each group and the results were analyzed to produce the following conclusions. First, the science lesson emphasized the creativity and character was more effective than traditional one to improve students' creativity. Especially, fluency, originality and abstractness in sub-elements of creativity, were improved meaningfully. Second, the science lesson emphasized the creativity and character was more effective than traditional one to enhance students' science related attitudes. Especially, in sub-domain, the attitude about scientific research and the application of scientific attitude were enhanced meaningfully. Consequently, science lesson emphasized the creativity and character was thought to have a positive effect on improving the creativity and science related attitudes of elementary students.

• Journal of Educational Research in Mathematics
• /
• v.15 no.4
• /
• pp.375-399
• /
• 2005

In this article, I identified many points of commonness and differences at)feared in the fraction units of three conspicuous textbooks -McLellan, MiC and Korea. After that, 1 evaluated these results with reference to more general didactics on which each text-book is based. A background theory of Mc-Lellan's textbook was Dewey's experientialism, and that of MiC was Freudenthal's realistic mathematics education. Through this study, I have reached the fact that these three textbooks could not exhibit the phenomenological wholeness of fraction. Driven by measuring number model which is very abstractive, McLellan's text-book is disregarding the lower level context. MiC textbook, driven by real context, is ignoring higher level model which is close to rational number concept. From an excess of formulation and practice of algorithm, Korea's textbook is overlooking the real context. It is necessary that a textbook which would display the phenomenological wholeness of fraction is developed.

• Journal of the Korean Data and Information Science Society
• /
• v.26 no.6
• /
• pp.1465-1477
• /
• 2015

In Korea, the word, 'Literary Therapy' can be replaced by 'Bibliotherapy', 'Journal Therapy', 'Writing Therapy', 'Poem Therapy', 'Integrated Literary Therapy', or 'Imaginary-Oriented Poetry Therapy', and so on. This study, intended on people related to literary therapy, uses Q-methodology as useful research method of objectifying abstract concepts which can be perceived differently according to individual experience or perception, to investigate types of literary therapy's subjective perceptions. The result of study can be analyzed by four types: The first type is 'Pursuing Generalization', the second type is 'Considering the Therapist', the third type is 'Emphasizing the Integration', and the forth type is 'Maximizing the literary therapy'. Through this result of the study, we can find the responsibility of literary therapy as a leader of cultural, artistic therapy to break down various pathological situations which contemporary society have.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.2
• /
• pp.19-29
• /
• 2008

In case of unit testing, White-box test can be used to closely check source code and to analyze logic and statement errors. On the other hand, in case of function testing of system level, Black-box test can be mainly used to compare actual and expected results by inputting test data because the scale of function is large. This Black-Box test in system testing level has problem in tracing errors in source code when we find errors. Moreover applying White-box test is not easy for system testing level because the levels of test target are different. Therefore this paper suggests the vertical test method of a practical and integrated system level which can checks up to source code level using White-box test style although it aims to test the highly abstract level like a system function. In addition, the experiment explains how to apply the vertical test by displaying an example which traces from UML specification model to the source code and also shows efficiency of error trace.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.127-129
• /
• 2002

객체지향 디자인 패턴은 아주 작은 재사용 구조로서 객체지향 방법론의 가장 큰 장점인 재사용성과 모듈성을 극대화시켜 실제 구현 과정에서 해결 방안으로 제시 가능한 것으로 이를 적용하면 시스템 개발은 물론 유지 보수에도 큰 효과가 있다. 순공학에서는 디자인 패턴을 이용하는 이점이 명확하지만, 소프트웨어 인공물들 즉, 디자인이나 코드 등에서 디자인 패턴의 사례를 발견하기 위해 사용하는 역공학 기술은 프로그램의 이해, 디자인을 코드로 변환하는 변환성, 코드의 질적 평가 등의 핵심 영역에서 유용하다. 본 논문은 Java 소스 코드를 AOL(Abstract Object Language)이라는 추상객체언어를 이용하여 클래스 특성 추출기 및 패턴 식별기라는 단계를 통해 구조적 디자인 패턴을 추출하는 프로세스에 대하여 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.142-144
• /
• 2006

모델 체킹(model checking)은 자동으로 소프트웨어의 속성을 검증하는 기법으로 그 필요성이 꾸준히 증가하고 있다. 시스템이 특정 속성(property)을 만족하지 않는 경우 모델 체커는 반례(Counterexample)를 생성하게 된다. 반례는 오류가 발생한 원인을 담고 있는 정보로서 오류를 이해하고 수정하는 작업에 많은 도움을 준다. 하지만 반례가 너무 길거나 이해하기 어려운 경우에는 분석에 많은 시간과 자원이 소요되기도 한다. 따라서 자동적으로 반례 안의 오류를 찾아내고 설명을 제공하는 기법의 필요성이 대두되고 있다. 본 논문에서는 추상모델(abstract model)에서 생성된 반례의 오류의 원인을 밝히는 자동화 기법을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.693-696
• /
• 2001

오늘날 분산 컴퓨팅 환경은 사용자들에게 물리적인 위치와 상관없이 신속한 서비스를 제공하는 위치의 투명성이 부각되고 있다. 이를 위해 분산환경에서 객체를 설계하고 구현하는데 따른 표준화 방법으로 OMG에서는 OMA를 도입하여 OMA의 추상객체모델 위에 CORBA를 표준으로 정의하였다. 이러한 분산환경을 기반으로 복잡한 분산 어플리케이션의 개발과 관리의 복잡성을 줄이기 위해서는 객체들을 집합체적인 개념으로 그룹객체에 대한 정의를 필요로 한다. 따라서, 본 논문에서는 그룹객체 정의를 도입하여 현재 분산 시스템의 표준으로 사용하는 CORBA 기반에서 분산된 객체들을 효율적으로 관리할 수 있는 그룹객체 모델 즉, 구조를 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11a
• /
• pp.359-362
• /
• 2002

본 논문에서는 문장추상화와 문장간 개연적 연결상황을 활용한 문단 기준의 문서요약을 생각하였다. 구상한 문단기준 문서요약 방법론은 다음과 같은 절차로 구성되어 있다: (1) 문단의 문장들을 추상화시킨다, (2) 문장구성성분들의 문장간 개연적 연결상황을 확인한다, (3) 연결집중도가 상대적으로 높은 문장을 문단의 화제를 담고 있는 것으로 인정한다. 본 논문에서는 이 과정에서 문장추상화에 필요한 구문분석기와 온톨로지를 구체화하였고, 문장추상기로 설화문장 추상화를 하였다. 그 후 개연성 규칙을 적용하여 문단의 주제문을 선별하였다.

• Proceedings of the Korean Institute of Interior Design Conference
• /
• 2005.10a
• /
• pp.90-95
• /
• 2005

Tradition is defined as cultural qualities of a regional social group a race, which is transmitted from generation to generation through history. The purpose of this study is grasp of the tendencies of expressional methods of korean traditionality in contemporary korean interior design. Therefore, this study analyzed expressional methods of korean traditionality according to observing the cognitive activities in design process of korean primary designer's works. As a result, it seem that expressional methods of korean traditionality using a traditional space construct and properties of materials.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.1183-1185
• /
• 2010

2005년 중국의 Wang 등이 SHA-1의 충돌쌍 공격에 대한 취약성을 발표한 이후 미국의 NIST(National Institute of Standards and Technologies)에서는 새로운 표준 해쉬 함수에 대한 필요성을 제기하였으며, SHA-3로 사용될 새로운 해쉬 함수를 공모하게 되었다. 전세계에서 64개의 후보들이 제안되었으며, 1라운드가 끝난 2010년 현재 14개의 후보들에 대한 2 라운드 심사가 진행중이다. 본 논문에서는 ASIC(Application Specified Intergrated Circuit) 설계 과정에서 설계 대상의 전력 소모량을 추정하는 과정을 소개하고, 이를 이용해 SHA-3 후보들의 H/W 구현들에 대해서 전력 소모량을 추정하여 결과를 제시한다.