Modelagem Dinâmica com TerraME: A Gentle Introduction Dezembro/09 Pedro Ribeiro de Andrade DSA/CCST/INPE

Slides:



Advertisements
Apresentações semelhantes
Presenter’s Notes Some Background on the Barber Paradox
Advertisements

Real Time(!) Coupling High Frequency Sampling and Ecological Modeling
RCAAP Project João Mendes Moreira, FCCN Berlin 7, Paris, 04/12/2009.
Laboratório de Sistemas Distribuídos (LSD) – Universidade Federal de Campina Grande (UFCG)EELA Grid School – December 04, 2006 Enhancing SegHidro/BRAMS.
São Paulo - November 7, 2013 Measuring the Cost of Formalization in Brazil © 2003 The Ronald Coase Institute Adopting RCI methodology to measure start.
INPAs insights on LBA (and its role as the coordinating institution): (based on and the message from INPAs General Director, Dr Adalberto Val, and on former.
Yosio Shimabukuro Ruth DeFries Douglas Morton Liana Anderson Ellen Jasinski Fernando Espirito-Santo Matthew Hansen Marcelo Latorre INPE / University of.
Recommendations from 16 th SSC on MCT document on LBA-2.
Fact Pack Railway sector in Brazil January, 2005
Portugal – Fraunhofer Gesellschaft Agreement
Engenharia de Software Prof ª. Isabel Sofia de Brito Prof ª. Maria Fernanda Pedro.
III REUNIÃO DE COORDENAÇÃO REGIONAL DA BVS Lewis Joel Greene Editor Brazilian Journal of Medical and Biological Research Medical School of Ribeirão Preto.
The new way! The old way... TC – DEI, 2005/2006.
Experiências de Indução.
The use of Interaction Laws on Air Traffic Control for Specifying Dependable Interactions Rodrigo Paes
A Framework to Implement Self-Adaptive Agents that Apply Self-Test Andrew Diniz da Costa
Java RMI Alcides Calsavara. Objetivos Permitir que um método de uma classe Java em execução em uma máquina virtual JVM chame um método de um objeto (instância.
VHDL Very High Speed Integrated Circuit Hardware Description Language Prof. Eduardo Todt 2008.
VHDL Introdução Paulo C. Centoducatte fevereiro de 2005
MO Prof. Paulo Cesar Centoducatte MC542 Organização de Computadores Teoria e Prática.
Sistemas Distribuídos Introdução: Modelos de Arquitetura de Sistemas Distribuídos Instituto de Informática – UFG Verão 2005 Baseado em: Coulouris, Cap.
Gilson Antonio Giraldi Laboratório Nacional de Computação Científica,
Library IEEE; use ieee.std_logic_1164.all; use IEEE.std_logic_arith.all;
Fundamentos da teoria dos semicondutores Faixas de energia no cristal semicondutor. Estatística de portadores em equilíbrio. Transporte de portadores.
SQL Procedural Junho/2006.
Computação Ambiental e seus desafios Gilberto Câmara Diretor Geral, INPE Licença de Uso: Creative Commons Atribuição-Uso.
I Workshop do CCST/INPE 09 e 10 de dezembro de 2009 Produto Operacional CCST TerraME: Ambiente Computacional para o Desenvolvimento de Modelos Dinâmicos.
Building a fuzzy ontology plugin for Protégé
CS 561, Session 6 1 Last time: Problem-Solving Problem solving: Goal formulation Problem formulation (states, operators) Search for solution Problem formulation:
Uniform Resource Identifier (URI). Uniform Resource Identifiers Uniform Resource Identifiers (URI) ou Identificador de Recursos Uniforme provê um meio.
Protocolo HTTP.
Knowledge-editing using WYSIWYM Richard Power & Donia Scott ITRI University of Brighton.
ECONOMIA DE EMPRESAS II Semestre 2011 AULA 5. ARCHITECTURE- GOVERNANCE- GROWTH MODEL.
CARTOGRAPHIES OF SEGREGATION From Snapshots to Processes and Trajectories Flávia F. Feitosa (UFABC) Antônio Miguel V. Monteiro (INPE) XIV Brazilian Symposium.
Precipitation Observational Capabilities at the Brazilian Institute for Space Research Carlos Frederico Angelis* Luiz Augusto Toledo Machado* Carlos Augusto.
Norman de Paula Arruda Filho / ISAE The New Role of Management Education A Brazilian Experience NORMAN DE PAULA ARRUDA FILHO Buenos Aires, 6 de dezembro.
OER LIFE CYCLE Andrew Moore and Tessa Welch.
Ecological Economics Lecture 6 Tiago Domingos Assistant Professor Environment and Energy Section Department of Mechanical Engineering Doctoral Program.
Tópicos Especiais em Aprendizagem Reinaldo Bianchi Centro Universitário da FEI 2012.
Nomads núcleo de estudos sobre habitação e modos de vida | usp universidade de são paulo | brasil.
Fazendo e Brincando: Confecção de Materiais para as Aulas de Inglês
Aula Teórica 6&7 Princípio de Conservação e Teorema de Reynolds.
WEKA. Roteiro Introdução Conceitos Exemplos práticos Chamada ao aplicativo.
Curso Gestão Estratégica de Dívida Pública para os Estados Workshop on Debt Management Strategies for Brazilian Subnationals Jorge Luís Tonetto CONFAZ/GEFIN.
Agent-based models and social simulation Gilberto Câmara Tiago Carneiro Pedro Andrade Licence: Creative Commons ̶̶̶̶ By Attribution ̶̶̶̶ Non Commercial.
Webots Pedro Pinheiro 12 de Novembro de Webots Pedro Pinheiro 12 de Novembro de 2004 Prepared by: Pedro Pinheiro.
Seria interessante iniciar uma linha de pesquisa sobre fases geométrica em sistemas de estado sólido?
Definição do MoC Subjacente a Aplicação Prof. Dr. César Augusto Missio Marcon Parcialmente extraído de trabalhos de Axel Jantch, Edward Lee e Alberto Sangiovanni-Vincentelli.
Knowledge Extraction from the Web (ISEWO)
Lecture 2 Properties of Fluids Units and Dimensions 1.
CEManTIKA Framework Overview Vaninha Vieira Ana Carolina Salgado Patricia Tedesco
Metodologia de Desenvolvimento de Software Hermano Moura Alexandre Vasconcelos, André Santos, Augusto Sampaio, Hermano Moura, Paulo.
A KobrA and OCL model for backward state-space search planning and partial order-planning with STRIPS Ana Emília Jairson Vitorino
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa Ontology Building Process: The Wine Domain João Graça, Márcio.
BRAZILIAN NATIONAL BUOY PROGRAMME PNBOIA August 2004.
IEEE PES General Meeting, Tampa FL June 24-28, 2007 Conferência Brasileira de Qualidade de Energia Santos, São Paulo, Agosto 5-8, Chapter 5: Harmonic.
Apresentação da ferramenta incluindo o modelo de projeto.
Brasil Innovaciones censales Instituto Brasileiro de Geografia e Estatística – IBGE Taller “IPUMS América Latina II” Ciudad de Panamá, Panamá.
Equação da Continuidade e Equação de Navier-Stokes
Lei de Cotas: Looking at the Implementation of the Brazilian Employment Quota in São Paulo, Brazil Anna C. O’Kelly.
RELATÓRIO CEMEC 06 COMPARAÇÕES INTERNACIONAIS Novembro 2013.
Microprocessadores 8051 – Aula 3 Interrupção
Aula Teórica 18 & 19 Adimensionalização. Nº de Reynolds e Nº de Froude. Teorema dos PI’s , Diagrama de Moody, Equação de Bernoulli Generalizada e Coeficientes.
© 2012 Autodesk Autodesk Revit para projetos executivos de arquitetura Módulo 2: Otimizando a modelagem para documentação Tiago Marçal Ricotta Gerente.
ENTERTAINMENT LAW Denis Borges Barbosa Português - English ADVOGADOS
Triggers (Gatilhos) Professor Esp. Diego André Sant’Ana
Modelagem dinâmica espacialmente-explicíta em TerraME Dr. Tiago Garcia de Senna Carneiro TerraLAB - Laboratório INPE/UFOP para Simulação e Modelagem dos.
Tópicos Avançados em Engenharia de Software
Data Users Data Owners. Data Users Data Owners.
The following are the CSD Responses in relation to the IEEE P802
Transcrição da apresentação:

Modelagem Dinâmica com TerraME: A Gentle Introduction Dezembro/09 Pedro Ribeiro de Andrade DSA/CCST/INPE

Motivação É crescente a demanda por modelos dinâmicos que permitam a avaliação e o prognóstico dos impactos causados por mudanças ambientais e que considerem de forma integrada fatores sociais, econômicos, hidrológicos, climáticos e ecológicos. –Projeto Land Use and Cover Change - LUCC –Projeto GEOMA ? Fonte: (Carneiro, 2006)

Processo cognitivo no qual os princípios de uma ou mais teorias são aplicados para se produzir um modelo de um determinado fenômeno, sistema ou processo real. Desmatamento ? Teoria de Modelagem If (... ? ) then... Fonte: (Carneiro, 2006)

Causa e Efeito

rain N Itacolomi do Itambé Peak Lobos Range Fonte: (Carneiro, 2006)

Área de estudo – ALAP BR 319 e entorno ALAP BR 319 Estradas pavimentadas em 2010 Estradas não pavimentadas Rios principais Portos new road

Data models but not process models Geographic Information Systems (GIS)

Simulação Computacional Caixa Preta

Source: (Carneiro, 2006) TerraME:Terra Modelling Environment

Lua and the Web Where is Lua? Inside Brazil –Petrobras, the Brazilian Oil Company –Embratel (the main telecommunication company in Brazil) –many other companies Outside Brazil –Lua is used in hundreds of projects, both commercial and academic –CGILua still in restricted use until recently all documentation was in Portuguese TerraME Programming Language: Extension of LUA LUA is the language of choice for computer games [Ierusalimschy et al, 1996] source: the LUA team

Methodology: TerraME architecture & applications Fonte: (Carneiro, 2006)

Basic concepts The Earths environment … can be represented as a synthetic environment… … where analytical entities (rules) change the space properties in time. Several interacting entities share the same spatiotemporal structure. Fonte: (Carneiro, 2006)

TerraMEs way: Modular components Spatial structure 1:32:00Mens :32:10Mens :38:07Mens :42:00Mens return value true 1. Get first pair 2. Execute the ACTION 3. Timer =EVENT 4. timeToHappen += period Temporal structure Newly implanted Deforesting Slowing down latency > 6 years Iddle Year of creation Deforestation = 100% Rules of behaviourSpatial relations Source: [Carneiro, 2006]

Source: (Aguiar, 2003;; Carneiro, 2006) Cell CellularSpace Trajectory Neighbourhood (, ) Space

Cellular Space AnariCells = CellularSpace { dbType = "ADO", host = "localhost", database ="c:\\terralibDB\\mas_lucc.mdb", user = "", password = "", layer = "celulas_500_Anari_1985_pasto", theme = "celulas_500_Anari_1985_pasto", select = {"object_id", "cover", "owner} }

r = Trajectory{cellularspace, function(cell) return cell.height > 50 end, function(c1, c2) return c1.height > c2.height end } (, ) Trajectory

Source: (Aguiar, 2003) Which objects are closer?

Source: (Aguiar, 2003) Which objects are closer?

Euclidean SpacesOpen NetworkClosed Network GPM – strategies for building relations

GPM as a graph To Agent Cell a b a b c c Cell Agent From

Vizinhança createMooreNeighborhood(cs) cs:loadTerraLibGPM("name") cs:loadGALNeighborhood("file.gal") Source: (Aguiar, 2003)

Behaviour Agent Automata Fonte: (Carneiro, 2006)

Desmatamento > 70% recém Implantada desflorestando saturada Latência > 6 anos Evolução Desflorestamento - Fazenda recessão crescimento normal time = 1997 time = 1988 time = 1994 Sistema Econômico Hybrid Situated Behaviour – State Machines

State{id = "MoveDown", Jump{ function(event, agent) return input == "raise" end, target = "MoveUp" }, Jump{ function(event, agent) return gate.y == 0 end, target = "Closed" }, Flow{ function(event, agent) gate.y = gate.y - 9 if gate.y <= 0 then gate.y = 0 end end} } State Machine

Temporal model 1:32:00Mens :32:10Mens :38:07Mens :42:00Mens.4 4. Execute an agent over the cellular space regions Save the spatial data Draw cellular spaces and agents states Carrie out the comunication between agents... return value true 1. Get first pair 2. Execute the ACTION 3. Timer =EVENT 4. timeToHappen += period Fonte: (Carneiro, 2006)

time = Timer { Pair { Event{time = 1985, period = 1}, Message{ function(event) AgentRancher:execute(event) return 1 end} }, Pair { Event {time = 1988, period = 1}, Message { function(event) AgentSmall:execute(event) return 1 end} } Timer

myScale = Environment{ id = "MyScale", cs1 = CellularSpace{... }, csN = CellularSpace{... }, aut1 = Automata{... }, autN = Automata{... }, t1 = Timer{... }, tN = Timer{... }, sc1 = Environment{... }, scN = Environment{... }, } Environment

CellAgent ForEachAgentForEachCell ForEachNeighbor ForEachAgent CellularSpace Society GroupTrajectory DBMS

chuva N Pico do Itacolomi do Itambé Serra do Lobo Fonte: (Carneiro, 2006)

Autômatos Celulares DRY WET (soilWater > infCap) ? (soilWater <= infCap) ? Fonte: (Carneiro, 2006)

Simulation outcome fonte: Carneiro (2006)

STUDY AREA Parque Nacional Serra das Emas Fonte: (Almeida et al, 2008)

STUDY AREA Dados de Entrada do Modelo Fonte: (Almeida et al, 2008)

STUDY AREA Propagação do Incêndio Fonte: (Almeida et al, 2008)

Estimativa de Emissões por Desmatamento Fonte: (Aguiar et al, 2009)

Deforestation Forest Non-forest Deforestation Map – 2000 (INPE/PRODES Project) Federal Government induced colonization area (since the 70s): Small, medium and large farms. Mosaic of land use patterns. Definition of land units and typology of actors based on multi-temporal images (85-00) and colonization projects information (Escada, 2003). Deforestation in Rondônia Fonte: (Carneiro, 2006)

1985 to 1997 Source: adapted from (Carneiro, 2006) Deforestation in Rondônia

BASELINE SCENARIO – Hot spots of change (1997 a 2020) ALAP BR 319 Estradas pavimentadas em 2010 Estradas não pavimentadas Rios principais 0.0 – – – – – – – – – – 1.0 % mudança 1997 a 2020: Fonte: (Aguiar, 2006)

GOVERNANCE SCENARIO – Differences from baseline scenario ALAP BR 319 Estradas pavimentadas em 2010 Estradas não pavimentadas Rios principais Less: More: Differences: Protection areas Sustainable areas Fonte: (Aguiar, 2006)

STUDY AREA São Félix do Xingu Fonte: (Costa, 2009)

Landscape model: different rules of behavior at different partitions Forest Not Forest Deforest River FRONT MIDDLE BACK SÃO FÉLIX DO XINGU Observed deforestation in 1997 Fonte: (Costa, 2009)

Landscape model: different rules of behavior at different partitions which also change in time FRENTE MEIO RETAGUARDA Forest Not Forest Deforest River FRONT MIDDLE BACK SÃO FÉLIX DO XINGU Observed deforestation in 2006 Fonte: (Costa, 2009)

Modeling results 97 to 2006 Observed 97 to 2006 Real Data Simulation Fonte: (Costa, 2009)

Modelagem Multi-Escala Athmosphere, ocean, chemistry climate model (resolution 200 x 200 km) Atmosphere only global climate model (resolution 50 x 50 km) Regional climate model (resolution 10 x 10 km) Hydrology, Vegetation Soil Topography (e.g, 1 x 1 km) Regional land use change Socio-economic changes Adaptation (e.g., 100 x 100 m) Fonte: (Camara, 2009)

Acoplamento de Modelos Fonte: (Piribauer, 2009)

TerraME Hoje Versão 1.0 Beta prevista para fevereiro/ Extensão para acessar outros tipos de dados (pontos, linhas, etc.) como células TerraME-GIMS (Graphical Interface for Modeling and Simulation) TerraME-HPA (High Performance Architecture) Dificuldade para visualizar dinamicamente os resultados dos modelos