MINISTRIO DA CINCIA E TECNOLOGIA INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS

INPE6779RPQ/682

Bases da Morfologia Matemtica para anlise de imagens binrias

2a Edio

Gerald Jean Francis Banon e Junior Barrera

INPE So Jos dos Campos Julho de 1998

OS AUTORES Gerald Jean Francis Banon pesquisador Snior da Diviso de Processamento de Imagens (DPI) do Instituto Nacional de Pesquisas Espaciais (INPE), em So Jos dos Campos, SP. Ele engenheiro eletrnico, especialista em controle automtico, pelo Institut Nationale des Sciences Appliques (INSA) em Toulouse, Frana, Docteur Ingnieur e Docteur dtat em Controle Automtico e Sistemas pela Universidade Paul Sabatier em Toulouse, Frana. Suas reas de interesse so Processamento Digital de Imagens e Morfologia Matemtica. banon@dpi.inpe.br Junior Barrera pesquisador assistente do Departamento de Cincia da Computao (DCC) do Instituto de Matemtica e Estatstica (IME) da Universidade de So Paulo, em So Paulo, SP. Ele engenheiro eletricista, especialista em controle automtico, pela Faculdade de Engenharia Eltrica da Escola Politcnica da USP (FEE EPUSP), mestre em Computao Aplicada pelo INPE e Doutor em Controle Automtico e Sistemas pela FEEEPUSP. Suas reas de interesse so Processamento Digital de Imagens e Morfologia Matemtica. jb@ime.usp.br

Este livro dedicado a Martha Lise Gabriela Michelle Ren, com eterna saudade ea Sylvia Juliana Rodrigo Helena Joo

Prefcio
A Morfologia Matemtica foi criada em meados da dcada de sessenta, pelo grupo liderado por Georges Matheron e Jean Serra, da cole Suprieure des Mines de Paris, em Fontainebleau. At o final dos anos setenta, seu grande potencial para a Anlise de Imagens tinha sido reconhecido e bastante utilizado na Europa, principalmente nas reas envolvendo Microscopia. A partir dos anos oitenta, a Morfologia Matemtica comeou tambm a ser difundida nos Estados Unidos e hoje um frtil campo de pesquisas, tanto tericas como prticas, sendo vigorosamente explorado em todo o mundo. No INPE, a Morfologia Matemtica comeou a ser estudada por volta de 1984, com a chegada de um engenheiro que participava de um programa de cooperao tcnica com a Franca, Christian Guichou. Em 1986, foi desenvolvido na Diviso de Processamento de Imagens do INPE um software de Anlise de Imagens baseado na Morfologia Matemtica e denominado ANIMA, por vrios membros daquela Diviso. Embora esse software fosse relativamente simples, oferecendo apenas algumas operaes em imagens binrias, j era possvel obter resultados interessantes, como deteo de bordas, contagem de partculas, etc. No ano seguinte, um dos autores deste livro, Junior Barrera, completou com brilho sua dissertao de mestrado na rea. Os estudos prosseguiram, com o outro autor do livro, Dr. Gerald J. F. Banon, liderando uma srie de seminrios sobre os trabalhos de Petros Maragos. Alm de alguns resultados aplicados, envolvendo a eliminao de listras em imagens do satlite Spot, ou a avaliao do desempenho de detetores morfolgicos de bordas que haviam sido propostos por Robert M. Haralick, importantes resultados tericos foram obtidos pelos autores deste livro, com a generalizao de decomposies para operadores invariantes por translao (i.t.) e isotnicos, para o caso de operadores i.t., mas no necessariamente isotnicos e a extenso desses resultados originalmente formulados para subconjuntos, para o caso geral de transformaes quaisquer entre dois reticulados completos. O autor deste prefcio teve, portanto, a oportunidade de ser testemunha do empenho e da capacidade demonstrados pelos Drs. Banon e Barrera, que agora oferecem comunidade acadmica a oportunidade de, pela primeira vez, ter disponvel em lingua portuguesa um texto dedicado Morfologia Matemtica. So Jos dos Campos, maio de 1994. Nelson D. A. Mascarenhas. Esta segunda edio contem pequenas correes de datilografia que no alteraram a paginao da primeira edio. Estas correes foram o resultado de uma releitura cuidadosa e de observaes transmetidas pelos leitores ao autor. Com o avano da tecnologia durante este quatro anos, agora possvel disponibilizar a ntegra deste livro de forma eletrnica. So Jos dos Campos, julho de 1998. Gerald J. F. Banon e Junior Barrera.

vi

Agradecimentos
Ns gostaramos de agradecer a vrias pessoas que contribuiram com as nossas pesquisas em Morfologia Matemtica, que iniciamos em meados da dcada de oitenta no Instituto Nacional de Pesquisas Espaciais (INPE) e que acabaram levando confeco deste livro. Em primeiro lugar, gostaramos de agradecer ao Dr. Cristian Guichou, que, durante o seu estgio de cooperao cientfica no INPE em 1984, nos apresentou s idias e ferramentas computacionais desenvolvidas pelos pesquisadores do Centre de Morphologie Mathmatique de lcole Superieur des Mines de Paris (CMM). Gostaramos de agradecer tambm ao Dr. Jean Serra, diretor do CMM e um dos fundadores da Morfologia Matemtica, pela inestimvel colaborao nesses anos, nos acolhendo por diversas vezes em Fontainebleau; nos visitando e oferecendo um curso no SIBGRAPI92, e, sobretudo, nos propiciando contnuo acesso s publicaes mais recentes do CMM. Agradecemos ao Dr. Roberto de Alencar Lotufo e aos alunos Adriano Nagel Schimidt Rodrigues e Luis Fernando dos Santos Vieira, bolsista Maria Celeste Vilela e ao cooperante francs Guy Pilchen pela colaborao no desenvolvimento do software de Morfologia Matemtica, que est sendo distribudo junto com este livro. Gostaramos de agradecer ainda a colaborao dos alunos de psgraduao dos cursos de Morfologia Matemtica, que oferecemos desde 1991 no INPE e desde 1992 na USP. Em especial, agradecemos aos alunos Ana Lucia Bezerra Candeias e Joo Ricardo de Freitas Oliveira pela reviso de parte do texto deste livro, e Maria Magdalena F. Rodriguez pelas discusses enrequecedoras sobre o assunto: Topologia versus Topologia Digital. Somos gratos tambm pelo apoio recebido da direo da Diviso de Processamento de Imagens do INPE, nas pessoas dos engenheiros Ricardo Cartaxo e Gilberto Cmara Neto, e do Departamento de Cincia da Computao da USP (DCCUSP), nas pessoas do Dr. Imre Simon e do Dr. Routo Terada.. Somos especialmente gratos aos organizadores desta IX Escola de Computao e em particular seu presidente, o Dr. Silvio Lemos Meira, pela oportunidade de divulgar este livro. No poderamos deixar de agradecer tambm aos colegas do INPE e do DCCUSP que direta ou indiretamente colaboraram com o desenvolvimento deste trabalho. Em especial, nossos sinceros agradecimentos e nossa eterna amizade ao Dr. Nelson D. A. Mascarenhas que to gentilmente aceitou prefacear este livro. Finalmente, gostaramos de deixar o nosso agradecimento a nossas esposas e filhos pelo apoio e compreenso durante todos esses anos. Durante o periodo de elaborao deste livro, os autores receberam o apoio do CNPq (Conselho Nacional de Desenvolvimento Cientfico e Tecnolgico) e da FAPESP (Fundao de Amparo Pesquisa do Estado de So Paulo), atravs do processo 91/35322. Estado de So Paulo, maio de 1994. Gerald J. F. Banon e Junior Barrera.

Contedo
Lista de figuras Lista de tabelas 1 2 Introduo lgebra e imagens binrias 2.1 Subconjuntos versus funes binrias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2 lgebras de Boole dos subconjuntos e das funes binrias . . . . . . . . . . . . . . . . . . . . . . . 2.3 Extenso das operaes de unio e interseo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.4 Reticulados dos subconjuntos e das funes binrias . . . . . . . . . . . . . . . . . . . . . . . . . . . . Operadores sobre subconjuntos 3.1 Operadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2 Dilataes, eroses, antidilataes e antieroses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3 Operaes sobre operadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Operadores invariantes por translao 4.1 Translaes e transposio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2 Adio e subtrao de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3 Dilataes e eroses invariantes por translao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.4 Dilataes e eroses condicionalmente invariantes por translao . . . . . . . . . . . . . . . . . . Dualidades entre dilataes e eroses 5.1 Conexo de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.2 Dualidade por complementao. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Aberturas e fechamentos 6.1 Aberturas e fechamentos algbricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.2 Aberturas e fechamentos morfolgicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.3 Aberturas e fechamentos invariantes por translao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.4 Aberturas e fechamentos condicionalmente invariantes por translao . . . . . . . . . . . . . . Topologia Digital 7.1 Conexidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7.2 Buraco, borda, rvore de adjacncia e homotopia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii 7 10 16 21 31 34 36 51 65 71 79 81 90 99 110 114 128 131 142 ix xiii

viii 8

CONTEDO Mquinas Morfolgicas 8.1 Linguagem morfolgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8.2 Elementos estruturantes primitivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8.3 Descrio de uma Mquina Morfolgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Caixa de ferramentas da Morfologia Matemtica 9.1 Programas de nvel 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9.2 Programas de nvel 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9.3 Programas de nvel 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

151 154 156

173 180 201

A Caixa de ferramentas MMach A.1 Sistema KHOROS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.2 Arquitetura da caixa de ferramentas MMach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.3 Contedo da caixa de ferramentas MMach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.4 Avaliao de desempenho dos algoritmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Bibliografia ndice

217 218 219 220 221 225