• Journal of Educational Research in Mathematics
• /
• v.14 no.4
• /
• pp.403-419
• /
• 2004

The perspective on this study assumes that the mathematical modeling activity provides students with the environment which promotes metacognitive thinking. The purposes of this paper are to investigate metacognitive thinking on the mathematical modeling with the result of case study. The study revealed that development of students' model was accompanied with the control and monitoring of modeling activities. Also students refined the model by self-assessment and peer-assessment in small group modeling activities and developed generalizable model.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.1
• /
• pp.67-72
• /
• 2003

In this paper, solar cell array of KOMPSAT 1 was modeled and analyzed. The modeling results of solar array were achieved by neural algorithm, which is a powerful nonlinear system modeling tool. Using solar cell array modeling, the solar cell array was analyzed and verified by simulation considering solar cell data of KOMPSAT 1. The characteristics curves and power generation of the solar array are analyzed by using the modeling.

• Industrial Engineering and Management Systems
• /
• v.7 no.1
• /
• pp.78-89
• /
• 2008

The need for holistic modeling efforts for returns that capture the extended closed loop supply chain (CLSC) system at strategic as well as operational level has been clearly recognized by the industry and academia. Strategic decision-makers need comprehensive models that can guide them in efficient decision-making to increase the profitability of the entire forward and return chain. Therefore, determination of a near optimal design configuration, which includes the environmental, economical and technological capability factors, is important in strategic decision-making effort that affect the profitability of the closed loop supply chain. In this paper, we adopted an improved system dynamics methodology to tackle strategic issues that affect various performance measures, like market, time/cost, environment etc., for closed loop supply chains. After studying real life implementation issues in CLSC design, we presented guidelines for the PBM (Participative Business Modeling) methodology and presented its extension for the strategic dynamic system modeling of return chains. Finally, we demonstrated the measurement of operational performance by extending SD (system dynamic) application to closed loop supply chain management.

• Journal of Electrical Engineering and Technology
• /
• v.2 no.2
• /
• pp.145-151
• /
• 2007

Electric load components have different characteristics according to the variation of voltage and frequency. This paper presents the load modeling of an electric locomotive by the parameter identification method. The proposed method for load modeling is very simple and easy for application. The proposed load model of the electric locomotive is represented by the combination of the loads that have static and dynamic characteristics. This load modeling is applied to the KTX in Korea to verify the effectiveness of the proposed method. The results of proposed load modeling by the parameter identification follow the field measurements very exactly.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.466-468
• /
• 1999

에이전트에 대한 연구는 최근에 들어와 그 응용분야가 점차 확대되어 가고 있으며, 에이전트를 근간으로 하는 소프트웨어도 점점 복잡화, 대형화되고 있는 추세이다. 이에 따라 에이전트를 근간으로 하는 소프트웨어 개발 방식도 좀 더 체계적이며 공학적인 접근이 요구되고 있다. 본 논문에서는 에이전트 기반의 소프트웨어를 효율적으로 모델링하기 위하여 에이전트 추출, Intra agent modeling과 Inter agent modeling 기법과 방법론을 지원하는 Agent-Oriented Modeling Tool에 대해 소개한다. 에이전트 추출은 실세계에 존재하는 객체들로부터 에이전트를 추출하는 방법을 사용했고, Intra agent modeling에서는 에이전트의 내부를 Goal, Belief, Plan, Capability로 나누어 각각의 모델링 방법을, Inter agent modeling에서는 다중 에이전트 시스템에서 에이전트의 Mobile과 에이전트간의 메시지 교환을 중심으로 한 모델링 방법을 제안한다.

• Korean Journal of Remote Sensing
• /
• v.22 no.1
• /
• pp.63-73
• /
• 2006

Currently, in order to achieve accurate geolocation of satellite images we need to generate control points from individual scenes. This requirement increases the cost and processing time of satellite mapping greatly. In this paper we investigate the feasibility of modeling entire image strips that has been acquired from the same orbital segments. We tested sensor models based on satellite orbit and attitude with different sets of unknowns. We checked the accuracy of orbit modeling by establishing sensor models of one scene using control points extracted from the scene and by applying the models to adjacent scenes within the same orbital segments. Results indicated that modeling of individual scenes with $2^{nd}$ order unknowns was recommended. In this case, unknown parameters were position biases, drifts, accelerations and attitude biases. Results also indicated that modeling of orbital segments with zero-degree unknowns was recommended. In this case, unknown parameters were attitude biases.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.446-450
• /
• 1996

본 논문은 Computer Aided Software Engineering (CASE) Tool을 이용할 경우의 Safety Critical 소프트웨어 개발 방법론인 구조적 분석 및 구조적 설계 모델링 방법론을 Teamwork CASE tool의 예를 중심으로 제안하고자 한다. 제시된 사례는 NSIS(Nuclear Safety Information System)으로서 Essential Modeling과 Implementation Modeling을 제시하였는데 Teamwork CASE 환경하에서의 분석 및 설계 절차, 지침 등을 제시하였다. Essential Modeling에서는 NSIS의 MMIS 분석범위 및 External Interface를 제시하는 환경 모델(Environmental Model)과 MMIS의 기능을 계층구조적으로 분할하는 행위모델링(Behaviroal Modeling)을 각각 Context Diagram과 Data Flow Diagram (DFD)으로 그 과정을 제시하였다. Implementation Modeling에서는 Essential Modeling으로 부터 나온 결과물을 토대로 Boss Rule, Transform Rule과 Transaction Rule 등을 거쳐 NSIS MMIS의 설계 근간이 되는 Structured Chart(SC)를 제시하였다. 본 논문에서 제시된 모델링 방법론을 통하여 Safety Critical 소프트웨어 개발시 Teamwork CASE Tool을 활용할 수 있음과 동시에 분실 및 설계의 일치성을 통하여 Safety Critical 소프트웨어의 안전성 확립과 품질보증 목표에 기여할 수 있다.

• International Journal of Internet, Broadcasting and Communication
• /
• v.13 no.1
• /
• pp.238-242
• /
• 2021

Game theory has been regarded as a useful theoretical tool for modeling the interactions between distinct entities and thus it has been harnessed in various research field. In particular, research attention has been shown to how to apply game theory to modeling the interactions between malign and benign entities in the field of wireless networks. Although various game theoretic modeling work have been proposed in the field of wireless networks, our proposed work is disparate to the existing work in the sense that we focus on mobile malign node detection problem in static wireless sensor networks. More specifically, we propose a Bayesian game theoretic modeling for mobile malign node detection problem in static wireless sensor networks. In our modeling, we formulate a two-player static Bayesian game with imperfect information such that player 1 is aware of the type of player 2, but player 2 is not aware of the type of player 1. We use four strategies in our static Bayesian game. We obtain Bayesian Nash Equilibria with pure strategies under certain conditions.

• Journal of the Korean Society for Precision Engineering
• /
• v.12 no.8
• /
• pp.122-130
• /
• 1995

To reduce the shock in shifting, the clutches and the brakes in automatic transmission have to be connected smoothly and disconnected rapidly. It is PCSV(Pressure Control Solenoid Valve) that paly this role of automatic transmission. In this paper, there were two steps in the analysis of the PCSV. The first step was modeling the elctromagnet by the permeance method. The second step was modeling the hydraulic circuit by the pressure differential equa- tion. In addition to this modeling, a experiment was performed and the commercial package program was used in order to justify modeling. The result of modeling coincide with the result of experiment and commercial package program. As a result, this modeling is usable in analysis of dynamic characteristics of the PCSV.

• Journal of Astronomy and Space Sciences
• /
• v.40 no.1
• /
• pp.11-18
• /
• 2023

The ionosphere is one of the key components of the near-Earth's space environment and has a practical consequence to the human society as a nearest region of the space environment to the Earth. Therefore, it becomes essential to specify and forecast the state of the ionosphere using both the observations and numerical models. In particular, numerical modeling of the ionosphere is a prerequisite not only for better understanding of the physical processes occurring within the ionosphere but also for the specification and forecast of the space weather. There are several approaches for modeling the ionosphere, including data-based empirical modeling, physics-based theoretical modeling and data assimilation modeling. In this review, these three types of the ionospheric model are briefly introduced with recently available models. And among those approaches, fundamental aspects of the physics-based ionospheric model will be described using the basic equations governing the mid-latitude ionosphere. Then a numerical solution of the equations will be discussed with required boundary conditions.