• 제목/요약/키워드: Spatial Process Algebra

검색결과 10건 처리시간 0.029초

연구는 래스터 데이터의 지도대수 분석을 위한 GRASS 기반의 웹 시스템 개발 (Development of a Web-based System for Raster Data Analysis Using Map Algebra)

  • 이인지;이양원;서용철
    • 대한공간정보학회지
    • /
    • 제18권4호
    • /
    • pp.131-139
    • /
    • 2010
  • 최근 GIS의 보급이 증가하고 공간 데이터 사용자의 요구수준이 높아짐에 따라 웹기반 GIS에서는 단순히 공간 데이터를 지도화하는 것뿐만 아니라 다양한 공간분석과 프로세싱을 통해 공간 정보 및 지식을 효율적으로 제공할 필요성이 제기되고 있다. 또한 공개 GIS 소프트웨어의 발전은 이러한 웹 GIS의 요구를 실현하기 위한 기술적 토대가 되어가고 있다. 본 연구는 공개 GIS 소프트웨어인 GRASS를 이용하여 래스터 데이터의 지도대수 연산을 수행하는 웹 분석 시스템을 구축하는 것을 목적으로 한다. 웹에서의 데이터 분석 방법은 래스터 데이터 처리 시 널리 사용되는 지도대수로 하였으며, 중첩분석에 필요한 가중치는 AHP로 계산하였다. GRASS 기반의 웹 분석 시스템을 구축한 후, 강수량, 표고, 경사각, 경사방향, 토양의 래스터 레이어를 이용하여 산사태 위험도 분석을 시범적으로 구현하였다. 웹과 GRASS의 연동을 통해 지도대수뿐만 아니라 다른 공간분석도 가능할 것으로 기대된다.

Extending SQL for Moving Objects Databases

  • Nam, Kwang-Woo;Lee, Jai-Ho;Kim, Min-Soo
    • 대한원격탐사학회:학술대회논문집
    • /
    • 대한원격탐사학회 2002년도 Proceedings of International Symposium on Remote Sensing
    • /
    • pp.138-143
    • /
    • 2002
  • This paper describes a framework for extending GIS databases to support moving object data type and query language. The rapid progress of wireless communications, positioning systems, and mobile computing devices have led location-aware applications to be essential components for commercial and industrial systems. Location-aware applications require GIS databases system to represent moving objects and to support querying on the motion properties of objects. For example, fleet management applications may require storage of information about moving vehicles. Also, advanced CRM(Customer Relationship Management) applications may require to store and query the trajectories of mobile phone users. In this trend, maintaining consistent information about the location of continuously moving objects and processing motion-specific queries is challenging problem. We formally define a data model and query language for mobile objects that includes complex evolving spatial structure, and propose core algebra to process the moving object query language. Main profit of proposed moving objects query language and algebra is that proposed model can be constructed on the top of GIS databases.

  • PDF

공간 프로세스 대수를 이용한 정형 명세와 분석에서의 시간속성의 시각화 (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)로 명명된 툴을 제안하고 유비쿼터스 헬스케어 시스템 예제를 통해 효율성을 분석한다.

GSIS를 이용한 입지선정에 있어 퍼지공간중첩기법의 적용에 관한 연구 (The application of fuzzy spatial overlay method to the site selection using GSIS)

  • 임승현;조기성
    • 한국측량학회지
    • /
    • 제17권2호
    • /
    • pp.177-187
    • /
    • 1999
  • 현재까지 GSIS를 이용하는 많은 응용분야에서 각종 공간자료의 추출 및 분석을 위해 벡터형 공간중첩(spatial overay)이나 격자형 공간연산(spatial algebra)기능이 주로 사용되었다. 하지만 이런 방법에 내재하고 있는 개념은 전통적인 보통집합이론에 근거하고 있기 때문에 많은 종류의 공간자료들이 구간설정에 있어서 예리한 경계로 분할되는 것으로 다루어지고 있다. 이것은 현실 세계에 존재하는 실제 자료들의 공간분포패턴과 일치하지 않는다. 즉, 공간상에 일정영역이나 실체들이 오직 한가지 속성으로 한정되는(one-entity-one-value)오류를 그대로 포함하고 있다. 본 연구는 이러한 보통집합의 개념하에서 공간자료를 다루어 왔던 종래의 방식을 개선하기 위해서 공간자료가 지니는 모호함 내지 경계의 애매성을 잘 표현할 수 있는 퍼지집합의 개념을 두 가지 방법을 통해 공간중첩과정에 도입하였다. 첫 번째 방법은 공간적으로 연속성을 갖는 자료에 대해서 퍼지부분집합에 의한 퍼지구간분할법이며, 두 번째 방법은 범주형 자료에 대해서 적용한 퍼지경계집합법이다. 사례연구로서 신시가지 개발입지선정을 위한 적지분석을 수행을 함으로서 기존의 부울분석방법과 퍼지 공간 중첩법의 결과를 비교하였으며 그 결과, 퍼지공간중첩법에 의한 적합도면이 신시가지 개발입지에 대한 보다 타당성 있는 정보를 제공하며, 더불어 정보표현측면에서도 더욱 적절한 형태임을 알 수 있었다.

  • PDF

시공간 데이터 모델에서 시공간 연산자의 관계 수식적 정형의미 (Formal Semantics of Relational Algebra/Calculus for Spatiotemporal Operator in Spatiotemporal Data Model)

  • 조영소;김동호;류근호
    • 한국정보처리학회논문지
    • /
    • 제6권1호
    • /
    • pp.11-20
    • /
    • 1999
  • 기존의 공간 데이터베이스는 오직 현재 시점에서 유효한 정보만을 대상으로 처리하기 때문에 과거로부터 현재에 이르기까지 시간의 흐름에 따른 이력 정보를 효율적으로 관리하기 어려운 문제점이 있다. 최근에는 이를 해결하기 위한 관심이 고조되고 있으며, 이를 통해 현실 세계에 존재하는 객체에 대하여 효율적인 공간 관리뿐만 아니라 시간의 흐름에 따라 변화해온 이력 정보를 제공하라는 시공간 데이터베이스 연구가 시작되고 있다. 이러한 시공간 데이터베이스는 다양한 응용 분야에 적용된다. 데이터베이스엣 정형의미는 데이터 구조와 연산에 대한 명확한 결과를 표현하고 이를 수학적으로 검증하기 위한 도구로서 사용된다. 아울러 시공간 정형의미는 시공간 데이터베이스와 시공간 데이터베이스 관리 시스템을 설계하기 위한 중요한 역할을 수행한다. 따라서 이 논문에서는 시공간 영역과 객체 및 자료 구조는 물론 시공간 기하 연산자와 위상 연산자를 제안한다. 또한 이들을 포함하는 시공간 모델에 대한 정형의미를 통해서 관계 수식을 정립하고 그 연산식을 실제적인 예로서 보인다.

  • PDF

태그 기법을 이용한 공간 질의 수행기의 설계 (Desgin of a Spatial QueryExecutor using Tag Technique)

  • 이찬근;박호현;이용주;정진완
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제5권5호
    • /
    • pp.543-552
    • /
    • 1999
  • 질의 수행기의 물리적 연산자를 구현하기 위해 사용되는 반복자 기법은 효율성과 확장성이 우수하다고 알려져 있다. 그리고 공간 객체에 대한 연산 처리 방법들 중 가장 널리 사용되는 것은 여과 및 정제 단계로 나누어 처리하는 방법이다. 최근에 객체 대수의 수준에서 공간 연산자를 여과 및 정제 단계로 나누어 정의하여 기존의 방법보다 더욱 효율적인 질의 수행 계획을 만들어 낼 수 있는 질의 최적화기에 대한 연구가 있었다. 그러나 기존의 질의 수행기는 이러한 질의 수행 계획을 고려하지 않고 설계되었기 때문에 연산자 간에 여과 연산의 결과를 전달하는 기능이 없다. 우리는 이러한 여과/정제 단계가 분리되어 두 단계 사이에 다른 연산이 들어올 수 있는 질의 수행 계획하에서 반복자 기법을 사용할 때 여과 단계의 연산 결과를 해당 정제 단계 연산자로 전달하는 방법으로 조사 기법과 태그 기법 두 가지를 제안한다. 조사 기법은 연산자 내부의 상태 레코드의 용도를 확장하여 사용하는 방법인 반면 태그 기법은 중간 결과에 태그의 형태로 여과 단계의 연산 결과를 저장한다. 이들 방법을 비교하여 확장성에서 우월한 태그 기법을 사용한 질의 수행기를 설계 및 구현한다. 구현된 질의 수행기는 공간 질의를 위해 확장된 OQL을 처리하기 위한 공간 객체 대수에 정의된 연산자들을 수행할 수 있다.

Optical Look-ahead Carry Full-adder Using Dual-rail Coding

  • Gil Sang Keun
    • Journal of the Optical Society of Korea
    • /
    • 제9권3호
    • /
    • pp.111-118
    • /
    • 2005
  • In this paper, a new optical parallel binary arithmetic processor (OPBAP) capable of computing arbitrary n-bit look-ahead carry full-addition is proposed and implemented. The conventional Boolean algebra is considered to implement OPBAP by using two schemes of optical logic processor. One is space-variant optical logic gate processor (SVOLGP), the other is shadow-casting optical logic array processor (SCOLAP). SVOLGP can process logical AND and OR operations different in space simultaneously by using free-space interconnection logic filters, while SCOLAP can perform any possible 16 Boolean logic function by using spatial instruction-control filter. A dual-rail encoding method is adopted because the complement of an input is needed in arithmetic process. Experiment on OPBAP for an 8-bit look-ahead carry full addition is performed. The experimental results have shown that the proposed OPBAP has a capability of optical look-ahead carry full-addition with high computing speed regardless of the data length.

추상화에 기반을 둔 실시간 항법 및 배송 시스템의 명세 및 행위적 동일성 검증을 위한 정형 기법 (Formal Method for Specification and Verification of Behavioral Equivalences of Real-time Navigation and Transportation Systems Based on Abstraction)

  • 이문근;최정란
    • 한국콘텐츠학회논문지
    • /
    • 제6권11호
    • /
    • pp.202-216
    • /
    • 2006
  • 프로세스 대수는 다음과 같은 이유 때문에 실시간 항해 및 배송 시스템에 적용하기에는 부적당하다: 1) 특정한 지정학적 공간 내에서의 프로세스들의 분산성에 대한 표기가 부족하고, 2) 그 공간 내에서의 프로세스들의 이동성이 분산성으로부터 확연히 구분하여 표기되지 않는다. 이 대수들이 이런 시스템에 적합하기 위해서는 이런 분산성에 적용되는 공간정보의 표기와 이 공간 내에서의 이동성에 대한 표기를 구분해야할 필요성이 있다. 본 논문에서는 이러한 목적, 즉 공간정보와 이동정보를 구분하기 위하여 새로운 정형기법, 즉 CARDMI (Calculus of Abstract Real-Time Distribution, Mobility and Interaction)를 제안한다. CARDMI에서는 이동체 간의 동일성을 검증하기 위하여 공간 및 상호작용에 관한 연역규칙과 공간추상화에 기반한 동일성을 정의한다. 특히 이 동일성은 공간적 추상화를 반영한 계층적 동일성을 가능하게 하며 이를 통해 다수의 추상화 단계에서의 동일성을 검증하게 한다. CARDMI는 물리적인 배송 시스템뿐만 아니라 콘텐츠를 실시간으로 배달하는 사이버 시스템에도 적용할 수 있다.

  • PDF

지리정보시스템(GIS)과 다기준 분석법(MCA)을 적용한 연안지역 평가 (An Assessment of Coastal Area Using Geographic Information Systems and Multi-Criteria Analysis)

  • 최희정;박정재;황철수
    • 한국지역지리학회지
    • /
    • 제13권2호
    • /
    • pp.143-155
    • /
    • 2007
  • 다양한 이해집단과 목적들이 상충하는 연안지역에 대해 공간정책을 결정하기 위해서는 물리적 자연조건, 사회 경제적 조건, 그리고 의사결정과정에서의 가치체계가 통합적으로 반영될 수 있어야 하고, 선호도가 반영된 요소를 효율적으로 분석할 수 있는 체계가 갖추어져야 한다. 본 연구에서는 지리정보시스템이라는 공통의 플랫폼에 다양한 유형의 연안지역 공간정보를 변환 통합하고, 다기준 분석법의 하나인 AHP를 이용해 의사결정에 영향을 미치는 기준들 사이에 가중치를 설정하여, 가중치를 적용한 개별 레이어를 지도대수와 중첩분석을 통해 최종 결과 레이어를 생성하였다. 이와 같이 지리정보시스템의 공간분석 기능을 다기준 분석법과 동적으로 통합함으로써 새롭게 변화된 정보들을 편리하게 분석과정에 포함시키거나 분석 결과가 단순하고 명확하게 설명되어 궁극적으로 정책결정자에게 유용한 정보를 제공할 수 있는 장점을 확인하였다. 특히 평가항목에 대한 가중치 할당 방식은 다양한 관전에 따른 정책결정과정을 모의할 수 있어 기존의 연구에 비해 유연성을 갖는다.

  • PDF

공간분석(空間分析)모델링에 의한 산지(山地)의 토사붕괴방재기능(土砂崩壞防災機能) 적합도(適合度) 평가(評價) (Application of Spatial Analysis Modeling to Evaluating Functional Suitability of Forest Lands against Land Slide Hazards)

  • 정주상;김형호;차재민
    • 한국산림과학회지
    • /
    • 제90권4호
    • /
    • pp.535-542
    • /
    • 2001
  • 이 연구의 목적은 토사붕괴산지재해에 대한 산지의 기능적합도 평가를 위한 공간분석모델링기법을 개발하기 위해 수행되었다. 기능적합도는 산지의 토사붕괴 가능성에 따라 상, 중, 하의 3단계로 구분되었다. 토사붕괴의 가능성온 경사, 모암, 토심, 경사형태, 임상 및 임목의 직경급과 같은 7개의 입지인자들에 대한 측정치를 이용하여 추정되었고, 이 과정에 토사붕괴 발생 요인으로서 각 인자들의 상대적 가중치는 AHP기법에 의해 결정되었다. 공간분석모델링은 7개 입지인자들에 대한 $25m{\times}25m$ grid 분석 혹은 TIN 분석을 통해 기초 layer 작성에서 시작된다. 이를 토대로 재분류 및 점수화 과정을 거쳐 토사붕괴 가능성 추정에 필요한 인자들의 속성 값을 지니는 새로운 layer를 형성한다. 이러한 속성 값에 가중치를 적용하고 지도대수분석을 통해 $25m{\times}25m$ cell 단위의 기능평가도를 작성하고, 마지막으로 cell-grouping을 통해 보다 실무적인 기능도를 작성하게 된다. 이 논문은 이러한 일련의 공간분석모델링 과정을 방법론적 관점에서 제시한다.

  • PDF