Tese apresentada Pr-Reitoria de Ps-Graduao e Pesquisa do Instituto

Tecnolgico de Aeronutica, como parte dos requisitos para obteno do ttulo

de Doutor em Cincias no Programa de Ps-Graduao em Engenharia
Eletrnica e Computao, rea de Informtica.

Joo Pedro Cerveira Cordeiro

LGEBRA DE MAPAS E REGIES

Tese aprovada em sua verso final pelos abaixo assinados:

(in-memorium)

Felipe Afonso de Almeida

Srgio Roberto Matiello Pellegrino

Celso Massaki Hirata

Pr-Reitor de Ps-Graduao e Pesquisa

Campo Montenegro
So Jos dos Campos, SP Brasil
2010

ii

Dados Internacionais de Catalogao-na-Publicao (CIP)

Diviso de Informao e Documentao
Sobrenome, Prenome do autor
Ttulo da tese / Autor na ordem direta do nome.
So Jos dos Campos, ano.
185f.
Tese de doutorado Eletronica e Computao, Informtica Instituto Tecnolgico de Aeronutica,
ano. Orientadores: PhD. Felipe Afonso de Almeida; PhD Srgio Pellegrino
1. Sistemas de Informao Geogrfica. 2. lgebra 3. Mapeamento. 4. Linguagens formais. 5. Teoria
de autmatos. I. Instituto Tecnolgico de Aeronutica. II.Ttulo

REFERNCIA BIBLIOGRFICA
CORDEIRO, Joo Pedro. lgebra de Mapas e Regies. 2010. 112. Tese de Doutorado em Informtica
Instituto Tecnolgico de Aeronutica, So Jos dos Campos.

CESSO DE DIREITOS
NOME DO AUTOR: Joo Pedro Cerveira Cordeiro
TTULO DO TRABALHO: lgebra de Mapas e Regies
TIPO DO TRABALHO/ANO: Tese / 2010

concedida ao Instituto Tecnolgico de Aeronutica permisso para reproduzir cpias

desta tese e para emprestar ou vender cpias somente para propsitos acadmicos e
cientficos. O autor reserva outros direitos de publicao e nenhuma parte desta tese
pode ser reproduzida sem a sua autorizao (do autor).

Joo Pedro Cerveira Cordeiro

Instituto Nacional de Pesquisas Espaciais So Jos dos Campos SP

iii

LGEBRA DE MAPAS E REGIES

Joo Pedro Cerveira Cordeiro

Composio da Banca Examinadora:

Prof.
Prof.
Prof.
Prof.
Prof.

Carlos Henrique Quartucci Forster

Pedro Luiz Pizzigatti Corra
Sergio Roberto Matiello Pellegrino
Gilberto Camara Neto
Paulo Marcelo Tasinaffo

ITA
USP
ITA
INPE
ITA

ITA

iv

A meus pais e meus irmos.

A meus filhos e minhas paixes!

AGRADECIMENTOS

Agradeo a meu saudoso orientador Felipe Almeida, que jovem partiu, de quem sinto
falta. Por ter compartilhado comigo tantas fases e conflitos ao longo desse ritual de passagem.
Abrindo portas necessrias, devolvendo a confiana quando esta se esvaa. Espero
homenage-lo em tudo de bom que este trabalho possa engendrar.
Ao Srgio Pellegrino por abraar esta causa, trazendo a energia, competencia e calma,
necessrias para que ela pudesse contornar seus ltimos obstculos.
Ao Instituto Tecnolgico da Aerontica, pela oportunidade de desenvolver, criar e
reunir, em mim, a perseverana, a imaginao e algumas partes perdidas no tempo, que ali me
esperavam em silncio.
A meus amigos, a comear pela Rosa Maria Kato e Mary Yamada, por terem me
ajudado a desvendar os segredos fascinantes do desenvolvimento de software. Ao Fernando
Yamaguchi, Guaracy Erthal e Ubirajara de Freitas, pelo mesmo motivo e muitas outras
intervenses.
Gostaria de ser capaz de agrupar colegas pelos tipos de momentos que tivemos,
despertando idias, metas, desafios e provocaes, amigos como o Larcio Namikawa,
Antnio Miguel Monteiro, Gilberto Camara e Ricardo Cartaxo. Um destaque especial para o
Jean Franois Banon, com quem pude saborear importantes questes matemticas iniciais e
Jussara Marins pelas, no menos, finais..
Meus agradecimentos gerais a todos que me mostraram um ambiente de descoberta e
me ajudaram a me sentir parte dele. E, para no esquecer ninguem, me dirijo agora a voc,
leitor, muito obrigado mesmo.

vi

RESUMO
Um importante componente de um sistema de informao geogrfica (SIG), a lgebra de
mapas consiste de uma linguagem e uma estruturao algbrica sbre mapas em geral.
Operaes e as expresses que as definem, sero tanto mais algbricas quanto mais reflitam as
propriedades tpicas de lgebras matemticas conhecidas, tais como a associatividade, a
comutatividade e a distributividade, para operaes; e a reflexividade, simetria e
transitividade para relaes, na construo de sentenas que iro descrever mtodos de anlise
e modelagem em SIG. A abordagem mais corrente na implementao de lgebras de mapas
consiste de pelo menos trs estruturas focadas na natureza local, zonal ou focal dessas
operaes e relaes. Em onseqencia disso o vocabulrio da linguagem resultante apresenta
uma certa redundncia de conceitos que dificulta a integrao plena entre as tres estruturas
resultantes. Este trabalho parte da premissa que locais, zonas e vizinhanas, so maneiras
particulares de selecionar elementos de conjuntos de locais; e da observao que tais maneiras
podem ser descritas por expresses da prpria lgebra de mapas, como as usadas para
exprimir comparaes e operaes Booleanas. A partir da introduo de um operador para
modelar esse processo de seleo, cada local de interesse de uma rea de estudo passa a ser
caracterizado por sua interao com locais de algum conjunto, dado sob a forma de uma
expresso tambm. Tais expresses podem explorar ao mximo as propriedades da lgebra
proposta, sendo avaliadas sempre que necessrio, ora para obter um valor local de um novo
mapa, ora para decidir tambm localmente, sbre a pertinncia ou no de um local a uma
regio. Isso evita o custo de se criar representaes de dados intermedirios no processo de
modelagem. Desse modo, alm da economia de recursos computacionais, conceitos como
zona e vizinhana passam a ser decorrncias de suas prprias definies como expresses
algbricas, e a linguagem, passa a no depender de especializaes adicionais para nomes e
operadores. Apenas vocabulrios j bastante consolidados como os da lgebra dos nmeros,
da lgebras relacional e da algebra Booleana, alm do jargo usual da estatstica e,
potencialmente, outras disciplinas, so relevantes para a descrio de modelos. Toda essa
flexibilidade se deve estratgia de implementao usada, fundamentada na teoria dos
autmatos, que estabelece maior compromisso formal entre os temas relativos a linguagem e
implementao, alm de maior afinidade com tcnicas de modelagem de aspectos dinmicos
de processos fsicos e ambientais, em particular aquelas baseadas em autmatos celulares.

vii

ABSTRACT
An important component of a Geographic Information System, the map algebra, consists of a
language and an algebraic structuring over maps in general. Operations, and the expressions
to define them, can be as much algebraic as their ability to reflect typical properties of well
known mathematical algebras. Properties such as associative, commutative and distributive
should also be reflected in building sentences to model processes, and information to be
extracted from a spatial data base. The usual approach to implement map algebra functionality
is actually focused on at least three different views of the geographic space, respectively
focused on their local, zonal and focal nature. As a consequence, three slightly different
vocabularies are needed to describe its functionality, thus leading to some conceptual
redundancy and hampering of the full integration among resulting operation classes. This
work starts from the premise that locations, zones and neighborhoods correspond to particular
ways of selecting elements from sets of locations, and from the observation that these ways
can be described through map algebraic expressions as well, such as those used to express
comparisons and Boolean operations. An operator to model this selecting process is
introduced so that each location of a study area can be characterized through its interaction
with a set of locations, described by an expression that can fully explore the properties of the
proposed algebraic structure. At any time in the modeling process, an expression is evaluated,
either to actually obtain a value for a location to be represented in a new map, or to decide if
the location belongs or not, to the influence region of another location, thus avoiding lots of
intermediate representations in the modeling process. Besides resource savings, concepts such
as zones and neighborhoods become the natural consequences of their proper defining
algebraic expressions. Also the language becomes independent regarding additional
specializations for operations, only well stated vocabulary from number, relation and Boolean
algebras, and along with familiar mathematical jargon such as those from statistics must be of
concern while describing models. This flexibility results from the implementation strategy
adopted, with focus on the theory of the automata, which imposes a tight compromise
between language and implementation issues. Due to its natural affinity with dynamic
modeling techniques, particularly those regarding cellular automata, this work also suggests to
explore physical and environment processes by their descriptive counterparts, using the
language not only to model states, rules, neighborhoods and other regions involved, but also
to add spatial variability at the basis of their definitions.

viii

SUMRIO
Pg.

AGRADECIMENTOS ...................................................................... v
RESUMO ........................................................................................ vi
ABSTRACT..................................................................................... vii
SUMRIO ....................................................................................... viii
LISTA DE FIGURAS ....................................................................... x
LISTA DE SIGLAS .......................................................................... xi
1 Introduo ..................................................................................... 1
1.1 Sistemas de Informao Geogrfica ............................................... 2
1.2 lgebra de Mapas ........................................................................ 7
1.3 Modelagem Ambiental em SIG ..................................................... 11
1.4 Objetivo da Tese.......................................................................... 14
1.5 Desenvolvimento ...................................................................... 17
1.6 Organizao do Documento .......................................................... 19
2 Modelos Topolgicos de Espao ...................................................... 21
2.1 Topologia dos Conjuntos de Pontos ............................................... 22
2.2 Topologia das Regies Conexas .................................................... 25
2.3 Topologia Digital ........................................................................ 27
2.4 Relaes Topolgicas e Linguagens ............................................... 33
3 lgebra e Espaos Proximais ........................................................... 36
3.1 lgebra de Imagens ..................................................................... 36
3.2 Geo-lgebra ................................................................................ 40
3.3 lgebra de Regies ...................................................................... 44
4 Linguagens,Autmatos e Regies. .................................................... 49
4.1 Implementao da LEGAL ........................................................... 51
4.2 Relaes e Regies ...................................................................... 56

ix

4.3 Interao entre Regies e Mapas.................................................... 63

4.4 Extenso do Conceito de Local. ..................................................... 69
4.5 Extenso do Conceito de Regio. ................................................... 71
5 Aplicaes Atuais em LEGAL ......................................................... 75
5.1 Disseminao de Tecnologia ......................................................... 76
5.2 Usos em Projetos ......................................................................... 82
5.3 Pesquisas Acadmicas .................................................................. 90
6 Perspectivas Futuras da LEGAL. ...................................................... 98
6.1 Modelos Baseados no Indivduo .................................................... 100
6.2 Regies e Modelagem Orientada a Indivduos ................................. 103
7 Concluses e Trabalhos Futuros ....................................................... 109
Referncias .................................................................................... 112
Apndice A lgebra de Mapas de Tomlin ............................................ 123
Apndice B A Linguagem LEGAL (revisada) ...................................... 137
Anexo 1 Manual da LEGAL (no revisada) ....................................... 151

LISTA DE FIGURAS
Pg.

FIGURA 2.1 Alguns conjuntos com interior conexo ............................................................ 22

FIGURA 2.2 Oito relaes possveis entre regies ............................................................... 24
FIGURA 2.3 Discretizao do espao em pontos e celas. .................................................... 28
FIGURA 2.4 Grfico da funo pulso. .............................................................................. 29
FIGURA 2.5 Amostragem e representao de intensidades pontuais. .................................. 30
FIGURA 2.6 Curvas contnuas em uma grade de amostras. ................................................. 30
FIGURA 2.7 Vizinhanas bidimensionais de Von Neumann. .............................................. 31
FIGURA 2.8 Vizinhanas segundo diferentes funes distncia ........................................... 31
FIGURA 3.1 Convoluo entre templates e imagens............................................................ 38
FIGURA 3.2 Decomposio de templates ............................................................................ 39
FIGURA 3.3 Interao entre mapas e mapas meta-relacionais . ........................................... 40
FIGURA 3.4 Mapa meta-relacional para uma matriz origem-destino. ................................. 42
FIGURA 4.1 Modelo conceitual de um autmato de pilha. .................................................. 50
FIGURA 4.2 Operaes modeladas atravs de estrutura de pilha. ....................................... 53
FIGURA 4.3 Configurao de vizinhanas alvo e fundo. ..................................................... 59
FIGURA 4.4 Seleo de locais e valores de uma imagem. ................................................... 60
FIGURA 4.5 Diferentes formas de especificao de vizinhanas......................................... 61
FIGURA 4.6 Interao entre regies e mapas. ...................................................................... 65
FIGURA 4.7 Sumario estatstico por maioria. ...................................................................... 66
FIGURA 4.8 Deteco de alvos baseada no contraste entre mdias. .................................... 68
FIGURA 4.9 Dados a diferentes resolues e mesma escala. ............................................... 69
FIGURA 4.10 Extrao de rudos temticos. ........................................................................ 71
FIGURA 5.1 rvore de deciso para classificar classes de cobertura vegetal...................... 80
FIGURA 5.2 Indicao de ocorrncia de desmatamento sob nuvens.l. ................................ 85
FIGURA 5.3 Detalhes das safras de cana-de-acar. ............................................................ 87
FIGURA 5.4 Rudos temticos oriundos do processo de classificao. ............................... 88
FIGURA 5.5 Fluxograma geral da aplicao de regras......................................................... 89
FIGURA 5.6 Detalhe de fluxograma para regras. ................................................................. 89
FIGURA 5.7 Mapa original e reclassificado em LEGAL. .................................................... 90
FIGURA 5.8 Parcelas (plots) na regio de Manaus. .......................................................... 93
FIGURA 5.9 Contagem de focos de queimada por local. ..................................................... 96
FIGURA 6.1 Interao entre indivduo e paisagem. ........................................................... 106
FIGURA 6.2 Diferentes formas de sumarizao ................................................................. 107
FIGURA 6.3 Interao entre diferentes indivduos. ............................................................ 107

xi

LISTA DE SIGLAS
AC
AI
AMO
AML
AVHRR
AWS
BNF
CA
CIAT
CPEA
DBMS
DPI
ETM
ESRI
EUPS
FAO
GIS
GLC
GUI
IBGE
IMGRID
INPE
LBA
LEGAL
LLC
MODIS
NASA
NOAA
OGC
PI
PI
PDA
PRODES
QSR
SR
RCC
SELES
SIG
SGDB
SGBDR
SPRING
SQL
SRTM
TM

Autmatos Celulares
Artificial Intelligence
lgebra de Mapas Orientada a Objetos
Arc Modelling Language
Advanced Very High Resolution Radiometer
Automatic Wether Station
Backus-Naur Form
Cellular Automata
Centro Internacional de Agricultura Tropical
Centro de Estudos Avanados em Economia Aplicada
Data Bases Management System
Diviso de Processamento de Imagens
Enhanced Thematic Mapper/ NASA-USGS
Environment Systems Research Institute
Equao Universal de Perda de Solo
Food and Agriculture Organization of the United Nations
Geographic Information System (or Science)
Gramtica Livre de Contexto
Graphical User Interface
Instituto Brasileiro de Geografia e Estatstica
Information Manipulation System for Grid Cell Data Structures
Instituto Nacional de Pesquisas Espaciais, Brazil
Large scale Biosphere-Atmosphere
Linguagem Espacial de Geoprocessamento Algbrico
Linguagem Livre de Contexto
Moderate Resolution Imaging Spectroradiometer
National Aeronautics and Space Administration
National Oceanographic and Atmosphere Agency
OpenGIS Consortium | Open Geospatial Consortium
Planp de Informao
Processamento de Imagens
(Non-deterministic) Pushdown Automata, Autmatas de Pilha
Projeto de Estimativa do Desflorestamento da Amaznia
Qualitative Spatial Reasoning
Sensoriamento Remoto
Region Connection Calculus
Spatially Explicit Landscape Event Simulator
Sistema de Informaes Geogrficas
Sistema de Gerenciamento de Bancos de Dados
SGDB Relacional
Sistema de Processamento de Informaes Georeferenciadas
Standard Query Language
Shuttle Radar Topography Mission
Thematic Mapper sensor do programa Landsat -NASA-USGS

xii

USP
UNICA
USGS
USLE
VGIS
YACC

Universidade de So Paulo
Unio da Agroindstria Canavieira de So Paulo
United States Geographical Surveys
Universal Soil Loss Equation
Virtual GIS
Yet Another Compiler Compiler

1 Introduo

A lgebra Moderna surgiu no perodo que compreende o final do sculo XIX e o

primeiro quarto do sculo XX, e corresponde a uma mudana de significado da palavra
lgebra, que deixa de referir-se a uma teoria de equaes, para tornar-se uma teoria de
estruturas (Birkhoff e McLane, 1965; McLane e Birkhoff, 1967). Estruturas algbricas partem
da noo de conjunto, so, portanto, estruturas impostas sbre conjuntos e seus elementos ou
subconjuntos, fundamentadas ora em regras para a caracterizao de elementos, ora em regras
para a seleo de subconjuntos. Diferentes estruturas podem ser impostas sbre um mesmo
conjunto e novas estruturas podem ser obtidas a partir de estruturas existentes, podendo
envolver, conjuntos das mais variadas naturezas e dimensionalidades, tais como os mapas em
geral.
Por trs das diferentes formas de representao de entidades e fenmenos com
dimenso espacial, existem premissas fundamentadas num ramo da matemtica conhecido por
Topologia, usadas para modelar feies geogrficas, Nesse contexto so detalhados conceitos
fundamentais como os de conjunto aberto, vizinhana, interior, fronteira, fecho e partio,
entre outros.
De uma maneira bastante geral, um mapa pode ser definido como uma funo que
mapeia uma restrio de um domnio espacial, referida por rea de estudo, a algum
contradomnio especfico de atributos de natureza quantitativa ou no. Vrios tipos de
arranjos usados para representar dados espaciais, tais como imagens, grades, amostras e
cadastros, podem ser includos na categoria dos mapas.

2
O estudo das relaes entre entidades representadas em mapas fundamentado no
ramo da Topologia conhecido por Topologia Algbrica (Dugundgy, 1966; Kelley, 1975), e
remete ao esforo de pesquisa voltado para a efetiva integrao de dados geogrficos em
sistemas de bancos de dados relacionais. O estudo das relaes e operaes envolvendo as
funes que definem mapas, propriamente ditas, por sua vez, remete ao tema que ser referido
neste texto como lgebra de Mapas, introduzido por Dana Tomlin (1990).
Segue-se que as propriedades topolgicas e algbricas dos domnios e contradomnios
envolvidos na noo de mapa, determinam as operaes e relaes que modelam tanto a
gerao de novos mapas, quanto caracterizao das regies envolvidas em tal processo.
O tema mais central deste trabalho de tese resulta da formalizao do conceito de
regio, com base em argumentos topolgicos e algbricos, como paradigma nico para a
identificao e representao de feies de interesse geogrfico. A partir da definio de um
operador para a modelagem da interao entre mapas e regies, ento estabelecida a base de
uma estruturao algbrica, capaz de modelar uma vasta funcionalidade em Sistemas de
Informao Geogrfica.

1.1 Sistemas de Informao Geogrfica

Um Sistema de Informao Geogrfica (SIG) um conjunto de ferramentas
computacionais capaz de capturar, armazenar, manipular e analisar informao geogrfica
(Burrough, 1998). O significado dessas capacidades tem sido centro de muitos debates desde
os anos 1980s sbre os aspectos cientficos envolvidos no desenvolvimento e uso de SIG,
que levaram a uma mudana na viso de SIG como sistema, (em Ingls GIS Geographic
Information System), para a de uma Cincia da Informao Geogrfica (em ingls

3
Geographic Information Science) (Goodchild, 1992, 2003; Frank, 1999). Citando
EgenHofer (Egenhofer et al., 1990):
como os sistemas computacionais so essencialmente sistemas formais que
manipulam smbolos de acordo com regras formais, tambm os conceitos envolvidos em
Sistemas Geogrficos de Informao precisam ser formais. O formalismo serve como um
meio de verificar que as premissas e expectativas sbre os conceitos espaciais concorrem.
Duas linhas de pesquisa desde ento se inserem nesse contexto: a pesquisa sobre
SIG, que busca o aperfeioamento das tecnologias de SIG, e a pesquisa com SIG; que
explora essa tecnologia para o avano das cincias ambientais.

MODELO DE DADOS

A arquitetura da maioria dos SIG reflete duas diferentes vises de espao geogrfico
focadas na natureza contnua ou discreta dos atributos associados a feies de interesse
geogrfico (Goodchild, 1992; Camara, 1994). Numa delas a superfcie da Terra vista como
um campo definido por um nmero incontvel de funes contnuas que associam valores de
atributos como altitude, temperatura e presso atmosfrica, entre outros, a cada ponto de uma
rea de estudo, vista aqui como um espao topolgico. Na outra, a superfcie da Terra
povoada por colees de feies identificveis, ou objetos, com limites bem definidos e
diferentes representaes a diferentes escalas cartogrficas. Os estados de uma diviso
poltica, parcelas de um zoneamento rural, prdios e ruas de uma cidade so exemplos de
entidades representadas como objetos.
Uma estratgia comum para a representao de campos consiste em explorar a
regularidade do domnio espacial, representado por uma partico em celas de caractersticas

4
identicas, atravs da associao implcita entre locais e coordenadas. As associaes desse
tipo implicam em representaes referidas por matriciais ou raster, e se apropriam da
noo matemtica de matriz e operaes da lgebra matricial. J a representao de objetos se
baseia na distino entre interior, exterior e borda do espao ocupado pelas feies a que esto
associados. Essa estratgia implica em representaes chamadas vetoriais, de pontos, linhas,
polgonos e superfcies, como em um espao vetorial. Citando Joseph Berry (1993):
A diferena terica primria entre essas duas estruturaes que no caso matricial,
a informao sbre o interior de feies areais armazenada, e as bordas so deduzidas,
enquanto no caso vetorial, a informao sbre bordas armazenada, e o interior
deduzido.
Entretanto, campos e objetos refletem ainda uma viso Newtoniana, ou absoluta de
espao, que se mostra insuficiente para modelar todas as questes e inter-relacionamentos
envolvendo fenmenos e objetos quando se considera a dinmica dos processos ambientais.
preciso incorporar ao espao uma viso mais relativistica, ou Leibniziana (Couclelis, 1997),
em que a noo de localidade possa depender tambm das relaes espao-temporais entre
feies e fenmenos. Couclelis (1992) sugere ento uma viso de espao que chamou de
proximal, em que feies so tambm identificadas a uma representao do espao relativo
que os contm. Desse modo, aspectos tanto estticos, quanto relacionais e dinmicos de
modelos podem ser representados em um arcabouo comum.

MODELO DE FUNES

Outro aspecto importante de um SIG refere-se efetiva manipulao e anlise de

dados associados a entidades e fenmenos geogrficos. A produo de informao a partir de

5
informao j existente, atravs da combinao de comandos e funes constitui o modelo de
processos ou modelo funcional de um SIG (OGC, 1996).
Ao longo dos anos um nmero muito grande de mtodos de analise e modelagem
baseadas em SIG tm sido desenvolvidos. Segundo Goodchild (2003), um dos mais,
desencorajantes aspectos da anlise e modelagem com SIG simplesmente descrever todas as
suas possibilidades. So milhares, e novos mtodos de anlise baseados em SIG surgem a
cada dia, em diferentes reas e disciplinas
Um modo de organizar mtodos de anlise e modelagem em SIG atravs dos tipos
de dados envolvidos nas operaes utlizadas, algumas voltadas para objetos discretos como,
pontos, linhas e polgonos, outras para feies conceituadas como campos. Num nvel mais
prximo da representao fsica de dados (Goodchild, 1992; Camara et al., 1996), essa
classificao ir refletir a natureza vetorial ou matricial dessas operaes.
Dentre as operaes mais comuns em SIG, Goodchild (1992) distingue, em termos de
suas entradas e sadas, e dos problemas que se propem a resolver, dois grupos de operaes:
vetoriais classificadas segundo sua natureza pontual ou areal; e matriciais, ou raster.
No caso de dados vetoriais de natureza pontual, muitas questes dependem da
avaliao de medidas de distncia entre dois pontos, considerando fatores como sistemas de
projeo, o custo de deslocamento entre pontos muitas vezes deve ser levado em conta, e
muitas outras situaes especficas. Outra importante operao de anlise em SIG referida
por ponto-em-polgono, fundamental para a amostragem de informao oriunda de diferentes
mapas. Uma outra classe de operaes, que se estende de pontos para linhas e polgonos,
eferida por buffer (margem, corredor), objetiva identificar todos os pontos dentro de um
certo entorno de um ponto, linha ou polgono.

6
Ainda sob a perspectiva vetorial, Goodchild (1996) distingue operaes de natureza
areal (poligonal), a comear pelo clculo de rea e permetro de um polgono e todas as
consideraes envolvidas, tais como: sistema de projeo e topografia.
Outra classe importante a das operaes de overlay (sobreposio) de mapas
visando o cruzamento da informao existente em ambos. Por exemplo, ao sobrepor um mapa
de uso de terra com um de municpios, possvel observar o quanto de areas agrcolas existe
em um certo municpio, Tambm a sobreposio de polgonos isoladamente de utilidade
quando se tem muitos domnios de valores associado a cada ponto.
As operaes orientadas para representao matricial so em grande parte similares s
operaes sobre imagens, bastante amadurecidas em outras disciplinas como Processamento
de Imagens. Num SIG raster, o universo representado por uma srie de camadas (ou planos)
que cobrem a mesma rea de estudo de maneira idntica, quanto ao georeferenciamento e
resoluo espacial de cada elemento de uma partio regular da rea de estudo. Cada plano
registra os valores de uma varivel ou atributo.
Outras taxonomias funcionais de SIG discutidas em (Burrough, 1998; Goodchild,
1992b), tambm evidenciam uma arquitetura que distingue grupos funcionais segundo a
natureza (vetorial ou matricial) do modelo de espao sbre o qual se aplicam.
Com o intuito de especificar o universo funcional dos SIG, a um nvel de abstrao
independente do modelo de dados, Jochen Albrecht (1995, 1999), parte de um levantamento,
junto comunidade de usurios de SIG, sbre questes mais comuns em modelagem
ambiental. Como resultado foram detectadas vinte operaes, que permitiriam construir a
grande maioria das aplicaes, sem a necessidade de um usurio se envolver com detalhes de
representao fsica dos conceitos envolvidos. Albrecht (1996) distingue seis grupos
(Pesquisa; Anlise locacional; Anlise de terreno; Anlise de distribuio e vizinhana;

7
Anlise espacial e Medies) que poem ser modeladas com base em uma biblioteca de
processos, que veio a constituir o ambiente VGIS (Virtual Geographic Information
System).
Em um trabalho mais recente, Longley et al., (2001), com objetivo semelhante destaca
tambm seis grupos de funes (Consulta; Medies e Transformaes; Sumrios estatsticos;
Otimizao e Teste de hipteses globais baseados em amostras locais e mtodos Estatsticos),
que podem ser consideradas independentes de estratgias de representao
A despeito do maior ou menor grau de dependncia a modelos de dados que uma
taxonomia funcional em SIG possa refletir, e da maior ou menor correlao entre as classes
que apresenta, parece improvvel que uma convergncia semntica e estrutural possa ser
estabelecida dessa forma.

1.2 lgebra de Mapas

Talvez a mais bem sucedida abordagem no sentido de modelar o universo funcional
em SIG venha da lgebra de Mapas (Tomlin e Berry, 1979; Berry e Tomlin, 1982; Berry,
1987; Tomlin, 1990). Tal abordagem parte de uma categorizao de funes que permite
acomodar conceitos oriundos de tcnicas manuais de anlise de mapas, conhecidas como
overlay (Steinitz et al., 1976), ou modelagem cartogrfica, para ambientes
computacionais. Citando Dana Tomlin (1990), a abordagem da modelagem cartogrfica
tenta generalizar e padronizar o uso de sistemas de informao geogrfica. Ela faz isso
atravs da decomposio de tarefas de processamento de dados em componentes elementares
que podem ento ser combinados facilmente.

8
No mapeamento por

overlay um usurio conta com uma biblioteca de mapas

traados sbre material transparente, de uma mesma rea de estudo, georreferenciados

segundo o mesmo sistema de projeo cartogrfica, escala e resoluo. O objetivo ento
realizar uma seqncias de operaes sbre eles. Essas tcnicas de mapeamento
representaram nos anos 1960s uma mudana de paradigma no uso de mapas, que deixou de
enfatizar a descrio do espao geogrfico, passando a uma viso prescritiva, em que mapas
eram usados para caracterizar aes de gerncia, planejamento e uso de solo (Berry, 1987b).
A modelagem cartogrfica computacional introduzida por Dana Tomlin conseguiu de forma
completa, transferir essas tcnicas para lidar com representaes digitais de mapas
O conceito de mapa em (Tomlim, 1990) identificado sobreposio de um ou mais
planos de mapa, ou planos de informao, ou simplesmente planos, e constituem a estrutura
bsica de representao de dados. Alguns planos representam uma partio de uma rea de
estudo em um conjunto de zonas, onde cada zona agrega locais com alguma propriedade em
comum. Outros planos representam distribuies contnuas de valores de natureza
quantitativa sbre a rea de estudo, Os locais ou pontos geogrficos so os elementos
primrios do espao cartogrfico, e, podem ser agregados por critrios de natureza espacial,
tais como: coordenadas, resoluo espacial e relaes de proximidade; ou por critrios de
natureza funcional, no sentido que dependem das grandezas associadas a eles.
A operao mais primitiva da lgebra de Tomlin (1990) consiste da sobreposio de
dois planos, de maneira anloga operao manual de overlay. Quando dois planos
representando zonas so sobrepostos, uma nova partio da rea de estudo definida e, junto
a ela, a distribuio de um novo conceito estabelecida e analisada. No caso contnuo, a
anlise se baseia em conjuntos de locais, referidos por vizinhanas, que modelam, com base

9
em relaes de proximidade ou direo a influncia de outros locais na caracterizao de cada
local da rea de estudo.
Segundo Sinton (1979), a primeira verso da lgebra de Mapas de Tomlin (1979) foi
implementada como um mdulo do IMGRID, um dos primeiros sistemas computacionais de
mapeamento por overlay, desenvolvido na Graduate School of Design da Universidade de
Haward a partir de 1968 (Sinton, 1978), e usado em diversas aplicaes em planejamento de
uso de terra. Muitas implementaes surgiram desde ento, Tais como: a linguagem GRID,
que integra linguagem AML no ambiente ArcView-Spatial Analyst da ESRI
(Environment Systems Research Institute), a maior empresa na rea de SIG; o MFWorks
desenvolvido pela ThinkSpace para o ambiente SIG GeoMedia da InterGraph; o IDRISI,
desenvolvido pela Clark University, o ILWIS desenvolvido pelo Institute for Aerospace
Survey e comercializado pela PCI-Geomatic; o R-Mapcalc, da GRASS-Community,
desenvolvido na Universidade Baylor (Shapiro et al., 1992), e o modulo LEGAL do SIG
Spring, (Camara et al. 1994) desenvolvido pelo Instituto Nacional de Pesquisas Espaciais.
Atualmente, a maioria dos produtos comerciais voltados para SIG suportam total ou
parcialmente o amplo leque de operaes da lgebra de mapas de Tomlin (1990).
A interface original para lgebra de mapas, consistia da entrada por linhas de
comando, de sentenas que satisfazem algumas regras sintticas de uma linguagem proposta
por Tomlin (1983) como parte do seu Map Analysis Package. Algumas implementaes j
apresentam interfaces orientadas para janelas, como o Grid Analyst do MGE (Intergraph,
1993), ou interfaces grficas representadas por diagramas de fluxo, cones e links, como o
MAP II (Kirby et al., 1990), o Imagine model maker e o AMO (Lucena et al., 1998), que
uma interface para o LEGAL. Entretanto, segundo (Egenhofer et al., 1995), a maioria dessas

10
interfaces reflete ainda as mesmas regras sintticas encontradas nas entradas por linhas de
comando.
Aperfeioamentos que estendem aspectos funcionais e estruturais da lgebra de mapas
tm sido introduzidos ao longo do tempo. Em (Caldwell, 2000), por exemplo, novos
operadores estendem a capacidade de sumarizar informao por vizinhanas e zonas,
permitindo revelar novos aspectos estruturais de uma rea de estudo. Em (Mennis et al., 2005)
a lgebra de mapas estendida para dados tridimensionais, que podem ainda incorporar uma
dimenso temporal. At mesmo num contexto puramente vetorial, a estratgia da lgebra de
mapas pode ser implementada com interessantes conseqencias semnticas que expandem sua
expressividade (French et al., 2010). Entretanto, pouco tem sido acrescentado a sua
arquitetura funcional, constituda de funes agrupadas atravs de prefixos que indicam a
natureza, local, focal ou zonal das operaes que implementam.
Algumas funes da lgebra de mapas de Tomlin (1990) correspondem efetivamente a
operaes algbricas primitivas, como as operaes aritmticas, estendidas a valores
associados a locais atravs de mapas. Outras envolvem a sumarizao estatstica de conjuntos
de valores associados a locais contidos em zonas ou vizinhanas. Como resultado, o
vocabulrio da linguagem MAP (Map Analysis Package) proposta por Tomlin (1990),
precisa distinguir diferentes contextos para funes de significado matemtico similares. Por
exemplo, uma funo de sumarizao estatsticas como mdia, necessita de trs diferentes
verses (MdiaLocal, MdiaFocal e MdiaZonal) para representar o mesmo conceito
matemtico, dificultando assim a integrao plena entre as diversas classes de operaes
resultantes.

11
Por sua importncia como principal foco de confronto para as idias discutidas nessa
tese, e na maioria dos trabalhos correlatos, o tema lgebra de Mapas de Tomlin
apresentado, com um pouco mais detalhes, no Apndice-A deste documento.

1.3 Modelagem Ambiental em SIG

medida que novas tecnologias, recursos computacionais e dados foram se tornando
cada vez mais disponveis, a complexidade dos modelos foi tambm experimentando variadas
tendncias de crescimento, tanto no que se refere a processos fsicos, tais como: modelos
hidrolgicos (Wesseling et al., 1996), modelos de disperso de poluentes (Dragosits, 1996);
quanto queles que incorporam a ao humana, tais como: planejamento e expanso urbana
(White e Engelen, 2000), mudanas de uso (Aguiar et al., 2003; Carneiro et al., 2003) entre
muitos outros. Segundo Couclelis (2000), qualquer aspecto do ambiente Terra pode ser foco
da modelagem ambiental, cobrindo qualquer faixa de escalas (local, regional e global), ou
domnios (natural e humano, biotico ou abiotico, atmosfrico, oceanico, terrestre e
socioeconmico).
Acoplar SIG a tais modelos tem sido objeto de pesquisa intensiva, na qual a lgebra de
mapas, devido a sua capacidade descritiva e afinidade com modelos matriciais de
representao de espao, pode ter importante papel. Entretanto, alguns problemas surgem
quando se procura utilizar a algebra de mapas como ferramenta de modelagem. Com o
objetivo de quantificar as diferenas de desempenho entre diferentes abordagens, vantagens e
desvantagens, da implementao modelos em SIG, Dragosits et al. (1997), implementou e
comparou duas verses de um mesmo modelo de disperso de poluentes. Uma usando apenas
o mdulo GRID do SIG ARC/INFO (ESRI, 1991), e outra baseada no acoplamento do SIG

12
com programas descritos em uma linguagem de programao de propsito geral (Fortran77).
Como resultado, a implementao baseada s em SIG teve um custo cerca de 500 vezes maior
em tempo de execuo do que o sistema combinado SIG - Fortran.
Uma das razes apontadas para a ineficincia observada no uso de SIG vem do fato do
GRID-AML (mdulo que implementa a lgebra de mapas no SIG Arc Info) ser uma
linguagem interpretada, na qual cada comando traduzido e executado imediatamente. No
h espao para otimizao como acontece em linguagens que usam a compilao como
paradigma de implementao.
Outros problemas surgiram devido a restries quanto ao reutilizao de arquivos
usados para armazenar valores acumulados de poluentes por hora. A cada passo do modelo,
resultados de natureza idntica precisavam ser gerados com nomes diferentes. Como
conseqncia, conjuntos de dados passados precisavam ser removidos periodicamente para
minimizar o custo de armazenamento. Durante cada iterao, at trs representaes
matriciais precisavam ser removidas, o que vinha a consumir cerca de 15% do tempo usado
para a criao de representaes teis ao modelo.
Para reduzir o tempo de execuo minimizar o nmero de grades criadas, foi usado
um recurso do AML o DOCELL loop que permite a gerao de grades temporrias, que
podem ser descartados automaticamente. Entretanto, limitaes no nmero de grades virtuais
geradas, passaram a impor restries quanto complexidade das expresses matemticas
executadas durante cada iterao. O acrscimo de mais estruturas DOCELL ao modelo
poderia amenizar o problema, ao custo de aumentar a complexidade do modelo, afastando-o
cada vez mais de seu domnio matemtico. Os autores concluem que o nmero de
representaes matriciais criadas ao longo da execuo do modelo implementado, para um
perodo de um ano, a um passo temporal de uma hora, crtico.

13
O trabalho de Dragosits e colegas, particularmente da Universidade de Edinburgo UK,
forneceu material para sua tese de doutorado (Dragosits,1997), e tem sido referncia em
vrias aplicaes (Sutton et al., 2004; Dragosits et al., 2006; Hellsten et al., 2007) voltadas
para o contrle de qualidade do ar no Reino Unido e posteriormente em outros pases da
comunidade Europeia (Sutton et al., 2009).
Uma importante classe de problemas em modelagem da dinmica de processos que
demanda recursos disponibilizados em um SIG, faz uso de tcnicas baseadas no conceito de
autmato celular (AC). Os primeiros modelos desse tipo resultam de trabalhos de Tobler nos
anos 1970, voltados para estudos da dinmica de uso de terra As tcnicas baseadas em AC
logo mostraram sua importancia em grandes projetos de planejamento, ocupao e expanso
urbanas.
Em White e Engelen (1993) examinada a natureza fractal das reas urbanas, com
resultados que foram usados no planejamento em vrias grandes cidades Americanas. Em
(Clarke, 1996), esses modelos evoluem para incorporar mltiplas variveis, tais como
topografia, rede de ruas, reas urbanas correntes e reas de excluso, e uma serie de regras de
crescimento que podem ser calibradas e aplicadas em variados cenrios.
Com a finalidade de avaliar o uso de tcnicas de AC em modelagem, usando um SIG
como ambiente, Ungerer (2000) compara a implementao original do modelo de Clarke
(1996), desenvolvida em uma linguagem de propsito geral, com uma implementao usando
as funes de lgebra de mapas do PCRaster (Wesseling et al., 1996). Diante dos mesmos
mapas de entrada, parmetros e regras, os resultados indicaram algumas diferenas
estatsticas, embora visualmente tenham sido bastante similares. Um dos motivos apontados
para essas diferenas refere-se ao pouco grau de contrle oferecido pela programao em
ambiente SIG, quando comparado ao de um ambiente de propsito geral. Tambm a

14
capacidade de definir vizinhanas de tamanhos e formas variadas, diferentes da clssicas
vizinhanas de Von Newman e De Moore, apontada como responssvel por alguma perda
de preciso e acurcia nos modelos em ambiente SIG.
Um dos aspectos importantes no projeto de uma linguagem que atenda requisitos para
modelagem ambiental em SIG, o nvel de abstrao, que deve ser apropriado para acomodar
problemas em diversas disciplinas ou de alguma disciplina especfica (Wessling, 1996). Esta
tese defende que uma tal linguagem deve incorporar a expressividade das linguagens usadas
em disciplinas matemticas como lgebra, Topologia e Estatisticas,de maneira explcita. Isso
ir amenizar um outro problema da modelagem em SIG, que o da comunicao do
significado dos modelos (Grimm et al., 2006), Tambm a estratgia de implementao deve
estar fundamentada em princpios que facilitem a incorporao de novas estruturas.

1.4 Objetivo da Tese

A principal motivao deste trabalho de tese evidenciar solues tericas e prticas
para alguns problemas que impedem a plena integrao entre SIG e modelos ambientais,
atravs de uma estruturao algbrica que permita uma caracterizao mais prxima do
universo matemtico dos problemas. Para isso, dois objetivos bsico precisaram ser atingidos:
um de natureza terica, que consistiu de estabelecer uma estruturao algbrica sbre o
universo dos SIG, num contexto suficientemente geral para acomodar a maior parte das
representaes de mapas; e um objetivo prtico que consistiu da implementao dessa
estruturao algbrica e de uma linguagem que realmente reflita suas propriedades.

15
O elemento primrio dessa estrutura resultante deixa de ser a gerao de mapas em si,
mas sim a caracterizao de conjunto de locais de uma rea de estudo atravs de relaes e
operaes envolvendo mapas.
Para determinar um elemento primrio para uma estruturao algbrica, preciso
aprofundar a discusso sobre a fundamentao topolgica por trs da representao de feies
de interesse geogrfico, chegando-se ao conceito de regio proposto neste trabalho, como
paradigma nico para identificar subconjuntos de uma rea de estudo.
O conceito de regio, ir ento generalizar conceito como local, zona e vizinhana, e
desempenhar um papel semelhante ao das relaes na lgebra Relacional. Isto , as regies
iro representar, essencialmente, os critrios de seleo de locais de uma rea de estudo.
Como resultado, uma estruturao, que distingue os aspectos relacionais da seleo de
locais, dos aspectos operacionais da caracterizao de locais em funo de valores a eles
associados estabelecida, que ser ento referida por lgebra de Regies.
Tambm a implementao de uma linguagem que reflita claramente as propriedades
da lgebra de Regies exigiu um aprofundamento terico, resultando em uma estratgia que
incorpora princos da Teoria dos Autmatoa e das Linguagens Formais em sua
implementao. No passado essas teorias, originrias da rea de Linguistica, fundamentaram a
construo das linguagens de computao de propsito geral, responsveis pelos enormes
avanos em Cincia da Computao que se observa nos dias atuais.
Esse aprofundamento terico visou contornar, em suas razes, alguns problemas que
dificultam a integrao de SIG a modelos ambientais e dinmicos, tais como, a abordagem
interpretativa tipicamente usada na implementao de lgebras de mapas;
Um vocabulrio que no precisa distinguir diferentes contextos para funes de
significado matemtico similares, separando o conceito de lgebra propriamente dito, dos

16
diversos conceitos matemticos que do origem a disciplinas como as estatsticas. Deixam de
existir funes especializadas por tipo de regio (local, focal e zonal). Funes e regies so
tratadas de maneira independente. Como na Matemtica, o conceito de funo no
dependente da maneira como so obtidos seus sejam estes oriundos de um mesmo local, zona
ou vizinhana.
Sob o ponto de vista da expressividade, a abordagem proposta no apresenta nenhuma
restrio tanto de ordem fsica, quanto lgica ao reuso de variveis associadas a
representaes disponveis em uma base de dados. Um usurio tem o mesmo controle
semntico dessas variveis que teria ao escrever suas equaes manualmente.Tambm a
complexidade das expresses em LEGAL ilimitada, embora algumas questes de
otimizao ainda devam ser aperfeioadas em trabalhos futuros. Como conseqencia, a
necessidade de se produzir resultados parciais em operaes mais complexas deixa de ser uma
questo para o SIG.
Quanto ao grau de contrle oferecido pela programao em ambiente SIG, este
trabalho traz alguns novos resultados como os comandos de atribuio condicional e
comandos de controle.
A capacidade de especificar tanto os locais de uma vizinhana, quanto os pesos de
suas influencias sob a forma de expresses algbricas bastante familiares, viabiliza de maneira
bastante natural a especificao de vizinhanas cuja forma e pesos podem apresentar
variabilidade espacial.
A classe de funes implementveis em LEGAL, certamente no abrangente com
relao s possibilidades de mapear locais a valores de algum domnio matemtico, entretanto
so capazes de modelr uma ampla faixa de operaes analticas teis em Sistemas de
Informao Geogrfica.

17
A metodologia utilizada para atingir esses objetivosparte de uma reviso dos
princpios da lgebra de mapas (Tomlin, 1990), luz de maior compromisso terico, com a
lgebra Moderna (Birkhof e McLane, 1967; McLane e Birkhof, 1965) no que se refere aos
aspectos formais, e da Teoria das Linguagens Formais e Autmatos (Hopcroft e Ullman,
1969; Aho Hopcroft e Ullman, 1974) quanto ao objetivo de implementar uma linguagem.
A estrutura e linguagem resultantes iro, assim, incorporar maior flexibilidade
implementao de mtodos e modelos em SIG, que deixam de envolver o usurio em
complicaes computacionais, aproximando o processo de modelagem do universo
matemtico dos modelos estudados.
A tese atende demandas importantes para melhor acoplamento entre SIG e modelagem
ambiental e dinmica, tais como:.
Uma estratgia de implementao que deixa de ser interpretativa, aproximando-se de
uma soluo compilada, em que um modelo constitui um programa, cujas fases de
interpretao e anlise sinttica resultam em um (pseudo) cdigo executvel, que modela a
maioria das operaes como autmatos de pilha.

1.5 Desenvolvimento
Este trabalho de tese parte de uma reviso conceitual do mdulo LEGAL (Cordeiro et
al., 1996), que implementa funcionalidades da lgebra de Mapas no SIG Spring (Camara,
1994), decorrentes da unificco de conceitos como, local, zona e vizinhana, em um nico,
referido por regio, e da introduo de uma operao para modelar a interao entre regies e
mapas. A linguagem LEGAL revisada, originalmente voltada para descrever operaes que

18
resultam em mapas, passa a ser usada tambm para descrever operaes que modelam
critrios de seleo dos locais que constituem cada regio envolvida.
O desenvolvimento desse trabalho focado na especificao das regras gramaticais da
linguagem com base nas ferramentas lex e yacc (Levine et al., 1990) que fazem parte do
ambiente operacional UNIX, cujo objetivo produzir cdigos fonte em linguagem C
(Kernighan et al, 1988) que implementam a anlise lxica e sinttica de vrias classes de
linguagens computacionais. A classe das linguagens livre de contexto (LLC), tomada como
foco para a fundamentao dos princpios tericos usados neste trabalho para implementar
seus resultados.
No caso da linguagem LEGAL, objeto deste trabalho de tese, cada regra corresponde a
uma ao descrita em linguagem C que acessa a biblioteca de classes (implementadas em
C++) que definem toda a funcionalidade do SIG Spring. Classes como Imagem,
Temtico, Numrico e outras mais, acomodam permitem acesso s propriedades de
objetos instanciados ao longo da anlise e execuo de programas em LEGAL. Alm de uma
vasta funcionalidade de SIG, o Spring tambem incorpora importante funcionalidade de
Pocessamento de Imagens voltada para Sensores Remotos, tornando-o uma ferramenta
extremamente flexivel e capaz de atingir diversos perfis de usurios finais.
Os resultados obtidos foram incorporados ao mdulo LEGAL (Cordeiro et al, 1996),
que implementa parcialmente a funcionalidade de uma lgebra de Mapas no ambiente Spring
(Camara et al., 1996), desenvolvido pela equipe da Diviso de Processamento de Imagens
(DPI) do Instituto Nacional de Pesquisas Espaciais (INPE). Desde 1994, o Spring
disponibilizado livremente atravs da WEB, e recentemente iniciou-se alguns procedimentos
para sua distribuio como sftware de cdigo aberto. O leitor interessado pode encontrar mais
informaes em (www.dpi.inpe.br/spring).

19
Como resultado desse processo de reengenharia, a linguagem LEGAL reestruturada,
de um modo que no afeta suas caractersticas originais, mas estende a maneira de us-las,
oferecendo assim, a partir de um vocabulrio significativamente menor, a capacidade de
exprimir uma classe de operaes significativamente maior.
Questes temporais envolvidas em modelagem, referidas eventualmente neste texto,
embora tratveis sob importantes aspectos, no sero tomadas como centrais; a tese visa
contribuir na construo de uma infra-estrutura consistente que poder mais naturalmente
incorporar tambm esses aspectos em trabalhos futuros.

1.6 Organizao do Documento

A estruturao do universo geogrfico dentro do universo conceitual de um ambiente
de SIG fundamentada atravs do seu modelo espacial de dados, e este o tpico do Captulo
2. Premissas topolgicas e algbricas que fundamentam as diversas vises (e representaes)
de espao em SIG so aqui discutidas e contextualizadas por sua influncia na construo de
linguagens espaciais. Conceitos e propriedades topolgicas so aqui usados para justificar, o
conceito de regio ento apontado como elemento de ligao entre as vises topolgicas de
espao mais comuns, o que ir justificar sua adoo como conceito primitivo da estruturao
algbrica proposta nesta tese.
Assim, como no captulo anterior foram colocados os aspectos topolgicos, no
Captulo-3 so discutidos aspectos algbricos envolvidos na formalizao do modelo
funcional de um SIG. Sob a tica da viso de Espao Proximal (Couclelis, 1997), dois
formalismos correlacionados com os objetivos desta tese,, a lgebra de Imagens (Ritter,
1990) a Geo-lgebra (Takeyama, 1996) so discutidos com mais detalhes. Nesse contexto

20
ento, colocada de maneira mais formal, o foco principal da contribuio deste trabalho, a
lgebra de Regies.
O Captulo-4 constitui o ncleo desta tese, a estratgia usada para definio e
implementao dos elementos e operadores da lgebra de Regies. Um novo operador
introduzido no vocabulrio da linguagem, para modelar a interao entre regies e mapas, e
seu impacto no contexto da linguagem avaliado. Alguns fundamentos sobre Autmatos,
gramticas e linguagens so estabelecidos acrescentando fundamentao terica
implementao de uma linguagem para a lgebra de Regies..Ainda nesse captulo, o
conceito de regio estendido, a fim de acomodar no apenas conjuntos de locais, mas
tambm os diferentes graus de influncia que cada local de uma regio exerce sobre locais
especficos. Tambm o conceito de local em si aqui generalizado a fim de acomodar a
interao entre dados a diferentes resolues.
No Captulo-5, com o intuito de caracterizar a viso do usurio atual de lgebra de
mapas, so apresentadas algumas aplicaes correntes que fazem uso da linguagem LEGAL
junto a projetos, pesquisa acadmica e transferncia de tecnologia SIG, caracterizando assim
o perfil de seus usurios.
No Captulo-6, se caracteriza o contexto das aplicaes futuras da linguagem e at que
ponto esta j atende requisitos para modelagem ambiental em SIG. discutida a relao entre
a teoria dos autmatos e a teoria dos autmatos celulares e como a linguagem LEGAL j pode
se colocar diante de alguns requisitos para modelagem de processos ambientais de um modelo
hipottico sobre o tema Ecologia da Paisagem, usado como pano de fundo para ilustrar a
expressividade resultante da abordagem adotada.

21

2 Modelos Topolgicos de Espao

A disciplina matemtica da toplogia resultou do estudo sistemtico das propriedades

das funes contnuas sbre domnios que admitem uma noo de distncia, ou mtrica,
definida sbre seus elementos (Lima, 1971). Entretanto, logo percebeu-se que grande parte
das idias, a comear pela prpria noo de contnuidade, podiam ser formuladas apenas com
base no conceito de conjunto aberto. Desse modo, o conceito de Espao Topolgico surgiu
como uma generalizao do conceito de Espao Mtrico.
Em um Espao Topolgico a noo de continuidade, depende apenas da definio do
que sejam os abertos nos domnios e contradomnios de funes. Para que uma funo seja
contnua basta que a imagem inversa de um conjunto aberto na topologia do seu
contradomnio seja um aberto tambm na topologia do seu domnio. Quando, alm de
contnua (e biunvoca), tambm a imagem direta de qualquer aberto em seu domnio for um
aberto do contradomnio, tem-se um homeomorfismo. Tal classe de funes contnuas de
especial interesse, por preservar as relaes topolgicas entre entidades representadas em um
espao topolgico, quando mapeado para outro, permitindo uma distino clara entre
propriedades mtricas e topolgicas.
O espao geogrfico pode ser modelado como um espao topolgico, o que permite
explorar toda riqueza de conceitos e linguagem oriundos da topologia para modelar feies
geogrficas, suas propriedades e relacionamentos. Mais ainda, o espao geogrfico
tpicamente atrelado a uma noo de distncia podendo, portanto, ser caracterizado tambm
como um espao mtrico. A principal caracterstica de uma topologia definida sobre um
espao mtrico refere-se noo de dimensionalidade, que permite caracterizar conceitos

22
geomtricos como ponto, reta, plano etc. O termo Topologia de Conjuntos de Pontos com
freqncia, utilizado para se referir a tais estruturas topolgicas.

2.1 Topologia dos Conjuntos de Pontos

Uma premissa comumente assumida na representao de feies no espao geogrfico
a conexidade. Um conjunto dito conexo quando no admite uma separao, no sentido de
que no possvel encontrar dois subconjuntos abertos e disjuntos, cuja unio contenha o
conjunto todo. A FIG. 2.1 ilustra o conceito para algumas situaes envolvendo subconjuntos
do plano R2.

FIGURA 2.1 Alguns conjuntos com interior conexo

O conceito de conexidade introduz ainda a noo de dimensionalidade, que resulta da

possibilidade de se identificar um espao topolgico a algum subspao de outro, atravs de
homeomorfismos. Por exemplo: em R3 pode-se ter elementos de dimensionalidade-3 como os
volumes; de dimensionalidade-2, como as superfcies; de dimensionalidade-1, como as linhas,
ou ainda adimensionais, como os pontos. Dito de outra forma, possvel definir um
homeomorfismo entre um intervalo da reta (dimenso-1) e uma linha; entre uma rea do plano
(dimenso-2) e uma superfcie, ou ainda entre o interior de uma esfera (dimenso-3) e um
volume qualquer. Os sistemas de projeo cartogrfica so bons exemplos de homeomorfimos
que mapeiam superfcies a regies planas.

23
Num espao topologico mtrico, ainda possvel estruturar o conceito de feio em
termos de conceitos como interior, borda e exterior, de um modo independente da
dimensionalidade. Por exemplo, quando um objeto representado por uma linha, como um rio,
toca um objeto representado por um polgono, como um lago, isso significa que um ponto na
borda da linha intercepta uma linha na borda do polgono. Pensar em espao dessa maneira
permite expressar relaes atravs de uma linguagem compatvel com as linguagens de
consulta a bancos de dados relacionas.
Existem muitas situaes peculiares na representao de feies de interesse
geogrfico. Pode-se considerar a pertinncia total ou parcial, de pontos de borda ao conjunto
que se pretende representar, ou a presena de buracos e ilhas, entre muitas outras situaes.
Nesse ponto surge a necessidade de um novo conceito que possa restringir as noes
topolgicas de aberto e fechado, a um domnio tratvel sob o ponto de vista de representao
de feies e suas relaes espaciais.
Com a finalidade de padronizar o estudo de relaes topolgicas, Max Egenhofer
(1991) define o conceito de regio espacial, como sendo o fecho (interior + borda) de algum
conjunto cujo interior conexo. Desse modo ento possvel caracterizar todas as relaes
espaciais entre regies com base nas .diversas situaes possveis quanto intercesso entre
bordas, interiores e exteriores de regies. Para representar essas situaes para duas regies,
Egenhofer utiliza uma matriz 3x3, que chamou matriz das 9-interecesses, em que cada
coluna representa refere-se respectivamente ao interior, borda e exterior de uma das regies,
enquanto as linhas representam as informaes sobre a outra regio. Cada elemento pode
assumir o valor 1 ou 0 para indicar a existncia ou no de elementos nas intercesses entre
as tres componentes de duas regies. A TAB. 2.1 ilustra esse arranjo, para relao toca, entre
duas regies, indicando que apenas a intercesso entre as bordas de ambas deve ser no nula.

24

TABELA 2.1 Matriz de 9-intercesses: para a relao toca

Interior Borda Exterior
Interior

Borda

Exterior

Existem 512 possibilidades de combinar tais situaes, mas a maioria no faz sentido
geogrfico. Em espaos de dimensionalidade-2, por exemplo, a informao sbre a
intercesso de bordas e interiores com os exteriores de uma ou outra regio, redundante.
Nesse caso, o mtodo das 9-intercesses, ilustrado pela TAB. 2.1 pode ser simplificado para
4-intercesses (Egenhofer e Herring, 1990), utilizando apenas uma matriz 2x2 para sua
especificao. No caso de regies simplesmente conexas (sem buracos), oito relaes
espaciais bsicas se destacam como ilustra a FIG. 2.2.

a
a

a
a=b

FIGURA 2.2 Oito relaes possveis entre regies

Com o objetivo de facilitar a abordagem de relaes entre feies mais complexas, em

Egenhofer e Hering.(1991), o conceito de regio redefinido de uma maneira mais
consistente com a abordagem formal da topologia algbrica, atravs do conceito de clula e
complexo celular.

25
Os trabalhos de Egenhofer e colegas nos anos 1990s permitiram, dessa forma, a
definitiva incluso do espao no contexto relacional, resultando na implementao de
linguagens de consulta espacial, como o Spatial SQL (Egenhofer, 1994), adotado como
padro pelo Open Geospatial Consortium (OGC, 1996; Hering, 2006).
Quando uma rea de estudo representada em um contexto digital, muito se perde de
suas propriedades topolgicas originais. No caso de representaes vetoriais, com relao
conexidade, as perdas so bem menores, aqui feies geogrficas tm bordas e so
representadas por linhas e pontos. O interior de um conjunto conexo nesse contexto representa
efetivamente uma coleo infinita de pontos. Desse modo mais evidente a associao de
significado s relaes topolgicas entre eles. No entanto, tambm comum representar o
espao como uma matriz de pontos, ou celas elementares que recobrem o domnio espacial.
Nesse contexto, pode-se at afirmar que cada cela isoladamente um conjunto conexo, mas
ainda preciso encontrar condies adequados para uma topologia em que cada local assim
representado, a uma resoluo arbitrria, seja um aberto.

2.2 Topologia das Regies Conexas

Uma outra viso para a representao de espao que tambm pode ser explorada na
construo de SIGs e linguagens de consulta espacial, remete ao fato de que no existem
feies absolutamente lineares ou pontuais na representao de fenmenos de interesse
geogrfico. A representao de objetos espaciais, nesse contexto, separada da representao
do espao que ocupam, que pode sempre ser visto como um conjunto aberto (Gotts et al.,
1996; Cohn et al. 1997). Toda uma teoria de espao que toma a regio como primitiva
topolgica, pode ento ser construda, na qual os mesmos relacionamentos topolgicos entre

26
regies, podem ser formalizados, desde que um pequeno relaxamento na noo de
conectividade seja assumido.
Cabe nesse ponto uma pequena reviso do conceito de conexidade, que at agora
traduz a no-separabilidade de um conjunto. Uma viso equivalente a esta, a da conexidade
por caminhos, ou conectividade, estabelece que um conjunto seja conexo sempre que existir
algum caminho conexo de dimensionalidade-1 entre quaisquer dois de seus elementos. Por
exemplo, a unio de dois conjuntos conexos que se tocam, mesmo que em um nico ponto,
tambm um conjunto conexo: qualquer ponto de um acessvel a partir de qualquer ponto do
outro. Tambm no possvel separ-los atravs de dois conjuntos abertos e disjuntos, de
modo que as duas vises so equivalentes. O que se caracteriza aqui, refere-se distino
entre a propriedade da conexidade, normalmente associada a conjuntos, e a relao de
conectividade, associada a pares de elementos ou mesmo pares de conjuntos.
Numa topologia focada em conjuntos de pontos, dois conjuntos conexos satisfazem a
relao de conectividade sempre que exista uma intercesso no vazia entre eles, no caso
limite em que apenas se tocam, deve haver ao menos um ponto pertencente borda de ambos.
Por outro lado numa topologia fundamentada no conceito de regio, essa condio relaxada
no sentido que, dois conjuntos sero ditos conectados, sempre que a intercesso entre os
fechos (interior borda) de cada um seja no vazia (Gotts et al., 1996; Gotts 1996; Cohn et al.,
1997). As definies operacionais so as mesmas, apenas os conjuntos envolvidos no
precisam ser fechados, isto , conter suas bordas. Desse modo podem-se ter regies
identificveis, conexas, que podem ser abertas ou conter, total ou parcialmente, suas bordas.
Alm disso, dois conjuntos conectados j no precisam ter algum ponto em comum, existe
uma distino clara entre objeto e o espao por ele ocupado.

27
Pensar o espao com base no conceito de regio resulta em um tema conhecido por
Raciocnio Espacial Qualitativo, ou QSR (Qualitative Spatial Reasoning), com aplicaes
em Inteligncia Artificial e Viso Computacional, mas que pode ser til em SIG tambm
como apontado por Adrew Frank (1996). Santos e Amaral (1999), fazem uso do QSR em
Minerao de Dados, na construo de algoritmos inteligentes que assimilam o conhecimento
geogrfico necessrio realizao de inferncias espaciais sbre bases de dados geogrficoa.
As relaes topolgicas no contexto do QSR so expressas em uma lgica de primeira ordem
estendida, conhecida por Clculo das Regies Conexas (RCC Region Connection
Calculus) (Clarke, 1981). Com base em uma verso simplificada do RCC, de implementao
mais vivel, o RCC8 (Cohn et al., 1997, Cohn e Renz, 2007), as oito relaes espaciais,
modeladas a partir das matrizes de n-intercesses (Egenhofer et al., 1994) podem tambm ser
caracterizadas.
Num contexto topolgico que toma o conceito de regio como primitivo, pode-se
afirmar que os locais em um domnio matricial de representao de espao podem ser
definidos como conjuntos abertos, conectados a todos os seus vizinhos. Dessa maneira podese, formalmente, identificar outros conjuntos conexos como zonas e vizinhanas, a regies.

2.3 Topologia Digital

Uma classe particular de mapas, cuja importncia na gerao de dados espaciais
fundamental so as imagens. Uma imagem definida (Ritter, 1990) por uma funo que
associa pontos de um espao topolgico
a valores de um conjunto, algebricamente

estruturado . Portanto uma imagem  um elemento do conjunto de funes 
.

Tpicamente, o conjunto
identificado a algum subconjunto conexo, fechado e limitado de

28
 e  a algum subconjunto fechado e limitado de . A digitalizao de uma imagem
consiste de um processo conhecido por amostragem aplicado a seu domnio espacial,
combinado com um processo conhecido por quantizao aplicado a seu contradomnio Como
resultado tem-se uma imagem digital, que passa a assumir o conjunto  dos pares ordenados

de nmeros inteiros como domnio, e algum subconjunto limitado do conjunto  como

contradomnio. Entretanto, para efeito de representao geomtrica, o conjunto  muitas

vezes identificado um conjunto  de celas bidimensionais que tm cada ponto de  por

baricentro, como ilustra a FIG. 2.3.

FIGURA 2.3 Discretizao do espao em pontos e celas.

Portanto para cada ponto


 ,
   , tem-se uma cela 
   , como
especificada em (2.1).

      ,  
  |
 |  ,  ,  

(2.1)

A amostragem, no caso ideal, consiste do produto de uma imagem  por uma funo

de amostragem espacial , definida por uma matriz de funes pulso, ou delta de Dirac

29
(Gonzalez et al., 1987) arranjadas em uma grade com espaamento   ,  . A
imagem resultante  , ento, definida pela equao:

   #$2 ! " #  #$2 #  ! " # 

(2.2)

Uma funo impulso ! definida pelo limite de uma sequencia de funes

referidas por pulso, de durao % e amplitude 1 , como ilustrado na FIG. 2.4. medida

que % tende a zero, a amplitude tende a infinito, e a funo ! pode ento ser definida
formalmente como indica a expresso (2.3).
! &, para ' ( &,

(2.3)

) !' ,' 
*+

1/
.

FIGURA 2.4 Grfico da funo pulso.

A principal propriedade da funo pulso que ela oferece um mecanismo para

representar computacionalmente, a avaliao de uma funo contnua, em particular de uma
imagem. Sendo  uma imagem, tem-se que:
!' " '& ' '& 

(2.4)

Como raramente se tem uma definio analtica para . A equao em (2,2),

representa uma situao ideal, na prtica a funo s mede a intensidade mdia observada

sobre pequenas reas convexas em torno de um ponto

, cuja extenso deve ser

30
aproximadamente igual das celas especificadas para discretizao do domnio espacial como
ilustra a FIG. 2.5.
A unio de todas as celas de amostragem chamada de grade de amostragem,
enquanto o par 
,  
 referido (em Ingls) por picture element ou simplesmente
pixel. Tpicamente, o contradomnio da funo 0 tambm quantizado, isto , os valores

(reais) de intensidade associados a cada pixel so mapeados para um subconjunto de nmeros

inteiros chamados nveis de cinza.

FIGURA 2.5 Amostragem e representao de intensidades pontuais.

reas como processamento de imagens e viso computacional, envolvem questes

topolgicas delicadas, particularmente quanto noo de conexidade. A topologia dos
conjuntos de pontos de R2, quando restrita a Z2 intil; feies lineares como as curvas, por
exemplo, quando digitalizadas no constituem conjuntos conexos e podem resultar em
representaes ambguas, como ilustra a FIG. 2.6 Entretanto podem-se definir outras
topologias que garantam essa conexidade.

FIGURA 2.6 Curvas contnuas em uma grade de amostras.

31
Uma das mais populares topologias digitais, a topologia de Von Neumann, tem como
base uma noo de vizinhana definida a partir do conceito de pontos pares e mpares em  .
Um ponto dito par quando a soma das suas coordenadas for um nmero par, caso contrrio
ser impar. A partir da, pode-se definir uma vizinhana N(p) de um ponto
 ,


1,
2, especificado em (2.5) e ilustrado pela FIG. 2.7.


 34
5
67, 89
1
 2
1,
2, 
1 " ,
2, 
1 : ,
2, 
1,
2 " , 
1,
2 :  ,<
34;8

(impar)

(2.5)

(par)

FIGURA 2.7 Vizinhanas bidimensionais de Von Neumann.

Essa definio de vizinhana pode ser facilmente estendida para ; , =; . Outras

maneiras de definir topologias digitais podem ser obtidas ao introduzir-se a noo de distncia
ou mtrica em   , A FIG. 2.8 ilustra algumas dessas funes distncia, conhecidas como
quarteiro, definida por , 
, > ? |
 " > |, e a do tabuleiro de xadrez, definida por

, 
, > @AB|
 " > |,  , , onde
, >  ,

1,
2, > >1, >2.

FIGURA 2.8 Vizinhanas segundo diferentes funes distncia

Pode-se agora definir vizinhanas com base nessas noes de distncia. O conjunto
CD E: G D, E  1 conhecido como vizinhana-4 e coincide com a vizinhana de

32
Von Neumann quando D par. O conjunto HD E: G D, E  1 conhecido como
vizinhana de Moore, tambm referido por vizinhana-8 .
Uma seqncia de pontos  D1, D2 , , Dk     , chamada d1 - conexa quando cada

Di+1 $ CD, ou d2 conexa, quando cada Di+1 $ HD. Portanto, possvel definir a noo

de conjunto conexo em   com base na noo de conexidade por caminhos, sob diferentes

mtricas. Existem muitos conceitos compartilhados pelas topologias digitais e a topologia dos
conjuntos de pontos, discutida na Seo-2.1, o leitor interessado pode consultar o livro de
Gonzalez et al. (1987), para aprofundar-se nesse assunto de fundamental importncia em
reas como processamento de imagens e viso computacional.

LOCAIS E PIXELS
A noo de mapa como funo adotada neste trabalho compatvel com a de imagem
como funo adotada em processamento de imagens e reas correlatas (Ritter, 1990). A
menos do processo de captao e gerao da informao representada, o conceito de mapa
pode compartilhar muitos aspectos tericos envolvidos em processamento de imagens,
particularmente as que derivam de sensores remotos.
Diferentemente das imagens, o contradomnio de um mapa pode assumir valores
oriundos de conjuntos de natureza no quantitativa, temas categricos, como tipo de solo,
vegetao, hidrografia entre muitos outros freqentemente representados. Tais mapas dividem
uma rea de estudo em regies conexas, constitudas de pontos associados a uma informao
comum. sugestivo, portanto, que tais mapas temticos sejam representados vetorialmente,
entretanto, a gerao e a atualizao de informaes temticas quase sempre envolve imagens
e outros dados representados matricialmente.

33
Mapas que representam campos so muito similares s imagens, e representam feies
e fenmenos geogrficos, como altitude, presso, temperatura, entre muitos outros, sob a
forma de grades regulares. Assim como as imagens, tais grades associam valores a pontos
regularmente espaados de um espao topolgico conexo. Valores associados a pontos no
representados explcitamente, podem ser obtidos, em geral, por interpolao e outras tcnicas.
Neste trabalho, o termo local adotado como sinnimo para cada uma das situaes
que caracterizam as noes de ponto e cela, sem contudo incorporar o aspecto funcional
implcito no conceito de pixel, em que valor e local praticamente uma nica informao. A
semntica do termo local ir depender apenas do universo topolgico considerado, por
exemplo, na topologia dos conjuntos de pontos, um local corresponde a um ponto, enquanto
na topologia das regies conexas, locais so casos particulares de regies; finalmente, em uma
topologia digital, locais correspondem s celas de uma partio regular e uniforme do
domnio espacial (rea de estudo)

2.4 Relaes Topolgicas e Linguagens

Relaes topolgicas bem definidas tm importncia fundamental em linguagens de
consulta espacial, como no Spatial-SQL (Egenhofer, 1988, 1994), por exemplo, que incorpora
relaes topolgicas baseadas na geometria tomada com mais um atributo dos objetos
representados. Nesse contexto, possvel expressar uma consulta tal como em (2.6).
Select muni1 from municpios where
muni1.geometria touches municpio.geometria
and municpio.populao > 100000 ;

(2.6)

34
Nessa expresso, a relao topolgica toca, definida entre polgonos, combinada
com a relao de ordem () definida sobre o atributo populao. Entretanto uma consulta
sobre municpios que tocam locais cujos ndices de vegetao sejam maiores que um dado
valor fixo deve envolver uma prvia identificao dessas regies a partir de imagens e
lgebra de mapas. A avaliao de um query em uma tal linguagem mista, poderia, idealmente,
envolver a avaliao de uma expresso de lgebra de mapas, para determinar ndices de
vegetao associados a locais relevantes e compar-los, com base em uma relao de ordem a
um valor fixo. Uma expresso hipottica para essa situao seria como em (2.7).

Select municpio from municpios where

Municpio.geometria touches regio
where (nir red) / (nir + red) >= 0.5

(2.7)

A identificao de feies de um domnio espacial no depende necessariamente de

um identificador explcito, mas sim de alguma descrio em termos de dados disponveis em
uma base de dados. Nesse sentido, seria aceitvel ter-se uma expresso como em (2.7), que
combine uma expresso aritmtica (envolvendo as variveis nir e red) com uma expresso
relacional (envolvendo a varivel municpio representando uma tabela de um banco de dados)
como uma forma de identificar uma situao de interesse. Nesse contexto, as relaes
topolgicas envolvendo geometrias seriam usadas ao mesmo nvel semntico de qualquer
outra relao definida sobre outros tipos de dados mantidos em um SGBDR, enquanto as
relaes de ordem, vlidas no domnio dos nmeros, seriam usadas para selecionar locais de
uma rea de estudo. O nvel mais primitivo de identificao de feies de interesse
geogrfico, resulta, portanto, de alguma descrio convincente de sua situao diante de
outras feies ou fenmenos.

35
A caracterizao dessas situaes pode resultar de relacionamentos espaciais entre
regies, podendo portanto ser descrita atravs de relaes topolgicas. Ou podem ser descritas
a partir de relaes e operaes herdadas das estruturas algbricas definidas sobre os domnios
dos atributos adequados. Em ambos os casos, percebe-se o papel complementar da lgebra,
diante da topologia, para a identificao de entidades geogrficas. No primeiro caso, o estudo
das relaes topolgicas, atravs da Topologia Algbrica constitui a chave para a insero do
espao nos domnios da lgebra Relacional e, portanto das linguagens de consulta espacial.
No segundo caso, as relaes envolvendo domnios de atributos de entidades geogrficas
que sero determinantes para a identificao de regies, e iro constituir a chave para a
lgebra de Regies, objeto desta tese que comea a ser discutida partir do prximo captulo.

36

3 lgebra e Espaos Proximais

Aps caracterizar espacialmente o conceito de regio, preciso efetivamente entender

seu potencial como paradigma para modelagem algbrica em SIG. Para situar o contexto
desta tese, duas abordagens so discutidas, com caractersticas semelhantes, cujos princpios
estendem a lgebra de mapas de Tomlin, aproximando-a de uma viso proximal. Entretanto
o que ambas tm em comum que, assim como a estrutura proposta nesta tese, ambas
apontam para uma distino entre o processo de caracterizao de locais e o de seleo de
locais e valores que devem participar dessa caracterizao. Com objetivos aparentemente
distintos, a lgebra de Imagens de Ritter (1990)r e a Geo-lgebra de Takeyama (1996),
seguem formalismos similares, voltados para classes de problemas de reas distintas, mas que
exercem importante sinergia entre si.

3.1 lgebra de Imagens

A Algebra de Imagens de Ritter (1990) talvez seja a primeira formalizao matemtica
de uma viso proximal de espao. Operaes e funes definidas sbre imagens
frequentemente envolvem pequenas regies (mscaras, filtros, janelas etc) que modelam a
influncia de um conjunto de locais vizinhos na caracterizao de cada local de uma rea de
estudo. Tpicamente, essas regies representam locais prximos, segundo noes de distncia
convencionais, e que em geral identificam valores oriundos de uma mesma imagem. O
objetivo reconhecer, destacar a informao a partir das caractersticas fsicas dessa imagem,
dos sensores envolvidos em sua formao, das respostas radiomtricas de alvos especficos.

37
Uma imagem vista como funo um elemento do conjunto 
, onde
um espao

topolgico e  um conjunto com alguma estrutura algbrica. As operaes entre imagens so

tipicamente induzidas a partir de operaes existentes definidas sbre , aplicadas a cada

pixel. Por exemplo, quando  o conjunto de nmeros reais , as operaes de adio e

multiplicao em , quando estendidas para 
, induzem uma estrutura de espao vetorial.

Transformaes espaciais, como deslocamento, rotao e perspectiva, alm de operaes da
lgebra de conjuntos tambm podem ser modeladas dessa forma.
Quando o contradomnio de uma imagem ' o prprio 
, ou seja, ' $  
J, tem-se
um tipo particular de imagem que Ritter chamou de template (ou molde, em portugues), Um
template associa cada local K $ J a uma funo 'K $ 
,generalizando e estendendo
conceitos de uso comum em processamento de imagens, tais como filtro, mscara e janela
mvel. Essencialmente, um tal molde modela a interao entre cada local e outros conjuntos
de locais, e valores a eles associados atravs de outras imagens. Sob o ponto de vista
matemtico, os espaos topolgicos
e J no precisam ser os mesmos, embora na maioria
dos exemplos e aplicaes tem-se, J L
.

Operaes envolvendo templates e imagens podem ser definidas, com base nas
estruturas algbricas envolvidas. Por exemplo, pode-se definir uma operao (p. ex: M)
entre um template ' $ J ,(
, J   ), e uma imagem  $ 
,como ilustrado na FIG. 3.1,
que resulte em uma nova imagem, cujos pixels armazenam a soma dos valores associados a
locais adjacentes.

38

1 M

'

12

11

15

18 26 32 17
32 51 51 28
42 68 73 45
29 49 51 34

FIGURA 3.1 Convoluo entre templates e imagens.

As operaes entre imagens e templates comumente usadas na lgebra de imagens tm

a caracterstica geral das operaes de convoluo, comuns em processamento de sinais
digitais. Se ' um template e 6 uma imagem, da forma:
6 O, 6P,  $

' OK, 'KP, K $ J

(3.1)

'K Q 'K R, 'K S ,  $


Ento a operao de convoluo entre 6 e ' definida por:

T 6 M ' OK, TKP, TK $
6'K 

(3.2)

Operaes anlogas podem ser definidas quando, assim como  ou , o contradomno

da imagem 6 admite outra estrutura de anel ou corpo, fundamentada e dois operadores como

em (3.2). A diferena que os operadores de soma e multiplicao de  ou  devem ser

substitudos adequadamente pelos dois de  e o operador , por algum quantificador

universal, representado em Ritter (1990) pelo smbolo U, adequadamente definido.

O conjunto dos templates tambm admite diversas formas de estruturao algbricas

como os reticulados da Morfologia Matemtica (Banon, 2000), e como atravs dessa
estruturao pode-se reescrever toda uma teoria de Processamento de imagens (Banon, 2000,

39
2011) que podem ser exploradas na especificao e otimizao de algoritmos em
processamento de imagens.
possvel tambem definir um operador produto como o operador definido em (3.2),
envolvendo agora apenas templates, dessa forma, por exemplo, pode-se estabelecer a
equivalencia entre um template e o produto de dois outros. Na verdade, quando os domnios
numricos envolvidos forem discretos e finitos, pode-se mesmo identificar a lgebra dos
templates com a lgebra das matrizes, e usufruir de todas as propriedades dessa estrutura no
estudo dos templates. Por exemplo, o template usado na FIG. 3.1 pode ser decomposto no
produto de dois outros como ilustra a FIG. 3.2,

V

V

FIGURA 3.2 Decomposio de templates

Portanto por composio de funes possvel mostrar que a imagem resultante na

FIG. 3.1 pode ser expressa como em (3.3), usando os templates ilustrados na FIG. 3.2, o que
implica em um nmero menor de operaes na sua implementao.
N ' M  ' M  M '

(3.3)

A lgebra de imagens foi desenvolvida com o objetivo de oferecer capacidades de

processamento de imagens que reduzissem os custos de processadores de sinais de alta
velocidade, junto ao projeto PAL (Parallel Algebraic Language) da Universidade da Flrida
voltado para o desenvolvimento de supercomputadores. Desde o incio dos anos 2000 existe
disponvel em bibliotecas de classes de linguagens de propsito geral, como o IAC++, em

40
C++ e o IAM implementado no MATLAB. Uma boa introduo encontrada em uma
proposta de tese de Maurcio Nardoni (1997) acessvel online.

3.2 Geo-lgebra
Para acomodar a viso de espao proximal de Helen Couclelis (1992) arquitetura de
um SIG, a Geo-lgebra proposta por Masanao Takeyama, (1996), em sua tese de Doutorado,
introduz um arcabouo terico fundamentado no conceito de mapa como funo que mapeia
um conjunto W de locais em um conjunto X de valores, ou seja, um elemento do conjunto XW ,

das funes de W em X. Alm dos mapas convencionais, Takeyama destaca duas subclasse, a
dos mapas relacionais, que corresponde ao conjunto das funes em &, W, e a subclasse dos

mapas meta-relacionais, que associam locais a mapas relacionais, isto , elementos do

conjunto &, W W . Assim, se 5 for um mapa e 7Y um mapa relacional associado a cada
local Y W , onde W representa uma rea de estudo, ento, o conceito de mapa meta-relacional

ir modelar a interao entre o mapa 5 e o um conjunto de mapas relacionais 7Y , como ilustra

a FIG. 3.3 e a equao em (3.4).
5 Z   5 Z 7Y , Y W 

2 3
5 7
mapa

7Y 0 1 7Y 1 0
1 1
1 1
Y Y
*
Y[ Y\
1 1
1 1
7Y[ 0 1 7Y\ 1 0
mapa meta-relacional

(3.4)

3
5 7

Y Y
Y[ Y\

2 5
7

2 3
2 3
7
5
conjuntos de infuencia

FIGURA 3.3 Interao entre mapas e mapas meta-relacionais .

41
A operao representada pelo smbolo * resulta na seleo de conjuntos de valores
oriundos do mapa m, referidos por conjuntos de influncia, que fornecem argumentos para
funes de influncia, usadas para modelar a sntese de novos valores para cada local de ],
resultando em novos mapas. Desse modo, muitas funes no-locais (zonais e focais) da
lgebra de mapas de Tomlin (1990) passam a ser modeladas por alguma funo de influncia

, aplicada a conjuntos de influncia resultantes do produto de um mapa por um mapa metarelacional, sob a forma de uma expresso como em (3.5).
5 Z 

(3.5)

Se alm de valores, tambm outros aspectos estruturais forem considerados, tais como
a noo de direo ou relaes topolgicas, ento possvel sintetizar outras classes de
informao a partir do conceito de mapa relacional. Takeyama (1997) apresenta um exemplo
em que uma matriz de origem-destino indicando a existncia de acesso ferrovirio entre locais
de um conjunto ] usada para representar relaes espaciais entre esses locais. Os mapas

relacionais associados a cada local em ], como mostra a FIG. 3.4, identificam-se a cada
coluna da TAB. 3.1, que descreve a conectividade entre dois locais Y e Y^ , com , ^ &, , , [.

TABELA 3.1: Matriz de origem-destino entre cidades em uma rede ferroviria.

l0

l1

l2

l3

l0

l1

l2

l3

42

Y&
Y

Y
Y[

FIGURA 3.4 Mapa meta-relacional para uma matriz origem-destino.

Os mapas relacionais de Takeyama, (1996) tm definies genricas o suficiente para

eliminar a dependncia de modelos a domnios espaciais ou reas de estudo comuns, sendo
ainda aplicveis a diferentes representaes de espao. Desse modo, outras estruturas tais
como reticulado, rede, grafos em geral, podem ser exploradas como suporte para modelar a
influncia de cada mapa relacional ao local a que esteja associado.
Em (OSullivan, 2001) um formalismo alternativo apresentado para o modelo de
espao proximal, que procura manter a simplicidade intuitiva do formalismo de autmatos
celulares, sem perder a generalidade oferecida pela geo-lgebra de Takeyama. Nesse caso, a
estrutura por trs de espaos proximais pode ser convenientemente descrita e entendida como
um grafo. Mais do que isso, a dinmica de qualquer modelo proximal pode ser visto como um
autmato celular suportado por uma estrutura de grafo, o graph-CA.
Em (Pullar, D., 2001; 2002) algumas dessas idias so implementadas na linguagem
MapScript orientada para anlise baseada em vizinhanas aplicada em problemas de
simulao e modelagem de processos fsicos heterogneos. Baseada em uma representao de
espao por celas de grades regulares que incorporam uma estrutura de rede, possvel
modelar vrias relaes topolgicas.

43
Em (Carneiro, 2003) um ambiente para modelagem fundamentado nesses novos
conceitos apresentado, o TerraME, que se baseia em uma viso de espao, ora como uma
partio em celas regulares, representadas vetorialmente; ora como um grafo indicando fluxo
de transporte, ora como uma estrutura conhecidas por matriz de proximidade (Aguiar, 2003).
para modelar o aspecto proximal. Dessa maneira possvel acomodar a anlise a diferentes
escalas geogrficas e temporais, de fenmenos que podem seguir padres de propagao
orientada por feies lineares e tendncias de fluxo, como a ocupao de reas da Amaznia
Brasileira (Carneiro, 2003).
Modelos implementado num ambiente como o TerraME, embora ofeream alguns
recursos para tratamento de dados matriciais, dependem de mapas determinados previamente,
atravs de operaes como classificao e lgebra de mapas. Por exemplo, mapas temticos
expondo classes que representam variaes e taxas anuais de desmatamento resultam de toda
uma metodologia que efetivamente produz esses dados anualmente (Valeriano et al., 2004).
medida que aumente a freqncia de atualizao de dados bsicos de um modelo
(Dragosits, 1996), tais como: imagens, mapas e grades numricas, mais vantagem resulta de
manter-se tais processos realmente integrados ao ambiente como um todo. A Algebra de
Mapas como proposta por Tomlin (1990) no tem se mostrado adequada para uma integrao
mais ampla, necessrio, antes de estende-la para dimenses temporais, reavaliar seus
princpios formais para que possam estar compatveis com as demandas da modelagem
ambiental.
Diferentemente da Algebra de Imagens de Ritter, o formalismo de Takeyama e
Couclelis (1997) no aborda o sentido semntico de operaes envolvendo apenas os mapas
relacionais. A Geo-lgebra, no deixa claro se o resultado do produto entre um mapa e um
mapa relacional, poderia mesmo ser um mapa relacional. Qual o sentido de seu uso em um

44
produto subsequente com outro mapa? A FIG. 3.3 sugere uma estrutura similar de mapa
relacional tambm para os resultados. embora no seja oferecida uma maneira de usar esses
resultados em expresses mais complexas. Resumindo a discusso numa pergunta, qual seria
o sentido semntico de uma expresso como em (3.6), envolvendo diferentes mapas?
5 Z 5 Z 

(3.6)

O formalismo de Takeyama, e Couclelis (1997) atinge perfeitamente o objetivo de

estender a Algebra de Mapas de Tomlin (1990), aproximando-a dos requisitos para a
modelagem de uma viso proximal de espao, permitindo que disciplinas como autmatos
celulares possam ser formalizadas como instncias da geo-lgebra. Entretanto, um dos
problemas apontados por Dragosits (1996), referente gerao de representaes
intermedirias em modelagem possa ainda consistir uma limitao para seu uso efetivo. Na
prxima seo ser apresentada de uma maneira formal, a abordagem desta tese, que estende
a Geo-lgebra, definindo e atribuindo significado a todas as operaes envolvendo,
potencialmente, qualquer subclasse de mapas vistos como funee eliminando a necessidade
de especializar alguns tipos de mapas, como templates e mapas relacionais.

3.3 lgebra de Regies

Esta seo apresenta de uma maneira mais formal, as premissas assumidas nesta tese.
Os mesmos resultados discutidos aqui sero tambm abordados no Captulo-4 com mais
detalhes e exemplos, de modo que a leitura desta seo pode ser omitida sem comprometer o
entendimento de suas conseqencias prticas.

45
O surgimento de alguma informao sbre algum local de algum domnio espacial
(rea de estudo), pode resultar de uma atribuio arbitrria, ou da avaliao de operaes e
relaes envolvendo outros conjuntos de locais, ou valores associados a cada local, atravs de
mapas. O primeiro caso remete ao estudo das relaes topolgicas definidas exclusivamente
sobre o domnio espacial. Quando existem valores associados aos locais so as relaes e
operaes entre tais valores que iro determinar a gerao de informao, e este o foco desta
seo.
Uma base de dados sobre uma certa rea de estudo, oferece diversas maneiras de
cruzar informao de diversas naturezas, para inferir novas informaes teis para o processo
de modelagem. Pode-se afirmar que cada local Y W implcitamente identificado a um

conjunto  ` , ` , , `; , de valores oriundos de mapas definidos sbre uma famlia

 X , X , , Xa  de conjuntos de valores, tais que ` X^ , para algum b  c d e  f. Nesse
caso diz-se que X^ representa o domnio de valores de algum mapa 5 , tal que: ` 5 Y.

Em geral, mapas convencionais representam mais de um domnio de valores

associados a cada local. Entretanto, sempre possvel reunir diferentes domnios em um
nico, atravs, por exemplo, de produtos cartesianos, e definir mapa como sendo uma funo
  W X, ou seja, XW , onde XW o conjunto de todas as funes de W em X.
Operaes envolvendo mapas que tm contradomnios de natureza quantitativa, isto ,
que so subconjuntos de nmeros, podem ser formalizadas a partir do produto cartesiano do
conjunto de funes ao qual pertencem. Por exemplo, os operadores aritmticos + e

sbre mapas de natureza quantitativa podem ser definidos com base no produto cartesiano
envolvendo o conjunto das funes que mapeiam o conjunto L no conjunto dos nmeros reais
, como em (3.7).

46
:  W  W g W
, N g  : N, '6Y >94 
 : NY Y : NY , Y W

(3.7)

Z  W  W g W
, N g  Z N, '6Y >94 
 Z NY Y Z NY , Y W

Alguns contradomnios so de natureza Boolena, o que caracteriza o conjunto de

funes &, W, Muitas funes desse tipo podem ser especificadas atravs da comparao,

baseada em relaes de ordem, entre valores oriundos de diferentes mapas  e N, de natureza

quantitativa. Para ilustrar, a comparao baseada na relao de ordem  (menor ou igual)

pode ser modelada atravs de uma operao definida por:
  W h W g &, W
, N g   i, '6Y >94 
, 34 Y  NY<
  iY j
&,
34;8

(3.8)

Quando ik0,1m , possvel definir uma operao , para modelar a seleo de

valores fornecidos por uma dada funo  , como segue-se:

Z  XW h &, W g XW
, N g  Z N, '6Y >94 :
 Z NY nY
;9Y8

(3.9)
34 NY <
34;8

A funo em (3.9) representa a restrio do domnio espacial de um mapa , a um

subconjunto de locais de o $ W para os quais io 1. A introduo do valor indefinido

nulo refora o fato de que os valores, 1 e 0, no so aqui interpretados como nmeros, mas
sim como indicadores da existncia ou no de informao associada a elementos de W.
Com certeza muitas funes envolvendo mapas de diferentes naturezas, podem ser
definidas, em particular, se um dos domnios envolvidos for de natureza quantitativa. Nesse

47
caso, caracteriza-se uma interao entre mapas (ou restries de mapas), cujo significado
remete a conceitos como multiplicidade, que pode ser modelado por funes em W , onde 
o conjunto dos nmeros inteiros; ou ponderao, que pode ser modelado por funes em
W , onde  o conjunto dos nmeros reais. Assim, se p L  possvel construir uma nova

verso da operao
, como em (3.10).
Z  pW h XW g p h XW
q,  g q, tal que:
OqY, YP, 34 NY <
qY j
.
;9Y8,
34;8

(3.10)

Na verdade em (3.10) nenhuma operao exatamente induzida a partir dos domnios

envolvidos, os resultados correspondem a uma seleo de valores, combinada com um fator
quantitativo que indica a influncia que cada valor selecionado exerce diante de alguma
funo que o tome como argumento. Por exemplo, em sumarizaes estatsticas tais valores
podem ser usados para indicar a multiplicidade ou o peso com que certos valores de algum
domnio X, que no precisa ser quantitativo, devem ser considerados.

Cada domnio XW pode, portanto, ser munido de operaes induzidas a partir de

operaes de X. Assim, se , N $ XW W, tem-se que para um certo local ,  r e
NY Nr , ou seja r e Nr so mapas associados ao local W. Pode-se ento definir
operadores sbre esses mapas de mapas. Por exemplo:
r Z Nr Y r Y Z Nr Y, = Y W.

(3.11)

Agora, se r $ s m m e Nr $ t m m , ento, supondo que t um domnio de natureza

Booleana, a expresso em (3.11) ir selecionar, para cada local de uma rea de estudo, W, uma

funo que representa a restrio da funo r aos locais associados por Nr ao valor 1.

48
claro que novas situaes podero ser exploradas quando p for um domnio qualquer com
alguma estrutura definida. Todas as operaes vlidas para p podero ser exploradas para
induzir novos conceitos.
Em sua forma mais simples, os conjuntos de valores associados a cada restrio,
associada a cada local, so usados para sumarizar, atravs de estatsticas bsicas, valores
nicos, para cada local de L, resultando em um novo mapa.
Assim como as regies, outras restries podem revelar propriedades adequadas a
problemas especficos. Segue-se que uma interpretao geral mais significativa para o
conceito de mapa relacional de Takeyama (1997) seria o de funo restrita a um subconjunto
de uma rea de estudo. Assim, se 5 for um mapa e  um subconjunto de W, ento possvel
definir a restrio de 5 a  como em (3.12).
5|   g X tal que,
5| Y 5Y Y 
nulo, caso contrrio.

(3.12)

O conceito de mapa como funo, nesta tese, na verdade restringe-se classe das
funes que podem ser descritas atravs de operadores algbricos definidos sobre os contradomnios envolvidos. Isso vem a viabilizar uma implementao de uma linguagem livre de
contexto (ver Seo-4.1) para a descrio desses conceitos que realmente reflita as
propriedades das estruturas algbricas dos domnios envolvidos.
A maneira como as idias discutidas nas sees anteriores so captadas neste trabalho
procura incorporar, em todos os sentidos, o conceito de mapa como funo. A definio de
mapa como funo j suficiente para modelar os conceitos de template, vizinhana e zonas,
que essencialmente correspondem a restries de funes e, portanto, definem mapas. Para

49
determinar operaes sbre uma classe especfica de mapas apenas os domnios de valores de
seus contradomnios so formalmente relevantes.

4 Linguagens,Autmatos e Regies.
Embora insuficientes para modelar todos os aspectos das linguagens naturais, alguns
resultados na rea de Lingstica (Chomsky, 1956) encaixaram-se com perfeio, como
fundamentos para a implementao da maioria das linguagens computacionais de propsito
geral. Notaes formais para a especificao de gramticas, como a BNF (Backus-Naur
Form) (Backus, 1959) fundamentadas na, ento emergente, teoria das Linguagens Formais e
Autmatos (Hopcroft e Ullman, 1969), foram fundamentais para a construo de linguagens
como Algol, Pascal e C, capazes de representar toda sorte de estruturas algbricas. De
propsito mais especifico, surgiram ainda linguagens como a SQL, capaz de representar de
maneira completa as propriedades da lgebra relacional sobre objetos representados por linhas
de tabelas de um SGBDR (Codd, 1970). Em (Levine, 1992) uma especificao sintaca
parcial do SQL apresentada como exemplo.
O modo usual de descrever expresses algbricas, nas diversas disciplinas
matemticas, deu origem a linguagens que, no contexto da teoria dos autmatos e linguagens
formais, (Hopcroft e Ullman, 1969) se enquadram na classe das linguagens livres de contexto
(LLC). O entendimento dessas linguagens segue regras de uma gramtica livre de contexto
(GLC), e pode ser modelado por mquinas formais referidas por autmatos de pilha (PDA
Pushdown automata). Tais mquinas fazem uso de uma estrutura de pilha, para comunicar
argumentos e operadores que modelam os diversos estgios do entendimento de expresses e
execuo das operaes descritas por elas.

50
Um PDA consiste de trs elementos: 1) uma fita de entrada contendo o texto que ser
lido pelo autmato; 2) Uma unidade de contrle para indicar os estados do autmao, e 3) Uma
estrutura de pilha usada como uma sequencia de lembretes produzidos e usados pelo
automata metodicamente.

texto

contrle
pilha

FIGURA 4.1 Modelo conceitual de um autmato de pilha.

A unidade de controle faz a leitura dos caracteres na fita feita, um a um, num nico
sentido. A pilha tambm seqencial, e a unidade de controle aqui pode tambm escrever
numa entrada que corresponde ao topo da pilha. O que escrito corresponde sempre a uma
nova entrada colocada no tpo da pilha, enquanto o que lido sempre retirado do tpo da
pilha. A cada instante, existe alguma informao, recm introduzida ou pronta para ser lida,
no tpo da pilha, caso contrario a pilha estar vazia e o processo de entendimento do texto na
fita concludo.
As linguagens livres de contexto (LLC), constituem o conjunto de todos os possveis
textos de entrada que possam ser entendidos por algum autmato de pilha. E vice-versa. As
provas de resultados como este podem ser encontradas em uma ampla literatura, por exemplo,
Hopcroft e Ullman (1969), Arbib (1969) e muitos outros.
Entre alguns resultados sobre linguagens livre de contexto, existe um de especial
interesse, que afirma que a unio e a concatenao de diferentes LLCs ainda uma LLC. Isso

51
permite, por exemplo, combinar de maneira consistente, diferentes classes de expresses
algbricas na composio de novas expresses numa linguagem, tais como: as expresses
aritmticas,

Booleanas e as que descrevem relaes,

de modo a constituir uma nica

linguagem baseada em regras gramaticais que envolvem itens sintticos primitivos, ou que
dependem recursivamente da definio destes. Os caminhos possveis para a construo de
sentenas de uma linguagem livre de contexto correspondem a uma seqencia de definies
recursivas, que constitui uma estrutura de rvore referida por arvore sinttica.
A maioria das linguagens de propsito geral, como C e C++ no livre de
contexto, o modelo de autmato de pilha no suficiente, para descrever suas gramticas. O
entendimento de sentenas em linguagens de propsito geral depende do acesso direto a
estruturas mais complexas, como as tabelas de smbolos, onde so mantidas informaes
sobre nomes, tipos e variveis, declarados ao longo de um processo comumente referido por
compilao. Neste trabalho o conceito de autmato usado para apontar aspectos comuns a
linguagens envolvidas na caracterizao especfica de mapas como funes e sua relao com
outras linguagens especficas como as linguagens de consulta a banco de dados.

4.1 Implementao da LEGAL

A LEGAL Linguagem Espacial de Geoprocessamento Algbrico objeto deste
trabalho de tese, segue um princpio de implementao bsico que a aproxima a uma
linguagem compilada. Cada sentena em LEGAL interpretada e analisada sintaticamente,
resultando em um (pseudo) cdigo executvel, que ir ento representar a operao descrita
pela expresso. Os exemplos de expresses apresentados a partir deste captulo correspondem

52
diretamente sintaxe implementada, mas apenas as sentenas terminadas pelo smbolo ;
podem ser entendidas como sentenas completas da linguagem.
Para ilustrar a maneira como so implementadas as operaes em LEGAL, considere a
especificao, em BNF, para expresses aritmticas:

<expresso>

::=

<varivel> |
<constante> |
<expresso> <op> <expresso> |
( <expresso> )

<op> ::=

: | " | Z | /

(i)
(ii)
(iii)
(iv)
(v)

Segundo essa especificao, uma expresso pode constituir-se de: variveis, que
podem assumir qualquer valor de um certo certo domnio; constantes que referem-se a
elementos especficos de algum domnio, ou a uma combinao de expresses atravs de
operadores. Na regra (iv) o uso de parnteses especificado para permitir alteraes de
prioridade associadas aos operadores definidos pelo item sinttico < op >.
Regras gramaticais so aplicadas passo a passo medida que uma sentena
construda ou entendida, em um processo de anlise sinttica. Para ilustrar considere duas
variveis a e b. Pela regra (i), cada uma delas j uma expresso por si. Em seguida,
usando a regra (iii) pode-se combinar os operadores e , escolhidos atravs da regra (v)
para construir as expresses 6 T 4 6 y T
Agora, usando a regra (iv) duas vezes, seguida da regra (iii) e (v), para escolher o
operador chega-se expresso:
6 " T/6 : T

(4.1)

53
medida que os caracteres que compem uma expresso como (4.1) so processados,
e itens sintticos so reconhecidos, uma seqencia de instrues vai sendo registrada em uma
estrutura de lista (FIG. 4.2a). A execuo dessa seqncia de instrues, que, essencialmente,
corresponde ao conceito de cdigo objeto, e implementa a operao descrita pela expresso
original. Cada instruo consiste de uma chamada de funo, cuja execuo implica na
remoo de elementos de uma estrutura de pilha, seguida de aes especficas sbre esses
elementos (FIG. 4.2b), resultando em novos elementos a inserir na pilha para uso de
instrues posteriores. A avaliao de uma expresso algbrica concluda quando a pilha se
torna vazia.

push(a) push(b) sub push(a) push(b) add divide

(a)

b
a

a-b

a
a-b

b
a
a-b

a+b
a-b

a-b/a+b

(b)

FIGURA 4.2 Operaes modeladas atravs de estrutura de pilha.

Atravs da instruo push, a pilha, inicialmente vazia, recebe os contedos das

variveis a e b. A instruo sub ento retira esses dois elementos da pilha, efetua uma
subtrao e devolve o resultado ab para a pilha. As variveis a e b so novamente
empilhadas e, em seguida, a instruo add as remove da pilha, executando uma soma e
devolvendo o resultado ab para a pilha. Por fim a instruo divide recupera os dois
elementos existentes na pilha para retornar o resultdo final (ab)/(a+b).
Alm das operaes aritmticas, de maneira semelhante, tambm so estendidas
operaes que modelam a comparao baseada em relaes como, ordem, e igualdade,
envolvendo valores e medidas associados a locais, resultando em expresses tais como:

54
use == forest
( 20 < slope <= 30, 10 < slope <= 20, 0 < slope <= 10 )
(nir red)/(nir + red) > 0.5

(4.2)

Operaes de comparao (<, <= e >, ==, !=), dividem a rea de estudo em
regies disjuntas e complementares, tm, portanto uma natureza binria, ou Booleana. Desse
modo, seus resultados podem ser combinados atravs de operadores Booleanos como AND,
OR e NOT, como ilustra a expresso:
use == forest AND (ndvi > 0.5 OR slope >= 30)

(4.3)

As operaes da lgebra de Regies incorporadas ao mdulo LEGAL, so

tipicamente extenses da aplicao de um autmato de pilha como o da FIG. 4.2, sbre uma
sequencia de locais. O uso de diferentes estratgias de percorrimento de locais em uma rea
de estudo, pode ainda, ser explorado para fins de otimizao, embora este tema esteja um
pouco fora do escopo desta tese.
Neste ponto conclui-se o essencial da concepo da linguagem, como ser evidenciado
nas prximas sees. O que se abstrai at agora que a cada passo na execuo de um
programa descrito em LEGAL(revisada), tem-se exatamente um nico local associado a um
nico autmato (um trecho de cdigo objeto) atuando sobre uma nica estrutura de pilha. Dito
de outra forma, a cada instante tem-se uma nica operao de natureza local sendo
processada.
Na especificao original de Tomlin (1990) (ver Apndice-A) sugerida uma
estratgia em que cada operao implementada como uma chamada de funo, que toma
mapas (planos) como parmetros. Nesse contexto, a composio de funes poderia ser usada

55
para modelar expresses algbricas e comunicar resultados intermedirios, por exemplo, a
expresso em (4.1) seria reescrita como em (4.4).
divide (subtract (a, b), add (a, b))

(4.4)

As expresses em (4.1) e (4.4) so formalmente equivalentes, entretanto, o modo

como so estendidas para domnios espaciais pode fazer grande diferena. Por exemplo, numa
abordagem funcional, a funo soma de dois mapas representados matricialmente, ir
depender do processamento de todos os locais envolvidos, s ento o mapa resultado pode
ser liberado para participar de alguma outra funo em um esquema de composio de
funes. Devido s limitaes impostas por um ambiente computacional, essa estratgia de
implementao pode introduzir limitaes quanto complexidade das expresses e levar
necessidade de criar representaes de resultados intermedirias ao longo do processo. Para
avaliar a expresso em (4.4), por exemplo, seriam necessrias duas representaes
intermedirias para acomodar os resultados da soma e da subtrao (de mapas), antes que a
diviso possa ser efetuada. Para expresses mais complexas os problemas seriam ainda
maiores.
Na abordagem adotada neste trabalho as verses originais de cada operao definida
no contradomnio de mapas, so como que acopladas a cada local de uma rea de estudo.
Cada sentena da linguagem LEGAL revisada descreve a atribuio, no necessriamente de
um novo mapa a uma varivel. O conceito de atribuio estendido para o de especificao,
no sentido que o cdigo de uma expresso efetivamente associado a uma varivel. Desse
modo, quando o nome de uma varivel ocorre em alguma expresso, ele representa, no
necessriamente uma nova representao fsica, mas sim um mapa como uma funo definida

56
pela expresso a ela associada. Por exemplo, em (4.5) a varivel ndvi inicialmente definida,
e usada em sguida como parte da expresso associada varivel best.
ndvi = (nir red)(nir red);
best = (use == forest) AND (ndvi > 0.5 OR slope >= 30);

(4.5)

Vale observar que as operaes discutidas at agora seriam classificadas, usando a

taxonomia introduzida pela lgebra de mapas de Tomlin (1990), como operaes locais,
essencialmente no-espaciais.

4.2 Relaes e Regies

No caso das operaes de natureza no-local um aspecto importante, pouco abordado
na maioria das implementaes da lgebra de Mapas de Tomlin (1990), refere-se
especificao formal dos conceitos de zona e vizinhana. Na lgebra de Regies, os
conceitos de zona e vizinhana constituem instncias particulares do conceito de regio
introduzido no Captulo-2. Zonas so elementos de uma partio zonal da rea de estudo,
vizinhanas so elementos de uma famlia de conjuntos abertos. Em ambos os caso, tais
conceitos remetem s diversas maneiras de selecionar elementos (locais) pertencentes a algum
conjunto (rea de estudo).
O termo Regies, embora especificado na linguagem LEGAL revisada como um tipo,
no corresponde a nenhuma representao fsica de dados, apenas o cdigo de uma expresso
associado s variveis desse tipo, que visa apenas modelar a seleo dinmica de conjuntos
de locais que exercem influncia sobre outros locais. Para isso, a habilidade em modelar a
seleo de elementos desses conjuntos fundamental.

57
Sob o ponto de vista matemtico, um conjunto pode ser caracterizado, tanto por uma
lista explcita de seus elementos, quanto por alguma regra de pertinncia fundamentada em
relaes definidas sobre o domnio de seus elementos. Por exemplo, o conjunto A definido em
(4.6) descreve a lista das formas usuais de representao da letra a, atravs de uma lista
explcita, enquanto o conjunto B utiliza relaes de ordem definidas sobre nmeros reais para
caracterizar o conjunto nmeros entre 0 e 1.
z  A, , , 
~ B , A : & B . 

(4.6)

Segue-se que muitos critrios j podem ser elaborados a partir das comparaes e
operaes Booleanas j implementadas na linguagem, envolvendo valores e medidas
associadas a locais de uma rea de estudo. Na verdade h uma identificao conceitual entre
regies e o resultado da avaliao de operaes de natureza Booleana, quando estendidas para
representaes de dados espaciais. Por exemplo, as variveis definidas em (4.7) determinam
conjuntos de locais onde so satisfeitas as condies que representam
best
good

= use == forest AND ndvi > 0.5 OR slope <= 30

= best,
use == crop AND district == d1 ,
use == forest AND ndvi > 0.5 ;

(4.7)

Algumas simplificaes sintticas permitem evitar longas listas de expresses na

especificao, por exemplo: das classes de um mapa temtico; dos estados de uma diviso
poltica; dos distritos de uma cidade, como ilustram as expresses:
district == d1, d2, d3
district.All
soils.

(4.8)

58
Na verdade, no existe uma representao explcita para dados de natureza Booleano
em LEGAL (Cordeiro et al., 1996), nem tampouco para Regies, apenas o cdigo que
implementa tais expresses efetivamente associado a esses tipos de dados.
Alm das relaes definidas sobre contradomnios de mapas, muitas relaes de
proximidade, definidas sobre o domnio espacial, tambm podem ser exploradas para
especificar regies. Por exemplo, podem-se usar medidas de distncia e direo com relao a
cada local da rea de estudo, ou a locais especficos, ou ainda a regies especficas, desde que
funes adequadas estejam disponveis, como ilustram as expresses em (4.9).
near = Distance() < 3 ;
upright = Distance() < 3 AND Direction() < 90 ;
neargreen = Distance() < 3 AND ndvi > 0.5 ;

(4.9)

Quando essas funes distncia aparecem sem argumentos, indicam regies

vizinhas centradas em cada local da rea de estudo, medidas sob diferentes mtricas, tais
como: Euclidiana, quarteiro (city block) e mximo. Em (4.9), por exemplo, a varivel near
descreve uma famlia de regies circulares de raio trs unidades, centradas em cada local de
uma rea de estudo; na varivel upright, cada elemento da famlia near restrito a setores de
90 graus. No caso da varivel neargreen, a restrio dada por uma comparao envolvendo
valores obtidos atravs da varivel ndvi, usada aqui para particionar cada vizinhana de uma
famlia. Isso oferece uma maneira natural de incorporar variabilidade noo de vizinhana.
Algumas famlias de vizinhanas como as ilustradas na FIG. 4.3 so freqentemente
usadas em operaes de processamento de imagens para avaliar localmente, o contraste entre
a distribuio radiomtrica de uma regio nuclear (em vermelho) e uma regio no entorno
desse ncleo, que pode ou no ser conectada espacialmente ao ncleo.

59

Alvo:
Fundo:

3x3
9x9\3x3

3x3
9x9\5x5

3x3
9x9\7x7

FIGURA 4.3 Configurao de vizinhanas alvo e fundo.

Essas famlias de vizinhanas podem ser expressas com base na noo de distncia,
dada pelo nmero mnimo de celas contguas (quarteiro), como ilustra a TAB. 4.1.

TABELA 4.1: Equivalncia entre formas de especificar vizinhanas

3x3
5x5
7x7
9x9\3x3
9x9\5x5
9x9\7x7

Distancia() 1
Distancia() 2
Distancia() 3
1 < Distancia() 4
2 < Distancia() 4
3 < Distancia() 4

Outra maneira de enfocar a noo de proximidade envolve a relao de contigidade

entre locais. Com freqncia, expresses algbricas matemticas fazem uso da referncia
explcita a elementos de matrizes, atravs de um sistema de indexao que indica o
deslocamento relativo entre elementos envolvidos, em termos de linha e a coluna, como na
expresso:
 @*,* : @*, : @*,
@,* : @, : @,
@,* : @, : @,  /

(4.10)

Se a varivel m representar, por exemplo, uma imagem digital, ento a expresso

(4.10) ir referir-se a uma operao de filtragem de mdia, usada para suavizar as bordas
de feies identificveis visualmente. Cada local de coordenadas [i,j], caracterizado pela

60
mdia dos valores, associados a locais de sua vizinhana imediata (3x3). Menos do que uma
convoluo de funes (Gonzalez et al., 1987), a expresso em (4.10) descreve a interao
entre uma imagem, e uma famlia de regies definidas sbre a mesma rea de estudo pelos
elementos adjacentes a cada local [i,j], como ilustrado na FIG. 4.4.
j

Regio 3x3

Imagem

Seleo de Valores

Mdia

FIGURA 4.4 Seleo de locais e valores de uma imagem.

Se o local de coordenadas , ^, foco de uma vizinhana genrica, for identificado ao

par &, &, ento cada local ser tratado como a origem de uma restrio da rea de estudo.
Tem-se assim, um esquema de posicionamento relativo que pode ser adotado para especificar
regies, atravs de listas de pares de coordenadas relativas, como na expresso:
[1,1 ], [1, 0 ], [1, 1 ],
[ 0,1 ], [ 0, 0 ], [ 0, 1 ],
[ 1,1 ], [ 1, 0 ], [ 1, 1 ];

(4.11)

Uma tal especificao define uma famlia de funes que mapeiam locais a regies
definidas por seus locais vizinhos, implicitamente associados ao valor true. O valor false
implcitamente associado a todos os outros locais (no necessriamente representados) da rea
de estudo. Para colocar esse aspecto funcional de modo explcito, pode-se reescrever a
expresso em (4.11), como um conjunto de triplas ordenadas, onde a terceira coordenada
indica a pertinncia ou no de cada local envolvido:

61
[
1 ,1,True ], [1, 0,True ], [1, 1,True ],
[ 0,1,True ], [ 0, 0,True ], [ 0, 1,True ],
[ 1,1,True ], [ 1, 0,True ], [ 1, 1,True ];

(4.12)

A representao explicita de locais associados ao valor false pode ser omitida,

permitindo assim evidenciar a forma de cada regio, como ilustrado na FIG. 4.5.

", " , ", & , ",  ,

&, " , &, & , &,  ,
, " , , & , ,  ;
", ",
", ,
&, & ,
, " ,
,  ;
", & ,
&, ", &, & , &, ,
, & ;

FIGURA 4.5 Diferentes formas de especificao de vizinhanas.

Como os valores constantes true e false so por si prprios expresses Booleanas,

sugestivo permitir que qualquer expresso de natureza Booleana possa ser usada para
indicar critrios de pertinncia de locais a regies, como ilustra a expresso:
[-1,-1, use == forest ], [1, 0, slope < 30 ], [1, 1, use == forest ],
[ 0,1, slope < 30 ], [ 0, 0, use == forest ], [ 0, 1, slope < 30 ],
[ 0,1, use == forest ], [ 0, 0, slope < 30 ], [ 0, 1, use == forest ]

(4.13)

Desse modo, em (4.13), uma expresso de natureza Booleana deve ser avaliada para
decidir a pertinncia ou no de cada local a uma vizinhana. Esta capacidade da linguagem
proposta neste trabalho, constitui talvez a principal de suas contribuies, ao introduzir uma
maneira formal de descrever a variabilidade espacial de regies.

62
Como outras expresses vistas anteriormente, tais listas de locais podem ser
associadas a variveis, como ilustram as expresses em (4.14).
ng8 = [-1, -1 ], [-1, 0 ], [-1, 1 ],
[ 0,-1 ], [ 0, 0 ], [ 0, 1 ],
[ 1,-1 ], [ 1, 0 ], [ 1, 1 ] ;

(4.14)

vg8 = [-1,-1, use == forest ], [-1, 0, slope < 30 ], [ -1, 1, use == forest ],
[ 0,-1, slope < 30 ], [ 0, 0, use == forest ], [ 0, 1, slope < 30 ],
[ 1,-1, use == forest ], [ 1, 0, slope < 30 ], [ 1, 1, use == forest ]

Como para os templates de Ritter (1990) e os mapa relacionais de Takeyama et al.

(1997), possvel definir operaes envolvendo apenas regies, entre elas as operadores de
natureza Booleanos, como ilustra a expresso (4.15) a seguir.
ng8 AND bestplace

(4.15)

Que equivalente expresso em (4.16).:

[-1,-1, bestplace ], [-1, 0, bestplace ], [-1, 1, bestplace ],
[ 0,-1, bestplace ], [ 0, 0, bestplace ], [ 0, 1, bestplace ],
[ 1,-1, bestplace ], [ 1, 0, bestplace ], [ 1, 1, bestplace ]

(4.16)

Vale ainda observar que as operaes usadas na especificao de regies so tambm,

essencialmente locais, cuja avaliao, restrita a um subconjunto de locais, indica a pertinncia
ou no de cada local deles regio descrita.
Embora o tipo Regies seja adotado pela linguagem, ele no corresponde a nenhuma
representao esquemtica ou fsica, mas sim, apenas a uma especificao de uma famlia de
funes. Dito de maneira um pouco mais formal, o tipo Regies ir representar a associao
de uma funo de natureza Booleana (regio), a cada local de uma rea de estudo W. Assim,
=Y W existe, uma funo Y : W g X, onde X um conjunto de valores qualquer, que

63
efetivamente define a regio.associada a cada local. A famlia de funes resultantes de uma
especificao de regies pode tambm ser vista como um mapa , cujo contradomnio um
conjunto de funes, como ilustra a expresso em (4.17).
Y Y , =Y
W

(4.17)

O fato de que em LEGAL o conceito de varivel refere-se sempre a uma expresso,

cujo cdigo associado a cada local em tempo de execuo, viabiliza a efetiva
implementao do conceito de mapa como funo. Essa capacidade da linguagem LEGAL
permite evitar a gerao de dados intermedirios. A linguagem incentiva um uso mais
explicito de expresses algbricas e recursividade na descrio de modelos, mantendo assim
maior identidade semntica com o universo matemtico (Camara, 1994) dos problemas
modelados.

4.3 Interao entre Regies e Mapas

A interao entre regies e mapas depende da seleo de conjuntos de locais
(regies), seguida da obteno de valores a eles associados atravs de mapas. O aspecto
seleo depende de operaes de natureza Booleana. O aspecto obteno refere-se aos
valores associados a uma restrio de um mapa, visto como uma funo, aos locais
selecionados. A combinao desses dois aspectos modela uma operao binria que ser
referida neste trabalho por interao entre regies e mapas. A interao portanto uma
operao no homognea, no sentido que envolve domnios distintos de valores, definida
como mostra a TAB. 4.2.

64
TABELA 4.2 Interao entre valores Booleanos e outros de qualquer natureza.

true
false

value
value
nulo

nulo
nulo
nulo

Essa operao, quando estendida para cada local de uma rea de estudo, permite
identificar colees de valores associados a locais que constituem regies de interesse. O
termo nulo que aparece na TAB. 4.2 introduzido para modelar a possvel ausncia de
informao decorrente de aspectos envolvidos com a representao computacional dos
domnios matemticos envolvidos. A FIG. 4.6 ilustra, a interao de uma rea de estudo, vista
como um conjunto de zonas ou como uma famlia de vizinhanas, com um mapa qualquer
(varivel mapa). A identificao conceitual de zonas e vizinhanas, a regies, resulta em uma
nica especificao sinttica para ambos os caso, que podem ento ser descritos pelas
expresses:
zonas
mapa
vizinhancas mapa

(4.18)

Como resultado, os valores associados pela varivel mapa aos locais avaliados como
true em ambos os casos, so registrados.

65
vizinhanas

zonas
rea de estudo

mapa
mapa zonas
mapa vizinhanas

FIGURA 4.6 Interao entre regies e mapas.

O resultado final de uma operao de interao entre regies e um mapa, mais do que
alguns conjuntos de influncia (Takeyama e Couclelis, 1997), representa algumas restries
desse mapa visto como funo a uma regio a cada uma delas. Nesse contexto, as prprias
regies constituem casos particulares de restries, no sentido que so restries de funes
de natureza Booleana.

OPERAES NO-LOCAIS
Em LEGAL, operaes normalmente classificadas como no-locais (zonais, focais)
(Tomlin, 1990; Takeyama, 1996) referem-se s diferentes maneiras de sintetizar informao a
partir de regies. Uma maneira tpica de fazer isso atravs de funes estatsticas bsicas,
tais como: Mdia, Mximo, Maioria e Mediana. A FIG. 4.7 ilustra a sumarizao por
Maioria, de valores selecionados a partir de um conjunto de zonas ou uma famlia de
vizinhanas como foi ilustrado na FIG. 4.6.

66

Maioria (zonas mapa)

Maioria (vizinhanas mapa)

FIGURA 4.7 Sumario estatstico por maioria.

As expresses em (4.19), embora descritas segundo as mesmas regras sintticas,

representam operaes que seriam classificadas, respectivamente, como zonal e focal,
segundo o modelo funcional clssico da lgebra de mapas. Entretanto, matematicamente,
essas funes representam apenas a sumarizao estatstica de conjuntos de amostras (espao
amostral), estes sim, dados sob a forma de uma expresso algbrica.
maiZ = Maioria ( zonas mapa );
maiV = Maioria ( vizinhanas mapa );

(4.19)

Toda a expressividade da descrio algbrica passa a ser explorada na construo dos

argumentos dessas funes, como ilustram as expresses em (4.20) a seguir.
Mdia((use==forest AND slope>10)
heights)
Mediana(ng8 AND use==forest AND slope>10)heights)

(4.20)

Alem disso, as funes que sintetizam valores a partir de regies podem ser integradas
de maneira natural a outras expresses, como em (4.21).
(nir-Average(red
ng8))/(nir+Average(red
ng8))

(4.21)

Vale ainda observar que todo esse processo de seleo e obteno de valores envolve
apenas operaes locais, que utilizam essencialmente a mesma especificao sinttica e o
mesmo paradigma de execuo baseado em autmatos de pilha. A implementao dessas

67
operaes no-locais, dever sempre envolver ao menos duas fases, que podem ser
organizadas de maneira recorrente, cada uma delas, descritvel a partir de operadores locais.
Por exemplo, uma operao zonal, dever envolver operaes para selecionar locais e
registrar valores a eles associados, s ento, numa segunda fase, tais valores so sumarizados.
O conceito de regio permite distinguir a especificao de regies do processo de
sumarizao a ser adotado, Para ilustrar ser considerada a implementao em LEGAL de um
algoritmo que pode ser usado para detectar variaes inesperadas em uma imagem. O
contraste entre parmetros estatsticos como mdia, desvio-padro e mediana aplicados a
conjuntos de valores associados a conjuntos de locais oriundos de um par de regies referidas
aqui por fundo e teste, Em Gan et al. (2006), diferentes hipteses so consideradas para a
distribuio de valores que melhor caracterizem a paisagem dominante e as feies que se
pretende detectar. O objetivo ento, estudar o contraste entre esses parmetros, relativos a
cada uma das duas regies indicadas pelos ndices 0 e 1 na equao (4.22).
,  " &  / 

(4.22)

Aplicada a cada local da rea de estudo, a equao (4.22) ir destacar regies que
fogem ao padro de paisagem esperado segundo critrios que podem se basear na rea s e/ou
formas das regies detectadas. Inicialmente preciso escolher as vizinhanas adequadas. Mais
que uma escolha, essa fase consiste da descrio das regies de fundo e teste, atravs de
expresses algbricas em LEGAL. Tomando-se as famlias de regies especificadas na TAB.
4.1, e ilustradas anteriormente na FIG. 4.3, vrios experimentos podem ser facilmente
descritos. A FIG. 4.8 ilustra o resultado correspondente escolha da configurao constituda
pelo ncleo 3x3 e um entorno 9x9\3x3, implementado pelo trecho de programa:

68
det9\3 =
(Mdia((Distance() <= 1)
m)) >= (Mdia((1 < Distance() <= 4)
m)) ?
(Mdia((Distance() <= 1)
m) Mdia((1 < Distance() <= 4)
m)) /
sqrt (Mdia((1 < (Distance() <= 4)
(m Mdia((1 < Distance() <= 4)
m))^2))
: nulo ;

imagem original

mdia 3x3

mdia 9x9\3x3

det 9x9\3x3

FIGURA 4.8 Deteco de alvos baseada no contraste entre mdias.

Existem, outras formas de sumarizao que dependem de mais recursos estruturais

incorporados s regies envolvidas. Por exemplo, um tipo de mapa de uso comum em
aplicaes hidrolgicas usado para representar direes locais de drenagem (ou ldd, do
termo Ingls, local drain direction) (Wesseling et al., 1996), indicando tendncias locais de
fluxo superfcial. Sua determinao no depende apenas dos valores de altitude de cada local
da vizinhana de cada local, a posio dos locais fundamental para determinar uma entre
oito direes possveis de fluxo. A especificao de operaes no-locais freqentemente
exige mais estrutura sobre o resultado de uma interao do que uma simples coleo de
valores, outros aspectos podem ser explorados segundo conceito de interao, com base em
outras estruturas de representao de espao, como reticulados e grafos em geral,

69

4.4 Extenso do Conceito de Local.

O conceito de local, que usualmente modela a noo de menor unidade representvel
de um mapa, tambm pode ser interpretado como a generalizao de locais representados a
escalas cartogrficas maiores; ou agregao de locais representados a resolues mais finas.
Cada local de uma rea de estudo, quando visto sob uma dada resoluo espacial, pode
ser caracterizado por um valor, que representa a sntese do conjunto de valores associados aos
locais contidos ou que interceptam seu interior a uma resoluo mais fina. Expressar a
compatibilidade entre dados a diferentes resolues e escalas implica em discriminar, de
modo explcito, o processo de sumarizao utilizado em operaes, permitindo assim avaliar a
perda de informao resultante. A FIG. 4.9 ilustra o uso de um critrio baseado em maioria
para inferir a classe predominante em locais a resolues variadas.

FIGURA 4.9 Dados a diferentes resolues e mesma escala.

A anlise estatstica da dependncia escala, entre variveis e processos ambientais

permite avaliar escalas apropriadas para inventrio, monitoramento e modelagem, em funo
da quantidade de detalhes observveis da rea afetada ou do tamanho de objetos. Isso muitas
vezes depende da anlise de dados em formato matricial, por algum tipo de operao de
generalizao (De Cola, 1994). Os chamados efeitos de escala so evidentes nesse processo
em que padres espaciais podem ser revelados ou desaparecer, e relaes entre objetos podem
ser afetadas (Cao et al., 1997).

70
O conceito de agregao, tambm usado para eliminar erros oriundos do processo de
classificao, no qual regies so determinadas e identificadas por valores qualitativos
(classes), a partir de critrios de proximidade tanto espacial e estatstica (Bins et al., 1992).
Em geral aps a validao dos resultados da classificao atravs de anlise visual, tem-se um
mapa temtico, cujas classes temticas identificam regies de interesse na rea de estudo.
Entretanto muito comum ocorrerem pequenos erros, como o aparecimento de informao
supostamente ruidosa, caracterizada pela ocorrncia inesperada ou inconsistente de alguma
classe no mapa resultante. A FIG. 4.10a, mostra detalhe de um mapa indicando classes de
cobertura vegetal numa regio de produo madeireira. Pequenas regies da classe pinus
(cor rosa) ocorrem no interior e nas bordas de regies maiores da classe floresta (cor verde).
Critrios para eliminao desses rudos temticos podem ser definidos com base em regras
estabelecidas para diferentes resolues do mesmo dado (Cordeiro et al., 2009), como
ilustrado pelo seguinte trecho de programa em LEGAL:
Tematico inicial, fina, maiorl (CoberturaVegetal);
inicial = Recupere(Nome = original);
maior = Novo(Nome = Maioria, ResX=300, ResY=300);
final = Novo(Nome Resultado, ResX=30, ResY=30);
ng8 = [-1,-1], [-1,0], [-1,1],[0,-1] ,[0,0], [0,1], [1,-1], [1,0], [1,1];
maior = Maioria(inicial);
final = inicial != pinus ? inicial : maior != pinus ? maior : inicial;
final = inicial;
n = 0;
While (n <= 2) {
final = final == pinus && Minoria(final * ngh8) == pinus ?
Maioria(final * ngh8) : nulo ;
n = n+1;
};

Os critrios implementados inicialmente associam um valor a cada local na resoluo

original (mais fina) em funo do valor a ele associado por um mapa generalizado numa
resoluo mais grossa (FIG. 4.10b). O impacto visual do mapa resultante (FIG. 4.10c) sugere

71
que alguns rudos foram eliminados. Entretanto muita informao correta tambm foi
eliminada junto com os rudos. A fim de recompor parte da informao eliminada pode-se em
seguida usar um critrio baseado em vizinhanas, para extrair o valor predominante (maioria)
em uma vizinhana 3x3, resultando no trecho de mapa ilustrado na FIG. 4.10d,e.

(a)

(b)

(d)

(e)

(c)

FIGURA 4.10 Extrao de rudos temticos.

Este exemplo ilustra ainda o uso do comando iterativo While que permite controlar o
total de repeties de um mesmo procedimento, o que no caso tem um efeito de restaurar
valores originais associados a locais, que tenham sido alterados erroneamente.

4.5 Extenso do Conceito de Regio.

Pelo apresentado at aqui, cada local de uma rea de estudo afetado igualmente por
cada local de uma regio de influncia. Entretanto existem situaes para as quais diferentes
pesos de influncia devem ser associados a diferentes locais de uma regio. Para ilustrar a

72
situao, considere o clculo do gradiente de uma superfcie representada por uma grade
regular. A formulao matemtica desse processo para cada local de coordenadas [i, j] algo
como:
 5*,^* :  Z 5*,^ : 5*,^ 
 5,^* :  Z 5,^ : 5,^ 
5*,^ :  Z 5,^ : 5,^ 
5*,^* :  Z 5,^* : 5,^* 

(4.23)

Os fatores 2 que aparecem na expresso acima indicam que alguns locais envolvidos
tm influncia maior nos clculos. Seria interessante representar as regies envolvidas na
expresso acima de maneira a refletir esses fatores de ponderao. A fim de acomodar
situaes como esta, a noo de regio precisa ser revista, a partir de uma nova interpretao
para a operao de interao.
O valor 0 quando interpretado como um fator de ponderao (cardinalidade,
multiplicidade etc), corresponde exatamente ao valor false usado na Seo-4.3, pois sua
interao com qualquer valor de qualquer domnio quantitativo ou no, resulta sempre nula
(e.g., ausncia de peso, nenhuma ocorrncia etc). Assim, se o valor true (not-false) for
associado a qualquer outro valor de ponderao, todas as propriedades de natureza Booleana
do conceito de regio, vistas at aqui, permanecem inalteradas, e pode-se definir o operador
de interao como na TAB. 4.3.

TABELA 4.3: Interao entre nmeros e valores de qualquer domnio.

number

value
number
times value

73
Dentro dessa perspectiva, as regies envolvidas na expresso do gradiente podem ser
definidas e associadas a variveis tais como:
up
down
left
right

= [ 1,1, 1 ], [ 1, 0, 2 ], [ 1, 1, 1 ] ;
= [1,1, 1 ], [1, 0, 2 ], [1, 1, 1 ] ;
= [1,1, 1 ], [ 0,1, 2 ], [ 1,1, 1 ] ;
= [1, 1, 1 ], [ 0, 1, 2 ], [ 1, 1, 1 ] ;

(4.24)

Usando essas definies ento possvel compor uma nova verso da expresso em
(4.23), agora fundamentada na interao entre regies e mapas, como ilustra a expresso
(4.2.5).
(Sum(m down) Sum(m up))^2
+ (Sum(m right) Sum(m left))^2 )

(4.25)

Alm disso, pode-se ainda contar com todas as propriedades das operaes algbricas
para descrever tais regies ponderadas, como ilustra a nova verso do gradiente dada pela
expresso:
(Sum(m (down up)))^2
+ (Sum(m (right left)))^2)

(4.26)

Os pesos associados a locais de uma regio podem ainda ser descritos por expresses
algbricas, cuja avaliao resulte em nmeros, acrescentando assim uma dimenso
quantitativa variabilidade da forma de regies, estabelecida anteriormente atravs de
expresses de natureza Boolena.
Os resultados da interao entre mapas e regies, (ponderadas ou no), podem no ser
binrios, como os mapas relacionais (Takeyama, 1996), nem de natureza quantitativa, como
as regies ponderadas. Entretanto, existe uma estrutura implcita sbre os conjuntos
resultantes de uma interao, compatvel, com o mapa, que os fornece. Desse modo todas as

74
operaes induzidas a partir dos domnios de tais mapas tornam-se disponveis, como uma
lgebra restrita ao espao compreendido por alguma regio. Mas qual seria o sentido
semntico de operar sbre essas estruturas restritas?
No universo da representao computacional de mapas existe um aspecto primitivo de
natureza Booleana, que se refere existncia ou no de informao associada a cada local de
uma rea de estudo. Isso remete a discusses sbre as diversas maneiras de representar o
elemento nulo. Incluir o elemento nulo em qualquer domnio de valores implica em uma
reviso extensiva de todas as operaes vlidas sbre seus elementos.
Cada operao sobre algum domnio especfico deve ser tacitamente precedida, de
uma operao unria de natureza Booleana, cujo nico objetivo detectar a existncia ou no
de informao local. Isso sugere que as operaes Booleanas podem ser estendidas para
domnios de qualquer natureza, com o sentido semntico de indicar a existncia ou no de
informao local. Com base nesse teste de nulidade, o comportamento da operao de
interao entre dois conjuntos genricos, A e B, pode ser definido como indica a TAB. 4.4.

TABELA 4.4 interao entre mapas no quantitativos.

xA
nullA

yB
true
false

nullB
false
false

Com tal estruturao possvel envolver qualquer tipo de dados na construo de

critrios para definio de regies. A interao entre um mapa e tais regies generalizadas
resulta em uma restrio desse mapa a uma regio determinada pelos locais associados a
valores no-nulos.

75

5 Aplicaes Atuais em LEGAL

A linguagem LEGAL tem sido usada de modo operacional em importantes projetos de

monitoramento de recursos ambientais mantidos por instituies do governo, no
governamentais e empresas privada. Na rea acadmica tem sido aplicada na construo e
prova de conceitos em diversas disciplinas, para as quais os SIG cumprem mais que o papel
de uma ferramenta. Entre os projetos destaca-se o PRODES (Valeriano et al., 2004)
responsvel monitoramento de dados de desmatamento amaznico, e o DETER
(Shimabukuro et al., 2005), que estende as capacidades do PRODES para informar em tempo
real sobre as atividades de desmatamento. E o projeto Pan-Amazonia II (Duarte et 2007),
voltado para monitoramento, em escala global, de florestas tropicais e sua biodiversidade. Na
rea de agricultura, o projeto CANASAT voltado para o monitoramento de safras de cana-deacar no estado de So Paulo, tambm um bom exemplo da importncia do uso de SIG, em
particular de uma modelagem algbrica para os conceitos envolvidos.
Outras aplicaes envolvem trabalhos de pesquisa acadmica, entre eles algumas teses
de Doutoramento, dissertaes de Mestrado, publicaes, e trabalhos em Simpsios e outros
eventos, que fazem uso da LEGAL como ferramenta de modelagem e anlise espacial.
Tambm o ensino e treinamento em SIG, particularmente voltado para Anlise Espacial
incluem a abordagem algbrica como tpico de destaque. Existem alm de cursos regulares
ministrados pelo INPE, iniciativas tambm em outras instituies nacionais, como

EMBRAPA, UFPR.e UFRGS, reforando o importante papel da divulgao da cultura em

SIG em muitas reas e disciplinas.

76
Este captulo evidencia um perfil atual da maioria dos usurios de LEGAL fortemente
correlacionado com a modelagem fundamentada em dados de Sensoriamento Remoto (SR)
em ambiente SIG. , portanto, oportuno discorrer um pouco sobre alguns aspectos relevantes
dessa rea cuja dinmica reflete o impacto cada vez maior da disponibilidade de dados dessa
natureza. Para isso, sem afastar-se muito do objetivo do captulo, na Seo-5.1 ser
apresentado uma aplicao que faz uso da linguagem LEGAL no mbito de um projeto
desenvolvido pelo CIAT (Centro Internacional de Agricultura Tropical, Cali, Colmbia) em
que so apresentados vrios questes e passos envolvidos no uso de SR e SIG em projetos de
planejamento e manejo em reas rurais.

5.1 Disseminao de Tecnologia

Existe uma profunda integrao entre disciplinas de SIG e a temas da rea de
Sensoreamento Remoto (SR), que fazem uso intensivo de algoritmos e mtodos em
Processamento de Imagens. A maioria dos SIG compativel com imagens, vistas como uma
classe particular de mapas, e oferecem ampla funcionalidade, especialmente o Spring (Camara
et al., 1996),
Nathalie Beaulieu e colegas do CIAT (2001), tm desempenhado um papel importante
no sentido de disseminar o uso de tecnologias de SR e SIG, de uma maneira que possa incluir
uma classe de usurios cujo papel diante do impacto ambiental dos processos mudana e
manejo de uso de terra, muitas vezes responssvel por srios danos ambientais, que podem
ser evitados atravs de uma combinao adequada entre conhecimento de fatores locais e o
conhecimento de profissionais da rea de SR, particularmente, em projetos de planejamento e
manejo.

77
Muitos potenciais usurios de SR e SIG esto envolvidos em atividades de
planejamento, mas freqentemente deixam de acreditar nessas tecnologias ao obterem mapas
que no representam temas relevantes e acurados para as suas necessidades. Segundo Nathalie
Beaulieu et al. (2001), a falta de interao entre o especialista em SR e o usurio final de SR
uma das principais razes para isso.
Imagens so processadas para produzir mapas (cobertura vegetal, uso de terra etc),
comumente orientados pela demandas de agencias governamentais, ou grandes corporaes
agrcolas, ou voltadas para modelagem em escala global (p. ex: clima). Esses dados podem
no ser de utilidade evidente, para esses potenciais usurios. Entretanto, novas analises sobre
os mesmos dados e, eventualmente mais alguns, podem realmente atingir as necessidades de
comunidades rurais locais, desde que exista uma aproximao entre o que Beaulieu et al.
(2001) chamam de praticantes de SR, e o usurio final.
O praticante de SR perde acurcia em seu trabalho, ao deixar de considerar detalhes de
informao local (tipos especficos de vegetao, usos, atividades e processos que ocorrem
localmente, tais como, tcnicas de manejo etc) que fazem parte do conhecimento acumulado
ao longo dos anos por atores locais (fazendeiros, pequenos agricultores, funcionrios
governamentais, lideranas comunitrias e a populao em geral). Do mesmo modo atores
com muito conhecimento do territrio, mas pouco sobre ferramentas estatsticas e de PI
disponveis, podem cometer erros que afetam profundamente a acurcia de mapas resultantes
de atividades de planejamento ou monitoramento, voltadas para a comunidade.
Mesmo com uma boa combinao de conhecimento de territrio e tcnicas de PI a
aplicao de tcnicas de classificao convencionais tambm oferece espao para erros. Neste
caso, um bom entendimento do comportamento espectral de diferentes superfcies no terreno
pode ser de muita utilidade na confeco de conjuntos de regras para classificao de

78
categorias, mapeamento de variveis quantitativas, identificao de reas onde ocorrem certos
processos dinmicos.
Dados so adquiridos e processados com o objetivo de responder a questes colocadas
num processo de planejamento. E o planejamento deve resultar em questes bem formuladas
e indicadore de requisites relevantes, que podem referir-se a diagnose ou manejo. Perguntas
do tipo Quo longe estamos de condies desejveis? A situao tolervel? Como
progredir diante das dificuldades encontradas?. Um segundo tipo de questes refere-se a
aes de planejamento. Tais como: Temos uma idia do que deve ser feito, mas quais so as
melhores opes? So aes viveis? Onde vamos aplic-las? Quais as melhores combinaes
de aes?
Sob o ponto de vista do praticante de SR, entretanto, preciso comear de algum
ponto, tipicamente pela diagnose de problemas e saber comparar os indicadores com algum
objetivo desejvel
Em muitos casos preciso combinar imagens com outros tipos de dados (climticos,
demogrficos etc) e freqentemente so necessrias medidas em campo. No trivial
combinar esses dados de campo, tipicamente pontuais, com imagens que tm resoluo mais
baixa, para extrapolar observao de campo. Essa fase pode significar desde a comparao de
caractersticas espectrais (visuais) com as de suas vizinhanas, at a determinao do
relacionamento entre caractersticas espectrais e medidas tomadas em campo (por exemplo,
entre ndices de vegetao e cobertura vegetal) e aplicar esse conhecimento para estimar
condies sobre a rea de estudo.
O tipo de dados de imagens a ser adquirido depende da informao que se tem em
mente capturar, o que ainda depende do que possvel extrair dos diferentes tipos de imagens
oferecidas no mercado. preciso ainda, determinar o tipo de informao que se deseja obter,

79
que pode ser de natureza qualitativa, ou categrica (tipos de cobertura vegetal, tipo de
vegetao, uso de terra etc), ou quantitativa (percentagem de solo exposto, reas verdes,
misturas de solos etc). Outro tipo importante de informao a extrair dos dados envolve o
mapeamento de reas onde acontecem dinmicas especficas (perda de solo, desflorestamento,
mudanas no curso de rios, queimadas, inundaes etc)
Decididas as categorias desejveis, estas podem ainda no serem distinguveis nas
imagens, os resultados quase sempre envolvem um compromisso entre o desejado e o que se
pode extrair efetivamente das imagens (De Wispeleare, 2001, Mouran, 1992, Richards, 1995
). Vale mencionar que as condies na cobertura de um territrio podem variar durante o ano
(culturas agrcolas, pastos, pastos naturais que so manejados por queimadas etc).
impossvel definir a assinatura espectral que corresponde a um uso especfico de terra. Na
verdade as assinaturas digitais correspondem mais a condies do que a tipos especficos de
uso. necessrio o uso de mais imagens de diferentes pocas para dedues baseadas no
comportamento temporal dos alvos mapeados.
Alguns passos podem ser destacados nessa fase de anlise de dados:
a) Definir categorias de interesse (entre outras, presentes no territrio);
b) Analisar de regies de imagens dessas categorias, comparando com amostras de
observaes de campo, e determinar se so espectralmente separveis umas das outras
usando medidas como (divergente,, distancia de Bhattacharia, etc)
c) Se as categorias forem separveis, basta conduzir um processo de classificao por
mtodos supervisionados, ou por mtodos baseados em regras (determinadas
iterativamente) e teste de resultados usando dados de validao.. Em ambos os casos
os resultados so comparados com dados de validao. Avaliao visual do resultado
desse processo de classificao, quanto existncia de regies ruidosas no resultado
da classificao (pixels de um dado cultivo inesperadamente inseridos em outro,
nuvens confundidas com solo exposto etc).

80
d) Se todas as categorias forem no separveis deve ser determinado quais confundem
com quais. Deve-se ainda determinar se a confuso por semelhana espectral entre
as classes ou devida a uma variao maior de condies dentro de cada uma..
e) Redefinir classes separveis em uma imagem, o que feito iterativamente, e pode
envolver a diviso do espao espectral de uma classe, ou ainda usando mtodos de
classificao automtica (no-supervisionada) .

Fonte: Beaulieu et al., 2001

Band 3>55 then
Water with sediments

Band 1 > 65 and Band 6<155 then

Clear water

Shadows of thick clouds

Band 4<55 then

Burned-3 or dark soils

Band 4<38 and band5<35

Band 6<147 and Band 3>76

Then Clouds

Band 3>76
Relatively bright bare soils

Band 3>64

Band 3 > 50
Band 4<76 then
Sparse vegetation-1

Sparse vegetation-2

Band 4 <48 then

Burned-2

Band 4 < 75 then

Mature or dark grasses

Medium vegetation

Band 4 < 32
Burned with ashes

Band 6 < 154

Flooded vegetation

Band 4 < 61 then

Sparse or medium vegetation on
burned or hydromorphic soils

Band 4 < 87
Forests or plantations

Extremely chlorophyllian
vegetation

FIGURA 5.1 rvore de deciso para classificar classes de cobertura vegetal

81

Decididas as categorias desejveis, estas podem ainda no serem distinguveis nas

imagens, os resultados quase sempre envolvem um compromisso entre o desejado e o que se
pode extrair efetivamente das imagens. Vale mencionar que as condies na cobertura de um
territrio podem variar durante o ano (culturas agrcolas, pastos, pastos naturais que so
manejados por queimadas etc). impossvel definir a assinatura espectral que corresponde a
um uso especfico de terra. Na verdade as assinaturas digitais correspondem mais a condies
do que a tipos especficos de uso. necessrio o uso de mais imagens de diferentes pocas
para dedues baseadas no comportamento temporal dos alvos mapeados.
Quando sries temporais de imagens, ou imagens de diferentes sensores esto
envolvidas no processo de modelagem, preciso compatibilizar esses dados.
O valor de nvel de cinza de pixels equivalentes em diferentes imagens pode ser
relacionado com a refletncia planetria, Equaes conhecida so usadas para normalizar
parmetros de refletncia no solo, atravs de parmetros que acompanham a imagem como
produto. Outra maneira de reduzir a variabilidade entre cenas atravs da identificao de
reas cujos valores sejam invariantes, nesses casos diz-se que a imagem calibrada
absolutamente. Mas possvel ainda usar tcnicas de calibrao relativa entre imagens. Um
aspecto comum a todos esses casos refere-se correo de efeitos da atmosfera,
principalmente quando efeitos topogrficos so considerados.
Aps a correo de imagens que compem uma srie temporal pode-se usar tcnicas
para iniciar a anlise, propriamente, dos dados. Por exemplo, ndices de vegetao so usados
rotineiramente, para monitorar mudanas na cobertura da terra , tanto para a avaliao da
sade da vegetao (p.ex. pastagens e cultivos, desflorestamento etc). As tcnicas mais
comuns envolvem o clculo de ndice normalizado (NDVI), eles podem ser usados

82
independentemente da resoluo das imagens disponveis, sejam elas de baixa resoluo
(SPOT vegetation, NOAA AVHRR), mdia resoluo (SPOT HRV, Landsat TM e ETM+) e
alta resoluo (IKONOS).
A maioria das equaes usadas nesses processos de compatibilizao e anlise de
imagens

so tpicamente obtidas atravs de operaes locais em LEGAL, ou alguma

ferramenta que possua funcionalidade de lgebra de mapas.

Dessa forma, Com base no conhecimento especializado e informaes sobre o

territrio Beaulieu et al. (2001) definem atravs de lgebra de mapas em IDL e LEGAL, uma
estrutura de regras de deciso baseada em anlise estatstica, que pode ser ajustada para
diversas situaes. As primeiras aplicaes de sua metodologia foram voltadas para
comunidades indgenas na Bolvia e por volta de 2004 j envolvia O Senegal e vrios outros
pases da regio subsaariana. (Beaulieu et al., 2004). A FIG. 5.1 ilustra uma forma de
estruturar regras de deciso, para fins de classificao que compe a metodologia e, no
Anexo-1, um dos programas exemplo tambm se refere ao processo de construo dessas
regras ajustveis conforme as caractersticas locais.

5.2 Usos em Projetos

O sensoriamento remoto tem a capacidade de fornecer dados para grandes extenses
territoriais a custos relativamente baixos, se comparados com levantamentos feitos a campo,
alm disso, esses dados podem ser obtidos periodicamente. Estas caractersticas permitem a

83
realizao de estudos de uso de solo, deteco de mudanas, previso e planejamento
(Prenzel, 2004).
O monitoramento do desmatamento em florestas tropicais realizado pelo Instituto
Nacional de Pesquisas Espaciais (INPE) desde 1978 com base em imagens dos sensores MSS,
TM e ETM+ da srie Landsat., atravs do PRODES (Projeto de Estimativa do
Desflorestamento da Amaznia), com apoio do Ministrio do Meio Ambiente (Valeriano et
al., 2004).
A metodologia adotada no PRODES parte do georreferenciamento e classificao
automtica de imagens de sensores remotos, cobrindo a regio amaznica brasileira. As
imagens resultantes desse processo, aps uma fase de foto-interpretao por especialistas,
consolidam-se, sob a forma de mapas temticos, cujas classes (ou temas) discriminam regies
tais como: floresta, desmatamento, nuvens e hidrografia.
A metodologia envolve operaes locais em LEGAL aplicadas com base em
representaes temticas de dados. A quantificao de reas relativa a essas classes temticas
fornece os elementos para a fase final do PRODES que, com base em anlise espacial e
estatstica, ir determinar a taxa de desmatamento amaznico anual, alm de outros resultados
obtidos atravs de planilhas e sistemas de banco de dados relacionais.
Quatro mapas bsicos anuais resultam da metodologia de mapeamento adotada, com
base nos quais realizado o clculo da rea de desmatamento anual, e reas acumuladas, de
desmatamento e nuvens, que iro realimentar o processo de classificao para o ano seguinte.
Em (da Mota et al., 1999, 2009), evidenciada a necessidade de padronizao e abrangncia
de um conjunto de classes e regras que definem a semntica dos conceitos envolvidos.
Na modelagem de dados do SPRING classes temticas so definidas e agrupadas
segundo categorias temticas que auxiliam na organizao semntica dos mapas resultantes

84
do processamento anual. Tomando o ano de 2004 por referncia, a TAB. 5.1 mostra listas de
classes necessrias ao processamento anual. As classes definem a legenda dos mapas, ou seja,
representam o contradomnio desses mapas, quando vistos como funes, sendo que a cada
ano duas novas classes so includas para refletir resultados do ano em estudo

TABELA 5.1 Classes Temticas,que modelam os conceitos envolvidos no projeto

PRODES.

FL_total
NFL_total
NFL2_total
HDR_total
DFL_total
NS

FL
NFL
NFL2
HDR
NV
problema
DFL_total
DFL
DFL_NV_1
DFL_NV_2
DFL_NV_3
DFL_NV_4
DFL_NV_5
DFL_NV_6
DFL_NV_7 (criar -2004)

NV_1
NV_2
NV_3
NV_4
NV_5
NV_6
NV_7
NV_8 (criar 2004)

Classes da categoria extenso

Total observado
Total observado
Total observado
Total observado
Total acumulado at o ano
rea no sensoriada at agora
Classes da categoria Cartatema
Floresta restante
No floresta mapeada no ano
No floresta2 mapeada o ano
Hidrografia mapeada no ano
Nuvem mapeada no ano
No_floresta sobre rea no sensoriada
Acumulado ate o ano anterior
Desmatamento sobre floresta no ano anterior
Desmatamento sobre nuvem por 1 ano
Desmatamento sobre nuvem por 2 ano
Desmatamento sobre nuvem por 3 ano
Desmatamento sobre nuvem por 4 ano
Desmatamento sobre nuvem por 5 ano
Desmatamento sobre nuvem por 6 ano
Desmatamento sobre nuvem por 7 anos
Classes da categoria Nuvens
Nuvens por 1 ano
Nuvens por 2 anos
Nuvens por 3 anos
Nuvens por 4 anos
Nuvens por 5 anos
Nuvens por 6 anos
Nuvens por 7 anos
Nuvens por 8 anos (1997-2004)

Para ilustrar o uso da metodologia, considere o ano de processamento 2004. O mapa

extenso_2003 define as reas de desmatamento, hidrografia, floresta e no-floresta,

85
observadas at o ano 2003. O mapa nuvens_2003 define reas de nuvens sobrepostas s
ocorrncias de nuvens de anos anteriores. Isso permite que o desmatamento observado em
2004, sob nuvens observadas nos anos anteriores devem ser distribudas, no caso, por 3 anos
(2002-2004), o que implica em atualizao de informaes referentes a cada um desses anos
anteriores. As aes tomadas ao longo da gerao do mapa extenso_2004 so especificadas
na TAB. 5.2,
TABELA 5.2 Aes tomadas em funo do cruzamento de classes.
Extenso2003
Carta2004
FL
DFL
NFL
NFL2
HDR
NV
A
E
D*
D**
erro

FL_total

DFL_total

NV_i

HDR_total

NFL_total

NFL2_total

E
A
E
A
A
A

E
E
E
E
A
E

A
D*
erro
A
A
D**

E
E
E
E
E
E

E
E
E
E
A
E

E
E
E
E
A
E

Aceita Classificao_2004
Recupera da Extenso_2003
Distribui desmatamento sobre PI nuvens_2003
Distribui nuvens sobre nuvens_2003 gerando PI nuvens_2004
Problemas na interpretao/edio,ou classe NFL sobre rea_NS

Fonte: da Mota et al., 2008.

FIGURA 5.2 Indicao de ocorrncia de desmatamento sob nuvens.l.

86
A implementao das aes descritas na TAB. 5.2, feita atravs de quatro programas
em LEGAL que esto apresentados como exemplos no Anexo-1 deste documento, no qual
apresentada uma sinopse do manual de uso atual da linguagem LEGAL. Alm dos programas
de uso corrente pelo PRODES, outros programas so utilizados para fazer a adequao de
dados passados para o modelo de dados padro estabelecido por da Mota et al. (2009).
A experincia adquirida no PRODES deu origem em 2004 implantao pelo INPE
do Projeto de Deteco de reas Desflorestadas em Tempo Real (DETER) (Shimabukuro et
al., 2005). Sua implementao tambm foi motivada pela disponibilidade de dados de novos
sensores, como MODIS de alta resoluo temporal (1 a 2 dias) e maior preciso de
georreferenciamento, que estendem as potencialidades de uso do PRODES, para regies
tropicais em escala global. Em (Duarte et al., 2007) so apresentados alguns resultados
preliminares relativos ao monitoramento da regio tropical da Amrica do Sul e da frica.
Essas novas perspectivas em modelagem deram origem tambm ao Projeto Pan-amaznia
(Martini et al., 2010), voltado para aplicaes em todas as regies florestais que demandam
monitoramento sistemtico em escala global.
Em estudos de deteco de mudanas, fundamentados em dados de sensores remotos,
alm da modelagem de conceitos sob a forma de classes temticas, importante conhecer
tambm os erros envolvidos, e sua propagao. A tomada de deciso em atividades de
planejamento de produtividade agrcola, por exemplo, fundamentada em informaes que
dependem da distribuio espacial precisa de reas cultivadas
O mapeamento da cana-de-acar no Estado de So Paulo baseado em uma
metodologia proposta por Rudorff et al. (2004), que vem sendo desenvolvida pelo Instituto
Nacional de Pesquisas Espaciais (INPE), junto ao projeto CANASAT, em parceria com o
Centro de Estudos Avanados em Economia Aplicada (CPEA) e a Unio da Agroindstria

87
Canavieira de So Paulo (UNICA). Essa metodologia, fundamentada em tcnicas de
classificao automtica de imagens TM e ETM dos satlites Landsat 5 e 7 comeou a
apresentar um problema caracterizado pelo surgimento de pequenas regies de classificao
duvidosa. A FIG. 5.3 mostra um trecho dos mapas das safras 2003 e 2004, neste ltimo,
algumas setas vermelhas indicam alguns pixels isolados presentes no mapa de 2004.

Fonte: Rudorff et al.,2004.

Cana
Reforma2003
Expanso
Reforma2004
Outros
FIGURA 5.3 Detalhes das safras de cana-de-acar.

A propagao desse tipo de erro pode prejudicar a avaliao precisa de reas de cultivo
e reforma. Algumas tcnicas disponveis junto funcionalidade do SIG Spring podem
amenizar esses erros de forma automtica, mas no conseguem atribuir classes de forma
controlada. Para corrigir esse problema, Berka et al. (2005), propem um mtodo de
reclassificao de pixels dessas regies isoladas baseado no uso de critrios de deciso
expressos usando o mdulo LEGAL do SIG Spring.
A metodologia original (Rudorff et al., 2004) parte de uma verso vetorial do mapa da
cana-de-acar, resultante de classificao e, em funcionalidade de ps-classificao

88
disponvel no Spring, (limpeza vetorial), possvel eliminar polgonos menores que um limiar
de rea (1ha) estipulado. O mapa resultante novamente transformado para representao
matricial, embora ainda apresente imperfeies que constituem uma espcie de rudo
temtico, como ilustra a FIG. 5.4..
Fonte: Berka et al.,2005.

FIGURA 5.4 Rudos temticos oriundos do processo de classificao.

O mtodo de reclassificao controlada proposta por Luciana Berka (2005)

incorporada metodologia, e seu primeiro passo, a fim de manter a consistncia com os dados
da safra anterior, baseado em um programa em LEGAL que mapeia as diferenas existentes
entre o mapa original e o mapa com a limpeza de vetores. Desse modo, uma mscara
obtida, que pode acrescentar mais pixels a serem examinados para reclassificao, alm
daqueles detectados visualmente.
A classe atribuda a cada local analisado depende de critrios baseados em maioria
(moda) referente ao conjunto dos valores associados aos pixels na vizinhana imediata de
cada local. Esses critrios so aplicados em mais de uma passagem por todos os locais
envolvidos, de modo que aps algumas iteraes, implementadas atravs do comando
iterativo While da linguagem LEGAL, como ilustrado no fluxograma geral apresentado na
FIG. 5.5.

89

FIGURA 5.5 Fluxograma geral da aplicao de regras.

Fonte: Berka et al.,2005.

FIGURA 5.6 Detalhe de fluxograma para regras.

O trecho de fluxograma detalhado na FIG. 5.6, ilustra parte do algoritmo utilizado para
a reclassificao controlada por regras baseadas no contexto e conhecimento do especialista.
A comparao do mapa resultante desse processo de reclassificao controlada por regras
com o mapa inicial pode ser vista na FIG. 5.7.

90

FIGURA 5.7 Mapa original e reclassificado em LEGAL.

O mtodo desenvolvido para a reclassificao controlada de pixels isolados por meio

da programao em LEGAL foi eficiente e pode ser adaptado para qualquer mapa no formato
matricial. J era de se esperar que o resultado da estimativa de rea da classificao temtica
no sofreria alteraes significativas em funo da compensao dos erros encontrados nas
diferentes classes temticas. Contudo, o mapeamento foi significativamente melhorado,
evitando ainda a propagao dos erros nos mapeamentos subseqentes que visam atualizar as
estatsticas agrcolas a cada ano.

5.3 Pesquisas Acadmicas

Muitos trabalhos de pesquisa envolvem a produo de mapas que quantificam e/ou
qualificam fenmenos de interesse, para fins de inventrio, planejamento, manejo e deteco
de risco. Bases de dados para esses trabalhos, cada vez mais envolvem imagens de sensores
remotos, alm de mapas de uso de solo, mapas pedolgicos, mapas geolgicos, mapas de
vegetao, hidrografia, altimetria, alm de dados meteorolgicos como ndices de precipitao
e clima. A viso formal desse universo atravs da lgebra de mapas permite estender a

91
capacidade de interpretar dados bsicos para uma viso mais analtica, orientada para
modelagem ambiental.
Entre as teses de Doutorado destacam-se a de Cludia Almeida (2004), desenvolvida
no Instituto Nacional de Pesquisas Espaciais (INPE). Utilizando um modelo de autmatos
celulares, alimentado por parmetros estatsticos empricos (pesos de evidncia e regresso
logstica), alm de informao espacial (imagens, mapas de uso do solo etc), a autora procura
identificar o exato papel das variveis biofsicas e scio-econmicas na configurao da
forma urbana. Tambm so apontadas algumas demandas para o uso efetivo de SIG em
estudos de dinmica de uso em reas urbanas. Outra tese, de Helena Frana (2000),
desenvolvida na Universidade de So Paulo, volta-se para identificao de reas de queimadas
em regies do Cerrado, com base em imagens de sensores meteorolgicos. Em ambos os caso
o LEGAL referenciado como ferramenta de modelagem e integrao de dados..
Dentre as dissertaes de Mestrado desenvolvidos no INPE, vale destacar a
dissertao de Luciana Berka (2002), voltada para manejo de safras de soja no estado do
Paran. Esse trabalho implementa o modelo AGROMET adotado pela FAO (Food and
Agriculture Organization), que se baseia em um ndice de penalizao, dado em funo do
estresse hdrico ao longo do ciclo da cultura de soja. O estresse hdrico relaciona a
evapotranspirao real e a evapotranspirao mxima durante diferentes perodos, e se
manifesta nos perodos em que a demanda por gua maior do que a oferta. O ndice de
penalizao usado para acompanhamento das condies de crescimento e desenvolvimento
da soja, no estado, detectando deficincias hdricas relevantes ao longo da estao de
crescimento. Usando a programao em LEGAL, a autora modela ainda a integrao desses
ndices a uma base de dados meteorolgicos oriundos de 32 estaes meteorolgicas do
Instituto Agronmico do Paran (IAPAR).

92
Algumas dissertaes de Mestrado desenvolvidas em instituies de pesquisa e
universidades, tais como: de Ana Rodriguez (2005), da Universidade de So Paulo voltada
para a rea de Geografia Humana, e a de Marcelo Sanches Silva (2007), na rea de
Engenharia Urbana, da Universidade Federal de So Carlos; destacam a importncia do uso
de lgebra de mapas em LEGAL.
O LEGAL tem-se mostrado de grande relevncia na integrao de dados de diferentes
fontes, escala e resoluo, como aponta Anderson et al. (2009) numa pesquisa que mapeia e
explora o contexto da paisagem de diferentes espcies Amaznicas. A pesquisa integra dados
de campo sobre 45 regies visitadas, imagens Landsat ETM+, dados oriundos do banco de
dados topogrfico global de alta resoluo (SRTM - Shuttle Radar Topography Mission),
alm de dados oriundos da rede RAINFOR, estabelecida como parte do projeto
CARBONSINK, a contribuio Europia para o Programa de Grande Escala da BiosferaAtmosfera na Amaznia (LBA).
A rede RAINFOR rene pesquisadores de toda a Amaznia, mantendo amostragens
permanentes referentes a parcelas (plots) florestais localizadas em regies significativas da
Amaznia. Os inventrios e outros dados florestais disponibilizados pelo RAINFOR oferecem
idias vitais sobre as diversas maneiras como os ecossistemas amaznicos respondem s
mudanas climticas regionais e globais.
So avaliadas as variaes regionais na produtividade de madeira (densidade de
espcies especficas e a biomassa acima do solo) diante de prejuzos sistemticos e no
intencionais. Vrios mapas indicativos dessa variao so produzidos que tornam clara a
utilidade da anlise da fisionomia florestal na escala de paisagem para validar estudos que
visam localizar parcelas especficas de espcies amaznicas. A FIG. 5.8 ilustra um desses
mapas de fisionomia vegetal para a regio de Manaus (uma das 45 reas estudadas).

93
Fonte: Anderson et al., 2008

FIGURA 5.8 Parcelas (plots) na regio de Manaus.

O trabalho de Liana Anderson (2009) alimenta a rede RAINFOR com resultados sobre
a representatividade da disposio espacial de parcelas, para os contextos de paisagem que
representam; que prejuzos na disposio espacial podem influenciar os valores mdios de
vrios parmetros biofsicos importantes da floresta.
Muitos trabalhos divulgados em Simpsios e Congressos apontam para a importncia
de certos parmetros relativos ao uso de solos, vegetao entre outros, para orientar a tomada
de deciso em aes de proteo e manejo ambiental. Apenas sob o tema erodibilidade e
perda de solo, possvel citar vrios trabalhos divulgados em Simpsios tais como: Carvalho
et al. (2010); Paiva et al. (2010), Amorim et al. (2009) e (Cndido et al., 2009). Para ilustrar
considere o trabalho de Cndido et al. (2009), que resulta em um mapeamento do potencial de
eroso dos solos da bacia hidrogrfica do Rio Manso, abrangendo sete municpios no estado
de Mato Grosso,

94
Para estimar o potencial de eroso de um tipo de solos comumente utilizada a
Equao Universal de Perdas de Solo (USLE Universal Soil Loss Equation), ou EUPS,
elaborada por Wischmeier e Smith (1978), que pode ser expressa como em (5.1).
A= R x K x LS x CP ;
Onde,
Perda de solo (massa / rea/ tempo);

(5.1)

 Fator relativo erosividade das chuvas;

Fator de erodibilidade do solo;
W Fator topogrfico;

Fator de uso/manejo do solo;

 Fator de prticas conservacionistas

O Fator , de erosividade da chuva calculado atravs frmula , Z


 / &, , onde indica o ndice erosivo,
a precipitao mdia mensal e , a

precipitao mdia anual. O Fator de erodibilidade do solo foi obtido atravs da carta de
solos e outros dados pedolgicos.

O Fator topogrfico W, de cada local, compreende o comprimento da vertente e

gradiente de declividade ,. Tais parmetros podem ser calculados atravs de operaes de

vizinhana em LEGAL. Com base na declividade, orientao de vertentes e uma imagem
SRTM que fornece dados de elevao, para gerar um mapa de comprimento de vertentes, o
LEGAL usado para implementar a equao /34; ,,onde indica a altura de rampa
e

, ,a

declividade.

Finalmente,

mapa

W

gerado,

partir

da

frmula

W &, &&\. &,[ . ,, onde indica a declividade mdia, percentual; e , o

comprimento de rampa do terreno.
O Fator de uso/manejo do solo e prticas conservacionistas obtido atravs da
classificao de uma imagem Landsat7 ETM+; o mapa temtico resultante ento ponderado

95
usando LEGAL atribuindo-se valor de 0,5 para as classes de uso agrcola e 1 para as demais
nele representadas.
Em Pereira et al. (2005), se desenvolve um mtodo para classificao da cobertura
vegetal do Cerrado quanto susceptibilidade ao fogo, a partir de imagens quinzenais de
ndice de Vegetao de Diferena Normalizada (IVDN) e imagens na faixa radiomtrica do
infravermelho termal, gerados sensor AVHRR (Advanced Very High Resolution
Radiometer) disponibilizado pela NOAA (National Oceanographic and Atmosphere
Agency).
Por meio de um algoritmo estruturado com a ajuda da linguagem LEGAL, algumas
regras foram especificadas como Ilustra a TAB. 5.3, Sete classes de cobertura vegetal foram
destacadas nos mosaicos com diferentes graus de susceptibilidade ao fogo, variando entre
muito baixo, baixo, mdio e alto.
TABELA 5.3 Critrios para definio de classes de suscetibilidade
Critrios
1
2
3
4
5
6
7

Canal 3
Gc 110
65  Gc
 140
Gc 65
Gc 45

IVDN
bGc 0,22
bGc 0,20
"0,06  bGc
 0,24
"0,06  bGc
 0,24

IVDN-max

Outros

Classe
agua-nuvem
verde
cerrado 1
cerrado 2

bGc 0,40

Gc " Gc 0,40

queimada_ant

cultura
queimada
queimada ant

Com o objetivo de confirmar a acercea do modelo, foi estudada a incidncia de focos

reais de queimada, detectados por imagens AVHRR (canal 12, termal), em cada classe. Tais
ocorrncias foram registradas, como pontos em mapas do modelo Cadastral do SIG Spring,
que consistem de representaes vetoriais de feies, no caso pontuais, indicativas da
localizao exata de cada ocorrncia.

96
Muito da funcionalidade em LEGAL surgiu para satisfazer demandas de usurios,
desde que se enquadrasse em uma abordagem algbrica. Em (Pereira et al., 2005) o uso de
feies representadas vetorialmente em LEGAL existia como uma forma de selecionar
conjuntos de locais contidos nessas (ou que interceptassem) feies. O problema aqui se
inverte, cada local como uma regio, usada para selecionar pontos representados
vetorialmente. As funes zonais implementadas foram ento estendidas para permitir uma
conceituao mais flexvel para a modelagem espacial, sem acrscimo de novos termos em
sua sintaxe original. A FIG. 5.9 ilustra a situao, nela, locais so como celas que iro
assumir valores dependentes de estatsticas bsicas sobre a ocorrncia de pontos em seus
interiores. Numa segunda etapa, esses valores so integrados por classe temtica, atravs de
operaes zonais convencionais.

FIGURA 5.9 Contagem de focos de queimada por local.

Como concluso Pereira et al. (2005), confirmam a premissa inicial de sua pesquisa,
de modo que reas com susceptibilidade mais elevada, mdia e alta, apresentaram maior
incidncia de focos, o que foi interpretado como efeito de maior disponibilidade de
combustvel vegetal. Dos 11.190 focos de queimadas detectados, 73% ocorreram nas classes

97
de susceptibilidade alta e mdia, indicando resultados satisfatrios no desenvolvimento
preliminar desse mtodo.
Vale ainda observar na TAB. 5.3 a formao de conceitos, apontada anteriormente
nesta seo, envolvida na definio de classes temticas que iro constituir o contra-domnio
de novos mapas. Embora essencialmente qualitativos esses valores derivam de regras
envolvendo relaes de ordem quantitativa sbre valores de pixels em imagens.

98

6 Perspectivas Futuras da LEGAL.

Segundo Burrough (1998), mtodos para a modelagem de sistemas abertos, que

incorporem a dinmica espacial e temporal dos fenmenos, constituem a principal demanda
para o estudo e simulao de processos ambientais dinmicos de forma rpida e eficiente. Na
rea de Ecologia da Paisagem, Wagner e Fortin (2005), aponta que o futuro dos estudos em
ecologia da paisagem, por exemplo, depende de aperfeioamentos na representao e
quantificao de estruturas da paisagem, atravs do espao e tempo, numa abordagem multiescalar. A resposta das espcies a fatores tais como: a heterogeneidade de habitat, padres
espaciais (caminhos, corredores e matrizes, entre outros), ao clima e s mudanas da
paisagem, essencial para orientar aes voltadas para conservao da biodiversidade. H
uma mudana de paradigma ecolgico, de um sistema estvel e fechado, sem a perspectiva da
interferncia humana, para um sistema complexo, instvel e aberto, no qual o homem faz um
papel importante.
As mudanas de padro de uso da superfcie da Terra sugerem alta complexidade
quanto s regras que as governam. Entretanto, ao comparar o estudo dessas mudanas com
um jogo de xadrez, em que se procura descobrir as regras a partir de instancias consecutivas
de uma partida, Tobler (1979) reflete o entusiasmo cientifico da poca com as teorias
emergentes como Autmatos Celulares (AC), e as novas maneiras de colocar questes
cientficas que apontavam. Levantando questes sobre a possibilidade de estabelecer, com
base e um estado inicial e um conjunto de regras, um caminho para um estado desejado, ou
ainda, que mudanas devem ser feitas nas regras para que isso acontea.

99
Muitas dessas questes foram inspiradas em um intrigante jogo, chamado Vida
(Gardner, 1970), inventado pelo matemtico John Conway da Universidade de Princeton por
volta de 1970. O jogo consiste de atribuir estados (cheio e vazio) s celas de um espao
celular, em funo do estado atual da cada cela e dos estados das oito celas de sua vizinhana
imediata. A partir de uma configurao inicial, um padro vai se modificando com o tempo,
movimentando-se das mais variadas maneiras. s vezes algum padro se repete
periodicamente, outras vezes todas as celas tornam-se vazias. Em alguns caso pode-se provar
que uma configurao jamais poderia ser obtida a partir de outra e assim por diante. Uma
implementao usando a linguagem LEGAL apresentada como exemplo no Apndice-B
deste documento.
Em um artigo intitulado Cellular geography Waldo Tobler, (1979) formaliza vrios
resultados de sua pesquisa nos anos 1970. No havia dvida de que o espao visto como um
arranjo matricial de celas, indexadas como na lgebra das matrizes, trazia notveis
simplificaes e a incorporao de muitos princpios matemticos formais anlise da
dinmica espacial.
Com base na notao posicional N^ ' para representar uma varivel temtica como
uso de solo (urbano, rural etc) no local , ^, no tempo ', e ;, ^ para representar as

vizinhanas do local , ^., um modelo geogrficos dinmico, segundo Tobler, pode ser

caracterizado como na expresso em (6.1), onde  representa a transio relativa a um

intervalo de tempo dt.
N^ ' : ,' N^ ', ;^ 

(6.1)

As vizinhanas definem o domnio geogrfico de influncia, entretanto, seu principal

papel o de invocar o princpio de estacionaridade, no sentido que vizinhanas tm o mesmo

100
tamanho e forma. Tobler (1979) j expressava a necessidade de vizinhanas com tamanho e
forma dados em funo do local a que se aplicam, por exemplo, os vizinhos de moradores de
reas rurais costumam localizar-se a distncias bem maiores que os de reas urbanas.
Diante das inmeras questes que podem ser levantadas em um contexto com to
poucas regras, como o jogo Vida, Tobler procurou ressaltar a infinidade de questes
potenciais num contexto complexo como o da modelagem geogrfica.
A partir do final dos anos 80, essas aplicaes passaram a tomar vulto com o avano
de reas como computao grfica, fractais, caos e complexidade (Batty et al. 1997). Nos
anos 1990 surgiram muitas aplicaes prticas na rea de ocupao urbana e mudanas de uso
(Batty et al. 2000) que j incorporam dimenses ambientais, scio-econmicas e polticas,
anlise de fenmenos em diferentes escalas (White e Engelen, 1997; White et al. 1998).

6.1 Modelos Baseados no Indivduo

Os anos 2000 viram amadurecer uma importante classe de modelos, os Modelos
Baseados em Indivduos (IBM Individual Based Models) (Grimm et al., 1999, 2006) que
expem conseqncias globais de interaes locais entre membros de uma populao de
indivduos e a paisagem que constitui seu habitat. Mais voltados para preservao e manejo
ambiental, esses modelos so fundamentados no conceito de agente, que segue princpios
similares aos dos autmatos celulares. Uma diferena notvel refere-se ao modo de percorrer
o domnio espacial, que passa a ser mais especfico e focado nos indivduos e nas celas que os
situam (quando for o caso) numa paisagem. Nesse contexto, sistemas baseados em autmatos
celulares passam a constituir uma subclasse de sistemas baseados em agentes.

101
Modelos Baseados em Indivduos consistem de um ambiente no qual as interaes
ocorram e uma populao de indivduos definido em termos de seus comportamentos.
Quando a localizao espacial de indivduos levada em conta, tm-se os modelos chamados
Espacialmente Explcitos. O objetivo desses modelos o acompanhamento de mudanas nas
caractersticas de elementos de uma populao, no tempo. Indivduos podem representar, por
exemplo, plantas de uma floresta (Pommerening, 2006; Soares-Filho et al., 2002) e animais
num ecossistema (Bithell et al, 2007). A maioria desses modelos se baseia em representaes
do espao, tanto contnuo quanto discreto sob a forma de grades regulares.
Alguns mtodos tm sido propostos para amenizar problemas da modelagem
envolvendo muitos indivduos, cujas posies podem variar quase continuamente. Bithel et al.
(2006) apresentam um mtodo chamado PIC (particle in cell), baseado na associao de
listas de elementos de alguma classe adequadamente definida a celas de resoluo fixa,
adotado como suporte para atualizaes e busca. Alm disso, tal particionamento do domnio
espacial tambm define o espao celular de autmatos definidos a diferentes resolues.
Naturalmente, alguns limites fsicos, por exemplo, quanto densidade populacional de cada
cela bem como as escalas adequadas para modelagem devem ser considerados na
determinao do tamanho e outros atributos de cada cela.
Atualmente existem muitas implementaes de sistemas de simulao para modelos
baseados em indivduos, mas seu uso como ferramenta ainda bastante dificultado pela falta
de uma padronizao de conceitos que essencialmente ainda esto em formao. Esse
problema de entendimento e comunicao do conhecimento apontado em (Grimm et al.,
2006), onde os autores propem um protocolo para a descrio de caractersticas, conceitos
envolvidos e detalhes de projeto de tais sistemas.

102
consenso que se tenha tambm uma linguagem para descrever modelos dessa
natureza. Uma importante iniciativa nessa direo vem do trabalho de Fall e Fall. (2001), que
propem o SELES (Spatially Explicit Landscape Event Simulator), uma ferramenta para a
especificao em uma linguagem declarativa, de modelos de simulao de paisagem.
A ferramenta SELES utiliza diretamente um SIG como base de dados, e usa planos de
mapa como na lgebra de Tomlin (1990) em representao matricial para representar
variveis que os autores chamam de estados externos do ambiente (cobertura vegetal, tipos de
solos, elevao, declividade etc). Um plano de feies usado para registrar os efeitos de
eventos ao longo do processo. Uma srie de eventos que simulam distrbios na paisagem
pode ento ser definida, determinando-se assim a dinmica da paisagem.
Eventos so definidos por um conjunto de expresses, que incluem um conjunto de
operaes algbricas de natureza quantitativa e Booleana focadas na atualizao dinmica do
plano de feies. As operaes assim descritas governam como cada cela afetada e como
um evento se propaga para celas vizinhas. Cada cela representa um sub-modelo, com padres
que emergem pelo acumulo de comportamentos da cela. No final tem-se um ambiente em que
um usurio pode incrementalmente, incorporar efeitos como, topografia, solo e clima, para
refinar suas hipteses sobre a paisagem, inicialmente neutra (Turner et al.,1989).
Os modelos so construdos em SELES, a partir da definio de alguns eventos e de
um estado inicial da paisagem, caracterizado pelos planos que representam a estrutura da
paisagem. O incio e a propagao de algum evento de distrbio so probabilsticos,
calculados dinamicamente para cada cela. O objetivo geral da simulao ento, modelar o
efeito desses processos ao longo do tempo.
Quanto integrao com SIG, alm de um banco de dados espaciais, alguns requisitos
so apontados em (Fall et al., 2001), entre os quais uma linguagem programvel que permita

103
maior integrao dos aspectos de manipulao de eventos. Outros temas incluem a
possibilidade de modelagem em mltiplas escalas, e mltiplas resolues, de modo a permitir
mais detalhes em algumas celas ou planos que em outros.

6.2 Regies e Modelagem Orientada a Indivduos

A lgebra de Regies proposta nesta tese atravs da linguagem LEGAL, j incorpora
algumas caractersticas que apontam para o cumprimento de alguns requisitos para a
integrao de modelos baseados em agentes e SIG. A operao de interao oferece um
paradigma simples para a associao de expresses a locais. Alm disso, a viso generalizada
dos conceitos de local e vizinhana, discutida nas ltimas sees do Captulo-4, sugere uma
maneira natural de integrar dados a diferentes resolues.
Numa interao entre vizinhanas e mapas, cada local de uma vixinhana associado
a duas expresses algbricas, uma delas, de natureza Booleana, indica se aquele local
especfico deve ou no participar da operao em andamento, a outra indica o peso da
influncia daquele local diante da operao como um todo. Desse modo se acrescenta a
variabilidade na escolha tanto dos locais que compem as vizinhanas envolvidas, quanto do
peso da influncia de cada local nelas contidos, atravs de expresses algbricas.
Um cenrio hipottico para um modelo em ecologia da paisagem pode incluir: uma
extenso espacial, uma escala de interesse e um grupo alvo multi-taxonmico, incluindo
pssaros, vegetao, mamferos de pequeno e de grande porte, artrpodes e borboletas,
Obviamente cada espcie de tal grupo vai responder de uma maneira diferente s mesmas
propriedades do ambiente, e atravs de varaes de escala espacial e temporal. Tal cenrio
poderia contar com mapas para entidades da paisagem tais como: tipos de cobertura vegetal

104
(varivel CV): floresta madura (FM), floresta jovem (FJ), campos cultivados (CC),
pasto (PA), rea urbanizada (AU), e corpos de gua (AG).
Esta discusso ir concentrar-se em uma nica espcie de pssaro, que usa tanto a
floresta madura, quanto a floresta jovem como habitat, embora com diferentes preferncias.
Um fator de adequao paisagem (varivel AP) pode ser avaliado para cada indivduo num
dado instante de tempo, atravs da equao:
AP = VG ==FM ? 1
: VG ==FJ ? 0,7
: 0,3 ;

(6.2)

Um fator de proximidade de gua (varivel PA) pode tambm ser estabelecido atravs
de uma distncia mxima aceitvel a corpos de gua combinada com um decaimento
medida que a distncia aumenta. Por exemplo, uma distncia mxima de 3 km, e uma taxa de
decaimento linear comeando em 1 e estabilizando-se em 0.8 para distncias menores que
3km pode se fixado atravs da expresso:
PA =

Distncia(AG) <= 3 ?
1 0.2 * Distncia(AG) / 3 + 0,8 : 0,8 ;

(6.3)

Por ora pode-se estabelecer um fator mais amplo de adequao quanto ao habitat
atravs do produto dos fatores relativos paisagem e proximidade de gua:
AH = AP * PA ;

(6.4)

A estrutura sinttica usada para descrever as expresses em (6.2) e (6.3), conhecida

por "in-line if entre usurios de linguagens de propsito geral como C e C++, faz parte
do grupo das expresses de controle em LEGAL (ver Apndice-B). Tais expresses permitem

105
caracterizar locais atravs de uma entre duas expresses alternativas (separadas pelo smbolo
:), escolhida conforme o resultado da avaliao prvia de uma expresso Booleana (indicada
pelo smbolo ?). Pode-se ter vrias expresses condicionais encaixadas, para compor
condies mais complexas como em (6.3), ou ainda, envolvidas em outras expresses para
agrupar, por exemplo, os fatore de adequao em (6.2), (6.3) e (6.4) na expresso mais
compacta mostrada em (6.5).
AH = ( VG == FM ? 1 : LC == FJ ? 0.7 : 0.3 ) *
( Distncia(PA) <= 3 ? 1 0.2 * Distncia(AG) / 3 : 0.8 ) ;

(6.5)

A extenso do movimento dirio de cada indivduo caracteriza o conceito de

disperso, que deve variar em funo do seu posicionamento com respeito a trechos de
floresta, corpos de agua e muitos outros fatores. Diferentes habilidades de disperso devem
ser estabelecidas para interior e borda de floresta. A condio interior (varivel IN) pode ser
especificada, por exemplo, como ilustrado na FIG. 6.1, com base no grau de pertinncia s
classes FM e FJ refletido pelo fator AH na expresso em (6.6):
IN = Majority ((distance() <=3) * AH) == 1;

(6.6)

Um fator de adequao do posicionamento relativo floresta (varivel FP) pode ento

ser definido como:
FP = IN ? 1 : 0.8 ;

(6.7)

Por fim, uma taxa de disperso mxima (varivel MD) pode ser assumida para cada
indivduo em funo da adequao do habitat e do seu fator de posicionamento.
MD = AP * FP ;

(6.8)

106

FIGURA 6.1 Interao entre indivduo e paisagem.

A mobilidade de uma espcie no depende apenas da adequao de seu habitat, mas

tambm de sua resposta a fatores complexos de interao de natureza social, tais como: fase
da vida (juvenil, adulta, reprodutiva), Se o indivduo est em fase reprodutiva, fatores
populacionais, presena de predadores, entre muitos outros. Ento o modelo deve incorporar
novas capacidades de disperso para refletir, por exemplo, o fato de que a disperso
masculina deve ser maior que a feminina por um perodo de acasalamento e reproduo. A
probabilidade do acasalamento tambm ir depender de capacidade de disperso e adequao
do habitat, j que regies com fatores de adequao iro atrair mais indivduos.
Cada cela onde um pssaro esteja localizado deve corresponder a uma expresso na
linguagem, envolvendo no apenas atributos de natureza esttica, representados por mapas,
mas tambm atributos de cada indivduo, mantidos por tabelas em um SGBD. Muitos desses
atributos resultam da aplicao de regras envolvendo dados espaciais, enquanto outras podem
depender exclusivamente de atributos individuais. desejvel que a linguagem incorpore
caractersticas de linguagens de consulta a bancos de dados.
O modelo de dados do SIG Spring (Camara et al., 1996) permite representar
indivduos como pontos associados a entradas de tabelas de bancos de dados convencionais.
Atravs da linguagem LEGAL pode-se, ento, percorrer esses pontos em seqncia,
espacializando seus atributos, para que possam participar de operaes da lgebra de mapas.

107
Aps o processamento de operaes, envolvendo atributos atuais de um indivduo, entre eles
suas coordenadas, novos valores so retornados, que atualizam o estado desse indivduo no
banco de dados e sua nova localizao espacial.
possvel, portanto, organizar uma rea de estudo, a partir de diferentes
granularidades de dados, que representem, por exemplo, sumrios estatsticos e outras
medidas, como fragmentao populacional a resolues maiores, e o movimento dirio de
indivduos, a resolues menores. A FIG. 6.2 ilustra de maneira simplificada uma
estruturao semelhante:

2
3
2

Minoria(A)

female
male

Contagem(A == male)

FIGURA 6.2 Diferentes formas de sumarizao

Cada indivduo pode assim ser representado atravs da interao entre paisagem e sua
regio de influncia, definida por seu fator de disperso. Na FIG. 6.3, essa interao indica,
por exemplo, a existncia de indivduos machos no raio de disperso de uma fmea
especfica,

NW

NE
female
male

SW

SE

FIGURA 6.3 Interao entre diferentes indivduos.

108
Segue-se que a cada passo temporal de um modelo orientado para indivduos, dois
pontos de vista devem ser confrontados: um baseado em regies (celas) a diferentes
resolues e outro em regies (vizinhanas) centradas em cada indivduo. Desse modo,
estatsticas por cela podem indicar, por exemplo, o fator de crescimento populacional, em
diferentes perodos, enquanto estatsticas baseadas na disperso podem informar a presena
ou ausncia de condies favorveis ao movimento numa certa direo, ou a presena de
predadores, ou a presena de outros indivduos da mesma espcie, e muitos outros fatores.
Desse modo a reestruturao feita na linguagem LEGAL para acomodar-se aos
princpios da lgebra de regies, desenvolvida nesta tese, coloca o SIG Spring numa posio
favorvel para a absoro de novas funcionalidades voltadas para a modelagem ambiental. De
uma maneira natural, muitos modelos que aceitem uma abordagem prxima do universo
matemtico por trs do conceito e regio e interao entre regies e mapas.

109

7 Concluses e Trabalhos Futuros

Neste trabalho uma estruturao algbrica sobre mapas foi introduzida para lidar com
a caracterizao de regies genricas definidas a partir de relaes envolvendo locais e
valores a eles associados atravs de mapas. O conceito de operao no-local (zonal e focal)
tpico da maioria das implementaes da lgebra de Mapas de Tomlin (1990) deixa de ser
central nesta abordagem. At mesmo o conceito de local no muito pertinente, pois cada
local de uma rea de estudo essencialmente uma regio, definida por sua resoluo espacial.
Quando resolues diferentes esto envolvidas em operaes da lgebra de Regies, locais
podem ser identificados tanto a elementos de uma partio zonal, quanto de uma vizinhana
de raio 0 de algum local a uma resoluo mais baixa.
A estrutura algbrica se completa com a introduo da operao de interao entre
regies e mapas que permite modelar a seleo e ponderao de valores oriundos de mapas
diante de operaes de sumarizao. A introduo dessa operao de interao no interfere
nas caractersticas gramaticais da linguagem como um todo, de modo que a mesma estratgia,
baseada na teoria de Autmatos usada na interpretao, parsing e avaliao de quaisquer
expresses da linguagem.
Os princpios formais e tcnicas envolvidas no desenvolvimento deste trabalho podem
ser mapeados para diferentes modelos de dados, de modo que natural prever-se sua
incorporao tambm em outros ambientes SIG, em particular, o TerraLib (Vinhas et al.,
2002; Camara et al., 2008), que constitui uma iniciativa fortemente voltada para integrao
plena de modelagem em SIG.

110
A principal linha de trabalho futuros para a Algebra de Regies j foi apontada no
Captulo-6, e consiste de sua plena integrao como ferramenta para modelagem em reas
como Ecologia da Paisagem. As relaes formais apontadas, entre aotmatos e autmatos
celulares, acrescentam uma dimenso descritiva ao conceito de vizinhana, que possa a ser
tratado como uma varivel a mais, afastando assim limitaes normalmente impostas
complexidade de modelos. Essa capacidade combinada com modos adequados de
percorrimento do espao, iro criar condies para estender os recursos da linguagem ao
tratamento mais efetiva da modelagem baseada em individuos. Um outro aspecto desse
contexto ir permitir que todos os recursos da lgebra de Regies possam ser aplicados
sobre conjuntos especficos de locais, e consequentemente, que o conceito mais geral de
agente seja incorporado linguagem. Para isso, ser preciso ainda incorporar uma estrutura
fundamental para a modelagem baseada em individuos, que a capacidade de especificar
eventos.
Essencialmente, os mesmos princpios da teoria dos autmatos e linguagens formais,
que fundamentam a linguagem LEGAL, tambm fundamentam a o mdulo a linguagem de
consulta do SQL (Standard Query Language). A integrao consistente entre algebra de
regies e algebra relacional, portanto um dos desafios para essa linha de pesquisa, que
dever resultar em uma maneira natural de envolver mapas em um contexto relacional. Para
isso ser ainda necessrio algum esforo voltado tanto para os aspectos semnticos dessa
integrao, quanto para o aspecto da eficiencia de implementao, o que coloca alguns
importantes desafios para o futuro.
Embora no de forma conclusiva em termos de implementao a tese insere a lgebra
de Regies no contexto de linguagens para gerenciamento de bancos de dados espaciais
(Egenhofer et al., 1988). Foram discutidas de maneira sucinta, premissas topolgicas (Cohn e

111
Renz, 2007) que podem vir a facilitar a implementao de relaes topolgicas definidas
sbre representaes vetoriais, tambm para domnios matriciais (raster).
Duas outras linhas de pesquisas em na rea de Computao so tambm propiciadas
pela abordagem desta tese. Uma delas consiste de incorporar outros aspctos das teorias das
linguagens formais com o objetivo de criar uma linguagem de propsito mais geral para SIG,
mais prxima ainda de uma soluo compilada. Como essencialmente, a cada passo de
processamento, cada local esta associado a um pseudo cdigo, de maneira independente de
outros locais, sugestivo avaliar a adequao dos resultados obtidos diantes de arquiteturas
paralelas e distribudas, antevendo assim a uma extensa rea de novas aplicaes.
De maneira o mais geral possvel, o que este trabalho representa a realizao terica
e prtica de uma estrutura algbrica consistente com o conceito de mapa como funo. Podese argumentar que o resultado restrito a funes que possam ser expressas algbricamente,
entretanto existem a uma imensa classe de funes teis em anlise espacial e algumas outras
a serem exploradas. Outras estruturas algbricas podem ser tambm utilizadas em novos
desenvolvimentos seguindo os mesmos princpios fundamentados na induo estenso
einduo de relaes e operaes com base nas operaes e relaes existentes sobre outros
possveis conjuntos que possam ser vistos como contradomnios de mapas.

112

Referncias
AGUIAR, A.G.; CAMARA, G. Modeling spatial relations by generalized proximity matrices.
In: BARZILIAN SYMPOSIUM IN GEOINFORMATICS, 5.; 2003. Campos do Jordo, SP.
Proceedings So Jose dos Campos: INPE, 2003.
ALBRECHT, J.; Virtual geographic information system (VGIS). In: NUNAMAKE, J.; R.
SPRAGUE, R. GIS MINITRACK HAWAII INTERNATIONAL CONFERENCE ON
SYSTEM SCIENCES, 28.; 1995. Proceedings Los Alamitos: IEEE Computer Society
Press, 1995. v. 4, p.141-150.
ALBRECHT, J. Towards interoperable geo-information standards: a comparison of reference
models for geo-spatial information. Annals of Regional Science, v.33, n.2, p.151-169, 1999.
ALMEIDA, C.M. Modelagem da dinmica espacial como ferramenta auxiliar ao
planejamento: simulao de mudanas de uso da terra em reas urbanas para as cidades de
Bauru e Piracicaba. 2004. Tese (Doutorado em Sensoreamento Remoto) Instituto Nacional
de Pesquisas Espaciais - So Jos dos Campos.
ALMEIDA, C.M.; BATTY, M.; MONTEIRO, A.M.; CAMARA, G.; SOARES-FILHO, B.S.;
CERQUEIRA, G.C.; PENNACHIN, C.L.; GIS and remote sensing as tools for the simulation
of urban land-use change. International Journal of Remote Sensing, v. 26, n. 4, p. 20, 759
774, 2005
AMORIM, R.F.; SILVA, F.M. Modelagem do processo de vulnerabilidade e eroso do solo
utilizando o SIG Spring. In: SIMPSIO BRASILEIRO DE SENSOREAMENTO REMOTO,
5., 2009, Natal. Anais So Jos dos Campos: INPE, 2009. p. 5073-5080. ISBN: 978-85-1700044-7.
AHO, A.V.; HOPCROFT, J.E.; ULLMAN, J.P. The design and analysis of computer
algorithms. Reading: Addison-Wesley, 1974.
ANDERSON, et al. S. Influence of landscape heterogeneity on spatial patterns of wood
productivity, wood specific density and above ground biomass. Amazonia, Biogeosciences,
v. 6, p. 1883-1902, 2009.
ARBIB, M.A. Theories of abstract automata. Englewood Cliffs, NJ: Prentice-Hall, 1969,
BACKUS, N. The syntax and semantics of the proposed international algebraic language of
the Zurich ACM-GAMM.WORLD COMPUTER CONGRESS, Paris, 1959.
BANON, G. J. F. Formal introduction to digital image processing. So Jos dos Campos:
INPE, 2000. (INPE-7682-PUD/097). Disponvel em:
<http://urlib.net/dpi.inpe.br/banon/1999/06.21.09.31>. Acesso em: 11 mar. 2011.
BANON, G. J. F. New insight on digital topology. In: GOUTSIAS, John; VINCENT, Luc;
BLOOMBERG, Dan S. (Ed.). Mathematical Morphology and its Applications to Image

113
and Signal Processing. Dordrecht: Kluwer Academic, 2000. p. 139-148. The document in
this repository is the manuscript submitted to ISMM'2000 after taking into consideration the
reviewer recommendations. Disponvel em:
<http://urlib.net/dpi.inpe.br/banon/1999/11.11.19.05>. Acesso em: 11 mar. 2011.
BATTY, M. GeoComputation using cellular automata. In: OPENSHAW, S.; ABRAHART,
R. J.(Eds): Geocomputation, New York: Taylor & Francis, 5, 95-126, 2000.
BATTY, M.; COUCLELIS, H.; EICHEN, M. Urban systems as cellular automata.
Environment and Planning, B24, n.2, p.159-164, 1997.
BEAULIEU, N.; LECLERC, G.; ALVAREZ, M.; WISPELEARE, G.; JARAMILLO, J.;
RUBIANO, Y.; FAJARDO, A.; MUOZ, O.; PEUELA, N. A proposed framework for
using remote sensing imagery to monitor environmental dynamics In: support to local
planning effort. WORKSHOP ON INTEGRATED NATURAL RESOURCES
MANAGEMENT (INRM), CIAT, Cali, Colombia, 2001.
BERKA, L.M.S. Avaliao de modelo agrometeorolgico e imagens NOAA/AVHRR no
Acompanhamento e estimativa de produtividade da soja no estado do Paran. 2002. 181
f. Dissertao (Mestrado em Sensoriamento Remoto) - So Jos dos Campos, Instituto
Nacional de Pesquisas Espaciais, 2002.
BERKA, L.M.S.; RUDORFF, B.F.T.; FREITAS, R.M. Reclassificao controlada de pixels
isolados em mapas de cana-de-acar. Goinia: INPE, 2005.
BERKA, L.M.S.; RUDORFF, B.F.T. Sistema de informao geogrfica no
acompanhamento da safra de soja atravs de modelo agrometeorolgico. Goinia: INPE,
2005. p.33-40.
BERRY, J.K. Fundamental operations computer-assisted map analysis. International
Journal of Geographic Information Systems, v. 2, p.119-136, 1987a.
BERRY, J.K. A mathematical structure for analizing maps. Environmental Management,
v. 11, n.3, p.317-325, 1987b.
BERRY, J.K. Cartographic modeling: the analytical capabilities of GIS. In: GOODCHILD,
M.; OPARKS, B.; STEYAERT, L. Environmental modeling with GIS, p. 58-74, 1993.
BERRY, J.K. Map analysis: procedures and applications in GIS modeling. 2004. Available
Online: <www.innovativegis.com/basis>. 20/10/2010.
BERRY, J.K.; TOMLIN, C.D. Cartographic modeling: computer-assisted analysis of spatially
defined neighborhoods. In: CONFERENCE ON ENERGY RESOURCE MANAGEMENT,
1982, Vienna. ProceedingsVirginia: American Planning Association, 1982.
BINS, L.S.; ERTHAL, G.J.; FONSECA, L.M.S. Um mtodo de classificao supervisionada
por regies. In: SIMPSIO BRASILEIRO DE COMPUTAO GRFICA E
PROCESSAMENTO DE IMAGENS, 5., 1992, Aguas de Lindia. Anais... So Jos dos
Campos: INPE, 1992. v. 2, p. 65-68.

114
BIRKHOFF, G.; MC LANE, S. Algebra. NewYork: Mc Millan Company, 1967.
BITHELL, M.; MC MILAN, W.D. Escape from the cell: Spatially explicit modelling with
and without grids. Ecological Modelling, v. 200, p.5978, 2007.
BURROUGH, P.A.; MC DONNELL, R.A. Principles of geographical information
systems. Oxford: Oxford University Press, 1998.
CALDWELL, D.R. Extending map algebra with flag operators. In: INTERNATIONAL
CONFERENCE ON GEOCOMPUTATION, 5., 2000. Chatham, UK. Proceedings. Rio de
Janeiro: Abrahart & B.H. Carlisle, 2000.
CAMARA, G. Modelos, llnguagens e arquiteturas para bancos de dados geogrficos.
1993. Tese (Doutorado em Computao Aplicada) - Instituto Nacional de Pesquisas
Espaciais, So Jos dos Campos.
CAMARA, G.; FREITAS, U.M.; CORDEIRO, J.P. Towards an algebra of geographical
fields. In: SIMPSIO BRASILEIRO DE COMPUTAO GRFICA E PROESSAMENTO
DE IMAGENS, 7., 1994, Campinas. Anais [S.l.: s.n], 1994.
CAMARA, G.; FREITAS, U.M.; GARIDO, J.C. SPRING: integrating remote sensing and gis
with object-oriented data modeling. Computers and Graphics, v. 20, n. 3, p. 395-403, May,
1996.
CAMARA, G.; VINHAS, L.; REIS, F.K. TerraLib: an open source GIS library for large-scale
environmental and socio-economic application. In: HALL, G.B.; LEAHY, M.G. (Eds) Open
Source Approaches: spatial data handling. Berlin: Springer, 2008. p.247270,
CAMARA, G.; VALERIANO, D.M. SOARES, J.V. Metodologia para calculo da taxa
anual de desmatamento na amaznia legal, 2006. Available on-line
<www.obt.inpe.br/prodes>. 14/10/2010.
CNDIDO, A.K.A.; SANTOS, J.W.M. Mapeamento das reas com solos com alto potencial
de eroso na rea da bacia do Rio Manso MT. In: SIMPSIO DE GEOTECNOLOGIAS
NO PANTANAL, 2., 2009. Anais... [S.l]: EMBRAPA/INPE, 2009. p.747-755
CARNEIRO, T.G.C. Nested-CA: a Foundation for multiscale modeling of land use and land
change. 2003. Thesis (Doutorado em Computao Aplicada) Instituto Nacional de
Pesquisas Espaciais, So Jos dos Campos.
CAO, C.; LAM, N.S. Understanding the scale and resolution effects in remote sensing and
GIS. In: QUATTROCHI, D.A.; GOODCHILD, M.F. (Eds) Scale in remote sensing and Gis.
Boca Raton: CRC, 1997. ch. 2, 57-72,
CARVALHO, E.M.; PINTO, S.A.F, SEPE, P.M.; ROSSETTI, L.A.F. Utilizao do
geoprocessamento para avaliao de riscos de eroso do solo em uma bacia hidrogrfica:
estudo de caso da Bacia do Rio Passa Cinco SP. In: SIMPSIO BRASILEIRO DE
CINCIAS GEODSICAS E TECNOLOGIAS DA GEOINFORMAO, 3., 2010, Recife.
Anais... [S.l.: s.n], 2010.

115
CHAN, K.; WHITE, D. Map algebra: an object-oriented implementation. In:
INTERNATIONAL GEOGRAPHIC INFORMATION SYSTEMS (IGID) SYMPOSIUM
THE RESEARCH AGENDA, 2., 1987, Arlington. Proceedings [S.l.: s.n], 1987. p.127
150.
CHOMSKY, N. Three models for the description of language. IRE Transactions on
Information Theory, v. 2, p.113124, 1956.
CLARKE, B.L. A calculus of individuals based on 'connection'. Notre Dame Journal of
Formal Logic, v. 22, p. 204-18, 1981.
CLARKE, K. C.; GAYDOS, L.; HOPPEN, S. A self-modifying cellular autmaton model
of historical urbanization in the San Francisco Bay Area. Environment and Planning, B: 24,
p. 247-261, 1996.
CODD, E. F. A relational model of data for large shared data banks. Communications of the
ACM, v. 13, n. 6, p. 377-387, 1970.
COHN, A.G.; RENZ, J. Qualitative spatial representation and reasoning. In: HERMELEN, F.
van; LIFSCHITZ, V; PORTER, B.(Eds). Handbook of knowledge representation.
Amesterdan: Elsevier, 2007. p. 551-596.
COHN, A.G.; BENNETT, B.; GOODAY, J.; GOTTS, N. Qualitative spatial representation
and reasoning with the region connection calculus. Geoinformatica, n. 1, p. 1-44, 1997.
CORDEIRO, J. P.; AMARAL, S.; FREITAS, U. M.; CAMARA, G. lgebra de Campos e
suas aplicaes. In: SIMPSIO BRASILEIRO DE SENSOREAMENTO REMOTO, 8.,
1996, Salvador. Anais... So Jos dos Campos: INPE, 1996. ISBN: 85-17-00014-75.
CORDEIRO, J.P.; CAMARA, G.; FREITAS, U.M.; BARBOSA, C.C.; ALMEIDA, F.A.
Algebraic formalism over maps. In: BRAZILIAN SYMPOSIUM IN GEOINFORMATICS.
7., 2005, Campos do Jordo. Anais... So Jos dos Campos: INPE, 2005.
CORDEIRO, J.P.; CAMARA, G.; FREITAS U.M.; ALMEIDA F.A. Yet another map
algebra. Geoinformatica, v. 13, p. 183-202, 2009.
CORDEIRO, J.P.; ERTHAL, G. J. lgebra de mapas: agregaes e vizinhanas. In:
SIMPSIO BRASILEIRO DE SENSOREAMENTO REMOTO, Natal, RN, 2009. Anais...
So Jos dos Campos: INPE, 2009.
COUCLELIS, H. People manipulate object (but cultivate fields). Beyond the raster-vector
debate in GIS. In: INTERNATIONAL CONFERENCE ON THEORIES AND METHODS
OF SPATIO-TEMPORAL REASONING IN GEOGRAPHIC SPACE, Pisa, 1992.
Proceedings [S.l.: s.n], 1992.
COUCLELIS, H. From cellular automata to urban models: new principles for model
development and implementation. Environment and Planning: Planning & Design, v. 24,
p. 165-174, 1997.

116
COUCLELIS, H. Modeling frameworks, paradigms, and approaches. In: CLARKE KC,
PARKS B.E.; AND CRANE M.P. (Eds) Geographical information systems and
environmental modeling. New York: Longman & CO, 2000.
DE COLA, L. Simulating and mapping spatial complexity using multistage techniques.
International Journal of Geographical Information Systems, v. 8, p. 411-437, 1994.
DORENBECK, C.; EGENHOFER, M.F. Algebraic optimization of combined overlay
operations, Auto-Carto 10. ACSM-ASPRS ANNUAL CONVENTION, Baltimore, 1991.
v.6, p. 296-312. Technical Papers.
DRAGOSITS, U. The assessment of GIS and coupled GIS: conventional systems to model
acid deposition of sulphur dioxide. In: INTERNATIONAL CONFERENCE / WORKSHOP
ON INTEGRATING GIS AND ENVIRONMENTAL MODELING, 1996, Santa Fe.
Proceedings [S.l.: s.n], 1996.
DRAGOSITS, U.; THEOBALD, M.R.; PLACE, C.J.; AP SIMON, H.M.; SUTTON, M.A.,
The potential for spatial planning at the landscape level to mitigate the effects of atmospheric
ammonia deposition. Environmental Policy & Science, v. 9, p. 626-638, 2006.
DUARTE, V.; MARTINI, P.R.; SHIMABUKURO, Y.E.; FREITAS, R.M.; ARAI. E.
Monitoramento do desflorestamento em escala global: uma proposta baseada nos projetos
PRODES digital e DETER. In: SIMPSIO BRASILEIRO DE SENSOREAMENTO
REMOTO, 13., 2007. Curitiba. Anais... So Jos dos Campos: INPE, 2007. ISBN: 978-8517-00031-7.
ENVIRONMENTAL SYSTEMS RESEARCH INSTITUTE INC. Cell-based modeling with
GRID. Redlands, CA., 1991. Avaliable on: www.esri.com/library/whitepapers 20/11/2010
EGENHOFER, M.; FRANK, A.U. Towards a spatial query language: user interface
considerations. In: INTERNATIONAL CONFERENCE ON VERY LARGE DATA BASES,
14., 1988, Los Angeles. Proceedings [S.l.: s.n], 1996. p.124-133.
EGENHOFER, M. A formal definition of binary topological relationship. In:
INTERNATIONAL CONFERENCE ON FOUNDATIONS OF DATA
ORGANIZATIONAND ALGORITHMS, 3., 1989. Paris. Proceedings New York:
Springer-Verlag, 1989. p. 457-472 (Lecture Notes in Computer Science, 367)
EGENHOFER, M.; HERRING, J. A mathematical framework for the definition of
topological relationships. In: INTERNATIONAL SYMPOSIUM ON SPATIAL DATA
HANDLING, 4., 1990, Zurich. Proceedings [S.l.: s.n], 1990. p. 803-813
EGENHOFER, M.; HERRING, J. Categorizing binary topological relationships between
regions, lines and points in geographic databases. Orono: Department of Surveying
Engineering, University of Maine, 1991.
EGENHOFER, M. Point-set topological spatial relations. International Journal of
Geographic Information Systems, v. 5, n.2, p.161-174, 1991.

117
EGENHOFER, M. Spatial SQL: a query and presentation language. IEEE Transactions on
Knowledge and Data Engineering, v. 6, n.1, p. 86-95, 1994.
EGENHOFER, M.; CLEMETINI, E.; DI FELICE, P. Topological relations between regions
with holes. International Journal of Geographic Information Systems, v. 8, n. 2, p. 129144, 1994.
EGENHOFER, M.; BRUNS, H.T. Visual map algebra: a direct-manipulation interface for
GIS. In: WORKING CONFERENCE ON VISUAL DATA BASE SYSTEMS, 3., 1995,
Lausanne. Proceedings [S.l.]: IFIP, 1995.
FALL, A.; FALL, J. A Domain-specific language for models of landscape, dynamics.
Ecological Modelling, v. 137, p. 121, 2001.
FRANA, H. Metodologia de identificao e quantificao de reas queimadas no
cerrado com imagens AVHRR/NOAA. 2000. Tese - Instituto de Biocincias, Universidade
de So Paulo.
FRANK, A.U. Qualitative spatial reasonig: cardinal direction as an example. International
Journal of Geographical Information Systems, v.10, n. 3, p. 269-290, 1996.
FRANK, A.U. One step up the abstraction ladder: combining algebras from functional
pieces to a whole. In: FREKSA, C.; MARK, D. (Eds) Spatial information theory. New
York: Springer-Verlag, 1999. p. 95-107 (Lecture Notes in Computer Science,1661)
FRENCH, K.; XINGONG, L. Feature based cartographic modeling. International Journal
of Geographic Information Science, v. 24, n.1, p.141-164, 2010.
GAN, R.B.; WANG, J.G. Distribution-Based CFAR detectors in SAR images. Journal of
Systems, Engineering and Electronics, v. 17, n. 4, p. 717-721, 2006.
GARDNER, M. Mathematical games: the fantastic combinations of John Conways new
solitaire game Life. Scientific American, v. 223, p. 120-123, 1970.
GONZALEZ, R.C.; WINTZ, P. Digital image processing. Reading, MA: Addison-Wesley,
1987.
GOODCHILD, M. Geographical information science. International Journal of
Geographical Information Systems, v. 6, p. 31-45, 1992.
GOODCHILD, M. F. GIS and geographic research. In: PICKLES, J. (Ed) Ground truth: the
social implications of geographic information systems. New York: Guilford Press, 1994.
p.31-50.
GOODCHILD, M. Geographic information science and systems for environmental
management. Annual Review of Environment and Resources, v. 28, p. 493-519, 2003.
GOTTS, N.M; GOODAY, J.M.; COHN, A.G. A Connection based approach to commonsense topological description and reasoning. Monist, v. 79, n.1, p.5175, 1996.

118
GRIMM, V.; WYSZOMIRSKI, T.; AIKMAN, D.; UCHMANSKI, J. Individual-based
modelling and ecological theory: synthesis of a workshop. Ecological Modelling, v. 115, p.
275282, 1999.
GRIMM, V. et al. A standard protocol for describing individual-based and agent-based
models. Ecological Modelling, v. 198, p. 115128, 1999.
HELISTEN, S. et al.. Modelling seasonal dynamics in the UK ammonia emission inventory.
Water Air and Soil Pollution, Focus, Online p.1573-2940
HOPCROFT, J.E.; ULLMAN, J.D. Formal languages and their relation to Automata.
Reading: Adisson-Wesley, 2007.
HOPCROFT, J.E.; ULLMAN, J.P. Formal Languages and Their Relation to Automata.
Reading: Addison-Wesley, 1969.
HERRING, J.R. OpenGIS implementation specification for geographic information:
simple feature access Part 2: SQL option. 2006.Avaliable on:
<www.opengeospatial.org/standards> 10/11/2010.
KELLEY, J.L. General topology. New York: Springer-Verlag, 1975.
KERNIGHAN, B.; RITCHIE, D. The C programming language. Englewood Cliffs:
Prentice Hall, 1988.
KERNIGHAN, B.; RITCHIE, D. The UNIX programming environment. Englewood Cliffs:
Prentice Hall, 1984.
LEVINE, J.R.; MASON, T.; BROWN, D. Lex & Yacc. Sebastopol: ORelly & Associates,
1992.
LIMA, E.L. Elementos de topologia geral. Rio de Janeiro: Ao Livro Tcnico, 1970.
LIN, H.; HUANG, B. SQL/SDA: a query language for supporting spatial data analisys and its
web-based implementation. IEEE Transactions on Knowledge and Data Engineering v.13,
n. 4, p.671-682, 2001.
LONGLEY, P.A.; GOODCHILD, M.F.; MAGUIRE, D.J.; RHIND, D.W. Geographic
information systems and science. New York: Wiley, 2001.
LUCENA, I.; CAMARA, G.; NASCIMENTO, M, AMO: lgebra de mapas orientada por
objetos. Trabalho apresentado no GIS Brasil 98, Sagres, Curitiba, 1998.
MC LANE, S.; BIRKHOFF, G. A survey on modern algebra. New York: Mc Millan, 1965.
MARTINI, P.R. Terms of References -TOR for an extended-panamazonia project:
watching the world forest through satellite remote sensing - Brazils Proposal to F-11 Group
Meeting. Trabalho apresentado no United Nations Environmental Program International
Conference, Bali, Indonesia, 2010.

119
MENNIS, J.; VIGER, R.; TOMLIN, C.D. Cubic map algebra functions for spatio-temporal
analysis. Cartography and Geographic Information Systems, v. 30, n.1, p.17-30, 2005.
MOTA, M.; CORDEIRO, J.P.C.; VALERIANO, D.M. Using LEGAL: map algebra - as a
tool to support estimation of amazonian deforestation. In: SIMPOSIO
LATINOAMERICANO SBRE PERCEPCION REMOTA Y SISTEMAS DE
INFORMACION ESPACIAL, 11., 2004, Santiago. Proceedings [S.l.: s.n], 2004. CDROM.
MOTA, M.; SASSAGAWA, H.S.Y.; MEDEIROS, J.S. Integrao de dados ambientais
atravs de lgebra de mapas - caso de estudo: gerao da vulnerabilidade ambiental do
municipio Assis Brasil Acre. In: GIS-Brasil, 1999, Salvador. Anais [S.l.: s.n],1999.
NARDONE, M. Sobre a algebra de imagens. Sao Jose dos Campos: INPE, 1997. 43 p.
(INPE-6386-NTC/331). Disponvel em:
<http://urlib.net/dpi.inpe.br/banon/1997/07.03.18.08>. Acesso em: 11 mar. 2011.
NASCIMENTO, V.N.L.; LIMA, E.R.V.; SANTOS, C.A.G. SIG na avaliao de reas para
ocupao urbana de Joo Pessoa-PB. Ambiente Construdo, Porto Alegre, v.9, n.1, p.107123, 2009.
OGC. The OpenGIS Abstract Specification: an Object Model for Interoperable
Geoprocessing, Open GIS Consortium, Revision 1, OpenGIS Project Documennt, 96-001,
1996.
O'SULLIVAN, D. Graph-cellular autmatos: a generalised discrete urban and regional model.
Environment and Planning B: planning and design, v. 28, p. 687-705, 2001.
O'SULLIVAN, D. Exploring the structure of space: towards geocomputational theory. In:
INTERNATIONAL CONFERENCE ON GEOCOMPUTATION MARY WASHINGTON
COLLEGE, 4., 1999, Fredericksburg. Proceedings [S.l.: s.n], 1999.
PAIVA, C.F.E. et al. Estimativas das perdas de solo por eroso hdrica na bacia do rio Una
Taubat-SP com o emprego de sensoreamento remoto. In: SIMPSIO BRASILEIRO DE
SENSOREAMENTO REMOTO, 11., 2003. Belo Horizonte. Anais... So Jos dos Campos:
INPE, SP, 2003. p.1407-1414.
POMMERENING, A. Evaluating structural indices by reversing forest structural analysis.
Forest Ecology and Management, n. 224, p. 266277, 2006.
PRENZEL, B. Remote sensing based quantification of land cover and land use change for
planning. Progress in Planning, v. 61, n. 4, p. 281-299, 2004.
PULLAR, D. MapScript: a map algebra programming language incorporating neighborhood
analisys. GeoInformatica, v. 5, n. 2, p.145-163, 2001.
PULLAR, D. A Modeling framework incorporating a map algebra programming language. In:
BIENNIAL MEETING OF THE INTERNATIONAL ENVIRONMENTAL MODELING
AND SOFTWARE SOCIETY, 2002, Arlington. Proceedings[S.l.: s.n], 2002.

120
RITTER, G. X.; WILSON, J.; DAVIDSON, J. Image algebra: an overview. Computer
Vision, Graphics And Image Processing, n. 49, p. 297-331, 1990.
RODRIGUEZ, A.C.M. Sensoreamento remoto e geoprocessamento aplicados na anlise
da legislao ambiental no municpio de So Sebastio SP. 2005. Dissertao (Mestrado
em Geografia) - Universidade de So Paulo, So Paulo.
RINASIEWICZ, R. Absolute and relational theories of space and motion. Stanford
Encyclopedia of Philosophy, 2004.
RUDORFF, B.F.T. et al. Estimativa de rea plantada com cana-de-acar em municpios
do Estado de So Paulo por meio de imagens de satlites e tcnicas de
geoprocessamento: ano safra 2004/2005. So jos dos Campos: INPE, 2004.
SANTOS, M.; AMARAL, L. As normas de informao geogrfica e o raciocnio espacial
qualitativo na inferencia de informao geogrfica qualitativa. In: GEOGRAPHICAL
INFORMATION SYSTEM MEETING, 5.; 1999. Lisbon. Proceedings [S.l.: s.n], 1999.
SHAPIRO, M.; WESTERVELT, J.R. MAPCALC: an algebra for GIS and image processing.
Champaign: U.S.Army Construction Engineering Research Laboratory, 1992.
SHIMABUKURO, Y.E. et al. Deteco de reas desflorestadas em tempo real: conceitos
bsicos, desenvolvimento e aplicao do projeto, INPE Instituto Nacional de Pesquisas
Espaciais, 63p. (INPE-12288-RPQ/769/A), 2005.
SINTON, D.F. The Inherent structure of information as a constraint to analysis: mapped
thematic data as a case study. In: DUTTON, D. (Ed): Harvard papers on geographic
information systems. 6.ed. Reading: Addison-Wesley, 1978.
SILVA, M.S.D. Avaliao de aspectos da fragilidade ambiental para o ecoturismo no
entorno da represa do 29 So Carlos (SP). 2007. Dissertao (Mestrado em Engenharia
Urbana) - Universidade de So Paulo, So Carlos.
SINTON, D.F. An Introduction to IMGRID an information manipulation system for grid
cell data structures. In: HARVARD LIBRARY OF COMPUTER GRAPHICS, MAPPING
SOFTWARE AND CARTOGRAPHIC DATA BASES, Harvard University.Press,
Cambridge, MA, 1979.
SOARES-FILHO, B.S.; CERQUEIRA, G.C.; PENNACHIN, C.L. Dinmica: a stochastic
cellular automata model designed to simulate landscape dynamics in an amazonian
colonization frontier. Ecological Modelling, v. 154, p. 217235, 2002.
STEINITZ, C.; PARKER, P.; JORDAN, L. Hand drawn overlays: their history and
prospective uses. Landscape Architecture, v. 66, n. 5, p. 444-455, 1976.
SUTTON, M.A.; DRAGOSITS, U.; HELLSTEN, S.; PLACE, C.J.; DORE, A.J.; TANG,
Y.S.; VAN DIJK, N.; LOVE, L.; FOURNIER, N.; VENO, M.; WESTON, K.J.; SMITH, R.I.;
COVIE, M.; ROY, D.; HALL, J.; FOWLER, D. Ammonia emission and deposition in

121
scotland and its potential environmental impacts. The Scientific World Journal, v. 4, p. 795810, 2004.
SUTTON, M.A.; REIS, S.; BAKER, S.M.H. Atmospheric ammonia: detecting emission
changes and environmental impacts, results of an expert workshop under the convention
on long-range transboundary air pollution. [S.l.]: Springer, 2009. 464p.
TAKEYAMA, M. Geo-algebra: a mathematical approach to integrating spatial modeling and
GIS. 1996. Thesis (Department of Geography) - University of California, Santa Barbara.
TAKEYAMA, M. Building spatial models within GIS through geo-lgebra. Transactions in
GIS, v. 2, n. 3, p. 245256, 1997.
TAKEYAMA, M.; COUCLELIS, H. Map dynamics: integrating cellular automata and GIS
through Geo-lgebra. International Journal of Geographical Information Science, v. 11,
p. 73-91, 1997.
TOBLER, W. A Computer movie simulating urban growth in the Detroit region. Economic
Geography, v. 26, p. 234-240, 1970.
TOBLER, W. Cellular geography. In: GALE, S.; OLSON, G. (eds.) Philosophy in
geography. Dordrecht: D Reidel Pub., 1979. p. 379-386,
TOBLER, W. A condensed translation of a lecture: Schachbrett Modelle in der Geographie.
Presented to the Arbeitskreis fur neue Methoden in der Regionalforschung, University of
Michigan, Ann Arbor, Mi., 1975.
TOMLIN, C.D.; BERRY, J.K. A mathematical structure for cartographic modeling in
environmental analysis. In: ANNUAL SYMPOSIUM PROCEEDINGS, AMERICAN
CONGRESS ON SURVEYING MAPPING, 39., 1979. Proceedings Gaithersburg: ACSM,
1979. p. 269-284
TOMLIM, C.D. Geographic information systems and cartographic modeling. Englewood
Cliffs: Prentice Hall, 1990.
TOMLIN, C.D. Cartographic modeling. In: MAGUIRE, D.; GOODCHILD, M.F.; RHIND,
D. (Eds) Geographic information systems: principles and applications. London: Longman,
1991. p.361-374
TURNER, M.G.; GARDNER, R.H.; DALE, V.H.; ONEIL, R.V. Predicting the spread of
disturbance across heterogeneous landscapes. OIKOS, v.55, p.121-129.1989.
UNGERER, M.J. Implementation of cellular automata models in a raster GIS dynamic
modeling environment: an example using the Clarke Urban Growth Model. In: 4th
International Conference on Integrating GIS and Environmental Modeling 4., 2000, Banff.
Proceedings Boulder: NOAA, 2000.
VALERIANO, D.M. et al. Monitoring tropical forest from space: the prodes digital project.
In: CONGRESS INTERNATIONAL SOCIETY FOR PHOTOGRAMMETRY AND

122
REMOTE SENSING, 2004. Proceedings Istambul: ISPRS, 2004. v. 34, B, commission-7,
p.272 ff.
VINHAS, L.; FERREIRA, K.R.Q.; CAMARA, G.; PAIVA, J.A.C. Programao genrica
aplicada a algoritmos geogrficos. In: BRAZILIAN SYMPOSIUM ON
GEOINFORMATICS GEOINFO, 4., 2002, Caxambu. Anais So Jos dos Campos:
INPE, 2002.
WAGNER, H.H.; FRONTIN, M.J. Spatial analysis of landscape: concepts and statistics,
Ecology, v. 86, n. 8, p.1975-1987, 2005.
WESSELING, C.G.; KARSSENBERG, D.J.; BURROUGH, P.A.; VAN DEURSEN, W.P.A.
Integrating dynamic environmental models in gis: the development of a dynamic modelling
language. Transactions in GIS, v. 1, p. 40-48, 1996.
WHITE, R.; ENGELEN, G. High resolution integrated modelling of spatial dynamics of
urban and regional systems. Computers, Environment, and Urban Systems, 2000. Ch. 24,
383-300.
WHITE, R.; ENGELEN, G. Cellular automata and fractal urban form: a cellular modeling
approach to the evolution of urban land-use patterns. Environment and Planning, A: 25, p.
1175-1199, 1993.
WHITE, R.; ENGELEN, G. Cellular dynamics and GIS: modeling spatial complexity.
Geographical Systems, v. 1, p. 237-253, 1994.

123

Apndice A lgebra de Mapas de Tomlin

A linguagem MAP (Map Analysis Package), proposta em (Tomlin, 1990)

composta de dois elementos sintticos maiores, as sentenas e os procedimentos. Uma
sentena representa uma operao que resulta em um novo mapa a partir de mapas
existentes. Um procedimento corresponde a uma seqncia de sentenas que caracteriza
algum conceito ou fenmeno de interesse e implica na gerao de uma seqncia de mapas,
sendo que alguns representam resultados intermedirios, e descartveis.
Uma sentena compreende um nome de funo e uma srie de argumentos, que iro
formar o sujeito, modificadores e complementos da sentena. O sujeito refere-se a um plano
que ser sempre gerado como resultado de uma funo; os modificadores correspondem s
preposies, advrbios, adjetivos, substantivos objetos diretos e indiretos, isto , os dados e
opes de processamento. Cada sentena submetida para processamento atravs de uma
interface que permite a entrada de linhas de comando, como em uma calculadora, ou de
scripts envolvendo vrias sentenas, interpretadas e executados em seqncia.

A.1 Funes da lgebra de Mapas

As funes envolvidas em Modelagem Cartogrfica caracterizam cada local de um
plano resultante em termos: do mesmo local no mesmo ou em mais planos; de locais vizinhos
em um mesmo plano, ou ainda de locais definidos por zonas definidas por um certo plano. A
primeira classe a das funes locais, que envolvem posies geogrficas coincidentes, a

124
segunda a das funes focais ou de vizinhana,, envolvendo posies geogrficos que se
relacionam espacialmente e a terceira a das funes zonais,, que envolve posies
geogrficos relacionados tematicamente.

As prximas sesses se baseiam em alguns exemplos extrados do livro de Tomlin

(1990). Os dados usados cobrem uma rea conhecida por Brownss Pond e so distribudos
junto ao programa que implementa funes apresentadas no livro. A FIG. 1 ilustra alguns dos
planos do conjunto de dados bsico disponvel, a saber: Water, Vegetation,
Vegetation Development e
Altitude.

FIGURA 1 - Base de dados para a regio de Brownss Pond.

Pond

O plano de altitudes abrange

abrange uma faixa entre 229 a 352m, os outros so nominais, com
as seguintes classes dadas pela associao de nmeros inteiros a legendas, como na
n TAB. 1.
TABELA 1 - Legendas associadas a alguns planos de mapa da rea de Browns
Brown Pond.

125
Water

Vegetation

Development

0 DryLand
1 Streams
2 Wetlands
3 Ponds

0 OpenLands
1 HardWoods
2 SoftWoods
3 MixedWoods

0 VacantLand
1 MajorRoads
2 MinorRoads
3 Houses
4 PublicBuildings
5 Cemeteries

A.2 Funes Locais

A classe das funes locais permite caracterizar cada local de um plano resultante, por
um valor dado em funo do(s) valor(es) associado(s) mesmo local em um ou mais planos,
segundo algum critrio que pode ser genrico (rating), ou baseado na combinao ou
aplicao de funes matemticas e estatsticas sbre valores oriundos de diferentes planos.
Um procedimento, que serve tambm para ilustrar o processo de formao de
conceitos sugerido pela linguagem MAP, descrito em (1). Aqui, alguns operadores
aritmticos locais, envolvendo um plano (altitudes), so usados para caracterizar os locais do
plano de faixas de altitude (contouring). Cada zona resultante ser representada por um valor
entre 0 e 9, determinado pelo ltimo dgito dos valores de altitude (inteiros) encontrados no
plano original. Vale observar que o mesmo resultado pode ser obtido, por exemplo usando a
linguagem objeto deste trabalho, a partir do operador de diviso modulo-n que determina o
resto da diviso de qualquer nmero inteiro por um certo valor inteiro n.

126
contouring = LocalRatio of Altitude and 10
contouring = LocalProduct of Contouring and 10
contouring = LocalDifference of Altitude and Contouring

(1)

FIGURA 2 Caracterizao de faixas de altitude.

Algumas funes locais implementam estatsticas

estatsticas bsicas, tais como, maioria,
mximo, mnimo e mdia, sbre conjuntos de valores associados ao mesmo local atravs de
diferentes planos. O procedimento em (2) ilustra o uso da funo LocalMaximum para a
gerao do plano (badsites),
), cujos locais representam
representam restries de declividade e ocupao. A
funo
o corresponde, essencialmente, ao operador OU lgico disponvel na maioria dos SIG.

BadSites = LocalMaximum of TooSteep and Occupied

(2)

FIGURA 3 - Graus de adequao dados em funo da declividade de cada local.

127
A sensibilidade de cada funo, quanto natureza quantitativa ou qualitativa de cada
plano ainda um tema considerado na abordagem de Tomlin, embora no haja restrio
sinttica para a descrio de sentenas. A linguagem no tipada, no sentido de que valores
numricos so usados para representar qualquer tipo de dado, independente de sua natureza
quantitativa ou no.

A.3 Funes Focais

A classe de funes de vizinhana (ou focais) pode ser subdividida na classe das
funes de vizinhana imediata e das que dependem de valores em uma vizinhana estendida.
No primeiro grupo, destacam-se as funes incrementais que lidam com vizinhanas
imediatas de cada local, aplicadas a planos que representam a interao entre feies lineais e
reais e justificam uma abordagem prpria em funo do modo como utilizam as noes de
distncia e direo.

A.3.1 Funes de Vizinhana Imediata

A premissa bsica aqui a de que cada local pode estar cercado por at oito locais
vizinhos adjacentes. A noo de distncia e direo aqui dada de forma implcita e tais
propriedades so combinadas na caracterizao de locais. Muitas funes locais, tais como:
FocalMajority, FocalMaximum, FocalProduct, FocalSum, FocalMean, FocalPercentage e
FocalPercentile, entre outras, podem ser estendidas a partir de suas verses locais.

128
Funes como FocalPercentage e FocalMajority,, independem da natureza
quantitativa ou no do dado representado e determinam para cada local, o percentual de locais
vizinhos que compartilham o mesmo
mesmo valor associado ao foco da vizinhana. Entretanto,
funes como FocalPercentile,
FocalPercentile, que indica o percentual de locais vizinhos associados a
valores menores ou iguais ao valor associado ao foco, se aplicam a dados quantitativos. A
sentena em (3)
3) descreve a situao ilustrada pela FIG. 4.

HowProminent = FocalPercentile of Altitude

(3)

FIGURA 4 - O quanto cada local se destaca dentro de sua vizinhana imediata,3x3.

imediata

A.3.2 Funes Incrementais

Esta subclasse das funes focais de vizinhana imediata explora
explora as relaes de
distncia e direo de uma forma que permite abordar aspectos geomtricos de formas e
tamanhos de condies cartogrficas lineares, reais ou superficiais.
A expresso em (4), e a FIG. 5,, por exemplo, ilustram o uso das funes
IncrementalAspect, para caracterizar a forma de uma superfcie na
IncrementalGradient e IncrementalAspect,

129
vizinhana imediata de cada local em termos do gradiente e do aspecto da superfcie
representada por um plano altitudes.
Slope = IncrementalGradient of Altitude
Aspect = IncrementalAspect of Altitude
Aspect = LocalRating of Aspect with 0 for 0 ... 89
with 1 for 90 ...179 with 2 for 180 ... 269 with 3 for 270 ... 359

(4)

FIGURA 5 - Declividade e aspecto em Browns Pond dados por faixas de valores.

valores

A.3.3 Funes de Vizinhana

Viz
Estendida
Correspondem a um conceito mais geral de vizinhana considerado a partir de uma
noo de distncia, ou direo relativa a um eixo ou conjunto de locais, tomados como
referncia.
Todas as funes
es focais de vizinhana imediata podem ser estendidas
estendidas de uma maneira
natural, atravs da introduo dos parmetros: distncia e direo.. Por exemplo, a funo
FocalSum pode ser usada para caracterizar cada local em funo do total de locais associados
classe houses no plano development, numa vizinhana
nhana de at 200 metros.

130
HomeDensity = FocalSum of Housing at ... 200

(5)

FIGURA 6 - Densidade
ensidade de construes numa vizinhana de 200 m de cada local.
local

Distncia e direo podem ser combinadas, por exemplo, em (5)

5) a maior classe de
development que ocorra a uma distncia de at 500 metros, num setor angular de 145 graus
desde a direo norte, registrada, para cada local, como ilustra a FIG. 7.
7

NorthWestDevelopment = FocalMaximum of Development

at ... 5000 by 0 ... 145

(5)

FIGURA 7 - Tipos de construo Maximo que ocorre a at 5000 metros e numa direo
NW.

131
Outro exemplo, usando a funo de vizinhana estendida, FocalNeighbor usa o o plano
EachPond para caracterizar cada local do plano resultante, por uma classe que identifique o
lago mais prximo daquele local.

NearestPond = FocalNeighbor of EachPond at ...

(6)

FIGURA 8 - Qual lagoa da regio mais prxima de cada local da rea de estudo?

A.3.4 Funes Focais de Propagao

A lgebra de mapas tambm modela o conceito de proximidade
proximidade relacionado ao
movimento e custo, com base em uma noo de distncia avaliada como conseqencia do
movimento. Tais situaes impem diferentes mtricas no-euclidianas
euclidianas sbre o plano
cartogrfico, sob as quais, a distncia mnima (ou custo) entre dois
dois locais deve levar em conta
os obstculos a serem contornados, no sentido de que a velocidade do movimento pode
variar.
Os fenmenos relativos propagao de ondas na superfcie de um corpo de gua,
como a difrao e a refrao constituem a analogia natural para caracterizar fenmenos de
propagao em geral. Em ambos os casos padres de frentes de onda que caracterizam

132
claramente zonas de igual custo, energia ou tempo de acesso podem ser determinados. Nesse
caso, alguns planos extra cumprem papeis especficos,
esp
tais como um plano de frico usado
como parmetro para indicar o custo incremental de percorrer cada local, como um fator de
impedncia. O custo de uma ligao entre um local e os seus vizinhos calculado pela mdia
ponderada pelos valores do plano
plano de frico, referentes ao acesso a cada um deles.

A.4 Funes Zonais

O resultado de uma funo zonal consiste de um plano, cujos locais esto associados a
valores que sumarizam conjuntos de valores associados a locais de algum outro plano,
contidos em zonas dadas por um terceiro plano. So medidas estatsticas de definio anloga
s usadas para funes locais e focais. Todas as funes comutativas e as que independem de
qualquer ordenao de locais, vistas anteriormente podem ser estendidas ao caso zonal, tais
como: ZonalMajority, ZonalMaximum,
ZonalMaximum ZonalProduct e ZonalSum,, entre outras.
homesperblock = ZonalSum of housing within eachblock

FIGURA 9 - Aqui a quantidade de construes por bloco avaliada.

avaliada

(7)

133
A sentena em (7) e a FIG. 9 ilustram a gerao
erao de um plano (homeperblock)
(
que
representa a contagem de casas representadas no plano housing,
housing partir do plano
development,, que ocorrem em zonas dadas pelo plano eachblock
Novas operaes podem ser definidas atravs de procedimentos envolvendo funes
de outros os tipos. Para ilustrar, considere um plano com as distncias
distncia de cada local a um
certo objeto, e o objetivo de caracterizar a noo de maior ou menor proximidade a tal objeto,
restrita a zonas de um outro plano. Para isso basta determinar valores
valores de distncia mnima por
zona e usar esses valores como referncia para um novo mapeamento de distncias relativas
agora ao mnimo de cada zona. A FIG. 10 ilustra essa operao, que pode ser definida por um
procedimento tal como:
Highest
Lowest
Range
Interval

= ZonalMaximum of FirstLayer
= ZonalMinimum of FirstLayer
= LocalDifference of Highest and Lowest
= LocalRatio of Range and 100

HowHight

= LocalDifference of FirstLayer and Lowest

NewLayer

= LocalRatio of HowHigh and Interval

FIGURA 10 : Procedimento combinando distncia absoluta e relativa

(7)

134

A.5 Algumas Limitaes

A riqueza da lgebra de Mapas de Tomlin resulta da extensa classe de modelos que
integra, atravs de uma linguagem com regras sintticas simples, que iro permitir a
expresso no ambgua de inmeros modelos cartogrficos. A taxonomia funcional resultante,
disponvel em muitos SIGs, entretanto, oferece limitado suporte como ferramenta de
modelagem ambiental e dinmica, porque estas so reas fortemente fundamentadas em
modelos matemticos. Os critrios envolvidos na caracterizao de zonas e vizinhanas
poderiam ser mais complexos e flexveis, se expressos atravs de relaes definidas de
maneira mais explcita sbre dados de um modelo.
Para ilustrar alguns problemas que podem ser contornados a partir da abordagem
adotada nesta tese, considere a seguinte expresso extrada de (Tomin,1990):
windexposure = localrating of Altitude and Vegetao
with 0 for 290 ... on 0
with 1 for 290 ... on 1 ... 3
with 2 for ... 289 on 0 1 3
with 3 for ... 289 on 2

(8)

Essa expresso corresponde a uma operao que ir resultar em um plano (varivel

windexposure) que associa um nmero inteiro de 0 a 3, a cada local de uma rea de estudo,
segundo um critrio baseado em valores oriundos de dois planos representados pelas
variveis: Altitude e Vegetao. A primeira regra em (8) associa o valor 0 a cada local com
altitude maior que 290m e tipo de vegetao classificado como 0 (OpenLands). A segunda
regra combina altitudes maiores que 290m e tipos de vegetao entre 1 e 3 (HardWoods,
SoftWoods e MixedWoods). A terceira regra associa o valor 2 combinao de altitudes
menores que 290m e todos os tipos de vegetao exceto o tipo 2 (SoftWoods). Finalmente,

135
uma altitude menor que 290m, quando combinada com o tipo de vegetao 2, ir
caracterizar locais que sero representados no plano resultante pelo valor 2.
O uso de nmeros para representar tambm os dados nominais impe limitaes na
expressividade semntica da linguagem. Por exemplo, o uso de ... para indicar variao
explora uma propriedade quantitativa dos ndices associados aos tipos de vegetao, embora
os valores propriamente representados no so dados de natureza quantitativa. Alem disso,
no fica claro se os valores associados varivel windexposure em (8) representam dados
quantitativos ou apenas ndices para legendas cujos significados podem ou no ter sido
estabelecidos, a priori. Tudo ir depender do papel a ser exercido pela varivel windexposure
num prximo passo do modelo.
No intuito de ser amigvel, a linguagem MAP deixa de explorar explicitamente as
relaes de ordem e igualdade sobre valores representados em planos. A mesma varivel
windexposure em (8) poderia ser descrita em LEGAL pela seguinte expresso:
windexposure =
0 : Altitude >= 290 AND Vegetation == 0,
1 : Altitude >= 290 AND 1 <= Vegetation <= 3,
2 : Altitude < 290 AND (Vegetation == 0 OR Vegetation == 1 OR Vegetation == 3),
3 : Altitude < 290 AND Vegetation == 2;

Em resumo, a lgebra de Tomlin (1990) modela a formao de novos conceitos a

partir da combinao de conceitos previamente representados. Por exemplo, a sobreposio de
um plano de tipos de solo e um de tipos de cobertura vegetal, implica numa nova partio da
rea de estudo, na qual os valores associados a cada nova zona representam combinaes de
classes desses domnios. Num primeiro momento, as zonas assim definidas so identificadas a

136
nmeros inteiros, como em um processo de contagem, cujos significados podem ser
atribudos, a posteriori, a partir de legendas.

137

Apndice B A Linguagem LEGAL (revisada)

A Linguagem Espacial de Geoprocessamento Algbrico (LEGAL) uma

implementao de lgebra de Mapas para o ambiente SIG Spring (www.dpi.inpe.br/spring).
Os dados manipulados pela linguagem so portanto, instncias de classes implementadas
segundo o modelo de dados desse ambiente, fundamentado em duas classes abstratas: campos
e objetos (Camara et al., 1996). partir da, so derivados os modelos: (a) Temtico, que
agrupa os mapas que tm classes temticas como contradomnio; (b) Numrico constitudos
de grades regulares cujas celas esto associadas a valores numricos; (c) Imagem, com
caractersticas similares s grades, mas que armazenam nmeros inteiros; (d) Objeto, para
representar entidades espaciais e seus atributos, sob a forma de tabelas de um banco de dados;
e (e) Cadastral, que agrupa mapas que representam espacialmente, os atributos de objetos.
Em uma lgebra de mapas, operaes podem ser descritas segundo expresses
similares s utilizadas na matemtica para a descrio de operaes tais como: aritmticas e
booleanas, exeto pelo fato de envolverem representaes de dados espaciais ao invs de
valores unidimensionais. As expresses so a contraparte descritiva das operaes algbricas
que iro caracterizar locais, em funo de outros valores associados ao mesmo local, ou a
locais de alguma regio identificvel da rea de estudo. Essa estruturao algbrica envolve
famlias de conjuntos de locais, as regies, que recobrem uma rea de estudo, ora por
parties zonais, ora por famlias de vizinhanas de cada local.
Regies so especificadas atravs de critrios de natureza Booleana, ou atravs de
relaes de proximidade baseada em noes de distncia e direo, ou ainda, atravs de listas
explcitas de coordenadas relativas a cada local tomado como foco de uma vizinhana.

138
A coerncia entre modelo de dados e operadores considerada na interpretao e
parsing de sentenas da linguagem, garantindo contrle sinttico na definio de modelos
espaciais. Mensagens de rro ajudam o usurio na construo de uma sequncia de sentenas
organizadas segundo regras gramaticais, envolvendo operadores, funes e dados espaciais,
categorizados segundo o modelo de dados Spring, e representados em planos de informao.
Os planos das categorias Numrico e Imagem correspondem a representaes em formato
matricial. A maioria dos operadores sbre planos do modelo Temtico tambm faz uso de
representaes matriciais. Dados do modelo Cadastral representam atributos de tabelas de
bancos de dados do modelo Objeto e fazem uso de representaes no formato vetorial.

B.1 Descrio Sinttica

Cada sentena em Legal pode envolver smbolos (por exemplo, {, (, ;, ,); operadores
(por exemplo, +, *, &&, || , <, <=, !=); palavras reservadas (Novo, Temtico,
Nome, ResX, Atribua etc); nomes de variveis (solos, veg, altitudes, ivdn etc); nomes de tens
de um banco de dados Spring (planos de informao, mapas cadastrais, categorias, classes
temticas, atributos etc). A descrio de sentenas, a partir de regras sintticas indica os
possveis caminhos para compor sentenas vlidas em LEGAL.
As descries sintticas apresentadas neste texto para a linguagem LEGAL revisada,
constituem uma meta-linguagem para a especificap no ambgua e formal de especificar
Gramtica Livre de Contexto, conhecida como Forma Normal de Backus-Naur (BNF).
Em BNF, cada regra gramatical identificada por um nome de item, seguido do
smbolo ::= e de uma lista de regras alternativas separadas pelo smbolo |. Cada regra pode
envolver novos itens sintticos, inclusive o prprio item, o que indica seu uso de forma

139
recursiva, para compor sentenas mais complexas. Smbolos entre parnteses angulares (<,
>) referem-se a itens no terminais da gramtica, caso contrrio, os smbolos correspondem
a itens terminais.

B.2 Estrutura de um Programa

Um programa em LEGAL, como especificado em (1), constitudo de uma lista de
sentenas que descreve um procedimento qualquer, isto , um conjunto de aes sbre dados,
que faa sentido no contexto de alguma disciplina de Sistemas de Informao Geogrfica.
Programa ::=

(1)

{ <lista_de_sentenas> }
<lista_de_sentenas> ::=
<sentena>
|
<lista_de_sentenas> <sentena>

Desse modo, o item programa especificado em (1) indica que um programa em LEGAL
consiste do smbolo '{', seguido uma lista de sentenas, encerrando-se com o smbolo }'.
Cada sentena pode constituir uma: declarao, uma instanciao ou uma operao, e deve
sempre ser terminada pelo smbolo ';', segundo a sintaxe dada por:
sentena ::=
<declarao> ;
<instanciao> ;
<operao> ;

(2)
|
|

As declaraes definem variveis que sero associadas aos dados fornecidos ou

produzidos num programa. Nas instanciaes, variveis so associadas a planos de
informao, objetos e mapas cadastrais que compem o modelo de dados no Spring.

140
Finalmente, as operaes,, referem-se
se atribuio de resultados a variveis
va
previamente
declaradas e instanciadas.
ciadas. Existem ainda operaes que lidam com o contrle do fluxo de
processamento, permitindo assim a modelagem de situaes que envolvem a execuo,
alternativa, condicional, ou repetitiva de sequencias
seque
de operaes.

B.2.1 Interface e Uso

Para ilustrar a construo de um programa completo, ser considerado o calculo de
ndices de vegetao associados a cada local de uma rea de estudo. A expresso matemtica
desse clculo, a partir de imagens representando
representa
as respostas radiomtricas de cada local na
superfcie da Terra, nas freqncias do vermelho e do infra-vermellho
infra vermellho prximo pode ser
expressa como:
ivdn = (nir red) (nir red).

(3)

O Objetivo agora ilustrar as preocupaes tpicas ao representar uma expresso

como em (3)
3) usando a linguagem LEGAL. O ambiente Spring oferece uma interface para
edio e submisso de arquivos contendo programas, como ilustra a FIG. 11.

FIGURA 1 - Interface para mdulo LEGAL no ambiente SIG Spring.

Spring

141
Primeiramente ser preciso declarar algumas variveis para representar, cada uma das
imagens envolvidas (dados de entrada), e para representar a grade resultante (dado de sada).
, portanto necessrio definir trs variveis, por exemplo: red, nir e ivdn. As duas primeiras
sero associadas a uma categoria do modelo Imagem, de nome "LandsatTM", enquanto a
terceira ser associada a uma categoria do modelo Digital, adequado para a representao de
grades regulares, de nome, "Indices". Desse modo chega-se s declaraes:
Imagem nir, red (Landsat_TM);
Numerico ivdn (Indices);

(4)

preciso em seguida instanciar as variveis, isto , associ-las a planos de informao

contendo as representaes a serem efetivamente envolvidas em operaes. As variveis nir e
red so ento associadas a planos de informao, de nomes "TM3" e "TM4", atravs do
operador Recupere, e a varivel ivdn, atravs do operador Novo, a um plano de nome
"IVDN", que ser criado para armazenar o resultado da operao. Chega-se assim s
instanciaes:
nir = Recupere (Nome = "TM3" );
red = Recupere (Nome = "TM4" );
ivdn = Novo (Nome = "IVDN", ResX = 30, ResY = 30 )

(5)

Finalmente, definida a operao, de atribuio de valores resultantes da avaliao de uma

expresso aritmtica envolvendo as variveis nir e red, varivel ivdn. Isto envolve descrever
com base em regras sintticas que sero vistas na prxima seo.
Agora basta incorporar a operao em (3), que junto s declaraes e instanciaes
constituem o que ser referido como um programa em LEGAL:

142
{
Imagem banda3, banda4 (Landsat_TM);
(6)
Numerico ivdn (Indices);
banda3 = Recupere (Nome=TM3);
banda4 = Recupere (Nome=TM4);
ivdn = Novo (Nome = IVDN, ResX = 30, ResY = 30, Escala = 1000);
ivdn = ( banda4 banda3 ) ( banda4 banda3 ) ;
}

B.3 Declaraes
Todas as variveis que sero associadas aos planos de informao, mapas cadastrais e
atributos de objetos, envolvidos em um programa em LEGAL precisam ser previamente
declaradas. Cada declarao de varivel: deve indicar o modelo (Temtico, Numrico,
Imagem; Cadastral e Objeto) que caracteriza seu domnio de valores, e o nome de uma
categoria desse modelo, previamente definida pelo usurio. Variveis associadas a nmeros
(Reais), essencialmente no precisam ser declaradas.
As variveis dos modelos Temtico, Numrico e Imagem so freqentemente referidas
por variveis de Campos, e correspondem ao conceito de campo adotado no modelo de dados
do SIG Spring. Dados do modelo Objeto podem ser usados em operaes envolvendo
campos, atravs da associao entre objetos e feies vetoriais representadas pelos mapas do
modelo Cadastral. ainda possvel definir uma extensa classe de expresses algbricas
envolvendo apenas objetos e seus atributos, sem nenhuma associao espacial com mapas.
A declarao de uma varivel consiste em associar seu nome a um modelo e categoria
do banco de dados Spring ativo .A partir da essa varivel poder ser associada a planos de
informao, mapas cadastrais ou objetos, de uma categoria e modelo especificados.

143
Declarao ::=
(7)
<modelo> <lista_de_variveis>
<modelo> ::=
Imagem | Numerico | Temtico | Objeto | Cadastral | Regioes
<lista_de_variveis> ::=
<var>
|
<var> ( <categoria> )
|
<var> , <lista_de_variveis> |
<lista_de_variveis> , <var> |

<categoria> ::= <nome>

O primeiro termo de uma declarao indica o modelo associado a uma ou mais
variveis. Cada item var corresponde ao nome de uma varivel, e ser seu identificador para
todo o programa. O item categoria refere-se ao nome de uma categoria definida no modelo
de dados Spring, usada para modelar as representaes e instancias de uma varivel em um
programa.
Exemplos:
Temtico solo("Solos"), geo("Geologia");
Numerico altimetria ("Altimetria");
Imagem nir, red ("LandSat");
Objeto obj ("Estados");
Cadastral cad ("DivisaoEstadual");

(8)

B.4 Instanciaes
A instanciao consiste da associao efetiva de planos de informao a variveis dos
modelos Temtico, Numerico e Imagem; ou mapas cadastris a variveis do modelo Cadastral.
Variveis do modelo Objeto no tm a representaes especficas, podendo ser associados,
atravs de variveis do modelo Cadastral, a diferentes mapas. Atributos de objetos so
referidos explicitamente por seu nome, definido segundo o modelo de dados Spring. No caso
de variveis Reais, no existe uma representao espacial envolvida, a declarao e
instanciao se confundem, isto , a simples atribuio de algum nmero a um nome de
varivel, que no tenha sido declarado anteriormente, define uma tal varivel.

144
A associao de variveis a planos de informao e mapas cadastrais previamente
criados, feita atravs da operao Recupere. Outros planos e mapas podem ser criados para
armazenar resultados atravs do operador Novo, e associados a variveis previamente
declaradas. :
var = Recupere ( Nome = plano )
|
var = Novo ( Nome = plano , ResX = NRO , ResY = NRO )

(9)

A criao de novos planos para serem associados a um variveis feita atravs do

operador, exige o fornecimento de alguns parmetro alm do nome, tais como: resoluo
espacial e, opcionalmente, outros parmetros, tais como escala, nmero de bits e interpolador.
Vale observar que qualquer varivel instanciada pelo operador Recupere, tambm pode ser
usada para armazenar resultados de operaes. Nesse caso, a informao associada a cada
local apenas atualizada com relao a um estado anterior. Seguem-se alguns exemplos de
uso:
tema = Recupere (Nome = hidrologia);
(10)
alti = Recupere (Nome = Altimetria);
ima = Recupere (Nome = TM4);
solo = Novo (Nome = Solos_A, ResX = 50, ResY = 50);
alt1 = Novo (Nome = Altimetria, ResX = 50, ResY = 50, Escala = 1000);
ima = Novo (Nome = ImagemTM_Res, ResX = 30, ResY = 30);
ima = Novo (Nome = ImagemTM_Res, ResX=30, ResY=30, Nbits = 16);
alt2 = Novo (Nome = Altimetria, ResX = 50, ResY = 50, Escala = 1000,
Min = 0, Max = 100, Interpolador = Bilinear);

Como visto na seo sbre declaraes, a simples atribuio de valores numricos

inteiros ou ponto flutuante a um nome de varivel, que no tenha sido usado anteriormente,
define uma varivel de tipo Real, que poder ser usada em expresses envolvendo dados de
domnios Numricos, Imagem, e Reais. Por exemplo:

145
pi = 3.1416 ;
r = pi ;
e = 2.1478 ;

(11)

B.5 Operaes e Expresses

Operaes representam a avaliao de expresses algbricas, seus resultados podem
ser atribudos a variveis previamente declaradas e instanciadas, ou simplesmente constituir
parte de algum processamento maior, que eventualmente ter seu resultado associado a uma
varivel. Vale lembrar que algumas variveis podem no estar associadas a planos e mapas
atravs de uma instanciao, nesse caso a varivel vista apenas como um sinnimo para o
cdigo que descreve.
Uma sentena que descreve atribuies em LEGAL, corresponde uma operao na
qual o resultado da avaliao de uma expresso atribudo a uma varivel. Resultados so
atribuidos diretamente s variveis dos diferentes tipos previstos pelo modelo de dados
Spring, segundo a sintaxe

<atribuio>::=
<var> = <expresso>
<var>.atributo = <expresso>

(12)

As regras envolvidas na construo de expresses constituem o ncleo da linguagem,

representam todas as formas de produzir valores que iro essencialmente caracterizar um a
um, cada local de uma rea de estudo.

<expresso> ::=
<num>
<var>
<var> <location>

|
|
|
|

(13)

146
( <suamario> ) <var>
|
<sumario> ( <interao> )
|
<distncia> (<expresso>)
|
BLTIN ( <expresso> )
|
<expresso> + <expresso>
|
<expresso> <expresso>
|
<expresso> * <expresso>
|
<expresso> / <expresso>
|
<expresso> ^ <expresso>
|
<expresso>
|
<objeto> . <attribute>
|
<objeto> . <attribute> OnMap <var>
|
<expresso> < <expresso>
|
<expresso> > <expresso>
|
<expresso> EQ <expresso>
|
<expresso> NE <expresso>
|
<expresso> LE <expresso>
|
<expresso> GE <expresso>
|
<expresso> OR <expresso>
|
<expresso> AND <expresso>
|
NOT <expresso>
|
<expresso> ? <expresso> : <expresso> |
( <expresso> )

Com base nesse conjunto, relativamente pequeno, de regras possvel caracterizar

uma classe bastante ampla de operaes analticas que constituem a base para a especificao
no apenas de valores locais, mas tambm das regies envolvidas em sua avaliao.
Entretanto algumas premissas precisaram ser assumidas para evitar que essa flexibilidade
possa resultar em expresses que no faam nenhum sentido semntico.
O sentido semntico em alguns casos pode ser consistido com base em propriedades
dos prprios elementos envolvidos, e as incompatibilidades detectadas atravs de mtodos
definidos para as classes de entidades que compem o modelo de dados do SIG Spring.
Outras possveis inconsistncias poderiam vir do envolvimento de expresses de natureza
Booleana com outras que resultem em tipos previstos no modelo de dados. Nesses casos, a
compatibilidade fica garantida, pois, como explicado no Captulo-5 desta tese, as operaes

147
Booleanas foram efetivamente estendidas para dados de qualquer natureza, no sentido de
modelar a presena ou no de informao a cada local de uma rea de estudo.
A maioria das expresses refere-se a operaes de natureza local. Apenas as operaes
que envolvem o item sinttico sumario, podem ser entendidas como no-locais. Observe
ainda que nesses casos as regies envolvidas so descritas tambm por expresses de natureza
local, como mostra a especificao do item interao que se refere operao de interao
entre regies e qualquer outra operao.
<interao> ::=
( <regies>*<expresso> )

(14)

<regies> ::=
<var> | <expresso> | <zonas> | <posies>
<posies> ::= <posio>
|
<posies> , <posio>
<posio> ::= [ <expresso>, <expresso> ]
<zonas> ::= <var>.All | <obj> OnMap <var>
| <expresso> | <zones> , <expresso>

B.6 Comandos de Contrle

Constituem uma classe de operadores que pemitem o contrle do fluxo de execuo de
um programa em LEGAL, o que pode ser feito com base em alguma condio dada por uma
expresso booleana, ou partir do contrle do nmero de iteraes a que deve ser submetido
um certo grupo de operaes algbricas em um programa qualquer, de maneira explcita ou
tambem de por alguma condio booleana. Eses comandos so baseados em constructos da
linguagem tais como:

148
<controle> ::=
(15)
<enquanto> ( <expresso> ) { <lista_de_sentenas> }
<enquanto> ::= While

O item condio dado por uma expresso de natureza Booleana baseadas em valores
numricos, representados por variveis_reais usadas como contadores de passos e que so
alteradas explicitamente a cada passo. No comando While, uma seqncia de operaes deve
ser executada repetidas vezes at que a avaliao da condio resulte True.

B.7 Exemplos de Programas

Para ilustrar o uso da gramtica, com um exemplo de simples, ser considerada a
implemetao do jgo Vida, inventado pelo matemtico John Conway da Princeton
University em 1970, possivelmente a mais simples instncia de um autmato celular.
Com base em regras cuidadosamente escolhidas, algumas das quais podem levar uma
cela morte, enquanto outras as mantm vivas, ou mesmo levam ao nascimento de novas
celas. O jgo equilibra muitas tendncias tornando difcil dizer se uma certa configurao do
espao celular ir extinguir-se completamente, formar uma populao estvel ou crescer
indefinidamente (Gardner, 1970). O jgo mostra que CA so capazes de modelar fenmenos
como reproduo, auto-organizao e evoluo, todos tpicos de comunidades de seres vivos.
As regras do jgo so bem simples:

Uma celula viva (== 1) com 2 ou 3 vizinhos vivos ir sobreviver;

Uma celula vazia (== 0) com 3 vizinhos vivos, torna-se viva.
Caso contrario a cela no sobrevive.

149
Com a ajuda de alguns comandos iterativos, uma descrio completa do jgo Vida
usando a linguagem LEGAL revisada, pode ser dada pelo seguinte trecho de programa:
m = Recupere(Nome = EstadoInicial);
R = [-1,-1], [-1, 0], [-1, 1], [0,-1], [0, -1], [ 1, -1], [1, 0 ], [1, 1];
t = 0;
Enquanto (t < 12)
{
m = ((m ==1) E (2 <+ Contagem (m R) <= 3))
OU ((m == 0) E (Contagem (m* R) == 3)) ? 1 : 0;
t = t+ 1;
};

A varivel m inicialmente instanciada a um plano de nome EstadoInicial e a

varivel R a uma especificao das regies envolvidas. Os resultados associados varivel m
dependem da avaliao da expresso esquerda do sinal ?, que ir indicar qual entra duas
expresses separadas pelo sinal : deve ser avalida afinal. Essa construo sinttica
conhecida em linguagens de propsito geral como inline if.

FIGURA 1 Transformao de uma matriz xadrez (18x22) a partir segundo regras do

jogo Vida.

150
Vale observar que qualquer expresso, cuja avaliao resultasse semanticamente
compatvel com o domnio das constantes 0, 1, 2 e 3, poderiam substitu-las,
acrescentando assim enorme flexibilidade para representao de variaes do problema.

151

Anexo 1 Manual da LEGAL (no revisada)

lgebra de Mapas
Em uma lgebra de mapas, operaes so descritas segundo expresses similares s utilizadas
na matemtica para a descrio de operaes aritmticas e Booleanas, exeto pelo fato de
envolverem representaes de dados espaciais ao invs de nmeros
As operaes em LEGAL so agrupadas em trs tipos: Locais, Zonais e Vizinhana.
Operaes locais so as que caracterizam cada local de uma rea de estudo vista sob uma
dada resoluo espacial, em funo de valores associados a posies equivalentes em uma ou
mais representaes de dados sobre a mesma rea.
Operaes focais, ou de vizinhana, na verdade no so explicitamente previstas na
linguagem, podendo ser definida uma classe significativa de tais operaes, atravs de um
mecanismo de acesso a posies vizinhas de cada local focal integrado s expresses que
descrevem operaes locais.
Operaes zonais resultam da avaliao de estatsticas sobre valores definidos por operaes
locais distribudos por zonas dadas atravs de feies vetoriais (polgonos, linhas e pontos) ou
por regies definidas atravs de operaes Booleanas.
A linguagem LEGAL atua sobre representaes de dados dos modelos Numrico (grades
regulares), Imagem, Temtico, Cadastral e Objeto. O modelo Cadastral essencialmente
permite a espacializao de atributos de dados do modelo Objeto, constitudo essencialmente
de tabelas de bancos de dados. A coerncia entre modelo de dados e operadores considerada
na interpretao de sentenas da linguagem, garantindo controle semntico na definio de
modelos espaciais.
Um programa em LEGAL consiste de uma sequncia de operaes descritas por sentenas
organizadas segundo regras gramaticais, envolvendo operadores, funes e dados, em
bancos de dados, projetos e planos de informao. A maioria das operaes atua sobre
representaes matriciais. Entretanto, feies vetoriais, representadas em mapas cadastrais
podem ser usadas para especificar dados do modelo Objeto

Estrutura de um Programa em LEGAL

Um programa em LEGAL constitudo de uma lista de sentenas que descreve um
procedimento, isto , um conjunto de aes sobre dados espaciais, que faa sentido no

152
contexto de alguma disciplina de SIG. Tais sentenas em LEGAL so estruturadas em quatro
grupos:

Declaraes de variveis:
Instanciaes: de variveis:
Operaes da lgebra de mapas:
Comandos de controle

As declaraes definem nomes de variveis que sero associadas aos dados fornecidos ou
produzidos num programa. Esses nomes estaro de associados a categorias sob as quais
devero ser entendidos os contedos de planos, objetos e tabelas envolvidos em um programa.
Nas instanciaes, nomes de variveis so efetivamente associadas a planos, objetos ou
tabelas. Correspondem uma operao de recuperao de dados de um banco de dados, ou de
criao de um novo dado para esse banco..
Operaes correspondem aplicao de um ou mais operadores ou funes sobre variveis
declaradas e instanciadas previamente; so descritas por expresses algbricas, segundo
regras gramaticais que permitem a definio recursiva de operaes complexas partir de
outras mais simples. Cada sentena descreve a atribuio do resultado da avaliao de uma
expresso algbrica a uma varivel.
Comandos de controle permitem o controle do fluxo de processamento de um programa, ou a
iterao de um conjunto de sentenas. So fundamentais para a modelagem de situaes que
envolvam a execuo alternativa, condicional ou repetitiva de conjuntos de operaes.

Diagramas Sintticos
Cada sentena em Legal pode envolver smbolos (por exemplo, {, (, ;, ,); operadores
(por exemplo, +, *, &&, || , <, <=, !=); palavras reservadas (Novo, Tematico,
Nome, ResX, Atribua etc); nomes de variveis (solos, veg, atitudes, ind_verde etc); nomes de
tens de um banco de dados Spring (planos de informao, mapas cadastrais, categorias,
geoclasses, atributos etc)
A descrio de sentenas, sob a forma de diagramas sintticos procura indicar, atravs das
setas, os possveis caminhos para compor sentenas vlidas em LEGAL. Nesses diagramas as
palavras em negrito com inicial Maisculo, indicam palavras reservadas de uso mandatrio,
da linguagem; as palavras em minsculos indicam nomes de variveis; as palavras entre
aspas indicam nomes de tens do modelo de dados, tais como: nomes de categorias, classes,
planos etc. Finalmente, as palavras em itlico indicam itens sintticos que sero descritos por
um diagrama parte.
O item programa corresponde ao seguinte diagrama sinttico:

153

O diagrama no quadro acima indica que um programa em LEGAL inicia-se por um '{', pode
ter vrias sentenas dos tipos declaraes, instanciaes e operaes, terminadas por ';' e
encerra-se com um '}'.

Declaraes
Uma declarao consiste da definio de variveis que sero associadas aos planos de
informao, mapas cadastrais, objetos, tabelas de transformao e valores reais envolvidos em
um programa. Uma varivel pode ser de modelo Temtico, Numrico, Imagem; Cadastral e
Objeto. Existem ainda o tipo auxiliar Tabela, declaradas de modo similar aos outros.
As variveis dos modelos Temtico, Numrico e Imagem representam dados em formato
matricial, que correspondem ao conceito de campo adotado no modelo de dados Spring. As
variveis do modelo Cadastral representam mapas em formato vetorial e tm como finalidade
principal oferecer suporte para espacializao de dados do modelo Objeto.
As variveis do modelo Objeto representam tabelas de bancos de dados convencionais, cujos
atributos (colunas) podem ser usados em operaes envolvendo campos, atravs da
associao com mapas cadastrais representando pontos, linhas ou polgonos. possvel ainda
definir uma extensa classe de expresses envolvendo apenas objetos e seus atributos, sem
nenhuma extenso espacial, como numa planilha de clculos.
A declarao de uma varivel consiste em associar um nome a um modelo e categoria de um
banco de dados Spring. A partir da essa varivel poder ser associada a dados da categoria e
modelo especificados.
Sintaxe:

154
O primeiro item sinttico indica o modelo de dados, o item nome_varivel deve ser ir
identificar uma varivel ao longo do programa. O item nome_categoria, entre aspas e
parnteses, indica uma categoria do banco de dados ativo, que ir constituir o contradomnio
dos planos por ela categorizados.
Exemplos:
Tematico solo("Solos"), geo("Geologia");
Numerico alti1 ("Altimetria");
Imagem banda3, banda4 ("LandSat");
Objeto obj ("Estados");
Cadastral cad ("DivisaoEstadual");

Declarao de Tabelas de Transformao.

Tabelas de Transformao so usadas para definir operaes baseadas no mapeamento entre
dados de diferentes categorias. A declarao de tabelas quase idntica a qualquer outra
varivel, o termo Tabela seguido de um nome da varivel e de um termo indicando o tipo de
transformao - Reclassificacao,Fatiamento ou Ponderacao - As categorias e valores que
completam a definio do mapeamento sero estabelecidos na fase de instanciao.
Sintaxe:

Exemplos:
Tabela fatias (Fatiamento), pesos (Ponderaao);
Tabela reclass (Reclassificacao);

Instanciao
A instanciao consiste da associao efetiva de planos de informao a variveis dos
modelos Tematico, Numerico, Imagem, Cadastral e Objeto, ou ainda a tabelas de
transformao a variveis Tabela previamente declaradas.

155
Variveis do modelo Objeto so apenas declaradas, os atributos de objetos so referidos
explicitamente pelo nome do atributo entre aspas..
No caso de variveis Reais, a declarao e instanciao se confundem, isto , a simples
atribuio de algum valor real a um nome de varivel, que no tenha sido declarado
anteriormente, define uma varivel.
Atravs do operador Novo, novos planos de informao ou tabelas so criados e associados a
variveis previamente declaradas. A associao de variveis a planos de informao e mapas
cadastrais previamente criados, feita atravs do operador Recupere.

Instanciao de Variveis de Campos e Cadastrais

O operador Novo resulta em um novo plano de informao, associado uma varivel de
modelo Temtico, Numrico ou Imagem, exige o fornecimento de alguns parmetros, alm do
nome, conforme o modelo de campo, a saber:
Nome

Plano de informao a ser associado uma varivel

ResX e ResY

Resoluo sob a qual um plano ser considerado em operaes

Escala

Escala para planos temticos e numricos. Se omitido, o valor 1

assumido

Min e Max

Faixa de valores estimados para uma grade numrica a ser criada

Repres

Representao a ser considerada. Pode assumir os valores Matriz

ou Vetor. Se omitido, o valor Matriz ser considerado

Nbits

Nmero de bits para pixels de imagens. Se omitido, o valor 8 sera

considerado.

Interpolador

Modo de interpolaco para gerao de grades ou imagens. Pode

assumir os valores Vizinho ou Bilinear. Se omitido, o valor
Bilinear assumido

Observe que no prevista a criao de dados do modelo Cadastral, eles so apenas

recuperados, nenhuma operao prevista na linguagem resulta em um novo mapa cadastral.

156
Sintaxe:

Para a instanciao de uma varivel atravs do operador Recupere, deve ser indicado o termo
Nome seguido do nome do plano de informao ou mapa cadastral existente num projeto
ativo.
O tipo de representao quando omitido entendido como Matriz para planos de informao,
e Vetor para mapas cadastrais. Algumas operaes sobre planos de informao temticos
podem fazer uso da representao vetorial, nesse caso, o termo Repres = Vetor deve ser
indicado explicitamente.
Os parmetros Min e Max (opcionais), consistem de estimativas feitas pelo usurio sobre a
faixa de valores prevista para uma grade numrica definida pelo operador Novo, para fins de
consistncia. Para dados do modelo Numrico e Imagem, pode-se ainda informar o tipo de
interpolao a ser adotado quando existir diferena entre a resoluo de uma nova grade ou
imagem e a resoluo de planos envolvidos em sua criao. Assim, o termo Vizinho ir
indicar o modo de interpolao por vizinho mais prximo e o termo Bilinear indica uma
interpolao bilinear. No caso de planos temticos envolvidos em operaes a interpolao
por vizinho mais prximo ser sempre adotada.
NOTA: Variveis de campo instanciadas pelo operador Recupere, podem tambm ser usadas
para armazenar resultados de operaes de atribuio, nesse caso as posies de um plano so
simplesmente alteradas com relao a um estado anterior do dado.
Exemplos:

157
tema = Recupere (Nome = "baciashidrograficas");
alti = Recupere (Nome = "CotasAltimetricas");
ima = Recupere (Nome = "TM4");
solo = Novo (Nome = "Solos_A", ResX=50, ResY=50, Escala=1000, Repres = Vetor);
alt1 = Novo (Nome = "Altitude", ResX=50, ResY=50, Escala = 1000, Min=0, Max=10);
ima = Novo (Nome = "ImagemTM_Res", ResX=30, ResY=30);
ima = Novo (Nome = "ImagemTM_Res", ResX=30, ResY=30, Nbits = 16);

Instanciao de Variveis Tabelas.

No caso de instanciao de uma varivel do tipo Tabela, so utilizadas as palavras chaves:
CategoriaIni e CategoriaFim, para indicar as categorias temticas envolvidas num operador
de transformao. So trs os tipos de transformao implementadas na linguagem:
Reclassificao,Ponderao e Fatiamento.

Na Reclassificao duas categorias temticas (inicial e final) devem ser fornecidas; na

Ponderao apenas a categoria temtica de entrada, cujas classes sero ponderadas deve ser
indicada e no Fatiamento deve ser indicada a categoria temtica de sada.

158
Sintaxe:

Exemplos:
Tabela de Reclassificacao:
Uma tabela de Reclssificacao descreve o mapeamento entre classes de duas categorias
temticas, associadas s entradas CategoriaIni e CategoriaFim.
grupo = Novo ( CategoriaIni = "Vegetacao", CategoriaFim = Vegetacao,
Da : FlorestaAluvial,
Db, Ds1, Ds2, Ds4, Dm : Florestabrofila",
sd, sp, sA : Savanas,
Pfm, Pa, Pah : FmPioneiras,
Ap : Floresfila" ) ;

Tabela de Fatiamento:
Uma tabela de Fatiamento indica o mapeamento entre intervalos de valores numricos e
classes de uma categoria temtica associada entrada CategoriaFim.

159
grupo = Novo ( CategoriaFim = Vegetacao,
[0.0, 0.2] : Floresta,
[0.2, 0.45] , [0.8, 1.0] : Mata_galeria,
[0.45, 0.8] : Cerrado ) ;

Tabela de Ponderacao:
Uma tabela de Ponderao descreve o mapeamento entre classes de uma categoria temtica,
associada palavra chave CategoriaIni, e valores numricos que definem pesos a serem
associados a cada classe.
ponde1 = Novo ( CategoriaIni = Vegetacao,
Floresta : 0.2,
Mata_galeria,Mata : 0.43,
Cerrado : 0.456 );

Instanciao de Variveis Reais.

Como visto na seo sobre declaraes, a simples atribuio de valores numricos inteiros ou
ponto flutuante a um nome de varivel, que no tenha sido usado anteriormente, define uma
varivel de tipo Real. que poder ser usada em expresses envolvendo dados de domnios
Numricos, Imagem, e Reais.
Sintaxe:

Exemplos:
pi = 3.1416 ;
r = pi ;
e = 2.1478 ;

Operaes
Operaes so seqncias de um ou mais operadores sobre dados associados s variveis
declaradas e instanciadas previamente no programa. So descritas por sentenas da linguagem

160
Uma sentena corresponde uma operao de atribuio, na qual o resultado da avaliao de
uma expresso algbrica atribudo uma varivel previamente definida e instanciada.
sintaxe:

Em funo do modelo de dados resultante, tais expresses podem ser classificadas em:
expresses temticas, numricas, imagens, reais e objeto.
As expresses_zonais, tm tambm seu resultados atribudos a variveis dos modelos
Temtico, Numrico, Objetos e Reais. Entretanto, ainda no existem regras gramaticais na
linguagem que permitam a sua participao em expresses algbricas mais complexas,
envolvendo outros operadores da linguagem, em uma mesma sentena. Este tambm o caso
dos operadores Espacialize e FatieAtributo..Tais expresses sero consideradas juntas, no
grupo das expresses zonais.
Nas expresses_objeto, os objetos so tratados de modo independente de qualquer associao
a mapas cadastrais. Isso oferece alguns recursos para a manipulao de atributos de um
mesmo objeto, de uma maneira no espacial.
As expresses_reais envolvem nmeros e variveis reais e toda funcionalidade de operadores
e funes matemticas disponveis para dados quantitativos, podem ser usadas no apenas em
operaes no espaciais como no caso dos objetos, mas, tambm qualquer expresso de
natureza quantitativa..
As expresses_Booleanas nunca so atribuidas a variveis de qualquer tipo. So expresses
auxiliares que permitem a definio de critrios a partir de comparaes entre resultados de
expresses dos outros tipos.

161
sintaxe:

Todas as expresses dos tipos: Temtico, Imagem e Numrico, bem como as expresses
Booleanas, correspondem a operaes locais, e envolvem operadores aritmticos +, -, *,
/ e ^, funes matemticas (sin, cos, asin, acos, atan, log, log10, exp, sqrt etc.), operadores
booleanos (&&, ||, |, !, >, >=, ==, !=, <=, <), e transformaes definidas por tabelas (Fatie,
Pondere e Reclassifique) e os operadores de atribuio condicional ('?' e Atribua).
Uma extensa classe de operaes de Vizinhana, podem ser implementadas em LEGAL
partir da referncia explcita aos elementos vizinhos de cada local, num esquema de
posicionamento relativo no qual um valor de deslocamento, em termos do nmero de linhas e
de colunas, relativo a cada local indicado.
Se uma varivel aparece em uma expresso algbrica de forma indexada ( por ex.: var [i,j] ),
isso indica que o valor a ser considerado refere-se ao da local dada pelo deslocamento de i
linhas e j colunas relativas a cada local representado.
As operaes Zonais permitem a avaliao de estatsticas simples (Maioria, Mdia, Mediana,
Mximo etc) sobre valores definidos por expresses aritmticas ou Booleanas envolvendo
variveis dos tipos Temtico, Numrico ou Imagem, distribudos sobre zonas definidas
explicitamente por feies lineares (polgonos, linhas e pontos) representadas em mapas
cadastrais, ou implicitamente por expresses Booleanas envolvendo outras variveis.
Zonas so regies disjuntas cuja unio recobre uma rea de estudo, por exemplo: os temas de
um mapa temtico; faixas de altitudes em uma grade de altitudes; municpios em um mapa de
diviso municipal; regies definidas atravs de combinaes entre tipos de solo, fornecidos
por um mapa de solos, e faixas de declividade dadas por um mapa de declividades, etc.

162

Expresses Reais
As expresses Reais so definidas sobre constantes e variveis reais como na aritmtica usual
e segundo suas regras usuais de formao de expresses e prioridades de operadores. Tais
expresses podem ser vistas como auxiliares, j que o objetivo central da linguagem
trabalhar com dados espaciais.
Sintaxe:

O item sinttico principal, aqui definido por expresso_real; os smbolos +, -, *, /, ^,

representam operadores aritmticos; os parnteses, ( e ), permitem a alterao de prioridades
entre operadores de uma expresso. Os itens nmero e variavel_real representam os
argumentos das operaes descritas, so os nmeros, as variveis e as constantes numricas.
O item funo_matemtica corresponde a nomes de funes matemticas disponveis:
sin, cos, tan

funes trigonomtricas em radianos

asin, acos, atan

funes trigonomtricas inversas

log, log10

funes logartmicas na base e e na

base 10

exp

exponencial na base e

sqrt

raiz quadrada

int

parte inteira de um nmero

abs

valor absoluto

rand

valor aleatrio

Exemplos:
Vamos ilustrar a gerao de uma expresso simples como elevar ao quadrado, a soma de
duas variveis_reais:

163
(A+B)^2

Se A e B so duas variveis reais previamente definidas, a seqncia de passos a seguir ilustra

o processo de construo de sentenas a partir dos diagramas sintticos.

A segunda regra implica que, A e B, so expresses_reais;

A terceira regra, que a soma A + B uma expresso_real;
A quinta regra, que (A+B) uma expresso_real;
A primeira regra,que o nmero 2 uma expresso_real; e
A terceira regra implica que (A+B)^2 uma expresso_real..

Expresses Imagem
As expresses do tipo Imagem envolvem valores inteiros, tipicamente entre 0 e 255 (imagens
de 8 bits) associados a cada local de uma rea de estudo, embora imagens de 16 e 32 bits
tambm so igualmente vlidas.
Sintaxe:

Expresses dos tipos Real, Numerico e Tematico podem ser entendidas como imagens desde
que se use o operador Imagem, como mostram as regras 5, 6 e 7. Dados do tipo Temtico so
normalmente entendidos como qualitativos, os valores associados a locais representam
classes temticas (geoclasses). Entretanto, esses valores temticos so indexados atravs de
nmeros inteiros, esse valor ser considerado quando operador Imagem for usado.

164
A avaliao local de uma expresso_condicional_imagem depende da avaliao da
expresso_Booleana que aparece antes do sinal ?.
Uma expresso_Booleana, como ser visto mais adiante, pode resultar em dois possveis
valores: VERDADEIRO ou FALSO. Se o resultado for VERDADEIRO, a ao indicada pela
expresso_imagem1 que antecede do sinal ":" fornecer o resultado, caso contrrio a
expresso_imagem2 ser avaliada.
Exemplos:
ima1 = Imagem(grade1);
ima3 = ima2 + 20;
res_ima1 = abs(sen(ima1)- 255);

Expresses Numricas
As expresses do tipo Numrico, envolvem valores reais dentro de uma faixa de valores
definida pelos pametros Min e Max (quando indicados). Valores fora dessa faixa so
associados a "nulos", isto sem informao.
Sintaxe:

Expresses dos tipos, Real e Imagem, podem ser entendidas como grades numricas desde
que se use o operador Numerico, como mostram as regras 7 e 8.
A avaliao local de uma expresso_condicional_numrica
expresso_Booleana que aparece antes do sinal ?.

depende da avaliao da

165
Exemplos:
ph_fe1 = Numerico(banda_spot2);
soma_grade = (grade_solo + grade_decl)/2;
grade_seno = sen(grade1);

ExpressesTemticas
No caso das expresses de tipo Temtico, os operadores aritmticos perdem o sentido, j que
os valores encontrados nos elementos de sua representao indicam classes e no valores
reais. Assim as expresses possveis so aquelas que envolvem essas classes, tais como as
transformaes baseadas em tabelas e atribuio condicional.
Sintaxe:

Qualquer palavra pode ser entendida como um nome de geoclasse, desde que se use o
operador Classe, como mostram as regras, 3 e 4, que permitem aceitar dados outro tipo, no
contexto temtico. Um dado temtico normalmente entendido como qualitativo, os valores
locais representam classes temticas (geoclasses), identificadas por seus nomes, de modo que
tais nomes so os prprios "valores" representados. Entretanto, possivel usar os valores
inteiros de ndices dessas classes, atravs dos operadores Numrico e Imagem, como indica a
regra 5.

166
O resultado da avaliao do operador Atribua depende da avaliao local de
expresses_Booleanas associadas a classes temticas. A primeira delas que resultar em um
valor VERDADEIRO ir determinar a classe a ser tomada como resultado final.
O resultado da avaliao de uma expresso_condicional_temtica depende da avaliao da
expresso_Booleana que aparece antes do sinal "?". Se o resultado da expresso_Booleana
for VERDADEIRO, a ao indicada pela expresso_tematica1 que antecede do sinal ":"
fornecer o resultado final, caso contrrio a expresso_temtica2, que segue-se ao sinal ":",
fornecer o resultado.
Exemplos
decl = Fatie ( declividade,tab_faixas ) ;
desmat= Reclassifique ( cobertura , tab_classes ) ;
aptidao= Atribua ( CategoriaFim = Aptidao )
{ boa : (solo == LatosoloRoxo && declividade == O-3 ) ,
mdia : (solo == AreiaQuat && declividade == >8 ) };

Expresses Booleanas
Uma expresso Booleana descreve o conjunto de valores locais que satisfazem um mesmo
critrio, dado pela combinao de expresses dos tipos anteriores atravs dos operadores de
comparao:
<

menor

<=

menor ou igual

>

maior

>=

maior ou igual

==

igual

!=

desigual

E dos operadores lgicos:

&&

E-lgico (intercesso)

||

OU-lgico (unio)

OU-exclusivo (unio disjunta)

! ou ~

NAO-lgico (complemento)

167
Sintaxe:

As expresses Booleanas so auxiliares, no sendo possvel atribuir seus resultados a

variveis. Entretanto, elas oferecem um modo eficiente de descrever condies envolvendo
outras expresses sobre imagens, grades numricas, mapas temticos, objetos e nmeros,
evitando a gerao de resultados intermedirios. O resultado da avaliao de uma expresso
Booleana pode assumir um entre os valores: VERDADEIRO ou FALSO.
No caso de expresses_comparao envolvendo expresses_temticas ou expresses_objeto
envolvendo atributos de tipo texto, apenas os operadores locais de igualdade (==) e
desigualdade (!=) fazem sentido, para todas as outras, os operadores de comparao ( > , >= ,
<= , < ) podem ser utilizados.

Expresses Zonais
Nesse grupo de operaes destacam-se as estatsticas simples como: maioria, variedade,
mximo, soma, mdia etc. Tais operadores consistem da sumarizao de conjuntos de valores
de um certo plano, que estejam contidos em zonas definidas por outros planos ou mapas
cadastrais.

168

Quando o resultado de uma expresso_zonal atribudo uma varivel_temtica, sempre

que as zonas envolvidas forem definidas por uma expresso_cadastral, o resultado dever ser
um plano temtico de representao vetorial. Assim, na instanciao dessa varivel, o
parmetro Repres = Vetor deve ser indicado.
Exemplos:

Determinao de um mapa temtico de "atividade econmica" partir do atributo

"ATIVIDADE" do objeto Municpios.
Cadastral cad (Divisao Municipios) ;
Tematico tem ("Temas Municipais) ;
Objeto obj (Municipios) ;
tem = Novo (Nome = Municipais,ResX = 100, ResY =100, Escala = 100000, Repres =
Vetor) ;
tem = Espacialize (obj .ATIVIDADE NoMapa cad) ;

A categoria temtica "Temas Municipais" e as classes associadas a ela devem ter nomes
idnticos aos dos valores textuais do atributo "ATIVIDADE".

Determinao do tipo de vegetao predominante por municpio. O plano "Mapa de

Vegetacao" deve ter representao matricial.
Cadastral cad (Divisao Municipios) ;
Tematico tem (Temas Municipais) ;
Tematico veg (Vegetacao) ;
Objeto obj (Municipios) ;

169
veg = Recupere (Nome = Mapa de Vegetacaoo) ;
tem = Novo (Nome = ClassesMunicipais,ResX = 100,ResY =100,Escala =
100000,Repres = Vetor);
tem = MaioriaZonal (veg ,obj NoMapa cad) ;

Atualizao do atributo "DECLIVE" de objetos da categoria "Quadras" com valores

mdios de declividade avaliados a partir da grade numrica "Declividade", sobre as zonas
definidas pelos polgonos de um mapa cadastral, usando o operador MdiaZonal.
Objeto zonas (Quadras);
Cadastral cad (Cad_Urbano);
Numerico decliv (Altimetria);
cad = Recupere (Nome = Mapa_quadras);
decliv = Recupere (Nome = Declividade);
zonas. DECLIVE = MdiaZonal ( decliv, zonas OnMap cad );

Expresses Objeto
As expresses do tipo Objeto envolvem valores de atributos de um mesmo objeto, resultando
em algum atributo do mesmo objeto. Aqui as possveis associaes de objetos a mapas
cadastrais no so levadas em conta, os valores de atributos so envolvidas diretamente, como
as operaes entre colunas de uma mesma tabela de bancos de dados convencional.
Sintaxe:

Assim como as expresses_reais, as expresses_objeto, por envolverem apenas valores de

atributos em tabelas de bancos de dados convencionais, tambm so no-espaciais, isto , no
envolvem planos de informao ou mapas cadastrais.

170
Cada expresso_condicional_objeto depende da avaliao da expresso_Booleana que
aparece antes do sinal "?". A expresso_Booleana, neste caso poder envolver apenas
expresses-objeto e/ou expresses_reais,
Exemplos:
estado.Previso = estado.Atual * estado.Taxa_anual ;
estado.Previso = estado.Desempenho > 50 ? estado.Atual * estado.Taxa_anual :
estado.Atual ;

Comandos de Controle
So comandos que permitem que um grupo de operaes sejam repetidos um certo nmero de
vezes.
sintaxe:

Exemplos:
A cada iterao um conjunto de regras definidas por expresses_Booleanas
envolvendo as vizinhanas de cada local so avaliadas, ao longo de um certo nmero
de iteraes.
Ao final de cada iterao (ou passo) a varivel_real "n" incrementada e ao incio do
passo seguinte, o valor de "n" comparado afim de determinar a continuidade ou no
da sequencia de operaes definidas no ambito do comando Enquanto ( While ).
Esse exemplo ilustra tambm o uso de indexao relativa na definio de operaes de
vizinhana.

171

Exemplos de Programas Completos

Os exemplos de programas a seguir correspondem aos utilizados nas diversas etapas
do projeto PRODES.

Legal1_Cartatema_2004

Compara mapas classificao_2004, extenso_2003 e nuvens_2003.

{
Tematico clsf, saida ("Cartatema");
Tematico nvns ("nuvens");
Tematico extn ("extensao");
clsf = Recupere (Nome="classificao_2004");
nvns = Recupere (Nome=nuvens_2003");
extn = Recupere (Nome="extensao_2003");
saida = Novo (Nome = "classificao_2004FIM", ResX = 60, ResY=60, Escala =120000);
sada = Atribua {
"HDR": extn=="HDR_total" || clsf=="HDR",
"NFL": extn=="NFL_total",
"problema":
clsf=="NFL" && extn=="NS",
"NFL2":
extn=="NFL2_total" ,
"NFL2":
clsf=="NFL2" && (extn=="NS" || extn=="FL_total"),
"DFL_total":
extn=="DFL_total",
"FL":
clsf !="DFL" && clsf !="NV" && (extn=="FL_total" || extn=="NS") ,
"DFL_NV_6": clsf=="DFL" && nvns=="NV_6" && extn !="DFL_total",
"DFL_NV_5": clsf=="DFL" && nvns=="NV_5" && extn !="DFL_total",
"DFL_NV_2": clsf=="DFL" && nvns=="NV_2" && extn !="DFL_total",
"DFL_NV_1": clsf=="DFL" && nvns=="NV_1" && extn !="DFL_total",
"DFL":
clsf=="DFL" && extn=="FL_total",
"NV":
clsf=="NV" && (extn=="FL_total" || extn=="NS") };
}

Legal2_Nuvens_2004
Cruzamento da nuvens classificadas no ano, com nuvens acumuladas at 2003.
{
Tematico nvns, saida("nuvens");
Tematico clsf ("Cartatema");
clsf = Recupere (Nome="clsf_final_2004FIM");
nvns = Recupere (Nome="nuvens_2003");
saida = Novo (Nome = "nuvens_2004", ResX = 60, ResY=60, Escala =120000);
saida = Atribua {
"NV_7":
clsf=="NV" && nvns=="NV_6",
"NV_6":
clsf=="NV" && nvns=="NV_5",
"NV_3":
clsf=="NV" && nvns=="NV_2",
"NV_2":
clsf=="NV" && nvns=="NV_1",
"NV_1":
clsf=="NV" };
}

172
Legal3_Extensao_2004
agrupa as reas de hidrografia, no-florestas e desmatamento
{
Tematico clsf ("Cartatema");
Tematico extensao, saida ("extensao");
Tematico nvns ("nuvens");
clsf =
Recupere (Nome="classificao2004FIM");
extensao =
Recupere (Nome="extensao_2003");
saida = Novo (Nome = "extensao_2004", ResX=60, ResY=60, Escala = 120000);
saida = Atribua
{
"NS": clssf == "NV" ,
"DFL_total":
clssf=="DFL_total"
|| extensao =="DFL_total" || clssf=="DFL" || clssf=="DFL_NV_6"
|| clssf=="DFL_NV_5" || clssf=="DFL_NV_2
|| clssf=="DFL_NV_1" ,
"HDR_total":
clssf=="HDR"|| extensao=="HDR_total",
"NFL2_total": clssf=="NFL2"
|| extensao=="NFL2_total",
"NFL_total":
clssf =="NFL" || extensao=="NFL_total",
"FL_total":
clssf =="floresta" || extensao=="FL_total"
};
}

Legal4_Mscara_2004
mapa indicando as reas que no precisam ser consideradas na segmentao e classificao do
ano seguinte
{
Tematico extn, masc ( "extensao" );
extn = Recupere ( Nome = "extensao_2004");
masc = Novo (Nome = "mscara_2004", ResX = 60, ResY=60, Escala = 120000);
masc = Atribua ( CategoriaFim = "extensao" )
{
"mscara":
extn == "NFL_total" || extn == "NFL2_total" || extn == "DFL_total"
|| extn == "HDR_total"
};
}

173
Declaration of variables and categories to be used in rule-based classification.
{
Imagem b1, b2, b3, b4, b5, b6 ("13-dec-00")
Imagem classes ("classifications");
// Instanciation. Definition of channels to use and creation of the classification channel
b1 = Recupere (Nome="band1");
b2 = Recupere (Nome="band2 ");
b3 = Recupere (Nome="band3 ");
b4 = Recupere (Nome="band4 ");
b5 = Recupere (Nome="band5 ");
b6 = Recupere (Nome="band6");
b7 = Recupere (Nome="band7");
clasif = Novo (Nome="classification",ResX = 25, ResY = 25);
//Operations. Calculate the resulting value for the classification channel
clasif = ( b4 < 38 && b5< 35) ?
(b3>55) ? imagem (1):
//water with sediments
(b1>64 && b6<155) ? imagem (1):
//Clear water
imagem (3):
// shadows of thick clouds
(b6<147 && b3>76) ? imagem (2):
// (Clouds)
(b3>76) ? imagem (4):
// (relatively bright bare soils)
(b3>64) ?
(b4<55) ? imagem (7) :
//(burned 3 or dark soils)
(b4<76) ? imagem (8) :
//(sparse vegetation 1)
imagem (9) :
//(sparse vegetation 2)
(b3>50) ?
//(Dark bare soils, medium cover vegetation or darker grasses)
(b4<48) ? imagem (6):
//(Burned 2)
(b4<75) ? imagem (10):
//(mature or dark grasses)
imagem (12):
//(medium vegetation)
//(case of b3<50)
(b4<32) ? imagem (5):
//(burned with ashes)
(b6<154) ? imagem (13):
//(flooded vegetation)
(b4<61) ? imagem (11):
//(vegetation on burned or organic soils)
(b4<87) ? imagem (14):
//(forests or plantations)
imagem (15):
//(Extremely chlorophyllian vegetation )

174

FOLHA DE REGISTRO DO DOCUMENTO

1.

CLASSIFICAO/TIPO

5.

TTULO E SUBTTULO:

2.

DATA

TD

14 de maro de 2011

3.

4.

REGISTRO N

DCTA/ITA/TD-024/2010

N DE PGINAS

328

lgebra de Mapas e Regies

6.

AUTOR(ES):

Joo Pedro Cerveira Cordeiro

7.

INSTITUIO(ES)/RGO(S) INTERNO(S)/DIVISO(ES):

Instituto Tecnolgico de Aeronutica - ITA

8.

PALAVRAS-CHAVE SUGERIDAS PELO AUTOR:

Sistemas Geogrficos de Informao, lgebras de Mapas, lgebra, Topologia, Linguagens Formais,

Autmatos, Autmatos Celulares.
9.PALAVRAS-CHAVE RESULTANTES DE INDEXAO:

Sistemas de informao geogrfica; lgebra; Mapeamento; Topologia; Linguagens

formais; Teoria de autmatos; Autmatos celulares; Matemtica aplicada; Computao
10.

APRESENTAO:

X Nacional

Internacional

ITA, So Jos dos Campos. Curso de Doutorado. Programa de Ps-Graduao em Engenharia Eletrnica
e Computao. rea de Informtica. Orientadores: Felipe Afonso de Almeida e Srgio Roberto Matiello
Pellegrino. Defesa em 03/12/2010. Publicada em 2010.
11.

RESUMO:

Um importante componente de um sistema de informao geogrfica (SIG), a lgebra de mapas consiste

de uma linguagem e uma estruturao algbrica sbre mapas em geral. Operaes e as expresses que as
definem, sero tanto mais algbricas quanto mais reflitam as propriedades tpicas de lgebras
matemticas conhecidas, tais como a associatividade, a comutatividade e a distributividade, para
operaes; e a reflexividade, simetria e transitividade para relaes, na construo de sentenas que iro
descrever mtodos de anlise e modelagem em SIG. A abordagem mais corrente na implementao de
lgebras de mapas consiste de pelo menos trs estruturas focadas na natureza local, zonal ou focal dessas
operaes e relaes. Em conseqencia disso o vocabulrio da linguagem resultante apresenta uma certa
redundncia de conceitos que dificulta a integrao plena entre as tres estruturas resultantes. Este trabalho
parte da premissa que locais, zonas e vizinhanas, so maneiras particulares de selecionar elementos de
conjuntos de locais; e da observao que tais maneiras podem ser descritas por expresses da prpria
lgebra de mapas, como as usadas para exprimir comparaes e operaes Booleanas. A partir da
introduo de um operador para modelar esse processo de seleo, cada local de interesse de uma rea de
estudo passa a ser caracterizado por sua interao com locais de algum conjunto, dado sob a forma de
uma expresso tambm. Tais expresses podem explorar ao mximo as propriedades da lgebra proposta,
sendo avaliadas sempre que necessrio, ora para obter um valor local de um novo mapa, ora para decidir
tambm localmente, sbre a pertinncia ou no de um local a uma regio. Isso evita o custo de se criar
representaes de dados intermedirios no processo de modelagem. Desse modo, alm da economia de
recursos computacionais, conceitos como zona e vizinhana passam a ser decorrncias de suas prprias
definies como expresses algbricas, e a linguagem, passa a no depender de especializaes
adicionais para nomes e operadores. Apenas vocabulrios j bastante consolidados como os da lgebra
dos nmeros, da lgebras relacional e da algebra Booleana, alm do jargo usual da estatstica e,
potencialmente, outras disciplinas, so relevantes para a descrio de modelos. Toda essa flexibilidade se
deve estratgia de implementao usada, fundamentada na teoria dos autmatos, que estabelece maior
compromisso formal entre os temas relativos a linguagem e implementao, alm de maior afinidade com
tcnicas de modelagem de aspectos dinmicos de processos fsicos e ambientais, em particular aquelas
baseadas em autmatos celulares
12.

GRAU DE SIGILO:

(X ) OSTENSIVO

( ) RESERVADO

( ) CONFIDENCIAL

( ) SECRETO

175