220 likes | 372 Views
INPE. Spatio-Temporal Database Constraints for Spatial Dynamic Simulation. Bianca Maria Pedrosa Luiz Camolesi Júnior Gilberto Câmara Marina Teresa Pires Vieira. UNIMEP. Outline. Spatial dynamic systems TerraML computational environment Variability in simulation process
E N D
INPE Spatio-Temporal Database Constraints for Spatial Dynamic Simulation Bianca Maria Pedrosa Luiz Camolesi Júnior Gilberto Câmara Marina Teresa Pires Vieira UNIMEP
Outline • Spatial dynamic systems • TerraML computational environment • Variability in simulation process • A land-use change application
f ( I (t+1) ) Spatial dynamic systems f ( I (t) ) f ( I (t+2) ) f ( I (tn )) F F . . . Spatial dynamic systems simulates spatio-temporal processes in which the state of a location, on the Earth´s surface, changes over time, due to some physical phenomena.
Forecast tp + 10 calibration calibration Dynamic spatial models tp - 20 tp - 10 tp fonte: Almeida et al (2003)
Spacial dynamic system elements • Transition Rules discrete continuous hybrid • Models FuzzyL(Clue) Expander(Dinâmica) LocalMean (Riks) Clue Dinâmica Riks
Spacial dynamic system elements • Space representation • Neighborhood uniform proprieties modelo celular • regular structure non stationary proximitry matrix
jump condition control mode control mode flow condition TerraML TerraLib Modeling Language Cell-based modeling language New Temporal database constraints Hybrid Automata
Constraints • Transitions are processes representing evolution and therefore subject to constraints, which are preconditions to limit, avoid or force a change • Variability is a feature to establish the possibility and the change limits of objects • Variability is associated to object attributes or processes to model the structural, functional and behavioral characteristics of elements in real world
Variability in simulation process • Invariant • Defined to attributes that cannot be changed • Are used to represent immutable or stable characteristics • Variant • Defined to attributes whose alterations are highly provable • Support Evolution, involution or revolution of object or processes
Dimensioning the limits • Moment • A time instant value • Granularity • Precision domain of time instant (ISO 2000) • Orientation • Reference system (Gregorian calendar) • Direction • All orientation has a origin moment and everything happens after or before this moment (UTC) • Application • The use of temporal representation, allowing the semantic recognition of the time datatype
I M time M I time I M time I M time I M time Expressing Variability conditions
A land use change applicattion • Global mode (for all cells) • Calculate/update the Demand in each time step • Calculate/update the Global Demand in each time step • Local mode (for each cell) • Calculate the cell´s potencial for change • Select/alocate cells to change, based on demand Demand > 0 LOCAL GLOBAL Potential >0
TerraML script <cellprocessorauthor="bianca" date="11/08/04"model=“geoinfo" > <input> <databasehost="localhost" path="c:/tese_dados/"name="rondonia.mdb" user=""pass="“ /> <layername="celulas450" layerid="46"/> <tablename="celulas450_dinamica" columns="35" lines="70"/> <neighborhoodname="c:/tese_dados/vizinho1.txt" zones="1"/> <globalname="total_demand" value="700"/> <globalname="demand" value="0"/> </input>
TerraML script <controlinitime="1985" intervals="16"step="1"timeUnit="year"> <modename="GLOBAL"> <temporalattribute="demand" value="0.0625"inittime= “1986” finaltime=”1990” /> <temporalattribute="demand"value="0.0625"inittime= “1991” finaltime=”1995” /> <temporalattribute="demand"value="0.0625”inittime= “1996” /> </mode> <modename=“LOCAL” <constraint <invattribute= “florestreserve” value = “1” /> <varattribute= “owner” value= “Federal” inittime= “1986” finaltime=”1990” /> </constraint>
TerraML script <fuzzyLattribute="acessibility" column=”road_distance”alpha="0.001" beta="500" /> <localMeanattribute="atractivity" column="land_cover"/> <productattribute="potential"> <pairattribute="acessibility"weight="0.8"/> <pairattribute="atractivity"weight="0.2"/> </product> <expanderattribute="land_cover"column="potential" demand="demand"/> </mode> <transitionfrom="global"to="local"> <conditionattribute="demand" op="GT" value="0"/> </transition> </control> </cellprocessor>
Conclusion • The constraints model proposed is based on semantic representation of variability to transitions in simulations. • The model proposed support both variant and invariant conditions and seems to cover the most frequent situations in environment systems. • Future efforts will focus on extending constraints to support the orientation and direction aspects of time representation