• 대한수학교육학회지:학교수학
• /
• 제18권1호
• /
• pp.127-141
• /
• 2016

본 연구는 Chauvat의 그래프 사용 모드에 근거하여 고등학교 1학년 학생의 이차함수 문제해결에서 나타나는 그래프 표상의 사용 모드를 분석하고자 한다. 이 분석으로부터 Bannister (2014)의 표상의 유연성을 통해 연구 참여 학생들의 이차함수 이해 정도를 조사하였다. 그 결과 고등학교 1학년 학생들이 주로 사용하는 그래프 표상 모드는 계산 도표학적 모드이며, 조작적 모드를 사용할 경우에는 오류를 발생하는 것을 알 수 있었다. 그리고 함수의 이해를 대상과 과정 관점에서 표상의 사용으로 분류한 Bannister(2014)의 유연성의 분류에서는 과정 관점으로 함수를 이해하고 두 표상 사이에 조작이 일어나지 않는 경직된 형태를 보이는 것으로 나타났다. 이러한 결과를 바탕으로 교실에서 학생들을 위한 그래프 표상 사용에 대한 교육 및 다양한 관점으로 함수를 이해할 수 있는 교수 -학습 방법에 대한 연구가 필요할 것으로 보인다.

• 대한수학교육학회지:학교수학
• /
• 제11권1호
• /
• pp.131-145
• /
• 2009

본 연구는 초등학교 학생들에게 함수의 그래프 표현 및 해석의 지도가능성을 탐색하기 위하여 설계되었다. 이를 위하여 부분적으로 역동적인 기하 소프트웨어를 이용하는 점진적인 함수 그래프 지도 방법을 고안하여, 초등학교 5학년생 4명을 대상으로 8차시의 수업을 실행하였다. 연구 결과, 아동들은 함수 관계에 대한 개념화, 1차 함수 그래프의 해석, 1차 함수 그래프 기울기의 의미를 인식하고, 기울기에 대한 논의와 실생활과의 관련성을 파악하는 것으로 나타났다. 함으로써 함수의 그래프 표현 및 해석의 지도가 가능함을 알 수 있었다. --삭제) 또한, 아동들은 GSP-선그래프를 통하여 그래프에서의 점과 선의 관계를 시각적으로 명확히 인식하였으며, 함수관계를 그래프로 정확하게 표현하는 데에 있어서 결정적인 역할을 했음을 알 수 있었다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제17권8호
• /
• pp.2101-2123
• /
• 2023

Recent studies have shown that the neural network-based binary code similarity detection technology performs well in vulnerability mining, plagiarism detection, and malicious code analysis. However, existing cross-architecture methods still suffer from insufficient feature characterization and low discrimination accuracy. To address these issues, this paper proposes a cross-architecture binary function similarity detection method based on composite feature model (SDCFM). Firstly, the binary function is converted into vector representation according to the proposed composite feature model, which is composed of instruction statistical features, control flow graph structural features, and application program interface calling behavioral features. Then, the composite features are embedded by the proposed hierarchical embedding network based on a graph neural network. In which, the block-level features and the function-level features are processed separately and finally fused into the embedding. In addition, to make the trained model more accurate and stable, our method utilizes the embeddings of predecessor nodes to modify the node embedding in the iterative updating process of the graph neural network. To assess the effectiveness of composite feature model, we contrast SDCFM with the state of art method on benchmark datasets. The experimental results show that SDCFM has good performance both on the area under the curve in the binary function similarity detection task and the vulnerable candidate function ranking in vulnerability search task.

• 한국정보통신학회논문지
• /
• 제10권12호
• /
• pp.2187-2192
• /
• 2006

본 논문에서는 De Bruijn그래프에 기초한 다중처리기 구성 방법에 대해 논의하였다. 유한체 상의 수학적 성질과 그래프의 성질을 사용하여 변환연산자에 대해 논의하였으며, 이들 변환연산자를 이용하여 De Buijn그래프의 변환표를 도출하였다. 그리고, 이 변환표로부터 유한체 상의 De Bruijn 그래프를 도출하였다. 제안한 다중처리기는 유한체 상에서의 임의 소수와 양의 정수에 대해 구성할 수 있으며 고장허용컴퓨팅 시스템, 파이프라인 시스템, 병렬처리 네트워크, 스위칭 함수와 이의 회로, 차세대 디지털논리 시스템 및 컴퓨터 구조 등에 적 용할 수 있다.

• Journal of Electrical Engineering and information Science
• /
• 제1권1호
• /
• pp.164-172
• /
• 1996

The partitioning of related objects should be performed before clustering for an efficient access in object-oriented databases. In this paper, a horizontal partition of related objects in object-oriented databases is presented. All subclass nodes in a class inheritance hierarchy of a schema graph are shrunk to a class node in the graph that is called condensed schema graph because the aggregation hierarchy has more influence on the partition than the class inheritance hierarchy. A set function and an accessibility function are defined to find a maximal subset of related objects among the set of objects in a class. A set function maps a subset of the domain class objects to a subset of the range class objects. An accessibility function maps a subset of the objects of a class into a subset of the objects of the same class through a composition of set functions. The algorithm derived in this paper is to find the related objects of a condensed schema graph using accessibility functions and set functions. The existence of a maximal subset of the related objects in a class is proved to show the validity of the partition algorithm using the accessibility function.

• 대한수학회보
• /
• 제54권2호
• /
• pp.507-519
• /
• 2017

We present an upper bound on the Cheeger constant of a distance-regular graph. Recently, the authors found an upper bound on the Cheeger constant of distance-regular graph under a certain restriction in their previous work. Our new bound in the current paper is much better than the previous bound, and it is a general bound with no restriction. We point out that our bound is explicitly computable by using the valencies and the intersection matrix of a distance-regular graph. As a major tool, we use the discrete Green's function, which is defined as the inverse of ${\beta}$-Laplacian for some positive real number ${\beta}$. We present some examples of distance-regular graphs, where we compute our upper bound on their Cheeger constants.

• East Asian mathematical journal
• /
• 제30권4호
• /
• pp.451-474
• /
• 2014

The purpose of this study is to analyze error patterns third-year middle school students make on quadratic function graph problems and to examine about the possible correct them by providing supplementary tutoring. To exam the error patterns that occur during problem solving processes, to 82 students, We provided 25 quadratic function graph problems in the preliminary-test. The 5 types of errors was conceptual errors, false intuition errors, incorrect use of conditions in problems, technical errors, and errors from slips or carelessness. Statistical analysis of the preliminary-test and post-test shows that achievement level was higher in the post-test, after supplementary tutoring, and the t-test proves this to be meaningful data. According to the per subject analyses, the achievement level in the interest of symmetry, parallel translation, and general graph, respectively, were all higher in the post-test than the preliminary-test and this is meaningful data as well. However, no meaningful relation could be found between the preliminary-test and the post-test on other subjects such as graph remodeling and relations positions of the parabola. For the correction of errors, try the appropriate feedback and various teaching and learning methods.

• 호남수학학술지
• /
• 제38권1호
• /
• pp.71-84
• /
• 2016

The aim of this work is to compute the volume of the graph polytope associated with various type of finite simple graphs composed of paths and stars. Recurrence relations are obtained using the recursive volume formula (RVF) which was introduced in Lee and Ju ([3]). We also discussed the relationship between the volume of the graph polytopes and the number of linear extensions of the associated posets for given bipartite graphs.

• Journal of applied mathematics & informatics
• /
• 제30권1_2호
• /
• pp.245-252
• /
• 2012

In this paper we present a necessary and sufficient conditions for an infinite VAP-free plane graph to be a 3LV-graph as well as an LV-graph. We also introduce and investigate the concept of the order and the kernel of an infinite connected graph containing no one-way infinite path.

• 대한수학회보
• /
• 제55권5호
• /
• pp.1405-1417
• /
• 2018

The aim of this work is to introduce several different volume computational methods of graph polytopes associated with various types of finite simple graphs. Among them, we obtained the recursive volume formula (RVF) that is fundamental and most useful to compute the volume of the graph polytope for an arbitrary finite simple graph.