• Journal of the Korean School Mathematics Society
• /
• v.15 no.4
• /
• pp.747-770
• /
• 2012

In this study, we develop the mathematical modeling teaching materials focused function units of mathematics textbooks and establish the appropriate teaching and learning model. Using mathematical modeling materials and developed instructional materials for teaching high school students is aimed to improve the academic achievement, mathematical attitude and fear. The problem of this study is as follows : First, between the groups using mathematical modeling and a traditional textbook teaching academic achievement groups showed that there is a difference? Second, between the groups using mathematical modeling and a traditional textbook teaching mathematics between groups showed that there is a difference of mathematical attitude and fear? Third, what are the lessons for the students' responses using mathematical modeling?

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.6
• /
• pp.2013-2020
• /
• 2010

This paper presents a study on the modeling for transparent toaster with a cap of folding type. The toaster was modelled to solve problems of customer's unsatisfaction such as heat loss, input of a piece of dirt, unidentified heating state of sliced toaster. Rapid prototyping was followed by the first modeling, and the second modeling was implemented in order to solve the problems of the first modeling such as interference of holder and door, and the third modeling was developed with a cap of folding type through analysis of assembly and simulation. The 3D modeling tool used in this paper was Pro/Engineer 4.0. The modeling was designed to minimize heat loss and structured with transparent outer case. So the toasting procedure will be identified with the naked eye, and the transparent toaster will improve the customer's aesthetic satisfaction.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.34 no.7
• /
• pp.71-78
• /
• 2006

Sun sensors are frequently implemented by satellites for attitude sensing, due to its simple manufacturability and light weight. A modeling of sun sensors has an important effect on the accuracy of satellite attitude determination. This paper addresses a new modeling of a 2-axis miniature fine sun sensor with improved accuracy. Unlike other previous algebraic modeling methods, the newly suggested physical modeling method takes into account the shadowing effect of the slit thickness. It was shown that a newly proposed sun sensor modeling provides a substantial accuracy improvement of 29% compared to the generic algebraic modeling. The proposed sensor modeling was validated using 2-axis fine sun sensors with FOV(Field of View) of ${\pm}60^{\circ}$ mounted on HAUSAT-2 small satellite, currently under development by SSRL(Space System Research Lab.) at Hankuk Aviation University, Korea.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.265-271
• /
• 1997

A bond graph modeling approach which is equivalent to a finite element method is formulated in the case of the piezoelectric thickness vibrator. This formulation suggests a new definition of the generalized displacements for a continuous system as well as the piezoelectric thickness vibrator. The newly defined coordinates are illustrated to be easily interpreted physically and easily used in analysis of the system performance. Compared to the Mason equivalent circuit model, the bond graph model offers the primary advantage of physical realizability. Compared to circuit models based on standard discrete electrical elements, the main advantage of the bond graph model is a greater physical accuracy because of the use of multiport energic elements. While results are presented here for the thickness vibrator, the modeling method presented is general in scope and can be applied to arbitrary physical systems.

• Proceedings of the IEEK Conference
• /
• 2002.07a
• /
• pp.321-324
• /
• 2002

For a rule-based conversion of Hangout into the Roman alphabet rather than a word-for-word conversion, one must come up with a faultless model for the Korean standard pronunciation rules, which are the basis of the Romanization. It is on this foundation that the Korean-Roman alphabet conversion table can be created. For linguistic modeling using PetriNet, modeling boundary and notation of modeling can be defined. In order to describe PetriNet, which is a dynamic modeling tool, as a static one, one can model the standard Korean pronunciation rules and the Hangout-Roman alphabet notation by conversion into incident matrix Thus, this research attempts to develop a mathematical modeling tool for a natural language using PetriNet, and create a Korean-Roman alphabet conversion table.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.864-867
• /
• 1995

Presented in the paper is a structured approach to modeling automated manufacturing system (AMS) in the form of an event graph. The proposed two-phase procedure for formal modeling is 1) reference modeling by schematic supervisory control modeling and 2) event graph transformation from supervisory control model. Also described is a formal model for a small-sized FMS in the form of an event graph.

• Korean Journal of Geomatics
• /
• v.3 no.1
• /
• pp.23-32
• /
• 2003

Rigorous sensor and dynamic modeling techniques are required if spatial information is to be accurately extracted from video imagery. First, a mathematical model for an uncalibrated video camera and a description of a bundle adjustment with added parameters, for purposes of general block triangulation, is presented. This is followed by the application of invariance-based techniques, with constraints, to derive initial approximations for the camera parameters. Finally, dynamic modeling using the Kalman Filter is discussed. The results of various experiments with real video imagery, which apply the developed techniques, are given.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1991.10a
• /
• pp.469-474
• /
• 1991

Recent interests in intelligent LP modeling aim to support MS/OR-naive users to be able to apply LP models to practical problems without the expert knowledges required. For more generalized LP modeling, a GPS(General Problem Solver)-based approach is suggested in this paper. It identifies modeling process as a means-ends analysis process. In view of this approach, a) we first divide the knowledges into domain specific assertive knowledges(state) and procedural knowledges about LP modeling(operator and macro) for model-domain independence, b) and then generate LP model according to the difference resolution techniques.

• Journal of Magnetics
• /
• v.16 no.4
• /
• pp.386-390
• /
• 2011

This paper deals with the magnetic equivalent circuit modeling and permanent magnet (PM) performance evaluations of a pole changing memory motor (PCMM). We use a coupled transient finite element method (FEM) and Preisach modeling, which is presented to analyze the magnetic characteristics of the permanent magnets. The focus of this paper is on the evaluation of characteristics such as the magnetizing direction and the pole number of the machine under re- and de-magnetization conditions.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.59 no.6
• /
• pp.1126-1130
• /
• 2010

Speech production can be viewed as a filtering operation in which a sound source excites a vocal tract filter. The vocal tract is modeled as a chain of cylinders of varying cross-sectional area in linear prediction acoustic tube modeling. In this modeling the most common implementation assumes equal length of tube sections. Therefore, to model complex vocal tract shapes, a large number of tube sections are needed. This paper proposes a new vocal tract model with unfixed sectionlengths, which uses the reduced lattice filter for modeling the vocal tract. This model transforms the lattice filter to reduced structure and the Burg algorithm to modified version. When the conventional and the proposed models are implemented with the same order of linear prediction analysis, the proposed model can produce more accurate results than the conventional one. To implement a system within similar accuracy level, it may be possible to reduce the stages of the lattice filter structure. The proposed model produces the more similar vocal tract shape than the conventional one.