• 정보처리학회논문지D
• /
• 제13D권1호
• /
• pp.111-116
• /
• 2006

주어진 상태가 도달 가능한지를 판정하는 작업은 모델 체킹과 같은 유한 상태 모델의 분석에서 필수적이다 만일 모델의 크기가 작다면 상태 공간을 전부 조사해서 판정할 수 있지만, 크기가 큰 경우에는 전체 상태 공간을 조사하는 것이 어렵거나 불가능할 수 있다. 이런 경우, 도달성 여부를 조사하기 전에 추상화를 통해서 모델을 축소해야 하며 이때 사용된 추상화는 false positive 오류를 허용하지 않는다. 본 논문에서는 이러한 추상화를 고안하여 네모라이즈 게임 풀이에 적용하였다. 그 결과, 상태 폭발 문제로 풀 수 없었던 큰 규모의 문제를 추상화를 통해서 해결할 수 있었다.

• 한국시뮬레이션학회논문지
• /
• 제9권4호
• /
• pp.41-50
• /
• 2000

We have many simulation constraints to meet as a modeled system becomes large and complex. Real-time simulations are the examples in that they are constrained by certain non-function constraints (e.g., timing constraints). In this paper, an enhanced hierarchical modeling methodology is proposed to efficiently deal with constraint-simulations. The proposed modeling method enhances hierarchical modeling methods to provide multi-resolution model. A simulation model is composed by determining the optimal level of abstraction that is guaranteed to meet the given simulation constraints. Four modeling activities are defined in the proposed method: 1) Perform the logical architectural design activity to produce a multi-resolution model, 2) Organize abstraction information of the multi-resolution model with AT (Abstraction Tree) structure, 3) Formulate the given constraints based on U (Integer Programming) approach and embrace the constraints to AT, and 4) Compose a model based on the determined level of abstraction with which the multi-resolution model can satisfy all given simulation constraints. By systematically handling simulation constraints while minimizing the modeler's interventions, we provide an efficient modeling environment for constraint-simulations.

• Journal of Computing Science and Engineering
• /
• 제9권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.

• 한국경영과학회지
• /
• 제23권2호
• /
• pp.103-129
• /
• 1998

Corporate level decision making with multiple decision makers in a consistent way is essential in Decision Support System. However, since the decision makers have different interests and knowledge, the models used by them are also different in their level of abstraction. This makes decision makers waste a lot of efforts for an integrated decision making. The purpose of this paper is to propose an integration mechanism so that collaborative decision making models may be used synthetically in multi-abstraction level. Models are classified as multimedia model, mathematical model, qualitative model, causal ＆ directional model, causal model, directional model and relationship model according to the level of abstraction. The proposed integration mechanism consists of model interpretation phase. model transformation phase, and model integration phase. Specifically, the model transformation Phase is divided into (1) model tightening mode which gather information to make a model transformed into upper level model, and (2) model relaxing mode which makes lower level model. In the model integration phase, models of same level are to be integrated schematically. An illustrative M＆A-decision example is given to show the possibility of the methodology.

• 한국컴퓨터정보학회논문지
• /
• 제21권12호
• /
• pp.227-234
• /
• 2016

In this paper, we propose a think-aloud program for acquiring abstraction concept. Think-aloud is a technique, which is good for teaching higher-order thinking skills to learner. We intend to propose a program for teaching abstraction concept to learners directly, as software education is being reinforced in the current education policy. For the study, we develop a program depending on ADDIE model. According to these steps, we analyzed related works such as computational thinking, think-aloud technique, and direct instructional model. After that, we split and structuralized the learning tasks for achieving a goal. And then, we constructed steps for the instruction and detailed contents of the program. We did a survey for verification to nine experts and we corrected the program according to it.

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

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권6호
• /
• pp.479-490
• /
• 2009

여러 가지 실세계 문제들은 마르코프 결정 문제(Markov decision problem) 들로 형식화하여 풀 수 있으나, 풀이 과정의 높은 계산 복잡도 때문에 실세계 문제들을 직접적으로 다루는 데 많은 어려움이 있다. 이를 해결하기 위해 많은 시간적 추상화(Temporal abstraction) 방법들이 제안되어 왔고 이를 자동화하기 위한 여러 방법들 또한 연구되어 왔으나, 이들 방법들은 명시적인 효율성 척도를 갖고 있지 않아 이론적인 성능 보장을 하지 못하는 문제가 있었다. 본 연구에서는 문제의 크기가 커지더라도 좋은 성능이 보장되는 자동적인 시간적 추상화 구현 방법에 대해 제안한다. 이를 위하여 네트워크 척도(Network measurements)를 이용하여 마르코프 결정 문제의 풀이 효율과 상태 궤적 그래프(State trajectory graph)의 위상 특성간의 관계를 분석하고, 네트워크 척도들 중 평균 측지 거리(Mean geodesic distance)가 마르코프 결정 문제의 풀이 성능과 밀접한 관계가 있다는 사실을 알아내었다. 이 사실을 기반으로 하여, 낮은 평균 측지 거리를 보장하는 복잡계망 모델(Complex network model)을 사용하여 시간적 추상화를 만들어 나가는 알고리즘을 제안한다. 제안된 알고리즘은 사실적인 3차원 게임 환경을 비롯한 여러 문제에 대해 테스트되었고, 문제 크기의 증가에도 불구하고 효율적인 풀이 성능을 보여 주었다.

• 한국농공학회논문집
• /
• 제50권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.

• 정보처리학회논문지D
• /
• 제16D권2호
• /
• pp.177-184
• /
• 2009

무선 통신 기술과 다양한 감지 기술들의 발달로 실세계의 환경을 분석하고 생태계의 변화를 이해하기 위한 환경 모니터링 시스템들이 널리 개발되고 있다. 이러한 시스템들은 센서 데이터로부터 유용한 정보를 추출하기 위하여, 원시 센서 데이터를 기반으로 질의를 처리하기 때문에, 환경 모니터링 응용에서 전송되는 넓은 지역의 대용량 센서 데이터를 다루기 위해서는 높은 질의 처리 비용을 요구한다. 또한 현재 및 가까운 미래의 상황 체크를 요청하는 사용자 질의에 답하기 어려운 문제점이 있다. 이 논문에서는 환경 모니터링을 위해 사용자 질의를 효과적으로 처리하기 위한 모니터링 시스템 구조를 제시하고, 설계된 센서 데이터 필터링과 추상화 모델의 활용을 기술한다. 제시된 추상화 기법은 GIS의 경사 그리드를 기반으로 설계되어, 빠른 데이터 접근 및 갱신을 지원한다. 상황 분석을 위해 추상화 모델에서 센서 타입별로 추출된 내용은 질의 처리기에서 결합되어 사용자에게 의미있는 정보를 제공하는데 도움을 준다.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2005년도 Proceedings of ISRS 2005
• /
• pp.337-340
• /
• 2005

Context-awareness techniques in ubiquitous computing environment provide various services to users who need to get information via the analysis of collected information from sensors in a spatial area. Context-awareness has been increased in ubiquitous computing and is applied to many different applications such as disaster management system, intelligent robot system, transportation management system, shopping management system, and digital home service. Many researches have recently focused on services that provide the appropriate information, which are collected from Internet by different kinds of sensors, to users according to context of their surrounding environment. In this paper, we propose an abstraction model to manage the large-scale contextual information and their metadata which are collected from different kinds of in-situ sensors in a spatial area and are presented them on the web. This model is composed of the modules expressing functional elements of sensors using sensorML(Sensor Model Language) based on XML language and the modules managing contextual information, which is transmitted from the sensors.