• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.04a
• /
• pp.45-50
• /
• 2000

실시간 시뮬레이션은 제약조건이 있는 시뮬레이션의 대표적인 경우로, 반드시 주어진 시간안에 최상의 시뮬레이션 결과를 생성해내야 한다. 본 논문에서는 시간제약과 같은 시스템에 주어진 제약조건을 모델링 및 시뮬레이션하기 위한 방법론을 제시한다. 시스템의 모델링 과정에서는 계층적 방법론에 기초하여 다중 추상화(multi-resolution)를 제공하는 모델을 만든다. 또한 제약조건이 있는 시뮬레이션을 위해서는 구축된 모델의 추상화수준을 조절한다. 즉, 1) 구축된 모델을 추상화 수준에 따라 정리하여 AT(Abstraction Tree)를 생성한 후 2) 주어진 제약조건을 integer programming 기법을 이용하여 정형화하고, 3) 제약조건을 만족시키는 최상의 추상화 수준을 AT상에서 결정한다. 결정된 추상화 수준에 따라 시뮬레이션에 필요한 모델을 동적으로 재구성하여 임의의 제약조건이 있는 시뮬레이션을 효과적으로 수행함으로써, 모델의 재사용 및 경제성을 증진시킬 수 있다.

• School Mathematics
• /
• v.9 no.1
• /
• pp.161-180
• /
• 2007

The purpose of this study is to analyse how a mathematically gifted student constructs a nested signification model of three signs, while he abstracts the solution of a given NIM game. The findings of a qualitative case study have led to conclusions as follows. In general, we know that most of mathematically gifted students(within top 0.01%) in the elementary school might be excellent in constructing representamen and interpretant But it depends on the cases. While a student, one of best, is making the meaning of object in general level of abstraction, he also has a difficulty in rising from general level to formal level. When he made the interpretant in general level with researcher's advice, he was able to rise formal level and constructed a nested signification model of three signs. We suggested 3 considerations to teach the mathematically gifted students in elementary school level.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04b
• /
• pp.526-528
• /
• 2000

디지털 비디오 정보를 효율적으로 관리 검색하기 위한 내용 기반 검색 시스템을 위해서는 내용정보의 추상화가 필수적이다. 지금까지 비디오의 내용정보의 추상화, 특히 의미적 내용 정보의 추출은 사람에 의한 수동적인 방법에 의존한 것이 대부분이었다. 본 논문에서는 MPEGgudtlr의 영화 데이터를 대상으로 폭발 장면 자동 추출을 위한 저급 수준 비디오 내용정보의 추상화 방법을 제안하고, 실제 구현을 통하여 그 유용성을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.82-84
• /
• 2001

데이터 분류(classification)란 이미 분류된 객체집단군 즉, 학습 데이터에 대한 분석을 바탕으로 아직 분류되지 않는 개체의 소속 집단을 결정하는 작업이다. 현재까지 제안된 여러 가지 분류 모델 중 결정 트리(decision tree)는 인간이 이해하기 쉬운 형태를 갖고 있기 때문에 탐사적인 데이터 마이닝(exploatory)작업에 특히 유용하다. 본 논문에서는 결정 트리 분류에 다중 추상화 수준 문제(multiple abstraction level problem)를 소개하고 이러한 문제를 다루기 위한 실용적인 방법을 제안한다. 데이터의 다중 추상화 수준 문제를 해결하기 위해 추상화 수준을 강제로 같게 하는 것이 문제를 해결할 수 없다는 것을 보인 후, 데이터 값들 사이의 일반화, 세분화 관련성을 그대로 유지하면서 존재하는 유용화할 수 있는 방법을 제시한다.

• The KIPS Transactions:PartA
• /
• v.10A no.1
• /
• pp.75-81
• /
• 2003

Many abstraction techniques are introduced in programming languages in order to facilitate the development, maintenance and extension of softwares. But several concepts and terms related to abstraction have not been uniformly defined and have been explained differently. Expecially in object-oriented paradigm strongly based on abstraction common consensus was not derived. In this paper, we analyse procedural abstraction, propose the taxonomy of procedural abstraction and show that procedural abstraction contains the concept of abstraction on abstraction in addition to the transformation of procedures into abstraction. We also explain polymorphism in the view of abstraction. These analysis and consideration will make it possible to understand procedural abstraction more intensively.

• The KIPS Transactions:PartD
• /
• v.10D no.1
• /
• pp.23-32
• /
• 2003

Since the data is collected from disparate sources in many actual data mining environments, it is common to have data values in different abstraction levels. This paper shows that such multiple abstraction levels of data can cause undesirable effects in decision tree classification. After explaining that equalizing abstraction levels by force cannot provide satisfactory solutions of this problem, it presents a method to utilize the data as it is. The proposed method accommodates the generalization/specialization relationship between data values in both of the construction and the class assignment phase of decision tree classification. The experimental results show that the proposed method reduces classification error rates significantly when multiple abstraction levels of data are involved.

• Spatial Information Research
• /
• v.10 no.3
• /
• pp.421-438
• /
• 2002

Abstraction of geographic data within a spatial database context must deal with geometrical simplification, modification or maintenance of the integrity of features, spatial and aspatial data, topology within class, and relationships between classes. This research is to propose a method to abstract a spatial database into a high level database. This study refines operators to carry out the modifications required by the abstraction process in the spatial database. Then, a set of operator sequences (workflows) is suggested to specify operators required to abstract a given feature class and to arrange them in order. Finally, a prototype system is developed, based on rule management with a graphic user interface. When the abstraction process is implemented sequentially we demonstrate that a preferential ordering of operations improves efficiency and reduces loss and distortion in the information.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.975-978
• /
• 2003

엔진을 도입하여 개발할 경우 단지 하부 구조를 구현하지 않았을 뿐, 엔진 내용을 이해할 정도의 수준이 되어야 한다는 것이다. 그러므로 게임 업계에서는 양질의 게임을 개발하기 위해서 여전히 고급 프로그래머를 필요로 하고 있으며, 이러한 부분은 여전히 개발비 상승에 영향을 미치고 있다. 그러므로 프로그램을 이해하는 기획자 수준에서도 게임을 개발할 수 있는 좀 더 상위 개념의 개발 방법의 필요성이 대두되고 있다. 본 논문에서는 이러한 문제를 해결하기 위해 스크립트를 이용하여 게임게임 전체 관리 부분, 모델의 AI부분 카메라 조작 부분으로 게임을 구성할 수 있도록 하였다. 그리고 스크립트 언어는 2 계층의 구조를 갖고 있으며, 하부 계층은 직접적으로 엔진을 제어하게 되어있다. 그러나 스크립트의 목표는 직접적인 엔진 제어를 줄이는 추상화작업을 목표로 하기 때문에 이를 추상화한 상부계층의 스처립트 언어를 설계하여 하부계층의 엔진제어 모듈로 변환하도록 하였다. 따라서 본 논문에서는 게임엔진을 직접적으로 모델링 하지 않고 개발하기 위한 추상화된 상위 단계의 스크립트 언어를 이용하여 기획단계예서 게임을 구성해 볼 수 있으며, 직접적으로 하부구조의 엔진 구현 및 엔진의 내용을 잘 이해할 정도의 수준이 아니더라도 스크립트언어를 이용하여 게임을 개발할 수 있다.

• Journal of the Korean School Mathematics Society
• /
• v.14 no.1
• /
• pp.43-64
• /
• 2011

The purpose of this study was to analyze the progress of children's abstraction and to investigate how elementary students understand through mathematical modeling approach in the sixth grader's learning of surface area. Each small group showed their own level on abstraction in mathematical modeling progress. The participants showed improvements in understanding regarding to surface area context.

• The KIPS Transactions:PartD
• /
• v.17D no.6
• /
• pp.415-422
• /
• 2010

This paper proposes service-oriented composition and verification techniques for incrementally extracting high-level abstract behavior of unit components in a systematic manner. Proposed techniques include the definition for abstract component, which is a basic building-block of the abstraction process, an algorithm for port-based synchronized abstraction, and projection abstraction. A verification framework is developed using the proposed techniques and its efficiency is demonstrated through a case example.