• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제26권3호
• /
• pp.167-202
• /
• 2023

A central problem of mathematics teaching worldwide is probably the insufficient adaptive handling of tasks-especially in computational practice phases and modeling tasks. All students in a classroom must often work on the same tasks. In the process, the high-achieving students are often underchallenged, and the low-achieving ones are overchallenged. This publication uses different modeling of the tennis serve as an example to show a possible solution to the problem and develops and discusses one adaptive task each for middle school, high school, and college using three mathematical models of the tennis serve each time. From model to model within the task, the complexity of the modeling increases, the mathematical or physical demands on the students increase, and the new modeling leads to more realistic results. The proposed models offer the possibility to address heterogeneous learning groups by their arrangement in the surface structure of the so-called parallel adaptive task and to stimulate adaptive mathematics teaching on the instructional topic of mathematical modeling. Models A through C are suitable for middle school instruction, models C through E for high school, and models E through G for college. The models are classified in the specific modeling cycle and its extension by a digital tool model, and individual modeling steps are explained. The advantages of the presented models regarding teaching and learning mathematical modeling are elaborated. In addition, we report our first teaching experiences with the developed parallel adaptive tasks.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2002년도 춘계학술대회논문집
• /
• pp.253-258
• /
• 2002

This paper proposes a methodology for development of protocol models. The methodology attempts to employ two modeling environments in models development, NS2 and DEVSim++, which will interoperate during simulation. NS2 is a widely used network simulator in protocol research, which employs an informal modeling approach. Within the approach time and state information of protocol models are not explicitly described, thus being hard to validate model. On the other hand the DEVS formalism is a mathematical framework for modeling a discrete event system in a hierarchical, modular manner. In DEVS, model's time and state information is described explicitly, By using DEVS formalism, models can easily be validated and errors in the modeling stage can be reduced. However, the DEVS simulator, DEVSim++, supports a small amount of models library which are required to build simulation models of general communication network. Although NS2 employs an informal modeling approach and models validation is difficult, it supports abundant models library validated by experimental users. Thus, combination of DEVS models and NS2 models may be an effective solution for network modeling. Such combination requires interoperation between DEVSim++ simulator and NS2 simulator. This paper develops an environment for such interoperation. Correctness and effectiveness of the implemented interoperation environment have been validated by simulation of UDP and TCP models.

• 한국건설관리학회논문집
• /
• 제5권5호
• /
• pp.163-171
• /
• 2004

This research investigates a Modeling Spell Checker that, similarly to Word Spell Checker for word processing software, would conform as-built 3D models to standard construction rules. The work is focused on the study of pipe-spools. Specifically pipe diameters and coplanarity are checked and corrected by the Modeling Spell Checker, and elbows are deduced and modeled to complete models. Experiments have been conducted by scanning scenes of increasing levels of complexity regarding the number of pipes, the types of elbows and the number of planes constituting pipe-spools. For building models of pipes from sensed data, a modeling method, developed at the University of Texas at Austin, that is based on the acquisition of sparse point clouds and the human ability to recognize geometric shapes has been used Results show that primitive-based models obtained after scanning construction sites can be corrected and even improved automatically, and, since such models are expected to be used as feedback control models for equipment operators, the higher modeling accuracy achieved with the Modeling Spell Checker could potentially increase the level of safety in construction. Result also show that some improvements are still needed especially regarding the co-planarity of pipes. In addition, results show that the modeling accuracy significantly depends on the primitive modeling method, and improvement of that method would positively impact the modeling spell checker.

• Journal of Computational Design and Engineering
• /
• 제3권2호
• /
• pp.121-131
• /
• 2016

Organic modeling of 3D characters is a challenging task when it comes to correctly modeling the anatomy of the human body. Most sketch based modeling tools available today for modeling organic models (humans, animals, creatures etc) are focused towards modeling base mesh models only and provide little or no support to add details to the base mesh. We propose a hybrid approach which combines geometrical primitives such as generalized cylinders and cube with Shape-from-Shading (SFS) algorithms to create plausible human character models from sketches. The results show that an artist can quickly create detailed character models from sketches by using this hybrid approach.

• International Journal of CAD/CAM
• /
• 제2권1호
• /
• pp.13-21
• /
• 2002

It is not possible to exchange parametric information of CAD models based on the current version of STEP. The design intent can be lost during the STEP transfer of CAD models. The Parametrics Group of ISO/TC184/SC4 has proposed the SMCH schema, which includes constructs for exchange of parametric information. This paper proposes a macro-parametric approach that is intended to provide capabilities to transfer parametric information including design intents. In this approach, CAD models are exchanged in the form of macro files. The macro file contains the history of user commands, which are used in the modeling phase. To exchange CAD models using the macro-parametric approach, the modeling commands of several commercial CAD systems are analyzed. Those commands are classified and a set of standard modeling commands has been defined. Mapping relations between the standard modeling commands and the native modeling commands of commercial CAD systems are defined. The scope of the current version is limited to parts modeling, not assemblies.

• 한국IT서비스학회지
• /
• 제12권3호
• /
• pp.311-321
• /
• 2013

In the community of software engineering, diverse modeling languages are used for representing all relevant information in the form of models. Also many different models such as business model, business process model, product models, interface models etc. are generated through software life cycles. In this situation, models need to be integrated for enterprise integration and enhancement of software productivity. Researchers propose rebuilding models by a specific modeling language, using a intemediate modeling language and using common reference for model integration. However, in the current approach it requires a lot of cost and time to integrate models. Also it is difficult to identify common objects from several models and to update objects in the repository of common model objects. This paper proposes software model integration using metadata model based on Linked data. We verify the effectiveness of the proposed approach through a case study.

• 한국CDE학회논문집
• /
• 제17권4호
• /
• pp.234-245
• /
• 2012

This paper proposes a multi-level product modeling framework for long-term lifecycle products. The framework can help engineers to define product models and relate them to physical instances. The framework is defined in three levels; data, design model, modeling language. The data level represents real-world products, The model level describes design models of real-world products. The modeling language level defines concepts and relationships to describe product design models. The concepts and relationships in the modeling language level enable engineers to express the semantics of product models in an engineering-friendly way. The interactions between these three levels are explained to show how the framework can manage long-term lifecycle product information. A prototype system is provided for further understanding of the framework.

• Industrial Engineering and Management Systems
• /
• 제7권1호
• /
• pp.9-22
• /
• 2008

As an extension of a previous work by the authors (Song and Esogbue, 2006), a new algorithm for automated modeling of nonstationary seasonal time series is presented in this paper. Issues relative to the methodology for building automatically seasonal time series models and periodic time series models are addressed. This is achieved by inspecting the trend, estimating the seasonality, determining the orders of the model, and estimating the parameters. As in our previous work, the major instruments used in the model identification process are correlograms of the modeling errors while the least square method is used for parameter estimation. We provide numerical illustrations of the performance of the new algorithms with respect to building both seasonal time series and periodic time series models. Additionally, we consider forecasting and exercise the models on some sample time series problems found in the literature as well as real life problems drawn from the retail industry. In each instance, the models are built automatically avoiding the necessity of any human intervention.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2005년도 Proceedings of ISRS 2005
• /
• pp.217-220
• /
• 2005

Currently, a number of control points are required in order to achieve accurate geolocation of satellite images. Control points can be generated from existing maps or surveying, or, preferably, from GPS measurements. The requirement of control points increase the cost of satellite mapping, let alone it makes the mapping over inaccessible areas troublesome. This paper investigates the possibilities of modeling an entire imaging strip with control points obtained from a small portion of the strip. We tested physical sensor models that were based on satellite orbit and attitude angles. It was anticipated that orbit modeling needed a sensor model with good accuracy of exterior orientation estimation, rather then the accuracy of bundle adjustment. We implemented sensor models with various parameter sets and checked their accuracy when applied to the scenes on the same orbital strip together with the bundle adjustment accuracy and the accuracy of estimated exterior orientation parameters. Results showed that although the models with good bundle adjustments accuracy did not always good orbit modeling and that the models with simple unknowns could be used for orbit modeling.

• 한국CDE학회논문집
• /
• 제6권4호
• /
• pp.254-262
• /
• 2001

It is not possible to exchange parametric information of CAD (Computer Aided Design) models based on the current version of STEP (Standard leer the Exchange of Product model data). The design intent can be lost during the STEP transfer of CAD models. The ISO Parametrics Group has proposed the SMCH (Solid Model Construction History) schema in June 2000 that includes structures fur exchange of parametric information. This paper proposes the macro parametric approach that is intended to provide capabilities to transfer parametric information. In this approach, CAD models are exchanged in the form of macro files. The macro file contains user commands which are used in the modeling phase. To exchange CAD models using the macro parametric approach, modeling commands of commercial CAD systems are analyzed. Those commands are classified by the grouping method suggested by Bill Anderson. As a neutral file format, a standard modeling commands set has been defined. Mapping relations between the standard modeling commands set and the native modeling commands set of commercial CAD systems are defined.