• Journal of The Korean Society of Agricultural Engineers
• /
• v.50 no.6
• /
• pp.3-12
• /
• 2008

It is important to estimate accurate effective rainfall to analyse flood flow and long-term runoff for the rational planning, design, and management of water resource. The initial abstraction is also important to estimate effective rainfall. The Soil Conservation Service (SCS) has developed a procedure and it has been most commonly applied to estimate effective rainfall. But the SCS method still has weak points, because of unnatural assumptions such as antecedent moisture conditions and initial abstraction. The coefficient of initial abstraction(K) is depending on the soil moisture condition and antecedent rainfall. The maximum storage capacity of Umax which is calibrated by stream flow data in the proposed watershed was derived from the DAWAST(DAily WAtershed STreamflow) model. The values of K obtained from 69 storm events at the five watersheds are ranging from 0.133 to 0.365 and its mean value is 0.207. Effective rainfall could be estimated more reasonably by introducing new concept of initial abstraction. The equation of $K=0.076Sa^{0.255}$ was recommended instead of 0.2 and it could be applicable to the small-medium rural watersheds.

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

• The Mathematical Education
• /
• v.49 no.3
• /
• pp.299-311
• /
• 2010

The purpose of this study was to examine the effects of abstraction offer of basic concept principle and feedback of self-efficacy attributional and mathematical study ability of math underachievers in high school based on the attribution theory and self-efficacy theory. The hypothesis were posed as below : Hypothesis 1: The experimental group that takes the abstraction offer of concept principle and attributional feedback training would be better at most self-efficacy than the control group that doesn't. Hypothesis 2: The experimental group that takes the abstraction offer of concept principle and attributional feedback training would have better math achievement than the control group that doesn't. They were divided into an experimental group and a control group, and the attribution disposition, self-efficacy and academic achievement of the children were measured by pretest and posttest. For data analysis, SPSS/PC+ program was employed and t-test was conducted. The main findings of this study were as below : First, the abstraction offer of concept principle and attributional feedback training was effective for enhancing the math self-efficacy in high school underachievers. Second, the abstraction offer of concept principle and attributional feedback training was effective for increasing the math achievement in high school underachievers.

• Journal of KIISE
• /
• v.43 no.6
• /
• pp.710-717
• /
• 2016

Recently, several research studies on things abstraction framework have been proposed in order to implement the multi-service Internet of Things (IoT) system, where various IoT services share the thing devices. Distributed things abstraction has an IoT service duplication problem, which aggravates power consumption of mobile devices and network traffic. On the other hand, cloud server-centric things abstraction cannot cover real-time interactions due to long network delay. Fog server-centric things abstraction has limits in insufficient IoT interfaces. In this paper, we propose Smart Fog which is a fog server-centric things abstraction framework to resolve the problems of the existing things abstraction frameworks. Smart Fog consists of software modules to operate the Smart Gateway and three interfaces. Smart Fog is implemented based on IoTivity framework and OIC standard. We construct a smart home prototype on an embedded board Odroid-XU3 using Smart Fog. We evaluate the network performance and energy efficiency of Smart Fog. The experimental results indicate that the Smart Fog shows short network latency, which can perform real-time interaction. The results also show that the proposed framework has reduction in the network traffic of 74% and power consumption of 21% in mobile device, compared to distributed things abstraction.

• 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.13D no.1 s.104
• /
• pp.111-116
• /
• 2006

Given a state, it is essential to for the finite state model analysis (such as model checking) to decide whether or not the state is reachable. W a site of the model is small, the whole state space is to be explored exhaustively. However, it is very difficult or even impossible if a size of the model is large. In this case, the model can be reduced into a smaller one via abstraction which does not allow e false positive error. this paper, we devise such an abstraction and apply it to the Nemorize game solving. As a result, unsolved game due to the state explosion problem is solved with the proposed abstraction.

• The Journal of the Korea Contents Association
• /
• v.11 no.4
• /
• pp.414-427
• /
• 2011

The Means-end theory has successfully been applied in academics circles and is one of the qualitative methodologies, aiming at classifying into groups based on the specific values that they pursue. The more specific purposes of this study is to identify the relationship between the levels of abstraction and HVM(Hierarchical Value Map) and to identify the statistical changes in frequency activated cell and ladders among A-C-V. And lastly, to suggest the HVM according to the levels of abstraction. The subjects of this study includes the 100 hikers who joined the hiking at least once a year for 2007. The results of analysis show that as the level of abstraction goes up, the HVM itself is depicted more simple and the loss of information is also occurred. Consequently, the decision of levels of abstraction is should be made on the basis of objective validity.

• Journal of Educational Research in Mathematics
• /
• v.15 no.1
• /
• pp.1-19
• /
• 2005

There have been raised the question that students have been of no interst in mathematcs and incompetent for solving real world problem because students have been recognized mathematcs as abstract knowldege. We research whether students' modeles developed in modeling activity can mediate between concrete and abstract. The analysis of our case study revealed that students' modeles aren't decontextualized abstraction but is located in situated abstraction that is a network connecting between concrete and abstract. Thus, these modeles are a tool mediating between concrete and abstract. Also, students' modeling activities can provide students with the opportunity of being competent for solving real world problem.

• Journal of Computing Science and Engineering
• /
• v.9 no.1
• /
• pp.9-19
• /
• 2015

The most important challenge in the region-based abstraction method as an approach to compute the state space of time Petri Nets (TPNs) for model checking is that the method results in a huge number of regions, causing a state explosion problem. Thus, region-based abstraction methods are not appropriate for use in developing practical tools. To address this limitation, this paper applies a modification to the basic region abstraction method to be used specially for computing the state space of TPN models, so that the number of regions becomes smaller than that of the situations in which the current methods are applied. The proposed approach is based on the special features of TPN that helps us to construct suitable and small region graphs that preserve the time properties of TPN. To achieve this, we use TPN-TCTL as a timed extension of CTL for specifying a subset of properties in TPN models. Then, for model checking TPN-TCTL properties on TPN models, CTL model checking is used on TPN models by translating TPN-TCTL to the equivalent CTL. Finally, we compare our proposed method with the current region-based abstraction methods proposed for TPN models in terms of the size of the resulting region graph.

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