• The Journal of Art Theory & Practice
• /
• no.3
• /
• pp.109-116
• /
• 2005

• Proceedings of the Korean Society of Crop Science Conference
• /
• 2019.04a
• /
• pp.19-19
• /
• 2019

• The Journal of the Korea Contents Association
• /
• v.6 no.11
• /
• pp.202-216
• /
• 2006

A number of process algebras are not well suitable for real-time navigation/delivery systems due to the following reasons: 1) lack of representation of process distributivity over some geographical space and 2) the indistinction of representation of process mobility from process distributivity over the space. To make the process algebra suitable to the systems, it seems to be necessary to separate the space representation from the mobility representation. This paper presents a formal method for this purpose, namely, Calculus of Abstract Real-Time Distribution, Mobility, and Interaction (CARDMI). For analysis and verification of behavioral properties, CARDMI defines a set of the spatial, temporal and the interactive deduction rules and a set of equivalence relations. The rules and equivalences can be abstracted hierarchically due to the spatial abstraction, too. CARDMI can be applied to virtual navigation/delivery system for contents, too.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.3
• /
• pp.549-557
• /
• 2016

It is important for effective visualization to summarize not only a large amount of debugging information but also the mental models of abstract ideas. This paper presents an abstract visualization tool which provides effective visualization of thread structure and race information for OpenMP programs with critical sections and nested parallelism, using a partial order execution graph which captures logical concurrency among threads. This tool is supported by an on-the-fly trace-filtering technique to reduce space complexity of visualization information, and a graph abstraction technique to reduce visual complexity of nested parallelism and critical sections in the filtered trace. The graph abstraction of partial-order relation and race information is effective for understanding program execution and detecting to eliminate races, because the user can examine control flow of program and locations of races in a structural fashion.

• The Journal of Korean Association of Computer Education
• /
• v.19 no.5
• /
• pp.41-53
• /
• 2016

Due to increase in software-based new technologies, software developers are being required to creative problem solving. Especially, for a successful business change of software developers into a new industrial field, software analysis phase and design phase are important and it is an important task to strengthen these competences. In this study, two independent researches were conducted. First, a survey with 300 software developers was conducted and it was explored that uniform thinking of software developers caused by application of "standard software development methodology" made it difficult to approach creative problem solving. Based on this finding, the influences of 9 competences of computational thinking on software developers were analyzed after selecting 111 software developers with over 10 years of experience in the IT industry. As a result, it was revealed that abstraction was an important competence. The study finding demonstrates that software developers recognized design phase as the most important thing and abstraction of CT is the basics of other competences.

• Journal of Korea Game Society
• /
• v.4 no.1
• /
• pp.58-66
• /
• 2004

This paper uses counterexamples for solving reachability games. An objective. of the game we consider here is to find out a minimal path from an initial state to the goal state. We represent initial states and game rules as finite state model and the goal state as temporal logic formula. Then, model checking is used to determine whether the model satisfies the formula. In case the model does not satisfy the formula, model checking generates a counterexample that shows how to reach the goal state from an initial state. In this way, we solve many of small-sized Push Push games. However, we cannot handle larger-sized games due to the state explosion problem. To mitigate the problem, abstraction is used to reduce the state space to be che cked. As a result, unsolved games are solved with the abstraction technique we propose inthis paper.

• Journal of Internet Computing and Services
• /
• v.5 no.1
• /
• pp.1-13
• /
• 2004

The effect of Application system with class units is not sufficient because of independency and reuse of Component elements due to component abstraction based on only source code. Therefore We need to apply design pattern approach to represent not only the problem abstraction but also information and relationship between system elements for generic solutions of specific domain, Also, it is essential to software reverse engineering acquiring the correct understandings of the system through examining the existing systems and utilizing the acquired knowledges as reusable resources. In this paper, the extraction algorithm with JAVA and the validity of applying reverse engineering with extracting design patterns from source codes of the existing object-oriented system; are devised. The architecture of automatic tool is designed and implemented for 1) automatic extraction of design patterns and 2) reuse tool for retrieving, editing and rebuilding of design patterns.

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

• School Mathematics
• /
• v.18 no.1
• /
• pp.159-173
• /
• 2016

In real educational field, there are cases that concrete problematic situations are introduced after abstract concepts are taught on the contrary to process that abstract from concrete contexts. In other words, there are cases that abstract knowledge has to be concreted. Freudenthal expresses this situation to antidogmatical inversion and indicates negative opinion. However, it is open to doubt that every class situation can proceed to abstract that begins from concrete situations or concrete materials. This study has done a comparative analysis in difference of mathematical thinking between a process that builds abstract context after being abstracted from concrete materials and that concretes abstract concepts to concrete situations and attempts to examine educational implication. For this, this study analyzed the mathematical thinking in the abstract process of concrete materials by manipulating AiC analysis tools. Based on the AiC analysis tools, this study analyzed mathematical thinking in the concrete process of abstract concept by using the way this researcher came up with. This study results that these two processes have opposite learning flow each other and significant mathematical thinking can be induced from concrete process of abstract knowledge as well as abstraction of concrete materials.

• Korean Journal of Social Welfare
• /
• v.66 no.4
• /
• pp.25-52
• /
• 2014

This study examined the characteristics of child maltreatment cases which occurred recently at the Day Care Centers in Korea. The study utilized the case records system of the National Child Protection Agency (K-CPS) and analyzed all the cases reported to the K-CPS from 2010 to 2012 (n=462). Using the case records abstraction system developed for this study, based on the Maltreatment Case Records Abstraction System (MCRAI; Trickett et al., 2009), the detailed information on abuse cases as well as disposition outcomes was abstracted. The results showed the relatively low rate of abuse designation, low rate of reports from the mandatory reporters as well as overwhelmingly high rate of physical abuse. Diversity was detected in severity ratings in each type of abuse. Finally, determinants of dispositions differed for children, perpetrators and daycare centers. Based on the results, implications for practice and child maltreatment research were discussed.