• East Asian mathematical journal
• /
• 제36권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.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2003년도 춘계공동학술대회
• /
• 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.

• 산업공학
• /
• 제18권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.

• 한국대기환경학회지
• /
• 제33권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.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제26권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.

• 디지털산업정보학회논문지
• /
• 제7권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.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 추계학술대회 논문집
• /
• 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.

• 정보처리학회논문지D
• /
• 제12D권7호
• /
• pp.1007-1016
• /
• 2005

프로세스 모델링 언어 설계에 있어서의 핵심적인 요구사항은 풍부한 기술적 의미론의 제공과 사용의 용이성간의 적절한 균형이다. 기존 프로세스 모델링 언어들은 프로세스 언어가 갖추어야 할 이러한 두 가지 측면을 동시에 만족시키지 못함으로써 그 동안의 다양한 연구에도 불구하고 실제 소프트웨어 산업계에서 널리 사용되지 못하고 있다. 본 논문에서는 이러한 단점을 제거한 프로세스 모델링 언어 RAiSE를 정의하고 이를 잘 알려진 벤치마크 프로세스인 ISPW-6 소프트웨어프로세스에 적용한 결과를 설명한다. RAiSE는 쉽게 이해할 수 있는 그래픽 표기법을 기반으로 하여 다양한 모델링 패러다임들의 필수적인 요소들을 결합시킴으로써 이해하기 쉬우면서도 엄격하고 풍부한 의미론을 제공한다. RAiSE에 의해 작성된 프로세스 모델은 규칙 기반 전문가 시스템 도구인 CLiPS로 구현한 프로세스 엔진에 의해 해석되고 실행된다.

• Journal of Electrical Engineering and Technology
• /
• 제10권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.

• 대한수학교육학회지:학교수학
• /
• 제9권4호
• /
• pp.467-486
• /
• 2007

이 논문은 스프레드시트를 활용한 수학적 모델링에서 스프레드시트 환경이 수학적 모델의 정교화과정에 어떤 영향을 미치는 지를 고찰한 것이다. 좀 더 자세히 살피면 수학적 모델링에서 스프레드시트 모델의 활용은 학생이 분석 불가능한 수학적모델도 분석할 수 있도록 해줌으로써 모델을 단순화하지 않고, 대신 모델을 정교화 할 수 있는 기회를 제공하고 수학적 개념을 확장해 나갈 수 있음을 보였다. 또한 수학적 모델을 스프레드시트 모델로 변환하여, 수학적 모델로부터 수학적 결론을 얻는 단계를 거치지 않고도 실세계 상황을 해석하고 설명할 수 있는 기회를 제공할 수 있음을 보였다.