• Communications of Mathematical Education
• /
• v.32 no.3
• /
• pp.407-433
• /
• 2018

In order to analyze textbooks from a discursive approach, the purpose of this study is to structuralize an analytic framework based on previous literature review and apply it to analyzing the meanings and their syntheses developed by words and visual mediators appeared in the definition of graph in first-year middle school textbooks. The discursive approach consists of the communicational approach developed by Sfard(2008) and the systemic functional linguistics developed by Halliday(1985/2004). In this study, ideational meta-functions for ideational meanings and interpersonal meta-functions for interpersonal meanings were employed to analyze the meanings produced by words and visual mediators in textbooks, whereas textual meta-functions for textual meanings were used for analyzing the synthesized relationships between words and visual mediators. Results show that first, density in mathematical discourse was very high and subjects in mathematical activities were ambiguous in the ideational meanings of words, and behavior aspect was more emphasized than thinking aspect in the interpersonal meanings of words which request student participations. In the case of ideational meanings of visual mediators, there was a lack of narrative diagrams, whereas there were qualitative differences in the case of offer. Second, there was a need for promoting a wide range of diverse synthetic relationships between words and visual mediators for developing enriched mathematical meanings through the varying uses like specification, explanation, similarity, and complement. These results are so important that they provide a new analytic framework from a discursive approach to textbook analysis because not only words, but also visual mediators are analyzed as tools for producing meanings in mathematics textbooks and their synthetic relationships are also examined.

• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.5
• /
• pp.232-242
• /
• 2005

This paper concerns automatic hardware synthesis from data flow graph (DFG) specification for fast HW/SW cosynthesis. A node in BFG represents a coarse grain block such as FIR and DCT and a port in a block may consume multiple data samples per invocation, which distinguishes our approach from behavioral synthesis and complicates the problem. In the presented design methodology, a dataflow graph with specified algorithm can be mapped to various hardware structures according to the resource allocation and schedule information. This simplifies the management of the area/performance tradeoff in hardware design and widens the design space of hardware implementation of a dataflow graph compared with the previous approaches. Through experiments with some examples, the usefulness of the proposed technique is demonstrated.

• Communications of Mathematical Education
• /
• v.36 no.4
• /
• pp.559-587
• /
• 2022

The purpose of this study is to derive implications for the development of the next curriculum and textbooks by comparing and analyzing the textbooks of the 2015 revised high school mathematics curriculum <Mathematics for Economics> and social studies curriculum <Economics>. In the <Mathematics for Economics> textbooks, economic terms and function notations should be introduced. Additionally, the use of graphs for economic-related functions is different from the use of graphs in mathematics in the <Mathematics for Economics> textbooks. For these reasons, the usage of economic terms, function notations, and function graphs covered in the <Mathematics for Economics> textbooks were compared and analyzed with the usage in the <Economics> textbooks. In the <Mathematics for Economics> textbooks, economic terms that are highly related to mathematics are defined and presented. Contrary to the conventions of mathematics and economics, the function notations in the <Mathematics for Economics> textbooks were used inconsistently because uppercase and lowercase letters were mixed in the function notations. Function graphs in the <Mathematics for Economics> textbooks had differences in the range of values represented by the variables regarding axes and scaling. The <Mathematics for Economics> textbooks did not provide a mathematical interpretation of the translation or slope. In the course of <Mathematics for Economics>, it is necessary to specify considerations for teaching and learning, and assessment in the curriculum to promote students' understanding of mathematics and economics. The descriptions in the curriculum document and textbooks of <Mathematics for Economics> should be supplemented to provide learning opportunities for mathematical interpretation of economics-related contents.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.36 no.10
• /
• pp.988-995
• /
• 2008

A consensus-based feedback linearization method is proposed to maintain a specified time-varying geometric configuration for formation flying of multiple autonomous vehicles. In this approach, there exists no explicit leader in the team, and the proposed control strategy requires only the local neighbor-to-neighbor information between vehicles. The information flow topology between the vehicles is defined by Graph Laplacian matrix, and the formation flying can be achieved by the proposed feedback linearization with consensus algorithm. The stability analysis of the proposed controller is also performed via eigenvalue analysis for the closed-looop system. Numerical simulation is performed for rotary-wing type micro aerial vehicles to validate the performance of the proposed controller.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.780-788
• /
• 2008

Modeling hand poses and tracking its movement are one of the challenging problems in computer vision. There are two typical approaches for the reconstruction of hand poses in 3D, depending on the number of cameras from which images are captured. One is to capture images from multiple cameras or a stereo camera. The other is to capture images from a single camera. The former approach is relatively limited, because of the environmental constraints for setting up multiple cameras. In this paper we propose a method of reconstructing 3D hand poses from a 2D input image sequence captured from a single camera by means of Belief Propagation in a graphical model and recognizing a finger clicking motion using a hidden Markov model. We define a graphical model with hidden nodes representing joints of a hand, and observable nodes with the features extracted from a 2D input image sequence. To track hand poses in 3D, we use a Belief Propagation algorithm, which provides a robust and unified framework for inference in a graphical model. From the estimated 3D hand pose we extract the information for each finger's motion, which is then fed into a hidden Markov model. To recognize natural finger actions, we consider the movements of all the fingers to recognize a single finger's action. We applied the proposed method to a virtual keypad system and the result showed a high recognition rate of 94.66% with 300 test data.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2020.11a
• /
• pp.826-829
• /
• 2020

스포츠팀 운영에 있어서 경기 중 상황에 대한 통계와 분석을 통해 좋은 성과를 내는 것은 스포츠 야구 종목의 Sabermetrics를 통해 이미 증명된 바가 있다. 한편, 축구에서는 최근 들어 선수의 역량을 평가하기 위하여 객관적인 시각에서 슈터(Shooter)에게 주어진 기회, 즉 슈팅 상황을 바라보는 기대 득점(Expected Goal; 이하 xG)이라는 지표가 등장하였으나, 객관성이라는 평가 의도와 다르게 경기 내 각각의 슈팅 상황을 정의하는 것에 있어 축구 분석관들의 주관성에 의존하는 한계성을 지녔다. 본 논문은 xG를 산출하는 방식에 있어서 기존의 주관성을 배제하고 인공지능을 통해 상황을 정의하여 객관적인 평가지표를 지향하며 유의미한 통계적 수치를 지닌 xG를 도출함으로써 결과 위주의 분석만이 존재하던 축구 종목에 있어서 경기 중 상황에 대한 객관적인 판단 및 정의에 대한 방향성을 제시한다. 또한, 본 논문에서의 인공지능은 국내 K리그 슈팅 데이터를 통해 학습되어 K리그 내 전략적인 상황들에 대한 특화된 xG를 도출하며, 이를 웹을 통해 K리그 내 선수 개개인에 대해서 시계열, 상대 팀, 슈팅 위치별 그래프로 시각화하여 제공하는 시스템을 구축함으로써 K리그를 기준으로 선수에 대한 평가 및 경기 운영에 기여할 수 있는 기대 득점 분석 서비스를 제공한다.

• School Mathematics
• /
• v.13 no.2
• /
• pp.323-343
• /
• 2011

The study of 2011 education course revision proposal suggests that middle school level function shall be taught with emphasis on its role as tool to understand the situations of actual world, and the concept shall be extended in high school into formularized setting that integrate various fields based on middle school function. In revising education course, the circumstances of other countries are desired to be considered to keep abreast of international standard education courses. In this study, the textbooks of Gesamtschule a general school a school type similar to the education system in Korea among various school forms of Germany were selected to look into the characteristics of function introduction and teaching & learning in Germany, and the textbooks were compared and analyzed with those of Korea. As a result of comparison and analysis on the system and contents with emphasis on function area, German textbooks differed from the 7th revised education course on the introduction of function concept, contents development method and method of instructing on graph etc. Such differences are anticipated to serve as data for reference in the development of revised education courses and textbooks in Korea.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.22 no.5
• /
• pp.656-662
• /
• 2012

In this paper, we describe a new summarizing method based on a graph-based and a sense-based analysis. In the graph-based analysis, we convert sentences in a document into word vectors and calculate the similarity between each sentence using LSA. We reflect this similarity of sentences and the rarity scores of words in sentences to define weights of edges in the graph. Meanwhile, in the sense-based analysis, in order to determine the sense of words, subjectivity or objectivity, we built a database which is extended from the golden standards using Wordnet. We calculate the subjectivity of sentences from the sense of words, and select more subjective sentences. Lastly, we combine the results of these two methods. We evaluate the performance of the proposed method using classification games, which are usually used to measure the performances of summarization methods. We compare our method with the MS-Word auto-summarization, and verify the effectiveness of ours.

• Journal of KIISE:Software and Applications
• /
• v.34 no.4
• /
• pp.368-376
• /
• 2007

How to represent the search space is as important as which search algorithm to use for finding natural-looking paths for moving NPC (non-player character) in computer games. Recently, various state space representation methods which have been developed for computer games are being used while A* algorithm dominates as the preferred search algorithm. These representation methods show some drawbacks such as the size of state space is too large, there is no guarantee for optimality, the path found is not natural-looking, and the generation of nodes and links is not automatic by depending on a level designer. In this paper the requirements for natural-looking paths are introduced and to find paths satisfying these requirements, the use of the generalized visibility graphs which is the extended version of the visibility graph in Robotics is proposed.

• Journal of the Korea Convergence Society
• /
• v.13 no.3
• /
• pp.55-65
• /
• 2022

As Internet and mobile technology is developing, the educational environment is changing from the traditional passive way into an active one driven by learners. It is important to construct the proper learner's profile for personalized education where learners are able to study according to their learning levels. The existing studies on ICT-based personalized education have mostly focused on vocabulary and learning contents. In this paper, learning profile is constructed with not only vocabulary but grammar to define a learner's learning status in more detailed way. A proficiency metric is defined which shows how a learner is accustomed to the learning contents. The simulational results present the suggested approach is effective to the evaluation essay data with each learner's proficiency that is determined after pre-learning process. Additionally, the proposed analysis technique enables to provide statistics or graphs of the learner's status and necessary data for the learner's learning contents.