• East Asian mathematical journal
• /
• v.36 no.2
• /
• pp.147-172
• /
• 2020

The purpose of this study is to provide to understand correctly for teachers and pre-service teachers who have the wrong conception of mathematical modeling. We present the differences modeling problems and general application problems to identify between general application and modeling problems. We propose the entire process from modeling tasks development to solve the problems of mathematical modeling. Additionally, the entire process of the possible solutions was concluded for the presented modeling problems. We proposed what students and teachers should perform at each stage of each phase of the modeling cycle. The concrete tasks were suggested for teachers and students at each phase of modeling cycles, with the specific role of the teacher in the overall process for students' modeling activities.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.1085-1092
• /
• 2003

Proposed in this paper is a standard-compliant business process modeling tool which is based on the UML(Unified Modeling Language) activity diagram and produces an XPDL(XML Process Definition Language) file as an output. The XPDL is a standard process definition exchange format by WfMC(Workflow Management Coalition). To develop an UML/XPDL-based modeling tool, the mapping of modeling elements between activity diagram and XPDL format is conducted after the detailed analysis of each modeling specification. As a result of this mapping, it is revealed that modeling elements of each activity diagram and XPDL must be expanded. So new modeling elements are identified and added to each specification. Based on this mapping, the prototype system is developed, and the usefulness of the developed system is shown through the case study.

• IE interfaces
• /
• v.18 no.3
• /
• pp.221-233
• /
• 2005

e-Manufacturing can be referred to as a system methodology enabling the integration of manufacturing operations and IT technologies to achieve objectives of an enterprise. It is recently regarded as a powerful solution to survive in a chaotic marketplace. While conducting an e-Manufacturing project, we first needed to capture collaborative processes conducted by multiple participants in order to define functions of a system supporting them. However, pervasive process modeling techniques including IDEF3, Petri nets, and UML are not sufficient for modeling collaborative processes. Therefore, we first briefly investigate several process modeling methods including aforementioned modeling methods and ARIS focusing on the collaboration point of view. Then, we propose a new modeling method referred to as Collaborative Process Modeling (CPM) to clearly describe collaborative processes. Also, we develop and illustrate a rule for transforming collaborative process models into Marked Graph models to use the analysis power of the Petri nets. Using CPM empowers us to develop collaborative process models with simple notations, understand and facilitate the realization of the collaboration, and verify models before rushing into the development.

• Journal of Korean Society for Atmospheric Environment
• /
• v.33 no.5
• /
• pp.521-528
• /
• 2017

In the combustion treatment of explosive gases with a high heating value such as $H_2$ and $NH_3$ used in semiconductor and chemical processes, the heat recovery modeling and exergy analysis of the process using the Aspen Plus simulator and its thermodynamic data were performed to examine the recovery of high temperature thermal energy. The heat recovery process was analyzed through this process modeling while the exergy results clearly confirmed that the rigorous reaction mainly occurs in the condenser and the chamber. In addition, the process modeling demonstrated that approximately 95% of the exergy is destructed on the basis of the exergies injected and the exergy being exhausted. Using the exergy technique, which can quantitatively analyze the energy, we could understand the energy flow in the process and confirm that our heat recovery process was efficiently designed.

• Research in Mathematical Education
• /
• v.26 no.3
• /
• pp.253-270
• /
• 2023

This study aims to investigate the extent to which Korean high school textbooks incorporate opportunities for students to engage in the mathematical modeling process through tasks related to exponential and logarithmic functions. The tasks in three textbooks were analyzed based on the actions required for each stage in the mathematical modeling process, which includes identifying essential variables, formulating models, performing operations, interpreting results, and validating the outcomes. The study identified 324 units across the three textbooks, and the reliability coefficient was 0.869, indicating a high level of agreement in the coding process. The analysis revealed that the distribution of tasks requiring engagement in each of the five stages was similar in all three textbooks, reflecting the 2015 revised curriculum and national curriculum system. Among the 324 analyzed tasks, the highest proportion of the units required performing operations found in the mathematical modeling process. The findings suggest a need to include high-quality tasks that allow students to experience the entire process of mathematical modeling and to acknowledge the limitations of textbooks in providing appropriate opportunities for mathematical modeling with a heavy emphasis on performing operations. These results provide implications for the development of mathematical modeling activities and the reconstruction of textbook tasks in school mathematics, emphasizing the need to enhance opportunities for students to engage in mathematical modeling tasks and for teachers to provide support for students in the tasks.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.7 no.1
• /
• pp.173-183
• /
• 2011

Global logistics including Korea had developed at various fields through the developed IT technology. In addition, in changing into Internet based digital economy times, economic and logistics activities became extending into worldwide over the cross-border. Logistics activity performed by off-line rapidly changed in real environment. But, unfortunately business process modeling about the whole logistics was not happened, even though process modeling had done by transport stages or logistics entities. Therefore, it is difficult to grasp the whole logistics. Additional cost and time was requested due to no association between logistics entities and invisibility. So, this paper has to be process modeling for logistics industry domain. For objective modeling, work area shall be divided and it extracts general work process per each area. And then it defines subprocess of general work process. Cargo tracking in logistics industry domain means to grasp the status and present states at transportation or storage stage. This paper defines business process and data model for electronic processed work area using the UN/CEFACT standard modeling methodology.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2002.10a
• /
• pp.954-957
• /
• 2002

The objective of design process modeling is a systematic support of rapid redesign process fur a modified input data. The design process modeling is realized by storing key parameters or geometric entities used in the intermediate design steps and reusing them for change of the designed parts or assemblies according to the modified input. In this paper, we adopted and implemented the design process modeling approach to our injection mold design system developed based on the Unigraphics system. It was proved that the productivity of mold redesign process is raised highly by introducing the design process modeling technique mold design system.

• The KIPS Transactions:PartD
• /
• v.12D no.7 s.103
• /
• pp.1007-1016
• /
• 2005

A key issue for process language design is balancing the need for semantic richness with the need for ease of use. Most process modeling languages fail to satisfy above two conflicting aspects, which is an impediment to the widespread adoption of process modeling languages in the software industry despite of a variety of software process language studies. This paper describes a process modeling language RAiSE attempting to resolve such problem and presents the result of applying RAiSE to a well-known benchmark process, ISPW-6 software process example. RAiSE provides rigorous, yet clear semantics through combing essential features in various modeling paradigms and defining them in a well-structured graphical notation. Process models represented in RAiSE are interpreted and enacted by process engine implemented using CLiPS, a rule based expert system tool.

• Journal of Electrical Engineering and Technology
• /
• v.10 no.3
• /
• pp.1138-1143
• /
• 2015

Effects of fabrication process variations on impedance of microelectrodes integrated on a neural probe were examined through equivalent circuit modeling and SPICE simulation. Process variation and the corresponding range were estimated based on experimental data. The modeling results illustrate that the process variation induced by metal etching process was the dominant factor in impedance variation. We also demonstrate that the effect of process variation is frequency dependent. Another process variation that was examined in this work was the thickness variation induced by deposition process. The modeling results indicate that the effect of thickness variation on impedance is negligible. This work provides a means to predict the variations in impedance values of microelectrodes on neural probe due to different process variations.

• School Mathematics
• /
• v.9 no.4
• /
• pp.467-486
• /
• 2007

In mathematical modeling activity modeling process is usually an iterative process. When model can not be solved, the model needs to be simplified by treating some variables as constants, or by ignoring some variables. On the other hand, when the results from the model are not precise enough, the model needs to be refined by considering additional conditions. In this study we investigate the role of spreadsheet model in model refinement and modeling process. In detail, we observed that by using spreadsheet model students can solve model which can not be solved in paper-pencil environment. And so they need not go back to model simplification process but continue model refinement. By transforming mathematical model to spreadsheet model, the students can predict or explain the real word situations directly without passing the mathematical conclusions step in modeling process.