• Title/Summary/Keyword: vending machine model

A Study on the comparison of models for teaching the concept of function (함수개념 지도를 위한 모델 비교 연구)

• Heo, Hae-Ja;Kim, Jong-Myung;Kim, Dong-Won
• Journal for History of Mathematics
• /
• v.24 no.4
• /
• pp.97-118
• /
• 2011
• This study aimed finding effective models for the teaching the concept of function. We selected two models. One is discrete model which focuses on the 'corresponding relation of the elements of the sets(domain and range). The other is continuous model which focuses on the dependent relationship of the two variables connected in variable phenomenon. A vending machine model was used as a discrete model, and a water bucket model was used as a continuous model in our study. We taught 2 times about the concept of function using two models to the 60 students (7th grade, 2 classes) living in Taebak city, and tested it twice, after class and about 3 months later. A vending machine model was helpful in understanding the definition of function in the 7th grade math textbook. Also, it was helpful to making concept image and to recalling it. On the other hand, students who used the water bucket model had a difficultly in understanding the all independent variables of the domain corresponding to the dependent variables. But they excelled in tasks making formula expression and understanding changing situations.

Improvement of a Simulink Debugger Capacity for Model Verification (모델 검사를 위한 Simulink 디버거의 기능 개선)

• Kim, Seong-Jo;Lee, Hong-Seok;Choi, Kyung-Hee;Chung, Ki-Hyun
• The KIPS Transactions:PartD
• /
• v.17D no.2
• /
• pp.111-118
• /
• 2010
• In this paper, we describe the implementation of debugger that has advanced features for verifying Simulink model. The debugger provided in Simulink has some boring and repetitive work when verifying complicated Simulink models or complicated scenarios. In order to resolve the problems, this paper addresses the issues on the implementation of debugger that provides features such as a convenient feature to compare the simulation output to the expected output for specific input, to monitor system's behavior at specific time, and coverage report function in some or all input scenarios. The proposed debugger is applied to the vending machine model provided by Matlab, demonstrating its feasibility.