• Journal of Korean Home Economics Education Association
• /
• v.27 no.1
• /
• pp.51-65
• /
• 2015

The purpose of the study was to describe the operating status of "Logic and Writing in Home Economics Education(HEE)" course and the students' perception about the course. For this study, the syllabuses of "Logic and Writing" course in HE education department were reviewed. The survey method was used in this descriptive study. Respondents in this study were 116 students taking the "Logic and Writing in Home Economics Education" course. Questionnaires from the students were collected through on-line and off-line mail. The results of the study were as the follows: First, goals of the "Logic and Writing in HE Education" course were as the follows in order: to enhance writing skill about various subjects related to Home Economics; to foster HE teachers' professionalism through persuasive power logically; to foster writing skill logically; to prepare HE teacher recruitment exam; and to foster teaching skills to enhance students' writing. The student evaluation methods in the course were mainly attendance, examination, tasks, discussion and presentation, and class participation. Second, degree of satisfaction of students taking the course was higher than average. The student respondents perceived that the course was helpful to improve their logical thinking and critical analytical skill, writing skill related to HE education and education, ability to express one's opinion clearly and exactly, understanding of the fundamental concept of logic and the structure and method of the essay, comprehensive understanding of HE education, and ability to solve the problems specifically. However, they responded that it was difficult to practice writing, to discuss and debate frequently, to follow uncertain assessment criteria, and to present frequently. They wanted the instructor to give the feedback more frequently.

• Journal of The Korean Association For Science Education
• /
• v.21 no.4
• /
• pp.677-688
• /
• 2001

The purposes of this study are to investigate the school science high achievers' achievements in enrichment physics, logical thinking level, and to analyze the relationship between logical thinking level and the achievement in enrichment physics of high achievers in science. The subjects were 357th and 8th graders who achieved highly in school science. To assess their achievements in enrichment physics, we developed a new test consisting of descriptive problems which were based on middle school curriculum. Those problems require one or two steps of thinking process, not simple knowledge of science. To assess logical thinking level, we used the instrument called GALT(Group Assessment of Logical Thinking) developed by Roadranka et al. The results showed that the school science high achievers' average achievement in enrichment physics was low, 56.3 out of 150, which indicated that they had not done much of enrichment learning beyond middle school science curriculum. Just only 54% of the school science high achievers are in formal logical thinking level. From the analysis of relationship between their logical thinking level and the achievement in enrichment physics, the value of the correlation coefficient was 0.174, which means that they are not almost correlated. Therefore, it is not desirable to judge science gifted children just from achievement in school science or enrichment physics, so both(logical thinking and the achievement in enrichment physics) tests should be taken for selecting gifted student.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.372-377
• /
• 2006

유비쿼터스 컴퓨팅 시대의 도래와 시맨틱 웹에 대한 관심이 높아짐에 따라 관련 기술인 온톨로지와 이를 이용한 추론 기술에 대한 요구가 증가하고 있다. 따라서, 추론이 가능한 시맨틱 웹 기반의 모델링과 추론에 대한 연구가 필요하다. 모델링을 위해 사용되는 OWL-DL과 임의의 사용자 규칙을 표현하는 SWRL은 각각 W3C의 표준안으로서, 유비쿼터스 컴퓨팅 환경에 효율적으로 자동적인 개인화 서비스[1][2]를 제공하는데 있어서 적합하다. 그러나 OWL-DL과 SWRL의 단순한 결합은 질의응답(Query Answering)에 대한 처리가 비결정 가능한(undecidable) 문제를 야기한다. 본 논문에서는, 비결정가능성 문제의 원인인 무한반복의 가능성을 제거하기 위한 블록(blocking) 방법을 제안한다. OWL-DL이 지닌 서술논리(Description Logic)의 표현력을 유지하고, 그에 따른 추론의 질적인 성능을 유지하는 범위에서 블록방법을 사용하여 결정 가능한 질의응답을 수행하는데 궁극적인 목적을 두고 있다. OWL-DL의 TBox에 위치하는 존재 정량자(Existential Quantifier)를 대체하고 ABox에 삽입하여, 무한반복의 가능성을 없애는 해결 방법을 제시한다. 실험은 비결정가능성 문제를 DL-Safe 규칙을 통해 해결한 KAON2와 비교하여 진행한다.

• Journal of KIISE:Software and Applications
• /
• v.34 no.6
• /
• pp.530-538
• /
• 2007

Most existing deductive engines study for optimization of TBox based on Tableaux algorithm. However, in order to deduce mass-storing ABox in reality, it can't be decided in finite time. Therefore, for the efficiency of the deductive engine, there needs to be reasoning technique optimized for ABox. This paper uses the method that changes OWL-DL based Ontology to the form of Rule like Datalog in order to interlock store device such as RDBMS. Ultimately, it tries to in circumstance of real world. Therefor, using Axiom that OWL holds, it suggests reasoning method that applies rules including datatype.

• Spatial Information Research
• /
• v.7 no.2
• /
• pp.191-207
• /
• 1999

Data and information necessary for solving the spatial decision making problems are imperfect or inaccurate and most are described by natural language. In order to process these arts of information by the computer, the obscure linguistic value need to be described quantitatively to let and computer understand natural language used by humans. For this , the fuzzy set theory and the fuzzy logic are used representative methodology. So this paper describes the construction of the language model by the natural language that user easily can understand and the logical concepts and construction process for building the fuzzy inference mechanism. It makes possible to solve the space related decision making problems intellectually through structuring and inference used by the computer, in case of the evaluation concern or decision making problems are described inaccurate, based on the inaccurate or indistinct data and information.

• Review of KIISC
• /
• v.19 no.4
• /
• pp.44-52
• /
• 2009

2005년 중국의 Wang 교수 연구팀에 의해 SHA-1에 대한 충돌쌍 공격이 발표됨에 따라, SHA-1 대신 SHA-2를 사용하도록 하였다. 아직까지 SHA-2에는 SHA-1과 같은 문제점이 발생하지 않고 있지만, SHA-1과 설계 논리가 유사한 SHA-2에 문제점이 생겼을 경우 대체 알고리즘이 부재한 현 상황에 따라 SHA-3 알고리즘 개발의 필요성이 제기되었다. 이에 미국 국립기술 표준원 (NIST, National Institute of Standards and Technologies)는 신규 표준 해쉬 알고리즘을 개발을 위하여 2007년부터 2012년까지 6년간의 "SHA-3 프로젝트"를 시작하였다. 2008년 11월 1일 64개의 알고리즘이 제출되었으며, 12월 11일 51개의 알고리즘이 1 후보 알고리즘으로 선정되었다. 2009년 7월 현재, 10개의 알고리즘이 제안자에 의해 철회되어 41개의 알고리즘이 1 라운드에서 심사되고 있다. 본 논문에서는 SHA-3 개발의 요구 사항과 현재까지 SHA-3 개발 동얄을 서술한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.521-524
• /
• 2007

추론 기반의 온톨로지 구축은 시맨틱 웹 응용의 구현을 위한 최소 요건이다. 그러나 현재 시맨틱 웹응용에 적용된 대부분의 온톨로지들은 추론을 통한 지식의 재사용을 제공하지 못하며, 이는 시맨틱 웹응용의 발전에 많은 지장을 주는 요인이다. 따라서 본 연구는 서술 논리와 규칙 언어로 표현된 추론 기반의 웹 온톨로지를 구축하고, 이를 지능형 이미지 검색에 적용하였다. 추론 엔진을 이용한 지능형 이미지 검색 결과 실험으로, 추론 기반의 웹 온톨로지와 주석 기반의 웹 온톨로지를 이미지 검색 시스템에 적용하였으며, 추론 기반의 웹 온톨로지를 적용한 검색 결과가 재현율과 정확율에 있어 더욱 우수한 성능을 보여주었다.

• Proceedings of the Korea Society for Energy Engineering kosee Conference
• /
• 2003.05a
• /
• pp.391-398
• /
• 2003

지금까지 전범위 시뮬레이터에 의해 이루어진 원자력 및 화력발전소에서의 운전원교육은 실제 발전소 주제어실과 유사한 상황을 전개한다는 장점을 가지고 있으나, 주요 계통 및 기기에 대한 설명을 위해서는 교과서를 공유하거나, 강사의 지식을 칠판에 서술하는 방법으로만 진행되어 왔다. 전력연구원은 이러한 교육을 상당부분 강의실 컴퓨터를 이용하여 수행할 수 있다는데 착안하여 강의실용 가상발전소 교육훈련 시스템(VRPLANT)을 개발하였다. VRPLANT는 3차원 웹(Web) 기술을 적용하여 발전소 건물, 건물내의 주요기기 등을 3차원 가상공간에서 구축하여 Navigation할 수 있도록 하였으며, 주요기기에 대해서는 엔지니어링 데이터베이스가 연동되어 있어서 이동 중에 특정 기기를 선택하면 P＆ID, 논리도면, 기술설명서 등을 참조해 볼 수 있도록 개발하였다. 또한 기기들은 모니터상에서 분해 및 조립이 가능하여 기기의 형태, 내부구조 및 동작원리 등을 용이하게 이해할 수 있도록 하였다.

• Annual Conference on Human and Language Technology
• /
• 1999.10e
• /
• pp.242-248
• /
• 1999

이 논문은 지역적 동사구 분할에 바탕을 두고 서술어가 문말에 위치하는 언어에 특성에서 기인하는 속성을 반영하는 부분적 그러나 빠른 구문분석에 관해 논한다. 즉 완벽성 보다는 신속함 그리고 신뢰에 바탕을 둔 새로운 한국어 구문분석에 대해 논의한다. 기존의 문법이론 대신 한국어의 형태적 통사적 특성에 기인한, 성분들의 분할(partitions)에 의한 단위 (chunks) 분석방법을 제안한다. 근간은 동사구 장벽(VP-barrier) 알고리즘이며, 이 알고리즘은 한 문장안에서의 다양한 동사의 파생접사에 의해 형성되는 관형화, 명사화, 부사화 등의 파생구조와 내포된 동사구(인용문, 종속문 등)에 의해 형성되는 지역적 동사구내에서 그 성분들의 논리적인 분할을 구성하고 다시 그 다음 요소와 체계적으로 결합하는 관계로 확장하여 가능한 구조들을 생성한다. 다시 언어의존적인 발견적 규칙(heuristics)들을 점수화하여 가장 높은 점수의 단위구조를 적격한 구조로 선택한다. 이 방법은 하위범주화 및 의미정보를 사용하지 않는, 빠른 구문분석이 요구되는 시스템을 위해 고안되었으며, 집단적인 노력이 아닌 개인적인 노력 및 최소의 자원으로도 최대의 효과를 얻을 수 있다는데 그 의의가 있다.

• Communications of Mathematical Education
• /
• v.13 no.1
• /
• pp.265-274
• /
• 2002

이 프로젝트는 수학 수업 중 ‘추론’과 ‘증명’에 관련된 "문제해결과정"에 관심을 가지고, 처음 증명문제를 접하는 독일 7학년 학생들을 대상으로 문제해결능력에 필요한 요인들, 즉, 문제 해결을 위한 수학적 기본지식, 해결된 문제에 대한 인지정도, 논리적 사고 등을 관찰 분석하고 수학교사의 수학에 대한 신념(Beliefs)과 수업 방식이 학생들의 문제해결에 미치는 영향을 조사하는 것에 그 목적을 둔다. 이 프로젝트의 일부의 결과로써, 본 논문에서는 학생들 개개인의 문제해결과정과 그 능력, 그리고 수학에 대한 신념을 서술하고, 수학교사와 학생들의 서로 다른 수학에 대한 신념을 비교 분석한다.