• Journal of the Korea Society for Simulation
• /
• v.22 no.1
• /
• pp.21-30
• /
• 2013

A hybrid system is a combination of sub systems which have different types of state and time: a typical example is a combination of discrete event and continuous systems. A HDEVS(Hybrid DEVS) formalism was proposed for modeling and analyzing a hybrid system. The HDEVS formalism allows modelers to construct a hierarchical and modular model based on the mathematical set theory. Because the HDEVS formalism was applied to the distributed and interoperated simulators, modelers should make several heterogenous models dividing a target system. Hence, this paper proposes an extended hybrid coupled model of HDEVS formalism and an integrated hybrid modeling methodology in contrast to the existing simulation framework on interoperable simulators. By applying the proposed modeling method, a target system can be translated to a hybrid model in a similar form as the target system. This paper also contains a simulation engine design for the proposed modeling methodlogy and a case study which simulates water tank control systems.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2017.05a
• /
• pp.423-425
• /
• 2017

When many space launchers and rockets need to be separated, the pyrotechnic separators have been widely used because of their high reliability and high energy generation. However, intensive pyroshock and debris from the high-explosive type separator may cause fatal damage to the equipment inside of the space launchers or rockets. To solve this problem, a pressure-cartridge type low-impact separator has been developed. In this study, one of the low-impact separators, the split-type pyrolock, was used. We established a mathematical model for the split-type pyrolock that simulates the state of combustion gas and the separation behavior of four independent internal components and verified the mathematical model through comparing with experiment results.

• Journal of the Korean School Mathematics Society
• /
• v.16 no.4
• /
• pp.863-882
• /
• 2013

Shanghai has been reported as the highest performing countries(economies) in PISA 2009 and PISA 2012. In this reason, we reviewed literatures related to educational system of Shanghai focusing on the mathematics education. Additionally, we analysed the results of PISA 2009 of mathematics domain between Korea and Shanghai to compare some differences between two countries. As a result, we discovered the followings: 1) Comparing with Shanghai students, Korea students attained low performance in every sub-categories of mathematics abilities indicated in the PISA framework. 2) In PISA 2009 Framework, Korea students produced low achievement than Shanghai students in sub-categories of "reflection". 3) In PISA 2012 Framework. Korea students attained low performance than Shanghai students in sub-categories of "formulating". Consequently, it gave us insight into the idea that school mathematics in Korea should use authentic context to help students improve their competencies "reflection" and "formulating".

• Proceedings of the KSR Conference
• /
• 2007.11a
• /
• pp.1731-1737
• /
• 2007

This paper considers subway routing problem. Given a schedule of train to be routed by a railway stock, the routing problem determines a sequence of trains while satisfying turnaround time and maintenance restrictions. Generally, the solution of routing problem is generated from set partition formulation solved by column generation method, a typical integer programming approach for train-set. However, we find the characteristics of metropolitan subway which has a simple rail network, a few end stations and 13 departure-arrival patterns. We reflect a turn-around constraint due to spatial limitations has no existence in conventional railroad. Our objective is to minimize the number of daily train-sets. In this paper, we develop two basic techniques that solve the subway routing problem in a reasonable time. In first stage, we formulate the routing problem as a Min-cost-flow problem. Then, in the second stage, we attempt to normalize the distance covered to each routes and reduce the travel distance using our heuristic approach. Applied to the current daily timetable, we could find the subway routings, which is an approximately 14% improvement on the number of train-sets reducing 15% of maximum traveling distance and 8% of the standard deviation.

• School Mathematics
• /
• v.7 no.1
• /
• pp.77-101
• /
• 2005

This study is a discussion of the teaching and learning of discrete mathematics in school mathematics. In this study, we summarized the importance of discrete mathematics m school mathematics. And we examined instruction methods of discrete mathematics expressed in the 7th mathematics curriculum. On the basis of analysis for teaching cases in previous studies, we proposed four suggestions to organize discrete mathematics classroom. That is as follows. First, discrete mathematics needs to be introduced as a mathematical modeling of real-world problem. Second, algorithm learning in discrete mathematics have to be accomplished with computer experiments. Third, when we solve a problem with discrete data, we need to consider discrete property of given data. Forth, discrete mathematics class must be full of investigation and discussion among students. In each suggestion, we dealt with detailed examples including educational ideas in order to helping mathematics teacher orgainzing discrete mathematics classroom.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.10a
• /
• pp.591-594
• /
• 2004

항공기 정비는 고도의 기술과 많은 노력, 시간을 필요로 한다. 첨단화 되어가는 항공무기체계에 따라 정비작업도 고도화되어 가면서 시간과 작업량이 늘어나게 되고 정비사 부족 문제를 않고 있는 현시점에서는 업무량은 과중되어 질 수 밖에 없다. 하지만 현재 공군에서는 보다 체계적이고 효율적인 정비사들의 업무 할당에 대한 시스템이나 절차가 없었다. 본 연구는 항공기의 비행스케줄에 따른 정비사들의 정비 시간을 균등히 할당함으로써 업무의 효율을 높이고 향후 정비사들의 스케줄 관리를 위한 지침을 제공하는데 그 목적이 있다. 현재 공군에 있는 실질적인 자료를 가지고 실험을 하여 입력 자료에 대한 현실성을 보다 높였으며, 수학적 모델링을 통하여 구축된 스프레드시트 모형을 가지고 인원할당과 근무시간 할당을 위한 최적의 시스템을 palisade사의 evolver를 사용하여 구축하였다.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.23 no.1
• /
• pp.41-48
• /
• 2009

This paper presents an Neural Network(NN) controller for Maximum Power Point Tracking (MPPT) of PV supplied DC motor. A variation of solar irradiation is most important factor in the MPPT of PV system. That is nonlinear, aperiodic and complicated. NN was widely used due to easily solving a complex math problem. Proposed photovoltaic system consists of NN, DC-DC converter, DC motor and load(cf, pump). NN algorithm apply to DC-DC converter through an Adaptive control of Neural Network, calculates Converter-Chopping ratio using an Adaptive control of NN. The results of an Adaptive control of NN compared with the results of Converter-Chopping ratio which are calculated mathematical modeling and evaluate the proposed algorithm. The experimental data show that an adequacy of the algorithm was established through the compared data.

• Proceedings of the KIPE Conference
• /
• 2007.11a
• /
• pp.18-20
• /
• 2007

3상 계통 연계 형 인버터 시스템은 낮은 THD를 가지는 계통 전류를 공급해주기 위해 LCL 필터를 사용한다. LCL 필터를 사용하는 가장 큰 장점은 낮은 스위칭 주파수에서도 만족할 만한 수준의 THD를 가지는 계통 전류를 생성시킬 수 있다는 점이다. 반면에, 단점은 LCL필터를 포함하는 계통 연계 형 인버터 시스템의 전달함수에 하나의 공진 극점이 존재한다는 점이다. 이것은 계통 전류 제어 loop에서, 안정성 문제에 영향을 미친다. 정확한 제어를 위해서 시스템의 전달함수는 필수적이다. 여기서 중요한 점은 많은 저자들이 시뮬레이션과 실험을 할 때, 중성점이 없는 회로에서 행하지만 회로 해석을 할 때에는 중성점이 있는 회로에서 해석을 한다는 점이다. 그래서 우리는 등가 델타회로에서 LCL 필터를 포함한 전체 시스템의 수학적인 모델을 제안한다. 이 모델은 모든 인덕터와 커패시터의 기생 저항을 고려한다. 또한 이 논문은 계통 전류를 제어하기 위한 제어기의 해석적인 설계 절차를 포함한다. 제안한 수학적인 모델을 입증하기 위해, PSIM을 통한 시뮬레이션과 Simulink를 통한 시뮬레이션 결과를 비교하였다.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.20 no.3
• /
• pp.273-282
• /
• 2002

Although the influence of GIS has been proved in a variety of applications, there also have been some research issues about that the coupling of GIS with other mathematical or engineering tools is necessary to meet various needs of specialized problem domains. Linear Programming, a mathematical technique used in optimal distribution of given quantity, can enhance its usability by integrating with GIS since LP basically does not include means to deal with spatial data. The limitation of the traditional LP technique is that it requires explicitly defined conditions, which is impractical or impossible in such decision making processes as in land use problems that use less crisp decision factors. This study develops a method to incorporate such fuzzy situations by integrating Fuzzy-LP that employs fuzzy logic and GIS. The GIS provides data to or displays data from the Fuzzy-LP processes in the integrated system. This methodology is illustrated to solve a land use distribution problem.

• The Mathematical Education
• /
• v.59 no.1
• /
• pp.63-80
• /
• 2020

This study analyzed 3,114 articles published in KCI journals and 1,636 articles published in SSCI journals from 2000 to 2019 in order to compare domestic and international research trends of mathematics education using a topic modeling method. Results indicated that there were 16 similar research topics in domestic and international mathematics education journals: algebra/algebraic thinking, fraction, function/representation, statistics, geometry, problem-solving, model/modeling, proof, achievement effect/difference, affective factor, preservice teacher, teaching practice, textbook/curriculum, task analysis, assessment, and theory. Also, there were 7 distinct research topics in domestic and international mathematics education journals. Topics such as affective/cognitive domain and research trends, mathematics concept, class activity, number/operation, creativity/STEAM, proportional reasoning, and college/technology were identified from the domestic journals, whereas discourse/interaction, professional development, identity/equity, child thinking, semiotics/embodied cognition, intervention effect, and design/technology were the topics identified from the international journals. The topic related to preservice teacher was the most frequently addressed topic in both domestic and international research. The topic related to in-service teachers' professional development was the second most popular topic in international research, whereas it was not identified in domestic research. Domestic research in mathematics education tended to pay attention to the topics concerned with the mathematical competency, but it focused more on problem-solving and creativity/STEAM than other mathematical competencies. Rather, international research highlighted the topic related to equity and social justice.