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

• Korean Journal of Computational Design and Engineering
• /
• v.6 no.3
• /
• pp.157-168
• /
• 2001

The description of enterprise activities is the basis fur process improvement and information system building. To describe such activities, it is necessary to model the enterprise activities from the abstraction level to the implementation level in a stepwise and integrated form. For this reason, several modeling approaches have been proposed. However, most of them lacked the stepwise or integration aspects although some of them covered overall levels. This study proposes the hierarchical modeling approach for integrating the enterprise activity model from the abstraction level to the implementation level systematically. It is composed of five modeling levels such as function level, process level, task level, document workflow level, and event flow level. This study discusses the definition and characteristics of each level and compare our modeling frame with other modeling methodologies in case study.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.3
• /
• pp.390-396
• /
• 2007

Fuzzy-CBR Collision Avoidance Support System is a system that finds a solution from past knowledge retrieved from the database and adapted to a new situation. Its algorithm has resulted to an adapting a solution for a new situation. However, ontology is needed in identifying concepts, relations and instances that are involved in a situation in order to improve and facilitate the efficient retrieval of similar cases from the CBR database. This paper proposes the way to apply ontology for identifying the concepts involved in a new environment and use them as inputs, for a ship collision avoidance support system., Similarity will be obtained through document articulation and using abstraction levels. A conceptual model of a maneuvering situation will be built using these ontologies.

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

• Journal of Intelligence and Information Systems
• /
• v.9 no.3
• /
• pp.99-115
• /
• 2003

In this paper, we present a knowledge-based object-oriented spatial database system called KOBOS. A knowledge-based approach is introduced to the object-oriented spatial database system for data modeling and approximate query answering. For handling the structure of spatial objects and the approximate spatial operators, we propose three levels of object-oriented data model: (1) a spatial shape model; (2) a spatial object model; (3) an internal description model. We use spatial type abstraction hierarchies(STAHs) to provide the range of the approximate spatial operators. We then propose SOQL, a spatial object-oriented query language. SOQL provides an integrated mechanism for the graphical display of spatial objects and the retrieval of spatial and aspatial objects. To support an efficient hybrid query evaluation, we use the top-down spatial query processing method.

• The Journal of Engineering Geology
• /
• v.28 no.4
• /
• pp.529-540
• /
• 2018

Sand dam is a flow barrier commonly built on small or medium size sandy rivers to accumulate sand and store excess water for later use or increase the water table. The effectiveness of sand dam in increasing the water table and the amount of extractable groundwater is tested using numerical models. Two models are developed to test the hypothesis. The first model is to simulate the groundwater flow in a pseudo-natural aquifer system with the hydraulically connected river. The second model, a modified version of the first model, is constructed with a sand dam, which raises the riverbed by 2 m. In both models, the effect of groundwater abstraction is tested by varying the pumping rate. As the model results show the groundwater after the construction of the sand dam has increased significantly and the amount of extractable groundwater is also increased by many folds. Most importantly, in the second model, unlike the pseudo-natural aquifer system, the groundwater abstraction does not have a significant effect on the water table.

• KIPS Transactions on Computer and Communication Systems
• /
• v.10 no.3
• /
• pp.59-70
• /
• 2021

With the recent advancements in the Internet of Things, context-aware system that provides customized services become important to consider. The existing context-aware systems analyze data generated around the user and abstract the context information that expresses the state of situations. However, these datasets is mostly unstructured and have difficulty in processing with simple approaches. Therefore, providing context-aware services using the datasets should be managed in simplified method. One of examples that should be considered as the unstructured datasets is a deep learning application. Processes in deep learning applications have a strong coupling in a way of abstracting dataset from the acquisition to analysis phases, it has less flexible when the target analysis model or applications are modified in functional scalability. Therefore, an abstraction model that separates the phases and process the unstructured dataset for analysis is proposed. The proposed abstraction utilizes a description name Analysis Model Description Language(AMDL) to deploy the analysis phases by each fat client is a specifically designed instance for resource-oriented tasks in edge computing environments how to handle different analysis applications and its factors using the AMDL and Fat client profiles. The experiment shows functional scalability through examples of AMDL and Fat client profiles targeting a vehicle image recognition model for vehicle access control notification service, and conducts process-by-process monitoring for collection-preprocessing-analysis of unstructured data.

• Journal of the Korea Safety Management & Science
• /
• v.15 no.3
• /
• pp.133-141
• /
• 2013

As a work analysis technique, Work Domain Analysis (WDA) aims to identify the design knowledge structure of a work domain that human operators interact with through human-system interfaces. Abstraction hierarchy (AH) is a multi-level, hierarchical knowledge representation framework for modeling the functional structure of any kinds of systems. Thus, WDA based on AH aims to identify the functional knowledge structure of a work domain. AH has been used in a range of work domains and problems to model their functional knowledge structure and has proven its generality and usefulness. However, many of researchers and system designers have reported that it is never easy to understand the concepts underlying AH and use it effectively for WDA. This would be because WDA is a form of work analysis that is different from other types of work analysis techniques such as task analysis and AH has several unique characteristics that are differentiated from other types of function analysis techniques used in systems engineering. With this issue in mind, this paper introduces the concepts of WDA based on AH and offers a comprehensive list of references. Next, this paper proposes a set of principles for effectively applying AH for work domain analysis, which are developed based on the author's experiences, consultation with experts, and literature reviews.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.1
• /
• pp.64-88
• /
• 2024

Security and reliability are the utmost importance facts in intelligent networked vehicles. Stochastic Petri Net and Z (SPZN) as an excellent formal verification tool for modeling concurrent systems, can effectively handles concurrent operations within a system, establishes relationships among components, and conducts verification and reasoning to ensure the system's safety and reliability in practical applications. However, the application of a system with numerous nodes to Petri Net often leads to the issue of state explosion. To tackle these challenges, a refinement and abstraction method based on SPZN is proposed in this paper. This approach can not only refine and abstract the Stochastic Petri Net but also establish a corresponding relationship with the Z language. In determining the implementation rate of transitions in Stochastic Petri Net, we employ the interval average and weighted average method, which significantly reduces the time and space complexity compared to alternative techniques and is suitable for expert systems at various levels. This reduction facilitates subsequent comprehensive system analysis and module analysis. Furthermore, by analyzing the properties of Markov Chain isomorphism in the case study, recommendations for minimizing system risks in the application of intelligent parking within the intelligent networked vehicle system can be put forward.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.04a
• /
• pp.245-250
• /
• 2007

We have proposed Fuzzy-CBR to find a solution from past knowledge retrieved from the database and adapted to a new situation. However, ontology is needed in identifying concepts, relations and instances that are involved in a situation in order to improve and facilitate the efficient retrieval of similar cases from the CBR database. This paper proposes the way to apply ontology fur identifying the concepts involved in a new case, used as inputs, for a ship collision avoidance support system and in solving for similarity through document articulation and abstraction levels. These ontologies will be used to build a conceptual model of a maneuvering situation.