• 제목/요약/키워드: Temporal Properties

검색결과 341건 처리시간 0.031초

A Temporal Data model and a Query Language Based on the OO data model

  • Shu, Yongmoo
    • 경영과학
    • /
    • 제14권1호
    • /
    • pp.87-105
    • /
    • 1997
  • There have been lots of research on temporal data management for the past two decades. Most of them are based on some logical data model, especially on the relational data model, although there are some conceptual data models which are independent of logical data models. Also, many properties or issues regarding temporal data models and temporal query languages have been studied. But some of them were shown to be incompatible, which means there could not be a complete temporal data model, satisfying all the desired properties at the same time. Many modeling issues discussed in the papers, do not have to be done so, if they take object-oriented data model as a base model. Therefore, this paper proposes a temporal data model, which is based on the object-oriented data model, mainly discussing the most essential issues that are common to many temporal data models. Our new temporal data model and query language will be illustrated with a small database, created by a set of sample transaction.

  • PDF

A Temporal Data model and a Query Language Based on the OO data model

  • 서용무
    • 한국경영과학회지
    • /
    • 제14권1호
    • /
    • pp.87-87
    • /
    • 1989
  • There have been lots of research on temporal data management for the past two decades. Most of them are based on some logical data model, especially on the relational data model, although there are some conceptual data models which are independent of logical data models. Also, many properties or issues regarding temporal data models and temporal query languages have been studied. But some of them were shown to be incompatible, which means there could not be a complete temporal data model, satisfying all the desired properties at the same time. Many modeling issues discussed in the papers, do not have to be done so, if they take object-oriented data model as a base model. Therefore, this paper proposes a temporal data model, which is based on the object-oriented data model, mainly discussing the most essential issues that are common to many temporal data models. Our new temporal data model and query language will be illustrated with a small database, created by a set of sample transaction.

공간 프로세스 대수를 이용한 정형 명세와 분석에서의 시간속성의 시각화 (Visual Representation of Temporal Properties in Formal Specification and Analysis using a Spatial Process Algebra)

  • 온진호;최정란;이문근
    • 정보처리학회논문지D
    • /
    • 제16D권3호
    • /
    • pp.339-352
    • /
    • 2009
  • 유비쿼터스 컴퓨팅 환경에서 분산된 실시간 시스템의 행위와 공간, 시간 속성을 분석하고, 검증하기 위한 다양한 정형기법들이 존재한다. 그러나 대부분의 경우 공간과 행위를 같이 표현하는 구조적, 근본적 한계가 존재한다. 게다가 시간 속성이 포함되는 경우는 더욱 복잡해지게 된다. 이러한 한계를 해결하기 위하여 본 논문은 Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI)라는 새로운 정형기법을 제안한다. t-CARDMI는 행위의 표현으로부터 공간정보의 표현을 분리시켜 복잡도를 단순화 시키며, 시간 속성에 대해서 오직 행위적 표현에서만 허용하여 복잡한 명세를 덜 복잡하게 표현한다. t-CARDMI는 대기기간, 실행시작 만족시간, 실행시간, 실행완료 만족시간 등의 특유의 시간속성을 이동과 통신의 행위에서 모두 포함하는 특징을 갖는다. 새롭게 제안된 Timed Action Graph(TAG)는 공간과 시간을 포함하는 시스템의 명세를 분석하고 검증하기 위해서 공간과 시간속성을 2차원의 다이어그램으로 표현하며 그 안에서 이동과 통신의 정보를 분산된 그림정보로 표현하는 그래프로 t-CARDMI를 좀더 효율적으로 명세하고 분석할 수 있는 방법을 제공한다. t-CARDMI는 유비쿼터스 컴퓨팅에서의 분산된 실시간 시스템의 공간적, 행위적, 시간적 속성에 대한 명세, 분석 및 검증에 매우 효율적이고 효과적인 혁신적인 정형기법의 하나로 고려될 수 있다. 본 논문은 t-CARDMI의 문법과 의미, TAG 그리고 Specification, Analysis, Verification, and Evaluation (SAVE)로 명명된 툴을 제안하고 유비쿼터스 헬스케어 시스템 예제를 통해 효율성을 분석한다.

Mining Spatio-Temporal Patterns in Trajectory Data

  • Kang, Ju-Young;Yong, Hwan-Seung
    • Journal of Information Processing Systems
    • /
    • 제6권4호
    • /
    • pp.521-536
    • /
    • 2010
  • Spatio-temporal patterns extracted from historical trajectories of moving objects reveal important knowledge about movement behavior for high quality LBS services. Existing approaches transform trajectories into sequences of location symbols and derive frequent subsequences by applying conventional sequential pattern mining algorithms. However, spatio-temporal correlations may be lost due to the inappropriate approximations of spatial and temporal properties. In this paper, we address the problem of mining spatio-temporal patterns from trajectory data. The inefficient description of temporal information decreases the mining efficiency and the interpretability of the patterns. We provide a formal statement of efficient representation of spatio-temporal movements and propose a new approach to discover spatio-temporal patterns in trajectory data. The proposed method first finds meaningful spatio-temporal regions and extracts frequent spatio-temporal patterns based on a prefix-projection approach from the sequences of these regions. We experimentally analyze that the proposed method improves mining performance and derives more intuitive patterns.

시변패턴 인식을 위한 2단 구조의 신경회로망 (Two stage neural network for spatio-temporal pattern recognition)

  • 임정수;이종호
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1998년도 하계학술대회 논문집 G
    • /
    • pp.2290-2292
    • /
    • 1998
  • This paper introduces Two-stage neural network that is capable of recognizing spatio-temporal patterns. First stage takes a spatio-temporal pattern as input and compress it into sparse spatio-temporal pattern. Second stage is for temporal pattern recognition with nonuniform inhibitory connections and different cell sizes. These are basic properties for detecting a embeded pattern in a larger pattern. The network is evaluated by computer simulation.

  • PDF

경운토양의 물리적 특성변화를 고려한 Green And Ampt 매개변수의 추정 (Green and Ampt Parameter Estimation Considering Temporal Variation of Physical Properties on Tilled Soil)

  • 정하우;김성준
    • 한국농공학회지
    • /
    • 제33권2호
    • /
    • pp.120-129
    • /
    • 1991
  • This study refers to temporal variation of physical properties of tilled soil under natural rainfalls. Field measurements of porosity, average hydraulic conductivity and average capillary pressure head on a tilled soil were conducted by soil sampler and air-entry permeameter respectively at regular intervals after tillage. Temporal variation of these physical properties were analysed by cumulative rainfall energy since tillage. Field experiment was conducted on a sandy loam soil at Suwon durging April~July in 1989. The followings are a summary of this study results ; 1. Average porosity just after tillage was 0.548cm$^3$/cm$^3$. As cumulative rainfall energy were increased in 0.1070, 0.1755, 0.3849 J/cm$^2$, average porosity were decreased in 0.506, 0.4]95, 0.468m$^3$/cm$^3$ respectively. 2. Average hydraulic conductivity just after tillage was 45.42cm/hr. As cumulative rainfall energy were increased in 0.1755, 0.2466, 0.2978, 0.3849J/cm$^2$ average hydraulic conductivity were decreased in 15.34, 13.47, 9.58, 8.65cm/hr respectively. 3. As average porosity were decreased in 0.548, 0.506, 0.495, 0.468cm$^3$/cm$^3$ average capillary pressure head were increased in 6.1, 6.7, 6.9, 7.4cm respectively. 4. It was found that temporal variation of porosity, average hydraulic conductivity on a tilled soil might be expressed as a function of cumulative rainfall energy and average capillary pressure head might be expressed as a function of porosity. 5. The results of this study may be helpful to predict infiltration into a tilled soil more accurately by considering Temporal variation of physical properties of soil.

  • PDF

동영상 검색을 위한 템포럴 텍스처 모델링 (Temporal Texture modeling for Video Retrieval)

  • 김도년;조동섭
    • 대한전기학회논문지:시스템및제어부문D
    • /
    • 제50권3호
    • /
    • pp.149-157
    • /
    • 2001
  • In the video retrieval system, visual clues of still images and motion information of video are employed as feature vectors. We generate the temporal textures to express the motion information whose properties are simple expression, easy to compute. We make those temporal textures of wavelet coefficients to express motion information, M components. Then, temporal texture feature vectors are extracted using spatial texture feature vectors, i.e. spatial gray-level dependence. Also, motion amount and motion centroid are computed from temporal textures. Motion trajectories provide the most important information for expressing the motion property. In our modeling system, we can extract the main motion trajectory from the temporal textures.

  • PDF

Petri Net을 이용한 시간논리 구조의 표현 (Representation of Temporal Logic Framework Using Petri Net)

  • 김정철;모영승;김진권;황형수
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2000년도 추계학술대회 논문집 학회본부 D
    • /
    • pp.615-617
    • /
    • 2000
  • Temporal Logic Frameworks is convenient to represent temporal relation. It is useful to represent a dynamic properties of Discrete Event Dynamic Systems. Also, it is convenient to express a current and next state of event using logical representation. Because the teachability tree of the Temporal Logic Frameworks is very complexity it is difficult to understand. In this paper, we defined some rules to represent Temporal Logic Frameworks by Petri Net and proposed am method of the representation of them Petri Net for the Temporal Logic Frameworks. An example are used to demonstrate the feasibility of this method.

  • PDF

동적 시간지원 특성을 지원하는 망관리 객체의 정형적 모델링 (A Formal Modeling of Managed Object Behaviour with Dynamic Temporal Properties)

  • 최은복;이형효;노봉남
    • 한국정보처리학회논문지
    • /
    • 제7권1호
    • /
    • pp.166-180
    • /
    • 2000
  • ITU-T, ISO 등에 의해 제정된 표준권고안은 통신망 구성요소들간의 단순한 통신규칙을 정의하는 것 외에 통신망 관리에 필요한 자원들의 속성과 동적 특성에 대한 추상화된 표현, 그리고 통신망 구성요소들에 대한 관리기능을 포괄적으로 규정하고 있다. 그러나 표준통신망 구성요소중 관리객체에 동작에 영향을 미치는 능동적 요인들과 동작절차 및 그에 따른 통지 발생 등의 과정들이 ‘BEHAVIOUR" 템플릿내에 자연어를 이용하여 매우 포괄적이며 간략히 기술되어 있어, 관리객체의 동작 조건이나, 결과 등이 명확히 표현되지 못하는 문제점을 가지고 있다. 또한 관리객체의 동적 특성은 능동적 특성외에 시간지원 특성에 따라 동작 절차가 달라질 수 있다. 반복적이고 주기적인 정적인 시간 기념 뿐만 아니라 다른 관리자의 속성에 따라 사용권한이 결정되거나 특정기간 동안에만 권한이 부여되는 동적인 시간개념이 첨가된다면 관리객체의 능동적 특성이 더욱 강화될 수 있다. 본 논문에서는 정적인 시간관리객체의 활동을 제어하는 표준권고안의 스케줄링 관리객체에 동적인 특성을 추가하였으며 관리객체 기술의 표준인 GDMO 표현법에 의해 동적특성을 지원하는 스케줄링 관리객체를 기술하였다. 또한 관리객체의 동적 특성 기술을 위해 새롭게 정의한, 동적 시간지원 기능이 추가된 BDL을 이용하여 동작절차를 기술하였다. 그리고 동적 시간지원 특성을 지원하는 관리객체를 대리자 관리 기능 모델에 적용하여 체계적이고 정형적인 기술방법임을 제시한다.

  • PDF

산성비 모델을 이용한 시간별 강우성분 예측 (Prediction of Temporal Variation of Son Concentrations in Rainwater)

  • 김순태;홍민선;문수호;최종인
    • 한국대기환경학회지
    • /
    • 제19권2호
    • /
    • pp.191-204
    • /
    • 2003
  • A one dimensional time dependent acid rain model considering size distribution of aerosols and hydrometeors is developed to predict observed chemical and physical properties of precipitation. Temporal variations of anions and cations observed are predicted fairly well with acid rain model simulations. It is found that aerosol depletion rates are highly dependent on aerosol sizes under the assumption of Marshall - Palmer raindrop size distribution. Also, the aerosol depletion during the initial rain event largely influences on ion concentrations in rainwaters.