• Communications of Mathematical Education
• /
• v.37 no.2
• /
• pp.257-276
• /
• 2023

Mathematical modeling can be described as a series of processes in which real-world problem situations are understood, interpreted using mathematical methods, and solved based on mathematical models. The effectiveness of mathematics instruction using mathematical modeling has been demonstrated through prior research. This study aims to explore insights for mathematical modeling instruction by analyzing the metacognitive characteristics shown in the mathematical modeling cycle, according to the mathematical thinking styles of elementary math gifted students. To achieve this, a mathematical thinking style assessment was conducted with 39 elementary math gifted students from University-affiliated Science Gifted Education Center, and based on the assessment results, they were classified into visual, analytical, and mixed groups. The metacognition manifested during the process of mathematical modeling for each group was analyzed. The analysis results revealed that metacognitive elements varied depending on the phases of modeling cycle and their mathematical thinking styles. Based on these findings, didactical implications for mathematical modeling instruction were derived.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.37 no.6
• /
• pp.973-980
• /
• 2017

The purpose of this study is to develop VDFT (Visual Basic based Density-coupled Flow and Transport), a numerical modeling code used to simulate density coupled flow equations used to simulate seawater intrusion in a two dimensional finite difference method. The VDFT code has the advantage of being intuitive and simple to use and has the advantage of utilizing the EXCEL Visual Basic platform, which is widely used for general business purposes. Generally, code developed for numerical simulation can be verified through representative example models called benchmark problem. In this study, we verified the VDFT code using benchmark problem called Henry Problem and Modified Henry Problem as well as two laboratory test data. The results of this study are analyzed the importance of each benchmark problems, validated VDFT code compared to those problems. In conclusion, the possibility of using VDFT code is diagnosed and the direction of future research is suggested.

• The Journal of the Korea Contents Association
• /
• v.20 no.7
• /
• pp.525-533
• /
• 2020

In recent years, the VR-interactive action contents industry, which utilizes five senses of human bodies, has continued to grow through areas such as games, tourism, movies, performances and exhibitions, but it has reached to breaking point by unrealistic visual elements. Therefore, the purpose of this study is to analyze the effect of each evaluation factor based on visual immersion of interactive type of VR action contents to overcome the limitations. For this study, firstly, prior research is reviewed. Secondly, the evaluation factors of visual immersion of interactive type of VR action contents and hypothesis are to be derived. Research finding is that there is no difference to recognize proximity, three-dimensionality, visibility and immersion by gender. Also, in order to influence visual immersion, it is important that 3D modeling of characters and objects must be sophisticated to be fit in with their surroundings and lighting. This makes user to be confused where they are actually in.

• Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
• /
• 2002.10a
• /
• pp.142-148
• /
• 2002

Autonomous underwater vehicles (AUVs) are unmanned underwater vessels to investigate sea environments, oceanography and deep-sea resources autonomously. Docking systems are required to increase the capability of the AUVs to recharge the batteries and to transmit data in real time for specific underwater works, such as repeated jobs at sea bed. This paper presents a visual servo control system for an AUV to dock into an underwater station with a camera mounted at the nose center of the AUV. To make the visual servo control system, this paper derives an optical flow model of a camera, where the projected motions of the image plane are described with the rotational and translational velocities of the AUV. This paper combines the optical flow equation of the camera with the AUVs equation of motion, and derives a state equation for the visual servoing AUV. This paper proposes a discrete-time MIMO controller minimizing a cost function. The control inputs of the AUV are automatically generated with the projected target position on the CCD plane of the camera and with the AUVs motion. To demonstrate the effectiveness of the modeling and the control law of the visual servoing AUV, simulations on docking the AUV to a target station are performed with the 6-dof nonlinear equations of REMUS AUV and a CCD camera.

• Journal of Korean Society of Environmental Engineers
• /
• v.28 no.10
• /
• pp.1082-1089
• /
• 2006

This study describes a methodology to develop a environmental and geographical information system for managing a national scale which is supports the environmental fate modeling. This system was developed via the integration of environmental and geographical information database(DB) and the DB usage software. For the sound environmental management, the DB were constructed by extracting the geometrical figures-such as points, polylines, and/or polygons-based on the geographical information previously developed in Korea. Then it was connected with the environmental information. Based on the Visual Basic Complier, the software can be a useful tool for visualizing the DB, for searching the environmental & geographical information, and supporting the environmental fate modeling.

• 한국전산유체공학회:학술대회논문집
• /
• 2009.04a
• /
• pp.125-129
• /
• 2009

In this paper automatic 3D wing shape modeling program is introduced. The program is developed in Visual Basic based on Net Framework 3.5 environment by using CATIA COM Library, and it is used together with CATIA system to model 3D wings with or without flaps. With this program users can easily construct wing models by specifying geometry parameters which are usually design variables with the aid of easy-to-use GUI environment, and specifying sectional airfoil data is done either by using analytic shape functions such as NACA series airfoils or by providing input files with point data describing the airfoil shape. When all the input parameters are provided, users can either work further with the model in the CATIA system which would be automatically started by the program or save the resultant model in the format of users choice. Unstructured grid generation program is also briefly described which can make grid generation task for a 3D wing easy and efficient one when used together with the wing modeling program by choosing STL format as the model's output format.

• International Journal of Quality Innovation
• /
• v.6 no.1
• /
• pp.74-97
• /
• 2005

IDEF0 is the IEEE standard for functional enterprise modeling and has been used for business process modeling or process mapping in US and Europe. But it does not reflect the potential benefits of modeling and simulation of the dynamic aspects of an enterprise or a system. On the other hand, simulation tools concentrate mostly on the simulation of material flows and are difficult to include information flows and control flows. Additionally, the simulation models that include elements such as queues, event generators and process nodes is a visual interactive representation for the model builder, but is inconvenient for the domain expert. In an attempt to fill that void, we provide an integration of business process and simulation models in this paper. An enhancement of the IDEF0, called parameterized IDEF0, is proposed and its conversion mechanism to network simulation model is developed. Using this methodology, business process models for alternative systems can be evaluated and compared through simulation on time, cost, and quality metrics. As an application of the proposed methodology, economic evaluation of EDI (Electronic Data Interchange) for time-based BPR (Business Process Redesign) is demonstrated. In addition to BPR, the developed methodology may be further integrated with ABC (Activity Based Costing), TQM (Total Quality Management), and economic evaluation of information systems.

• Korean Institute of Interior Design Journal
• /
• v.25 no.6
• /
• pp.70-78
• /
• 2016

This paper aims to describe a case study of parametric interior design based on BIM (Building Information Modeling). As the practical use of BIM-based design grows, its influence expands into the field of interior architecture design. BIM makes possible to check various design plan, reach decision making in an effective way, and change design plan in an efficient method. Therefore, BIM is also promising field in interior architecture design. However, compared to other fields in architecture, engineering, and construction (AEC) industry, there have been less research and projects on BIM in the field of interior architecture. For increasing the feasibility of adapting BIM in interior architecture design, this paper describes a case study-projecting images for designing interior panels using parametric modeling. This process needs elaborate, delicate, and precise steps for harmonious output. For continuous use of building, users look forward to the design which variable and changeable according to user's preference and environment. Therefore, demand for parametric design in the interior design part such as panel pattern design for various decoration is growing. Treated process in this paper deals with an advanced phase which much effective in decreasing time consumption and useless part of process. Finally, this paper suggests the possibility of using BIM in the interior design process and field where BIM can be applied.

• Steel and Composite Structures
• /
• v.23 no.6
• /
• pp.683-690
• /
• 2017

In the stability and sensitivity design and diagnosis approaches, there are various methodologies available. Bond graph modeling by lumping technique is one of the universal methodologies in methodical analysis used by many researchers in all over the world. The accuracy of the method is validated in different arenas. Bond graphs are a concise, pictorial representation of the energy storage, dissipation and exchange mechanisms of interacting dynamic systems, subsystems and components. This paper proposes a bond graph modeling for distributed parameter systems using lumping techniques. Therefore, a steel frame structure was modeled to analyze employing bond graph modeling of distributed system using lumping technique. In the analytical part, the effectiveness of bond graphs to model this system is demonstrated. The dynamic responses of the system were computed and compared with those computed from the finite element analysis. The calculated maximum deflection time histories were found to be comparable. The sensitivity and the stability of the steel frame structure was also studied in different aspects. Thus, the proposed methodology, with its simplicity, can be used for stability and sensitivity analyses as alternative to finite element method for steel structures. The major value brought in the practical design is the simplicity of the proposed method for steel structures.

• Journal of the Korea Society of Computer and Information
• /
• v.15 no.12
• /
• pp.143-150
• /
• 2010

To survive in rapidly changing business environment, the enterprise should adapt its business process to the changing environment. The system integration is an important issue to tackle this challenge. It is unavoidable direction that SOA(Service Oriented Architecture) is accepted as an upcoming IT standard to support flexible business processes and integration. In particular, the integration of business processes and interfaces are important. Therefore, intuitive and easy to implement business process modeling is required. In this paper analyzes business process between enterprises, modeling the service-oriented business process with BPEL to realization level. Also, In this paper suggests that UML is used from high-level business problems to the process of low-level problem for Visual and effectively.