• Title/Summary/Keyword: Proof learning

Search Result 105, Processing Time 0.022 seconds

Automatic Error Correction of Position Sensors for Servo Motors via Iterative Learning (반복학습기법을 이용한 서코모터용 위치센서오차의 자동 보정)

  • Han, Seok-Hee;Ha, Tae-Kyoon;Huh, Heon;Ha, In-Joong;Ko, Myoung-Sam
    • Journal of the Korean Institute of Telematics and Electronics B
    • /
    • v.31B no.9
    • /
    • pp.57-66
    • /
    • 1994
  • In this paper, we present an iterative learning method of compensating for position sensor error. The previously known compensation algorithms need a special perfect position sensor or a priori information about error sources, while ours does not. to our best knowledge, any iterative learning approach has not been taken for sensor error compensation. Furthermore, our iterativelearning algorithm does not have the drawbacks of the existing interativelearning control theories. To be more specivic, our algorithm learns an uncertain function itself rather than its special time-trajectory and does not reuquest the derivatives of measurement signals. Moreover, it does not require the learning system to start with the same initial condition for all iterations. To illuminate the generality and practical use of our algorithm, we give the rigorous proof for its convergence and some experimental results.

  • PDF

A study on the geometric construction task of middle school according to the mathematics curriculums (교육과정에 따른 중학교 작도 과제의 변화 연구)

  • Suh, Boeuk
    • East Asian mathematical journal
    • /
    • v.36 no.4
    • /
    • pp.493-513
    • /
    • 2020
  • The reason for this study is that the learning content of geometric construction in school mathematics is very insufficient. Geometric construction not only enables in-depth understanding of shapes, but also improves deductive proof skills. In school mathematics education, geometric construction is a very important learning factor, and educational significance is very high in that it can develop reasoning skills essential to the future society. Nevertheless, the reduction of geometric construction learning content in Korean curriculum and mathematics textbooks is against the times. Therefore, the purpose of this study is to analyze the transition of geometric construction learning contents in middle school mathematics curriculum and mathematics textbooks. In order to achieve the purpose of this study, the following studies were conducted. First, we analyze the characteristics of geometric construction according to changes in curriculum and textbooks. Second, we develop a framework for analyzing geometric construction tasks. Third, we explore geometric construction tasks according to the developed framework. Through this, it is expected to provide significant implications for the geometric areas of the new middle school curriculum that will be developed in the future.

Transfer Learning for Caladium bicolor Classification: Proof of Concept to Application Development

  • Porawat Visutsak;Xiabi Liu;Keun Ho Ryu;Naphat Bussabong;Nicha Sirikong;Preeyaphorn Intamong;Warakorn Sonnui;Siriwan Boonkerd;Jirawat Thongpiem;Maythar Poonpanit;Akarasate Homwiseswongsa;Kittipot Hirunwannapong;Chaimongkol Suksomsong;Rittikait Budrit
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.18 no.1
    • /
    • pp.126-146
    • /
    • 2024
  • Caladium bicolor is one of the most popular plants in Thailand. The original species of Caladium bicolor was found a hundred years ago. Until now, there are more than 500 species through multiplication. The classification of Caladium bicolor can be done by using its color and shape. This study aims to develop a model to classify Caladium bicolor using a transfer learning technique. This work also presents a proof of concept, GUI design, and web application deployment using the user-design-center method. We also evaluated the performance of the following pre-trained models in this work, and the results are as follow: 87.29% for AlexNet, 90.68% for GoogleNet, 93.59% for XceptionNet, 93.22% for MobileNetV2, 89.83% for RestNet18, 88.98% for RestNet50, 97.46% for RestNet101, and 94.92% for InceptionResNetV2. This work was implemented using MATLAB R2023a.

A Study on Handwritten Digit Categorization of RAM-based Neural Network (RAM 기반 신경망을 이용한 필기체 숫자 분류 연구)

  • Park, Sang-Moo;Kang, Man-Mo;Eom, Seong-Hoon
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.12 no.3
    • /
    • pp.201-207
    • /
    • 2012
  • A RAM-based neural network is a weightless neural network based on binary neural network(BNN) which is efficient neural network with a one-shot learning. RAM-based neural network has multiful information bits and store counts of training in BNN. Supervised learning based on the RAM-based neural network has the excellent performance in pattern recognition but in pattern categorization with unsupervised learning as unsuitable. In this paper, we propose a unsupervised learning algorithm in the RAM-based neural network to perform pattern categorization. By the proposed unsupervised learning algorithm, RAM-based neural network create categories depending on the input pattern by itself. Therefore, RAM-based neural network for supervised learning and unsupervised learning should proof of all possible complex models. The training data for experiments provided by the MNIST offline handwritten digits which is consist of 0 to 9 multi-pattern.

An Analysis of Types of Errors Found in the Proofs for Geometric Problems - Based on Middle School Course (중학교 기하 증명의 서술에서 나타나는 오류의 유형 분석)

  • Hwang, Jae-Woo;Boo, Deok Hoon
    • The Mathematical Education
    • /
    • v.54 no.1
    • /
    • pp.83-98
    • /
    • 2015
  • By analysing the examination papers for geometry, we classified the errors occured in the proofs for geometric problems into 5 main types - logical invalidity, lack of inferential ability or knowledge, ambiguity on communication, incorrect description, and misunderstanding the question - and each types were classified into 2 or 5 subtypes. Based on the types of errors, answers of each problem was analysed in detail. The errors were classified, causes were described, and teaching plans to prevent the error were suggested case by case. To improve the students' ability to express the proof of geometric problems, followings are needed on school education. First, proof learning should be customized for each types of errors in school mathematics. Second, logical thinking process must be emphasized in the class of mathematics. Third, to prevent and correct the errors found in the proofs for geometric problems, further research on the types of such errors are needed.

An Adaptive Learning Controller for Underwater Vehicle with Thruster Dynamics (추진기의 영향을 고려한 무인잠수정의 적응학습제어)

  • 이원창
    • Journal of the Korean Society of Fisheries and Ocean Technology
    • /
    • v.33 no.4
    • /
    • pp.290-297
    • /
    • 1997
  • Underwater robotic vehicles(URVs) are used for various work assignments such as pipe-lining, inspection, data collection, drill support, hydrography mapping, construction, maintenance and repairing of undersea equipment, etc. As the use of such vehicles increases the development of vehicles having greater autonomy becomes highly desirable. The vehicle control system is one of the most critic vehicle subsystems to increase autonomy of the vehicle. The vehicle dynamics is nonlinear and time-varying. Hydrodynamic coefficients are often difficult to accurately estimate. It was also observed by experiments that the effect of electrically powered thruster dynamics on the vehicle become significant at low speed or stationkeeping. The conventional linear controller with fixed gains based on the simplified vehicle dynamics, such as PID, may not be able to handle these properties and result in poor performance. Therefore, it is desirable to have a control system with the capability of learning and adapting to the changes in the vehicle dynamics and operating parameters and providing desired performance. This paper presents an adaptive and learning control system which estimates a new set of parameters defined as combinations of unknown bounded constants of system parameter matrices, rather than system parameters. The control system is described with the proof of stability and the effect of unmodeled thruster dynamics on a single thruster vehicle system is also investigated.

  • PDF

Development of a Web-based Adaptive System for Learning Pumping Lemma (펌핑 정리 학습을 위한 웹기반 적응형 시스템 개발)

  • Jung, Hyosook;Min, Kyungsil;Park, Seongbin
    • The Journal of Korean Association of Computer Education
    • /
    • v.12 no.5
    • /
    • pp.87-94
    • /
    • 2009
  • This paper presents a Web-based interactive and adaptive learning system that helps students learn the pumping lemma for the family of regular languages. Our system allows the students to proceed with their learning according to their individual differences through Web-Based Instruction and gives them opportunities for the interaction so that they can practice exercise related to the learning and gain feedbacks on the results of the exercises immediately. Especially, the system provides adaptive scaffolding that helps learners understand each step for the proof of the pumping lemma. Unlike existing systems that support learning the pumping lemma, the proposed system defines possible errors in advance and provides appropriate messages for corresponding errors. In addition, the system allows the learners to decompose a string into three parts so that they can understand the pumping lemma precisely.

  • PDF

Deep Learning Structure Suitable for Embedded System for Flame Detection (불꽃 감지를 위한 임베디드 시스템에 적합한 딥러닝 구조)

  • Ra, Seung-Tak;Lee, Seung-Ho
    • Journal of IKEEE
    • /
    • v.23 no.1
    • /
    • pp.112-119
    • /
    • 2019
  • In this paper, we propose a deep learning structure suitable for embedded system. The flame detection process of the proposed deep learning structure consists of four steps : flame area detection using flame color model, flame image classification using deep learning structure for flame color specialization, $N{\times}N$ cell separation in detected flame area, flame image classification using deep learning structure for flame shape specialization. First, only the color of the flame is extracted from the input image and then labeled to detect the flame area. Second, area of flame detected is the input of a deep learning structure specialized in flame color and is classified as flame image only if the probability of flame class at the output is greater than 75%. Third, divide the detected flame region of the images classified as flame images less than 75% in the preceding section into $N{\times}N$ units. Fourthly, small cells divided into $N{\times}N$ units are inserted into the input of a deep learning structure specialized to the shape of the flame and each cell is judged to be flame proof and classified as flame images if more than 50% of cells are classified as flame images. To verify the effectiveness of the proposed deep learning structure, we experimented with a flame database of ImageNet. Experimental results show that the proposed deep learning structure has an average resource occupancy rate of 29.86% and an 8 second fast flame detection time. The flame detection rate averaged 0.95% lower compared to the existing deep learning structure, but this was the result of light construction of the deep learning structure for application to embedded systems. Therefore, the deep learning structure for flame detection proposed in this paper has been proved suitable for the application of embedded system.

Development on e-Learning Standard Technology Frameworks of Digital Convergence for Smart Society (스마트사회의 디지털융복합 이러닝 표준기술 프레임워크 개발)

  • Han, Tae-In
    • Journal of Digital Convergence
    • /
    • v.16 no.11
    • /
    • pp.159-166
    • /
    • 2018
  • The ICT convergence and intelligence information technology has many influences on the whole smart society in the $4^{th}$ industrial revolution era. However, preparations degree of our country is not high as for the intelligence information technology. It is not easy to adopt a new technology on education for cultivating the creative future human resources to match a pace with intelligent smart society. In addition, it is hard work to find and derive the appropriate technology for education because proper and effective proof includes much difficulties. Therefore, this study develop the e-learning standard technology framework through the derivation of educational standard technology element and the suggestion of medium and long term standardization framework for the intelligence information society.

Adaptive Learning Control of Neural Network Using Real-Time Evolutionary Algorithm (실시간 진화 알고리듬을 통한 신경망의 적응 학습제어)

  • Chang, Sung-Ouk;Lee, Jin-Kul
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.26 no.6
    • /
    • pp.1092-1098
    • /
    • 2002
  • This paper discusses the composition of the theory of reinforcement teaming, which is applied in real-time teaming, and evolutionary strategy, which proves its the superiority in the finding of the optimal solution at the off-line teaming method. The individuals are reduced in order to team the evolutionary strategy in real-time, and new method that guarantee the convergence of evolutionary mutations are proposed. It is possible to control the control object varied as time changes. As the state value of the control object is generated, applied evolutionary strategy each sampling time because of the teaming process of an estimation, selection, mutation in real-time. These algorithms can be applied, the people who do not have knowledge about the technical tuning of dynamic systems could design the controller or problems in which the characteristics of the system dynamics are slightly varied as time changes. In the future, studies are needed on the proof of the theory through experiments and the characteristic considerations of the robustness against the outside disturbances.