• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.01a
• /
• pp.309-312
• /
• 2019

이 연구는 컴퓨팅사고력에서 추상화의 의미를 명확히 확인하고 그 구성요소를 정제하는데 목적이 있다. 그래서 기존 정보교육 분야에서 제시된 추상화 의미를 파악하여 그 의미를 명확히 하고, 관련 구성요소의 개념을 정제하여, 정보교육이 나아가야할 방향에 대한 시사점을 도출하였다. 이 연구의 결론은 1)컴퓨팅사고력에서 추상화를 위한 구성(composition) 과정이 필요함을 확인하였고, 2) 컴퓨팅 사고력에서 추상화는 가설연역적 사고과정으로 인지발달에 도움이 될 것으로 판단되었다.

• Journal of KIISE:Software and Applications
• /
• v.30 no.1_2
• /
• pp.103-116
• /
• 2003

States explosion due to composition of spaces of data, temporal, and locational values is one of the well-known critical problems which cause difficulty in understanding and analysing real-time systems specified with state-based formal methods. In order to overcome this problem, this paper presents an abstraction method for state minimization based on an abstraction in system specification and an abstraction in system execution. The first is named the syntactic in system specification and an abstraction in system execution. The first is named the syntactic abstraction, through which the patterns of the unconditionally internalized computation and the repetition and selection structures are abstracted. The latter is named the semantic abstraction, through which the patterns of the execution space represented with data. Through the abstractions, the components of a system in specification and execution model is hierarchically organized. The system can be analyzed briefly in the upper level in an skeleton manner with low complexity. The system, however, can be abstraction method for the state minimization and the decrease in analysis complexity through the abstraction with examples.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.430-432
• /
• 2002

상태 기반 정형 기법이 가진 문제점 중 하나인 상태 폭발 문제를 해결하기 위해, 본 논문에서는 명세 모델과 실행 모델을 정의하고 각 모델에 적용되는 추상화를 정의한다. 명세 모델은 구문을 바탕으로만 추상화로 비논리 내부연산 추상화와 구조 추상화를, 실행 모델은 시간, 자료, 위치가 가진 의미를 통해 추상화하는 시간, 자료, 위치 공간 추상화를 수행한다. 예제에 추상화를 적용하여 상태 감소와, 계층성 생성, 복잡도 감소의 과정을 보인다.

• 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의 영화 데이터를 대상으로 폭발 장면 자동 추출을 위한 저급 수준 비디오 내용정보의 추상화 방법을 제안하고, 실제 구현을 통하여 그 유용성을 보인다.

• The KIPS Transactions:PartA
• /
• v.11A no.1
• /
• pp.89-96
• /
• 2004

Abstraction is an important concept applied widely to variables, functions, complex data, abstract data types, classes and polymorphism in programming languages. However, the concept of abstraction has been considered as ambiguous and explained differently because it is not defined clearly and uniformly. In this paper, we analyse many aspects of abstraction in programming languages, and propose the taxonomy of abstraction. We classify abstraction according to the mechanism of formation into 4 categories such as napping abstraction, bundling abstraction. integrating abstraction and extending abstraction. We also consider many concepts related closely to abstraction such as functions, abstract data types, objects, encapsulation and classes in the view of abstraction. These analysis and consideration will make it possible to explain uniformly various aspects of abstraction which have been treated individually and differently, and to understand the meanings, necessity and importance of abstraction more intensively.

• The KIPS Transactions:PartB
• /
• v.11B no.5
• /
• pp.563-572
• /
• 2004

Sentence ion is a simplification of a sentence preserving its communicative function. It accomplishes sentence revision and concept ion simultaneously. Sentence revision is a method that resolves the discrepancy between human's thoughts and its expressed semantic in sentences. Concept ion is an expression of general ideas acquired from the common elements of concepts. Sentence ion selects the main constituents of given sentences and describes the upper concepts of them with detecting their semantic information. This enables sen fence revision and concept ion simultaneously. In this paper, a syntactic parser LGPI+ and an ontology OfN are utilized for sentence ion. Sentence abstracter SABOT makes use of LGPI+ and OfN. SABOT processes the result of parsing and selects the candidate words for sentence ion. This paper computes the sentence recall of the main sentences and the topic hit ratio of the selected sentences with the text understanding system using sentence ion. The sources are 58 paragraphs in 23 stories. As a result of it, the sentence recall is about .54 ～ 72% and the topic hit ratio is about 76 ～ 86%. This paper verified that sentence ion enables sentence revision that can select the topic sentences of a given text efficiently and concept ion that can improve the depth of text understanding.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.3
• /
• pp.87-96
• /
• 2006

Most conventional database systems support specific queries that are concerned only with data that match a query qualification precisely. A cooperative query answering supports query analysis, query relaxation and provides approximate answers as well as exact answers. The key problem in the cooperative answering is how to provide an approximate functionality for alphanumeric as well as categorical queries. In this paper, we propose a metricized knowledge abstraction hierarchy that supports multi-level data abstraction hierarchy and distance metric among data values. In order to facilitate the query relaxation, a knowledge representation framework has been adopted, which accommodates semantic relationships or distance metrics to represent similarities among data values. The numeric domains also compatibly incorporated in the knowledge abstraction hierarchy by calculating the distance between target record and neighbor records.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.232-234
• /
• 2005

본 논문은 세포 내에 존재하는 방대한 단백질들 사이의 상호작용 관계 네트워크에서 생물학적인 의미 연관성을 가지는 부분 네트워크를 콤포지트로 추상화할 수 있는 방법을 제안한다. 이 추상화를 위해 네트워크에서 구조적으로 완전한 부분 네트워크, 개념적으로 인접한 부분 네트워크 그리고 두 조건을 모두 만족하는 부분네트워크를 탐색한다. 따라서, 사용자는 방대한 네트워크을 개념적인 관점에서 분석할 수 있으며, 특정한 의미을 가지는 부분 네트워크를 쉽게 검색할 수 있다.

• 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.