• Journal of Elementary Mathematics Education in Korea
• /
• v.7 no.1
• /
• pp.45-64
• /
• 2003

This study analyzes divisor and multiple in elementary school mathematics textbooks published according to the first to the 7th curriculum, in a view point of the didactic transposition theory. In the first and second textbooks, the divisor and the multiple are taught in the chapter whose subject is on the calculations of the fractions. In the third and fourth textbooks, divisor and multiple became an independent chapter but instructed with the concept of set theory. In the fifth, the sixth, and the seventh textbooks, not only divisor multiple was educated as an independent chapter but also began to be instructed without any conjunction with set theory or a fractions. Especially, in the seventh textbook, the understanding through activities of students itself are strongly emphasized. The analysis on the each curriculum periods shows that the divisor and the multiple and the reduction of a fractions to the lowest terms and to a common denominator are treated at the same period. Learning activity elements are increase steadily as the textbooks and the mathematical systems are revised. The following conclusion can be deduced based on the textbook analysis and discussion for each curriculum periods. First, loaming instruction method also developed systematically with time. Second, teaching method of the divisor and multiple has been sophisticated during the 1st to 7th curriculum textbooks. And the variation of the teaching sequences of the divisor and multiple is identified. Third, we must present concrete models in real life and construct textbooks for students to abstract the concepts by themselves. Fourth, it is necessary to develop some didactics for students' contextualization and personalization of the greatest common divisor and least common multiple. Fifth, the 7th curriculum textbooks emphasize inquiries in real life which teaming activities by the student himself or herself.

• Journal of Korean Society of Transportation
• /
• v.20 no.2
• /
• pp.125-134
• /
• 2002

도시화물수요예측모형에는 화물기반모형과 트럭통행기반모형이 있는데 화물기반모형은 화물체계가 기본적으로 화물운송과 관계가 있다는 개념에 기초를 두고 있으며, 차량이 아닌 화물의 움직임을 주요 분석대상으로 삼고 있다. 반면에, 트럭통행기반모형은 집합화된 독립변수를 이용하여 각 죤(Zone)에 유·출입하는 트럭의 통행을 분석하는 것이다. 본 연구의 목적은 트럭통행기반모형의 O-D 추정시 화물통행과 트럭통행 사이의 관계식을 산출하고 이를 설명할 수 있는 통행거리분포함수(Trip Length Distribution : TLD)를 추정함에 있다. 본 연구의 자료는 교통개발연구원에서 수행한 '서울시 물류조사 및 물류종합계획수립구상(1998)'의 화물 물동량 조사 자료를 이용하였으며, 이를 통해 통행거리분포에 따르는 화물 및 차량의 비율을 함수로서 나타내었다. 본 연구를 통하여 트럭통행기반모형에서 트럭통행거리분포를 이용하여 화물기반모형에서 도출할 수 있는 화물의 통행거리분포를 추정할 수 있었으며, 또한 각각의 통행거리분포는 감마분포를 이용하여 함수식으로 도출하고 상기한 두 가지 분포모형을 하나의 관계식을 통해 재산정할 수 있는 이론적인 틀을 제공하였다는 데 의의가 있다고 하겠다. 트럭통행거리분포, 화물통행거리분포 모두 통계적인 검증을 통해 적합한 것으로 분석되었으며, 전체화물의 통행거리분포와 매개함수를 통해 재산정된 모형의 결과 값 또한 통계적으로 유의하였다. 품목별 적용에서는 잡공업품과 화학공업품은 본 연구의 매개함수식을 통해 화물거리분포 모형이 적합하였으나 금속공업 품과 경공업품은 다소 차이가 있는 것으로 분석되었다.

• Annual Conference of KIPS
• /
• 2017.04a
• /
• pp.83-86
• /
• 2017

단일 코어 프로세스의 성능 향상은 전력 소모, 발열 등의 이유로 한계에 달했다. 이에 대한 대안으로 멀티 코어가 등장했으며 매니 코어 기술에 대한 연구가 활발히 진행 중에 있다. 이렇듯 멀티 코어 환경이 보편화됨에 따라 병렬 프로그래밍의 중요성이 더욱 커졌다. 한편, 순수 함수형 언어 Haskell은 부수효과가 없고 다양한 병렬화 도구를 지원함으로써 다가오는 병렬 프로그래밍 시대에 적합한 언어라 할 수 있다. 이때 Haskell 병렬 프로그램의 성능은 메모리 재사용(Garbage Collection) 시간에 큰 영향을 받는다. 그래서 Haskell 병렬 프로그램의 성능 향상, 분석을 위한 메모리 프로파일링 도구가 필요하다. 이미 Haskell이 제공하는 메모리 프로파일링 도구로 ghc-gc-tune이 있지만 실행 속도 측면에서 개선이 필요하다. 본 연구에서는 분할 정복법을 이용해서 매 단계마다 탐색 영역을 4분의 1로 줄이도록 ghc-gc-tune을 개선했다. 개선된 ghc-gc-tune을 극대 독립 집합 프로그램과 K-means 프로그램에 적용한 결과, 평균 98%의 정확도로 실행 시간을 평균 7.78배 단축했다.

• The Korean Journal of Applied Statistics
• /
• v.27 no.4
• /
• pp.553-560
• /
• 2014

This paper deals with estimable functions of parameters of less than full rank linear model. In general, the parameters of an overspecified model are not uniquely determined by least squares solutions. It discusses how to formulate linear estimable functions as functions of parameters in the model and shows how to use projection matrices to check out whether a parameter or function of the pamameters is estimable. It also presents a method to form a basis set of estimable functions using linearly independent characteristic vectors generating the row space of the model matrix.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.8
• /
• pp.999-1007
• /
• 1999

이 논문은 재귀원형군 G(2^m , 2^k )를 그래프 이론적 관점에서 고찰하고 정점이 서로소인 사이클과 그래프 invariant에 관한 위상 특성을 제시한다. 재귀원형군은 1 에서 제안된 다중 컴퓨터의 연결망 구조이다. 재귀원형군 {{{{G(2^m , 2^k )가 길이 사이클을 가질 필요 충분 조건을 구하고, 이 조건하에서 G(2^m , 2^k )는 가능한 최대 개수의 정점이 서로소이고 길이가l`인 사이클을 가짐을 보인다. 그리고 정점 및 에지 채색, 최대 클릭, 독립 집합 및 정점 커버에 대한 그래프 invariant를 분석한다.Abstract In this paper, we investigate recursive circulant G(2^m , 2^k ) from the graph theory point of view and present topological properties of G(2^m , 2^k ) concerned with vertex-disjoint cycles and graph invariants. Recursive circulant is an interconnection structure for multicomputer networks proposed in 1 . A necessary and sufficient condition for recursive circulant {{{{G(2^m , 2^k ) to have a cycle of lengthl` is derived. Under the condition, we show that G(2^m , 2^k ) has the maximum possible number of vertex-disjoint cycles of length l`. We analyze graph invariants on vertex and edge coloring, maximum clique, independent set and vertex cover.

• The KIPS Transactions:PartB
• /
• v.19B no.1
• /
• pp.37-42
• /
• 2012

The pseudo relevance feedback suggests that frequent words at the top documents are related to initial query. However, the main drawback associated with the term frequency method is the fact that it relies on feature independence, and disregards any dependencies that may exist between words in the text. In this paper, we propose query expansion based on word graph using term proximity. It supplements term frequency method. On TREC WT10g test collection, experimental results in MAP(Mean Average Precision) show that the proposed method achieved 6.4% improvement over language model.

• The Journal of Korean Association of Computer Education
• /
• v.14 no.5
• /
• pp.97-104
• /
• 2011

Collaborative filtering is a methodology to recommend websites by obtaining data and opinions from the other users with similar tastes. During the past few years, this method has been used in various fields such as books, food, and movies in e-commerce systems. This study addresses the computation of similarity between users to determine items to be recommended in collaborative filtering systems. Previous studies measured similarity between users by treating each user's ratings independently without considering the distribution of the user's ratings. In contrast, this study measures similarity by utilizing position and rank information of each rating in the range of the user's ratings. The result of the experiments on the real datasets demonstrated that the proposed method improves the mean absolute error significantly, compared to the previous methods, especially when the predetermined range of ratings is large.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.2
• /
• pp.167-175
• /
• 2008

The current pre-distribution of secret keys uses a-composite random key and it randomly allocates keys. But there exists high probability not to be public-key among nodes and it is not efficient to find public-key because of the problem for time and energy consumption. We presents key establishment scheme designed to satisfy authentication and confidentiality, without the need of a key distribution center. Proposed scheme is scalable since every node only needs to hold a small number of keys independent of the network size, and it is resilient against node capture and replication due to the fact that keys are localized. In simulation result, we estimate process time of parameter used in proposed scheme and efficiency of Proposed scheme even if increase ECC key length.

• Annual Conference of KIPS
• /
• 2004.05a
• /
• pp.277-280
• /
• 2004

최근 디지털 가전과 모바일 컴퓨팅이 화두로 떠오르면서 내장형 기술이 전성기를 맞이하고 있으며, 다양한 내장형 시스템들간의 상호 운용성, 플랫폼 독립성과 이식성을 지원할 수 있는 환경을 제공하는 내장형 미들웨어의 중요성이 부각되고 있다. 미들웨어는 신뢰성, 안전성, 보안성, 실시간성 등과 같은 기능에 직접 포함되지 않는 비기능적 요구를 응용 분야에 따라 요구할 수 있으며, 그 때마다 다양한 비기능적 요구에 맞는 미들웨어를 각기 따로 개발하는 것은 지극히 어려운 일이다. 따라서, 비기능적 요구에 적합하게 미들웨어를 동적으로 재구성하는 컴포넌트 개발 방법이 주목 받고 있으며, 이를 통해 재구성된 내장형 미들웨어에서는 비기능적 요구인 실시간성이 요구되므로, deadline 만족 여부를 확인하는 스케쥴링 분석이 중요하다. 많은 최적의 스케쥴링 분석 알고리즘이 존재하나 그들 중 어느 것도 동적 재구성이 될 때 태스크 집합상의 가정(assumption)이 변경되는 내장형 미들웨어를 만족 시킬 수 없다. 가정에 적합한 스케쥴링 알고리즘으로 대체하기 위한 제안들은 대부분 정적 조립 환경에서 새로운 버전에 의해 기존 클래스를 교체하는 코드 수정에 기반하나, 동적 재구성을 통해 행위를 변경하는 내장형 미들웨어에서는 응용하기 어렵다. 따라서, 본 논문에서는 동적 재구성 환경에서 수행되는 내장형 미들웨어를 위해, 적합한 스케쥴링 알고리즘으로 대체 할 수 있는 스케쥴러를 런타임 컴포넌트 개조 기술 중 하나인 Type-safe delegation이 적용된 strategy 패턴을 기반으로 설계하였으며, 이를 통해 내장형 미들웨어 스케쥴러의 유연성과 확장성을 증가하는 방안을 제시하였다.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.41 no.4
• /
• pp.23-30
• /
• 2004

Ontologies play an important role in the Semantic Web by providing well-defined meaning to ontology consumers. But as the ontologies are authored in a bottom-up distributed mimer, a large number of overlapping ontologies are created and used for the similar domains. Ontology sharing and reuse have become a distinguished topic, and ontology merging and alignment are the solutions for the problem. Ontology merging and alignment algorithms previously proposed detect conflicts between concepts by making use of only local syntactic information of concept names. And they depend only on a semi-automatic approach, which makes ontology engineers tedious. Consequently, the quality of merging and alignment tends to be unsatisfying. To remedy the defects of the previous algorithms, we propose a new algorithm for ontology merging and alignment which uses local and global semantic set of a concept. We evaluated our algorithm with several pairs of ontologies written in OWL, and achieved around 91% of precision in merging and alignment. We expect that, with the widespread use of web ontology, the need for ontology sharing and reuse ill become higher, and our proposed algorithm can significantly reduce the time required for ontology development. And also, our algorithm can easily be applied to various fields such as ontology mapping where semantic information exchange is a requirement.