Programa Cmac Se

Universidade Federal de Uberlndia
Sociedade Brasileira de Matemtica

Aplicada e Computacional

Congresso de Matemtica Aplicada e Computacional
Universidade Federal de Uberlndia - MG


Boas Vindas Boas Vindas Boas Vindas Boas Vindas

O Congresso de Matemtica Aplicada e Computacional da Regio Sudeste (CMAC-SE)
promovido pela Sociedade Brasileira de Matemtica Aplicada e Computacional (SBMAC), com o apoio
das Regionais 6, 7, 8, 9 e 10 da SBMAC, que englobam a regio sudeste do pas, e da Faculdade de
Matemtica da Universidade Federal de Uberlndia.

O CMAC-SE 2011 um evento derivado do conhecido Congresso Nacional de Matemtica Aplicada e
Computacional - CNMAC, cuja a trigsima terceira edio foi realizada em 2010. A partir de ento, o
CNMAC ocorrer apenas em anos pares. Nos anos mpares ocorrero os CMAC das regies Norte,
Nordeste, Sul, Sudeste e Centro-oeste.

Este evento tem por objetivo a divulgao da Matemtica Aplicada e Computacional a um pblico amplo
e diversificado; a formao de capital humano na rea da Matemtica Aplicada e Computacional; a
integrao, a troca de experincias e o intercmbio acadmico e cientfico entre professores, alunos e
pesquisadores atuantes no pas e no exterior. Desta forma, as atividades programadas para este evento
so, tambm, diversificadas e incluem: conferncias, minicursos, mesas-redondas, oficina, sesses de
painis de pesquisa e de iniciao cientfica; minissimpsios nas reas de Otimizao Combinatria,
Computao Bio-inspirada, Planejamento timo de Experimentos e Simulao de Escoamentos
Multifsicos.

Neste ano, os minicursos programados so os seguintes: Criptografia, A Geometria Absoluta, Equaes
de Diferenas e Sistemas com Aplicaes Biolgicas, Mtodos Estocsticos de Otimizao: Algoritmos
Genticos e Evoluo Diferencial, Problemas Inversos em Transferncia de Calor e Computao Paralela
para Restaurao de Imagens de Microscpios de Fora Atmica. Teremos tambm uma oficina sobre o
software GeoGebra, ferramenta til que pode ser utilizada no ensino da Matemtica na Educao Bsica.

Agradecemos o apoio das agncias de fomento CAPES, FAPEMIG e CNPq e tambm da Dot.Lib,
Petrobrs, PROEX e UFU pela valiosa contribuio.

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
integrao dos pesquisadores e profissionais da rea, criando novas parcerias e difundindo novas ideias.

A comisso organizadora do evento est disposio para esclarecer quaisquer dvidas e ajud-los no
que for necessrio.

Desejamos um excelente congresso a todos!

Uberlndia, setembro de 2011.
Comisso Organizadora

No paradoxo dizer que nos nossos momentos de inspirao mais terica
podemos estar mais prximos possvel de nossas aplicaes mais prticas.

A.N. Whitehead 1861-1947

CMAC 2011 20 a 23 de Setembro


Apoio Apoio Apoio Apoio

Organizao:

Faculdade de Matemtica - UFU
DAMAT - Diretrio Acadmico da Faculdade de Matemtica
PETMAT - Programa de Educao Tutorial da Faculdade de Matemtica
Regionais 6, 7, 8, 9 e 10 da SBMAC Sociedade Brasileira de Matemtica

Apoio:



Comisses Organizadoras Comisses Organizadoras Comisses Organizadoras Comisses Organizadoras

COMIT CIENTFICO

Rodney Bassanezi (UFABC) Coordenador
Joo Paulo Gis (UFABC)
Valdemir Garcia Ferreira (USP - So Carlos)
Clia Zorzo Barcelos (UFU)
Gasto de Almeida Braga (UFMG)
Helenice de Oliveira Florentino Silva (UNESP, Botucatu-SP)
Maria Claudia Silva Boeres (UFES)
Mrcio Borges (LNCC)
Sandra Malta (LNCC)
Simone de Almeida Delphim Leal (UNIFAP)
Igor Leite Freire (UFABC)

COORDENADORES REGIO SUDESTE

Regional 06 (Esprito Santo, Rio de Janeiro)
Coordenadora: Profa. Renata Del Vecchio

Regional 07 (Minas Gerais)
Coordenador: Prof. Csar Guilherme de Almeida;
Vice-Coordenador: Prof. Jorge Andrs Julca vila

Regional 08 (So Jos dos Campos, Guaratinguet, Casa Branca, Taubat,
Pindamonhangaba, Cachoeira Paulista, Potim, Campos do Jordo)
Coordenador: Prof. Jos Carlos Becceneri
Vice-Coordenador: Prof. Igor Freire

Regional 09 (Araatuba, Catanduva, Franca, Ilha Solteira, Jales, Pereira Barreto,
Presidente Prudente, Ribeiro Preto, Santa F do Sul, So Jos do Rio Preto,
Votuporanga)
Coordenadora: Profa. Vanessa A. Botta

Regional 10 (Americana, Araraquara, Bauru, Botucatu, Campinas, Itatiba, Limeira,
Mogi Guau, Piracicaba, Pirassununga, Rio Claro, Santa Brbara d'Oeste, So Carlos,
Sorocaba
Coordenador: Prof. Antnio Roberto Balbo



Comisses Comisses Comisses Comisses Organizadoras Organizadoras Organizadoras Organizadoras

COMISSO LOCAL

Rosana Sueli da Motta Jafelice - Coordenadora
Alessandro Alves Santana
Ana Carla Piantella
Ana Maria Amarillo Bertone
Edmilson Rodrigues Pinto
Fernando Antnio de Freitas
Marcos Antnio da Cmara
Mirian Fernandes Carvalho Arajo
Walter dos Santos Motta Jnior
Fabricio Alves Oliveira discente do Grupo PETMAT
Helder Tobias Silva Borges discente do Diretrio Acadmico



Sumrio Sumrio Sumrio Sumrio

Programao ............................................................................ 06
Mapa ........................................................................................ 10
Palestras ................................................................................... 11
Minicursos ............................................................................... 17
Minissimpsios ........................................................................ 23
Mesas Redondas ...................................................................... 30
Oficina ..................................................................................... 31
Sesses Tcnicas ...................................................................... 33
Sesses de IC Painis ............................................................ 46
ndice por Autor ........................................................................ 58
Apndice ................................................................................... 63



6
Programao Programao Programao Programao

Tera-feira (20/09/2011)

Observaes:

1) Ser realizado o minissimpsio Otimizao Combinatria, do dia 21 ao dia 23 de setembro,
no anfiteatro C do Bloco 5O. Maiores informaes nas pginas 23 e 63.

2) Ser realizado o minissimpsio Mtodos Numricos para Simulao de Escoamentos Multifsi-
cos, nos dias 21 e 22 de setembro, no anfiteatro E do Bloco 5O. Maiores informaes na pgina 23.

Horrios Local Quarta-feira (21/09/2011)
08:30 s 10:30
10:30 s 11:00
11:00 s 12:00
M
A
N
H

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

16:10 s 17:10
T
A
R
D
E

17:15 s 18:15
Anfiteatro do Bloco 3Q Inscrio e entrega
de material
18:30 s 20:00 Anfiteatro do Bloco 3Q Cerimonial de Abertura
N
O
I
T
E

20:15 s 22:30 Saguo do anfiteatro 3Q Confraternizao


7
Quarta-feira (21/09/2011)

Horrios 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

Laboratrio do
Bloco 3Q
Minicursos:

1) Geraldo Diniz (UFMT)
2) Oswaldo Vernet (UFRJ)
3) Sezimria Saramago (UFU)

Sesso Tcnica
apresentao de pster

Oficina de GeoGebra
Jocelino Sato (UFU)
10:30 s 11:00 Saguo do Bloco 5O Caf
11:00 s 12:00 Anfiteatro do Bloco 3Q

Conferncia Plenria Marcelo Viana
(IMPA)
M
A
N
H

12:00 s 13:30 Almoo

13:30 s 15:30
Anfiteatros:

6) Anf. do Bloco 3Q
Minicursos:

4) Antnio Faleiros (UFABC)
5) Antnio Jos (UERJ)
6) Hlcio 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 No-Fuzzy
T
A
R
D
E

17:15 s 18:15
Anf. do Bloco 3Q Minissimpsio
Computao Bio-inspirada
18:30 s 20:00 Anf. do Bloco 3Q Assembleia da SBMAC
N
O
I
T
E

20:15 s 22:30 Coquetel

Observaes:

1) Membros da Mesa Redonda 1: Joo Frederico C. A. Meyer (Unicamp); Nlson Inforzato (UFTM) e
Lacio Carvalho de Barros (Unicamp).

2) Palestrantes do minissimpsio de Computao Bio-inspirada: Gina Maira B. de Oliveira (UFU);
Aurora Pozo (UFPR) e Fran Sergio Lobato (UFU).


8

Quinta-feira (22/09/2011)

Observao:
Palestrantes do minissimpsio Planejamento timo de Experimentos: Edmilson Rodrigues Pinto
(UFU); Jos Carlos Costa da Silva Pinto (UFRJ); Luzia Aparecida Trinca (Unesp).
Horrios Local Quinta-feira (22/09/2011)

08:30 s 10:30
Anfiteatros:



Laboratrio do
Bloco 3Q
Minicursos:


Sesso Tcnica
apresentao de pster

Oficina de GeoGebra
Jocelino Sato (UFU)
Anfiteatro do Bloco 3Q
Palestra 3
Lacio Carvalho (Unicamp)
11:00 s 12:00
Anf. A (Bloco 5O)
Palestra 4
Rubens Figueredo (Unesp Bauru)
M
A
N
H

12:00 s 13:30 Almoo

13:30 s 15:30
Anfiteatros:

6) Anf. do Bloco 3Q
Minicursos:

Palestra 5
Frederico Furtado (University of
Wyoming) 16:10 s 17:10
Anf. A (Bloco 5O)
Palestra 6
Suani Pinho (UFBA)
Anf. A (Bloco 5O)
Mesa Redonda 2
O papel da modelagem matemtica ...
T
A
R
D
E

17:15 s 18:15
Minissimpsio
Planejamento timo de Experimentos
18:30 s 20:00
Anf. da Biblioteca
Anfiteatros do Bloco 5O
Reunio dos Comits Temticos
N
O
I
T
E

20:15 s 22:30 Jantar por adeso


9

Sexta-feira (23/09/2011)

Horrios Local Sexta-feira (23/09/2011)

08:30 s 10:30
Anfiteatros:



Laboratrio do
Bloco 3Q
Minicursos:


Sesso Tcnica
apresentao de pster

Oficina de GeoGebra
Jocelino Sato (UFU)
Palestra 7
Paolo Piccione (USP SP)
11:00 s 12:00
Anf. A (Bloco 5O)
Palestra 8
Ricardo Takahashi (UFMG)
M
A
N
H

12:00 s 13:30 Almoo

13:30 s 15:30
Anfiteatros:

6) Anf. do Bloco 3Q
Minicursos:

Conferncia Plenria Valder Steffen Jr.
(UFU)
T
A
R
D
E

Cerimnia de Encerramento e
Apresentao Cultural



10
Mapa Mapa Mapa Mapa



11
Palestras Palestras Palestras Palestras

Dia Horrio 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 Lacio 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

Ttulo: Modelagem Estocstica e Quantificao de Incertezas
Palestrante: Rubens Sampaio (rsampaio@puc-rio.br)
Instituio: 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.


12
Palestra Palestra Palestra Palestras ss s

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

Ttulo: A Multiscale Mixed Method for Heterogeneous Porous
Media Flow Problems
Palestrante: Alexandre Santos Francisco (afrancisco@metal.eeimvr.uff.br)
Instituio: 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

Ttulo: Sistemas Dinmicos Fuzzy
Palestrante: Lacio Carvalho de Barros (laeciocb@ime.unicamp.br)
Instituio: IMECC Unicamp, Campinas - SP

Resumo:

comum nos depararmos com fenmenos que podem ser modelados por Equaes Diferenciais
Ordinrias, cuja soluo no conhecida analiticamente. Neste caso, fazemos uso da Anlise
Numrica para simular uma soluo. Muitas vezes, principalmente em fenmenos biolgicos, tais
equaes so carregadas de incertezas do tipo estocstica ou devido falta de conhecimento a
respeito do fenmeno. No primeiro caso comum o uso das Equaes Diferenciais Estocsticas (do
tipo It, por exemplo). O segundo caso tem sido tratado pelas Equaes Diferenciais Fuzzy (EDF) que
ser o tema de nossa palestra.
H vrias abordagens sobre EDF. Falaremos aqui algumas delas, com nfase s que do origem
aos modelos p-fuzzy. Os sistemas p-fuzzy tratam fundamentalmente da situao em que o campo de
direes parcialmente conhecido, isto , sabe-se qual o domnio do campo de direes. Porm, nesse


13

domnio, 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 Lgica 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 mtodos tradicionais de Anlise Numrica, para simular
solues (determinsticas) de sistemas p-fuzzy.
Em seguida, falaremos das diversas teorias de EDF. Veremos que em cada uma delas,
diferentemente dos sistemas p-fuzzy, as solues so fuzzy no sentido que h uma famlia de curvas
determinsticas, cada uma com grau de pertinncia, que compem a soluo fuzzy do problema. Os
conceitos sero ilustrados a partir de exemplos em dinmica de populaes ou epidemiologia.

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

Ttulo: Introduo ao Clculo Fracionrio
Palestrante: Rubens F. Camargo
(1)
(rubens@fc.unesp.br)
Co-autor: Edmundo C. Oliveira
(2)
(capelas@ime.unicamp.br)
Instituio:
(1)
Departamento de Matemtica, Faculdade de Cincias Unesp/Bauru;
(2)
IMECC
Unicamp, Campinas - SP

Resumo:

Apresentamos neste trabalho um estudo sistemtico e detalhado sobre integrais e derivadas de
ordens arbitrrias, o assim chamado clculo de ordem no-inteira, popularizado com o nome de
Clculo Fracionrio. Em particular, discutimos e resolvemos equaes diferenciais e
integrodiferenciais de ordem no-inteira e suas aplicaes em diversas reas do conhecimento, bem
como apresentamos resultados inditos, isto , teoremas de adio, envolvendo as funes de Mittag-
Leffler. Aps abordar as diferentes definies para a derivada de ordem no-inteira, justificamos o fato
de utilizarmos, em nossas aplicaes, a definio de derivada conforme proposta por Caputo, mais
restritiva, e no a definio segundo Riemann-Liouville, embora seja esta a mais difundida. Nas
aplicaes apresentamos uma generalizao para a equao diferencial associada ao problema do
telgrafo na verso fracionria, cuja soluo, obtida de duas maneiras distintas, deu origem a dois
novos teoremas de adio envolvendo as funes de Mittag-Leffler. Numa segunda aplicao,
discutimos o conhecido sistema de Lotka-Volterra na verso fracionria; por fim, introduzimos e resol-


14

vemos uma equao integrodiferencial fracionria, a assim chamada equao de Langevin
generalizada fracionria.

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

Ttulo: Permeability hysteresis effects in geologic CO2 sequestration
Palestrante: Frederico Furtado (furtado@uwyo.edu).
Instituio: 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.



15


Ttulo: Modelagem Matemtica da Resposta a Terapias do Cncer
Palestrante: Suani T. R. Pinho (suanipinho@gmail.com)
Instituio: Instituto de Fsica Universidade Federal da Bahia

Resumo:

A dinmica de crescimento de tumores vem sendo estudada amplamente do ponto de vista da
modelagem matemtica e computacional atravs de diversas tcnicas tais como: equaes diferenciais
ordinrias e parciais e automatos celulares. Outro aspecto bastante explorado sob este ponto de vista
tem sido o controle do crescimento tumoral atravs das diferentes terapias isoladas ou combinadas.
Nesta palestra pretendemos apresentar alguns modelos de equaes diferenciais ordinrias, que temos
desenvolvido, considerando a competio entre clulas normais e cancerosas e a ao predatria de
terapias tais como: quimioterapia, radioterapia e terapia anti-angiognica comparando seus efeitos
isolado e combinado. Objetivamos apresentar quais as melhores estratgias para eliminar o tumor de
acordo com os modelos propostos.

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

Ttulo: Modelagem geomtrica da Relatividade Geral
Palestrante: Paolo Piccione (piccione.p@gmail.com)
Instituio: IME USP

Resumo:

Assim como a Geometria Riemanniana fornece uma modelagem da Mecnica Clssica, os
espaos-tempos da Relatividade Geral so modelados por variedades munidas de uma mtrica de
Lorentz. Nessa palestra apresentarei algumas ideias bsicas da Geometria Lorentziana e a interpretao
fsica de alguns dos resultados principais desta teoria. O objetivo final ser o de apresentar uma verso
do teorema da singularidade de Penrose.



16

Ttulo: Otimizao Multicritrio por Direo de Descida com
Seo urea Multiobjetivo
Palestrante: Ricardo Takahashi (taka@mat.ufmg.br)
Instituio: Departamento de Matemtica, UFMG

Resumo:

Neste trabalho apresentado um algoritmo para otimizao multiobjetivo que estruturado da
seguinte forma: (i) uma direo de descida calculada, dentro do cone das direes factveis de
descida, e (ii) uma busca unidimensional multiobjetivo conduzida sobre tal direo, usando um novo
esquema de particionamento de segmentos por seo urea multiobjetivo, o qual determina pontos que
so eficientes quando restritos reta de busca, e que dominam o ponto atual. Esse procedimento de
busca unidimensional explora a estrutura do conjunto de solues restritas--reta eficientes, que
apresenta uma taxa de compresso do segmento de busca que maior que a do tradicional
procedimento de seo urea mono-objetivo. O algoritmo proposto converge para pontos que
satisfazem condies necessrias de Pareto-otimalidade de primeira ordem (os pontos Pareto-crticos).
Resultados numricos em dois problemas de projeto de antenas do suporte concluso de que o
mtodo proposto pode resolver robustamente problemas difceis de otimizao multiobjetivo no-
linear, com funes-objetivo definidas em termos de funes caixa-preta computacionalmente caras.



17
Minic Minic Minic Minicurso urso urso ursos ss s

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 Equaes de diferenas e sistemas com aplicaes biolgicas
Prof. Dr. Geraldo Lcio Diniz
Universidade Federal do Mato Grosso

Com o intuito de apresentar situaes-problema, que possam servir de motivao para o uso de
equaes de diferenas e sistemas de equaes de diferenas e para o estudo de mtodos de resoluo
de problemas no lineares, com anlise de estabilidade, que se pretende oferecer este minicurso, cuja
proposta inclui o desenvolvimento de modelos discretos e suas aplicaes a problemas biolgicos. O
material desenvolvido para este curso tem o objetivo de complementar a formao dos graduandos e
de apresentar aos professores do ensino fundamental e mdio um ferramental matemtico que os
estimule a trabalhar a matemtica de maneira mais contextualizada s situaes cotidianas. O contedo
do curso consiste em: viso geral de alguns modelos matemticos; soluo de problemas reais da
biologia utilizando ferramentas matemticas; resoluo de problemas que recaiam em equaes de
diferenas, enfatizando possveis mtodos de soluo; estudo qualitativo do comportamento das
solues de equaes de diferenas; estudo de autovalores complexos na soluo de equaes de
diferenas e analogias entre as equaes de diferenas e as equaes 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 matemtica, familiarizados e motivados com o estudo da geometria plana, dois
enfoques axiomticos para sua fundamentao. O primeiro deles devido aos esforos de Hilbert e
seus contemporneos, ainda no fim do sc. XIX, apresentado em seu livro Grundlagen der Geometrie,


18

de 1899. Nesta obra, Hilbert prope uma fundamentao 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 matemtica, que abriu as portas para uma ampla discusso que se
promoveu posteriormente, no meio cientfico, acerca da axiomatizao de outras teorias, culminando
com o famoso Teorema de Gdel. A segunda abordagem devida a Hjelmslev, Hessenberg e
Bachmann, este ltimo tendo conseguido, atravs de um avano significativo a partir das idias de seus
antecessores, expressar os fatos geomtricos de maneira puramente algbrica, porm, como j
mencionamos, sem qualquer recurso introduo de coordenadas, conforme j era feito na geometria
analtica bem anteriormente ao sc. XIX. O contedo do minicurso consiste em: apresentao do
tpico Sistemas Axiomticos e a Geometria; estudo do Sistema Axiomtico de Hilbert; uma breve
reviso de Teoria dos Grupos e apresentao do Sistema Axiomtico de Bachmann.

MC3 Mtodos estocsticos de otimizao: Algoritmos Genticos
e Evoluo Diferencial
Profa. Dra. Sezimria de Ftima Pereira Saramago
Profa. Dra. Milena Almeida Leite Brando

A otimizao representa uma ferramenta importante para tomada de deciso na anlise e projeto
de sistemas fsicos, sendo aplicada em situaes em que se desejam maximizar ou minimizar uma
funo numrica de vrias variveis, num contexto em que podem existir restries. Pode-se utilizar
otimizao em vrias reas, como, por exemplo, no projeto de sistemas ou componentes, planejamento
e anlise de operaes, problemas de otimizao de estruturas, otimizao de forma, controle de
sistemas dinmicos. A grande vantagem determinar a melhor configurao de projeto sem ter que
testar todas as possibilidades envolvidas. Alm disso, diminui o tempo dedicado ao projeto,
possibilitando o tratamento simultneo de uma grande quantidade de variveis e restries de difcil
visualizao grfica ou tabular, possibilitando a obteno de solues no tradicionais com menor
custo.
Tcnicas clssicas de otimizao so confiveis e possuem aplicaes nos mais diferentes
campos de engenharia e de outras cincias. Porm, estas tcnicas podem apresentar algumas
dificuldades numricas e problemas de robustez relacionados com: a falta de continuidade das funes


19

a serem otimizadas ou de suas restries, funes no convexas, multimodalidade, existncia de rudos
nas funes, necessidade de se trabalhar com valores discretos para as variveis, existncia de mnimos
ou mximos locais, etc. Assim, o estudo de mtodos heursticos, com busca randmica controlada por
critrios probabilsticos, reaparece como uma forte tendncia nos ltimos anos, principalmente devido
ao avano dos recursos computacionais, pois um fator limitante destes mtodos a necessidade de um
nmero elevado de avaliaes da funo objetivo.
O objetivo deste trabalho o de apresentar um estudo dos mtodos de otimizao naturais
denominados Algoritmos Genticos e Evoluo Diferencial. Para verificar a eficincia das tcnicas
estudadas, so utilizadas funes matemticas clssicas e alguns problemas de engenharia. Estes
mtodos podem ser aplicados com eficincia a problemas de otimizao multi-objetivo e na presena
de restries.

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 Cndido Faleiros
Universidade Federal do ABC

Os mtodos que sero apresentados neste captulo fazem parte da era dos cifrrios com lpis e
papel. Todos so inseguros contra um ataque via computador e podem ser decodificados por uma
anlise paciente feita apenas com lpis e papel, sem o uso de qualquer dispositivo mecnico ou
eletrnico. Nosso objetivo o de divulgar os primrdios desta empolgante rea do conhecimento
humano e que, nesta era das comunicaes atravs de ondas eletromagnticas, seja pela televiso,
rdio, telefone ou internet, uma ferramenta indispensvel para manter a segurana e privacidade das
comunicaes.


20

O pblico alvo ir se deparar com alguns programas de computador desenvolvidos para implementar
os mtodos apresentados. Neles, no houve compromisso com a eficincia, mas com a compreenso e
legibilidade. Quem os escreveu no foi o programador, mas o professor. Na realizao dos programas
foram usados o Mathematica, da Wolfram Research, e a linguagem C.

MC5 Fundamentos de Computao Paralela para a Restaurao de
Imagens de Microscpios de Fora Atmica
Prof. Dr. Antnio Jos Silva Neto
Prof. Dr. Dalmo Stutz
Universidade Estadual do Rio de Janeiro

A Microscopia de Fora Atmica uma tcnica que permite a aquisio de imagens, em escala
nanomtrica, da superfcie de quase todo tipo de material. Nessa escala, as imagens costumam
apresentar uma relao sinal/rudo pobre, causada por efeitos degenerativos em sua qualidade,
provenientes do prprio equipamento e do processo de aquisio da imagem.
Para recuperar essas imagens, ou minimizar os efeitos da degradao, diversas tcnicas vm
sendo desenvolvidas e aplicadas. Dentre elas, uma tcnica de restaurao, que ser descrita neste
minicurso, baseada na minimizao do funcional de Tikhonov com uma famlia de termos de
regularizao a um parmetro, tem sido usada j h alguns anos com resultados bastante satisfatrios
no tratamento de imagens obtidas com o Microscpio de Fora Atmica. Porm, o uso dessa tcnica
exige um esforo computacional muito grande, que acaba resultando em um tempo de execuo
relativamente elevado quando o programa que implementa o algoritmo de restaurao processado
serialmente. Alm disso, medida que os equipamentos eletrnicos aumentam as suas capacidades, as
imagens obtidas por esses equipamentos aumentam de resoluo e, consequentemente, o esforo
computacional e o tempo gasto para analisar essas imagens e restaur-las tambm aumentam.
Apesar do desempenho e a velocidade de processamento vir apresentando melhoras
significativas, esse aumento, porm, no ocorre suficientemente rpido frente demanda por um maior
poder computacional que os usurios e as diversas reas de conhecimento e pesquisa tm exigido no
passar dos anos. Isso ocorre, em parte, devido ao surgimento de novas demandas (restaurao de
vdeos ao invs de imagens, por exemplo) e ao fato de que muitos problemas, que h anos exigiriam



21

demasiado tempo computacional para a execuo nas mquinas disponveis poca, hoje so factveis
de serem resolvidos e podem ser processados, empregando-se os equipamentos atualmente disponveis
no mercado.
Muitas vezes, o uso de equipamentos mais sofisticados e/ou dedicados uma soluo
empregada, para se atender a necessidade cada vez maior de poder de processamento. Entretanto, a
aquisio e a manuteno destes equipamentos possuem, normalmente, custos elevados que muitas
instituies no tm como pagar ou manter.
Como alternativa, tcnicas de paralelismo e computao paralela so empregadas em
equipamentos mais baratos e/ou no dedicados com objetivo de buscar melhores desempenhos de
hardware e/ou software a um custo menor. Neste minicurso sero apresentados, portanto, alguns
fundamentos de computao paralela aplicados ao problema de restaurao de imagens obtidas com
Microscpios de Fora Atmica. Alm disto, sero apresentadas estratgias de implementao paralela
do algoritmo de restaurao, objetivando obter um aumento na velocidade de processamento e no
desempenho computacional. Tambm, ser apresentado um novo mtodo de busca do parmetro de
regularizao timo que, apesar de introduzir um esforo computacional ainda maior ao processo de
restaurao, com um tempo maior de processamento, traz ao algoritmo uma habilidade automtica de
busca do parmetro de regularizao que resulta em uma melhor soluo para o problema. Ou seja,
tem-se ento uma restaurao de melhor qualidade em detrimento do tempo de processamento.

MC6 Problemas Inversos em Transferncia de Calor
Prof. Dr. Hlcio Rangel Barreto Orlande
(1)

Prof. Dr. Gilmar Guimares
(2)
,
Prof. Dr. Marcelo Jos Colao
(1)

Profa. Dra. Carolina Palma Naveira Cotta
(1)

Prof. Dr. Valrio Luiz Borges
(2)
.
COPPE/Universidade Federal do Rio de Janeiro
(1)

(2)


22

O objetivo deste curso o de apresentar os conceitos fundamentais e algumas tcnicas de soluo
de problemas inversos. Em funo da experincia dos instrutores, exemplos prticos de soluo de
problemas inversos sero dados na rea de transferncia de calor, envolvendo, de maneira geral, equaes
diferenciais parciais parablicas ou elpticas. O contedo do curso consiste em: definio de um
problema inverso; estudo de problemas bem-postos e mal-postos; apresentao de tcnicas de regularizao
e de mtodos bsicos de soluo; estimativa de parmetros; estudo de tcnicas de otimizao; abordagem
Bayesiana; soluo no domnio da freqncia; apresentao da tcnica dos observadores dinmicos; estudo
do filtro de Kalman e do filtro de partculas.


23
Mini Mini Mini Minis ss ss ss simpsios impsios impsios impsios

Dia e Horrio Minissimpsio Local
21/09 08:30 10:30

08:30 12:00

13:30 18:00

17:15 18:15
Mtodos Numricos para Simulao de
Escoamentos Multifsicos

Otimizao Combinatria


Computao Bio-inspirada

Anfiteatro E do Bloco 5

Anfiteatro C do Bloco 5O



22/09 08:30 10:30

08:30 12:00

13:30 17:10

17:15 18:15
Mtodos Numricos para Simulao de
Escoamentos Multifsicos



Planejamento timo de Experimentos

Anfiteatro E do Bloco 5




Observao: a programao completa do minissimpsio Otimizao Combinatria encontra-
se na pgina 63. A programao do minissimpsio Mtodos Numricos para Simulao de
Escoamentos Multifsicos ser afixada em seu respectivo anfiteatro.

MS1 Computao Bio-inspirada
Organizadora e palestrante: Gina Maira Barbosa de Oliveira, FACOM UFU
Palestrantes: Aurora Pozzo, UFPR; Fran Sergio Lobato, Engenharia Qumica UFU

COMPUTAO BIO-INSPIRADA: METFORAS E MTODOS (Gina Maira Barbosa de
Oliveira)

Computao Bio-inspirada se refere a sistemas computacionais projetados pelo homem com
alguma inspirao biolgica. Seu principal objetivo o desenvolvimento de ferramentas matemticas e
computacionais para a soluo de problemas complexos em diversas reas do conhecimento. Uma
caracterstica comum aos sistemas computacionais inspirados na natureza o uso metafrico dos
conceitos, princpios e mecanismos subjacentes aos sistemas naturais. As redes neurais artificiais,
precursoras das tcnicas bio-inspiradas, se baseiam em modelos e teorias sobre os neurnios biolgicos
e suas interaes em uma rede neuronal natural. As tcnicas da computao evolutiva, por outro lado,
se baseiam numa metfora da teoria da evoluo natural, alm dos mecanismos de hereditariedade na
reproduo dos seres vivos. As tcnicas de inteligncia coletiva se inspiram no comportamento


24
Miniss Miniss Miniss Minissimpsios impsios impsios impsios

coletivo de insetos sociais, tais como as colnias de formigas e os enxames de abelhas. Os sistemas
imunolgicos artificiais, por sua vez, se baseiam nas iteraes dos homnimos naturais. Os autmatos
celulares se inspiram em vrios exemplos de interaes locais na natureza que provem um
comportamento emergente. Na palestra sero apresentados trs exemplos de mtodos bio-inspirados -
as redes neurais, os algoritmos genticos e o algoritmo de colnia de formigas - discutindo seus
aspectos gerais e exemplos de aplicao.

ALGORITMOS EVOLUTIVOS MULTIOBJETIVOS (Aurora Pozo)

A maioria dos problemas de otimizao do mundo real so multiobjetivo, isto h necessidade
de maximizar ou minimizar vrias funes que normalmente esto em conflito entre si (problemas
multiobjetivos ou MOPs, Multiobjective Optimization Problems). Devido falta de solues
metodolgicas adequadas os problemas multiobjetivo no passado este foram tratados como
monobjetivo. Entretanto, h diferenas fundamentais nos princpios de funcionamento de algoritmos
de otimizao mono e multiobejtivo. Assim as tcnicas utilizadas para resolver MOPs no se
restringem normalmente a encontrar uma soluo nica e sim um conjunto de solues de
compromisso entre os mltiplos objetivos. Os algoritmos evolucionrios so utilizados na otimizao
multiobjetivo basicamente por trs razes: (i) o conceito de populao permite atender a necessidade
de se encontrar mltiplas solues; (ii) os mtodos que preservam nichos podem ser explorados para
encontrar solues diversas; (iii) o paralelismo explcito possibilita acelerar a busca atravs de
execues em paralelo. E, de uma forma geral as mudanas bsicas em relao ao algoritmo cannico
so: (i) a modificao na computao da aptido de um dado indivduo levando em considerao o
conceito de dominncia e as mltiplas funes objetivo; (ii) nfase na seleo de solues no-
dominadas para alcanar a convergncia para a fronteira de Pareto e a nfase na seleo de solues
distintas para se obter diversidade na fronteira de Pareto. Na palestra se abordar conceitos bsicos de
otimizao multiobjetivos, os algoritmos Evolutivos multiobjetivos clssicos e finalmente um exemplo
de aplicao.

ALGORITMO DE COLNIA DE VAGALUMES PARA PROBLEMAS MULTI-OBJETIVOS
(Fran Sergio Lobato)

Nos ltimos anos, o desenvolvimento de metodologias para a resoluo do problema de
otimizao multi-objetivo tem atrado a ateno da comunidade cientfica e acadmica. Neste cenrio
destacam-se os mtodos bio-inspirados na natureza devido : (i) concepo conceitual simples, (ii)
facilidade de implementao, (iii) por no demandarem o uso de derivadas, (iv) por enfatizarem a
busca global e (v) pela sofisticao dos computadores a baixos custos. O interesse por esta linha de


25

pesquisa justifica-se pela simples razo que a prpria natureza tem evoludo atravs de milhes de
anos, dando solues otimizadas a todos os problemas naturais que ocorrem. Ento, por que no
aprender com ela? Dentre estas estratgias bio-inspirados, o Algoritmo de Colnia de Vagalumes
(Firefly Algorithm), cuja concepo conceitual esta fundamentada na caracterstica bioluminescente de
vagalumes, notrios por suas emisses luminosas, tem-se destacado na resoluo do problema de
otimizao mono-objetivo. Neste contexto, esta palestra tem por objetivo apresentar uma metodologia
fundamentada na extenso do Algoritmo de Colnia de Vagalumes para problemas mullti-objetivos,
atravs da incorporao de dois operadores ao algoritmo original: os mecanismos de ordenamento por
rank e truncamento de solues. A metodologia proposta aplicada em uma srie de problemas
matemticos clssicos que possuem soluo analtica, e no projeto de sistemas de engenharia. Os
resultados obtidos sero confrontados com aqueles encontrados por outras estratgias evolutivas.

MS2 Planejamento timo de Experimentos

Organizador e palestrante: Edmilson Rodrigues Pinto, FAMAT UFU.
Palestrantes: Jos Carlos Costa da Silva Pinto, Programa de Engenharia Qumica
da COPPE/UFRJ; Luzia Aparecida Trinca, Instituto de Biocincias de Botucatu
UNESP/Botucatu.

PLANEJAMENTO TIMO DE EXPERIMENTOS PARA MODELOS LINEARES
GENERALIZADOS E APLICAES (Edmilson Rodrigues Pinto)

A teoria de planejamento (desenho) timo de experimentos tem recebido bastante ateno da
comunidade acadmica nos ltimos anos, principalmente por sua aplicabilidade em vrias reas da
cincia e da indstria, especialmente nas indstrias qumica e farmacutica. Uma das grandes
vantagens para a obteno de desenhos timos que eles permitem a estimao eficiente dos
parmetros do modelo considerado, economizando tempo e dinheiro. Alm disso, em situaes onde
os experimentos clssicos no podem ser usados, por exemplo, em alguns problemas de mistura com
restries, desenhos timos, obtidos com ajuda de computadores, devem ser utilizados. A obteno 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 importncia no contexto da modelagem
estatstica a classe dos modelos lineares generalizados (MLG), com aplicaes nas mais diversas
reas do conhecimento. O objetivo dessa palestra apresentar a teoria aproximada para obteno de
desenhos timos para MLG e algumas aplicaes. Tpicos avanados como a obteno de desenhos


26

timos para MLG com parmetro de disperso varivel e desenhos timos para MLG multivariados
tambm sero abordados.

PLANEJAMENTO EXPERIMENTAL PARA DISCRIMINAO DE MODELOS E
ESTIMAO DE PARMETROS (Jos Carlos Pinto)

Os procedimentos usados para planejamento de experimentos em problemas de discriminao
de modelos e de estimao tima de parmetros em sistemas no lineares so normalmente tratados
como conjuntos independentes e complementares de tcnicas de planejamento. Para conciliar os
objetivos perseguidos por esses dois conjuntos de tcnicas de planejamento, prope-se nesse trabalho o
uso de critrios de planejamento experimental baseados em medidas do ganho de informao obtido
quando novos experimentos so realizados. O critrio de planejamento resultante nesse caso depende
dos volumes das regies de confiana dos parmetros estimados e apresenta vrias vantagens
comparativas, como a conciliao dos objetivos de discriminao de modelos e estimao tima dos
parmetros e a fcil interpretao dos resultados numricos em termos do contedo de desinformao
eliminada aps a realizao dos experimentos adicionais. Alm disso, o critrio proposto pode
acomodar facilmente procedimentos de planejamento multiobjetivo, como discutido nos exemplos.
Comparado a resultados prvios reportados na literatura, foi observado que o desempenho do novo
critrio de planejamento resultou em nmero similar ou menor de experimentos realizados para
discriminar modelos e em parmetros estimados com maior preciso.

DELINEAMENTOS TIMOS PARA EXPERIMENTOS FATORIAIS: UMA CORREO
NOS CRITRIOS USUAIS (Luzia A. Trinca)

Experimentos envolvendo vrios fatores so realizados em vrias reas do conhecimento e a
teoria de delineamentos timos tem proporcionado bastante flexibilidade nas situaes nas quais um
delineamento clssico no possvel. Em muitos casos, parte da anlise dos resultados experimentais
envolve tcnicas inferenciais como construo de intervalos de confiana e ou testes de hipteses rela-
cionados aos parmetros de um modelo de regresso. Existem vrios critrios de delineamento que
podem ser usados para obter experimentos eficientes. No entanto, os critrios usuais no consideram
que o delineamento deve garantir a estimao no tendenciosa da variabilidade casual, ou seja, da
variabilidade do erro puro. Neste trabalho mostramos que os critrios usuais apresentam as
propriedades a eles atribudas quando a variabilidade do erro puro considerada conhecida. Quando
tal variabilidade tem que ser estimada atravs do experimento, outros critrios devem ser considerados.


27

Neste sentido, apresentamos modificaes dos critrios usuais, assim como, a proposta de um
critrio que combina vrias propriedades, inclusive estimao do erro puro, particularmente til
quando o experimento apresenta vrios objetivos. Vrios exemplos ilustrando a performance dos
novos critrios so apresentados.
Este trabalho foi desenvolvido em co-autoria com Steven G. Gilmour (University of
Southampton, UK).

MS3 Mtodos Numricos para Simulao de Escoamentos
Multifsicos

Organizadores e palestrantes: Antnio Castelo Filho (ICMC/USP So Carlos);
Aristeu da Silveira Neto (FEMEC - UFU); Ricardo Sefaty (Petrobras).
Palestrantes: Adenilso da Silva Simo (ICMC USP), Fabrcio Simeoni de Sousa
(ICMC-USP), Mrio Lizier (UFSCar) e Joo Paulo Gois (UFABC), dentre outros que
ainda sero convidados.

MS4 Otimizao Combinatria
Organizadores: Helenice de Oliveira Florentino Silva (UNESP, Botucatu SP);
Geraldo Regis Mauri (UFES, Alegre ES) e Antnio Roberto Balbo (UNESP, Bauru
SP).

A otimizao combinatria , atualmente, uma rea de intensa pesquisa e suas aplicaes tm
ocorrido em todos os ramos das Cincias. Esta rea passou ultimamente por intensas e importantes
modificaes. A capacidade de resolver problemas complexos melhorou muito devido a diversos
fatores, como o desenvolvimento de algoritmos heursticos, aprimoramento de mtodos exatos,
disponibilidade de softwares rpidos e confiveis, baixo custo dos hardwares e o desenvolvimento de
linguagens de alto nvel. Mesmo assim, a otimizao combinatria ainda tem muitos desafios a serem
superados.
O objetivo do presente minissimpsio reunir pesquisadores nacionais e estrangeiros, que
trabalhem com novas formulaes em otimizao combinatria e aplicaes. Espera-se criar um frum
de discusso de pesquisas ligadas otimizao combinatria dentro do CMAC SE; integrar
pesquisadores desta rea, dando possibilidades de novas colaboraes; atrair interessados em temas
relacionados otimizao combinatria, de forma a dar dinamismo s discusses de pesquisa e
despertar interesse em jovens pesquisadores; proporcionar uma discusso sobre os recentes esforos


28

dos participantes, seus projetos, dificuldades e integraes de pesquisa.
OTIMIZAO EM REDES DE COMUNICAO (Geraldo Robson Mateus)

As tcnicas de otimizao tem se destacado na tomada deciso nas redes de comunicao.
Permitem explorar os diversos tipos de servios e aplicaes, tecnologias e topologias presentes nas
redes de telecomunicaes, sensores, transporte, energia e complexas. Muitos so os problemas de
otimizao em redes que demandam modelos estticos e dinmicos, algoritmos offline e online, exatos
e heursticas. Sero identificados diversos problemas, explicitados os grandes desafios, possveis
modelos e tcnicas, o estado da arte, e tambm comparaes de modelos e tcnicas de otimizao.

TCNICAS DE RELAXAO BASEADAS NA DIVISO EM CLUSTERS: APLICAES A
PROBLEMAS COMBINATORIAIS (Geraldo Regis Mauri)

Em geral, as relaxaes de um problema visam tornar a sua resoluo menos rdua. Um dos
casos mais comuns baseado na remoo de um conjunto de restries, consideradas difceis, da
formulao do problema. A soluo relaxada representa um valor limitante para a soluo tima de um
problema. Logo, essa abordagem uma alternativa interessante para avaliar a proximidade de uma
soluo (relaxada) em relao soluo tima de um problema. Uma estratgia usada para relaxar um
problema a sua diviso em problemas menores e com as mesmas caractersticas.
Considerando ento um problema cujas restries podem ser representadas por meio de um
grafo, uma diviso pode ser realizada pelo particionamento desse grafo em clusters formados por
vrtices e arestas. Essa estratgia no garante a obteno de uma soluo vivel para o problema
completo, pois algumas arestas so 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 estratgia, proposta recentemente, conhecida como Relaxao Lagrangiana com
Clusters. Uma ideia similar a Decomposio Lagrangiana com Clusters, que tambm consiste em
dividir o problema original em vrios subproblemas. Porm, essa abordagem utiliza a criao de cpias
de alguns vrtices do grafo e, nesse caso, apenas restries que garantem a igualdade entre os vrtices
originais e suas cpias so relaxadas no sentido lagrangiano. Assim, pretende-se apresentar e discutir
os preceitos bsicos dessas duas alternativas de relaxao baseadas na diviso em clusters. Alm disso,
prope-se uma discusso acerca da utilizao do algoritmo de subgradientes e da tcnica de gerao de
colunas para resoluo do dual lagrangiano associado a essas relaxaes. Por fim, sero apresentadas



29

aplicaes recentes dessas tcnicas a diferentes problemas combinatoriais, como o Problema de
Rotulao Cartogrfica de Pontos, o Problema de Programao Quadrtica Binria Irrestrita, e outros.

O MTODO BRANCH-AND-PRICE APLICADO AO PROBLEMA DE
DIMENSIONAMENTO DE LOTES COM RESTRIES DE CAPACIDADE (Silvio Araujo)

Neste trabalho apresenta-se um procedimento para a obteno de limitantes inferiores de boa
qualidade para o problema de dimensionamento de lotes com restries de capacidade. O
procedimento baseado na decomposio por perodos aplicada a uma reformulao do problema. O
problema mestre resolvido com um mtodo hbrido que combina decomposio Dantzig-Wolfe com
relao Lagrangiana. Por fim, desenvolve-se um mtodo branch-and-price para a resoluo do
problema e so apresentados resultados computacionais.

PROBLEMAS DE CORTE DE PEAS COM APROVEITAMENTO DE SOBRAS (Marcos
Nereu Arenales)

Nesta palestra revisamos abordagens clssicas para o problema de corte de peas, com nfase
modelagem matemtica. Uma breve reviso da metologia tambm apresentada. Em seguida,
estendemos algumas abordagens por considerar o aproveitamento de sobras, no qual o usurio define
tamanhos de peas que podem ser mantidos em estoque para serem utilizados em cortes futuros.
Embora o uso de sobras aproveitveis seja bastante utilizado na prtica e tenha sido citado em
trabalhos clssicos h mais de 30 anos, somente recentemente comeam a surgir resultados de pesquisa
na literatura. Discutimos os casos uni e bidimensionais.

ALGUMAS ABORDAGENS DE SOLUO PARA O PROBLEMA DE MINIMIZAO DO
NMERO DE TROCAS DE FERRAMENTAS (Horcio Hideki Yanasse)

O problema de minimizao de troca de ferramentas busca uma sequncia de processamento de
um conjunto de tarefas, de modo a minimizar o nmero de trocas de ferramentas requeridas. Algumas
abordagens de soluo para se resolver este problema so apresentadas e discutidas com relao as
suas potencialidades e fraquezas.



30
Mesa Mesa Mesa Mesas s s s Redonda Redonda Redonda Redondas ss s

Dia e Horrio 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 no-Fuzzy" em Biomatemtica.
Mediador e Participante: Prof. Joo Frederico C. A. Meyer
Participantes: Prof. Nlson Inforzato (Universidade Federal do Tringulo Mineiro)
Prof. Lacio Carvalho de Barros (Universidade Estadual de Campinas).

MR2 O papel da modelagem matemtica e computacional no
desenvolvimento cientifico, tecnolgico e de inovao para o
Brasil.
Mediador e Participante: Geraldo Nunes Silva (Universidade Estadual Paulista So
Jos do Rio Preto)
Participantes: Haroldo Fraga de Campos Velho (Instituto Nacional de Pesquisas
Espaciais), Yuan Jin Yun (Universidade Federal do Paran Centro Politcnico
Curitiba).


31
Oficina Oficina Oficina Oficina

Dias e Horrio Oficina Local
21/09, 22/09 e 23/09
08:30 10:30

Introduo ao GeoGebra

Laboratrio do Bloco 3Q

Ttulo: Introduo ao GeoGebra
Proponente: Jocelino Sato
Instituio: Universidade Federal de Uberlndia UFU

OBJETIVOS

Apresentar e explorar o GeoGebra como uma ferramenta interessante para o ensino-aprendizagem de
Matemtica na Educao Bsica. Desenvolver atividades que explorem o carter dinmico e a
potencialidade das vises algbrica e geomtrica oferecidas, simultaneamente, pelo GeoGebra.
Explorar recursos deste software para produo de material didtico (ilustraes em notas de aulas e
produes de applets em Java scripts).

DESENVOLVIMENTO

A oficina ser realizada por meio de discusses de atividades prticas desenvolvidas diretamente no
laboratrio de informtica, permitindo assim que os participantes possam interagir com o GeoGebra.
Seu desenvolvimento ser dividido em trs partes.

Parte I: Recursos do GeoGebra via janela geomtrica

O uso das ferramentas (recursos) do GeoGebra via mouse ser explorado no contexto da Geometria
Dinmica (Janela Geomtrica). Essas ferramentas sero apresentadas no decorrer do desenvolvimento
de atividades de construes com rgua e compasso, na resoluo de problemas explorando o carter
dinmico do GeoGebra, em atividades abordando as construes de cnicas em atividades que faam
uso de transformaes geomtricas nas solues de problemas.



32
Oficina Oficina Oficina Oficina

Parte II: Recursos do GeoGebra via janela algbrica

No contexto algbrico faremos o uso das ferramentas via comando ou via mouse. Desenvolveremos
atividades relacionadas geometria analtica plana e trigonometria, ressaltando a importncia das
vises simultneas das duas janelas (geomtrica e algbrica). A compreenso de muitos objetos e
problemas em matemtica torna-se mais fcil quando se tem a sua representao geomtrica, sendo
esta uma das orientaes de Polya no processo de busca de uma soluo (heurstica) de um problema.

Parte III: Criando ilustraes e atividades interativas com o GeoGebra
Usando atividades desenvolvidas nas Partes I e/ou II mostraremos como usar uma ferramenta rpida e
eficaz na confeco de ilustraes (desenho de figuras e grficos de funes) para textos matemticos.
Tambm 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 grficas passveis de serem manipulados pelos alunos, instigando a curiosidade e a
descoberta dos conceitos matemticos presentes nas construes apresentadas.



33
Sesses Tcnicas Sesses Tcnicas Sesses Tcnicas Sesses Tcnicas


ST14 Minissimpsio de Otimizao Anfiteatro C do Bloco 5O

08:30 10:30

08:30 - 08:45 Um mtodo de Lagrangianos aumentados com formulao PHR e aplicaes em
otimizao de malhas
Ana Paula Mazzini (ICMC USP)

08:45 - 09:00 O uso da Programao Linear na separao de dois conjuntos de pontos (padres)
por hiperplanos
Eberson Paulo Trevisan (Universidade Federal de Mato Grosso)

09:00 - 09:15 Mtodos de Pontos Interiores e Branch and Bound em Problemas de Biomassa
Residual da Cana-de-Acar
Antnio Roberto Balbo (D.Mat.-FC-UNESP-Bauru)

09:15 - 09:30 Otimizao de Feixes de Condutores de Linhas de Transmisso para Minimizao
dos Nveis de Campo Eltrico no Nvel do Solo
Andr Luiz Paganotti (Centro Federal de Educao Tecnolgica de Minas Gerais)

09:30 - 09:45 Um Mtodo Primal-Dual Barreira Logartmica Modificada com Estratgia de
Convergncia Global
Ricardo Bento Nogueira Pinheiro (UNESP Campus de Bauru)

09:45 - 10:00 Sitema de Colnia de Formigas para Otimizao Contnua: um Estudo para
Problemas Nebulosos
Luiza Amalia Pinto Canto (UNESP - Campus Experimental de Sorocaba)

10:00 - 10:15 Discretizao de Euler para controle timo impulsivo
Daniella Porto (UN ESP-So Jos do Rio Preto)

10:15 - 10:30 Otimizao da concentrao de misturas de herbicidas considerando a resistncia
de plantas daninhas
Ulcilea Alves Severino Leal (UNESP)



34


ST3 Computao Cientfica, ST16 Processamento de Sinais
Anfiteatro D do Bloco 5O

08:30 - 09:38

08:30 - 08:35 ST16 Representao e Extenso de Sistemas Complexos
Fabiana Tristo Santana, Fgner Lemos Santana, Adrio Duarte Dria Neto, Regivan
Hugo Nunes Santiago

08:37 - 08:42 ST16 Fundamentao Intervalar para Transformada Z
Fabiana Tristo de Santana (Instituto Federal de Educao, Cincia e Tecnologia do
Rio Grande do Norte)

08:44 - 08:49 ST16 Relaes entre Intervalos e Corpos
Fabiana Tristo de Santana (Instituto Federal de Educao, Cincia e Tecnologia do
Rio Grande do Norte)

08:51 - 08:56 ST16 Extrao de caractersticas do rudo emitido pela caneta ao assinar
Joo Paulo Lemos Escola (Universidade de So Paulo)

08:58 - 09:03 ST16 O Uso da Matemtica Intervalar no Processo de Quantizao de Sinais
Fabiana Tristo Santana, Fgner Lemos Santana, Adrio Duarte Dria Neto, Revigan
Hugo Nunes Santiago

09:05 - 09:10 ST16 Mtodo Semi-Paramtrico para Inferncia de Conectividade No-Linear
entre Sries Temporais
Lucas Massaroppe (Escola Politcnica 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 estratgia de restaurao de imagens de microscopia de fora atmica
utilizando CUDA para processamento paralelo
Augusto Garcia Almeida (Instituto Federal do Rio de Janeiro)



35

09:26 - 09:31 ST3 Fluxo de Ricci, Energia e Entropia dos Buracos Negros: Um Estudo
Computacional
Claudia Maria Gregorini Gonalves 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 Asuncin)

ST1 - Anlise e Aplicaes, ST8 - Matemtica Aplicada Fsica e ST12
Mtodos Numricos e Aplicaes Anfiteatro F do Bloco 5O

08:30 - 10:13

08:30 - 08:35 ST1 Hipersuperfcies do R
4
; invariantes por um subgrupo de isometrias com
curvatura escalar nula
Tlio Guimares, Jocelino Sato

08:37 - 08:42 ST1 Entrelaamento de Zeros de Polinmios Ortogonais
Fernando Rodrigo Rafaeli (FCT - UNESP)

08:44 - 08:49 ST1 Localizao dos zeros de combinaes lineares de polinmios
Mirela Vanina de Mello (Instituto de Biocincias Letras e Cincias Exatas-
IBILCE/UNESP)

08:51 - 08:56 ST1 Novas Classes de polinmios tipo Szeg e para-ortogonais
Regina Litz Lamblm (UEMS)

08:58- 09:03 ST1 Funes q-hipergeomtricas e polinmios ortogonais de Laurent
Marisa de Souza Costa (Universidade Federal de Uberlndia)

09:05 - 09:10 ST1 Spectral Properties of a coupled system of Schrdinger equations with time-
periodic coefficients
Ruy Coimbra Charo (Universidade Federal de Santa Catarina UFSC)

09:12 - 09:17 ST1 Polinmios L-Ortogonais via problemas de Riemann-Hilbert
Heron Martins Flix (UNICAMP)



36

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 Schrdinger Livre
Vanderla Rodrigues Bazo (FCT/UNESP - Presidente Prudente)

09:33 - 09:38 ST8 Simetrias de Lie e leis de conservao de equaes do tipo Korteweg-de Vries
Jlio Cesar Santos Sampaio (UFABC)

09:40 - 09:45 ST8 Modelagem de Segregao de Impurezas em Ligas Metlicas
Danielle Gonalves Teixeira (UERJ)

09:47- 09:52 ST8 Computao Quntica Topolgica Via Anyons de Fibonacci
Maicon Henrique Cunha (FEEC - UNICAMP)

09:52 - 09:59 ST8 Leis de conservao de equaes diferenciais de evoluo de terceira ordem
Igor Leite Freire (UFABC)

10:01 - 10:06 ST8 Estudo analtico e computacional de um modelo matemtico de circuito
eltrico envolvendo um memristor.
Marluce da Cruz Scarabello (FCT/UNESP)

10:08 - 10:13 ST12 Estabilidade do mtodo de Crank-Nicolson para as equaes de Naiver-
Stokes
Jos Alberto Cuminato (Instituto de Cincias Matemticas e de Computao - USP)



37


ST12 - Mtodos Numricos e Aplicaes
ST3 Computao Cientfica Anfiteatro do Bloco 3Q

08:30 - 10:10

08:30 - 08:35 Similaridades no estudo de imagens obtidas por microscopia de fora atmica
utilizando a transformada de Fourier
Alexandre Fioravante de Siqueira

08:37 - 08:42 Efeito da variao da energia de ativao sobre a estimao de parmetros
cinticos em processos no-isotrmicos
Jorge Manuel Vieira Capela (IQ/Unesp)

08:44 - 08:49 O Mtodo das Linhas na soluo da Equao do Cabo Extensvel
Camila Gonalves Costa (Faculdade de Cincias e Tecnologia - Unesp)

08:51 - 08:56 Acelerao da convergncia do Mtodo das Diferenas Finitas na resoluo da
Equao de Schrdinger unidimensional
Luis Antonio da Silva Vasconcellos (Faculdade de Cincias - UNESP/Bauru)

08:58 - 09:03 Anlise do Mtodo das Linhas para a Resoluo da Equao de Korteweg-de
Vries Burgers
Marilaine Colnago (FCT - UNESP)

09:05 - 09:10 Estudo Numrico do Mtodo das Linhas utilizando a Equao do Cabo
Inextensvel
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 Alssio (UFTM)

09:19 - 09:24 Condio peridica de fronteiras para uma Equao Cauchy-Poisson: Discusses
e aplicao ao modelo de Grad-Shafranov da fsica de plasmas espaciais
Magda Kimico Kaibara (Universidade Federal Fluminense)

09:26 - 09:31 Ferramentas matemticas para modelagem da temperatura com aplicao em
Graus-dias
Paulo Roberto Isler (UNESP-Botucatu)



38

09:33 - 09:38 Uma Reviso dos Mtodos Variacionais para Segmentao Soft de Imagens em
Vrias Regies
Vinicius Ruela Pereira Borges (Universidade Federal de Uberlndia)

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

09:47 - 09:52 Simulao numrica 2D e 3D de escoamentos com tenso superficial
Felipe Montefuscolo (Univerdidade de So Paulo)

09:55 - 10:00 Estudo das Caractersticas de Assimetria em Matrizes Elementares na Anlise de
Padres Gradientes
Roberto Affonso da Costa Junior (UNIFEI)

10:02 - 10:10 ST3 Simulao Discreta - Anlise das Aes e das Permisses em Comando e
Controle para a Defesa Area
Donizetti F. Louro (ITA - Instituto Tecnolgico de Aeronutica)

ST2 Biomatemtica, ST5-Controle e Teoria de Sistemas
Anfiteatro D do Bloco 5O

08:30 - 10:00

08:30 - 08:35 ST2 Contaminao Metropolitana do Rio Cuiab: Modelagem e Simulao de
Cenrios
Luiz Fernando de Moraes Campos Filho (UFMT)

08:37 - 08:42 ST2 Modelagem matemtica 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 bentnicos interativos na presena
do sedimento
Paulo Csar Carmona Tabares (IMECC - UNICAMP)

08:58- 09:03 ST2 Modeling Chagas Disease and Control Measures
Maria de Lourdes Esteva (UNAM)



39

09:05 - 09:10 ST2 Anlise Algbrica do Cdigo Gentico atravs do Diagrama de Hasse e do
Reticulado Booleano
Anderson Jos de Oliveira (FEEC - Unicamp)

09:12 - 09:17 ST2 Dinmica Populacional Interativa da Mosca-dos-chifres (Haematobia
irritans) na Presena de um Predador: Simulaes Computacionais.
Miguel Tadayuki Koga (UNICAMP / UNEMAT)

09:19 - 09:24 ST2 Aplicao do mtodo de Takagi-Sugeno-Kang em modelos farmacocinticos
multicompartimentais
Juliana Menegotto, Laecio Carvalho Barros

09:26 - 09:31 ST2 Anlise algortmica de mtodos de determinao de estruturas
tridimensionais de protenas
Virginia Silva da Costa (COPPE/UFRJ)

09:33 - 09:38 ST2 Mtodos numricos integrados lgica Fuzzy e mtodo estocstico para
soluo de EDP's: uma aplicao dengue
Graciele Paraguaia Silveira, Laecio Carvalho Barros

09:40 - 09:45 ST5 Invexidade Generalizada em Controle timo No-Suave
Valeriano Antunes de Oliveira (UNESP - S. J. do Rio Preto)

09:47 - 09:52 ST5 Comparao entre mtodos variacional e gentico para problemas de
controle estocstico
Carlos Alexandre Silva (Universidade de So Paulo)

09:55 - 10:00 ST5 Controle timo por Modos Deslizantes para Sistemas Multivariveis de
Tempo Discreto
Igor Breda Ferrao (EESC - USP/So Carlos)

10:02 - 10:10 ST5 Condio necessria para a existncia de soluo dos sistemas lineares
singulares sujeitos a saltos Markovianos
Amanda Liz Pacfico Manfrim (UNESP)

ST9 - Matemtica Discreta Anfiteatro F do Bloco 5O

08:30 - 09:52

08:30 - 08:35 Polgono Cannico 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 Plnio de Oliveira Santos (UNICAMP)



40
Sess Sess Sess Sesses Tcnicas es Tcnicas es Tcnicas es Tcnicas

08:44 - 08:49 Parties Planas e Sobreparties
Elen Viviani Silva

08:51 - 08:56 Nmeros q-binomiais e Representao como Matriz de Duas Linhas
Ceclia Pereira Andrade

08:58 - 09:03 Soluo de Problemas Envolvendo Paridade em Partio
Knia 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 polgonos com 12g-6 arestas
Gheyza Ferreira da Silva (Universidade Federal de Minas Gerais)

09:19 - 09:24 Construo e anlise de cdigos esfricos com boas taxas binrias
Lgia Rodrigues Bernab Naves (IFRJ)

09:26 - 09:31 Um estudo de reticulados q-rios na mtrica de Lee
Luciana Yoshie Tsuchiya (Unicamp)

09:33 - 09:38 Reticulados Hiperblicos Mergulhados Isometricamente no Espao Euclidiano:
anlise de distncia mnima
Las Bssame Rodrigues (Universidade Federal de Uberlndia)

09:40 - 09:45 Reticulados densos nas dimenses 2-8 com diversidade mxima
Agnaldo Ferrari, Grasiele Cristiane Jorge, Sueli Irene Rodrigues

09:47 - 09:52 Bons Cdigos de Grupo Comutativo via o Quociente de Reticulados
Carina Alves (UNESP - Campus de Rio Claro)



41

Quinta-feira (22/09/2011) Parte da Tarde

ST14 Minissimpsio de Otimizao

16:10 18:10

16:10 - 16:25 Gerao de colunas com o uso de retalhos no processo de corte de estoque
unidimensional com sobras de material aproveitveis
Adriana Cristina Cherri (Faculdade de Cincias, UNESP - Bauru)

16:25 - 16:40 O Problema de Corte Bidimensional envolvendo peas do tipo L
Andrea Carla Gonalves Vianna (UNESP - Bauru)

16:40 - 16:55 Algoritmo Gentico em Problemas de Rotao 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 funo Lagrangiana Barreira Penalidade para resoluo de problemas no
lineares
Edma Cssia Baptista (Unesp - Bauru)

17:25 - 17:40 Estudo de um modelo de otimizao para o problema de transporte dos resduos
da cana de acar
Silvely Salomo (UNESP Pres. Prudente)

17:40 - 17:55 Algoritmo de Colnia de Abelhas para o Problema de Dimensionamento de Lotes
Multiestgio com Limitao de Capacidade
Maristela oliveira dos Santos (Instituto de Cincias Matemticas e de Computao -
USP)

17:55 - 18:10 O mtodo de pontos interiores no planejamento da radioterapia
Andra Camila dos Santos Martins (Unesp)



42


ST13 - Modelagem Matemtica e Aplicaes

08:30 - 10:00

08:30 - 08:35 Mtodos numricos no clculo de graus-dia
Helenice de Oliveira Florentino (Unesp)

08:37 - 08:42 Sistemas Fuzzy Aplicados ao Estudo da Luminescncia de Ions de Neodmio
Daniela Portes Leal Ferreira, Rosana Motta Jafelice, Elias Olveira Serqueira

08:44 08:49 Modelo Matemtico da Pirlise 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 Anlise qualitativa de um modelo de crescimento de tumor de cncer com
interao entre clulas normais e tumorais.
Marluci Cristina Galindo (FCT/UNESP)

09:12 - 09:17 Mtodo Espectronodal para Modelagem Computacional da Difuso de Nutrons
Monoenergticos em Geometria Planar
Ralph dos Santos Mansur (Universidade do Estado do Rio de Janeiro)

09:19 09:24 Anlise da influncia do nmero de parmetros a ser estimados na equao de
Van Genuchten
Jos Alves Bezerra Neto (UFERSA)

09:26 - 09:31 Simulao Numrica Euleriana de Escoamentos Gs-Slido em Riser com
Dimenses Reduzidas Aplicando Malhas Refinadas.
Fernando Luiz Pio dos Santos (Instituto de Biocincias/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 Aplicao da metodologia Mtodo da Fronteira Imersa/Modelo Fsico Virtual
(MFI/MFV) para modelagem de fronteiras imersas no fechadas
Santos Alberto Enriquez-Remigio



43


09:47 09:52 Morfologia Intervalar X Morfologia Fuzzy: Uma Anlise Comparativa
Marcia Maria Cruz, Regivan Hugo Nunes Santiago

ST7 - Matemtica Aplicada Engenharia,
ST17 - Ensino Anfiteatro D Bloco 5O

08:30 - 10:00

08:30 08:35 G-Linearidade e Grupos de Simetrias
Edir Jnior Ferreira Leite (Universidade Federal de Uberlndia)

08:37 08:42 Grupo Fundamental e Tesselaes Simtricas Hiperblicas
Edir Jnior Ferreira Leite (Universidade Federal de Uberlndia)

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

08:51 08:56 Elaborao de Grficos Box-Plot em Planilhas de Clculo
Marisa Veiga Capela (IQ/UNESP/Araraquara)

08:58 09:03 Sobre o Projeto Klein de Matemtica em Lingua Portuguesa
Jos Antonio Salvador, Yuriko Yamamoto Baldin, Eleni Bisognin

09:05 09:10 A utilizao do computador no ensino de Matemtica na Educao de Jovens e
Adultos
Adriana de Oliveira Dias (Universidade Estadual de Gois)

09:12 09:17 O tradicional e as metodologias alternativas no ensino da Matemtica
Patrcia Maria dos Santos (Universidade Estadual do Norte Fluminense)

09:19 09:24 Caracterizao da fronteira da regio de estabilidade de sistemas dinmicos
autnomos no lineares na presena de pontos de equilbrio quase-hiperblicos
Fabolo Moraes Amaral (Instituto Federal de Educao, Cincia e Tecnologia da
Bahia)

09:26 09:31 Study of a electromechanical pendulum with average method
Masayoshi Tsuchida (IBILCE/UNESP/So Jos do Rio Preto)

09:33 09:38 Aplicao de Misturas Gaussianas na Anlise e Modelagem de Trfego VoIP
Cheila Mendes de Oliveira (Universidade Federal de Gois)

09:40 09:45 Um estudo de Modelos de Contorno Ativo
Diego Venncio Thomaz (FCT/UNESP)

09:47 09:52 Um Algoritmo Hbrido baseado em Pontos Interiores e Algoritmos Genticos para
o Problema de Despacho Eltrico timo com Restries de Rampa
Dnis Emanuel da Costa Vargas


44
Sesses Tcnica Sesses Tcnica Sesses Tcnica Sesses Tcnicas ss s

09:55 10:00 Desenvolvimento Pseudo-Espectral de Fourier para Escoamentos Bifsicos:
Implementao e Verificao
Mariana Fernandes dos Santos Villela (Universidade Federal de Uberlndia)

ST10 - Mecnica dos Fluidos e Aplicaes,
ST4 - Computao Grfica, ST11 - Mtodos Estocsticos e Estatsticos,
ST15 - Problemas Inversos
Anfiteatro F Bloco 5 O

08:37 - 10:00

08:37 08:42 Problema Creep-Trmico: Formulao Unificada para Modelos Cinticos com
base nas condies 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 Antnio Caro Candezano (USP)

08:51 08:56 Simulao de escoamentos incompressveis usando funo racional para
aproximar termos convectivos
Juliana Bertoco (USP)

08:58 09:03 Utilizao do Polinmio de Hermite do Quinto Grau como Esquema Upwind'':
Aplicao em Escoamentos com Superfcies Livres
Rodolfo Junior Prez Narvez (USP)

09:05 09:10 Assessment of curvature approximation methods in the simulation of viscous
biological membranes
Italo Valena Mariotti Tasso (USP)

09:12 09:17 Caraterizao de formas atravs de pontos salientes
Marcos Aurlio Batista (Universidade Federal de Gois)

09:19 09:24 Recuento de amastigotes de Trypanosoma cruzi y Leishmania sp por
procesamiento computacional de imgenes microscpicas
Jos Luis Vazquez Noguera (Facultad Politecnica - Universidad Nacional de
Asuncion)

09:26 09:31 Deteccin automtica de clulas con microncleos por etiquetacin de
componentes
Mario Roberto Monges Olmedo (Universidad Nacional de Asuncin)

09:33 09:38 Anlise Estocstica aplicada aos Tempos de Chegada de Aeronaves do Aeroporto
Internacional de Manaus
Victor Vermehren Valenzuela (UFPE)


45


09:40 09:45 A New Parameter Choice Rule for Optimization Models for Inverse Problems
with Poisson Noise
Elias Salomo Helou Neto (ICMC/USP)

09:47 09:52 Avaliao inicial de uma abordagem para compresso de imagens baseada em
sistemas de funes iteradas
Glauco dos Santos Reis, Pedro Paulo Balbi de Oliveira


46
Sesses de IC Sesses de IC Sesses de IC Sesses de IC Painis Painis Painis Painis


21/09 - 8:30 s 10:30 Saguo do Bloco 5O

ST1 Anlise e Aplicaes

Continuidade Absoluta de Funes Convexas
(P-01)
Flavio Lima de Souza, Lus Antnio Fernandes Oliveira

Zeros de Polinmios 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 Polinmios Ortogonais Gerados por uma Modificao na Funo Peso
(P-04)
Douglas Yugi Bocal Harada, Fernando Rodrigo Rafaeli

Elementos geomtricos associados ao problema do crculo mnimo
(P-05)
Rafaela Neves Bonfim, Walter dos Santos Motta Neto, Ana Carla Piantella

Reduo da Integral de Riemann-Stieltjes Integral de Riemann
(P-06)
Janaina Pedroso Zanchetta

ST3 Computao Cientfica

Identificao de petrofcies deposicionais em reservatrios de hidrocarbonetos
via algoritmos de agrupamento
(P-07)
Juliana Tonoli Cevolani, Leonardo Costa Oliveira, Leonardo Goliatt, Egberto Pereira



47

Um estudo do Reordenamento de Matrizes Esparsas atravs do Problema
do Caixeiro Viajante e seu efeito no Produto Matriz-vetor
(P-08)
Marcos Vinicius Caus Couto, Maria Claudia Boeres

Interface Grfica para Integrao do Processo de Anlise de Imagens
Ocenicas do Sensor SAR Transportado em Satlite
(P-09)
Brunno Figueira Goldstein, Bruno da Silva Brazil

ST7 Matemtica Aplicada Engenharia

Bifurcacin ferroresonante por la saturacin magntica
(P-10)
Csar Francisco Bogado Martnez, Walter Causarano, Christian E. Schaerer

Recuperao Avanada de Petrleo pela Injeo de Glicerina Bruta em Reservatrios de
Mltiplas Camadas
(P-11)
Delaynne Terezinha Grillo Freitas Garcia, Carlos Alexandre Pedrosa, Adolfo Puime Pires

ST9 Matemtica Discreta

Expanso de funes em fraes contnuas
(P-12)
Joabe Oliveira Santos, Marcos Antnio da Cmara

ST11 Mtodos Estocsticos e Estatsticos

MHC, Recombinao e Diversidade Gentica
(P-13)
Thamara Carvalho Coutinho, Telles Timteo 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



48
S SS Sesses de IC esses de IC esses de IC esses de IC Painis Painis Painis Painis


Discretizao da Equao de Poisson para Aplicao em Eletroosmose
(P-15)
Mario Luiz Previatti de Souza

Um programa com interface grfica para o estudo de solues para problemas
de ponto de sela
(P-16)
Italo Cristiano Nievinski Lima, Luiz Mariano Carvalho

Soluo de Sistemas Lineares com Processamento Paralelo
(P-17)
Fbio Rodrigues Silva, Jos Larcio Doricio, Homero Ghioti da Silva


Teoria Qualitativa das Equaes Diferenciais Ordinrias no Estudo da Interao
entre Espcies
(P-18)
Brythnner Monteiro Delfino, Valdair Bonfim

Modelagem Matemtica e Computacional da dinmica da Hansenase
(P-19)
Fbio Brito Moreira, Suani Tavares Rubim de Pinho, Ligia Regina Sansigolo Kerr

Modelo Matemtico da Trafega do Vinho
(P-20)
Fernanda Tumelero, Ediana Cimadon, Luana Fransozi

Curva de Reao do Processo Uma Ferramenta simples e til para o
Modelamento Dinmico de Sistemas Industriais
(P-21)
Rodrigo Santos de Oliveira, Estevo dos Santos Gedraite, Sergio M. da S. Neiro,
Rubens Gedraite, Leo Kunigk



49
Sesses Sesses Sesses Sesses de IC de IC de IC de IC Painis Painis Painis Painis

ST14 - Otimizao

Estudo de algumas Estratgias da Evoluo Diferencial
(P-22)
Natlia Caixeta Rocha

Planejamento para fundies: uma aplicao do mtodo das K-melhores mochilas
(P-23)
Murilo Soares Pinheiro, Franklina Maria Bragion de Toledo

Modelo para Condio de Descida em Algoritmos de Programao No Linear
(P-24)
Ranielle Felipe Brito de Freitas, Moiss Rodrigues Cirilo do Monte

ST17 - Ensino

Isotermas da Equao de Van der Waals: Uma aplicao do Geogebra
(P-25)
Wilson Tiago da Fonseca, Moiss Rodrigues Cirilo do Monte

Um modelo simplificado para ondas sonoras complexas
(P-26)
Eduardo Peixoto de Oliveira, Walter dos Santos Motta Jnior

Curvas Pedais via Geometria Dinmica
(P-27)
Fabricio Alves Oliveira, Dulce Mary de Almeida

Conceitos de Estatstica Descritiva atravs da resoluo de problemas para o
ensino fundamental
(P-28)
Jssica Scavazini Resende

Modelando uma caixa de sabo em p
(P-29)
Andrea Cardoso, Bruna S. C. Franco, Maira J. R. Oliveira, Karina K. Abreu,
Nathlia P. Santos, Juliana R. Carvalho, Michele M. Sacramento, Rejiane
A. Calixto, Daniela O. Santos



50


21/09 - 8:30 s 10:30 Saguo do Bloco 5 O


Equaes Diferenciais Parciais de Primeira Ordem e Aplicaes
(P-01)
Rafael Ferreira de Camargos Sousa, Valdair Bonfim

Interpretao Fsica dos Zeros dos Polinmios Ortogonais de Jacobi
(P-02)
Fernando Rodrigo Rafaeli, Jonas Antonio Padovani Ederli

Consequncia da Convergncia Dominada: A Regra de Leibniz
(P-03)
Flavio Lima de Souza, Lus Antnio Fernandes Oliveira

Polinmios Ortogonais e Equaes Diferenciais Ordinrias
(P-04)
Mariana Aparecida Delfino de Souza, Cleonice Fatima Bracciali

Introduo aos Sistemas Dinmicos Discretos
(P-05)
Gregrio Lus Dalle Vedove Nosaki, Mrcio Ricardo Alves Gouveia

ST2 Biomatemtica

Quimioterapia e Modelagem Matemtica em Cncer
(P-06)
Vinicius A. D. Almeida, Lucas M. C. Pinto, Paulo F. A. Mancera, Diego S Rodrigues

Avaliao da similaridade entre gentipos de pimenta a partir de tcnica estatstica
multivariada
(P-07)
Karolline Alves Cardoso



51
Ses Ses Ses Sesses de IC ses de IC ses de IC ses de IC Painis Painis Painis Painis

ST6 Matemtica Aplicada Economia e Finanas

Adaptao do indicador de sustentabilidade Painel de Sustentabilidade utilizando
lgica fuzzy para o municpio de Rio Branco-AC
(P-08)
Antonio Carlos Fonseca Pontes Jnior, Antonio Carlos Fonseca Pontes, Isaac Dayan Bastos
da Silva, Michael Kennedy Valente Gondim

ST7 Matemtica Aplicada Engenharia

Simulao Numrica de Fluxo de Gs Utilizando os Modelos de Forchheimer
Quadrtico e Cbico
(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 Fixao
(P-10)
Fbio Aparecido Marins, Sidineia Barrozo, Marcus Jos Witzler, Roberto Garcia

ST8 Matemtica Aplicada Fsica

lgebras de Lie e aplicaes
(P-11)
Igor Leite Freire, Priscila Leal da Silva

O Clculo Variacional e o Problema da Baquistcrona
(P-12)
Alisson de Carvalho Reinol, Ktia Aiko Nishiyama Alves, Jos Roberto Nogueira,
Suetnio de Almeida Meira

ST11 Mtodos Estocsticos e Estatsticos

Mutao e Flutuao Markoviana do Tamanho Populacional no Processo de
Wright-Fisher
(P-13)
Elizabeth Jardim Ramos Almeida, Telles Timteo da Silva,
Alexandre Celestino Leite Almeida



52

Ajuste de modelos de sries temporais para estudo consumo interno de leite do Brasil
(P-14)
Valiana Alves Teodoro, Mirian Fernandes Carvalho Arajo, Lcio Borges de Arajo

ST12 Mtodos Numricos e Aplicaes

Estudos sobre a estabilidade numrica de mtodos de diferenas finitas.
(P-15)
Hugo Leonardo Frana, Adriano Takata, Cassio Oishi

On the Parareal method for the wave equation
(P-16)
Eduardo Antonio de Los Santos Nuez, Juan Emilio Gaviln Garay,

Estimativa do Erro na Interpolao Linear por Partes
(P-17)
Fernando Gomes de Andrade, Lus Antnio Fernandes Oliveira

Estudo sobre o aumento da ordem de preciso de funcionais integrais
dependentes da soluo de EDPs via equao adjunta
(P-18)
Alessandro Alves Santana, Rafael Aparecido Carvalho Souza

ST13 Modelagem Matemtica e Aplicaes

Anlise matemtica do comportamento de um tumor submetido imunoterapia
(P-19)
Vanessa Avansini Botta Pirani, Edilaine Silva, Icaro Silva

Ajuste de Modelo Matemtico Cintica da Remoo de Resduos em Sistemas
de Limpeza CIP
(P-20)
Ana Paula Pereira Reis, Fernanda F. Pires, Rubens Gedraite

Modelo de Otimizao para Alocao de Links em um Sistema 3G
(P-21)
Bruno Quirino de Oliveira, Maria Jos Pereira Dantas,
Marllon Thiago Lopes dos Santos, Marcos Antnio de Sousa

Contato Entre Curvas
(P-22)
Cirilo Gonalves Junior, Antonio Carlos Nogueira


53
ST14 Otimizao

Uso do 'software' Maxima na Otimizao de Processos Qumicos por Programao Linear
(P-23)
Fabrcio Rodrigues, Adilson Jos de Assis

Sistemas de apoio a deciso em equipes desportivas
(P-24)
Diogo Gomes, Camila Poyatos, Silvely Nogueira de Almeida Salomo Nia

Avaliao da Matriz Jacobiana utilizando Colorao de Grafos
(P-25)
Thiago Molino Moreira, Maria Cristina Rangel

ST16 Processamento de Sinais

Morfologia matemtica na delimitao de espaos
(P-26)
Nayara Rebelo dos Santos, Aldenize Ruela Xavier, Maria Cludia Pereira dos Reis

ST17 Ensino

Descobrindo o nmero pi com geometria dinmica
(P-27)
Andrea Cardoso, Jos Carlos Souza Jnior, Marcelo M. A. Dias, Mateus P. S. Lima,
Jarne D. Ribeiro, Helen M. P. Oliveira, Renata R. Marques, Nathlia P. O. Rocha

Jogos de matemtica como metodologia de ensino/aprendizagem no 1 ano
do ensino mdio da rede pblica-RJ.
(P-28)
Tamara Freitas de Souza Monteiro, Estefane Costa Rosa Domingues

Tecnologia aplicada Educao Desafio da Hora
(P-29)
Cristina Coutinho Oliveira, Aldine Bombonati Gonalves, Dalva Maria de Oliveira Villarreal.


54


23/09 - 8:30 s 10:30 Saguo do Bloco 5O


Encontrando uma Conjugao
(P-01)
Gregrio Lus Dalle Vedove Nosaki, Mrcio Ricardo Alves Gouveia

Alguns Resultados sobre Caos em Sistemas Dinmicos Aplicados Equao de
Bernoulli
(P-02)
Fernanda Alves Ozrio, Luciano Barbanti, Aline Jardim Silva, Cristina Coutinho Oliveira

Sobre espaos vetoriais normados de dimenso finita
(P-03)
Patrcia Yukari Sato Rampazo, Jos Roberto Nogueira, Suetnio de Almeida Meira

Caos e Efeito Hidra na Equao Discretizada de Verhulst
(P-04)
Aline Jardim Silva, Cristina Coutinho Oliveira, Luciano Barbanti, Fernanda
Alves Ozrio, Berenice Camargo Damasceno

Universalidade em matrizes aleatrias
(P-05)
Guilherme Lima Ferreira da Silva

Uma Introduao s Curvas Elpticas
(P-06)
William da Silva Pedretti, Jaime Edmundo Apaza Rodriguez

ST4 - Computao Grfica

Mapeamento de Geometrias a partir de Texturas em Tempo Real
(P-07)
Gabriel Nobrega de Lima, Harlen Costa Batagelo, Joo Paulo Gois



55

Introduo Sucinta Triangulao de Delaunay e suas propriedades
(P-08)
Jssica Renata Nogueira, Sanderson L. Gonzaga de Oliveira

ST5 - Controle e Teoria de Sistemas

Estudo Global de Sistemas Quadrticos com uma Parbola Invariante
(P-09)
Alisson de Carvalho Reinol, Marcelo Messias

ST7 - Matemtica Aplicada Engenharia

Uma Aplicao de Equaes Diferenciais Voltada Flexo de Vigas
(P-10)
Marcela Pimenta Furtado, Lcia Resende Pereira Bonfim

Novos aspectos diferenciais do colapso da ponte suspensa Tacoma Narrows
(P-11)
Antonio Carlos Evangelista

ST11 - Mtodos Estocsticos e Estatsticos

Modelagem de dados genotpicos e allicos atravs de processos com
interao de alcance varivel
(P-12)
Andressa Cerqueira

Aplicao de autovalores e autovetores em programas de melhoramento gentico

(P-13)
Tatiana de Oliveira Gonalves, Lcio Borges de Arajo, Mirian Fernandes
Carvalho Arajo, Priscila Faria

Aproximaco de pi via mtodos de Monte Carlo
(P-14)
Rafael Honrio Pereira Alves, Edmilson Rodrigues Pinto



56


Resoluo da equao 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

Mtodo Misto e Hbrido Adaptado para Malha No Uniforme
(P-16)
Carlos Gustavo Lima Barreto, Csar Guilherme de Almeida

Modelagem Matemtica do Escoamento em um Fluido (gua) utilizando Interpolao
Polinomial
(P-17)
Lucas da Silva Ribeiro, Rosana Travessini, Denilson Baumgartner


Modelo Multiparmetro para Tomada de Decises em Contratos Corporativos
de Servios de Telecomunicaes sob Demanda Fuzzy e Tarifa Unitria
Multinveis
(P-18)
Marllon Thiago Lopes dos Santos, Maria Jos Pereira Dantas,
Bruno Quirino de Oliveira, Marcos Antnio de Sousa

Comparao de modelos para representao de poos na simulao numrica
de reservatrios de petrleo
(P-19)
Bismarck Gomes Souza Junior, Capico Enrique Pico Ortiz

Dinmica de Populaes - uma aplicao ao Municpio de Tefilo Otoni, MG
(P-20)
Jssica Lemos Gomes, Flvio Henrique dos Santos, Marcelo Alves Moreira,
Jaqueline Maria da Silva

Uso de EDOs no Crescimento Demogrfico do Municpio de Santa F do Sul
atravs dos Modelos de Malthus e Verhulst
(P-21)
Felipe dos Santos Sousa, Luiz Carlos Facundo Sanches



57

ST14 - Otimizao

Estudo de Transferncias Orbitais Utilizando Algoritmos Genticos
(P-22)
Noemi dos Santos Arajo, Denilson Paulo Souza Santos

Otimizao de Consumo de Combustvel em Percurso de Automvel
(P-23)
Pedro Henrique Dalmolin de Vasconcelos Affonso

A teoria da dualidade e o equilbrio de Nash
(P-24)
Lara Martins Barbosa, Marcos Antnio da Cmara, Letcia Ferreira Martins

ST16 - Processamento de Sinais

Estudo sobre os Parmetros Acsticos Relevantes para a Verificao de
Patologias Associadas Voz
(P-25)
Samara Garcia Mazucato, Rodolfo Mendona da Silva, Sylvio Barbon Junior

Morfologia matemtica na deteco de rea atravs de imagens digitais
(P-26)
Nayara Rebelo dos Santos, Maria Cludia Pereira dos Reis, Aldenize Ruela Xavier

ST17 Ensino

Objeto de Aprendizagem a Matemtica no Fim do Tnel
(P-27)
Arlindo J. de S. Jnior, Carlos Roberto Lopes, Deive Barbosa Alves,
Douglas Carvalho de Menezes, Mario Lucio Alexandre

Funes Hiperblicas: algumas aplicaes em Geometria Diferencial
(P-28)
Bruno Tadeu Pereira Jacob, Dulce Mary de Almeida

Reciclando tpicos de Clculo Numrico atravs de estimativas sobre produo
de lixo domstico
(P-29)
Guilherme Galina Loch, Alice Kozakevicius


58
ndice ndice ndice ndice

A
Adenilso da Silva Simo, 27
Adilson Jos de Assis, 53
Adolfo Puime Pires, 47, 51
Adriana Cristina Cherri, 41
Adriana de Oliveira Dias, 43
Adriano Takata, 52
Adrio Duarte Dria Neto, 34
Agnaldo Ferrari, 40
Aldenize Ruela Xavier, 53 , 57
Aldine Bombonati Gonalves, 53
Alessandro Alves Santana, 52
Alexandre C. L. Almeida, 47
Alexandre Celestino Leite Almeida, 51
Alexandre Fioravante de Siqueira, 37
Alexandre Santos Francisco, 12
Alice Kozakevicius, 57
Aline Jardim Silva, 54
Alisson de Carvalho Reinol, 51, 55
Amanda Liz Pacfico Manfrim, 39
Ana Carla Piantella, 46
Ana Luiza Almeida Santos, 56
Ana Paula Mazzini, 33
Ana Paula Pereira Reis, 52
Anderson Jos de Oliveira, 39
Andr Luiz Paganotti, 33
Andra Camila dos Santos Martins, 41
Andrea Cardoso, 49, 53
Andrea Carla Gonalves Vianna, 41
Andressa Cerqueira, 55
ngela Patricia Grajales Spilimbergo, 42
Angelo Aliano Filho, 41
Antonio Cndido Faleiros, 19
Antonio Carlos Evangelista, 55
Antonio Carlos Fonseca Pontes Jnior, 51
Antonio Carlos Fonseca Pontes, 51
Antonio Carlos Nogueira, 52
Antnio Castelo Filho, 27
Antnio Jos Silva Neto, 20
Antnio Roberto Balbo, 27, 33
Aristeu da Silveira Neto, 27, 56
Arlindo J. de S. Jnior, 57
Augusto Garcia Almeida, 34
Aurelio Ribeiro Leite de Oliveira, 63
Aurora Pozo, 23

B
Berenice Camargo Damasceno, 54
Bismarck Gomes Souza Junior, 56
Bruna S. C. Franco, 49
Brunno Figueira Goldstein, 47
Bruno da Silva Brazil, 47
Bruno Quirino de Oliveira, 52, 56
Bruno Tadeu Pereira Jacob, 57
Brythnner Monteiro Delfino, 48

C
Camila Gonalves Costa, 37
Camila Poyatos, 53
Capico Enrique Pico Ortiz, 56
Carina Alves, 40
Carlos Alexandre Pedrosa, 47
Carlos Alexandre Silva, 39
Carlos Gustavo Lima Barreto, 56
Carlos Roberto Lopes, 57
Carlos Souza Jnior, 53
Carolina Palma Naveira Cotta, 21
Cassio Oishi, 52
Ceclia Pereira Andrade, 40
Csar Francisco Bogado Martnez, 47
Csar Guilherme de Almeida, 56
Chafic Chartuni Cabral da Cruz, 51
Cheila Mendes de Oliveira, 43
Christian E. Schaerer, 47
Cinara Ewerling da Rosa, 44
Cirilo Gonalves Junior, 52
Claudia Maria Gregorini Gonalves Franchi, 35
Claudia Pio Ferreira, 38
Cleonice Fatima Bracciali, 50
Cristina Coutinho Oliveira, 53, 54

D
Dalmo Stutz, 20
Dalva Maria de Oliveira Villarreal, 53
Daniela O. Santos, 49
Daniela Portes Leal Ferreira, 42
Daniella Porto, 33
Danielle Gonalves Teixeira, 36
Deive Barbosa Alves, 57
Delaynne Terezinha Grillo Freitas Garcia, 47



59

Denilson Baumgartner, 41, 56
Denilson Paulo Souza dos Santos, 57
Dnis Emanuel da Costa Vargas, 43
Diego S. Rodrigues, 50
Diego Venncio Thomaz, 43
Diogo Gomes, 53
Donizetti F. Louro, 38
Douglas Carvalho de Menezes, 57
Douglas Yugi Bocal Harada, 46
Dulce Mary de Almeida, 49, 57

E
Eberson Paulo Trevisan, 33
Ediana Cimadon, 48
Edilaine Silva, 52
Edir Jnior Ferreira Leite, 43
Edma Cssia Baptista, 41
Edmilson Rodrigues Pinto, 25, 55
Edmundo C. Oliveira, 13
Eduardo Antonio de Los Santos Nuez, 52
Eduardo Peixoto de Oliveira, 49
Egberto Pereira, 46
Elen Viviani Silva, 40
Eleni Bisognin, 43
Elias Olveira Serqueira, 42
Elias Salomo Helou Neto, 45
Elizabeth Jardim Ramos Almeida, 51
Estefane Costa Rosa Domingues, 53
Estevo dos Santos Gedraite, 48

F
Fabiana Tristo Santana, 34
Fbio Aparecido Marins, 51
Fbio Brito Moreira, 48
Fbio Rodrigues Silva, 48
Fabolo Moraes Amaral, 43
Fabricio Alves Oliveira, 49
Fabrcio Rodrigues, 53
Fabrcio Simeoni de Sousa, 27
Fgner Lemos Santana, 34
Federico Javier Lopez Bertoni, 34
Felipe dos Santos Sousa, 56
Felipe Montefuscolo, 38
Felipe Pamplona Mariano, 56
Fernanda Alves Ozrio, 54
Fernanda F. Pires, 52
Fernanda Tumelero, 48
Fernando Gomes de Andrade, 52


Fernando Luiz Pio dos Santos, 42
Fernando Rodrigo Rafaeli, 35, 46, 50
Flvio Henrique dos Santos, 56
Flavio Lima de Souza, 46, 50
Fran Sergio Lobato, 23
Franklina Maria Bragion de Toledo, 49
Frederico Furtado, 14

G
Gabriel Nobrega de Lima, 54
Geraldo Lcio Diniz, 17
Geraldo Nunes Silva, 30
Geraldo Regis Mauri, 27, 28, 63
Geraldo Robson Mateus, 28, 64
Gheyza Ferreira da Silva, 40
Gilmar Guimares, 21
Gina Maira Barbosa de Oliveira, 23
Glauco dos Santos Reis, 45
Graciele Paraguaia Silveira, 39
Grasiele Cristiane Jorge, 37
Grazione de Souza Boy, 51
Gregrio Lus Dalle Vedove Nosaki, 50, 54
Guilherme Galina Loch,57
Guilherme Lima Ferreira da Silva, 54
Gustavo Cruz Pacheco, 36
Gustavo de Toledo Siqueira, 46

H
Harlen Costa Batagelo, 54
Haroldo Fraga de Campos Velho, 30
Hlcio Rangel Barreto Orlande, 21
Helen M. P. Oliveira, 53
Helenice de Oliveira Florentino Silva, 27, 42
Heron Martins Flix, 35
Homero Ghioti da Silva, 48
Horcio Hideki Yanasse, 64
Hugo Leonardo Frana, 52
Hugo Nunes Santiago, 34
I
Icaro Silva, 52
Igor Breda Ferrao, 39
Igor Leite Freire, 36, 51
Isaac Dayan Bastos da Silva, 51
Italo Cristiano Nievinski Lima, 48
Italo Valena Mariotti Tasso, 44



60

J
Jaime Edmundo Apaza Rodriguez, 54
Janaina Pedroso Zanchetta, 46
Jaqueline Maria da Silva, 56
Jarne D. Ribeiro, 53
Jssica Lemos Gomes, 56
Jssica Renata Nogueira, 55
Jssica Scavazini Resende, 49
Joabe Oliveira Santos, 47
Joo Frederico C. A. Meyer, 60
Joo Paulo Gois, 27, 54
Joo Paulo Lemos Escola, 34
Jocelino Sato, 31, 35
Jonas Antonio Padovani Ederli, 46, 50
Jorge Manuel Vieira Capela, 37
Jos Alberto Cuminato, 36
Jos Alves Bezerra Neto, 42
Jos Antonio Salvador, 43
Jos Carlos Costa da Silva Pinto, 23, 25
Jos Carlos Souza Jnior, 53
Jos Humberto Zani, 38
Jos Larcio Doricio, 48
Jos Luis Vazquez Noguera, 44
Jos Plnio de Oliveira Santos, 39
Jos Roberto Nogueira, 51, 54
Juan Emilio Gaviln Garay, 52
Juliana Bertoco, 44
Juliana Menegotto, 39
Juliana R. Carvalho, 49
Juliana Tonoli Cevolani, 46
Juliana Verga, 42
Jlio Cesar Santos Sampaio, 36

K
Karina K. Abreu, 49
Karolline Alves Cardoso, 50
Ktia Aiko Nishiyama Alves, 51
Knia Cristina Pereira Silva, 40

L
Lacio Carvalho de Barros, 12, 30
Las Bssame Rodrigues, 40
Lara Martins Barbosa, 57
Leandro Quintanilha de Freitas, 40
Leo Kunigk, 48
Leonardo Costa Oliveira, 46
Leonardo Goliatt, 46
Leonardo Queiroz Moreira, 56

Letcia Ferreira Martins, 57
Lgia Regina Sansigolo Kerr, 48
Lgia Rodrigues Bernab Naves, 40
Luana Fransozi, 48
Lucas da Silva Ribeiro, 56
Lucas M. C. Pinto, 50
Lucas Massaroppe, 34
Lcia Resende Pereira Bonfim, 55
Luciana Yoshie Tsuchiya, 40
Luciano Barbanti, 54
Lcio Borges de Arajo, 52, 55
Luis Antonio da Silva Vasconcellos, 37
Lus Antnio Fernandes Oliveira, 46, 50, 52
Luiz Carlos Facundo Sanches, 56
Luiz Carlos Gabriel Filho, 39
Luiz Fernando de Moraes Campos Filho, 38
Luiz Mariano Carvalho, 48
Luiza Amalia Pinto Canto, 33
Luzia Aparecida Trinca, 23, 25

M
Magda Kimico Kaibara, 37
Maicon Henrique Cunha, 36
Maira J. R. Oliveira, 49
Marcela Pimenta Furtado, 55
Marcelo Alves Moreira, 56
Marcelo Jos Colao, 21
Marcelo M. A. Dias, 53
Marcelo Messias, 55
Marcia Maria Cruz, 43
Mrcio Ricardo Alves Gouveia, 50, 54
Marcos Antnio da Cmara, 47, 57
Marcos Antnio de Sousa, 52, 56
Marcos Aurlio Batista, 44
Marcos Nereu Arenales, 64
Marcos Vinicius Caus Couto, 47
Marcus Jos Witzler, 51
Margarida Pato, 63
Maria Claudia Boeres, 47
Maria Cludia Pereira dos Reis, 53, 57
Maria Cristina Rangel, 53
Maria de Lourdes Esteva, 38
Maria Jos Pereira Dantas, 52, 56
Maria Rita Meyer Ferraz da Costa, 47
Mariana Aparecida Delfino de Souza, 50
Mariana Fernandes dos Santos Villela, 44
Mariane Pigossi, 46
Marilaine Colnago, 37


61

Mrio Lizier, 27
Mario Lucio Alexandre, 53
Mario Luiz Previatti de Souza, 48
Mario Roberto Monges Olmedo, 44
Marisa de Souza Costa, 35
Marisa Veiga Capela, 43
Maristela Oliveira dos Santos, 41
Marllon Thiago Lopes dos Santos, 52, 56
Marluce da Cruz Scarabello, 36
Marluci Cristina Galindo, 42
Masayoshi Tsuchida, 43
Mateus P. S. Lima, 53
Max Akira Endo Kokubun, 42
Michael Kennedy Valente Gondim, 51
Michele M. Sacramento, 49
Miguel Antnio Caro Candezano, 44
Miguel Tadayuki Koga, 39
Milena Almeida Leite Brando, 18
Mirela Vanina de Mello, 35
Mirian Fernandes Carvalho Arajo, 52 , 55
Moiss Rodrigues Cirilo do Monte, 49
Murilo Soares Pinheiro, 49

N
Natlia Caixeta Rocha, 49
Nathlia P. O. Rocha, 53
Nathlia P. Santos, 49
Nayara Rebelo dos Santos, 53, 47
Nlson Inforzato, 30
Noemi dos Santos Arajo, 57

O
Osmar Alssio, 37
Oswaldo Vernet, 17

P
Paolo Piccione, 15
Patrcia Maria dos Santos, 43
Patrcia Yukari Sato Rampazo, 54
Paulo Afonso Faria da Veiga, 64
Paulo Csar Carmona Tabares, 38
Paulo F. A. Mancera, 50
Paulo Roberto Isler, 37
Pedro Henrique Dalmolin de Vasconcelos
Affonso, 57
Pedro Paulo Balbi de Oliveira, 45


Priscila Faria, 55
Priscila Leal da Silva, 51

R
Rafael Aparecido Carvalho Souza, 52
Rafael Ferreira de Camargos Sousa, 50
Rafael Honrio Pereira Alves, 55
Rafaela Neves Bonfim, 46
Ralph dos Santos Mansur, 42
Ranielle Felipe Brito de Freitas, 49
Raquel Cupolillo Simes de Sousa, 43
Regina Litz Lamblm, 35
Regivan Hugo Nunes Santiago, 34, 43
Reinaldo Morbito, 64
Rejiane A. Calixto, 49
Renata R. Marques, 49
Ricardo Bento Nogueira Pinheiro, 33
Ricardo Sefaty, 27
Ricardo Takahashi, 16
Roberto Affonso da Costa Junior, 38
Roberto Almeida Prado, 46
Roberto Carlos Rodriguez Muguerza, 42
Roberto Garcia, 51
Rodolfo Junior Prez Narvez, 44
Rodolfo Mendona da Silva, 57
Rodrigo Santos de Oliveira, 48
Rosana Motta Jafelice, 42
Rosana Travessini, 56
Rosenei Felippe Knackfuss, 44
Rubens F. Camargo, 13
Rubens Gedraite, 48, 52
Rubens Sampaio, 11
Ruy Coimbra Charo, 35

S
Samara Garcia Mazucato, 57
Sanderson L. Gonzaga de Oliveira, 55
Santos Alberto Enriquez-Remigio, 42
Sergio M. da S. Neiro, 48
Sezimria de Ftima Pereira Saramago, 18
Sidineia Barrozo, 51
Silvely N. de Almeida Salomao Nia, 41, 53
Silvio Arajo, 64
Socorro Rangel, 63
Suani T. R. Pinho, 15, 48
Sueli Irene Rodrigues, 40



62
ndi ndi ndi ndice ce ce ce

Suetnio de Almeida Meira, 51, 54
Sylvio Barbon Junior, 57

T
Tamara Freitas de Souza Monteiro, 53
Tatiana de Oliveira Gonalves, 55
Telles T. da Silva, 47, 51
Thamara Carvalho Coutinho, 47
Thiago Molino Moreira, 53
Tlio Guimares, 35

U
Ulcilea Alves Severino Leal, 33

V
Valdair Bonfim, 48, 50
Valeriano Antunes de Oliveira, 39
Valrio Luiz Borges, 21
Valiana Alves Teodoro, 52
Vanderla Rodrigues Bazo, 36
Vanessa Avansini Botta Pirani, 52
Victor Vermehren Valenzuela, 44
Vinicius A. D. Almeida, 50
Vinicius Ruela Pereira Borges, 38
Virginia Silva da Costa, 39

W
Waldemar Villamayor-Venialbo, 35
Walter Causarano, 47
Walter dos Santos Motta Jnior, 49
Walter dos Santos Motta Neto, 46
William da Silva Pedretti, 54
Wilson Tiago da Fonseca, 49

Y
Yuan Jin Yun, 30
Yuriko Yamamoto Baldin, 43



63
Apndice Apndice Apndice Apndice

MS4 - Minimpsio de Otimizao Combinatria
(21 e 22 de Setembro de 2011)

PROGRAMAO

Quarta feira 21/09/2011 Anfiteatro C do Bloco 5 O
Sesso Tcnica 1: Coord. Silvely Salomo (UNESP Pres. Prud. SP)
8:30 8:45
Um mtodo de Lagrangianos aumentados com formulao PHR e aplicaes em otimizao de malhas
Ana Paula Mazzini (ICMC USP)
8:45 9:00
O uso da Programao Linear na separao de dois conjuntos de pontos (padres) por hiperplanos
Eberson Paulo Trevisan (Universidade Federal de Mato Grosso)
9:00 9:15
Mtodos de Pontos Interiores e Branch and Bound em Problemas de Biomassa Residual da Cana-de-Acar
Antonio Roberto Balbo (UNESP Bauru)
9:15 9:30
Otimizao de Feixes de Condutores de Linhas de Transmisso para Minimizao dos Nveis de Campo
Eltrico no Nvel do Solo
Andr Luiz Paganotti (CFET Minas Gerais)
9:30 9:45
Um Mtodo Primal-Dual Barreira Logartmica Modificada com Estratgia de Convergncia Global
Ricardo Bento Nogueira Pinheiro (UNESP BAURU)
9:45 10:00
Sistema de Colnia de Formigas para Otimizao Contnua: um Estudo para Problemas Nebulosos
Luiza Amalia Pinto Canto (UNESP Sorocaba)
10:00 10:15
Discretizao de Euler para controle timo impulsivo
Daniella Porto (UNESP So Jos do Rio Preto)
10:15 10:30
Otimizao da concentrao de misturas de herbicidas considerando a resistncia de plantas daninhas
Ulcilea Alves Severino Leal (UNESP So Jos do Rio Preto)
10:30 11:00 Caf
11:00 12:00 Conferncia Plenria
12:00 13:30 Almoo
13:30 13:50
Sobre o comit de Otimizao Combinatria:
Presidente da SBMAC e Coordenador do CMAC
Conferncias
Coordenadora: Profa. Dra. Andrea Carla G. Vianna FC/UNESP Bauru SP
13:50 14:20
Conferncia 1 : Profa. Dra. Margarida Pato ISEG/CIO UTL/UL Lisboa Port.

14:20 14:50
Conferncia 2 : Prof. Dr. Geraldo Regis Mauri, UFES, Alegre ES
Tcnicas de Relaxao Baseadas na Diviso em Clusters: Aplicaes a Problemas Combinatoriais
14:50 15:20
Conferncia 3 : Profa. Dra. Socorro Rangel IBILCE UNESP S.J. Rio Preto SP

15:20 15:50
Conferncia 4 : Prof. Dr. Aurlio Ribeiro Leite de Oliveira Unicamp, Campinas SP
Mtodo de Pontos Interiores Barreira Logartmica Preditor-Corretor Especializado para o Problema de
Regresso 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
Otimizao em Redes de Comunicao
17:10 18:00 Reunio do Comit de Otimizao Combinatria e membros SBMAC

18:30 20:00 Assemblia da SBMAC
20:15 22:30 Coquetel



64
Apndice Apndice Apndice Apndice

Quinta feira 22/09/2011 Anfiteatro C do Bloco 5 O
Conferncias
Coordenadora: Profa. Dra. Maristela O. dos Santos ICMC/USP So Carlos SP
8:30 9:00
Conferncia 5 : Prof. Dr. Silvio Araujo IBILCE UNESP S.J. Rio Preto SP
O mtodo branch-and-price aplicado ao problema de dimensionamento de lotes com restries de
capacidade
9:00 9:30
Conferncia 6 : Prof. Dr. Reinaldo Morbito UFSCAR So Carlos SP
Roteamento de Veculos com Mltiplos Entregadores: Modelagem e Abordagens Heursticas.
9:30 10:00
Conferncia 7 : Prof. Dr. Marcos Nereu Arenales ICMC USP
Problemas de corte de peas com aproveitamento de sobras.
10:0010:30
Conferncia 8 : Prof. Dr. Horcio Hideki Yanasse INPE S.J. do Campos SP
Algumas abordagens de soluo para o problema de minimizao do nmero de
trocas de ferramentas.
10:30 11:00 Caf
Palestra
Coordenador: Prof. Dr. Antnio Roberto Balbo FC/UNESP Bauru SP
11:00-12:00
Palestra 2: Prof. Dr. Paulo Afonso Faria da Veiga ICMC USP So Carlos SP
Mobilidade Acadmica e Cooperao Internacional: Relato de Experincias na USP
12:00 13:30 Almoo
Mesa Redonda
Mediador: Prof. Dr. Alysson Machado Costa ICMC/USP So Carlos SP
13:30 15:50 Mesa Redonda Otimizao Combinatria: Passado e Futuro

Prof. Dr. Horcio Hideki INPE S.J. do Campos;
Prof. Dr. Reinaldo Morbito UFSCAR;
Prof. Dr. Geraldo Robson Mateus UFMG Belo Horizonte MG.
15:50 16:10 Caf
Sesso Tcnica 2: Coord. Deisemara Ferreira UFTM Uberaba MG
16:10 16:25
Gerao de colunas com o uso de retalhos no processo de corte de estoque unidimensional com sobras de
material aproveitveis
Adriana Cristina Cherri (UNESP Bauru)
16:25 16:40
O Problema de Corte Bidimensional envolvendo peas do tipo L
Andrea Carla Goncalves Vianna ( UNESP Bauru
16:40 16:55
Algoritmo Gentico em Problemas de Rotao 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 funo Lagrangiana Barreira Penalidade para resoluo de problemas no lineares
Edma Cssia Baptista (UNESP Bauru)
17:25 17:40
Estudo de um modelo de otimizao para o problema de transporte dos resduos da cana de acar
Silvely Salomo (UNESP Pres. Prudente)
17:40 17:55
Algoritmo de Colnia de Abelhas para o Problema de Dimensionamento de Lotes Multiestgio com
Limitao de Capacidade
Maristela Oliveira dos Santos (ICMC USP)
17:55 18:10
O mtodo de pontos interiores no planejamento da radioterapia
Andra Camila dos Santos Martins (PG Biometria IB UNESP de Botucatu)


Programa Cmac Se

Caricato da

Informazioni sul documento

Descrizione originale:

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Programa Cmac Se

Caricato da

Copyright:

Formati disponibili

Universidade Federal de Uberlndia

Sociedade Brasileira de Matemtica

Potrebbero piacerti anche