• Title/Summary/Keyword: 형식학습

Search Result 575, Processing Time 0.022 seconds

Elementary Students' Formation of Relational Thinking about Equation - Centered for Web-Based Balance (시선 추적기를 통해 본, 4학년 학생들의 방정식에 대한 관계적 사고 형성 -웹기반 저울을 중심으로)

  • Lee, Mijin;Lee, Kwangho
    • School Mathematics
    • /
    • v.17 no.3
    • /
    • pp.391-405
    • /
    • 2015
  • This study was aimed to investigate how students' relational thinking about equations could be formed by exploring web-based balance. The researchers developed 3 groups of 4 typed 12 equation problems of (a+b+c = d+ _ ) to test 24 4th graders. Pretest and post-test were conducted using Eye-tracker for investigating their eye movements. The researchers interviewed students who were not having distinct strategies to look into their cognitive process. As a result, we can conclude web-based balance helped students to get the concept of the equal sign and to form the relational thinking by the process of comparing both sides, right and left on the basis of fulcrum on balance.

Implementation of a Mobile Sensor Device Capable of Recognizing User Activities (사용자 움직임 인식이 가능한 휴대형 센서 디바이스 구현)

  • Ahn, Jin-Ho;Park, Se-Jun;Hong, Eu-Gene;Kim, Ig-Jae;Kim, Hyoung-Gon
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.46 no.10
    • /
    • pp.40-45
    • /
    • 2009
  • In this paper, we introduce a mobile-type tiny sensor device that can classify the activities of daily living based on the state-dependent motion analysis using a 3-axial accelerometer in real-time. The device consists of an accelerometer, GPS module, 32bit micro-controller for sensor data processing and activity classification, and a bluetooth module for wireless data communication. The size of device is 50*47*14(mm) and lasts about 10 hours in operation-mode and 160 hours in stand-by mode. Up to now, the device can recognize three user activities ("Upright", "Running", "Walking") based on the decision tree. This tree is constructed by the pre-learning process to activities of subjects. The accuracy rate of recognizing activities is over 90% for various subjects.

허숙미(許叔微)의 생애(生涯)와 저서(著書)에 관(關)한 연구(硏究)

  • Choe, Hyeong-Rok;Yun, Chang-Yeol
    • Journal of Korean Medical classics
    • /
    • v.20 no.4
    • /
    • pp.289-296
    • /
    • 2007
  • 통과대허숙미적생애화저서적연구득출여하결론(通過對許叔微的生涯和著書的硏究得出如下結論). 허숙미(1080${\sim}$1154)생어북송(許叔微(1080${\sim}$1154)生於北宋), 활동어북송여남송지간(活動於北宋與南宋之間), 타환실부모(他幻失父母), 내전심어의학학습(乃傳心於醫學學習), 오십삼세시고취과거(五十三歲時考取科擧), 증재관십년(曾在官十年), 내역관역의적유사지대표인물(乃亦官亦醫的儒士之代表人物). 허숙미적저서주요유 "허숙미상한론저삼종" (許叔微的著書主要有 "許菽微傷寒論著三鐘"), 포괄(包括) "상한백증가"("傷寒百證歌"), "상한발미론"("傷寒發微論"), "상한구십론"("傷寒九十論"), "보제본사방"("普濟本事方"), 영외거설환유 "중경삼십육맥법도"("仲景三十六脈法圖"), "치법팔십일편"("治法八十一篇"), "익상한론"("翼傷寒論"), "변류" 등("辯類" 等), 단현이불존(但現已不存). 현금소견적 "유증보제본사방"(現今所見的 "類證普濟本事方"), 역즉"본사방속집"(亦즉"本事方續集"), 수재어단파원윤적"중국의적고" 화구길생적"삼삼의서"(收載於丹波元胤的"中國醫籍考"和구吉生的"三三醫書"), 단요확정시허숙미적서서향유허다의점(但要確定是許叔微的署書향有許多疑點). "상한백증가"시장"상한론"적주요내용화역대의서급각의가적주장화일백수처방("傷寒百證歌"是將"傷寒論"的主要內容和歷代醫書及各醫家的主張和一百首處方), 이칠언가결적형식사성적전저(以七言歌訣的形式寫成的專著), 시현존최조적가결체의서(是現存最早的歌訣體醫書); "상한발미론"공유22론조성("傷寒發微論"共由22論組成), 시천발중오미적상한론참고서(是闡發仲奧微的傷寒論參考書); "상한구십론"유90론조성("傷寒九十論"由90論組成), 시허숙미치료상한병증적의안집(是許叔微治療傷寒病證的醫案集); "유증보제본사방"공유10권25문조성("類證普濟本事方"共由10卷25門組成), 재방373수(載方373首), 시집자기증시험과적처방화의학이론방면적신적영오이저성적(是集自己曾試驗過的處方和醫學理論方面的新的領悟而著成的).

  • PDF

A History of Calculus and the Dialectical Materialism (미적분의 역사와 변증법적 유물론)

  • 조윤동
    • School Mathematics
    • /
    • v.5 no.4
    • /
    • pp.521-540
    • /
    • 2003
  • The processes of mathematics development and the results of it are always those of making a conquest of the circumscription by historical inevitability within the historical circumscription. It is in this article that I try to show this processes through the history of calculus. This article develops on the basis of the dialectical materialism. It views the change and development as the facts that take place not by individual subjective judgments but by social-historical material conditions as the first conditions. The dialectical materialism is appropriate for explaining calculus treated in full-scale during the 17th century, passing over ahistorical vacuum after Archimedes about B.C. 4th century. It is also appropriate for explaining such facts as frequent simultaneous discoveries observed in the process of the development of calculus. 1 try to show that mathematics is social-historical products, neither the development of the logically formal symbols nor the invention by subjectivity. By this, I hope to furnish philosophical bases on the discussion that mathematics teaching-learning must start from the real world.

  • PDF

Player Adaptive GMM-based Dynamic Game Level Design (플레이어 적응형 GMM 기반 동적 게임 레벨 디자인)

  • Lee, Sang-Kyung;Jung, Kee-Chul
    • Journal of Korea Game Society
    • /
    • v.6 no.1
    • /
    • pp.3-10
    • /
    • 2006
  • In computer games, the level design and balance of characters are the key features for developing interesting games. Level designers make decision to change the parameters and opponent behaviors in order to avoid the player getting extremely frustrated with the improper level. Generally, opponent behavior is defined by static script, this causes the games to have static difficulty level and static environment. Therefore, it is difficult to keep track of the user playing interest, because a player can easily adapt to changeless repetition. In this paper, we propose a dynamic scripting method that able to maintain the level designers' intention where user enjoys the game by adjusting the opponent behavior while playing the game. The player's countermeasure pattern for dynamic level design is modeled using a Gaussian Mixture Model (GMM). The proposed method is applied to a shooting game, and the experimental results maintain the degree of interest intended by the level designer.

  • PDF

Research of Verifying the Remote Test Answer Sheets Authentication (원격시험 컴퓨터활용 답안지 진본성 검증에 관한 연구)

  • Park, Kee-Hong;Jang, Hae-Sook
    • Journal of the Korea Society of Computer and Information
    • /
    • v.17 no.3
    • /
    • pp.135-141
    • /
    • 2012
  • Development of the Internet has brought many changes in methods of education and assesment. When enforcing the on-line distance education, the tests to check the outcomes of the learning are taken on the Internet. The current trends of education evaluation are focused on the types of questions and the detachments of exam proctor but verifying the authentication of answer sheet. There are several forms to make answers; selection type, short-answer type, write-out answer type, practical exercise type, etc. All the forms can be done on the Internet except the practical exercise type because the source of the examinee's answer sheet is unreliable. In this paper, we made the verification system to solve the doubt by setting the proved information on the answer sheet. Putting the information down to confirm the authenticity during the exam on the server is distinct character of this system. After the test finished, the system will operate when examinee turn in the answer sheet.

An Automatic Summarization of Call-For-Paper Documents Using a 2-Phase hidden Markov Model (2단계 은닉 마코프 모델을 이용한 논문 모집 공고의 자동 요약)

  • Kim, Jeong-Hyun;Park, Seong-Bae;Lee, Sang-Jo;Park, Se-Young
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.18 no.2
    • /
    • pp.243-250
    • /
    • 2008
  • This paper proposes a system which extracts necessary information from call-for-paper (CFP) documents using a hidden Markov model (HMM). Even though a CFP does not follow a strict form, there is, in general, a relatively-fixed sequence of information within most CFPs. Therefore, a hiden Markov model is adopted to analyze CFPs which has an advantage of processing consecutive data. However, when CFPs are intuitively modeled with a hidden Markov model, a problem arises that the boundaries of the information are not recognized accurately. In order to solve this problem, this paper proposes a two-phrase hidden Markov model. In the first step, the P-HMM (Phrase hidden Markov model) which models a document with phrases recognizes CFP documents locally. Then, the D-HMM (Document hidden Markov model) grasps the overall structure and information flow of the document. The experiments over 400 CFP documents grathered on Web result in 0.49 of F-score. This performance implies 0.15 of F-measure improvement over the HMM which is intuitively modeled.

Design and Implementation of Intelligent Agent based Margin Push Multi-agent System for Internet Auction (인터넷 경매를 위한 지능형 에이전트 기반 마진 푸쉬 멀티에이전트 시스템 설계 및 구현)

  • Lee, Geun-Wang;Kim, Jeong-Jae;Lee, Jong-Hui;O, Hae-Seok
    • The KIPS Transactions:PartD
    • /
    • v.9D no.1
    • /
    • pp.167-172
    • /
    • 2002
  • Recently, some of people are keep in research and development of the further more efficient and convenient auction systems using intelligent software agents in electronic commerce. The purpose of this thesis is that a simple auction system has web bulletin boards, is aided by intelligent agent, and generates pertinent auction duration time and starting price for auction goods of auctioneer into a auction system, then the auctioneer gets the highest margin. The seller who want to sell goods, is using internet sends mail that has information for goods to agent of internet auction system. The agent undertake filtering process for already learned information about similar goods. And it calculate duration time and start price from stored bidding history database. In this thesis we propose a mailing agent system pushing information in internet auction that enables to aid decision for auctioneer about the starting time and price which delivers the highest margin.

A study on the GUI evolution for the OS of personal computer (개인용 컴퓨터 OS를 중심으로 한 GUI변천 연구)

  • 오병근
    • Archives of design research
    • /
    • v.15 no.3
    • /
    • pp.213-222
    • /
    • 2002
  • Graphic User Interface has been playing a great role in giving people easy access of computer. The research of implementing graphic image on the computer display and inventing mouse were the threshold of GUI's birth in 1960s, and those were succeeded to developing the first GUI based-computer at the Xerox research center in 1970s. An education theory for the children and the visual metaphor of real life environment were adapted to implement GUI. They were continuously studied and tested in the beginning of creating the GUI concept and design method. In 1980s, the GUI concept and design method were generally applied to all personal computer development. Apple and Microsoft have led the commercialization of their GUI based-05, and also got their own positions in the market as GUI standards in 1990s. The first research for the GUI based-computer implementation in Xerox has established very clear concept and design methods. This GUI standards are evolving Into more convenient and natural ways in various computing environment and developing technologies these days.

  • PDF

On Teaching Algorithm for Whole-number Division in Measurement and Partition Contexts: Analysis of Korean Math Textbooks and Teachers' Guidebooks (포함제와 등분제 맥락에서 자연수 나눗셈 계산법 지도의 문제)

  • Yim, Jaehoon
    • Journal of Elementary Mathematics Education in Korea
    • /
    • v.17 no.3
    • /
    • pp.395-411
    • /
    • 2013
  • There are two concepts of division: measurement division and partitive or fair-sharing division. Students are expected to understand comprehensively division algorithm in both contexts. Contents of textbooks and teachers' guidebooks should be suitable for helping students develop comprehensive understanding of algorithm for whole-number division in both contexts. The results of the analysis of textbooks and teachers' guidebooks shows that they fail to connect two division contexts with division algorithm comprehensively. Their expedient and improper use of two division contexts would keep students from developing comprehensive understanding of algorithm for whole-number division. Based on the results of analysis, some ways of improving textbooks and teachers' guidebooks are suggested.

  • PDF