• 대한전기학회논문지
• /
• 제39권1호
• /
• pp.16-21
• /
• 1990

A Knowledge based expert system is a computer program that emulates the reasoning process of a human expert in a specific problem domain. Expert system has the potential to solve a wide range of problems which require knowledge about the problem rather than a purely analytical approach. This papaer presents the application of knowledge based expert system to power system fault diagnosis. The contents of expert system develpped in this paper is judgement of fault section from a given alarm sets and production of all possible hypothesis for the single fault. Both relay failures and circuit breaker failures are considered simultaneously. Although many types of relay are used in actual system, experts recognize ones as several typical signals corresponding to the fault types. Therefore relays are classified into several types. The expert system is written in an artificial intelligence language "PROLOG" . Best-first search method is used for problem solving. Both forward chaining and backward chaining schemes are used in reasoning process. The application to a part of actual power system proves the availability of the developed expert system.

• 한국수학사학회지
• /
• 제17권3호
• /
• pp.109-120
• /
• 2004

이 연구는 학과 과제와 기말 프로젝트에 있는 문제들 중에서 컴퓨터를 활용하여 수학적 문제 해결을 해 가는 세 명의 예비 교사를 연구 조사하였다 모든 연구 참여자들의 활동과 컴퓨터를 활용한 문제 해결 과정을 관찰하고 촬영하였다. 가능한 경우 예비 교사들의 탐구활동 전과 후 및 탐구활동 중에 개별적인 면담을 하였다. 자료수집 방법은 관찰, 면담, 현장 기록, 제출과제, 컴퓨터 작업, 오디오와 비디오 테이프를 사용하였다. 수학적 문제 해결 초기 단계에서는, 모든 연구 참여자들이 그래프와 데이터를 사용하여 모델 만들기, 사인 함수의 일반적 개념에 대하여 절차적 지식과 개념적 지식이 약하게 형성되어 있었으나 컴퓨터를 활용한 수학적 문제 해결 활동을 통하여 그들은 절차적 지식과 개념적 지식을 강하게 구성하였고 그들을 적절하게 연계시킬 수 있었다

• 융합정보논문지
• /
• 제11권2호
• /
• pp.31-40
• /
• 2021

블록체인 기술이 부동산 거래분야에서도 활발히 연구되고 있으며 부동산 거래는 다양한 방법이 있다. 본 논문에서는 오프라인상 법원 경매의 문제점을 해결하기 위해 이더리움의 Ether를 사용하여 경매 시스템의 인증 절차를 간소화하는 모델을 제안한다. 제안하는 모델은 이더리움의 Solidity언어로 작성하고 법원에서 매각기일 및 매물의 Meta date를 DApp 브라우저에 등록하고 입찰자는 Meta mask의 Private key를 통해 만들어진 개인의 지갑 주소에 접속한다. 그리고 입찰자는 원하는 매물을 선택, 입찰가격 금액을 입력하여 경매에 참여한다. 입찰자가 원하는 매물의 입찰가격이 가장 높은 입찰자의 기록을 이더리움 테스트 네트워크에 스마트 계약으로 작성하고 블록을 생성한다. 마지막으로 네트워크에서 작성된 스마트 계약은 법원 경매 관리자가 블록체인 네트워크의 모든 노드에 배포하고, 블록체인 네트워크의 각 노드들은 열람 및 계약을 확인할 수 있다. 제안하는 모델의 스마트 계약과 시스템의 성능을 분석한 결과로 이더리움을 이용하는 플랫폼에서 Ether를 생성 및 사용, 그리고 참여로 인해 발생하는 수수료가 있다. Ether의 가치 변화에 따라 매물의 가격에 영향을 끼치며 매번 스마트 계약에서 일정하지 않은 수수료가 발생한다. 하지만 향후 연구에서는 자체 토큰을 발행하여 Ether의 가치 변화에 따른 시세 변동성 문제와 수수료 문제를 해결하며 복잡한 법원경매 시스템을 세분화한다.

• 대한수학교육학회지:수학교육학연구
• /
• 제8권1호
• /
• pp.59-71
• /
• 1998

Recently, most classrooms in Korea are fully equipped with multimedia environments such as a powerful pentium pc, a 43″large sized TV, and so on through the third renovation of classroom environments. However, there is not much software teachers can use directly in their teaching. Even with existing software such as GSP, and Mathematica, it turns out that it doesn####t fit well in a large number of students in classrooms and with all written in English. The study is to analyze the characteristics of problem-solving process and to develop a computer program which integrates the instruction of problem solving into a regular math program in areas of quadratic functions and ellipses. Problem Solving in this study included two sessions: 1) Learning of basic facts, concepts, and principles; 2) problem solving with problem contexts. In the former, the program was constructed based on the definitions of concepts so that students can explore, conjecture, and discover such mathematical ideas as basic facts, concepts, and principles. In the latter, the Polya#s 4 phases of problem-solving process contributed to designing of the program. In understanding of a problem, the program enhanced students#### understanding with multiple, dynamic representations of the problem using visualization. The strategies used in making a plan were collecting data, using pictures, inductive, and deductive reasoning, and creative reasoning to develop abstract thinking. In carrying out the plan, students can solve the problem according to their strategies they planned in the previous phase. In looking back, the program is very useful to provide students an opportunity to reflect problem-solving process, generalize their solution and create a new in-depth problem. This program was well matched with the dynamic and oscillation Polya#s problem-solving process. Moreover, students can facilitate their motivation to solve a problem with dynamic, multiple representations of the problem and become a powerful problem solve with confidence within an interactive computer environment. As a follow-up study, it is recommended to research the effect of the program in classrooms.

• 한국과학교육학회지
• /
• 제11권2호
• /
• pp.67-77
• /
• 1991

In this paper, current research papers on Physics Problem Solving were analyzed according to the types of research purpose, method, subject and content of Physics, by using 3 Proceedings and 4 kinds of Journal, that is, the International Workshop(1983, Paris, France) and Conference (1983, Utrecht, The Netherlands) and Seminar(1987, Cornell University, U. S. A.) on Physics Education, and Journal of Research in Science Teaching (1984-1990) and Science Education (1986-1990). and Inter national Journal of Science Education(l987-1988) and Cognitive Science(1989-1990). There were 98 research papers on Problem Solving and among them 37 papers on Physics Problem Solving were selected for analyzing. The results of analysis are as follows; 1) The studies on Model of Novice Student were 22(59%), And those on Model of Desired Preformance, on Model of learning and on Model of Teaching were all much the same. 2) The theoretical studies were 10(27%), and the experimental ones 27(73%). Among the experimental studies, there were 16(59%) by using the written test, and 7(26%) by using the thinking aloud method. 3) The studies about university students as subjects were 20(54%). Probably, it seems the reason that most of researchers on Physics Problem Solving were professors of university or graduate students. 4) Among the various fields of Physics, the studies on Mechanics were 24(63%) and those on E1ectromagnetics 6(16%). or graduate students.

• Nuclear Engineering and Technology
• /
• 제51권4호
• /
• pp.968-976
• /
• 2019

This paper presents a number of verification case studies for a recently developed sensitivity/uncertainty code package. The code package, ROMUSE (Reduced Order Modeling based Uncertainty/Sensitivity Estimator) is an effort to provide an analysis tool to be used in conjunction with reactor core simulators, in particular the Virtual Environment for Reactor Applications (VERA) core simulator. ROMUSE has been written in C++ and is currently capable of performing various types of parameter perturbations and associated sensitivity analysis, uncertainty quantification, surrogate model construction and subspace analysis. The current version 2.0 has the capability to interface with the Design Analysis Kit for Optimization and Terascale Applications (DAKOTA) code, which gives ROMUSE access to the various algorithms implemented within DAKOTA, most importantly model calibration. The verification study is performed via two basic problems and two reactor physics models. The first problem is used to verify the ROMUSE single physics gradient-based range finding algorithm capability using an abstract quadratic model. The second problem is the Brusselator problem, which is a coupled problem representative of multi-physics problems. This problem is used to test the capability of constructing surrogates via ROMUSE-DAKOTA. Finally, light water reactor pin cell and sodium-cooled fast reactor fuel assembly problems are simulated via SCALE 6.1 to test ROMUSE capability for uncertainty quantification and sensitivity analysis purposes.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제11권1호
• /
• pp.63-72
• /
• 2004

It is known that each natural number can be written uniquely as a sum of Fibonacci numbers with suitably increasing indices. In 1960, Daykin showed that the sequence of Fibonacci numbers is the only sequence with this property. Consider here the problem of representing each natural number uniquely as a sum of positive integers taken from certain sequence allowing a fixed number, $\cal{l}\geq2$, of repetitions. It is shown that the $(\cal{l}+1)$-adic expansion is the only such representation possible.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제44권1호
• /
• pp.67-85
• /
• 2005

This study investigated elementary teachers' subject matter knowledge and pedagogical content knowledge of fractions. The subject for data collection were 12 in-service elementary teachers and data were collected through written test problems. The finding imply that most elementary teachers understand fraction construct as part-whole, show low level of understanding of operator, ratio, and measurement constructions and word problem posing, using models, and developing the algorithms to divide fractions. The research results indicates that experienced teachers possess poor knowledge of fractions against novice teachers.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제4권2호
• /
• pp.11-20
• /
• 2000

This paper presents a formula that relates the optimal exercise boundaries of American call and put options on futures contract. It is shown that the geometric mean of the optimal exercise boundaries for call and put written on the same futures contract with the same exercise price is equal to the exercise price which is time invariant. The paper also investigates the properties of American calls and puts on futures contract.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제10권2호
• /
• pp.89-102
• /
• 2006

The present article is dedicated to discussing the methods of teaching schoolchildren to solve creative problems. A few types of Olympiad problems were chosen as a didactic content of the article. The relevance of the choice receives proper grounding. Explanations are followed by examples from pedagogic practice. The article was written for the use of school teachers and educationalists that are researching the problem of improving creative thinking with schoolchildren.