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

• Journal of the Korean Operations Research and Management Science Society
• /
• v.24 no.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.

• Journal of Broadcast Engineering
• /
• v.7 no.2
• /
• pp.114-125
• /
• 2002

Although there have been a lot of researches on a video abstraction algorithm, the video abstraction tool is necessary to correctly pick up some important shots in a video because the important shots might vary on the person's subjectivity. This paper proposes a video abstraction and search system for making a video abstraction automatically or manually. Proposed system has two main components, server and client. The server generates the Metadata and makes a video abstraction file. The description for video abstraction file is based on MPEG-7. Since proposed system has a function to manually correct the results of each step, the author could produce a good video abstraction easily and efficiently. The proposed system could be used to build a digital video library.

• Research in Mathematical Education
• /
• v.13 no.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.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.21 no.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.

• Journal of Educational Research in Mathematics
• /
• v.9 no.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.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.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
• /
• v.46 no.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
• /
• 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.

• The KIPS Transactions:PartD
• /
• v.12D no.1 s.97
• /
• pp.111-120
• /
• 2005

Software development creates many product that class components, Class Diagram, form, object, and design pattern. So this Paper suggests Index/XML Sequence Relation information system for product abstraction and classification, the system of design product Sequence Relation abstraction which can store, reuse design patterns in the meta modeling database with pattern Relation information. This is Index/XML Sequence Relation system which can easily change various relation information of product for product abstraction and classification. This system designed to extract and classify design pattern efficiently and then functional indexing, sequence base indexing for standard pattern, code indexing to change pattern into code and grouping by Index-ID code, and its role information can apply by structural extraction and design pattern indexing process. and it has managed various products, class item, diagram, forms, components and design pattern.