• The KIPS Transactions:PartD
• /
• v.13D no.1 s.104
• /
• pp.117-124
• /
• 2006

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.

• Journal for History of Mathematics
• /
• v.20 no.4
• /
• pp.93-104
• /
• 2007

It is well known that a suspension bridge may display certain oscillations under external aerodynamic forces. Under the action of a strong wind, in particular, a narrow and very flexible suspension bridge can undergo dangerous oscillations. The collapse of the Tacoma Narrows suspension bridge caused by a wind blowing at a speed of 42 miles per hour, is one of the most striking examples. In this paper, we study models describing oscillations in suspension bridges and known results.

• Electronics and Telecommunications Trends
• /
• v.11 no.2 s.40
• /
• pp.45-59
• /
• 1996

종래의 현대제어이론은 플랜트의 수학적 모델링이 매우 중요한 역할을 한다. 그러나 비선형 시스템, 선형 시변 등과 같은 복잡한 프로세서는 수학적 모델링을 구성하기가 어렵고 또한 적절한 제어기를 설계하기가 쉽지 않다. 이에 비해, 퍼지제어는 선형시스템은 물론 비선형 시스템 대해 매우 유용한 것으로 알려지고 있다. 본 고는 퍼지논리에 대한 기본적인 개념과 퍼지제어기술에 대하여 서술하였다.

• Journal for History of Mathematics
• /
• v.22 no.1
• /
• pp.53-74
• /
• 2009

Black-out Game(Lightout, Merlin Game, ${\sigma}$+Game) is an interesting game on the chessboard, when you click a button with black or white color, it changes color of itself and other buttons who shares edges. With this rule, we win the game when we have a chessboard with all same color after we click some of the buttons of it. Pretty much of research has been made on founding the winnable strategy for this type of game. In this paper, we first introduce a history of mathematical modeling on this game. Then we develop an algorithm to offer a winnable blackout game of any size. Our tools also show our new algorithm works. Finally, we show how we can use this game in mathematics education.

• Journal of the Korea Society of Computer and Information
• /
• v.25 no.2
• /
• pp.241-250
• /
• 2020

In this paper, we propose a direction of teaching method for future generations. In order to suggest such the direction, teaching and learning materials that integrate coding activities and mathematical modeling were developed through top-down and bottom-up processes. Coding and engineering experts and mathematics education experts developed teaching and learning materials through councils (top-down courses) and applied them to 24 high school first graders based on student responses (bottom-up courses). Additionally, the developed curriculum helped students increase interest and motivation and realize conceptual understanding, problem posing, and problem solving in mathematics. On the basis of these results, it provided an idea about how to develop curriculum combining mathematical modeling with coding activities, needed for the fourth industrial revolution.

• The Mathematical Education
• /
• v.50 no.2
• /
• pp.165-184
• /
• 2011

The purpose of this study is to detect the possibility of the development of conception of a graph and the formula with the absolute value through context questions, and also to investigate the effectiveness of the each step of the mathematical modeling activities in helping students to have the conception. The research was conducted to analyze the process of development of the mathematical conception by applying the mathematical modeling activities two times to subjects of two academic high school students in the first grade. The results of the study are as follows: Firstly, the subjects were able to comprehend the geometric conception of the absolute value and to make the graph and the formula with the sign of the absolute value by utilizing the condition of the question. Secondly, the researcher set five steps of the intentional mathematical model in order to arouse the effective mathematical notion and each step performed a role in guiding the subjects through the mathematical thinking process in consecutive order; consequently, it was efficacious in developing the conception.

• Proceedings of the KAIS Fall Conference
• /
• 2009.12a
• /
• pp.226-228
• /
• 2009

본 논문에서는 분산전원 시스템을 등가회로를 이용하여 수학적으로 모델링하고, 이를 결합하여 제어 가능한 시스템을 모델링하였다. 시뮬레이션과 실험 결과로부터, 선로 모의실험을 통한 고조파 해석을 IEEE Std 1547.1-2005의 고조파 연계 기준을 통하여 모델링의 적합유무를 판단할 수 있었다. 제시한 계통연계 태양광발전 시스템은 점차적으로 활성화되고 있는 태양광발전 시스템 계통연계 연구에 유용하게 활용될 것이다.

• 대한공업교육학회지
• /
• v.34 no.2
• /
• pp.396-410
• /
• 2009

The goal of this work is to present an advanced method of an estimation of the Modeling Uncertainties coming up in industrial rigid robot's manipulator and actuators. First, with the given physical robot model, the motion equation was derived. Considering a fictitious model, a new extended motion equation is developed. Based on this extended model, an observer and observer bank are designed for the estimation of modeling uncertainties which are involving the effects of gravity, friction, mass unbalance, and Coriolis which show the nonlinear characteristics in operation states.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.7
• /
• pp.607-615
• /
• 2020

The purpose of this study was to analyze the research status and trends related to the industrial mathematics based on text mining techniques with a sample of 4910 papers collected in the SIAM Journal on Applied Mathematics from 1970 to 2019. The R program was used to collect titles, abstracts, and key words from the papers and to analyze topic modeling techniques based on LDA algorithm. As a result of the coherence score on the collected papers, 20 topics were determined optimally using the Gibbs sampling methods. The main results were as follows. First, studies on industrial mathematics were conducted in a variety of mathematics fields, including computational mathematics, geometry, mathematical modeling, topology, discrete mathematics, probability and statistics, with a focus on analysis and algebra. Second, 5 hot topics (mathematical biology, nonlinear partial differential equation, discrete mathematics, statistics, topology) and 1 cold topic (probability theory) were found based on time series regression analysis. Third, among the fields that were not reflected in the 2015 revised mathematics curriculum, numeral system, matrix, vector in space, and complex numbers were extracted as the contents to be covered in the high school mathematical curriculum. Finally, this study suggested strategies to activate industrial mathematics in Korea, described the study limitations, and proposed directions for future research.

• 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.