• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2008.06a
• /
• pp.271-274
• /
• 2008

본 논문은 쉐이프 파일로 저장되어 있는 도로 네트워크를 분석하여 기억장소 요구량을 최소화하기 위해 다중인접 리스트 형태의 그래프로 변환하여 저장한 후 단말기 화면에 도시한다. 경위도 좌표를 단말기 화면 구성에 맞도록 사상하는 함수와 그 역함수를 구현하여 화면좌표계 상에서 스타일러스 입력 처리, Zoom in, Zoom out, Pan 등의 지도 연산을 수행한다. 또 A*에 기반한 경량급 경로 찾기 기능을 구현하여 단말기의 자원을 효율적으로 사용할 수 있도록 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.800-802
• /
• 2003

이 논문에서는 웹 기반의 하이퍼미디어 교육시스템에서 이산 확률 분포 함수와 사용자 프로파일 기반의 동적 적응 모델을 제안하였다. 이 모델은 응용 영역을 동적 적응 객체의 가중치 방향성 그래프로 표현하며 사용자 행위를 이산 확률 함수를 동적으로 구축하는 접근 방식을 이용하여 모델링 한다. 제안한 확률적 해석은 웹 미디어 구조에서 사용자의 탐색 행위를 추적하여 사용자 행위에 대한 잠재적 속성을 나타내는데 사용될 수 있다. 이러한 접근 방식은 사용자에게 가장 알맞은 프로파일을 동적으로 할당할 수 있다.

• Journal of the Korean School Mathematics Society
• /
• v.16 no.1
• /
• pp.141-155
• /
• 2013

Process to translate into other forms in the form of expression for function is important in the development of functional thinking. Also it should be emphasized on the teaching of the function. This study will identify the translation ability of functional expressions and errors in the process to translate. The purpose of this study is to suggest important implications for the teaching and learning of function. To do this, we lead high school students perform the task to examine the translation ability. Then we compute a percentage of correct answers for each question and analyze the types of errors and their causes.

• Journal of Educational Research in Mathematics
• /
• v.27 no.1
• /
• pp.23-49
• /
• 2017

This study examined two current learning models for covariational reasoning(Carlson et al.(2002), Thompson, & Carlson(2017)), applied the models to teaching two $9^{th}$ grade students, and analyzed the results according to the types of graphs(a quantitative graph or qualitative graph). Results showed that the model of Thompson and Carlson(2017) was more useful than that of Carlson et al.(2002) in figuring out the students' levels in their quantitative graphing activities. Applying Carlson et al.(2002)'s model made it possible to classify levels of the students in their qualitative graphs. The results of this study suggest that not only quantitative understanding but also qualitative understanding is important in investigating students' covariational reasoning levels. The model of Thompson and Carlson(2017) reveals more various aspects in exploring students' levels of quantitative understanding, and the model of Carlson et al.(2002) revealing more of qualitative understanding.

• Proceedings of the KIEE Conference
• /
• 2007.10a
• /
• pp.449-450
• /
• 2007

오래 전 부터 영상처리와 컴퓨터 비전은 많은 분야에 응용되고 발전 되어 왔다. 그러한 기술 중에 최근 각광 받고 있는 그래프 짓(Graph cut) 알고리즘은 에너지함수를 최소화 하는 가장 강력한 최적화 기법중 하나이다. 그리고 일반적으로 Sobel, Prewitt, Roberts, Canny 에지(edge) 검출기 등은 영상처리에서 영상상의 에지를 검출하기 위해 이미 널리 사용되고 발전되어 온 기술이다. 물체에서의 윤곽만 검출하기 위해서는 우리가 원하지 않는 영상 위의 에지도 검출되기 때문에 예지 검출기만으로는 물체의 윤곽만을 검출하는 것은 불가능하다. 우리는 물체의 윤곽만 검출하기를 원하기 때문에 그래프 컷과 에지 검출기의 알고리즘을 결합하면 이러한 문제를 해결 할 수 있다는 것을 제안한다. 이 논문에서는 그래프 컷 알고리즘과 에지 검출기에 관해 간략하게 기술하고 그 결과를 보일 것이다.

• The Mathematical Education
• /
• v.61 no.3
• /
• pp.419-439
• /
• 2022

This study is based on Freudenthal's mathmatising process and the didactical phenomenology of linear function concept, I have described and examined the process in which students represent the constant rate of change into tables, graphs and equations and, in this way, how they construct mental objects and essence of the linear function concept. The students used the proportionality as composite units, when they represented the phenomenon with constant rate of change into tables. When representing in graphs, all but one student represented it into a line. There were differences among the students in the level they were using the given conditions, co-variation perspective, and corresponding rules when formulating equations. The students compared the relationship between two variables in a multiplicative way, and under the guidance of teachers they reached to the understanding that its relationship becomes a constant. Moreover, they could construct mental objects of a constant rate of change, understanding the situation where the relationship between time difference and distance difference becomes one value, namely speed. The students had difficulties in connecting the rate of change with the inclination of a line. The students constructed the essence (concept) of linear functions, after building and organizing the image that the rate of change is constant, the graph is linear, and the equation is formulated as y=ax+b (a: inclination, b: intercept).

• The Mathematical Education
• /
• v.53 no.1
• /
• pp.25-40
• /
• 2014

Mathematical concept exists in the structural form, not in the independent form. The purpose of this study is to consider the network which students actually have for the mathematical concept structure related to the properties of derivatives. First, we analyzed the properties of derivatives in 'Mathematics II' and showed the mathematical concept structure of the relations among derivatives, functions, and primitive functions as a network. Also, we investigated the understanding of high school students for the mathematical concept structure between derivatives and functions, and the structure between functions and second order derivatives when the functional formula is not given, and only the graph is given. The results showed that students mainly focus on the relation of 'function-derivatives', the thinking process for direction of derivative and the thinking style for algebra. On this basis, we suggest the educational implication that is necessary for students to build the network properly.

• Journal of IKEEE
• /
• v.1 no.1 s.1
• /
• pp.111-119
• /
• 1997

This paper presented a method of extracting algorithm for Edge Multiple-Valued Decision Diagrams(EMVDD), a new data structure, from Binary Decision Diagram(BDD) which is resently used in constructing the digital logic systems based on the graph theory. And we discussed the function minimization method of the n-variables multiple-valued functions. The proposed method has the visible, schematical and regular properties.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.53-58
• /
• 2010

코드 난독화 기법 중의 하나인 인라인(Inline)은 코드의 복사를 통하여 함수의 호출 구조를 파괴하여서 코드의 복원과 이해를 어렵게 만든다. 하지만 적절한 전략 없이 인라인 기법을 적용하게 되면, 프로그램 성능이 저하되며 난독화의 결과도 기대 이하일 가능성이 존재한다. 따라서 지나친 성능의 저하를 막으면서 결과적으로 코드의 복원과 이해를 최대한 어렵게 하기 위한 인라인 수행 전략이 필요하다. 이를 위하여 본 논문에서는 정적 함수 호출 그래프를 기반으로 인라인의 적용 여부를 유전 알고리즘을 사용하여 결정하도록 한다. 그리고 인라인 전후의 효용을 보여주기 위하여 정보이론 및 제어 흐름의 복잡도에 기반하여 전체 프로그램의 복잡도를 정의하였다. 마지막으로 해당 기법의 효용을 실험을 통해 보였다.

• Journal of Digital Contents Society
• /
• v.11 no.1
• /
• pp.39-45
• /
• 2010

In this paper we propose a new fast peak searching method using the gradient and present simulation results. The proposed method is a solution to the problem that finds the peak(maximum) of the unimodal function on a finite interval with minimum searching steps. Its main application is the auto-focus in the mobile phone. We propose the three steps to find the peak; periodic search, gradient-based search and detail search. In simulation we generated the Gaussian functions with white noise and have the result of about 8 searching steps and 1.04 errors on average.