Esta página apresenta a tese de doutorado de Bianca Maria Pedrosa, orientada pelo Dr. Gilberto Câmara e defendida em 28 de julho de 2003, perante uma banca formada pelo orientador e pelos professores: Dr. Antônio Miguel Vieira Monteiro (INPE), Prof. Frederico Torres Fonseca (Penn State University), Prof. Marco Antônio Casanova (PUC-RJ), e Dr. João Ricardo de Freitas Oliveira (INPE), como parte do programa de Doutorado em Computação Aplicada do INPE.

Esta tese apresenta TerraML, um ambiente computacional para modelagem dinâmica espacial para ser usado em aplicações ambientais. TerraML baseia-se num modelo celular de representação do espaço. TerraML utiliza o paradigma de autômatos híbridos para abstrair os elementos contínuos e discretos  de um sistema dinâmico.  Para capturar ações a distância, TerraML adota o conceito de  vizinhança generalizada, implementada como uma matriz de proximidade, definida a partir de cálculos de distâncias entre as células ou a partir de redes de transporte.

Conteúdo

1. Introdução
2. Modelagem Dinâmica e GIS
3. Ambiente Computacional para Modelagem Dinâmica Espacial
4. TerraML - Formalização da Linguagem
5. Uma Aplicação em Mudança na Cobertura do Solol
Anexo