• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권1_2호
• /
• pp.103-116
• /
• 2003

정형기법을 사용하여 실시간 시스템을 명세할 때. 상태 기반 정형 기법이 가지는 큰 문제 중의 하나는 시간 값. 자료 값, 위치 값을 통한 상대 표현으로 발생하는 상태 폭발이다. 본 논문에서는 상태 폭발 문제를 접근하기 위해, 시스템의 명세에 적용하는 추상화와, 명세된 시스템의 실행에 적용하는 추상화 기법을 정의하였다. 명세 구문에 정의한 추상화를 추문 추상화라 정의하고 명세 구문이 가진 패턴(연산 정보, 구조)을 정의하여 추상화한다. 실행에 적용되는 추상화는 의미 추상화라 정의하고 실행 시 생성되는 시간, 자료, 위치 상태 값이 파진 실행 의미의 패턴을 추상화한다. 추상화를 통하여 명세 모델과 실행 모델에 계층을 생성하여 상위 계층에서는 복잡도가 낮은 단계에서 시스템의 개략적인 정보를 분석할 수 있다. 하위 계층에서는 정확도가 높은 분석을 수행할 수 있는 반면에 많은 상태를 살펴야되기 때문에 높은 복잡도를 가진다. 본 논문에서는 추상화의 정의와 더불어, 적용 사례를 통하여 상태 감소와 계층성 생성, 복잡도 감소를 보인다.

• 한국경영과학회지
• /
• 제24권1호
• /
• pp.99-117
• /
• 1999

Since query language is used as a handy tool to obtain information from a database, a more intelligent query answering system is needed to provide user-friendly and fault-tolerant human-machine Interface. Frequently, database users prefer less rigid querying structure, one which allows for vagueness in composing queries, and want the system to understand the intent behind a query. When there is no matching data available, users would rather receive approximate answers than a null information response. This paper presents a knowledge abstraction database that facilitates the development of such a fault-tolerant and intelligent database system. The proposed knowledge abstraction database adepts a multilevel knowledge representation scheme called the knowledge abstraction hierarchy(KAH), extracts semantic data relationships from the underlying database, and provides query transformation mechanisms using query generalization and specialization steps. In cooperation with the underlying database, the knowledge abstraction database accepts vague queries and allows users to pose approximate queries as well as conceptually abstract queries. Specifically. four types of vague queries are discussed, including approximate selection, approximate join, conceptual selection, and conceptual Join. A prototype system has been implemented at KAIST and is being tested with a personnel database system to demonstrate the usefulness and practicality of the knowledge abstraction database in ordinary database application systems.

• 방송공학회논문지
• /
• 제7권2호
• /
• pp.114-125
• /
• 2002

자동으로 동영상을 요약하는 알고리즘과 고급 수준 내용 정보를 자동으로 추출하는 알고리즘은 현재 많은 연구가 진행되어 왔다. 하지만 동영상 요약이라는 것은 사용자의 특성에 따라 다양하게 나타날 수 있고, 고급 수준 내용 정보를 자동으로 추출하는 알고리즘 또한 100% 정확한 것은 아니기 때문에 이를 수정할 수 있는 도구가 필요하게 된다. 본 논문에서는 자동 알고리즘 수행 및 수동으로 수정할 수 있는 기능을 제공하기 위한 동영상 요약 및 검실 시스템을 구현했다. 동영상 요약 및 검색 시스템은 크게 서버 부분과 클라이언트 부분으로 나눌 수 있는데 서버 부분은 동영상을 요약하여 작은 동영상 파일을 만드는 부분과 검색을 위해 메타 데이터를 입력할 수 있는 부분으로 구성이 된다. 메타 데이터는 육하원칙에 따라 입력할 수 있도록 하였다. 클라이언트 부분은 서버에 의해 저장된 메타 데이터들을 이용하여 검색할 수 있는 부분과 동영상을 동적으로 요약하기 위한 부분으로 구성이 된다. 동영상 요약 부분은 MPEG-7 의 Summary Description Scheme에 맞추어서 서술된다. 본 논문에서 구현된 동영상 요약 및 검색 시스템은 대용량의 멀티미디어 데이터를 사용하는 경우 유용하게 쓰일 수 있을 것이다.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제13권3호
• /
• pp.197-216
• /
• 2009

The purpose of this study was to investigate middle and high school mathematics teachers' levels and multiple approaches in United States practicing their abstraction levels and, different strategies and method of solutions towards given number theory problems. The mathematics teachers taking part in this study are consisted of 25 members of online graduate and undergraduate course (MAE 5641 and MAE 4813) delivered through Online Learning System called as the Blackboard (http://www.blackboard.com). Data collection methods include journal entries, written solutions to problems, the teachers' reflections on said problems, and post interviews. Data analysis was done based on [Hazzan, O. & Zazkis, R. (2005). Reducing abstraction: The case of school mathematics. Educ. Stud. Math. 58(1), 101-119]. Analysis of students' written solutions revealed that transitions among the solution methods have major effect on abstraction levels. Elevation and reducing abstraction is a dynamic process.

• 산업경영시스템학회지
• /
• 제21권46호
• /
• pp.181-196
• /
• 1998

The aim of this research is the development of a CAPP system which can use the old experience of process planning to generate a process plan for a new part and learn from its own experience using the concept of stratified case-based reasoning(CBR). A process plan is determined through the hierarchical process planning procedure that is based on the hierarchical feature structure of a part. Each part and case have their own multiple abstractions that are determined by the feature structure of the part. Retrieving the case in stratified case-based process planning is accomplished by retrieving the abstraction that is most similar to the input part abstraction in each abstraction level of the case-base. A new process plan is made by the adaptation that translates the old case's process plan into the process plan of a new part. Operations, machines and tools, setups and operation sequence in each setup are determined in the adaptation of abstraction using some algorithms and the reasoning based on knowledge-base. By saving a new part and its process plan as a case, the system can use this new case in the future to generate a process plan of a similar part. That is, the system can learn its own experience of process planning. A new case is stored by adding the new abstractions that are required to save as the new abstraction to the existing abstractions in the case-base.

• 대한수학교육학회지:수학교육학연구
• /
• 제9권2호
• /
• pp.383-404
• /
• 1999

This study began with an epistemological question about the nature of mathematical cognition in relation to the learner's activity. Therefore, by examining Piaget's 'reflective abstraction' theory which can be an answer to the question, we tried to get suggestions which can be given to the mathematical education in practice. 'Reflective abstraction' is formed through the coordination of the epistmmic subject's action while 'empirical abstraction' is formed by the characters of observable concrete object. The reason Piaget distinguished these two kinds of abstraction is that the foundation for the peculiar objectivity and inevitability can be taken from the coordination of the action which is shared by all the epistemic subjects. Moreover, because the mechanism of reflective abstraction, unlike empirical abstraction, does not construct a new operation by simply changing the result of the previous construction, but is forming re-construction which includes the structure previously constructed as a special case, the system which is developed by this mechanism is able to have reasonability constantly. The mechanism of the re-construction of the intellectual system through the reflective abstraction can be explained as continuous spiral alternance between the two complementary processes, 'reflechissement' and 'reflexion'; reflechissement is that the action moves to the higher level through the process of 'int riorisation' and 'thematisation'; reflexion is a process of 'equilibration'between the assimilation and the accomodation of the unbalance caused by the movement of the level. The operational learning principle of the theorists like Aebli who intended to embody Piaget's operational constructivism, attempts to explain the construction of the operation through 'internalization' of the action, but does not sufficiently emphasize the integration of the structure through the 'coordination' of the action and the ensuing discontinuous evolvement of learning level. Thus, based on the examination on the essential characteristic of the reflective abstraction and the mechanism, this study presents the principles of teaching and learning as following; $\circled1$ the principle of the operational interpretation of knowledge, $\circled2$ the principle of the structural interpretation of the operation, $\circled3$ the principle of int riorisation, $\circled4$ the principle of th matisation, $\circled5$ the principle of coordination, reflexion, and integration, $\circled6$ the principle of the discontinuous evolvement of learning level.

• 한국컴퓨터정보학회논문지
• /
• 제24권7호
• /
• pp.101-108
• /
• 2019

In this paper, we propose a new scalable and reliable combat system software in battleship which was developed procedurally in the past. Recently, combat system software is required to change frequently due to addition of new equipment and change of function. To solve those problems, this paper propose how to change combat system software into scalable software using class structure change and design pattern. Simulation results show that our scheme provides better performances and reliability than conventional scheme. Therefore proposed scheme can be efficiently used in Naval combat system.

• ETRI Journal
• /
• 제46권3호
• /
• pp.501-512
• /
• 2024

With an explosive increase of data produced annually, researchers have been attempting to develop solutions for systems that can effectively handle large amounts of data. Single-operating-system (OS) non-uniform memory access (NUMA) abstraction technology is an important technology that ensures the compatibility of single-node programming interfaces across multiple nodes owing to its higher cost efficiency compared with scale-up systems. However, existing technologies have not been successful in optimizing user performance. In this paper, we introduce a single-OS NUMA abstraction technology that ensures full compatibility with the existing OS while improving the performance at both hypervisor and guest levels. Benchmark results show that the proposed technique can improve performance by up to 4.74× on average in terms of execution time compared with the existing state-of-the-art opensource technology.

• Spatial Information Research
• /
• 제10권3호
• /
• pp.421-438
• /
• 2002

GIS을 활용하는 다양한 응용분야에서 공간데이터베이스의 상세한 정도(추상화 수준)는 그 목적에 따라 달라진다. 추상화 수준이 달라지면 공간자료의 기하학적인 단순화뿐 아니라, 객체(인스턴스), 공간 및 속성 자료, 위상관계, 의미관계 등이 변화되거나 유지되어야 한다. 이와 관련하여 본 연구에서는 원시 공간데이터베이스를 추상화하여 목표데이터베이스를 생성하는 방법을 제시하였다. 공간데이터베이스를 추상화하는 연산자를 재정의하고, 어떤 객체에 어떤 연산자들을 어떤 순서로 적용하여야 하는지에 대한 기준을 제시하고, 이 기준에 따라 워크플로우를 제시하였으며, 프로토타입시스템을 개발하여 타당성을 검토했다.

• 정보처리학회논문지D
• /
• 제12D권1호
• /
• pp.111-120
• /
• 2005

소프트웨어 개발은 다양한 산출물(클래스 부품, 클래스 다이어그램, 폼, 객체, 디자인 패턴)을 생성한다. 단 논문은 이런 산출물의 효율적인 추출 및 분류를 위한 Index/XML 순서관계 시스템을 제안한다. 이 시스템에서 산출물 순서 관계 추출은 패턴 관계정보를 메타 모델링 할 수 있으며 데이터베이스 할 수 있어 재사용 및 저장이 용이하다. 이 Index/XML 순서관계 시스템은 산출물의 추출과 분류를 위한 여러 가지 산출물의 관계 정보를 쉽게 변형할 수 있다. 이 시스템은 디자인 패턴을 효율적으로 분류 추출할 수 있도록 설계한다. 기능적인 인덱싱, 표준 패턴을 위한 순서 기준 인덱싱은 인덱스 아이디로 그룹화 할 수 있으며 분류할 수 있어 효과적이다. 이 정보론 이용하여 산출물들을 효과적으로 분류 및 추출을 할 수 있다.