Universidade Federal de Uberlândia Sociedade Brasileira de ... · Neste ano, os minicursos programados são os seguintes: Criptografia, A Geometria Absoluta, Equações ... Maiores

Universidade Federal de Uberlândia

Sociedade Brasileira de Matemática Aplicada e Computacional

Congresso de Matemática Aplicada e Computacional

Universidade Federal de Uberlândia - MG



Boas VindasBoas VindasBoas VindasBoas Vindas

O Congresso de Matemática Aplicada e Computacional da Região Sudeste (CMAC-SE) é promovido pela Sociedade Brasileira de Matemática Aplicada e Computacional (SBMAC), com o apoio das Regionais 6, 7, 8, 9 e 10 da SBMAC, que englobam a região sudeste do país, e da Faculdade de Matemática da Universidade Federal de Uberlândia. O CMAC-SE 2011 é um evento derivado do conhecido Congresso Nacional de Matemática Aplicada e Computacional - CNMAC, cuja a trigésima terceira edição foi realizada em 2010. A partir de então, o CNMAC ocorrerá apenas em anos pares. Nos anos ímpares ocorrerão os CMAC das regiões Norte, Nordeste, Sul, Sudeste e Centro-oeste. Este evento tem por objetivo a divulgação da Matemática Aplicada e Computacional a um público amplo e diversificado; a formação de capital humano na área da Matemática Aplicada e Computacional; a integração, a troca de experiências e o intercâmbio acadêmico e científico entre professores, alunos e pesquisadores atuantes no país e no exterior. Desta forma, as atividades programadas para este evento são, também, diversificadas e incluem: conferências, minicursos, mesas-redondas, oficina, sessões de painéis de pesquisa e de iniciação científica; minissimpósios nas áreas de Otimização Combinatória, Computação Bio-inspirada, Planejamento Ótimo de Experimentos e Simulação de Escoamentos Multifásicos. Neste ano, os minicursos programados são os seguintes: Criptografia, A Geometria Absoluta, Equações de Diferenças e Sistemas com Aplicações Biológicas, Métodos Estocásticos de Otimização: Algoritmos Genéticos e Evolução Diferencial, Problemas Inversos em Transferência de Calor e Computação Paralela para Restauração de Imagens de Microscópios de Força Atômica. Teremos também uma oficina sobre o software GeoGebra, ferramenta útil que pode ser utilizada no ensino da Matemática na Educação Básica. Agradecemos o apoio das agências de fomento CAPES, FAPEMIG e CNPq e também da Dot.Lib, Petrobrás, PROEX e UFU pela valiosa contribuição. Aproveitamos a oportunidade para dar as boas vindas a todos os participantes do CMAC-SE 2011 e desejar um ótimo congresso. Esperamos que sejam dias muito produtivos, e que o evento promova a integração dos pesquisadores e profissionais da área, criando novas parcerias e difundindo novas ideias. A comissão organizadora do evento está à disposição para esclarecer quaisquer dúvidas e ajudá-los no que for necessário.

Desejamos um excelente congresso a todos!

Uberlândia, setembro de 2011. Comissão Organizadora

“Não é paradoxo dizer que nos nossos momentos de inspiração mais teórica

podemos estar mais próximos possível de nossas aplicações mais práticas.”

A.N. Whitehead 1861-1947

CMAC 2011 – 20 a 23 de Setembro



ApoioApoioApoioApoio

Organização:

Faculdade de Matemática - UFU

DAMAT - Diretório Acadêmico da Faculdade de Matemática

PETMAT - Programa de Educação Tutorial da Faculdade de Matemática

Regionais 6, 7, 8, 9 e 10 da SBMAC – Sociedade Brasileira de Matemática

Apoio:




Comissões OrganizadorasComissões OrganizadorasComissões OrganizadorasComissões Organizadoras

COMITÊ CIENTÍFICO Rodney Bassanezi (UFABC) – Coordenador João Paulo Góis (UFABC) Valdemir Garcia Ferreira (USP - São Carlos) Célia Zorzo Barcelos (UFU) Gastão de Almeida Braga (UFMG) Helenice de Oliveira Florentino Silva (UNESP, Botucatu-SP) Maria Claudia Silva Boeres (UFES) Márcio Borges (LNCC) Sandra Malta (LNCC) Simone de Almeida Delphim Leal (UNIFAP) Igor Leite Freire (UFABC)

COORDENADORES REGIÃO SUDESTE

Regional 06 (Espírito Santo, Rio de Janeiro) Coordenadora: Profa. Renata Del Vecchio Regional 07 (Minas Gerais) Coordenador: Prof. César Guilherme de Almeida; Vice-Coordenador: Prof. Jorge Andrés Julca Ávila Regional 08 (São José dos Campos, Guaratinguetá, Casa Branca, Taubaté, Pindamonhangaba, Cachoeira Paulista, Potim, Campos do Jordão) Coordenador: Prof. José Carlos Becceneri Vice-Coordenador: Prof. Igor Freire Regional 09 (Araçatuba, Catanduva, Franca, Ilha Solteira, Jales, Pereira Barreto, Presidente Prudente, Ribeirão Preto, Santa Fé do Sul, São José do Rio Preto, Votuporanga) Coordenadora: Profa. Vanessa A. Botta Regional 10 (Americana, Araraquara, Bauru, Botucatu, Campinas, Itatiba, Limeira, Mogi Guaçu, Piracicaba, Pirassununga, Rio Claro, Santa Bárbara d'Oeste, São Carlos, Sorocaba Coordenador: Prof. Antônio Roberto Balbo




Comissões Comissões Comissões Comissões OrganizadorasOrganizadorasOrganizadorasOrganizadoras

COMISSÃO LOCAL

Rosana Sueli da Motta Jafelice - Coordenadora Alessandro Alves Santana Ana Carla Piantella Ana Maria Amarillo Bertone Edmilson Rodrigues Pinto Fernando Antônio de Freitas Marcos Antônio da Câmara Mirian Fernandes Carvalho Araújo Walter dos Santos Motta Júnior Fabricio Alves Oliveira – discente do Grupo PETMAT Helder Tobias Silva Borges – discente do Diretório Acadêmico




SumárioSumárioSumárioSumário

Programação ............................................................................ 06

Mapa ........................................................................................ 10

Plenárias .................................................................................. 11

Palestras ................................................................................... 13

Minicursos ............................................................................... 19

Minissimpósios ........................................................................ 25

Mesas Redondas ...................................................................... 32

Oficina ..................................................................................... 33

Sessões Técnicas ...................................................................... 35

Sessões de IC – Painéis ............................................................ 48

Índice por Autor ........................................................................ 60

Apêndice ................................................................................... 65




6

Programação Programação Programação Programação

Terça-feira (20/09/2011)

Observações: 1) Será realizado o minissimpósio “Otimização Combinatória”, do dia 21 ao dia 23 de setembro, no anfiteatro C do Bloco 5O. Maiores informações nas páginas 25, 29 e 65. 2) Será realizado o minissimpósio “Métodos Numéricos para Simulação de Escoamentos Multifási-

cos”, nos dias 21 e 22 de setembro, no anfiteatro E do Bloco 5O. Maiores informações na página 25.

Horários Local Terça-feira (20/09/2011) 08:30 às 10:30

10:30 às 11:00

11:00 às 12:00

MA

NH

Ã

12:00 às 13:30 13:30 às 15:30 15:30 às 16:00

16:10 às 17:10

TA

RD

E

17:15 às 18:15 Anfiteatro do Bloco 3Q Inscrição e entrega

de material 18:30 às 20:00 Anfiteatro do Bloco 3Q Cerimonial de Abertura

NO

ITE

20:15 às 22:30 Saguão do anfiteatro 3Q Confraternização




7


Quarta-feira (21/09/2011)

Horários Local Quarta-feira (21/09/2011)

08:30 às 10:30

Anfiteatros:

1) Anf. A (Bloco 5O) 2) Anf. B (Bloco 5O) 3) Anf. da Biblioteca

Anfiteatro do Bloco 3Q; Anfiteatros D e F do Bloco 5O

Laboratório do Bloco 3Q

Minicursos: 1) Geraldo Diniz (UFMT) 2) Oswaldo Vernet (UFRJ) 3) Sezimária Saramago (UFU)

Sessão Técnica – apresentação de pôster

Oficina de GeoGebra – Jocelino Sato (UFU)

10:30 às 11:00 Saguão do Bloco 5O Café

11:00 às 12:00 Anfiteatro do Bloco 3Q

Conferência Plenária – Marcelo Viana (IMPA)

MA

NH

Ã

12:00 às 13:30 Almoço

13:30 às 15:30

Anfiteatros: 4) Anf. A (Bloco 5O) 5) Anf. B (Bloco 5O) 6) Anf. do Bloco 3Q

Minicursos: 4) Antônio Faleiros (UFABC) 5) Antônio José (UERJ) 6) Hélcio Orlande (UFRJ)


Anf. Do Bloco 3Q Palestra 1 – Rubens Sampaio (PUC-RJ)

16:10 às 17:10 Anf. A (Bloco 5O) Palestra 2 – Alexandre Francisco

(UFF-Volta Redonda) Anf. A (Bloco 5O) Mesa Redonda 1 – Fuzzy × Não-Fuzzy

TA

RD

E

17:15 às 18:15 Anf. Do Bloco 3Q Minissimpósio –

Computação Bio-inspirada

18:30 às 20:00 Anf. Do Bloco 3Q Assembleia da SBMAC

NO

ITE

20:15 às 22:30 Coquetel

Observações: 1) Membros da Mesa Redonda 1: João Frederico C. A. Meyer (Unicamp); Nélson Inforzato (UFTM) e Laécio Carvalho de Barros (Unicamp). 2) Palestrantes do minissimpósio de “Computação Bio-inspirada”: Gina Maira B. de Oliveira (UFU); Aurora Pozo (UFPR) e Fran Sergio Lobato (UFU).




8

Programação Programação Programação Programação Quinta-feira (22/09/2011)

Observação: Palestrantes do minissimpósio “Planejamento Ótimo de Experimentos”: Edmilson Rodrigues Pinto (UFU); José Carlos Costa da Silva Pinto (UFRJ); Luzia Aparecida Trinca (Unesp).

Horários Local Quinta-feira (22/09/2011)

08:30 às 10:30

Anfiteatros:








Anfiteatro do Bloco 3Q Palestra 3 –

Laécio Carvalho (Unicamp) 11:00 às 12:00

Anf. A (Bloco 5O) Palestra 4 –

Rubens Figueredo (Unesp – Bauru)

MA

NH

Ã

12:00 às 13:30 Almoço

13:30 às 15:30





Frederico Furtado (University of Wyoming) 16:10 às 17:10


Suani Pinho (UFBA)

Anf. A (Bloco 5O) Mesa Redonda 2 –

O papel da modelagem matemática ...

TA

RD

E


Minissimpósio – Planejamento Ótimo de Experimentos


Anf. da Biblioteca Anfiteatros do Bloco 5O

Reunião dos Comitês Temáticos

NO

ITE

20:15 às 22:30 Jantar por adesão




9


Sexta-feira (23/09/2011)

Horários Local Sexta-feira (23/09/2011)

08:30 às 10:30

Anfiteatros:









Paolo Piccione (USP – SP) 11:00 às 12:00


Ricardo Takahashi (UFMG)

MA

NH

Ã

12:00 às 13:30 Almoço

13:30 às 15:30




16:10 às 17:10 Anfiteatro do Bloco 3Q Conferência Plenária – Valder Steffen Jr.

(UFU)

TA

RD

E

17:15 às 18:15 Anfiteatro do Bloco 3Q Cerimônia de Encerramento e

Apresentação Cultural




10

MapaMapaMapaMapa




11

PlePlePlePlenárianárianárianáriassss

Dia Horário Local Conferência Plenária

21/09

11:00 às 12:00

Anf. do Bloco 3Q

Plenária 1 - Marcelo Viana (IMPA)

23/09

16:10 às 17:10

Anf. do Bloco 3Q

Plenária 2 - Valder Steffen Jr (UFU)

21/09 – 11:10 às 12:00 Plenária 1 - Anfiteatro do Bloco 3Q

Título: Matrizes aleatórias Palestrante: Marcelo Viana ([email protected])

Instituição: IMPA - RJ

Resumo:

Considere o seguinte jogo. É dado um conjunto finito de matrizes quadradas, por exemplo, de

dimensão dois. Sucessivamente, escolhemos uma matriz nesse conjunto, de acordo com uma

distribuição de probabilidade que também é dada. As matrizes selecionadas são multiplicadas,

gerando, portanto, uma sequência aleatória de matrizes. O teorema de Furstenberg-Kesten garante que

essa sequência aleatória tem uma taxa exponencial de crescimento (em norma) que é bem definida e,

de fato, determinística.

Como varia essa taxa de crescimento com os dados do problema, ou seja, com os coeficientes

da matriz e com a distribuição de probabilidade? O principal resultado, conjunto com Carlos Bocker,

afirma que essa dependência é contínua. Mas também mencionaremos alguns resultados que indicam

que isso não deveria ser verdade...




12

PlePlePlePlenárianárianárianáriassss

23/09 – 16:10 às 17:10 Plenária 2 - Anfiteatro do Bloco 3Q

Título: Resolvendo Problemas Inversos de Engenharia com Ferramentas de Otimização Palestrante: Valder Steffen Jr. ([email protected])

Instituição: Universidade Federal de Uberlândia – Uberlândia - MG

Resumo:

Técnicas de otimização vêm sendo utilizadas para resolver um número expressivo de problemas

inversos de engenharia. A determinação de parâmetros desconhecidos de modelos dinâmicos

representativos (também denominada como estimação de parâmetros), a obtenção de forças externas

que atuam sobre uma estrutura, a posição ótima de sensores e atuadores, as forças e torques a serem

impostos nas juntas de robôs para que o efetuador descreva uma trajetória prescrita, o balanceamento

de rotores flexíveis, são exemplos de situações onde tais técnicas são utilizadas. Neste trabalho, são

revisitadas técnicas de otimização que podem ser usadas como ferramentas capazes de encaminhar a

solução de problemas inversos, para, em seguida, abordar aplicações selecionadas em que tais técnicas

foram utilizadas com sucesso.




13

PalestrasPalestrasPalestrasPalestras

Dia Horário Local Palestra

Anf. do Bloco 3Q Palestra 1 – Rubens Sampaio (PUC-RJ)

21/09 16:10 às 17:10 Anf. A (Bloco 5O) Palestra 2 – Alexandre Francisco (UFF-Volta

Redonda) Anf. do Bloco 3Q Palestra 3 – Laécio Carvalho (Unicamp)

11:00 às 12:00 Anf. A (Bloco 5O) Palestra 4 – Rubens Figueredo (Unesp – Bauru)

Anf. do Bloco 3Q Palestra 5 – Frederico Furtado (University of Wyoming)

22/09 16:10 às 17:10

Anf. A (Bloco 5O) Palestra 6 – Suani Pinho (UFBA)

Anf. do Bloco 3Q Palestra 7 – Paolo Piccione (USP – SP) 23/09 11:00 às 12:00

Anf. A (Bloco 5O) Palestra 8 – Ricardo Takahashi (UFMG)

21/09 – 16:10 às 17:10 Palestra 1 - Anfiteatro do Bloco 3Q

Título: Modelagem Estocástica e Quantificação de Incertezas Palestrante: Rubens Sampaio ([email protected])

Instituição: PUC - RJ

Resumo:

In the modeling of dynamical systems, uncertainties are present and they must be taken into

account to improve the prediction of the models. Some strategies have been used to model

uncertainties and the aim of this work is to discuss two of those strategies and to compare them. This

will be done using the simplest model possible: a two d.o.f. (degrees of freedom) dynamical system. A

simple system is used because it is very helpful to assure a better understanding and, consequently,

comparison of the strategies. The first strategy (called parametric strategy) consists in taking each

spring stiffness as uncertain and a random variable is associated to each of them. The second strategy

(called nonparametric strategy) is more general and considers the whole stiffness matrix as uncertain,

and associates a random matrix to it. In both cases, the probability density functions either of the

random parameters or of the random matrix are deduced from the Maximum Entropy Principle using

only the available information. With this example, some important results can be discussed, which

cannot be assessed when complex structures are used, as have been done so far in the literature. One

important element for the comparison of the two strategies is the analysis of the samples spaces and

the discussion of how compare them.




14

PalestraPalestraPalestraPalestrassss

21/09 – 16:10 às 17:10 Palestra 2 - Anfiteatro A do Bloco 5O

Título: A Multiscale Mixed Method for Heterogeneous Porous Media Flow Problems Palestrante: Alexandre Santos Francisco ([email protected])

Instituição: Universidade Federal Fluminense - Volta Redonda - RJ

Resumo:

We are concerned with the development of numerical procedures for the fast and accurate

approximation of subsurface flows that can take advantage of heterogeneous (e.g., CPU-GPU clusters)

processing units. Such units are relatively inexpensive and have larger computational power (by one or

two orders of magnitude) than CPUs alone.

We develop a new multiscale mixed method to compute the velocity field in heterogeneous porous

media flows. This development is motivated by a non-overlapping iterative domain decomposition

procedure based on the Robin interface condition.

22/09 – 11:00 às 12:00 Palestra 3 - Anfiteatro do Bloco 3Q

Título: Sistemas Dinâmicos Fuzzy Palestrante: Laécio Carvalho de Barros ([email protected])

Instituição: IMECC – Unicamp, Campinas - SP

Resumo:

É comum nos depararmos com fenômenos que podem ser modelados por Equações Diferenciais

Ordinárias, cuja solução não é conhecida analiticamente. Neste caso, fazemos uso da Análise

Numérica para simular uma solução. Muitas vezes, principalmente em fenômenos biológicos, tais

“equações” são carregadas de incertezas do tipo estocástica ou devido à falta de conhecimento a

respeito do fenômeno. No primeiro caso é comum o uso das Equações Diferenciais Estocásticas (do

tipo Itô, por exemplo). O segundo caso tem sido tratado pelas Equações Diferenciais Fuzzy (EDF) que

será o tema de nossa palestra.

Há várias abordagens sobre EDF. Falaremos aqui algumas delas, com ênfase às que dão origem

aos modelos p-fuzzy. Os sistemas p-fuzzy tratam fundamentalmente da situação em que o campo de

direções é parcialmente conhecido, isto é, sabe-se qual o domínio do campo de direções. Porém, nesse




15


domínio, tal campo é conhecido apenas qualitativamente, segundo um especialista. Neste caso, uma

ferramenta que temos utilizado é a Teoria dos Conjuntos Fuzzy, mais especificamente, os

Controladores Fuzzy, os quais se utilizam da Lógica Fuzzy para "captar" matematicamente o

conhecimento do especialista (ou de uma base de dados). Para ilustrar a capacidade dos controladores

fuzzy, faremos uso dos mesmos, aliados aos métodos tradicionais de Análise Numérica, para simular

soluções (determinísticas) de sistemas p-fuzzy.

Em seguida, falaremos das diversas teorias de EDF. Veremos que em cada uma delas,

diferentemente dos sistemas p-fuzzy, as soluções são fuzzy no sentido que há uma família de curvas

determinísticas, cada uma com grau de pertinência, que compõem a solução fuzzy do problema. Os

conceitos serão ilustrados a partir de exemplos em dinâmica de populações ou epidemiologia.

22/09 - 11:00 às 12:00 Palestra 4 - Anfiteatro A do Bloco 5O

Título: Introdução ao Cálculo Fracionário Palestrante: Rubens F. Camargo(1) ([email protected])

Co-autor: Edmundo C. Oliveira(2) ([email protected])

Instituição: (1) Departamento de Matemática, Faculdade de Ciências – Unesp/Bauru; (2) IMECC – Unicamp, Campinas - SP

Resumo:

Apresentamos neste trabalho um estudo sistemático e detalhado sobre integrais e derivadas de

ordens arbitrárias, o assim chamado cálculo de ordem não-inteira, popularizado com o nome de

Cálculo Fracionário. Em particular, discutimos e resolvemos equações diferenciais e

integrodiferenciais de ordem não-inteira e suas aplicações em diversas áreas do conhecimento, bem

como apresentamos resultados inéditos, isto é, teoremas de adição, envolvendo as funções de Mittag-

Leffler. Após abordar as diferentes definições para a derivada de ordem não-inteira, justificamos o fato

de utilizarmos, em nossas aplicações, a definição de derivada conforme proposta por Caputo, mais

restritiva, e não a definição segundo Riemann-Liouville, embora seja esta a mais difundida. Nas

aplicações apresentamos uma generalização para a equação diferencial associada ao problema do

telégrafo na versão fracionária, cuja solução, obtida de duas maneiras distintas, deu origem a dois

novos teoremas de adição envolvendo as funções de Mittag-Leffler. Numa segunda aplicação,

discutimos o conhecido sistema de Lotka-Volterra na versão fracionária; por fim, introduzimos e resol-




16


vemos uma equação integrodiferencial fracionária, a assim chamada equação de Langevin

generalizada fracionária.

22/09 - 16:10 às 17:10 Palestra 5 - Anfiteatro do Bloco 3Q

Título: Permeability hysteresis effects in geologic CO2 sequestration Palestrante: Frederico Furtado ([email protected]).

Instituição: Department of Mathematics, University of Wyoming, Laramie, WY 82071-3036, USA.

Resumo: Relative permeability depends on wettabitlity properties of the fluids, the displacement process,

such as drainage or imbibition, and the displacement history. Hysteresis in relative permeability has a

strong influence on the ability of injected and resident fluids to flow. This suggests that we have to

consider relative permeability hysteresis in CO2 sequestration models. Here, we construct a

mathematical model to accommodate the drainage, imbibition and scanning cycles measured in

laboratory experiments of two-phase CO2/brine flow.

The system of partial differential equations for this model is fully nonlinear. Ignoring the

effects of capillary pressure, we solve the associated Riemann problem analytically and with state-of-

the-art numerical methods. The analytic solution of the Riemann problem is used to verify the

numerical simulations. The Riemann solutions generically display stationary discontinuities, which

might provide a mechanism for CO2 trapping.

The combined mathematical and computational investigation of two-phase CO2 /brine flow

suggests that the proposed hysteresis model provides a sound foundation for scientifically correct si-

mulations of the critical mechanism for CO2 sequestration due to gas trapping as a result of perme-

ability hysteresis.




17



Título: Modelagem Matemática da Resposta a Terapias do Câncer Palestrante: Suani T. R. Pinho ([email protected])

Instituição: Instituto de Física – Universidade Federal da Bahia

Resumo:

A dinâmica de crescimento de tumores vem sendo estudada amplamente do ponto de vista da

modelagem matemática e computacional através de diversas técnicas tais como: equações diferenciais

ordinárias e parciais e automatos celulares. Outro aspecto bastante explorado sob este ponto de vista

tem sido o controle do crescimento tumoral através das diferentes terapias isoladas ou combinadas.

Nesta palestra pretendemos apresentar alguns modelos de equações diferenciais ordinárias, que temos

desenvolvido, considerando a competição entre células normais e cancerosas e a ação predatória de

terapias tais como: quimioterapia, radioterapia e terapia anti-angiogênica comparando seus efeitos

isolado e combinado. Objetivamos apresentar quais as melhores estratégias para eliminar o tumor de

acordo com os modelos propostos.

23/09 - 11:00 às 12:00 Palestra 7 - Anfiteatro do Bloco 3Q

Título: Modelagem geométrica da Relatividade Geral Palestrante: Paolo Piccione ([email protected])

Instituição: IME – USP

Resumo:

Assim como a Geometria Riemanniana fornece uma modelagem da Mecânica Clássica, os

espaços-tempos da Relatividade Geral são modelados por variedades munidas de uma métrica de

Lorentz. Nessa palestra apresentarei algumas ideias básicas da Geometria Lorentziana e a interpretação

física de alguns dos resultados principais desta teoria. O objetivo final será o de apresentar uma versão

do teorema da singularidade de Penrose.




18



Título: Otimização Multicritério por Direção de Descida com Seção Áurea Multiobjetivo Palestrante: Ricardo Takahashi ([email protected])

Instituição: Departamento de Matemática, UFMG

Resumo:

Neste trabalho é apresentado um algoritmo para otimização multiobjetivo que é estruturado da

seguinte forma: (i) uma direção de descida é calculada, dentro do cone das direções factíveis de

descida, e (ii) uma busca unidimensional multiobjetivo é conduzida sobre tal direção, usando um novo

esquema de particionamento de segmentos por seção áurea multiobjetivo, o qual determina pontos que

são eficientes quando restritos à reta de busca, e que dominam o ponto atual. Esse procedimento de

busca unidimensional explora a estrutura do conjunto de soluções restritas-à-reta eficientes, que

apresenta uma taxa de compressão do segmento de busca que é maior que a do tradicional

procedimento de seção áurea mono-objetivo. O algoritmo proposto converge para pontos que

satisfazem condições necessárias de Pareto-otimalidade de primeira ordem (os pontos Pareto-críticos).

Resultados numéricos em dois problemas de projeto de antenas dão suporte à conclusão de que o

método proposto pode resolver robustamente problemas difíceis de otimização multiobjetivo não-

linear, com funções-objetivo definidas em termos de funções caixa-preta computacionalmente caras.




19

MinicMinicMinicMinicursoursoursoursossss

Manhã Anfiteatro A

(Bloco 5O)

Anfiteatro B

(Bloco 5O)

Anfiteatro da

Biblioteca

21/09 8:30 – 10:30

22/09 8:30 – 10:30

23/09 8:30 – 10:30

MC1

MC2

MC3

MC1 Equações de diferenças e sistemas com aplicações biológicas Prof. Dr. Geraldo Lúcio Diniz

Universidade Federal do Mato Grosso

Com o intuito de apresentar situações-problema, que possam servir de motivação para o uso de

equações de diferenças e sistemas de equações de diferenças e para o estudo de métodos de resolução

de problemas não lineares, com análise de estabilidade, é que se pretende oferecer este minicurso, cuja

proposta inclui o desenvolvimento de modelos discretos e suas aplicações a problemas biológicos. O

material desenvolvido para este curso tem o objetivo de complementar a formação dos graduandos e

de apresentar aos professores do ensino fundamental e médio um “ferramental matemático” que os

estimule a trabalhar a matemática de maneira mais contextualizada às situações cotidianas. O conteúdo

do curso consiste em: visão geral de alguns modelos matemáticos; solução de problemas reais da

biologia utilizando ferramentas matemáticas; resolução de problemas que recaiam em equações de

diferenças, enfatizando possíveis métodos de solução; estudo qualitativo do comportamento das

soluções de equações de diferenças; estudo de autovalores complexos na solução de equações de

diferenças e analogias entre as equações de diferenças e as equações diferenciais.

MC2 A Geometria Absoluta Prof. Dr. Oswaldo Vernet

Universidade Federal do Rio de Janeiro

O objetivo deste minicurso que vimos propor ao CMAC-SE 2011 é o de apresentar a estudantes e

professores de matemática, familiarizados e motivados com o estudo da geometria plana, dois

enfoques axiomáticos para sua fundamentação. O primeiro deles é devido aos esforços de Hilbert e

seus contemporâneos, ainda no fim do séc. XIX, apresentado em seu livro Grundlagen der Geometrie,




20


de 1899. Nesta obra, Hilbert propõe uma fundamentação para a geometria (na verdade, para a

geometria espacial) com base em menos de duas dezenas de axiomas, tendo sido um passo definitivo

no embasamento deste ramo da matemática, que abriu as portas para uma ampla discussão que se

promoveu posteriormente, no meio científico, acerca da axiomatização de outras teorias, culminando

com o famoso Teorema de Gödel. A segunda abordagem é devida a Hjelmslev, Hessenberg e

Bachmann, este último tendo conseguido, através de um avanço significativo a partir das idéias de seus

antecessores, expressar os fatos geométricos de maneira puramente algébrica, porém, como já

mencionamos, sem qualquer recurso à introdução de coordenadas, conforme já era feito na geometria

analítica bem anteriormente ao séc. XIX. O conteúdo do minicurso consiste em: apresentação do

tópico “Sistemas Axiomáticos e a Geometria”; estudo do Sistema Axiomático de Hilbert; uma breve

revisão de Teoria dos Grupos e apresentação do Sistema Axiomático de Bachmann.

MC3 Métodos estocásticos de otimização: Algoritmos Genéticos

e Evolução Diferencial Profa. Dra. Sezimária de Fátima Pereira Saramago

Profa. Dra. Milena Almeida Leite Brandão

Universidade Federal de Uberlândia

A otimização representa uma ferramenta importante para tomada de decisão na análise e projeto

de sistemas físicos, sendo aplicada em situações em que se desejam maximizar ou minimizar uma

função numérica de várias variáveis, num contexto em que podem existir restrições. Pode-se utilizar

otimização em várias áreas, como, por exemplo, no projeto de sistemas ou componentes, planejamento

e análise de operações, problemas de otimização de estruturas, otimização de forma, controle de

sistemas dinâmicos. A grande vantagem é determinar a melhor configuração de projeto sem ter que

testar todas as possibilidades envolvidas. Além disso, diminui o tempo dedicado ao projeto,

possibilitando o tratamento simultâneo de uma grande quantidade de variáveis e restrições de difícil

visualização gráfica ou tabular, possibilitando a obtenção de soluções não tradicionais com menor

custo.

Técnicas clássicas de otimização são confiáveis e possuem aplicações nos mais diferentes

campos de engenharia e de outras ciências. Porém, estas técnicas podem apresentar algumas

dificuldades numéricas e problemas de robustez relacionados com: a falta de continuidade das funções




21



a serem otimizadas ou de suas restrições, funções não convexas, multimodalidade, existência de ruídos

nas funções, necessidade de se trabalhar com valores discretos para as variáveis, existência de mínimos

ou máximos locais, etc. Assim, o estudo de métodos heurísticos, com busca randômica controlada por

critérios probabilísticos, reaparece como uma forte tendência nos últimos anos, principalmente devido

ao avanço dos recursos computacionais, pois um fator limitante destes métodos é a necessidade de um

número elevado de avaliações da função objetivo.

O objetivo deste trabalho é o de apresentar um estudo dos métodos de otimização naturais

denominados Algoritmos Genéticos e Evolução Diferencial. Para verificar a eficiência das técnicas

estudadas, são utilizadas funções matemáticas clássicas e alguns problemas de engenharia. Estes

métodos podem ser aplicados com eficiência a problemas de otimização multi-objetivo e na presença

de restrições.

Tarde Anfiteatro A

(Bloco 5O)

Anfiteatro B

(Bloco 5O)

Anfiteatro

do Bloco 3Q

21/09 13:30 – 15:30

21/09 13:30 – 15:30 22/09 13:30 – 15:30

MC4

MC5

MC6

MC4 Criptografia

Prof. Dr. Antonio Cândido Faleiros

Universidade Federal do ABC

Os métodos que serão apresentados neste capítulo fazem parte da era dos cifrários com lápis e

papel. Todos são inseguros contra um ataque via computador e podem ser decodificados por uma

análise paciente feita apenas com lápis e papel, sem o uso de qualquer dispositivo mecânico ou

eletrônico. Nosso objetivo é o de divulgar os primórdios desta empolgante área do conhecimento

humano e que, nesta era das comunicações através de ondas eletromagnéticas, seja pela televisão,

rádio, telefone ou internet, é uma ferramenta indispensável para manter a segurança e privacidade das

comunicações.



22


O público alvo irá se deparar com alguns programas de computador desenvolvidos para implementar

os métodos apresentados. Neles, não houve compromisso com a eficiência, mas com a compreensão e

legibilidade. Quem os escreveu não foi o programador, mas o professor. Na realização dos programas

foram usados o Mathematica, da Wolfram Research, e a linguagem C.

MC5 Fundamentos de Computação Paralela para a Restauração de Imagens de Microscópios de Força Atômica Prof. Dr. Antônio José Silva Neto

Prof. Dr. Dalmo Stutz

Universidade Estadual do Rio de Janeiro

A Microscopia de Força Atômica é uma técnica que permite a aquisição de imagens, em escala

nanométrica, da superfície de quase todo tipo de material. Nessa escala, as imagens costumam

apresentar uma relação sinal/ruído pobre, causada por efeitos degenerativos em sua qualidade,

provenientes do próprio equipamento e do processo de aquisição da imagem.

Para recuperar essas imagens, ou minimizar os efeitos da degradação, diversas técnicas vêm

sendo desenvolvidas e aplicadas. Dentre elas, uma técnica de restauração, que será descrita neste

minicurso, baseada na minimização do funcional de Tikhonov com uma família de termos de

regularização a um parâmetro, tem sido usada já há alguns anos com resultados bastante satisfatórios

no tratamento de imagens obtidas com o Microscópio de Força Atômica. Porém, o uso dessa técnica

exige um esforço computacional muito grande, que acaba resultando em um tempo de execução

relativamente elevado quando o programa que implementa o algoritmo de restauração é processado

serialmente. Além disso, à medida que os equipamentos eletrônicos aumentam as suas capacidades, as

imagens obtidas por esses equipamentos aumentam de resolução e, consequentemente, o esforço

computacional e o tempo gasto para analisar essas imagens e restaurá-las também aumentam.

Apesar do desempenho e a velocidade de processamento vir apresentando melhoras

significativas, esse aumento, porém, não ocorre suficientemente rápido frente à demanda por um maior

poder computacional que os usuários e as diversas áreas de conhecimento e pesquisa têm exigido no

passar dos anos. Isso ocorre, em parte, devido ao surgimento de novas demandas (restauração de

vídeos ao invés de imagens, por exemplo) e ao fato de que muitos problemas, que há anos exigiriam




23



demasiado tempo computacional para a execução nas máquinas disponíveis à época, hoje são factíveis

de serem resolvidos e podem ser processados, empregando-se os equipamentos atualmente disponíveis

no mercado.

Muitas vezes, o uso de equipamentos mais sofisticados e/ou dedicados é uma solução

empregada, para se atender a necessidade cada vez maior de poder de processamento. Entretanto, a

aquisição e a manutenção destes equipamentos possuem, normalmente, custos elevados que muitas

instituições não têm como pagar ou manter.

Como alternativa, técnicas de paralelismo e computação paralela são empregadas em

equipamentos mais baratos e/ou não dedicados com objetivo de buscar melhores desempenhos de

hardware e/ou software a um custo menor. Neste minicurso serão apresentados, portanto, alguns

fundamentos de computação paralela aplicados ao problema de restauração de imagens obtidas com

Microscópios de Força Atômica. Além disto, serão apresentadas estratégias de implementação paralela

do algoritmo de restauração, objetivando obter um aumento na velocidade de processamento e no

desempenho computacional. Também, será apresentado um novo método de busca do parâmetro de

regularização ótimo que, apesar de introduzir um esforço computacional ainda maior ao processo de

restauração, com um tempo maior de processamento, traz ao algoritmo uma habilidade automática de

busca do parâmetro de regularização que resulta em uma melhor solução para o problema. Ou seja,

tem-se então uma restauração de melhor qualidade em detrimento do tempo de processamento.

MC6 Problemas Inversos em Transferência de Calor Prof. Dr. Hélcio Rangel Barreto Orlande(1)

Prof. Dr. Gilmar Guimarães(2),

Prof. Dr. Marcelo José Colaço(1) Profa. Dra. Carolina Palma Naveira Cotta(1)

Prof. Dr. Valério Luiz Borges(2).

COPPE/Universidade Federal do Rio de Janeiro(1)

Universidade Federal de Uberlândia(2)



24

MinicMinicMinicMinicursoursoursoursossss CMAC 2011 – 20 a 23 de Setembro

O objetivo deste curso é o de apresentar os conceitos fundamentais e algumas técnicas de solução

de problemas inversos. Em função da experiência dos instrutores, exemplos práticos de solução de

problemas inversos serão dados na área de transferência de calor, envolvendo, de maneira geral, equações

diferenciais parciais parabólicas ou elípticas. O conteúdo do curso consiste em: definição de um

problema inverso; estudo de problemas bem-postos e mal-postos; apresentação de técnicas de regularização

e de métodos básicos de solução; estimativa de parâmetros; estudo de técnicas de otimização; abordagem

Bayesiana; solução no domínio da freqüência; apresentação da técnica dos observadores dinâmicos; estudo

do filtro de Kalman e do filtro de partículas.



25

MiniMiniMiniMinissssssssimpósiosimpósiosimpósiosimpósios

Dia e Horário Minissimpósio Local 21/09 08:30 – 10:30

08:30 – 12:00

13:30 – 18:00

17:15 – 18:15

Métodos Numéricos para Simulação de Escoamentos Multifásicos

Otimização Combinatória


Computação Bio-inspirada

Anfiteatro E do Bloco 5º

Anfiteatro C do Bloco 5O


Anfiteatro do Bloco 3Q

22/09 08:30 – 10:30

08:30 – 12:00

13:30 – 17:10

17:15 – 18:15

Métodos Numéricos para Simulação de Escoamentos Multifásicos



Planejamento Ótimo de Experimentos

Anfiteatro E do Bloco 5º



Anfiteatro do Bloco 3Q

Observação: a programação completa do minissimpósio “Otimização Combinatória” encontra-

se na página 63. A programação do minissimpósio “Métodos Numéricos para Simulação de

Escoamentos Multifásicos” será afixada em seu respectivo anfiteatro.

MS1 Computação Bio-inspirada Organizadora e palestrante: Gina Maira Barbosa de Oliveira, FACOM – UFU

Palestrantes: Aurora Pozzo, UFPR; Fran Sergio Lobato, Engenharia Química – UFU COMPUTAÇÃO BIO-INSPIRADA: METÁFORAS E MÉTODOS (Gina Maira Barbosa de

Oliveira)

Computação Bio-inspirada se refere a sistemas computacionais projetados pelo homem com

alguma inspiração biológica. Seu principal objetivo é o desenvolvimento de ferramentas matemáticas e computacionais para a solução de problemas complexos em diversas áreas do conhecimento. Uma característica comum aos sistemas computacionais inspirados na natureza é o uso metafórico dos conceitos, princípios e mecanismos subjacentes aos sistemas naturais. As redes neurais artificiais, precursoras das técnicas bio-inspiradas, se baseiam em modelos e teorias sobre os neurônios biológicos e suas interações em uma rede neuronal natural. As técnicas da computação evolutiva, por outro lado, se baseiam numa metáfora da teoria da evolução natural, além dos mecanismos de hereditariedade na reprodução dos seres vivos. As técnicas de inteligência coletiva se inspiram no comportamento




26

MinissMinissMinissMinissimpósiosimpósiosimpósiosimpósios

coletivo de insetos sociais, tais como as colônias de formigas e os enxames de abelhas. Os sistemas imunológicos artificiais, por sua vez, se baseiam nas iterações dos homônimos naturais. Os autômatos celulares se inspiram em vários exemplos de interações locais na natureza que provêem um comportamento emergente. Na palestra serão apresentados três exemplos de métodos bio-inspirados - as redes neurais, os algoritmos genéticos e o algoritmo de colônia de formigas - discutindo seus aspectos gerais e exemplos de aplicação.

ALGORITMOS EVOLUTIVOS MULTIOBJETIVOS (Aurora Pozo)

A maioria dos problemas de otimização do mundo real são multiobjetivo, isto é há necessidade

de maximizar ou minimizar várias funções que normalmente estão em conflito entre si (problemas

multiobjetivos ou MOPs, Multiobjective Optimization Problems). Devido à falta de soluções

metodológicas adequadas os problemas multiobjetivo no passado este foram tratados como

monobjetivo. Entretanto, há diferenças fundamentais nos princípios de funcionamento de algoritmos

de otimização mono e multiobejtivo. Assim as técnicas utilizadas para resolver MOPs não se

restringem normalmente a encontrar uma solução única e sim um conjunto de soluções de

compromisso entre os múltiplos objetivos. Os algoritmos evolucionários são utilizados na otimização

multiobjetivo basicamente por três razões: (i) o conceito de população permite atender a necessidade

de se encontrar múltiplas soluções; (ii) os métodos que preservam nichos podem ser explorados para

encontrar soluções diversas; (iii) o paralelismo explícito possibilita acelerar a busca através de

execuções em paralelo. E, de uma forma geral as mudanças básicas em relação ao algoritmo canônico

são: (i) a modificação na computação da aptidão de um dado indivíduo levando em consideração o

conceito de dominância e as múltiplas funções objetivo; (ii) ênfase na seleção de soluções não-

dominadas para alcançar a convergência para a fronteira de Pareto e a ênfase na seleção de soluções

distintas para se obter diversidade na fronteira de Pareto. Na palestra se abordará conceitos básicos de

otimização multiobjetivos, os algoritmos Evolutivos multiobjetivos clássicos e finalmente um exemplo

de aplicação.

ALGORITMO DE COLÔNIA DE VAGALUMES PARA PROBLEMAS MULTI-OBJETIVOS (Fran Sergio Lobato)

Nos últimos anos, o desenvolvimento de metodologias para a resolução do problema de

otimização multi-objetivo tem atraído a atenção da comunidade científica e acadêmica. Neste cenário

destacam-se os métodos bio-inspirados na natureza devido à: (i) concepção conceitual simples, (ii)

facilidade de implementação, (iii) por não demandarem o uso de derivadas, (iv) por enfatizarem a

busca global e (v) pela sofisticação dos computadores a baixos custos. O interesse por esta linha de




27

Miniss Miniss Miniss Minissimpósiosimpósiosimpósiosimpósios

pesquisa justifica-se pela simples razão que a própria natureza tem evoluído através de milhões de

anos, dando soluções otimizadas a todos os problemas naturais que ocorrem. Então, por que não

aprender com ela? Dentre estas estratégias bio-inspirados, o Algoritmo de Colônia de Vagalumes

(Firefly Algorithm), cuja concepção conceitual esta fundamentada na característica bioluminescente de

vagalumes, notórios por suas emissões luminosas, tem-se destacado na resolução do problema de

otimização mono-objetivo. Neste contexto, esta palestra tem por objetivo apresentar uma metodologia

fundamentada na extensão do Algoritmo de Colônia de Vagalumes para problemas mullti-objetivos,

através da incorporação de dois operadores ao algoritmo original: os mecanismos de ordenamento por

rank e truncamento de soluções. A metodologia proposta é aplicada em uma série de problemas

matemáticos clássicos que possuem solução analítica, e no projeto de sistemas de engenharia. Os

resultados obtidos serão confrontados com aqueles encontrados por outras estratégias evolutivas.

MS2 Planejamento Ótimo de Experimentos

Organizador e palestrante: Edmilson Rodrigues Pinto, FAMAT – UFU. Palestrantes: José Carlos Costa da Silva Pinto, Programa de Engenharia Química da COPPE/UFRJ; Luzia Aparecida Trinca, Instituto de Biociências de Botucatu – UNESP/Botucatu.

PLANEJAMENTO ÓTIMO DE EXPERIMENTOS PARA MODELOS LINEARES GENERALIZADOS E APLICAÇÕES (Edmilson Rodrigues Pinto)

A teoria de planejamento (desenho) ótimo de experimentos tem recebido bastante atenção da

comunidade acadêmica nos últimos anos, principalmente por sua aplicabilidade em várias áreas da

ciência e da indústria, especialmente nas indústrias química e farmacêutica. Uma das grandes

vantagens para a obtenção de desenhos ótimos é que eles permitem a estimação eficiente dos

parâmetros do modelo considerado, economizando tempo e dinheiro. Além disso, em situações onde os experimentos clássicos não podem ser usados, por exemplo, em alguns problemas de mistura com

restrições, desenhos ótimos, obtidos com ajuda de computadores, devem ser utilizados. A obtenção do

desenho ótimo está associada ao modelo considerado, ou seja, dado um modelo pode-se obter um

planejamento ótimo. Uma classe de modelos de grande importância no contexto da modelagem

estatística é a classe dos modelos lineares generalizados (MLG), com aplicações nas mais diversas

áreas do conhecimento. O objetivo dessa palestra é apresentar a teoria aproximada para obtenção de

desenhos ótimos para MLG e algumas aplicações. Tópicos avançados como a obtenção de desenhos




28


ótimos para MLG com parâmetro de dispersão variável e desenhos ótimos para MLG multivariados

também serão abordados.

PLANEJAMENTO EXPERIMENTAL PARA DISCRIMINAÇÃO DE MODELOS E ESTIMAÇÃO DE PARÂMETROS (José Carlos Pinto)

Os procedimentos usados para planejamento de experimentos em problemas de discriminação

de modelos e de estimação ótima de parâmetros em sistemas não lineares são normalmente tratados

como conjuntos independentes e complementares de técnicas de planejamento. Para conciliar os

objetivos perseguidos por esses dois conjuntos de técnicas de planejamento, propõe-se nesse trabalho o

uso de critérios de planejamento experimental baseados em medidas do ganho de informação obtido

quando novos experimentos são realizados. O critério de planejamento resultante nesse caso depende

dos volumes das regiões de confiança dos parâmetros estimados e apresenta várias vantagens

comparativas, como a conciliação dos objetivos de discriminação de modelos e estimação ótima dos

parâmetros e a fácil interpretação dos resultados numéricos em termos do conteúdo de desinformação

eliminada após a realização dos experimentos adicionais. Além disso, o critério proposto pode

acomodar facilmente procedimentos de planejamento multiobjetivo, como discutido nos exemplos.

Comparado a resultados prévios reportados na literatura, foi observado que o desempenho do novo

critério de planejamento resultou em número similar ou menor de experimentos realizados para

discriminar modelos e em parâmetros estimados com maior precisão.

DELINEAMENTOS ÓTIMOS PARA EXPERIMENTOS FATORIAIS: UMA CORREÇÃO NOS CRITÉRIOS USUAIS (Luzia A. Trinca)

Experimentos envolvendo vários fatores são realizados em várias áreas do conhecimento e a

teoria de delineamentos ótimos tem proporcionado bastante flexibilidade nas situações nas quais um

delineamento clássico não é possível. Em muitos casos, parte da análise dos resultados experimentais

envolve técnicas inferenciais como construção de intervalos de confiança e ou testes de hipóteses rela-

cionados aos parâmetros de um modelo de regressão. Existem vários critérios de delineamento que

podem ser usados para obter experimentos eficientes. No entanto, os critérios usuais não consideram

que o delineamento deve garantir a estimação não tendenciosa da variabilidade casual, ou seja, da

variabilidade do “erro puro”. Neste trabalho mostramos que os critérios usuais apresentam as

propriedades a eles atribuídas quando a variabilidade do erro puro é considerada conhecida. Quando

tal variabilidade tem que ser estimada através do experimento, outros critérios devem ser considerados.




29


Neste sentido, apresentamos modificações dos critérios usuais, assim como, a proposta de um

critério que combina várias propriedades, inclusive estimação do erro puro, particularmente útil

quando o experimento apresenta vários objetivos. Vários exemplos ilustrando a performance dos

novos critérios são apresentados.

Este trabalho foi desenvolvido em co-autoria com Steven G. Gilmour (University of

Southampton, UK).

MS3 Métodos Numéricos para Simulação de Escoamentos Multifásicos

Organizadores e palestrantes: Antônio Castelo Filho (ICMC/USP – São Carlos); Aristeu da Silveira Neto (FEMEC - UFU); Ricardo Sefaty (Petrobras). Palestrantes: Adenilso da Silva Simão (ICMC – USP), Fabrício Simeoni de Sousa (ICMC-USP), Mário Lizier (UFSCar) e João Paulo Gois (UFABC), dentre outros que ainda serão convidados.

MS4 Otimização Combinatória Organizadores: Helenice de Oliveira Florentino Silva (UNESP, Botucatu – SP); Geraldo Regis Mauri (UFES, Alegre – ES) e Antônio Roberto Balbo (UNESP, Bauru – SP).

A otimização combinatória é, atualmente, uma área de intensa pesquisa e suas aplicações têm

ocorrido em todos os ramos das Ciências. Esta área passou ultimamente por intensas e importantes

modificações. A capacidade de resolver problemas complexos melhorou muito devido a diversos

fatores, como o desenvolvimento de algoritmos heurísticos, aprimoramento de métodos exatos,

disponibilidade de softwares rápidos e confiáveis, baixo custo dos hardwares e o desenvolvimento de

linguagens de alto nível. Mesmo assim, a otimização combinatória ainda tem muitos desafios a serem

superados.

O objetivo do presente minissimpósio é reunir pesquisadores nacionais e estrangeiros, que

trabalhem com novas formulações em otimização combinatória e aplicações. Espera-se criar um fórum

de discussão de pesquisas ligadas à otimização combinatória dentro do CMAC – SE; integrar

pesquisadores desta área, dando possibilidades de novas colaborações; atrair interessados em temas

relacionados à otimização combinatória, de forma a dar dinamismo às discussões de pesquisa e

despertar interesse em jovens pesquisadores; proporcionar uma discussão sobre os recentes esforços




30


dos participantes, seus projetos, dificuldades e integrações de pesquisa.

OTIMIZAÇÃO EM REDES DE COMUNICAÇÃO (Geraldo Robson Mateus)

As técnicas de otimização tem se destacado na tomada decisão nas redes de comunicação.

Permitem explorar os diversos tipos de serviços e aplicações, tecnologias e topologias presentes nas

redes de telecomunicações, sensores, transporte, energia e complexas. Muitos são os problemas de

otimização em redes que demandam modelos estáticos e dinâmicos, algoritmos offline e online, exatos

e heurísticas. Serão identificados diversos problemas, explicitados os grandes desafios, possíveis

modelos e técnicas, o estado da arte, e também comparações de modelos e técnicas de otimização.

TÉCNICAS DE RELAXAÇÃO BASEADAS NA DIVISÃO EM CLUSTERS: APLICAÇÕES A

PROBLEMAS COMBINATORIAIS (Geraldo Regis Mauri)

Em geral, as relaxações de um problema visam tornar a sua resolução menos árdua. Um dos

casos mais comuns é baseado na remoção de um conjunto de restrições, consideradas “difíceis”, da

formulação do problema. A solução relaxada representa um valor limitante para a solução ótima de um

problema. Logo, essa abordagem é uma alternativa interessante para avaliar a proximidade de uma

solução (relaxada) em relação à solução ótima de um problema. Uma estratégia usada para relaxar um

problema é a sua divisão em problemas menores e com as mesmas características.

Considerando então um problema cujas restrições podem ser representadas por meio de um

grafo, uma divisão pode ser realizada pelo particionamento desse grafo em clusters formados por

vértices e arestas. Essa estratégia não garante a obtenção de uma solução viável para o problema

completo, pois algumas arestas são ignoradas. Entretanto, uma maneira de considerar essas arestas é

relaxá-las no sentido lagrangiano e encontrar um limitante dual de boa qualidade para o problema

completo. Essa estratégia, proposta recentemente, é conhecida como Relaxação Lagrangiana com

Clusters. Uma ideia similar é a Decomposição Lagrangiana com Clusters, que também consiste em

dividir o problema original em vários subproblemas. Porém, essa abordagem utiliza a criação de cópias

de alguns vértices do grafo e, nesse caso, apenas restrições que garantem a igualdade entre os vértices

originais e suas cópias são relaxadas no sentido lagrangiano. Assim, pretende-se apresentar e discutir

os preceitos básicos dessas duas alternativas de relaxação baseadas na divisão em clusters. Além disso,

propõe-se uma discussão acerca da utilização do algoritmo de subgradientes e da técnica de geração de

colunas para resolução do dual lagrangiano associado a essas relaxações. Por fim, serão apresentadas




31

Miniss Miniss Miniss Minissimpósiosimpósiosimpósiosimpósios

aplicações recentes dessas técnicas a diferentes problemas combinatoriais, como o Problema de

Rotulação Cartográfica de Pontos, o Problema de Programação Quadrática Binária Irrestrita, e outros.

O MÉTODO BRANCH-AND-PRICE APLICADO AO PROBLEMA DE

DIMENSIONAMENTO DE LOTES COM RESTRIÇÕES DE CAPACIDADE (Silvio Araujo)

Neste trabalho apresenta-se um procedimento para a obtenção de limitantes inferiores de boa

qualidade para o problema de dimensionamento de lotes com restrições de capacidade. O

procedimento é baseado na decomposição por períodos aplicada a uma reformulação do problema. O

problema mestre é resolvido com um método híbrido que combina decomposição Dantzig-Wolfe com

relação Lagrangiana. Por fim, desenvolve-se um método branch-and-price para a resolução do

problema e são apresentados resultados computacionais.

PROBLEMAS DE CORTE DE PEÇAS COM APROVEITAMENTO DE SOBRAS (Marcos

Nereu Arenales)

Nesta palestra revisamos abordagens clássicas para o problema de corte de peças, com ênfase à

modelagem matemática. Uma breve revisão da metologia é também apresentada. Em seguida,

estendemos algumas abordagens por considerar o aproveitamento de sobras, no qual o usuário define

tamanhos de peças que podem ser mantidos em estoque para serem utilizados em cortes futuros.

Embora o uso de sobras aproveitáveis seja bastante utilizado na prática e tenha sido citado em

trabalhos clássicos há mais de 30 anos, somente recentemente começam a surgir resultados de pesquisa

na literatura. Discutimos os casos uni e bidimensionais.

ALGUMAS ABORDAGENS DE SOLUÇÃO PARA O PROBLEMA DE MINIMIZAÇÃO DO

NÚMERO DE TROCAS DE FERRAMENTAS (Horácio Hideki Yanasse)

O problema de minimização de troca de ferramentas busca uma sequência de processamento de um conjunto de tarefas, de modo a minimizar o número de trocas de ferramentas requeridas. Algumas abordagens de solução para se resolver este problema são apresentadas e discutidas com relação as suas potencialidades e fraquezas.




32

MesaMesaMesaMesas s s s RedondaRedondaRedondaRedondassss

Dia e Horário Mesa Redonda Local

21/09 17:15 – 18:15

MR1

Anfiteatro A

(Bloco 5O)

22/09

17:15 – 18:15

MR2

Anfiteatro A

(Bloco 5O)

MR1 Fuzzy “versus” não-Fuzzy" em Biomatemática. Mediador e Participante: Prof. João Frederico C. A. Meyer

Participantes: Prof. Nélson Inforzato (Universidade Federal do Triângulo Mineiro)

Prof. Laécio Carvalho de Barros (Universidade Estadual de Campinas).

MR2 O papel da modelagem matemática e computacional no desenvolvimento cientifico, tecnológico e de inovação para o Brasil. Mediador e Participante: Geraldo Nunes Silva (Universidade Estadual Paulista – São José do Rio Preto) Participantes: Haroldo Fraga de Campos Velho (Instituto Nacional de Pesquisas Espaciais), Yuan Jin Yun (Universidade Federal do Paraná – Centro Politécnico – Curitiba).

CMAC 2011– 20 a 23 de Setembro



33

OficinaOficinaOficinaOficina

Dias e Horário Oficina Local

21/09, 22/09 e 23/09

08:30 – 10:30

Introdução ao GeoGebra


Título: Introdução ao GeoGebra Proponente: Jocelino Sato Instituição: Universidade Federal de Uberlândia – UFU

OBJETIVOS

Apresentar e explorar o GeoGebra como uma ferramenta interessante para o ensino-aprendizagem de

Matemática na Educação Básica. Desenvolver atividades que explorem o caráter dinâmico e a

potencialidade das visões algébrica e geométrica oferecidas, simultaneamente, pelo GeoGebra.

Explorar recursos deste software para produção de material didático (ilustrações em notas de aulas e

produções de applets em Java scripts).

DESENVOLVIMENTO

A oficina será realizada por meio de discussões de atividades práticas desenvolvidas diretamente no

laboratório de informática, permitindo assim que os participantes possam interagir com o GeoGebra.

Seu desenvolvimento será dividido em três partes.

Parte I: Recursos do GeoGebra via janela geométrica

O uso das ferramentas (recursos) do GeoGebra via mouse será explorado no contexto da Geometria

Dinâmica (Janela Geométrica). Essas ferramentas serão apresentadas no decorrer do desenvolvimento

de atividades de construções com régua e compasso, na resolução de problemas explorando o caráter

dinâmico do GeoGebra, em atividades abordando as construções de cônicas em atividades que façam

uso de transformações geométricas nas soluções de problemas.




34

OficinaOficinaOficinaOficina

Parte II: Recursos do GeoGebra via janela algébrica

No contexto algébrico faremos o uso das ferramentas via comando ou via mouse. Desenvolveremos

atividades relacionadas à geometria analítica plana e à trigonometria, ressaltando a importância das

visões simultâneas das duas janelas (geométrica e algébrica). A compreensão de muitos objetos e

problemas em matemática torna-se mais fácil quando se tem a sua representação geométrica, sendo

esta uma das orientações de Polya no processo de busca de uma solução (heurística) de um problema.

Parte III: Criando ilustrações e atividades interativas com o GeoGebra

Usando atividades desenvolvidas nas Partes I e/ou II mostraremos como usar uma ferramenta rápida e

eficaz na confecção de ilustrações (desenho de figuras e gráficos de funções) para textos matemáticos.

Também mostraremos como transformá-las em applets que podem ser vistos em qualquer browser

(por exemplo, Mozilla, Internet Explorer, Safari), com o Java instalado e ativado. Esses applets

fornecem interfaces gráficas passíveis de serem manipulados pelos alunos, instigando a curiosidade e a

descoberta dos conceitos matemáticos presentes nas construções apresentadas.




35

Sessões TécnicasSessões TécnicasSessões TécnicasSessões Técnicas

Quarta-feira (21/09/2011) ST14 – Minissimpósio de Otimização Anfiteatro C do Bloco 5O

08:30 – 10:30 08:30 - 08:45 Um método de Lagrangianos aumentados com formulação PHR e aplicações em

otimização de malhas Ana Paula Mazzini (ICMC – USP)

08:45 - 09:00 O uso da Programação Linear na separação de dois conjuntos de pontos (padrões)

por hiperplanos

Eberson Paulo Trevisan (Universidade Federal de Mato Grosso)

09:00 - 09:15 Métodos de Pontos Interiores e Branch and Bound em Problemas de Biomassa

Residual da Cana-de-Açúcar Antônio Roberto Balbo (D.Mat.-FC-UNESP-Bauru)

09:15 - 09:30 Otimização de Feixes de Condutores de Linhas de Transmissão para Minimização

dos Níveis de Campo Elétrico no Nível do Solo André Luiz Paganotti (Centro Federal de Educação Tecnológica de Minas Gerais) 09:30 - 09:45 Um Método Primal-Dual Barreira Logarítmica Modificada com Estratégia de Convergência Global Ricardo Bento Nogueira Pinheiro (UNESP – Campus de Bauru) 09:45 - 10:00 Sitema de Colônia de Formigas para Otimização Contínua: um Estudo para Problemas Nebulosos Luiza Amalia Pinto Cantão (UNESP - Campus Experimental de Sorocaba) 10:00 - 10:15 Discretização de Euler para controle ótimo impulsivo Daniella Porto (UNESP-São José do Rio Preto) 10:15 - 10:30 Otimização da concentração de misturas de herbicidas considerando a resistência de plantas daninhas Ulcilea Alves Severino Leal (UNESP)




36


Quarta-feira (21/09/2011) ST3 – Computação Científica, ST16 – Processamento de Sinais Anfiteatro D do Bloco 5O 08:30 - 09:38 08:30 - 08:35 ST16 Representação e Extensão de Sistemas Complexos

Fabiana Tristão Santana, Fágner Lemos Santana, Adrião Duarte Dória Neto, Regivan Hugo Nunes Santiago

08:37 - 08:42 ST16 Fundamentação Intervalar para Transformada Z Fabiana Tristão de Santana (Instituto Federal de Educação, Ciência e Tecnologia do

Rio Grande do Norte)

08:44 - 08:49 ST16 Relações entre Intervalos e Corpos Fabiana Tristão de Santana (Instituto Federal de Educação, Ciência e Tecnologia do

Rio Grande do Norte)

08:51 - 08:56 ST16 Extração de características do ruído emitido pela caneta ao assinar João Paulo Lemos Escola (Universidade de São Paulo)

08:58 - 09:03 ST16 O Uso da Matemática Intervalar no Processo de Quantização de Sinais Fabiana Tristão Santana, Fágner Lemos Santana, Adrião Duarte Dória Neto, Revigan

Hugo Nunes Santiago

09:05 - 09:10 ST16 Método Semi-Paramétrico para Inferência de Conectividade Não-Linear

entre Séries Temporais Lucas Massaroppe (Escola Politécnica da USP)

09:12 - 09:17 ST16 Coronary Artery Segmentation in CTA Using the Distance Transform Federico Javier Lopez Bertoni (Universidad Nacional de Asuncion)

09:19 - 09:24 ST3 Uma estratégia de restauração de imagens de microscopia de força atômica

utilizando CUDA para processamento paralelo Augusto Garcia Almeida (Instituto Federal do Rio de Janeiro)




37

Sessões TécnicasSessões TécnicasSessões TécnicasSessões Técnicas 09:26 - 09:31 ST3 Fluxo de Ricci, Energia e Entropia dos Buracos Negros: Um Estudo

Computacional Claudia Maria Gregorini Gonçalves Franchi (Unesp)

09:33 - 09:38 ST3 Contour-Point Signature: A New Descriptor for Matching Rigid Shapes with

a Single Closed Contour Waldemar Villamayor-Venialbo (Universidad Nacional de Asunción)

ST1 - Análise e Aplicações, ST8 - Matemática Aplicada à Física e ST12 – Métodos Numéricos e Aplicações Anfiteatro F do Bloco 5O 08:30 - 10:13

08:30 - 08:35 ST1 Hipersuperfícies do R4; invariantes por um subgrupo de isometrias com

curvatura escalar nula Túlio Guimarães, Jocelino Sato

08:37 - 08:42 ST1 Entrelaçamento de Zeros de Polinômios Ortogonais Fernando Rodrigo Rafaeli (FCT - UNESP)

08:44 - 08:49 ST1 Localização dos zeros de combinações lineares de polinômios Mirela Vanina de Mello (Instituto de Biociências Letras e Ciências Exatas-

IBILCE/UNESP)

08:51 - 08:56 ST1 Novas Classes de polinômios tipo Szegö e para-ortogonais Regina Litz Lamblém (UEMS)

08:58- 09:03 ST1 Funções q-hipergeométricas e polinômios ortogonais de Laurent Marisa de Souza Costa (Universidade Federal de Uberlândia)

09:05 - 09:10 ST1 Spectral Properties of a coupled system of Schrödinger equations with time-

periodic coefficients Ruy Coimbra Charão (Universidade Federal de Santa Catarina – UFSC)

09:12 - 09:17 ST1 Polinômios L-Ortogonais via problemas de Riemann-Hilbert Heron Martins Félix (UNICAMP)




38

Sessões Técnicas Sessões Técnicas Sessões Técnicas Sessões Técnicas

09:19 - 09:24 ST8 Traveling Waves and Breather Solutions for the Complex Ginzburg-Landau

Equation Gustavo Cruz Pacheco

09:26 - 09:31 ST8 Operador de Schrödinger Livre Vanderléa Rodrigues Bazão (FCT/UNESP - Presidente Prudente)

09:33 - 09:38 ST8 Simetrias de Lie e leis de conservação de equações do tipo Korteweg-de Vries Júlio Cesar Santos Sampaio (UFABC)

09:40 - 09:45 ST8 Modelagem de Segregação de Impurezas em Ligas Metálicas Danielle Gonçalves Teixeira (UERJ)

09:47- 09:52 ST8 Computação Quântica Topológica Via Anyons de Fibonacci Maicon Henrique Cunha (FEEC - UNICAMP)

09:52 - 09:59 ST8 Leis de conservação de equações diferenciais de evolução de terceira ordem Igor Leite Freire (UFABC)

10:01 - 10:06 ST8 Estudo analítico e computacional de um modelo matemático de circuito

elétrico envolvendo um memristor. Marluce da Cruz Scarabello (FCT/UNESP)

10:08 - 10:13 ST12 Estabilidade do método de Crank-Nicolson para as equações de Naiver-

Stokes José Alberto Cuminato (Instituto de Ciências Matemáticas e de Computação - USP)




39


Quinta-feira (22/09/2011)

ST12 - Métodos Numéricos e Aplicações ST3 – Computação Científica Anfiteatro do Bloco 3Q

08:30 - 10:10 08:30 - 08:35 Similaridades no estudo de imagens obtidas por microscopia de força atômica

utilizando a transformada de Fourier Alexandre Fioravante de Siqueira

08:37 - 08:42 Efeito da variação da energia de ativação sobre a estimação de parâmetros

cinéticos em processos não-isotérmicos Jorge Manuel Vieira Capela (IQ/Unesp)

08:44 - 08:49 O Método das Linhas na solução da Equação do Cabo Extensível Camila Gonçalves Costa (Faculdade de Ciências e Tecnologia - Unesp)

08:51 - 08:56 Aceleração da convergência do Método das Diferenças Finitas na resolução da Equação de Schrödinger unidimensional Luis Antonio da Silva Vasconcellos (Faculdade de Ciências - UNESP/Bauru) 08:58 - 09:03 Análise do Método das Linhas para a Resolução da Equação de Korteweg-de Vries Burgers Marilaine Colnago (FCT - UNESP) 09:05 - 09:10 Estudo Numérico do Método das Linhas utilizando a Equação do Cabo Inextensível Marilaine Colnago (FCT - UNESP) 09:12 - 09:17 Formulas for Normal Curvature, First Geodesic Curvature and ith Geodesic Torsion of the Implicit Curve in n-dimensions Osmar Aléssio (UFTM) 09:19 - 09:24 Condição periódica de fronteiras para uma Equação Cauchy-Poisson: Discussões e aplicação ao modelo de Grad-Shafranov da física de plasmas espaciais Magda Kimico Kaibara (Universidade Federal Fluminense)

09:26 - 09:31 Ferramentas matemáticas para modelagem da temperatura com aplicação em Graus-dias Paulo Roberto Isler (UNESP-Botucatu)




40


09:33 - 09:38 Uma Revisão dos Métodos Variacionais para Segmentação Soft de Imagens em

Várias Regiões Vinicius Ruela Pereira Borges (Universidade Federal de Uberlândia)

09:40 - 09:45 A Computational Method for Void Fraction Estimating José Humberto Zani

09:47 - 09:52 Simulação numérica 2D e 3D de escoamentos com tensão superficial Felipe Montefuscolo (Univerdidade de São Paulo)

09:55 - 10:00 Estudo das Características de Assimetria em Matrizes Elementares na Análise de

Padrões Gradientes Roberto Affonso da Costa Junior (UNIFEI)

10:02 - 10:10 ST3 Simulação Discreta - Análise das Ações e das Permissões em Comando e

Controle para a Defesa Aérea Donizetti F. Louro (ITA - Instituto Tecnológico de Aeronáutica)

ST2 – Biomatemática, ST5-Controle e Teoria de Sistemas Anfiteatro D do Bloco 5O

08:30 - 10:00 08:30 - 08:35 ST2 Contaminação Metropolitana do Rio Cuiabá: Modelagem e Simulação de Cenários Luiz Fernando de Moraes Campos Filho (UFMT) 08:37 - 08:42 ST2 Modelagem matemática aplicada a ecologia de paisagens Claudia Pio Ferreira (Unesp) 08:44 - 08:49 ST2 Redes complexas nos formigueiros: diferentes topologias Claudia Pio Ferreira (Unesp) 08:51 - 08:56 ST2 Comportamento evolutivo de organismos bentônicos interativos na presença do sedimento Paulo César Carmona Tabares (IMECC - UNICAMP) 08:58- 09:03 ST2 Modeling Chagas Disease and Control Measures Maria de Lourdes Esteva (UNAM)




41

Sessões TécnicasSessões TécnicasSessões TécnicasSessões Técnicas 09:05 - 09:10 ST2 Análise Algébrica do Código Genético através do Diagrama de Hasse e do Reticulado Booleano Anderson José de Oliveira (FEEC - Unicamp) 09:12 - 09:17 ST2 Dinâmica Populacional Interativa da Mosca-dos-chifres (Haematobia irritans) na Presença de um Predador: Simulações Computacionais. Miguel Tadayuki Koga (UNICAMP / UNEMAT) 09:19 - 09:24 ST2 Aplicação do método de Takagi-Sugeno-Kang em modelos farmacocinéticos multicompartimentais Juliana Menegotto, Laecio Carvalho Barros 09:26 - 09:31 ST2 Análise algorítmica de métodos de determinação de estruturas tridimensionais de proteínas Virginia Silva da Costa (COPPE/UFRJ) 09:33 - 09:38 ST2 Métodos numéricos integrados à lógica Fuzzy e método estocástico para solução de EDP's: uma aplicação à dengue Graciele Paraguaia Silveira, Laecio Carvalho Barros 09:40 - 09:45 ST5 Invexidade Generalizada em Controle Ótimo Não-Suave Valeriano Antunes de Oliveira (UNESP - S. J. do Rio Preto) 09:47 - 09:52 ST5 Comparação entre métodos variacional e genético para problemas de controle estocástico Carlos Alexandre Silva (Universidade de São Paulo) 09:55 - 10:00 ST5 Controle Ótimo por Modos Deslizantes para Sistemas Multivariáveis de Tempo Discreto Igor Breda Ferraço (EESC - USP/São Carlos) 10:02 - 10:10 ST5 Condição necessária para a existência de solução dos sistemas lineares singulares sujeitos a saltos Markovianos Amanda Liz Pacífico Manfrim (UNESP)

ST9 - Matemática Discreta Anfiteatro F do Bloco 5O

08:30 - 09:52 08:30 - 08:35 Polígono Canônico de Fricke Associado ao Ladrilhamento {24l-4;4} Luiz Carlos Gabriel Filho (Universidade Federal de Montes Claros(UNIMONTES)) 08:37 - 08:42 Solving an Andrews's problem José Plínio de Oliveira Santos (UNICAMP)




42

Sessões TécnicasSessões TécnicasSessões TécnicasSessões Técnicas 08:44 - 08:49 Partições Planas e Sobrepartições Elen Viviani Silva 08:51 - 08:56 Números q-binomiais e Representação como Matriz de Duas Linhas Cecília Pereira Andrade 08:58 - 09:03 Solução de Problemas Envolvendo Paridade em Partição Kênia Cristina Pereira Silva 09:05 - 09:10 Sobre centralidade de autovetor em grafos Leandro Quintanilha de Freitas (PEP/COPPE - UFRJ) 09:12 - 09:17 Grafos que geram emparelhamento de arestas de polígonos com 12g-6 arestas Gheyza Ferreira da Silva (Universidade Federal de Minas Gerais) 09:19 - 09:24 Construção e análise de códigos esféricos com boas taxas binárias Lígia Rodrigues Bernabé Naves (IFRJ) 09:26 - 09:31 Um estudo de reticulados q-ários na métrica de Lee Luciana Yoshie Tsuchiya (Unicamp) 09:33 - 09:38 Reticulados Hiperbólicos Mergulhados Isometricamente no Espaço Euclidiano: análise de distância mínima Laís Bássame Rodrigues (Universidade Federal de Uberlândia) 09:40 - 09:45 Reticulados densos nas dimensões 2-8 com diversidade máxima Agnaldo Ferrari, Grasiele Cristiane Jorge, Sueli Irene Rodrigues 09:47 - 09:52 Bons Códigos de Grupo Comutativo via o Quociente de Reticulados Carina Alves (UNESP - Campus de Rio Claro)




43


Quinta-feira (22/09/2011) – Parte da Tarde ST14 – Minissimpósio de Otimização Anfiteatro C do Bloco 5O

16:10 – 18:10

16:10 - 16:25 Geração de colunas com o uso de retalhos no processo de corte de estoque

unidimensional com sobras de material aproveitáveis Adriana Cristina Cherri (Faculdade de Ciências, UNESP - Bauru)

16:25 - 16:40 O Problema de Corte Bidimensional envolvendo peças do tipo L

Andrea Carla Gonçalves Vianna (UNESP - Bauru)

16:40 - 16:55 Algoritmo Genético em Problemas de Rotação de Culturas Angelo Aliano Filho (Universidade Estadual Paulista) 16:55 - 17:10 Rendezvous Maneuvers with minimal ∆V Denilson Paulo Souza dos Santos (INPE) 17:10 - 17:25 A função Lagrangiana Barreira Penalidade para resolução de problemas não lineares Edméa Cássia Baptista (Unesp - Bauru) 17:25 - 17:40 Estudo de um modelo de otimização para o problema de transporte dos resíduos da cana de açúcar Silvely Salomão (UNESP Pres. Prudente) 17:40 - 17:55 Algoritmo de Colônia de Abelhas para o Problema de Dimensionamento de Lotes Multiestágio com Limitação de Capacidade Maristela Oliveira dos Santos (Instituto de Ciências Matemáticas e de Computação - USP) 17:55 - 18:10 O método de pontos interiores no planejamento da radioterapia Andréa Camila dos Santos Martins (Unesp)




44


Sexta-feira (23/09/2011)

ST13 - Modelagem Matemática e Aplicações Anfiteatro do Bloco 3Q

08:30 - 10:00 08:30 - 08:35 Métodos numéricos no cálculo de graus-dia Helenice de Oliveira Florentino (Unesp)

08:37 - 08:42 Sistemas Fuzzy Aplicados ao Estudo da Luminescência de Ions de Neodímio Daniela Portes Leal Ferreira, Rosana Motta Jafelice, Elias Olveira Serqueira 08:44 – 08:49 Modelo Matemático da Pirólise de Pneus Usados Ângela Patricia Grajales Spilimbergo (UNIJUÍ)

08:51 - 08:56 Uma abordagem para o problema de transporte multimodal fuzzy Juliana Verga (FEEC - UNICAMP) 08:58 – 09:03 Analysis of scales for flameless combustion Roberto Carlos Rodriguez Muguerza (Instituto Nacional de Pesquisas Espaciais)

09:05 – 09:10 Análise qualitativa de um modelo de crescimento de tumor de câncer com interação entre células normais e tumorais. Marluci Cristina Galindo (FCT/UNESP)

09:12 - 09:17 Método Espectronodal para Modelagem Computacional da Difusão de Nêutrons Monoenergéticos em Geometria Planar Ralph dos Santos Mansur (Universidade do Estado do Rio de Janeiro) 09:19 – 09:24 Análise da influência do número de parâmetros a ser estimados na equação de Van Genuchten José Alves Bezerra Neto (UFERSA)

09:26 - 09:31 Simulação Numérica Euleriana de Escoamentos Gás-Sólido em Riser com Dimensões Reduzidas Aplicando Malhas Refinadas. Fernando Luiz Pio dos Santos (Instituto de Biociências/UNESP)

09:33 – 09:38 Asymptotic analysis of a di ffusion flame established in a porous medium Max Akira Endo Kokubun (Instituto Nacional de Pesquisas Espaciais)

09:40 – 09:45 Aplicação da metodologia Método da Fronteira Imersa/Modelo Físico Virtual (MFI/MFV) para modelagem de fronteiras imersas não fechadas Santos Alberto Enriquez-Remigio




45



09:47 – 09:52 Morfologia Intervalar X Morfologia Fuzzy: Uma Análise Comparativa Marcia Maria Cruz, Regivan Hugo Nunes Santiago

ST7 - Matemática Aplicada à Engenharia, ST17 - Ensino Anfiteatro D Bloco 5O

08:30 - 10:00 08:30 – 08:35 G-Linearidade e Grupos de Simetrias Edir Júnior Ferreira Leite (Universidade Federal de Uberlândia)

08:37 – 08:42 Grupo Fundamental e Tesselações Simétricas Hiperbólicas Edir Júnior Ferreira Leite (Universidade Federal de Uberlândia)

08:44 – 08:49 Modelo do Aluno para o Ambiente Educacional Multiagentes Educ-MAS Raquel Cupolillo Simões de Sousa (Universidade do Estado do Rio de Janeiro)

08:51 – 08:56 Elaboração de Gráficos Box-Plot em Planilhas de Cálculo Marisa Veiga Capela (IQ/UNESP/Araraquara) 08:58 – 09:03 Sobre o Projeto Klein de Matemática em Lingua Portuguesa José Antonio Salvador, Yuriko Yamamoto Baldin, Eleni Bisognin 09:05 – 09:10 A utilização do computador no ensino de Matemática na Educação de Jovens e Adultos Adriana de Oliveira Dias (Universidade Estadual de Goiás)

09:12 – 09:17 O tradicional e as metodologias alternativas no ensino da Matemática Patrícia Maria dos Santos (Universidade Estadual do Norte Fluminense) 09:19 – 09:24 Caracterização da fronteira da região de estabilidade de sistemas dinâmicos autônomos não lineares na presença de pontos de equilíbrio quase-hiperbólicos Fabíolo Moraes Amaral (Instituto Federal de Educação, Ciência e Tecnologia da Bahia) 09:26 – 09:31 Study of a electromechanical pendulum with average method Masayoshi Tsuchida (IBILCE/UNESP/São José do Rio Preto) 09:33 – 09:38 Aplicação de Misturas Gaussianas na Análise e Modelagem de Tráfego VoIP Cheila Mendes de Oliveira (Universidade Federal de Goiás) 09:40 – 09:45 Um estudo de Modelos de Contorno Ativo Diego Venâncio Thomaz (FCT/UNESP) 09:47 – 09:52 Um Algoritmo Híbrido baseado em Pontos Interiores e Algoritmos Genéticos para o Problema de Despacho Elétrico Ótimo com Restrições de Rampa Dênis Emanuel da Costa Vargas



46

Sessões TécnicaSessões TécnicaSessões TécnicaSessões Técnicassss CMAC 2011 – 20 a 23 de Setembro

09:55 – 10:00 Desenvolvimento Pseudo-Espectral de Fourier para Escoamentos Bifásicos: Implementação e Verificação Mariana Fernandes dos Santos Villela (Universidade Federal de Uberlândia)

ST10 - Mecânica dos Fluidos e Aplicações, ST4 - Computação Gráfica, ST11 - Métodos Estocásticos e Estatísticos, ST15 - Problemas Inversos

Anfiteatro F Bloco 5 O

08:37 - 10:00 08:37 – 08:42 Problema Creep-Térmico: Formulação Unificada para Modelos Cinéticos com base nas condições de contorno generalizada Cinara Ewerling da Rosa, Rosenei Felippe Knackfuss 08:44 – 08:49 Application of new polynomial upwind schemes to Rayleigh-Taylor instability Miguel Antônio Caro Candezano (USP) 08:51 – 08:56 Simulação de escoamentos incompressíveis usando função racional para aproximar termos convectivos Juliana Bertoco (USP) 08:58 – 09:03 Utilização do Polinômio de Hermite do Quinto Grau como Esquema ‘‘Upwind'': Aplicação em Escoamentos com Superfícies Livres Rodolfo Junior Pérez Narváez (USP) 09:05 – 09:10 Assessment of curvature approximation methods in the simulation of viscous biological membranes Italo Valença Mariotti Tasso (USP) 09:12 – 09:17 Caraterização de formas através de pontos salientes Marcos Aurélio Batista (Universidade Federal de Goiás) 09:19 – 09:24 Recuento de amastigotes de Trypanosoma cruzi y Leishmania sp por procesamiento computacional de imágenes microscópicas José Luis Vazquez Noguera (Facultad Politecnica - Universidad Nacional de Asuncion) 09:26 – 09:31 Detección automática de células con micronúcleos por etiquetación de componentes Mario Roberto Monges Olmedo (Universidad Nacional de Asunción) 09:33 – 09:38 Análise Estocástica aplicada aos Tempos de Chegada de Aeronaves do Aeroporto Internacional de Manaus Victor Vermehren Valenzuela (UFPE)



47



09:40 – 09:45 A New Parameter Choice Rule for Optimization Models for Inverse Problems with Poisson Noise Elias Salomão Helou Neto (ICMC/USP) 09:47 – 09:52 Avaliação inicial de uma abordagem para compressão de imagens baseada em sistemas de funções iteradas Glauco dos Santos Reis, Pedro Paulo Balbi de Oliveira



48

Sessões de IC Sessões de IC Sessões de IC Sessões de IC –––– Painéis Painéis Painéis Painéis

Quarta-feira (21/09/2011) 21/09 - 8:30 às 10:30 Saguão do Bloco 5O

ST1 – Análise e Aplicações

Continuidade Absoluta de Funções Convexas

(P-01) Flavio Lima de Souza, Luís Antônio Fernandes Oliveira

Zeros de Polinômios Ortogonais do Tipo Sobolev

(P-02) Gustavo de Toledo Siqueira, Fernando Rodrigo Rafaeli

Ponto Fixo de Banach (P-03)

Mariane Pigossi, Roberto Almeida Prado

Zeros dos Polinômios Ortogonais Gerados por uma Modificação na Função Peso (P-04)

Douglas Yugi Bocal Harada, Fernando Rodrigo Rafaeli

Elementos geométricos associados ao problema do círculo mínimo

(P-05) Rafaela Neves Bonfim, Walter dos Santos Motta Neto, Ana Carla Piantella

Redução da Integral de Riemann-Stieltjes à Integral de Riemann (P-06)

Janaina Pedroso Zanchetta

ST3 – Computação Científica

Identificação de petrofácies deposicionais em reservatórios de hidrocarbonetos via algoritmos de agrupamento

(P-07) Juliana Tonoli Cevolani, Leonardo Costa Oliveira, Leonardo Goliatt, Egberto Pereira




49


Um estudo do Reordenamento de Matrizes Esparsas através do Problema do Caixeiro Viajante e seu efeito no Produto Matriz-vetor

(P-08) Marcos Vinicius Caus Couto, Maria Claudia Boeres

Interface Gráfica para Integração do Processo de Análise de Imagens Oceânicas do Sensor SAR Transportado em Satélite

(P-09) Brunno Figueirôa Goldstein, Bruno da Silva Brazil

ST7 – Matemática Aplicada à Engenharia

Bifurcación ferroresonante por la saturación magnética

(P-10) César Francisco Bogado Martínez, Walter Causarano, Christian E. Schaerer Recuperação Avançada de Petróleo pela Injeção de Glicerina Bruta em Reservatórios de Múltiplas Camadas

(P-11) Delaynne Terezinha Grillo Freitas Garcia, Carlos Alexandre Pedrosa, Adolfo Puime Pires

ST9 – Matemática Discreta

Expansão de funções em frações contínuas

(P-12) Joabe Oliveira Santos, Marcos Antônio da Câmara

ST11 – Métodos Estocásticos e Estatísticos

MHC, Recombinação e Diversidade Genética

(P-13) Thamara Carvalho Coutinho, Telles Timóteo da Silva O Processo de Moran com Saltos Markovianos no Tamanho Populacional

(P-14) Maria Rita Meyer Ferraz da Costa, Telles T. da Silva, Alexandre C. L. Almeida




50

SSSSessões de IC essões de IC essões de IC essões de IC –––– Painéis Painéis Painéis Painéis

ST12 - Métodos Numéricos e Aplicações

Discretização da Equação de Poisson para Aplicação em Eletroosmose

(P-15)

Mario Luiz Previatti de Souza Um programa com interface gráfica para o estudo de soluções para problemas de ponto de sela

(P-16) Italo Cristiano Nievinski Lima, Luiz Mariano Carvalho Solução de Sistemas Lineares com Processamento Paralelo

(P-17) Fábio Rodrigues Silva, José Laércio Doricio, Homero Ghioti da Silva

ST13 - Modelagem Matemática e Aplicações

Teoria Qualitativa das Equações Diferenciais Ordinárias no Estudo da Interação

entre Espécies

(P-18)

Brythnner Monteiro Delfino, Valdair Bonfim

Modelagem Matemática e Computacional da dinâmica da Hanseníase

(P-19)

Fábio Brito Moreira, Suani Tavares Rubim de Pinho, Ligia Regina Sansigolo Kerr

Modelo Matemático da Trafega do Vinho

(P-20) Fernanda Tumelero, Ediana Cimadon, Luana Fransozi Curva de Reação do Processo Uma Ferramenta simples e útil para o Modelamento Dinâmico de Sistemas Industriais

(P-21) Rodrigo Santos de Oliveira, Estevão dos Santos Gedraite, Sergio M. da S. Neiro, Rubens Gedraite, Leo Kunigk




51

Sessões Sessões Sessões Sessões de IC de IC de IC de IC –––– Painéis Painéis Painéis Painéis

ST14 - Otimização

Estudo de algumas Estratégias da Evolução Diferencial

(P-22)

Natália Caixeta Rocha

Planejamento para fundições: uma aplicação do método das K-melhores mochilas

(P-23)

Murilo Soares Pinheiro, Franklina Maria Bragion de Toledo

Modelo para Condição de Descida em Algoritmos de Programação Não Linear

(P-24) Ranielle Felipe Brito de Freitas, Moisés Rodrigues Cirilo do Monte

ST17 - Ensino

Isotermas da Equação de Van der Waals: Uma aplicação do Geogebra

(P-25)

Wilson Tiago da Fonseca, Moisés Rodrigues Cirilo do Monte Um modelo simplificado para ondas sonoras complexas

(P-26)

Eduardo Peixoto de Oliveira, Walter dos Santos Motta Júnior Curvas Pedais via Geometria Dinâmica

(P-27) Fabricio Alves Oliveira, Dulce Mary de Almeida Conceitos de Estatística Descritiva através da resolução de problemas para o ensino fundamental

(P-28)

Jéssica Scavazini Resende Modelando uma caixa de sabão em pó

(P-29) Andrea Cardoso, Bruna S. C. Franco, Maira J. R. Oliveira, Karina K. Abreu, Nathália P. Santos, Juliana R. Carvalho, Michele M. Sacramento, Rejiane A. Calixto, Daniela O. Santos




52


Quinta-feira (22/09/2011) 21/09 - 8:30 às 10:30 Saguão do Bloco 5 O


Equações Diferenciais Parciais de Primeira Ordem e Aplicações (P-01)

Rafael Ferreira de Camargos Sousa, Valdair Bonfim

Interpretação Física dos Zeros dos Polinômios Ortogonais de Jacobi (P-02)

Fernando Rodrigo Rafaeli, Jonas Antonio Padovani Ederli

Consequência da Convergência Dominada: A Regra de Leibniz (P-03)

Flavio Lima de Souza, Luís Antônio Fernandes Oliveira

Polinômios Ortogonais e Equações Diferenciais Ordinárias (P-04)

Mariana Aparecida Delfino de Souza, Cleonice Fatima Bracciali

Introdução aos Sistemas Dinâmicos Discretos (P-05)

Gregório Luís Dalle Vedove Nosaki, Márcio Ricardo Alves Gouveia

ST2 – Biomatemática

Quimioterapia e Modelagem Matemática em Câncer (P-06)

Vinicius A. D. Almeida, Lucas M. C. Pinto, Paulo F. A. Mancera, Diego S Rodrigues

Avaliação da similaridade entre genótipos de pimenta a partir de técnica estatística multivariada

(P-07) Karolline Alves Cardoso




53

SesSesSesSessões de IC sões de IC sões de IC sões de IC –––– Painéis Painéis Painéis Painéis

ST6 – Matemática Aplicada à Economia e Finanças

Adaptação do indicador de sustentabilidade Painel de Sustentabilidade utilizando lógica fuzzy para o município de Rio Branco-AC

(P-08) Antonio Carlos Fonseca Pontes Júnior, Antonio Carlos Fonseca Pontes, Isaac Dayan Bastos da Silva, Michael Kennedy Valente Gondim

ST7 – Matemática Aplicada à Engenharia Simulação Numérica de Fluxo de Gás Utilizando os Modelos de Forchheimer Quadrático e Cúbico

(P-09) Chafic Chartuni Cabral da Cruz, Grazione de Souza Boy, Adolfo Puime Pires

O Modelo de Richards Aplicado ao Processo de Aperto de Elementos de Fixação

(P-10) Fábio Aparecido Marins, Sidineia Barrozo, Marcus José Witzler, Roberto Garcia

ST8 – Matemática Aplicada à Física

Álgebras de Lie e aplicações

(P-11) Igor Leite Freire, Priscila Leal da Silva O Cálculo Variacional e o Problema da Baquistócrona

(P-12) Alisson de Carvalho Reinol, Kátia Aiko Nishiyama Alves, José Roberto Nogueira, Suetônio de Almeida Meira

ST11 – Métodos Estocásticos e Estatísticos Mutação e Flutuação Markoviana do Tamanho Populacional no Processo de Wright-Fisher (P-13) Elizabeth Jardim Ramos Almeida, Telles Timóteo da Silva, Alexandre Celestino Leite Almeida




54

Sessões de IC Sessões de IC Sessões de IC Sessões de IC –––– Painéis Painéis Painéis Painéis Ajuste de modelos de séries temporais para estudo consumo interno de leite do Brasil

(P-14) Valiana Alves Teodoro, Mirian Fernandes Carvalho Araújo, Lúcio Borges de Araújo

ST12– Métodos Numéricos e Aplicações

Estudos sobre a estabilidade numérica de métodos de diferenças finitas.

(P-15) Hugo Leonardo França, Adriano Takata, Cassio Oishi

On the Parareal method for the wave equation

(P-16) Eduardo Antonio de Los Santos Nuñez, Juan Emilio Gavilán Garay,

Estimativa do Erro na Interpolação Linear por Partes

(P-17) Fernando Gomes de Andrade, Luís Antônio Fernandes Oliveira

Estudo sobre o aumento da ordem de precisão de funcionais integrais dependentes da solução de EDPs via equação adjunta (P-18) Alessandro Alves Santana, Rafael Aparecido Carvalho Souza

ST13– Modelagem Matemática e Aplicações

Análise matemática do comportamento de um tumor submetido à imunoterapia (P-19) Vanessa Avansini Botta Pirani, Edilaine Silva, Icaro Silva Ajuste de Modelo Matemático à Cinética da Remoção de Resíduos em Sistemas de Limpeza CIP (P-20) Ana Paula Pereira Reis, Fernanda F. Pires, Rubens Gedraite Modelo de Otimização para Alocação de Links em um Sistema 3G (P-21) Bruno Quirino de Oliveira, Maria José Pereira Dantas, Marllon Thiago Lopes dos Santos, Marcos Antônio de Sousa Contato Entre Curvas (P-22) Cirilo Gonçalves Junior, Antonio Carlos Nogueira




55

Sessões de IC Sessões de IC Sessões de IC Sessões de IC –––– Painéis Painéis Painéis Painéis CMAC 2011 – 20 a 23 de Setembro

ST14– Otimização Uso do 'software' Maxima na Otimização de Processos Químicos por Programação Linear (P-23) Fabrício Rodrigues, Adilson José de Assis Sistemas de apoio a decisão em equipes desportivas (P-24) Diogo Gomes, Camila Poyatos, Silvely Nogueira de Almeida Salomão Néia Avaliação da Matriz Jacobiana utilizando Coloração de Grafos (P-25) Thiago Molino Moreira, Maria Cristina Rangel

ST16– Processamento de Sinais Morfologia matemática na delimitação de espaços (P-26) Nayara Rebelo dos Santos, Aldenize Ruela Xavier, Maria Cláudia Pereira dos Reis

ST17– Ensino Descobrindo o número pi com geometria dinâmica (P-27) Andrea Cardoso, José Carlos Souza Júnior, Marcelo M. A. Dias, Mateus P. S. Lima, Jarne D. Ribeiro, Helen M. P. Oliveira, Renata R. Marques, Nathália P. O. Rocha Jogos de matemática como metodologia de ensino/aprendizagem no 1° ano do ensino médio da rede pública-RJ. (P-28) Tamara Freitas de Souza Monteiro, Estefane Costa Rosa Domingues Tecnologia aplicada à Educação “Desafio da Hora” (P-29) Cristina Coutinho Oliveira, Aldine Bombonati Gonçalves, Dalva Maria de Oliveira Villarreal.



56


Sexta-feira (23/09/2011) 23/09 - 8:30 às 10:30 Saguão do Bloco 5O


Encontrando uma Conjugação

(P-01)

Gregório Luís Dalle Vedove Nosaki, Márcio Ricardo Alves Gouveia

Alguns Resultados sobre Caos em Sistemas Dinâmicos Aplicados à Equação de

Bernoulli

(P-02) Fernanda Alves Ozório, Luciano Barbanti, Aline Jardim Silva, Cristina Coutinho Oliveira

Sobre espaços vetoriais normados de dimensão finita (P-03)

Patrícia Yukari Sato Rampazo, José Roberto Nogueira, Suetônio de Almeida Meira

Caos e Efeito Hidra na Equação Discretizada de Verhulst (P-04)

Aline Jardim Silva, Cristina Coutinho Oliveira, Luciano Barbanti, Fernanda Alves Ozório, Berenice Camargo Damasceno Universalidade em matrizes aleatórias

(P-05) Guilherme Lima Ferreira da Silva Uma Introduçao às Curvas Elípticas

(P-06) William da Silva Pedretti, Jaime Edmundo Apaza Rodriguez

ST4 - Computação Gráfica

Mapeamento de Geometrias a partir de Texturas em Tempo Real

(P-07) Gabriel Nobrega de Lima, Harlen Costa Batagelo, João Paulo Gois




57


Introdução Sucinta à Triangulação de Delaunay e suas propriedades (P-08)

Jéssica Renata Nogueira, Sanderson L. Gonzaga de Oliveira

ST5 - Controle e Teoria de Sistemas Estudo Global de Sistemas Quadráticos com uma Parábola Invariante

(P-09)

Alisson de Carvalho Reinol, Marcelo Messias

ST7 - Matemática Aplicada à Engenharia

Uma Aplicação de Equações Diferenciais Voltada à Flexão de Vigas

(P-10) Marcela Pimenta Furtado, Lúcia Resende Pereira Bonfim Novos aspectos diferenciais do colapso da ponte suspensa Tacoma Narrows

(P-11) Antonio Carlos Evangelista

ST11 - Métodos Estocásticos e Estatísticos

Modelagem de dados genotípicos e alélicos através de processos com interação de alcance variável

(P-12) Andressa Cerqueira Aplicação de autovalores e autovetores em programas de melhoramento genético

(P-13)

Tatiana de Oliveira Gonçalves, Lúcio Borges de Araújo, Mirian Fernandes Carvalho Araújo, Priscila Faria

Aproximacão de pi via métodos de Monte Carlo

(P-14) Rafael Honório Pereira Alves, Edmilson Rodrigues Pinto




58


ST12 - Métodos Numéricos e Aplicações

Resolução da equação de Burgers utilizando a metodologia pseudo-espectral de Fourier

(P-15)

Ana Luiza Almeida Santos, Leonardo Queiroz Moreira, Felipe Pamplona Mariano,

Aristeu da Silveira Neto

Método Misto e Híbrido Adaptado para Malha Não Uniforme

(P-16)

Carlos Gustavo Lima Barreto, César Guilherme de Almeida

Modelagem Matemática do Escoamento em um Fluido (água) utilizando Interpolação

Polinomial

(P-17) Lucas da Silva Ribeiro, Rosana Travessini, Denilson Baumgartner

ST13 - Modelagem Matemática e Aplicações

Modelo Multiparâmetro para Tomada de Decisões em Contratos Corporativos de Serviços de Telecomunicações sob Demanda Fuzzy e Tarifa Unitária

Multiníveis (P-18)

Marllon Thiago Lopes dos Santos, Maria José Pereira Dantas, Bruno Quirino de Oliveira, Marcos Antônio de Sousa Comparação de modelos para representação de poços na simulação numérica de reservatórios de petróleo

(P-19) Bismarck Gomes Souza Junior, Capico Enrique Pico Ortiz Dinâmica de Populações - uma aplicação ao Município de Teófilo Otoni, MG

(P-20) Jéssica Lemos Gomes, Flávio Henrique dos Santos, Marcelo Alves Moreira, Jaqueline Maria da Silva Uso de EDO’s no Crescimento Demográfico do Município de Santa Fé do Sul através dos Modelos de Malthus e Verhulst

(P-21) Felipe dos Santos Sousa, Luiz Carlos Facundo Sanches




59


ST14 - Otimização

Estudo de Transferências Orbitais Utilizando Algoritmos Genéticos (P-22)

Noemi dos Santos Araújo, Denilson Paulo Souza Santos Otimização de Consumo de Combustível em Percurso de Automóvel

(P-23) Pedro Henrique Dalmolin de Vasconcelos Affonso A teoria da dualidade e o equilíbrio de Nash

(P-24) Lara Martins Barbosa, Marcos Antônio da Câmara, Letícia Ferreira Martins

ST16 - Processamento de Sinais

Estudo sobre os Parâmetros Acústicos Relevantes para a Verificação de Patologias Associadas à Voz

(P-25) Samara Garcia Mazucato, Rodolfo Mendonça da Silva, Sylvio Barbon Junior Morfologia matemática na detecção de área através de imagens digitais

(P-26) Nayara Rebelo dos Santos, Maria Cláudia Pereira dos Reis, Aldenize Ruela Xavier

ST17 – Ensino

Objeto de Aprendizagem a Matemática no Fim do Túnel

(P-27)

Arlindo J. de S. Júnior, Carlos Roberto Lopes, Deive Barbosa Alves, Douglas Carvalho de Menezes, Mario Lucio Alexandre

Funções Hiperbólicas: algumas aplicações em Geometria Diferencial

(P-28)

Bruno Tadeu Pereira Jacob, Dulce Mary de Almeida

Reciclando tópicos de Cálculo Numérico através de estimativas sobre produção de lixo doméstico

(P-29)

Guilherme Galina Loch, Alice Kozakevicius




60

ÍÍÍÍndicendicendicendice

A Adenilso da Silva Simão, 29 Adilson José de Assis, 55 Adolfo Puime Pires, 49, 53 Adriana Cristina Cherri, 43 Adriana de Oliveira Dias, 45 Adriano Takata, 54 Adrião Duarte Dória Neto, 36 Agnaldo Ferrari, 42 Aldenize Ruela Xavier, 55 , 59 Aldine Bombonati Gonçalves, 55 Alessandro Alves Santana, 54 Alexandre C. L. Almeida, 49 Alexandre Celestino Leite Almeida, 53 Alexandre Fioravante de Siqueira, 39 Alexandre Santos Francisco, 14 Alice Kozakevicius, 59 Aline Jardim Silva, 54, 56 Alisson de Carvalho Reinol, 53, 57 Amanda Liz Pacífico Manfrim, 41 Ana Carla Piantella, 48 Ana Luiza Almeida Santos, 58 Ana Paula Mazzini, 35 Ana Paula Pereira Reis, 54 Anderson José de Oliveira, 41 André Luiz Paganotti, 35 Andréa Camila dos Santos Martins, 43 Andrea Cardoso, 51, 55 Andrea Carla Gonçalves Vianna, 43 Andressa Cerqueira, 57 Ângela Patricia Grajales Spilimbergo, 44 Angelo Aliano Filho, 43 Antonio Cândido Faleiros, 21 Antonio Carlos Evangelista, 57 Antonio Carlos Fonseca Pontes Júnior, 53 Antonio Carlos Fonseca Pontes, 53 Antonio Carlos Nogueira, 54 Antônio Castelo Filho, 29 Antônio José Silva Neto, 22 Antônio Roberto Balbo, 29, 35 Aristeu da Silveira Neto, 29, 58 Arlindo J. de S. Júnior, 59 Augusto Garcia Almeida, 36 Aurelio Ribeiro Leite de Oliveira, 63 Aurora Pozo, 25

B Berenice Camargo Damasceno, 56 Bismarck Gomes Souza Junior, 58 Bruna S. C. Franco, 51 Brunno Figueirôa Goldstein, 49 Bruno da Silva Brazil, 49 Bruno Quirino de Oliveira, 54, 58 Bruno Tadeu Pereira Jacob, 59 Brythnner Monteiro Delfino, 50

C Camila Gonçalves Costa, 39 Camila Poyatos, 55 Capico Enrique Pico Ortiz, 58 Carina Alves, 42 Carlos Alexandre Pedrosa, 49 Carlos Alexandre Silva, 41 Carlos Gustavo Lima Barreto, 58 Carlos Roberto Lopes, 59 Carlos Souza Júnior, 53 Carolina Palma Naveira Cotta, 23 Cassio Oishi, 54 Cecília Pereira Andrade, 42 César Francisco Bogado Martínez, 49 César Guilherme de Almeida, 58 Chafic Chartuni Cabral da Cruz, 53 Cheila Mendes de Oliveira, 45 Christian E. Schaerer, 49 Cinara Ewerling da Rosa, 46 Cirilo Gonçalves Junior, 54 Claudia Maria Gregorini Gonçalves Franchi, 37 Claudia Pio Ferreira, 40 Cleonice Fatima Bracciali, 52 Cristina Coutinho Oliveira, 55, 56

D Dalmo Stutz, 22 Dalva Maria de Oliveira Villarreal, 55 Daniela O. Santos, 51 Daniela Portes Leal Ferreira, 44 Daniella Porto, 35 Danielle Gonçalves Teixeira, 38 Deive Barbosa Alves, 59 Delaynne Terezinha Grillo Freitas Garcia, 49




59

Denilson Baumgartner, 58 Denilson Paulo Souza dos Santos, 43, 59 Dênis Emanuel da Costa Vargas, 45 Diego S. Rodrigues, 52 Diego Venâncio Thomaz, 45 Diogo Gomes, 55 Donizetti F. Louro, 40 Douglas Carvalho de Menezes, 59 Douglas Yugi Bocal Harada, 48 Dulce Mary de Almeida, 51, 59 E Eberson Paulo Trevisan, 35 Ediana Cimadon, 50 Edilaine Silva, 54 Edir Júnior Ferreira Leite, 45 Edméa Cássia Baptista, 43 Edmilson Rodrigues Pinto, 27, 57 Edmundo C. Oliveira, 13 Eduardo Antonio de Los Santos Nuñez, 54 Eduardo Peixoto de Oliveira, 51 Egberto Pereira, 48 Elen Viviani Silva, 42 Eleni Bisognin, 43 Elias Olveira Serqueira, 42 Elias Salomão Helou Neto, 47 Elizabeth Jardim Ramos Almeida, 53 Estefane Costa Rosa Domingues, 55 Estevão dos Santos Gedraite, 50 F Fabiana Tristão Santana, 36 Fábio Aparecido Marins, 53 Fábio Brito Moreira, 50 Fábio Rodrigues Silva, 50 Fabíolo Moraes Amaral, 45 Fabricio Alves Oliveira, 51 Fabrício Rodrigues, 55 Fabrício Simeoni de Sousa, 29 Fágner Lemos Santana, 36 Federico Javier Lopez Bertoni, 36 Felipe dos Santos Sousa, 58 Felipe Montefuscolo, 40 Felipe Pamplona Mariano, 58 Fernanda Alves Ozório, 56 Fernanda F. Pires, 54 Fernanda Tumelero, 50 Fernando Gomes de Andrade, 54


Fernando Luiz Pio dos Santos, 44 Fernando Rodrigo Rafaeli, 37, 48, 52 Flávio Henrique dos Santos, 58 Flavio Lima de Souza, 48, 52 Fran Sergio Lobato, 25 Franklina Maria Bragion de Toledo, 51 Frederico Furtado, 16 G Gabriel Nobrega de Lima, 56 Geraldo Lúcio Diniz, 19 Geraldo Nunes Silva, 32 Geraldo Regis Mauri, 29, 30, 63 Geraldo Robson Mateus, 30, 64 Gheyza Ferreira da Silva, 42 Gilmar Guimarães, 23 Gina Maira Barbosa de Oliveira, 25 Glauco dos Santos Reis, 47 Graciele Paraguaia Silveira, 41 Grasiele Cristiane Jorge, 37 Grazione de Souza Boy, 53 Gregório Luís Dalle Vedove Nosaki, 52, 56 Guilherme Galina Loch, 59 Guilherme Lima Ferreira da Silva, 56 Gustavo Cruz Pacheco, 38 Gustavo de Toledo Siqueira, 48 H Harlen Costa Batagelo, 56 Haroldo Fraga de Campos Velho, 32 Hélcio Rangel Barreto Orlande, 23 Helen M. P. Oliveira, 55 Helenice de Oliveira Florentino Silva, 29, 44 Heron Martins Félix, 37 Homero Ghioti da Silva, 50 Horácio Hideki Yanasse, 31, 64 Hugo Leonardo França, 54 Hugo Nunes Santiago, 34 I Icaro Silva, 54 Igor Breda Ferraço, 41 Igor Leite Freire, 38, 53 Isaac Dayan Bastos da Silva, 53 Italo Cristiano Nievinski Lima, 50 Italo Valença Mariotti Tasso, 46




60


J Jaime Edmundo Apaza Rodriguez, 56 Janaina Pedroso Zanchetta, 48 Jaqueline Maria da Silva, 58 Jarne D. Ribeiro, 55 Jéssica Lemos Gomes, 58 Jéssica Renata Nogueira, 57 Jéssica Scavazini Resende, 51 Joabe Oliveira Santos, 49 João Frederico C. A. Meyer, 32, 60 João Paulo Gois, 29, 56 João Paulo Lemos Escola, 36 Jocelino Sato, 33, 37 Jonas Antonio Padovani Ederli, 46, 52 Jorge Manuel Vieira Capela, 39 José Alberto Cuminato, 38 José Alves Bezerra Neto, 44 José Antonio Salvador, 45 José Carlos Costa da Silva Pinto, 27 José Carlos Souza Júnior, 55 José Humberto Zani, 40 José Laércio Doricio, 50 José Luis Vazquez Noguera, 46 José Plínio de Oliveira Santos, 41 José Roberto Nogueira, 53, 56 Juan Emilio Gavilán Garay, 54 Juliana Bertoco, 46 Juliana Menegotto, 41 Juliana R. Carvalho, 51 Juliana Tonoli Cevolani, 48 Juliana Verga, 44 Júlio Cesar Santos Sampaio, 38 K Karina K. Abreu, 51 Karolline Alves Cardoso, 52 Kátia Aiko Nishiyama Alves, 53 Kênia Cristina Pereira Silva, 42 L Laécio Carvalho de Barros, 14, 32 Laís Bássame Rodrigues, 42 Lara Martins Barbosa, 59 Leandro Quintanilha de Freitas, 42 Leo Kunigk, 50 Leonardo Costa Oliveira, 48 Leonardo Goliatt, 48 Leonardo Queiroz Moreira, 58

Letícia Ferreira Martins, 59 Lígia Regina Sansigolo Kerr, 50

Lígia Rodrigues Bernabé Naves, 42 Luana Fransozi, 50 Lucas da Silva Ribeiro, 58 Lucas M. C. Pinto, 52 Lucas Massaroppe, 36 Lúcia Resende Pereira Bonfim, 57 Luciana Yoshie Tsuchiya, 42 Luciano Barbanti, 56 Lúcio Borges de Araújo, 54, 57 Luis Antonio da Silva Vasconcellos, 39 Luís Antônio Fernandes Oliveira, 48, 50, 54 Luiz Carlos Facundo Sanches, 58 Luiz Carlos Gabriel Filho, 41 Luiz Fernando de Moraes Campos Filho, 40 Luiz Mariano Carvalho, 50 Luiza Amalia Pinto Cantão, 35 Luzia Aparecida Trinca, 27 M Magda Kimico Kaibara, 39 Maicon Henrique Cunha, 38 Maira J. R. Oliveira, 51 Marcela Pimenta Furtado, 57 Marcelo Alves Moreira, 58 Marcelo José Colaço, 23 Marcelo M. A. Dias, 55 Marcelo Messias, 57 Marcelo Viana, 11 Marcia Maria Cruz, 45 Márcio Ricardo Alves Gouveia, 52, 56 Marcos Antônio da Câmara, 49, 59 Marcos Antônio de Sousa, 54, 58 Marcos Aurélio Batista, 46 Marcos Nereu Arenales, 31, 64 Marcos Vinicius Caus Couto, 49 Marcus José Witzler, 53 Margarida Pato, 63 Maria Claudia Boeres, 49 Maria Cláudia Pereira dos Reis, 55, 59 Maria Cristina Rangel, 55 Maria de Lourdes Esteva, 40 Maria José Pereira Dantas, 54, 58 Maria Rita Meyer Ferraz da Costa, 49 Mariana Aparecida Delfino de Souza, 52 Mariana Fernandes dos Santos Villela, 46 Mariane Pigossi, 48




61

Marilaine Colnago, 39 Mário Lizier, 29 Mario Lucio Alexandre, 59 Mario Luiz Previatti de Souza, 50 Mario Roberto Monges Olmedo, 46 Marisa de Souza Costa, 37 Marisa Veiga Capela, 45 Maristela Oliveira dos Santos, 43 Marllon Thiago Lopes dos Santos, 54, 58 Marluce da Cruz Scarabello, 38 Marluci Cristina Galindo, 44 Masayoshi Tsuchida, 45 Mateus P. S. Lima, 55 Max Akira Endo Kokubun, 44 Michael Kennedy Valente Gondim, 51 Michele M. Sacramento, 53 Miguel Antônio Caro Candezano, 46 Miguel Tadayuki Koga, 41 Milena Almeida Leite Brandão, 20 Mirela Vanina de Mello, 37 Mirian Fernandes Carvalho Araújo, 54, 55 Moisés Rodrigues Cirilo do Monte, 51 Murilo Soares Pinheiro, 51

N Natália Caixeta Rocha, 51 Nathália P. O. Rocha, 55 Nathália P. Santos, 51 Nayara Rebelo dos Santos, 55, 59 Nélson Inforzato, 32 Noemi dos Santos Araújo, 59 O Osmar Aléssio, 39 Oswaldo Vernet, 19 P Paolo Piccione, 17 Patrícia Maria dos Santos, 45 Patrícia Yukari Sato Rampazo, 56 Paulo Afonso Faria da Veiga, 64 Paulo César Carmona Tabares, 40 Paulo F. A. Mancera, 52 Paulo Roberto Isler, 39 Pedro Henrique Dalmolin de Vasconcelos Affonso, 59 Pedro Paulo Balbi de Oliveira, 45


Priscila Faria, 57 Priscila Leal da Silva, 53 R Rafael Aparecido Carvalho Souza, 54 Rafael Ferreira de Camargos Sousa, 52 Rafael Honório Pereira Alves, 57 Rafaela Neves Bonfim, 48 Ralph dos Santos Mansur, 44 Ranielle Felipe Brito de Freitas, 51 Raquel Cupolillo Simões de Sousa, 45 Regina Litz Lamblém, 37 Regivan Hugo Nunes Santiago, 36, 45 Reinaldo Morábito, 64 Rejiane A. Calixto, 51 Renata R. Marques, 55 Ricardo Bento Nogueira Pinheiro, 35 Ricardo Sefaty, 27 Ricardo Takahashi, 18 Roberto Affonso da Costa Junior, 40 Roberto Almeida Prado, 48 Roberto Carlos Rodriguez Muguerza, 44 Roberto Garcia, 53 Rodolfo Junior Pérez Narváez, 46 Rodolfo Mendonça da Silva, 59 Rodrigo Santos de Oliveira, 50 Rosana Motta Jafelice, 42 Rosana Travessini, 58 Rosenei Felippe Knackfuss, 44 Rubens F. Camargo, 15 Rubens Gedraite, 50, 54 Rubens Sampaio, 13 Ruy Coimbra Charão, 37 S Samara Garcia Mazucato, 59 Sanderson L. Gonzaga de Oliveira, 57 Santos Alberto Enriquez-Remigio, 44 Sergio M. da S. Neiro, 50 Sezimária de Fátima Pereira Saramago, 20 Sidineia Barrozo, 53 Silvely N. de Almeida Salomao Néia, 43, 55 Silvio Araújo, 31, 64 Socorro Rangel, 63 Suani T. R. Pinho, 17, 50 Sueli Irene Rodrigues, 40




62


Suetônio de Almeida Meira, 53, 56 Sylvio Barbon Junior, 59 T Tamara Freitas de Souza Monteiro, 55 Tatiana de Oliveira Gonçalves, 57 Telles T. da Silva, 49, 53 Thamara Carvalho Coutinho, 49 Thiago Molino Moreira, 55 Túlio Guimarães, 37 U Ulcilea Alves Severino Leal, 35 V Valdair Bonfim, 50, 52 Valder Steffen Jr., 12 Valeriano Antunes de Oliveira, 41 Valério Luiz Borges, 23 Valiana Alves Teodoro, 54 Vanderléa Rodrigues Bazão, 38 Vanessa Avansini Botta Pirani, 54 Victor Vermehren Valenzuela, 46 Vinicius A. D. Almeida, 52 Vinicius Ruela Pereira Borges, 40 Virginia Silva da Costa, 41 W Waldemar Villamayor-Venialbo, 37 Walter Causarano, 49 Walter dos Santos Motta Júnior, 51 Walter dos Santos Motta Neto, 48 William da Silva Pedretti, 56 Wilson Tiago da Fonseca, 51 Y Yuan Jin Yun, 32 Yuriko Yamamoto Baldin, 43




63

ApêndiceApêndiceApêndiceApêndice

MS4 - Minimpósio de Otimização Combinatória

(21 e 22 de Setembro de 2011)

PROGRAMAÇÃO

Quarta feira 21/09/2011 Anfiteatro C do Bloco 5 O

Sessão Técnica 1: Coord. Silvely Salomão (UNESP Pres. Prud. SP)

8:30 – 8:45 Um método de Lagrangianos aumentados com formulação PHR e aplicações em otimização de malhas Ana Paula Mazzini (ICMC USP)

8:45 – 9:00 O uso da Programação Linear na separação de dois conjuntos de pontos (padrões) por hiperplanos Eberson Paulo Trevisan (Universidade Federal de Mato Grosso)

9:00 – 9:15 Métodos de Pontos Interiores e Branch and Bound em Problemas de Biomassa Residual da Cana-de-Açúcar Antonio Roberto Balbo (UNESP Bauru)

9:15 – 9:30 Otimização de Feixes de Condutores de Linhas de Transmissão para Minimização dos Níveis de Campo Elétrico no Nível do Solo André Luiz Paganotti (CFET Minas Gerais)

9:30 – 9:45 Um Método Primal-Dual Barreira Logarítmica Modificada com Estratégia de Convergência Global Ricardo Bento Nogueira Pinheiro (UNESP BAURU)

9:45 – 10:00 Sistema de Colônia de Formigas para Otimização Contínua: um Estudo para Problemas Nebulosos Luiza Amalia Pinto Cantão (UNESP Sorocaba)

10:00 – 10:15 Discretização de Euler para controle ótimo impulsivo Daniella Porto (UNESP São José do Rio Preto)

10:15 – 10:30 Otimização da concentração de misturas de herbicidas considerando a resistência de plantas daninhas Ulcilea Alves Severino Leal (UNESP São José do Rio Preto)

10:30 – 11:00 Café

11:00 – 12:00 Conferência Plenária

12:00 – 13:30 Almoço

13:30 – 13:50 Sobre o comitê de Otimização Combinatória: Presidente da SBMAC e Coordenador do CMAC

Conferências Coordenadora: Profa. Dra. Andrea Carla G. Vianna FC/UNESP Bauru SP

13:50 – 14:20 Conferência 1 : Profa. Dra. Margarida Pato ISEG/CIO UTL/UL Lisboa Port.

14:20 – 14:50 Conferência 2 : Prof. Dr. Geraldo Regis Mauri, UFES, Alegre ES Técnicas de Relaxação Baseadas na Divisão em Clusters: Aplicações a Problemas Combinatoriais

14:50 – 15:20 Conferência 3 : Profa. Dra. Socorro Rangel IBILCE UNESP S.J. Rio Preto SP

15:20 – 15:50 Conferência 4 : Prof. Dr. Aurélio Ribeiro Leite de Oliveira Unicamp, Campinas SP Método de Pontos Interiores Barreira Logarítmica Preditor-Corretor Especializado para o Problema de Regressão pela norma Lp.

15:50 – 16:10 Café Palestra

Coordenadora: Profa. Dra. Adriana C. Cherri FC/UNESP Bauru SP

16:10 – 17:10 Palestra 1 : Prof. Dr. Geraldo Robson Mateus UFMG, Belo Horizonte MG Otimização em Redes de Comunicação

17:10 – 18:00 Reunião do Comitê de Otimização Combinatória e membros SBMAC

18:30 – 20:00 Assembléia da SBMAC

20:15 – 22:30 Coquetel


65



64

Apêndice Apêndice Apêndice Apêndice

Quinta feira 22/09/2011 Anfiteatro C do Bloco 5 O

Conferências Coordenadora: Profa. Dra. Maristela O. dos Santos ICMC/USP São Carlos SP

8:30 – 9:00 Conferência 5 : Prof. Dr. Silvio Araujo IBILCE UNESP S.J. Rio Preto SP O método branch-and-price aplicado ao problema de dimensionamento de lotes com restrições de capacidade

9:00 – 9:30 Conferência 6 : Prof. Dr. Reinaldo Morábito UFSCAR São Carlos SP

Roteamento de Veículos com Múltiplos Entregadores: Modelagem e Abordagens Heurísticas.

9:30 – 10:00 Conferência 7 : Prof. Dr. Marcos Nereu Arenales ICMC USP Problemas de corte de peças com aproveitamento de sobras.

10:00–10:30

Conferência 8 : Prof. Dr. Horácio Hideki Yanasse INPE S.J. do Campos SP Algumas abordagens de solução para o problema de minimização do número de

trocas de ferramentas.

10:30 – 11:00 Café Palestra

Coordenador: Prof. Dr. Antônio Roberto Balbo FC/UNESP Bauru SP

11:00-12:00 Palestra 2: Prof. Dr. Paulo Afonso Faria da Veiga ICMC USP São Carlos SP Mobilidade Acadêmica e Cooperação Internacional: Relato de Experiências na USP

12:00 – 13:30 Almoço

Mesa Redonda Mediador: Prof. Dr. Alysson Machado Costa ICMC/USP São Carlos SP

13:30 – 15:50 Mesa Redonda Otimização Combinatória: Passado e Futuro

• Prof. Dr. Horácio Hideki INPE S.J. do Campos; • Prof. Dr. Reinaldo Morábito UFSCAR; • Prof. Dr. Geraldo Robson Mateus UFMG Belo Horizonte MG.

15:50 – 16:10 Café Sessão Técnica 2: Coord. Deisemara Ferreira UFTM Uberaba MG

16:10 – 16:25 Geração de colunas com o uso de retalhos no processo de corte de estoque unidimensional com sobras de material aproveitáveis Adriana Cristina Cherri (UNESP Bauru)

16:25 – 16:40 O Problema de Corte Bidimensional envolvendo peças do tipo L Andrea Carla Goncalves Vianna ( UNESP Bauru

16:40 – 16:55 Algoritmo Genético em Problemas de Rotação de Culturas Angelo Aliano Filho (PG Biometria IB UNESP Botucatu)

16:55– 17:10 Rendezvous Maneuvers with minimal ∆V Denilson Paulo Souza dos Santos (INPE S. J. dos Campos)

17:10– 17:25 A função Lagrangiana Barreira Penalidade para resolução de problemas não lineares Edméa Cássia Baptista (UNESP Bauru)

17:25– 17:40 Estudo de um modelo de otimização para o problema de transporte dos resíduos da cana de açúcar Silvely Salomão (UNESP Pres. Prudente)

17:40– 17:55 Algoritmo de Colônia de Abelhas para o Problema de Dimensionamento de Lotes Multiestágio com Limitação de Capacidade Maristela Oliveira dos Santos (ICMC USP)

17:55– 18:10 O método de pontos interiores no planejamento da radioterapia Andréa Camila dos Santos Martins (PG Biometria IB UNESP de Botucatu)


66

Documents

Universidade Federal de Uberlândia Sociedade Brasileira de ... · Neste ano, os minicursos programados são os seguintes: Criptografia, A Geometria Absoluta, Equações ... Maiores