A Language to Support Spatial Dynamic Modeling Bianca Pedrosa, Gilberto Câmara, Frederico Fonseca,...
-
date post
22-Dec-2015 -
Category
Documents
-
view
220 -
download
2
Transcript of A Language to Support Spatial Dynamic Modeling Bianca Pedrosa, Gilberto Câmara, Frederico Fonseca,...
A Language to Support Spatial Dynamic Modeling
Bianca Pedrosa, Gilberto Câmara, Frederico Fonseca,
Tiago Carneiro, Ricardo Cartaxo
Brazil’s National Institute for Space ResearchPennsylvania State University
TerraML
TerraML 2
TerraML Purpose
Support spatial dynamic modeling Discrete and continuous behavior Inhomogeneous space Extensible framework
TerraML 3
Outline
Requirements of a dynamic modeling environment
The TerraML computational environment
The TerraML theoretical foundations The TerraML structure and syntax Future work
TerraML 4
Spatial dynamic modeling
Locations change due to external forces
Realistic representation of landscape
Elements of dynamic models
Different types of models
Geographical space is inhomogeneous
discretization of space in cells
generalization of CA
discrete and continous processes
Extensibility to include user-defined models
Flexible neighborhood definitions
Demands Requirements
TerraML 5
Inhomogeneous Space
Spaces of fixed location and spaces of fluxes in Amazonia
TerraMLComputational Environment
TerraML 7
Spatial Information Engineering Technological change
Current generation of GIS– Built on proprietary architectures– Interface+function+database = “monolythic” system– Geometric data structures = archived outside of the
DBMS
New generation of object-relational DBMS– All data will be handled by DBMS – Standardized access methods (e.g. OpenGIS)– Users can develop customized applications
TerraML 8
TerraLib: the support for TerraML
Open source library for GIS Data management
– object-relational DBMS • raster + vector geometries• ORACLE, Postgres, mySQL, Access
Environment for customized GIS applications
Web-based cooperative development– http://www.terralib.org
TerraML 9
TerraLib and TerraML
TerraML is integrated with TerraLib– access to typical GIS analytical tools
Dynamic ModellingQ
uery
and
Sim
ulat
ion
lang
uage
s
Spatial Access
methods
Algorit
mhs
Data Conve
rsion
Geographic
Data Types
Spatial A
nalysis
Datab
ase
Supor
tVisualization
TerraLib
TerraML 10
BUILDER
Computational Model
TerraMLXML based
Parser
TerraLib Code Generator
TerraLibComponent
Library
DOM/XERCES
Theoretical Foundations for TerraML
TerraML 12
TerraML Cellular Model
Cellular Space
TerraML 13
Cell-space x Cellular Automata
CA– Homogeneous, isotropic space– Local action– One attribute per cell (discrete values)– Finite space state
Cell-space– Non-homogeneous space– Action-at-a-distance– Many attributes per cell– Infinite space state
TerraML 14
Hybrid Automata
Formalism developed by Tom Henzinger (UC Berkeley)– Applied to embedded systems, robotics,
process control, and biological systems
Hybrid automaton– Combines discrete transition graphs with
continous dynamical systems– Infinite-state transition system
TerraML 15
Hybrid Automata
Variables Control graph Flow and Jump conditions Events
Control Mode A
Flow Condition
Control Mode B
Flow Condition
Event
Jump condition
Event
TerraML 16
Neighborhood Definition
Traditional CA– Isotropic space– Local neighborhood definition (e.g. Moore)
Real-world– Anisotropic space– Action-at-a-distance
TerraML– Generalized calculation of proximity matrix
TerraML 17
Supporting Different Models
Cell’s Potential for Change is Function of– Global Demand
• e.g. “2% of forest area will be deforested per year”
– Neighborhood Influence• e.g., “80% of deforestation occurs near existing
roads”
– Local Attributes• e.g., “cells wìth more than 2800 mm of rain/year
will not be feasible for agriculture”
TerraML 18
TerraML Structure
Transition
Input
Constraint
Simulation
Output
CellProcessor
layer
temporal
layer
discrete rule
continuous rule
spatial restriction
temporal restricition
commands
actions
temporal
global
TerraML 19
An Example in Hydrology
A water balance Automata
DRYsoilwater=soilwater+pre-evap
WETSurplus=soilwater-infilcp
Soilwater=infilcp
input soilwater>=infilcp
input
Surplus>0
TRANSPORTINGMOVE(LDD, surplus, infilcp)
discharge
Control Mode
Flow Condition Jump Condition Event Transition
DRY Solwat=solwat+pre-evap
Solwat>=infcap
WET
WET Surplus=soilwater-infilcap
Surplus>0 discharge
TRANSP
TRANSP MOVE(LDD,surplus, infilcap)
Surplus>0 input DRY
input
TerraML 20
TerraML Example
<cellprocessor author="bianca" date="04/03/02" model="simulation of runoff" case=" timesteps of 6 hours => modelling time one week"> <input>
<layer name="infilcap.map“ attribute=“infil"> InfilCap />
<layer name="soil.map“ attribute=“class"> SoilType />
<layer name=“LDDmap“ attribute=“ldd"> LDD /><temporal name="rain.tss"> RainTimeSeries />
</input> <output>
<Temporal name="rainfall“ attribute=“solwat"> SoilWater />
<layer name="runoff“ > Surplus /> </output>
TerraML 21
TerraML Example
<transition> <mode controlmode =“DRY” flowcondition=“soilwater+pre+evap”
jumpcondition =“soilwater>infl_cap“ to=“wet“ />
<mode controlmode name=“WET“ flowcondition= “Surplus=soilwater-infilcp; Soilwater=infilcp;” jumpcondition=“surplus>0“
to=“TRANSP“ event=“discharge“ /> <mode controlmode name=“TRANSP“ flowcondition= “MOVE(ldd,surplus,infilcap)” jumpcondition=“surplus>0“ to=“DRY“ event=“input“ />
</transition>
TerraML 22
TerraML Example
<simulation><cellularspace neighborhood=“LDD” result=“soilwater” /><timer init="1" end="28" step="1" timeUnit="6 hours">
<Transit> </timer></simulation>
TerraML 23
Future Work
Formalization of model types Constructions of real-life applications
– Hydrology– Deforestation
Web availability
TerraML 24
Acknowledgments
ESRI
Methodist University of Piracicaba, Brazil