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

• The Mathematical Education
• /
• v.49 no.3
• /
• pp.313-328
• /
• 2010

Mathematical modeling has been observed in the way of a possibility to contribute in improving students' problem solving abilities. One of the important views of real life problem context could be described such as a useful ways to interpret the real life leading to children's abstraction process. The problem contexts for the grade 6 with mathematical modeling perspectives were developed by reviewing the current 7th National Mathematics Curriculum of Korea. Those include the 5 content areas such as number & operation, geometry, measurement, probability & statistics, and pattern & problem solving. One of problem contexts, "Space", specially designed for pattern & problem solving area, was applied to the grade 6 students and analyzed in detail to understand student's mathematical modeling progress.

• Korean Chemical Engineering Research
• /
• v.56 no.6
• /
• pp.779-783
• /
• 2018

In this work, Mathematical modeling was carried-out to predict the charging/discharging characteristics of VRLA (Valve regulated lead acid) battery, which is mainly used as a 12 V lead acid battery for automobile. And It also carried-out how it's characteristics would be changed due to aging. A mathematical modeling technique, which has been mainly used to predict behavior of Lithium-ion batteries, is applied to commercial 70 Ah VRLA battery. The modeling result of Voltage was compared with result of constant current charge / discharge test. From this, it can be seen that the NTGK model can be applied to the lead acid battery with high accuracy. It was also found that the aging of lead-acid battery can be predicted by using it.

• Electronics and Telecommunications Trends
• /
• v.14 no.3 s.57
• /
• pp.19-30
• /
• 1999

컴퓨터 그래픽스를 이용하여 3차원 물체를 모델링하는 방법은 그 이론적 배경에서 크게 두 가지로 나뉘는데, 직선들과 삼각형 혹은 사각형들을 연결하는 폴리곤 모델링 방법과 NURBS(Non Uniform Ra-tional B-splines)라는 수학적으로 정의된 곡선 혹은 곡면을 이용하는 방법이 있다. 본 고는 이미 상용화되어 사용되고 있는 몇 가지 3차원 모델링 소프트웨어들의 기능 중에서 NURBS 모델링 기능을 살펴보고 이를 비교.분석해 본다.

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

• Proceedings of the KIPE Conference
• /
• 2012.07a
• /
• pp.148-149
• /
• 2012

본 논문은 HEV용 고출력 리튬 폴리머 배터리(LI-PB)의 수학적 모델링 기법을 제안한다. 비선형 시스템인 리튬 폴리머 배터리의 전기화학적 특성을 수학적인 상태 방정식으로 표현하고, 배터리 셀의 직접적인 충/방전, 온도 실험을 통하여 셀 모델의 파라미터를 추출하고 표현된 상태 방정식으로 최소의 오차를 가지는 파라미터를 구한다. 대용량 충방전기를 사용한 실험으로 본 연구의 적합성을 입증하였다.

• The Journal of the Korea Contents Association
• /
• v.22 no.7
• /
• pp.30-45
• /
• 2022

This study explored the issues of industrial mathematics in online news articles and online forums in Korea and the US by using text mining and compared the results. Text data about industrial mathematics were collected from news articles of Naver, a major portal site, and postings and replies on Clien as resources of Korea, and from news articles by the New York Times and CNN as well as postings and replies on Reddit as resources of the US. Structural topic modeling analyses were performed, the major results of which were as follows. First, news articles in Korea mainly dealt with the necessity of industrial mathematics and government support. On the contrary, the news articles in the US focused more on various fields where industrial mathematics fields were utilized. Second, in Korea, the same number of issues with different topics were discussed in news articles and online forums, whereas in the US more issues were covered in news articles than in online forums. It was suggested academic implications for researchers and practical implications for the government for settling industrial mathematics in Korea.

• Journal of the Korea Computer Graphics Society
• /
• v.1 no.2
• /
• pp.248-253
• /
• 1995

Mandelbrot에 의하여 제안된 Random Fractal은 현실감 있는 지형의 모델링을 가능하게 하였으며. Fournier등은 수학적으로 매우 복잡한 Fractal이론을 단순화한 중간점 분할 알고리즘(Midpoint Subdivision Algorithm)을 고안하여 다양한 형태의 지형 모델링에 매우 성공적인 결과를 얻게 되었다. 그러나, Random Fractal을 응용한 여러 종류의 알고리즘들은 이것의 특성으로 인하여, 생성되는 지형의 형태를 예측하기 어려운 단점이 있다. 따라서, 본 논문에서는 중간점 분할 알고리즘을 이용하여 사용자가 원하는 형태의 지형을 모델링할 수 있는 방법에 대하여 논하였다. 전체적인 지형의 모델링 과정을 크게 전역 제어와 지역 제어의 두 단계로 구분하여, 전역 제어 단계에서 전체 지형의 개략적인 형태를 제어하여 모델링한 후 지역 제어 단계에서의 세부적인 형태제어를 통하여 최종적으로 사용자가 원하는 형태의 지형을 모델링할 수 있는 방법을 제안하였다. 또한, GUI(Graphical User Interface)를 이용하여 전역 제어와 지역 제어에서 생성되는 전체 지형의 형태를 wire frame을 이용하여 실시간에 회전시키며 점검할 수 있도록 하여 세부적인 수정을 용이하게 하였다.

• Journal of the korean Society of Automotive Engineers
• /
• v.17 no.2
• /
• pp.14-23
• /
• 1995

여기에서는 에어백의 수학적인 모델과 유한요소 모델에 대한 모델링 기법과 이에 대한 발달과정을 간략하게 고찰하고 설계에의 적용 예를 들어, 승객거동해석 시뮬레이션 및 설계를 에어백을 중심으로 서술하고자 한다. 1. 에어백 모델링 발달과정. 2. 에어백의 모델링에 관한 고찰. 3. 승객거동해석 시뮬레이션. 4. 설계의 적용 예. 5. 향후 전망.

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