Programa Cmac Se

Universidade Federal de UberlândiaSociedade Brasileira de Matemática Aplicada e Computacional Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG Boas Vindas Boas Vindas Boas Vindas Boas Vindas O Congresso de Matemática Aplicada e Computacional da Região Sudeste (CMAC-SE) é promovido pela Sociedade Brasileira de Matemática Aplicada e Computacional (SBMAC), com o apoio das Regionais 6, 7, 8, 9 e 10 da SBMAC, que englobam a região sudeste do país, e da Faculdade de Matemática da Universidade Federal de Uberlândia. O CMAC-SE 2011 é um evento derivado do conhecido Congresso Nacional de Matemática Aplicada e Computacional - CNMAC, cuja a trigésima terceira edição foi realizada em 2010. A partir de então, o CNMAC ocorrerá apenas em anos pares. Nos anos ímpares ocorrerão os CMAC das regiões Norte, Nordeste, Sul, Sudeste e Centro-oeste. Este evento tem por objetivo a divulgação da Matemática Aplicada e Computacional a um público amplo e diversificado; a formação de capital humano na área da Matemática Aplicada e Computacional; a integração, a troca de experiências e o intercâmbio acadêmico e científico entre professores, alunos e pesquisadores atuantes no país e no exterior. Desta forma, as atividades programadas para este evento são, também, diversificadas e incluem: conferências, minicursos, mesas-redondas, oficina, sessões de painéis de pesquisa e de iniciação científica; minissimpósios nas áreas de Otimização Combinatória, Computação Bio-inspirada, Planejamento Ótimo de Experimentos e Simulação de Escoamentos Multifásicos. Neste ano, os minicursos programados são os seguintes: Criptografia, A Geometria Absoluta, Equações de Diferenças e Sistemas com Aplicações Biológicas, Métodos Estocásticos de Otimização: Algoritmos Genéticos e Evolução Diferencial, Problemas Inversos em Transferência de Calor e Computação Paralela para Restauração de Imagens de Microscópios de Força Atômica. Teremos também uma oficina sobre o software GeoGebra, ferramenta útil que pode ser utilizada no ensino da Matemática na Educação Básica. Agradecemos o apoio das agências de fomento CAPES, FAPEMIG e CNPq e também da Dot.Lib, Petrobrás, PROEX e UFU pela valiosa contribuição. Aproveitamos a oportunidade para dar as boas vindas a todos os participantes do CMAC-SE 2011 e desejar um ótimo congresso. Esperamos que sejam dias muito produtivos, e que o evento promova a integração dos pesquisadores e profissionais da área, criando novas parcerias e difundindo novas ideias. A comissão organizadora do evento está à disposição para esclarecer quaisquer dúvidas e ajudá-los no que for necessário. Desejamos um excelente congresso a todos! Uberlândia, setembro de 2011. Comissão Organizadora “Não é paradoxo dizer que nos nossos momentos de inspiração mais teórica podemos estar mais próximos possível de nossas aplicações mais práticas.” A.N. Whitehead 1861-1947 CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG Apoio Apoio Apoio Apoio Organização: Faculdade de Matemática - UFU DAMAT - Diretório Acadêmico da Faculdade de Matemática PETMAT - Programa de Educação Tutorial da Faculdade de Matemática Regionais 6, 7, 8, 9 e 10 da SBMAC – Sociedade Brasileira de Matemática Apoio: CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG Comissões Organizadoras Comissões Organizadoras Comissões Organizadoras Comissões Organizadoras COMITÊ CIENTÍFICO Rodney Bassanezi (UFABC) – Coordenador João Paulo Góis (UFABC) Valdemir Garcia Ferreira (USP - São Carlos) Célia Zorzo Barcelos (UFU) Gastão de Almeida Braga (UFMG) Helenice de Oliveira Florentino Silva (UNESP, Botucatu-SP) Maria Claudia Silva Boeres (UFES) Márcio Borges (LNCC) Sandra Malta (LNCC) Simone de Almeida Delphim Leal (UNIFAP) Igor Leite Freire (UFABC) COORDENADORES REGIÃO SUDESTE Regional 06 (Espírito Santo, Rio de Janeiro) Coordenadora: Profa. Renata Del Vecchio Regional 07 (Minas Gerais) Coordenador: Prof. César Guilherme de Almeida; Vice-Coordenador: Prof. Jorge Andrés Julca Ávila Regional 08 (São José dos Campos, Guaratinguetá, Casa Branca, Taubaté, Pindamonhangaba, Cachoeira Paulista, Potim, Campos do Jordão) Coordenador: Prof. José Carlos Becceneri Vice-Coordenador: Prof. Igor Freire Regional 09 (Araçatuba, Catanduva, Franca, Ilha Solteira, Jales, Pereira Barreto, Presidente Prudente, Ribeirão Preto, Santa Fé do Sul, São José do Rio Preto, Votuporanga) Coordenadora: Profa. Vanessa A. Botta Regional 10 (Americana, Araraquara, Bauru, Botucatu, Campinas, Itatiba, Limeira, Mogi Guaçu, Piracicaba, Pirassununga, Rio Claro, Santa Bárbara d'Oeste, São Carlos, Sorocaba Coordenador: Prof. Antônio Roberto Balbo CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG Comissões Comissões Comissões Comissões Organizadoras Organizadoras Organizadoras Organizadoras COMISSÃO LOCAL Rosana Sueli da Motta Jafelice - Coordenadora Alessandro Alves Santana Ana Carla Piantella Ana Maria Amarillo Bertone Edmilson Rodrigues Pinto Fernando Antônio de Freitas Marcos Antônio da Câmara Mirian Fernandes Carvalho Araújo Walter dos Santos Motta Júnior Fabricio Alves Oliveira – discente do Grupo PETMAT Helder Tobias Silva Borges – discente do Diretório Acadêmico CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG Sumário Sumário Sumário Sumário Programação ............................................................................ 06 Mapa ........................................................................................ 10 Palestras ................................................................................... 11 Minicursos ............................................................................... 17 Minissimpósios ........................................................................ 23 Mesas Redondas ...................................................................... 30 Oficina ..................................................................................... 31 Sessões Técnicas ...................................................................... 33 Sessões de IC – Painéis ............................................................ 46 Índice por Autor ........................................................................ 58 Apêndice ................................................................................... 63 CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 6 Programação Programação Programação Programação Terça-feira (20/09/2011) Observações: 1) Será realizado o minissimpósio “Otimização Combinatória”, do dia 21 ao dia 23 de setembro, no anfiteatro C do Bloco 5O. Maiores informações nas páginas 23 e 63. 2) Será realizado o minissimpósio “Métodos Numéricos para Simulação de Escoamentos Multifási- cos”, nos dias 21 e 22 de setembro, no anfiteatro E do Bloco 5O. Maiores informações na página 23. Horários 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 Inscrição 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 Saguão do anfiteatro 3Q Confraternização CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 7 Programação Programação Programação Programação Quarta-feira (21/09/2011) Horários Local Quarta-feira (21/09/2011) 08:30 às 10:30 Anfiteatros: 1) Anf. A (Bloco 5O) 2) Anf. B (Bloco 5O) 3) Anf. da Biblioteca Anfiteatro do Bloco 3Q; Anfiteatros D e F do Bloco 5O Laboratório do Bloco 3Q Minicursos: 1) Geraldo Diniz (UFMT) 2) Oswaldo Vernet (UFRJ) 3) Sezimária Saramago (UFU) Sessão Técnica – apresentação de pôster Oficina de GeoGebra – Jocelino Sato (UFU) 10:30 às 11:00 Saguão do Bloco 5O Café 11:00 às 12:00 Anfiteatro do Bloco 3Q Conferência Plenária – Marcelo Viana (IMPA) M A N H Ã 12:00 às 13:30 Almoço 13:30 às 15:30 Anfiteatros: 4) Anf. A (Bloco 5O) 5) Anf. B (Bloco 5O) 6) Anf. do Bloco 3Q Minicursos: 4) Antônio Faleiros (UFABC) 5) Antônio José (UERJ) 6) Hélcio Orlande (UFRJ) 15:30 às 16:00 Saguão do Bloco 5O Café Anf. do Bloco 3Q Palestra 1 – Rubens Sampaio (PUC-RJ) 16:10 às 17:10 Anf. A (Bloco 5O) Palestra 2 – Alexandre Francisco (UFF-Volta Redonda) Anf. A (Bloco 5O) Mesa Redonda 1 – Fuzzy × Não-Fuzzy T A R D E 17:15 às 18:15 Anf. do Bloco 3Q Minissimpósio – Computação Bio-inspirada 18:30 às 20:00 Anf. do Bloco 3Q Assembleia da SBMAC N O I T E 20:15 às 22:30 Coquetel Observações: 1) Membros da Mesa Redonda 1: João Frederico C. A. Meyer (Unicamp); Nélson Inforzato (UFTM) e Laécio Carvalho de Barros (Unicamp). 2) Palestrantes do minissimpósio de “Computação Bio-inspirada”: Gina Maira B. de Oliveira (UFU); Aurora Pozo (UFPR) e Fran Sergio Lobato (UFU). CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 8 Programação Programação Programação Programação Quinta-feira (22/09/2011) Observação: Palestrantes do minissimpósio “Planejamento Ótimo de Experimentos”: Edmilson Rodrigues Pinto (UFU); José Carlos Costa da Silva Pinto (UFRJ); Luzia Aparecida Trinca (Unesp). Horários Local Quinta-feira (22/09/2011) 08:30 às 10:30 Anfiteatros: 1) Anf. A (Bloco 5O) 2) Anf. B (Bloco 5O) 3) Anf. da Biblioteca Anfiteatro do Bloco 3Q; Anfiteatros D e F do Bloco 5O Laboratório do Bloco 3Q Minicursos: 1) Geraldo Diniz (UFMT) 2) Oswaldo Vernet (UFRJ) 3) Sezimária Saramago (UFU) Sessão Técnica – apresentação de pôster Oficina de GeoGebra – Jocelino Sato (UFU) 10:30 às 11:00 Saguão do Bloco 5O Café Anfiteatro do Bloco 3Q Palestra 3 – Laécio Carvalho (Unicamp) 11:00 às 12:00 Anf. A (Bloco 5O) Palestra 4 – Rubens Figueredo (Unesp – Bauru) M A N H Ã 12:00 às 13:30 Almoço 13:30 às 15:30 Anfiteatros: 4) Anf. A (Bloco 5O) 5) Anf. B (Bloco 5O) 6) Anf. do Bloco 3Q Minicursos: 4) Antônio Faleiros (UFABC) 5) Antônio José (UERJ) 6) Hélcio Orlande (UFRJ) 15:30 às 16:00 Saguão do Bloco 5O Café Anfiteatro do Bloco 3Q 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 matemática ... T A R D E 17:15 às 18:15 Anfiteatro do Bloco 3Q Minissimpósio – Planejamento Ótimo de Experimentos 18:30 às 20:00 Anfiteatro do Bloco 3Q Anf. da Biblioteca Anfiteatros do Bloco 5O Reunião dos Comitês Temáticos N O I T E 20:15 às 22:30 Jantar por adesão CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 9 Programação Programação Programação Programação Sexta-feira (23/09/2011) Horários Local Sexta-feira (23/09/2011) 08:30 às 10:30 Anfiteatros: 1) Anf. A (Bloco 5O) 2) Anf. B (Bloco 5O) 3) Anf. da Biblioteca Anfiteatro do Bloco 3Q; Anfiteatros D e F do Bloco 5O Laboratório do Bloco 3Q Minicursos: 1) Geraldo Diniz (UFMT) 2) Oswaldo Vernet (UFRJ) 3) Sezimária Saramago (UFU) Sessão Técnica – apresentação de pôster Oficina de GeoGebra – Jocelino Sato (UFU) 10:30 às 11:00 Saguão do Bloco 5O Café Anfiteatro do Bloco 3Q 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 Almoço 13:30 às 15:30 Anfiteatros: 4) Anf. A (Bloco 5O) 5) Anf. B (Bloco 5O) 6) Anf. do Bloco 3Q Minicursos: 4) Antônio Faleiros (UFABC) 5) Antônio José (UERJ) 6) Hélcio Orlande (UFRJ) 15:30 às 16:00 Saguão do Bloco 5O Café 16:10 às 17:10 Anfiteatro do Bloco 3Q Conferência Plenária – Valder Steffen Jr. (UFU) T A R D E 17:15 às 18:15 Anfiteatro do Bloco 3Q Cerimônia de Encerramento e Apresentação Cultural CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 10 Mapa Mapa Mapa Mapa CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 11 Palestras Palestras Palestras Palestras Dia Horário Local Palestra Anf. do Bloco 3Q Palestra 1 – Rubens Sampaio (PUC-RJ) 21/09 16:10 às 17:10 Anf. A (Bloco 5O) Palestra 2 – Alexandre Francisco (UFF-Volta Redonda) Anf. do Bloco 3Q Palestra 3 – Laécio Carvalho (Unicamp) 11:00 às 12:00 Anf. A (Bloco 5O) Palestra 4 – Rubens Figueredo (Unesp – Bauru) Anf. do Bloco 3Q Palestra 5 – Frederico Furtado (University of Wyoming) 22/09 16:10 às 17:10 Anf. A (Bloco 5O) Palestra 6 – Suani Pinho (UFBA) Anf. do Bloco 3Q Palestra 7 – Paolo Piccione (USP – SP) 23/09 11:00 às 12:00 Anf. A (Bloco 5O) Palestra 8 – Ricardo Takahashi (UFMG) 21/09 – 16:10 às 17:10 Palestra 1 - Anfiteatro do Bloco 3Q Título: Modelagem Estocástica e Quantificação de Incertezas Palestrante: Rubens Sampaio ([email protected]) Instituição: PUC - RJ Resumo: In the modeling of dynamical systems, uncertainties are present and they must be taken into account to improve the prediction of the models. Some strategies have been used to model uncertainties and the aim of this work is to discuss two of those strategies and to compare them. This will be done using the simplest model possible: a two d.o.f. (degrees of freedom) dynamical system. A simple system is used because it is very helpful to assure a better understanding and, consequently, comparison of the strategies. The first strategy (called parametric strategy) consists in taking each spring stiffness as uncertain and a random variable is associated to each of them. The second strategy (called nonparametric strategy) is more general and considers the whole stiffness matrix as uncertain, and associates a random matrix to it. In both cases, the probability density functions either of the random parameters or of the random matrix are deduced from the Maximum Entropy Principle using only the available information. With this example, some important results can be discussed, which cannot be assessed when complex structures are used, as have been done so far in the literature. One important element for the comparison of the two strategies is the analysis of the samples spaces and the discussion of how compare them. CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 12 Palestra Palestra Palestra Palestras ss s 21/09 – 16:10 às 17:10 Palestra 2 - Anfiteatro A do Bloco 5O Título: A Multiscale Mixed Method for Heterogeneous Porous Media Flow Problems Palestrante: Alexandre Santos Francisco ([email protected]) Instituição: Universidade Federal Fluminense - Volta Redonda - RJ Resumo: We are concerned with the development of numerical procedures for the fast and accurate approximation of subsurface flows that can take advantage of heterogeneous (e.g., CPU-GPU clusters) processing units. Such units are relatively inexpensive and have larger computational power (by one or two orders of magnitude) than CPUs alone. We develop a new multiscale mixed method to compute the velocity field in heterogeneous porous media flows. This development is motivated by a non-overlapping iterative domain decomposition procedure based on the Robin interface condition. 22/09 – 11:00 às 12:00 Palestra 3 - Anfiteatro do Bloco 3Q Título: Sistemas Dinâmicos Fuzzy Palestrante: Laécio Carvalho de Barros ([email protected]) Instituição: IMECC – Unicamp, Campinas - SP Resumo: É comum nos depararmos com fenômenos que podem ser modelados por Equações Diferenciais Ordinárias, cuja solução não é conhecida analiticamente. Neste caso, fazemos uso da Análise Numérica para simular uma solução. Muitas vezes, principalmente em fenômenos biológicos, tais “equações” são carregadas de incertezas do tipo estocástica ou devido à falta de conhecimento a respeito do fenômeno. No primeiro caso é comum o uso das Equações Diferenciais Estocásticas (do tipo Itô, por exemplo). O segundo caso tem sido tratado pelas Equações Diferenciais Fuzzy (EDF) que será o tema de nossa palestra. Há várias abordagens sobre EDF. Falaremos aqui algumas delas, com ênfase às que dão origem aos modelos p-fuzzy. Os sistemas p-fuzzy tratam fundamentalmente da situação em que o campo de direções é parcialmente conhecido, isto é, sabe-se qual o domínio do campo de direções. Porém, nesse CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 13 Palestra Palestra Palestra Palestras ss s domínio, tal campo é conhecido apenas qualitativamente, segundo um especialista. Neste caso, uma ferramenta que temos utilizado é a Teoria dos Conjuntos Fuzzy, mais especificamente, os Controladores Fuzzy, os quais se utilizam da Lógica Fuzzy para "captar" matematicamente o conhecimento do especialista (ou de uma base de dados). Para ilustrar a capacidade dos controladores fuzzy, faremos uso dos mesmos, aliados aos métodos tradicionais de Análise Numérica, para simular soluções (determinísticas) de sistemas p-fuzzy. Em seguida, falaremos das diversas teorias de EDF. Veremos que em cada uma delas, diferentemente dos sistemas p-fuzzy, as soluções são fuzzy no sentido que há uma família de curvas determinísticas, cada uma com grau de pertinência, que compõem a solução fuzzy do problema. Os conceitos serão ilustrados a partir de exemplos em dinâmica de populações ou epidemiologia. 22/09 - 11:00 às 12:00 Palestra 4 - Anfiteatro A do Bloco 5O Título: Introdução ao Cálculo Fracionário Palestrante: Rubens F. Camargo (1) ([email protected]) Co-autor: Edmundo C. Oliveira (2) ([email protected]) Instituição: (1) Departamento de Matemática, Faculdade de Ciências – Unesp/Bauru; (2) IMECC – Unicamp, Campinas - SP Resumo: Apresentamos neste trabalho um estudo sistemático e detalhado sobre integrais e derivadas de ordens arbitrárias, o assim chamado cálculo de ordem não-inteira, popularizado com o nome de Cálculo Fracionário. Em particular, discutimos e resolvemos equações diferenciais e integrodiferenciais de ordem não-inteira e suas aplicações em diversas áreas do conhecimento, bem como apresentamos resultados inéditos, isto é, teoremas de adição, envolvendo as funções de Mittag- Leffler. Após abordar as diferentes definições para a derivada de ordem não-inteira, justificamos o fato de utilizarmos, em nossas aplicações, a definição de derivada conforme proposta por Caputo, mais restritiva, e não a definição segundo Riemann-Liouville, embora seja esta a mais difundida. Nas aplicações apresentamos uma generalização para a equação diferencial associada ao problema do telégrafo na versão fracionária, cuja solução, obtida de duas maneiras distintas, deu origem a dois novos teoremas de adição envolvendo as funções de Mittag-Leffler. Numa segunda aplicação, discutimos o conhecido sistema de Lotka-Volterra na versão fracionária; por fim, introduzimos e resol- CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 14 Palestra Palestra Palestra Palestras ss s vemos uma equação integrodiferencial fracionária, a assim chamada equação de Langevin generalizada fracionária. 22/09 - 16:10 às 17:10 Palestra 5 - Anfiteatro do Bloco 3Q Título: Permeability hysteresis effects in geologic CO2 sequestration Palestrante: Frederico Furtado ([email protected]). Instituição: Department of Mathematics, University of Wyoming, Laramie, WY 82071-3036, USA. Resumo: Relative permeability depends on wettabitlity properties of the fluids, the displacement process, such as drainage or imbibition, and the displacement history. Hysteresis in relative permeability has a strong influence on the ability of injected and resident fluids to flow. This suggests that we have to consider relative permeability hysteresis in CO2 sequestration models. Here, we construct a mathematical model to accommodate the drainage, imbibition and scanning cycles measured in laboratory experiments of two-phase CO2/brine flow. The system of partial differential equations for this model is fully nonlinear. Ignoring the effects of capillary pressure, we solve the associated Riemann problem analytically and with state-of- the-art numerical methods. The analytic solution of the Riemann problem is used to verify the numerical simulations. The Riemann solutions generically display stationary discontinuities, which might provide a mechanism for CO2 trapping. The combined mathematical and computational investigation of two-phase CO2 /brine flow suggests that the proposed hysteresis model provides a sound foundation for scientifically correct si- mulations of the critical mechanism for CO2 sequestration due to gas trapping as a result of perme- ability hysteresis. CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 15 Palestra Palestra Palestra Palestras ss s 22/09 - 16:10 às 17:10 Palestra 6 - Anfiteatro A do Bloco 5O Título: Modelagem Matemática da Resposta a Terapias do Câncer Palestrante: Suani T. R. Pinho ([email protected]) Instituição: Instituto de Física – Universidade Federal da Bahia Resumo: A dinâmica de crescimento de tumores vem sendo estudada amplamente do ponto de vista da modelagem matemática e computacional através de diversas técnicas tais como: equações diferenciais ordinárias e parciais e automatos celulares. Outro aspecto bastante explorado sob este ponto de vista tem sido o controle do crescimento tumoral através das diferentes terapias isoladas ou combinadas. Nesta palestra pretendemos apresentar alguns modelos de equações diferenciais ordinárias, que temos desenvolvido, considerando a competição entre células normais e cancerosas e a ação predatória de terapias tais como: quimioterapia, radioterapia e terapia anti-angiogênica comparando seus efeitos isolado e combinado. Objetivamos apresentar quais as melhores estratégias para eliminar o tumor de acordo com os modelos propostos. 23/09 - 11:00 às 12:00 Palestra 7 - Anfiteatro do Bloco 3Q Título: Modelagem geométrica da Relatividade Geral Palestrante: Paolo Piccione ([email protected]) Instituição: IME – USP Resumo: Assim como a Geometria Riemanniana fornece uma modelagem da Mecânica Clássica, os espaços-tempos da Relatividade Geral são modelados por variedades munidas de uma métrica de Lorentz. Nessa palestra apresentarei algumas ideias básicas da Geometria Lorentziana e a interpretação física de alguns dos resultados principais desta teoria. O objetivo final será o de apresentar uma versão do teorema da singularidade de Penrose. CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 16 Palestra Palestra Palestra Palestras ss s 23/09 - 11:00 às 12:00 Palestra 8 - Anfiteatro A do Bloco 5O Título: Otimização Multicritério por Direção de Descida com Seção Áurea Multiobjetivo Palestrante: Ricardo Takahashi ([email protected]) Instituição: Departamento de Matemática, UFMG Resumo: Neste trabalho é apresentado um algoritmo para otimização multiobjetivo que é estruturado da seguinte forma: (i) uma direção de descida é calculada, dentro do cone das direções factíveis de descida, e (ii) uma busca unidimensional multiobjetivo é conduzida sobre tal direção, usando um novo esquema de particionamento de segmentos por seção áurea multiobjetivo, o qual determina pontos que são eficientes quando restritos à reta de busca, e que dominam o ponto atual. Esse procedimento de busca unidimensional explora a estrutura do conjunto de soluções restritas-à-reta eficientes, que apresenta uma taxa de compressão do segmento de busca que é maior que a do tradicional procedimento de seção áurea mono-objetivo. O algoritmo proposto converge para pontos que satisfazem condições necessárias de Pareto-otimalidade de primeira ordem (os pontos Pareto-críticos). Resultados numéricos em dois problemas de projeto de antenas dão suporte à conclusão de que o método proposto pode resolver robustamente problemas difíceis de otimização multiobjetivo não- linear, com funções-objetivo definidas em termos de funções caixa-preta computacionalmente caras. CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 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 Equações de diferenças e sistemas com aplicações biológicas Prof. Dr. Geraldo Lúcio Diniz Universidade Federal do Mato Grosso Com o intuito de apresentar situações-problema, que possam servir de motivação para o uso de equações de diferenças e sistemas de equações de diferenças e para o estudo de métodos de resolução de problemas não lineares, com análise de estabilidade, é que se pretende oferecer este minicurso, cuja proposta inclui o desenvolvimento de modelos discretos e suas aplicações a problemas biológicos. O material desenvolvido para este curso tem o objetivo de complementar a formação dos graduandos e de apresentar aos professores do ensino fundamental e médio um “ferramental matemático” que os estimule a trabalhar a matemática de maneira mais contextualizada às situações cotidianas. O conteúdo do curso consiste em: visão geral de alguns modelos matemáticos; solução de problemas reais da biologia utilizando ferramentas matemáticas; resolução de problemas que recaiam em equações de diferenças, enfatizando possíveis métodos de solução; estudo qualitativo do comportamento das soluções de equações de diferenças; estudo de autovalores complexos na solução de equações de diferenças e analogias entre as equações de diferenças e as equações diferenciais. MC2 A Geometria Absoluta Prof. Dr. Oswaldo Vernet Universidade Federal do Rio de Janeiro O objetivo deste minicurso que vimos propor ao CMAC-SE 2011 é o de apresentar a estudantes e professores de matemática, familiarizados e motivados com o estudo da geometria plana, dois enfoques axiomáticos para sua fundamentação. O primeiro deles é devido aos esforços de Hilbert e seus contemporâneos, ainda no fim do séc. XIX, apresentado em seu livro Grundlagen der Geometrie, CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 18 Minic Minic Minic Minicurso urso urso ursos ss s de 1899. Nesta obra, Hilbert propõe uma fundamentação para a geometria (na verdade, para a geometria espacial) com base em menos de duas dezenas de axiomas, tendo sido um passo definitivo no embasamento deste ramo da matemática, que abriu as portas para uma ampla discussão que se promoveu posteriormente, no meio científico, acerca da axiomatização de outras teorias, culminando com o famoso Teorema de Gödel. A segunda abordagem é devida a Hjelmslev, Hessenberg e Bachmann, este último tendo conseguido, através de um avanço significativo a partir das idéias de seus antecessores, expressar os fatos geométricos de maneira puramente algébrica, porém, como já mencionamos, sem qualquer recurso à introdução de coordenadas, conforme já era feito na geometria analítica bem anteriormente ao séc. XIX. O conteúdo do minicurso consiste em: apresentação do tópico “Sistemas Axiomáticos e a Geometria”; estudo do Sistema Axiomático de Hilbert; uma breve revisão de Teoria dos Grupos e apresentação do Sistema Axiomático de Bachmann. MC3 Métodos estocásticos de otimização: Algoritmos Genéticos e Evolução Diferencial Profa. Dra. Sezimária de Fátima Pereira Saramago Profa. Dra. Milena Almeida Leite Brandão Universidade Federal de Uberlândia A otimização representa uma ferramenta importante para tomada de decisão na análise e projeto de sistemas físicos, sendo aplicada em situações em que se desejam maximizar ou minimizar uma função numérica de várias variáveis, num contexto em que podem existir restrições. Pode-se utilizar otimização em várias áreas, como, por exemplo, no projeto de sistemas ou componentes, planejamento e análise de operações, problemas de otimização de estruturas, otimização de forma, controle de sistemas dinâmicos. A grande vantagem é determinar a melhor configuração de projeto sem ter que testar todas as possibilidades envolvidas. Além disso, diminui o tempo dedicado ao projeto, possibilitando o tratamento simultâneo de uma grande quantidade de variáveis e restrições de difícil visualização gráfica ou tabular, possibilitando a obtenção de soluções não tradicionais com menor custo. Técnicas clássicas de otimização são confiáveis e possuem aplicações nos mais diferentes campos de engenharia e de outras ciências. Porém, estas técnicas podem apresentar algumas dificuldades numéricas e problemas de robustez relacionados com: a falta de continuidade das funções CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 19 Minic Minic Minic Minicurso urso urso ursos ss s CMAC 2011 – 20 a 23 de Setembro a serem otimizadas ou de suas restrições, funções não convexas, multimodalidade, existência de ruídos nas funções, necessidade de se trabalhar com valores discretos para as variáveis, existência de mínimos ou máximos locais, etc. Assim, o estudo de métodos heurísticos, com busca randômica controlada por critérios probabilísticos, reaparece como uma forte tendência nos últimos anos, principalmente devido ao avanço dos recursos computacionais, pois um fator limitante destes métodos é a necessidade de um número elevado de avaliações da função objetivo. O objetivo deste trabalho é o de apresentar um estudo dos métodos de otimização naturais denominados Algoritmos Genéticos e Evolução Diferencial. Para verificar a eficiência das técnicas estudadas, são utilizadas funções matemáticas clássicas e alguns problemas de engenharia. Estes métodos podem ser aplicados com eficiência a problemas de otimização multi-objetivo e na presença de restrições. Tarde Anfiteatro A (Bloco 5O) Anfiteatro B (Bloco 5O) Anfiteatro do Bloco 3Q 21/09 13:30 – 15:30 21/09 13:30 – 15:30 22/09 13:30 – 15:30 MC4 MC5 MC6 MC4 Criptografia Prof. Dr. Antonio Cândido Faleiros Universidade Federal do ABC Os métodos que serão apresentados neste capítulo fazem parte da era dos cifrários com lápis e papel. Todos são inseguros contra um ataque via computador e podem ser decodificados por uma análise paciente feita apenas com lápis e papel, sem o uso de qualquer dispositivo mecânico ou eletrônico. Nosso objetivo é o de divulgar os primórdios desta empolgante área do conhecimento humano e que, nesta era das comunicações através de ondas eletromagnéticas, seja pela televisão, rádio, telefone ou internet, é uma ferramenta indispensável para manter a segurança e privacidade das comunicações. Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 20 Minic Minic Minic Minicurso urso urso ursos ss s O público alvo irá se deparar com alguns programas de computador desenvolvidos para implementar os métodos apresentados. Neles, não houve compromisso com a eficiência, mas com a compreensão e legibilidade. Quem os escreveu não foi o programador, mas o professor. Na realização dos programas foram usados o Mathematica, da Wolfram Research, e a linguagem C. MC5 Fundamentos de Computação Paralela para a Restauração de Imagens de Microscópios de Força Atômica Prof. Dr. Antônio José Silva Neto Prof. Dr. Dalmo Stutz Universidade Estadual do Rio de Janeiro A Microscopia de Força Atômica é uma técnica que permite a aquisição de imagens, em escala nanométrica, da superfície de quase todo tipo de material. Nessa escala, as imagens costumam apresentar uma relação sinal/ruído pobre, causada por efeitos degenerativos em sua qualidade, provenientes do próprio equipamento e do processo de aquisição da imagem. Para recuperar essas imagens, ou minimizar os efeitos da degradação, diversas técnicas vêm sendo desenvolvidas e aplicadas. Dentre elas, uma técnica de restauração, que será descrita neste minicurso, baseada na minimização do funcional de Tikhonov com uma família de termos de regularização a um parâmetro, tem sido usada já há alguns anos com resultados bastante satisfatórios no tratamento de imagens obtidas com o Microscópio de Força Atômica. Porém, o uso dessa técnica exige um esforço computacional muito grande, que acaba resultando em um tempo de execução relativamente elevado quando o programa que implementa o algoritmo de restauração é processado serialmente. Além disso, à medida que os equipamentos eletrônicos aumentam as suas capacidades, as imagens obtidas por esses equipamentos aumentam de resolução e, consequentemente, o esforço computacional e o tempo gasto para analisar essas imagens e restaurá-las também aumentam. Apesar do desempenho e a velocidade de processamento vir apresentando melhoras significativas, esse aumento, porém, não ocorre suficientemente rápido frente à demanda por um maior poder computacional que os usuários e as diversas áreas de conhecimento e pesquisa têm exigido no passar dos anos. Isso ocorre, em parte, devido ao surgimento de novas demandas (restauração de vídeos ao invés de imagens, por exemplo) e ao fato de que muitos problemas, que há anos exigiriam CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 21 Minic Minic Minic Minicurso urso urso ursos ss s CMAC 2011 – 20 a 23 de Setembro demasiado tempo computacional para a execução nas máquinas disponíveis à época, hoje são factíveis de serem resolvidos e podem ser processados, empregando-se os equipamentos atualmente disponíveis no mercado. Muitas vezes, o uso de equipamentos mais sofisticados e/ou dedicados é uma solução empregada, para se atender a necessidade cada vez maior de poder de processamento. Entretanto, a aquisição e a manutenção destes equipamentos possuem, normalmente, custos elevados que muitas instituições não têm como pagar ou manter. Como alternativa, técnicas de paralelismo e computação paralela são empregadas em equipamentos mais baratos e/ou não dedicados com objetivo de buscar melhores desempenhos de hardware e/ou software a um custo menor. Neste minicurso serão apresentados, portanto, alguns fundamentos de computação paralela aplicados ao problema de restauração de imagens obtidas com Microscópios de Força Atômica. Além disto, serão apresentadas estratégias de implementação paralela do algoritmo de restauração, objetivando obter um aumento na velocidade de processamento e no desempenho computacional. Também, será apresentado um novo método de busca do parâmetro de regularização ótimo que, apesar de introduzir um esforço computacional ainda maior ao processo de restauração, com um tempo maior de processamento, traz ao algoritmo uma habilidade automática de busca do parâmetro de regularização que resulta em uma melhor solução para o problema. Ou seja, tem-se então uma restauração de melhor qualidade em detrimento do tempo de processamento. MC6 Problemas Inversos em Transferência de Calor Prof. Dr. Hélcio Rangel Barreto Orlande (1) Prof. Dr. Gilmar Guimarães (2) , Prof. Dr. Marcelo José Colaço (1) Profa. Dra. Carolina Palma Naveira Cotta (1) Prof. Dr. Valério Luiz Borges (2) . COPPE/Universidade Federal do Rio de Janeiro (1) Universidade Federal de Uberlândia (2) Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 22 Minic Minic Minic Minicurso urso urso ursos ss s CMAC 2011 – 20 a 23 de Setembro O objetivo deste curso é o de apresentar os conceitos fundamentais e algumas técnicas de solução de problemas inversos. Em função da experiência dos instrutores, exemplos práticos de solução de problemas inversos serão dados na área de transferência de calor, envolvendo, de maneira geral, equações diferenciais parciais parabólicas ou elípticas. O conteúdo do curso consiste em: definição de um problema inverso; estudo de problemas bem-postos e mal-postos; apresentação de técnicas de regularização e de métodos básicos de solução; estimativa de parâmetros; estudo de técnicas de otimização; abordagem Bayesiana; solução no domínio da freqüência; apresentação da técnica dos observadores dinâmicos; estudo do filtro de Kalman e do filtro de partículas. Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 23 Mini Mini Mini Minis ss ss ss simpósios impósios impósios impósios Dia e Horário Minissimpósio Local 21/09 08:30 – 10:30 08:30 – 12:00 13:30 – 18:00 17:15 – 18:15 Métodos Numéricos para Simulação de Escoamentos Multifásicos Otimização Combinatória Otimização Combinatória Computação Bio-inspirada Anfiteatro E do Bloco 5º Anfiteatro C do Bloco 5O Anfiteatro C do Bloco 5O Anfiteatro do Bloco 3Q 22/09 08:30 – 10:30 08:30 – 12:00 13:30 – 17:10 17:15 – 18:15 Métodos Numéricos para Simulação de Escoamentos Multifásicos Otimização Combinatória Otimização Combinatória Planejamento Ótimo de Experimentos Anfiteatro E do Bloco 5º Anfiteatro C do Bloco 5O Anfiteatro C do Bloco 5O Anfiteatro do Bloco 3Q Observação: a programação completa do minissimpósio “Otimização Combinatória” encontra- se na página 63. A programação do minissimpósio “Métodos Numéricos para Simulação de Escoamentos Multifásicos” será afixada em seu respectivo anfiteatro. MS1 Computação Bio-inspirada Organizadora e palestrante: Gina Maira Barbosa de Oliveira, FACOM – UFU Palestrantes: Aurora Pozzo, UFPR; Fran Sergio Lobato, Engenharia Química – UFU COMPUTAÇÃO BIO-INSPIRADA: METÁFORAS E MÉTODOS (Gina Maira Barbosa de Oliveira) Computação Bio-inspirada se refere a sistemas computacionais projetados pelo homem com alguma inspiração biológica. Seu principal objetivo é o desenvolvimento de ferramentas matemáticas e computacionais para a solução de problemas complexos em diversas áreas do conhecimento. Uma característica comum aos sistemas computacionais inspirados na natureza é o uso metafórico dos conceitos, princípios e mecanismos subjacentes aos sistemas naturais. As redes neurais artificiais, precursoras das técnicas bio-inspiradas, se baseiam em modelos e teorias sobre os neurônios biológicos e suas interações em uma rede neuronal natural. As técnicas da computação evolutiva, por outro lado, se baseiam numa metáfora da teoria da evolução natural, além dos mecanismos de hereditariedade na reprodução dos seres vivos. As técnicas de inteligência coletiva se inspiram no comportamento CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 24 Miniss Miniss Miniss Minissimpósios impósios impósios impósios coletivo de insetos sociais, tais como as colônias de formigas e os enxames de abelhas. Os sistemas imunológicos artificiais, por sua vez, se baseiam nas iterações dos homônimos naturais. Os autômatos celulares se inspiram em vários exemplos de interações locais na natureza que provêem um comportamento emergente. Na palestra serão apresentados três exemplos de métodos bio-inspirados - as redes neurais, os algoritmos genéticos e o algoritmo de colônia de formigas - discutindo seus aspectos gerais e exemplos de aplicação. ALGORITMOS EVOLUTIVOS MULTIOBJETIVOS (Aurora Pozo) A maioria dos problemas de otimização do mundo real são multiobjetivo, isto é há necessidade de maximizar ou minimizar várias funções que normalmente estão em conflito entre si (problemas multiobjetivos ou MOPs, Multiobjective Optimization Problems). Devido à falta de soluções metodológicas adequadas os problemas multiobjetivo no passado este foram tratados como monobjetivo. Entretanto, há diferenças fundamentais nos princípios de funcionamento de algoritmos de otimização mono e multiobejtivo. Assim as técnicas utilizadas para resolver MOPs não se restringem normalmente a encontrar uma solução única e sim um conjunto de soluções de compromisso entre os múltiplos objetivos. Os algoritmos evolucionários são utilizados na otimização multiobjetivo basicamente por três razões: (i) o conceito de população permite atender a necessidade de se encontrar múltiplas soluções; (ii) os métodos que preservam nichos podem ser explorados para encontrar soluções diversas; (iii) o paralelismo explícito possibilita acelerar a busca através de execuções em paralelo. E, de uma forma geral as mudanças básicas em relação ao algoritmo canônico são: (i) a modificação na computação da aptidão de um dado indivíduo levando em consideração o conceito de dominância e as múltiplas funções objetivo; (ii) ênfase na seleção de soluções não- dominadas para alcançar a convergência para a fronteira de Pareto e a ênfase na seleção de soluções distintas para se obter diversidade na fronteira de Pareto. Na palestra se abordará conceitos básicos de otimização multiobjetivos, os algoritmos Evolutivos multiobjetivos clássicos e finalmente um exemplo de aplicação. ALGORITMO DE COLÔNIA DE VAGALUMES PARA PROBLEMAS MULTI-OBJETIVOS (Fran Sergio Lobato) Nos últimos anos, o desenvolvimento de metodologias para a resolução do problema de otimização multi-objetivo tem atraído a atenção da comunidade científica e acadêmica. Neste cenário destacam-se os métodos bio-inspirados na natureza devido à: (i) concepção conceitual simples, (ii) facilidade de implementação, (iii) por não demandarem o uso de derivadas, (iv) por enfatizarem a busca global e (v) pela sofisticação dos computadores a baixos custos. O interesse por esta linha de CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 25 Miniss Miniss Miniss Minissimpósios impósios impósios impósios pesquisa justifica-se pela simples razão que a própria natureza tem evoluído através de milhões de anos, dando soluções otimizadas a todos os problemas naturais que ocorrem. Então, por que não aprender com ela? Dentre estas estratégias bio-inspirados, o Algoritmo de Colônia de Vagalumes (Firefly Algorithm), cuja concepção conceitual esta fundamentada na característica bioluminescente de vagalumes, notórios por suas emissões luminosas, tem-se destacado na resolução do problema de otimização mono-objetivo. Neste contexto, esta palestra tem por objetivo apresentar uma metodologia fundamentada na extensão do Algoritmo de Colônia de Vagalumes para problemas mullti-objetivos, através da incorporação de dois operadores ao algoritmo original: os mecanismos de ordenamento por rank e truncamento de soluções. A metodologia proposta é aplicada em uma série de problemas matemáticos clássicos que possuem solução analítica, e no projeto de sistemas de engenharia. Os resultados obtidos serão confrontados com aqueles encontrados por outras estratégias evolutivas. MS2 Planejamento Ótimo de Experimentos Organizador e palestrante: Edmilson Rodrigues Pinto, FAMAT – UFU. Palestrantes: José Carlos Costa da Silva Pinto, Programa de Engenharia Química da COPPE/UFRJ; Luzia Aparecida Trinca, Instituto de Biociências de Botucatu – UNESP/Botucatu. PLANEJAMENTO ÓTIMO DE EXPERIMENTOS PARA MODELOS LINEARES GENERALIZADOS E APLICAÇÕES (Edmilson Rodrigues Pinto) A teoria de planejamento (desenho) ótimo de experimentos tem recebido bastante atenção da comunidade acadêmica nos últimos anos, principalmente por sua aplicabilidade em várias áreas da ciência e da indústria, especialmente nas indústrias química e farmacêutica. Uma das grandes vantagens para a obtenção de desenhos ótimos é que eles permitem a estimação eficiente dos parâmetros do modelo considerado, economizando tempo e dinheiro. Além disso, em situações onde os experimentos clássicos não podem ser usados, por exemplo, em alguns problemas de mistura com restrições, desenhos ótimos, obtidos com ajuda de computadores, devem ser utilizados. A obtenção do desenho ótimo está associada ao modelo considerado, ou seja, dado um modelo pode-se obter um planejamento ótimo. Uma classe de modelos de grande importância no contexto da modelagem estatística é a classe dos modelos lineares generalizados (MLG), com aplicações nas mais diversas áreas do conhecimento. O objetivo dessa palestra é apresentar a teoria aproximada para obtenção de desenhos ótimos para MLG e algumas aplicações. Tópicos avançados como a obtenção de desenhos CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 26 Miniss Miniss Miniss Minissimpósios impósios impósios impósios ótimos para MLG com parâmetro de dispersão variável e desenhos ótimos para MLG multivariados também serão abordados. PLANEJAMENTO EXPERIMENTAL PARA DISCRIMINAÇÃO DE MODELOS E ESTIMAÇÃO DE PARÂMETROS (José Carlos Pinto) Os procedimentos usados para planejamento de experimentos em problemas de discriminação de modelos e de estimação ótima de parâmetros em sistemas não lineares são normalmente tratados como conjuntos independentes e complementares de técnicas de planejamento. Para conciliar os objetivos perseguidos por esses dois conjuntos de técnicas de planejamento, propõe-se nesse trabalho o uso de critérios de planejamento experimental baseados em medidas do ganho de informação obtido quando novos experimentos são realizados. O critério de planejamento resultante nesse caso depende dos volumes das regiões de confiança dos parâmetros estimados e apresenta várias vantagens comparativas, como a conciliação dos objetivos de discriminação de modelos e estimação ótima dos parâmetros e a fácil interpretação dos resultados numéricos em termos do conteúdo de desinformação eliminada após a realização dos experimentos adicionais. Além disso, o critério proposto pode acomodar facilmente procedimentos de planejamento multiobjetivo, como discutido nos exemplos. Comparado a resultados prévios reportados na literatura, foi observado que o desempenho do novo critério de planejamento resultou em número similar ou menor de experimentos realizados para discriminar modelos e em parâmetros estimados com maior precisão. DELINEAMENTOS ÓTIMOS PARA EXPERIMENTOS FATORIAIS: UMA CORREÇÃO NOS CRITÉRIOS USUAIS (Luzia A. Trinca) Experimentos envolvendo vários fatores são realizados em várias áreas do conhecimento e a teoria de delineamentos ótimos tem proporcionado bastante flexibilidade nas situações nas quais um delineamento clássico não é possível. Em muitos casos, parte da análise dos resultados experimentais envolve técnicas inferenciais como construção de intervalos de confiança e ou testes de hipóteses rela- cionados aos parâmetros de um modelo de regressão. Existem vários critérios de delineamento que podem ser usados para obter experimentos eficientes. No entanto, os critérios usuais não consideram que o delineamento deve garantir a estimação não tendenciosa da variabilidade casual, ou seja, da variabilidade do “erro puro”. Neste trabalho mostramos que os critérios usuais apresentam as propriedades a eles atribuídas quando a variabilidade do erro puro é considerada conhecida. Quando tal variabilidade tem que ser estimada através do experimento, outros critérios devem ser considerados. CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 27 Miniss Miniss Miniss Minissimpósios impósios impósios impósios Neste sentido, apresentamos modificações dos critérios usuais, assim como, a proposta de um critério que combina várias propriedades, inclusive estimação do erro puro, particularmente útil quando o experimento apresenta vários objetivos. Vários exemplos ilustrando a performance dos novos critérios são apresentados. Este trabalho foi desenvolvido em co-autoria com Steven G. Gilmour (University of Southampton, UK). MS3 Métodos Numéricos para Simulação de Escoamentos Multifásicos Organizadores e palestrantes: Antônio Castelo Filho (ICMC/USP – São Carlos); Aristeu da Silveira Neto (FEMEC - UFU); Ricardo Sefaty (Petrobras). Palestrantes: Adenilso da Silva Simão (ICMC – USP), Fabrício Simeoni de Sousa (ICMC-USP), Mário Lizier (UFSCar) e João Paulo Gois (UFABC), dentre outros que ainda serão convidados. MS4 Otimização Combinatória Organizadores: Helenice de Oliveira Florentino Silva (UNESP, Botucatu – SP); Geraldo Regis Mauri (UFES, Alegre – ES) e Antônio Roberto Balbo (UNESP, Bauru – SP). A otimização combinatória é, atualmente, uma área de intensa pesquisa e suas aplicações têm ocorrido em todos os ramos das Ciências. Esta área passou ultimamente por intensas e importantes modificações. A capacidade de resolver problemas complexos melhorou muito devido a diversos fatores, como o desenvolvimento de algoritmos heurísticos, aprimoramento de métodos exatos, disponibilidade de softwares rápidos e confiáveis, baixo custo dos hardwares e o desenvolvimento de linguagens de alto nível. Mesmo assim, a otimização combinatória ainda tem muitos desafios a serem superados. O objetivo do presente minissimpósio é reunir pesquisadores nacionais e estrangeiros, que trabalhem com novas formulações em otimização combinatória e aplicações. Espera-se criar um fórum de discussão de pesquisas ligadas à otimização combinatória dentro do CMAC – SE; integrar pesquisadores desta área, dando possibilidades de novas colaborações; atrair interessados em temas relacionados à otimização combinatória, de forma a dar dinamismo às discussões de pesquisa e despertar interesse em jovens pesquisadores; proporcionar uma discussão sobre os recentes esforços CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 28 Miniss Miniss Miniss Minissimpósios impósios impósios impósios dos participantes, seus projetos, dificuldades e integrações de pesquisa. OTIMIZAÇÃO EM REDES DE COMUNICAÇÃO (Geraldo Robson Mateus) As técnicas de otimização tem se destacado na tomada decisão nas redes de comunicação. Permitem explorar os diversos tipos de serviços e aplicações, tecnologias e topologias presentes nas redes de telecomunicações, sensores, transporte, energia e complexas. Muitos são os problemas de otimização em redes que demandam modelos estáticos e dinâmicos, algoritmos offline e online, exatos e heurísticas. Serão identificados diversos problemas, explicitados os grandes desafios, possíveis modelos e técnicas, o estado da arte, e também comparações de modelos e técnicas de otimização. TÉCNICAS DE RELAXAÇÃO BASEADAS NA DIVISÃO EM CLUSTERS: APLICAÇÕES A PROBLEMAS COMBINATORIAIS (Geraldo Regis Mauri) Em geral, as relaxações de um problema visam tornar a sua resolução menos árdua. Um dos casos mais comuns é baseado na remoção de um conjunto de restrições, consideradas “difíceis”, da formulação do problema. A solução relaxada representa um valor limitante para a solução ótima de um problema. Logo, essa abordagem é uma alternativa interessante para avaliar a proximidade de uma solução (relaxada) em relação à solução ótima de um problema. Uma estratégia usada para relaxar um problema é a sua divisão em problemas menores e com as mesmas características. Considerando então um problema cujas restrições podem ser representadas por meio de um grafo, uma divisão pode ser realizada pelo particionamento desse grafo em clusters formados por vértices e arestas. Essa estratégia não garante a obtenção de uma solução viável para o problema completo, pois algumas arestas são ignoradas. Entretanto, uma maneira de considerar essas arestas é relaxá-las no sentido lagrangiano e encontrar um limitante dual de boa qualidade para o problema completo. Essa estratégia, proposta recentemente, é conhecida como Relaxação Lagrangiana com Clusters. Uma ideia similar é a Decomposição Lagrangiana com Clusters, que também consiste em dividir o problema original em vários subproblemas. Porém, essa abordagem utiliza a criação de cópias de alguns vértices do grafo e, nesse caso, apenas restrições que garantem a igualdade entre os vértices originais e suas cópias são relaxadas no sentido lagrangiano. Assim, pretende-se apresentar e discutir os preceitos básicos dessas duas alternativas de relaxação baseadas na divisão em clusters. Além disso, propõe-se uma discussão acerca da utilização do algoritmo de subgradientes e da técnica de geração de colunas para resolução do dual lagrangiano associado a essas relaxações. Por fim, serão apresentadas CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 29 Miniss Miniss Miniss Minissimpósios impósios impósios impósios aplicações recentes dessas técnicas a diferentes problemas combinatoriais, como o Problema de Rotulação Cartográfica de Pontos, o Problema de Programação Quadrática Binária Irrestrita, e outros. O MÉTODO BRANCH-AND-PRICE APLICADO AO PROBLEMA DE DIMENSIONAMENTO DE LOTES COM RESTRIÇÕES DE CAPACIDADE (Silvio Araujo) Neste trabalho apresenta-se um procedimento para a obtenção de limitantes inferiores de boa qualidade para o problema de dimensionamento de lotes com restrições de capacidade. O procedimento é baseado na decomposição por períodos aplicada a uma reformulação do problema. O problema mestre é resolvido com um método híbrido que combina decomposição Dantzig-Wolfe com relação Lagrangiana. Por fim, desenvolve-se um método branch-and-price para a resolução do problema e são apresentados resultados computacionais. PROBLEMAS DE CORTE DE PEÇAS COM APROVEITAMENTO DE SOBRAS (Marcos Nereu Arenales) Nesta palestra revisamos abordagens clássicas para o problema de corte de peças, com ênfase à modelagem matemática. Uma breve revisão da metologia é também apresentada. Em seguida, estendemos algumas abordagens por considerar o aproveitamento de sobras, no qual o usuário define tamanhos de peças que podem ser mantidos em estoque para serem utilizados em cortes futuros. Embora o uso de sobras aproveitáveis seja bastante utilizado na prática e tenha sido citado em trabalhos clássicos há mais de 30 anos, somente recentemente começam a surgir resultados de pesquisa na literatura. Discutimos os casos uni e bidimensionais. ALGUMAS ABORDAGENS DE SOLUÇÃO PARA O PROBLEMA DE MINIMIZAÇÃO DO NÚMERO DE TROCAS DE FERRAMENTAS (Horácio Hideki Yanasse) O problema de minimização de troca de ferramentas busca uma sequência de processamento de um conjunto de tarefas, de modo a minimizar o número de trocas de ferramentas requeridas. Algumas abordagens de solução para se resolver este problema são apresentadas e discutidas com relação as suas potencialidades e fraquezas. CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 30 Mesa Mesa Mesa Mesas s s s Redonda Redonda Redonda Redondas ss s Dia e Horário Mesa Redonda Local 21/09 17:15 – 18:15 MR1 Anfiteatro A (Bloco 5O) 22/09 17:15 – 18:15 MR2 Anfiteatro A (Bloco 5O) MR1 Fuzzy “versus” não-Fuzzy" em Biomatemática. Mediador e Participante: Prof. João Frederico C. A. Meyer Participantes: Prof. Nélson Inforzato (Universidade Federal do Triângulo Mineiro) Prof. Laécio Carvalho de Barros (Universidade Estadual de Campinas). MR2 O papel da modelagem matemática e computacional no desenvolvimento cientifico, tecnológico e de inovação para o Brasil. Mediador e Participante: Geraldo Nunes Silva (Universidade Estadual Paulista – São José do Rio Preto) Participantes: Haroldo Fraga de Campos Velho (Instituto Nacional de Pesquisas Espaciais), Yuan Jin Yun (Universidade Federal do Paraná – Centro Politécnico – Curitiba). CMAC 2011– 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 31 Oficina Oficina Oficina Oficina Dias e Horário Oficina Local 21/09, 22/09 e 23/09 08:30 – 10:30 Introdução ao GeoGebra Laboratório do Bloco 3Q Título: Introdução ao GeoGebra Proponente: Jocelino Sato Instituição: Universidade Federal de Uberlândia – UFU OBJETIVOS Apresentar e explorar o GeoGebra como uma ferramenta interessante para o ensino-aprendizagem de Matemática na Educação Básica. Desenvolver atividades que explorem o caráter dinâmico e a potencialidade das visões algébrica e geométrica oferecidas, simultaneamente, pelo GeoGebra. Explorar recursos deste software para produção de material didático (ilustrações em notas de aulas e produções de applets em Java scripts). DESENVOLVIMENTO A oficina será realizada por meio de discussões de atividades práticas desenvolvidas diretamente no laboratório de informática, permitindo assim que os participantes possam interagir com o GeoGebra. Seu desenvolvimento será dividido em três partes. Parte I: Recursos do GeoGebra via janela geométrica O uso das ferramentas (recursos) do GeoGebra via mouse será explorado no contexto da Geometria Dinâmica (Janela Geométrica). Essas ferramentas serão apresentadas no decorrer do desenvolvimento de atividades de construções com régua e compasso, na resolução de problemas explorando o caráter dinâmico do GeoGebra, em atividades abordando as construções de cônicas em atividades que façam uso de transformações geométricas nas soluções de problemas. CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 32 Oficina Oficina Oficina Oficina Parte II: Recursos do GeoGebra via janela algébrica No contexto algébrico faremos o uso das ferramentas via comando ou via mouse. Desenvolveremos atividades relacionadas à geometria analítica plana e à trigonometria, ressaltando a importância das visões simultâneas das duas janelas (geométrica e algébrica). A compreensão de muitos objetos e problemas em matemática torna-se mais fácil quando se tem a sua representação geométrica, sendo esta uma das orientações de Polya no processo de busca de uma solução (heurística) de um problema. Parte III: Criando ilustrações e atividades interativas com o GeoGebra Usando atividades desenvolvidas nas Partes I e/ou II mostraremos como usar uma ferramenta rápida e eficaz na confecção de ilustrações (desenho de figuras e gráficos de funções) para textos matemáticos. Também mostraremos como transformá-las em applets que podem ser vistos em qualquer browser (por exemplo, Mozilla, Internet Explorer, Safari), com o Java instalado e ativado. Esses applets fornecem interfaces gráficas passíveis de serem manipulados pelos alunos, instigando a curiosidade e a descoberta dos conceitos matemáticos presentes nas construções apresentadas. CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 33 Sessões Técnicas Sessões Técnicas Sessões Técnicas Sessões Técnicas Quarta-feira (21/09/2011) ST14 – Minissimpósio de Otimização Anfiteatro C do Bloco 5O 08:30 – 10:30 08:30 - 08:45 Um método de Lagrangianos aumentados com formulação PHR e aplicações em otimização de malhas Ana Paula Mazzini (ICMC – USP) 08:45 - 09:00 O uso da Programação Linear na separação de dois conjuntos de pontos (padrões) por hiperplanos Eberson Paulo Trevisan (Universidade Federal de Mato Grosso) 09:00 - 09:15 Métodos de Pontos Interiores e Branch and Bound em Problemas de Biomassa Residual da Cana-de-Açúcar Antônio Roberto Balbo (D.Mat.-FC-UNESP-Bauru) 09:15 - 09:30 Otimização de Feixes de Condutores de Linhas de Transmissão para Minimização dos Níveis de Campo Elétrico no Nível do Solo André Luiz Paganotti (Centro Federal de Educação Tecnológica de Minas Gerais) 09:30 - 09:45 Um Método Primal-Dual Barreira Logarítmica Modificada com Estratégia de Convergência Global Ricardo Bento Nogueira Pinheiro (UNESP – Campus de Bauru) 09:45 - 10:00 Sitema de Colônia de Formigas para Otimização Contínua: um Estudo para Problemas Nebulosos Luiza Amalia Pinto Cantão (UNESP - Campus Experimental de Sorocaba) 10:00 - 10:15 Discretização de Euler para controle ótimo impulsivo Daniella Porto (UN ESP-São José do Rio Preto) 10:15 - 10:30 Otimização da concentração de misturas de herbicidas considerando a resistência de plantas daninhas Ulcilea Alves Severino Leal (UNESP) CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 34 Sessões Técnicas Sessões Técnicas Sessões Técnicas Sessões Técnicas Quarta-feira (21/09/2011) ST3 – Computação Científica, ST16 – Processamento de Sinais Anfiteatro D do Bloco 5O 08:30 - 09:38 08:30 - 08:35 ST16 Representação e Extensão de Sistemas Complexos Fabiana Tristão Santana, Fágner Lemos Santana, Adrião Duarte Dória Neto, Regivan Hugo Nunes Santiago 08:37 - 08:42 ST16 Fundamentação Intervalar para Transformada Z Fabiana Tristão de Santana (Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte) 08:44 - 08:49 ST16 Relações entre Intervalos e Corpos Fabiana Tristão de Santana (Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte) 08:51 - 08:56 ST16 Extração de características do ruído emitido pela caneta ao assinar João Paulo Lemos Escola (Universidade de São Paulo) 08:58 - 09:03 ST16 O Uso da Matemática Intervalar no Processo de Quantização de Sinais Fabiana Tristão Santana, Fágner Lemos Santana, Adrião Duarte Dória Neto, Revigan Hugo Nunes Santiago 09:05 - 09:10 ST16 Método Semi-Paramétrico para Inferência de Conectividade Não-Linear entre Séries Temporais Lucas Massaroppe (Escola Politécnica da USP) 09:12 - 09:17 ST16 Coronary Artery Segmentation in CTA Using the Distance Transform Federico Javier Lopez Bertoni (Universidad Nacional de Asuncion) 09:19 - 09:24 ST3 Uma estratégia de restauração de imagens de microscopia de força atômica utilizando CUDA para processamento paralelo Augusto Garcia Almeida (Instituto Federal do Rio de Janeiro) CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 35 Sessões Técnicas Sessões Técnicas Sessões Técnicas Sessões Técnicas 09:26 - 09:31 ST3 Fluxo de Ricci, Energia e Entropia dos Buracos Negros: Um Estudo Computacional Claudia Maria Gregorini Gonçalves Franchi (Unesp) 09:33 - 09:38 ST3 Contour-Point Signature: A New Descriptor for Matching Rigid Shapes with a Single Closed Contour Waldemar Villamayor-Venialbo (Universidad Nacional de Asunción) ST1 - Análise e Aplicações, ST8 - Matemática Aplicada à Física e ST12 – Métodos Numéricos e Aplicações Anfiteatro F do Bloco 5O 08:30 - 10:13 08:30 - 08:35 ST1 Hipersuperfícies do R 4 ; invariantes por um subgrupo de isometrias com curvatura escalar nula Túlio Guimarães, Jocelino Sato 08:37 - 08:42 ST1 Entrelaçamento de Zeros de Polinômios Ortogonais Fernando Rodrigo Rafaeli (FCT - UNESP) 08:44 - 08:49 ST1 Localização dos zeros de combinações lineares de polinômios Mirela Vanina de Mello (Instituto de Biociências Letras e Ciências Exatas- IBILCE/UNESP) 08:51 - 08:56 ST1 Novas Classes de polinômios tipo Szegö e para-ortogonais Regina Litz Lamblém (UEMS) 08:58- 09:03 ST1 Funções q-hipergeométricas e polinômios ortogonais de Laurent Marisa de Souza Costa (Universidade Federal de Uberlândia) 09:05 - 09:10 ST1 Spectral Properties of a coupled system of Schrödinger equations with time- periodic coefficients Ruy Coimbra Charão (Universidade Federal de Santa Catarina – UFSC) 09:12 - 09:17 ST1 Polinômios L-Ortogonais via problemas de Riemann-Hilbert Heron Martins Félix (UNICAMP) CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 36 Sessões Técnicas Sessões Técnicas Sessões Técnicas Sessões Técnicas 09:19 - 09:24 ST8 Traveling Waves and Breather Solutions for the Complex Ginzburg-Landau Equation Gustavo Cruz Pacheco 09:26 - 09:31 ST8 Operador de Schrödinger Livre Vanderléa Rodrigues Bazão (FCT/UNESP - Presidente Prudente) 09:33 - 09:38 ST8 Simetrias de Lie e leis de conservação de equações do tipo Korteweg-de Vries Júlio Cesar Santos Sampaio (UFABC) 09:40 - 09:45 ST8 Modelagem de Segregação de Impurezas em Ligas Metálicas Danielle Gonçalves Teixeira (UERJ) 09:47- 09:52 ST8 Computação Quântica Topológica Via Anyons de Fibonacci Maicon Henrique Cunha (FEEC - UNICAMP) 09:52 - 09:59 ST8 Leis de conservação de equações diferenciais de evolução de terceira ordem Igor Leite Freire (UFABC) 10:01 - 10:06 ST8 Estudo analítico e computacional de um modelo matemático de circuito elétrico envolvendo um memristor. Marluce da Cruz Scarabello (FCT/UNESP) 10:08 - 10:13 ST12 Estabilidade do método de Crank-Nicolson para as equações de Naiver- Stokes José Alberto Cuminato (Instituto de Ciências Matemáticas e de Computação - USP) CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 37 Sessões Técnicas Sessões Técnicas Sessões Técnicas Sessões Técnicas Quinta-feira (22/09/2011) ST12 - Métodos Numéricos e Aplicações ST3 – Computação Científica Anfiteatro do Bloco 3Q 08:30 - 10:10 08:30 - 08:35 Similaridades no estudo de imagens obtidas por microscopia de força atômica utilizando a transformada de Fourier Alexandre Fioravante de Siqueira 08:37 - 08:42 Efeito da variação da energia de ativação sobre a estimação de parâmetros cinéticos em processos não-isotérmicos Jorge Manuel Vieira Capela (IQ/Unesp) 08:44 - 08:49 O Método das Linhas na solução da Equação do Cabo Extensível Camila Gonçalves Costa (Faculdade de Ciências e Tecnologia - Unesp) 08:51 - 08:56 Aceleração da convergência do Método das Diferenças Finitas na resolução da Equação de Schrödinger unidimensional Luis Antonio da Silva Vasconcellos (Faculdade de Ciências - UNESP/Bauru) 08:58 - 09:03 Análise do Método das Linhas para a Resolução da Equação de Korteweg-de Vries Burgers Marilaine Colnago (FCT - UNESP) 09:05 - 09:10 Estudo Numérico do Método das Linhas utilizando a Equação do Cabo Inextensível Marilaine Colnago (FCT - UNESP) 09:12 - 09:17 Formulas for Normal Curvature, First Geodesic Curvature and ith Geodesic Torsion of the Implicit Curve in n-dimensions Osmar Aléssio (UFTM) 09:19 - 09:24 Condição periódica de fronteiras para uma Equação Cauchy-Poisson: Discussões e aplicação ao modelo de Grad-Shafranov da física de plasmas espaciais Magda Kimico Kaibara (Universidade Federal Fluminense) 09:26 - 09:31 Ferramentas matemáticas para modelagem da temperatura com aplicação em Graus-dias Paulo Roberto Isler (UNESP-Botucatu) CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 38 Sessões Técnicas Sessões Técnicas Sessões Técnicas Sessões Técnicas 09:33 - 09:38 Uma Revisão dos Métodos Variacionais para Segmentação Soft de Imagens em Várias Regiões Vinicius Ruela Pereira Borges (Universidade Federal de Uberlândia) 09:40 - 09:45 A Computational Method for Void Fraction Estimating José Humberto Zani 09:47 - 09:52 Simulação numérica 2D e 3D de escoamentos com tensão superficial Felipe Montefuscolo (Univerdidade de São Paulo) 09:55 - 10:00 Estudo das Características de Assimetria em Matrizes Elementares na Análise de Padrões Gradientes Roberto Affonso da Costa Junior (UNIFEI) 10:02 - 10:10 ST3 Simulação Discreta - Análise das Ações e das Permissões em Comando e Controle para a Defesa Aérea Donizetti F. Louro (ITA - Instituto Tecnológico de Aeronáutica) ST2 – Biomatemática, ST5-Controle e Teoria de Sistemas Anfiteatro D do Bloco 5O 08:30 - 10:00 08:30 - 08:35 ST2 Contaminação Metropolitana do Rio Cuiabá: Modelagem e Simulação de Cenários Luiz Fernando de Moraes Campos Filho (UFMT) 08:37 - 08:42 ST2 Modelagem matemática aplicada a ecologia de paisagens Claudia Pio Ferreira (Unesp) 08:44 - 08:49 ST2 Redes complexas nos formigueiros: diferentes topologias Claudia Pio Ferreira (Unesp) 08:51 - 08:56 ST2 Comportamento evolutivo de organismos bentônicos interativos na presença do sedimento Paulo César Carmona Tabares (IMECC - UNICAMP) 08:58- 09:03 ST2 Modeling Chagas Disease and Control Measures Maria de Lourdes Esteva (UNAM) CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 39 Sessões Técnicas Sessões Técnicas Sessões Técnicas Sessões Técnicas 09:05 - 09:10 ST2 Análise Algébrica do Código Genético através do Diagrama de Hasse e do Reticulado Booleano Anderson José de Oliveira (FEEC - Unicamp) 09:12 - 09:17 ST2 Dinâmica Populacional Interativa da Mosca-dos-chifres (Haematobia irritans) na Presença de um Predador: Simulações Computacionais. Miguel Tadayuki Koga (UNICAMP / UNEMAT) 09:19 - 09:24 ST2 Aplicação do método de Takagi-Sugeno-Kang em modelos farmacocinéticos multicompartimentais Juliana Menegotto, Laecio Carvalho Barros 09:26 - 09:31 ST2 Análise algorítmica de métodos de determinação de estruturas tridimensionais de proteínas Virginia Silva da Costa (COPPE/UFRJ) 09:33 - 09:38 ST2 Métodos numéricos integrados à lógica Fuzzy e método estocástico para solução de EDP's: uma aplicação à dengue Graciele Paraguaia Silveira, Laecio Carvalho Barros 09:40 - 09:45 ST5 Invexidade Generalizada em Controle Ótimo Não-Suave Valeriano Antunes de Oliveira (UNESP - S. J. do Rio Preto) 09:47 - 09:52 ST5 Comparação entre métodos variacional e genético para problemas de controle estocástico Carlos Alexandre Silva (Universidade de São Paulo) 09:55 - 10:00 ST5 Controle Ótimo por Modos Deslizantes para Sistemas Multivariáveis de Tempo Discreto Igor Breda Ferraço (EESC - USP/São Carlos) 10:02 - 10:10 ST5 Condição necessária para a existência de solução dos sistemas lineares singulares sujeitos a saltos Markovianos Amanda Liz Pacífico Manfrim (UNESP) ST9 - Matemática Discreta Anfiteatro F do Bloco 5O 08:30 - 09:52 08:30 - 08:35 Polígono Canônico de Fricke Associado ao Ladrilhamento {24l-4;4} Luiz Carlos Gabriel Filho (Universidade Federal de Montes Claros(UNIMONTES)) 08:37 - 08:42 Solving an Andrews's problem José Plínio de Oliveira Santos (UNICAMP) CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 40 Sess Sess Sess Sessões Técnicas ões Técnicas ões Técnicas ões Técnicas 08:44 - 08:49 Partições Planas e Sobrepartições Elen Viviani Silva 08:51 - 08:56 Números q-binomiais e Representação como Matriz de Duas Linhas Cecília Pereira Andrade 08:58 - 09:03 Solução de Problemas Envolvendo Paridade em Partição Kênia Cristina Pereira Silva 09:05 - 09:10 Sobre centralidade de autovetor em grafos Leandro Quintanilha de Freitas (PEP/COPPE - UFRJ) 09:12 - 09:17 Grafos que geram emparelhamento de arestas de polígonos com 12g-6 arestas Gheyza Ferreira da Silva (Universidade Federal de Minas Gerais) 09:19 - 09:24 Construção e análise de códigos esféricos com boas taxas binárias Lígia Rodrigues Bernabé Naves (IFRJ) 09:26 - 09:31 Um estudo de reticulados q-ários na métrica de Lee Luciana Yoshie Tsuchiya (Unicamp) 09:33 - 09:38 Reticulados Hiperbólicos Mergulhados Isometricamente no Espaço Euclidiano: análise de distância mínima Laís Bássame Rodrigues (Universidade Federal de Uberlândia) 09:40 - 09:45 Reticulados densos nas dimensões 2-8 com diversidade máxima Agnaldo Ferrari, Grasiele Cristiane Jorge, Sueli Irene Rodrigues 09:47 - 09:52 Bons Códigos de Grupo Comutativo via o Quociente de Reticulados Carina Alves (UNESP - Campus de Rio Claro) CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 41 Sessões Técnicas Sessões Técnicas Sessões Técnicas Sessões Técnicas Quinta-feira (22/09/2011) – Parte da Tarde ST14 – Minissimpósio de Otimização Anfiteatro C do Bloco 5O 16:10 – 18:10 16:10 - 16:25 Geração de colunas com o uso de retalhos no processo de corte de estoque unidimensional com sobras de material aproveitáveis Adriana Cristina Cherri (Faculdade de Ciências, UNESP - Bauru) 16:25 - 16:40 O Problema de Corte Bidimensional envolvendo peças do tipo L Andrea Carla Gonçalves Vianna (UNESP - Bauru) 16:40 - 16:55 Algoritmo Genético em Problemas de Rotação de Culturas Angelo Aliano Filho (Universidade Estadual Paulista) 16:55 - 17:10 Rendezvous Maneuvers with minimal ∆V Denilson Paulo Souza dos Santos (INPE) 17:10 - 17:25 A função Lagrangiana Barreira Penalidade para resolução de problemas não lineares Edméa Cássia Baptista (Unesp - Bauru) 17:25 - 17:40 Estudo de um modelo de otimização para o problema de transporte dos resíduos da cana de açúcar Silvely Salomão (UNESP Pres. Prudente) 17:40 - 17:55 Algoritmo de Colônia de Abelhas para o Problema de Dimensionamento de Lotes Multiestágio com Limitação de Capacidade Maristela oliveira dos Santos (Instituto de Ciências Matemáticas e de Computação - USP) 17:55 - 18:10 O método de pontos interiores no planejamento da radioterapia Andréa Camila dos Santos Martins (Unesp) CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 42 Sessões Técnicas Sessões Técnicas Sessões Técnicas Sessões Técnicas Sexta-feira (23/09/2011) ST13 - Modelagem Matemática e Aplicações Anfiteatro do Bloco 3Q 08:30 - 10:00 08:30 - 08:35 Métodos numéricos no cálculo de graus-dia Helenice de Oliveira Florentino (Unesp) 08:37 - 08:42 Sistemas Fuzzy Aplicados ao Estudo da Luminescência de Ions de Neodímio Daniela Portes Leal Ferreira, Rosana Motta Jafelice, Elias Olveira Serqueira 08:44 – 08:49 Modelo Matemático da Pirólise de Pneus Usados Ângela Patricia Grajales Spilimbergo (UNIJUÍ) 08:51 - 08:56 Uma abordagem para o problema de transporte multimodal fuzzy Juliana Verga (FEEC - UNICAMP) 08:58 – 09:03 Analysis of scales for flameless combustion Roberto Carlos Rodriguez Muguerza (Instituto Nacional de Pesquisas Espaciais) 09:05 – 09:10 Análise qualitativa de um modelo de crescimento de tumor de câncer com interação entre células normais e tumorais. Marluci Cristina Galindo (FCT/UNESP) 09:12 - 09:17 Método Espectronodal para Modelagem Computacional da Difusão de Nêutrons Monoenergéticos em Geometria Planar Ralph dos Santos Mansur (Universidade do Estado do Rio de Janeiro) 09:19 – 09:24 Análise da influência do número de parâmetros a ser estimados na equação de Van Genuchten José Alves Bezerra Neto (UFERSA) 09:26 - 09:31 Simulação Numérica Euleriana de Escoamentos Gás-Sólido em Riser com Dimensões Reduzidas Aplicando Malhas Refinadas. Fernando Luiz Pio dos Santos (Instituto de Biociências/UNESP) 09:33 – 09:38 Asymptotic analysis of a di ffusion flame established in a porous medium Max Akira Endo Kokubun (Instituto Nacional de Pesquisas Espaciais) 09:40 – 09:45 Aplicação da metodologia Método da Fronteira Imersa/Modelo Físico Virtual (MFI/MFV) para modelagem de fronteiras imersas não fechadas Santos Alberto Enriquez-Remigio CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 43 Sessões Técnicas Sessões Técnicas Sessões Técnicas Sessões Técnicas CMAC 2011 – 20 a 23 de Setembro 09:47 – 09:52 Morfologia Intervalar X Morfologia Fuzzy: Uma Análise Comparativa Marcia Maria Cruz, Regivan Hugo Nunes Santiago ST7 - Matemática Aplicada à Engenharia, ST17 - Ensino Anfiteatro D Bloco 5O 08:30 - 10:00 08:30 – 08:35 G-Linearidade e Grupos de Simetrias Edir Júnior Ferreira Leite (Universidade Federal de Uberlândia) 08:37 – 08:42 Grupo Fundamental e Tesselações Simétricas Hiperbólicas Edir Júnior Ferreira Leite (Universidade Federal de Uberlândia) 08:44 – 08:49 Modelo do Aluno para o Ambiente Educacional Multiagentes Educ-MAS Raquel Cupolillo Simões de Sousa (Universidade do Estado do Rio de Janeiro) 08:51 – 08:56 Elaboração de Gráficos Box-Plot em Planilhas de Cálculo Marisa Veiga Capela (IQ/UNESP/Araraquara) 08:58 – 09:03 Sobre o Projeto Klein de Matemática em Lingua Portuguesa José Antonio Salvador, Yuriko Yamamoto Baldin, Eleni Bisognin 09:05 – 09:10 A utilização do computador no ensino de Matemática na Educação de Jovens e Adultos Adriana de Oliveira Dias (Universidade Estadual de Goiás) 09:12 – 09:17 O tradicional e as metodologias alternativas no ensino da Matemática Patrícia Maria dos Santos (Universidade Estadual do Norte Fluminense) 09:19 – 09:24 Caracterização da fronteira da região de estabilidade de sistemas dinâmicos autônomos não lineares na presença de pontos de equilíbrio quase-hiperbólicos Fabíolo Moraes Amaral (Instituto Federal de Educação, Ciência e Tecnologia da Bahia) 09:26 – 09:31 Study of a electromechanical pendulum with average method Masayoshi Tsuchida (IBILCE/UNESP/São José do Rio Preto) 09:33 – 09:38 Aplicação de Misturas Gaussianas na Análise e Modelagem de Tráfego VoIP Cheila Mendes de Oliveira (Universidade Federal de Goiás) 09:40 – 09:45 Um estudo de Modelos de Contorno Ativo Diego Venâncio Thomaz (FCT/UNESP) 09:47 – 09:52 Um Algoritmo Híbrido baseado em Pontos Interiores e Algoritmos Genéticos para o Problema de Despacho Elétrico Ótimo com Restrições de Rampa Dênis Emanuel da Costa Vargas Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 44 Sessões Técnica Sessões Técnica Sessões Técnica Sessões Técnicas ss s CMAC 2011 – 20 a 23 de Setembro 09:55 – 10:00 Desenvolvimento Pseudo-Espectral de Fourier para Escoamentos Bifásicos: Implementação e Verificação Mariana Fernandes dos Santos Villela (Universidade Federal de Uberlândia) ST10 - Mecânica dos Fluidos e Aplicações, ST4 - Computação Gráfica, ST11 - Métodos Estocásticos e Estatísticos, ST15 - Problemas Inversos Anfiteatro F Bloco 5 O 08:37 - 10:00 08:37 – 08:42 Problema Creep-Térmico: Formulação Unificada para Modelos Cinéticos com base nas condições de contorno generalizada Cinara Ewerling da Rosa, Rosenei Felippe Knackfuss 08:44 – 08:49 Application of new polynomial upwind schemes to Rayleigh-Taylor instability Miguel Antônio Caro Candezano (USP) 08:51 – 08:56 Simulação de escoamentos incompressíveis usando função racional para aproximar termos convectivos Juliana Bertoco (USP) 08:58 – 09:03 Utilização do Polinômio de Hermite do Quinto Grau como Esquema ‘‘Upwind'': Aplicação em Escoamentos com Superfícies Livres Rodolfo Junior Pérez Narváez (USP) 09:05 – 09:10 Assessment of curvature approximation methods in the simulation of viscous biological membranes Italo Valença Mariotti Tasso (USP) 09:12 – 09:17 Caraterização de formas através de pontos salientes Marcos Aurélio Batista (Universidade Federal de Goiás) 09:19 – 09:24 Recuento de amastigotes de Trypanosoma cruzi y Leishmania sp por procesamiento computacional de imágenes microscópicas José Luis Vazquez Noguera (Facultad Politecnica - Universidad Nacional de Asuncion) 09:26 – 09:31 Detección automática de células con micronúcleos por etiquetación de componentes Mario Roberto Monges Olmedo (Universidad Nacional de Asunción) 09:33 – 09:38 Análise Estocástica aplicada aos Tempos de Chegada de Aeronaves do Aeroporto Internacional de Manaus Victor Vermehren Valenzuela (UFPE) Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 45 Sessões Técnicas Sessões Técnicas Sessões Técnicas Sessões Técnicas CMAC 2011 – 20 a 23 de Setembro 09:40 – 09:45 A New Parameter Choice Rule for Optimization Models for Inverse Problems with Poisson Noise Elias Salomão Helou Neto (ICMC/USP) 09:47 – 09:52 Avaliação inicial de uma abordagem para compressão de imagens baseada em sistemas de funções iteradas Glauco dos Santos Reis, Pedro Paulo Balbi de Oliveira Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 46 Sessões de IC Sessões de IC Sessões de IC Sessões de IC – –– – Painéis Painéis Painéis Painéis Quarta-feira (21/09/2011) 21/09 - 8:30 às 10:30 Saguão do Bloco 5O ST1 – Análise e Aplicações Continuidade Absoluta de Funções Convexas (P-01) Flavio Lima de Souza, Luís Antônio Fernandes Oliveira Zeros de Polinômios Ortogonais do Tipo Sobolev (P-02) Gustavo de Toledo Siqueira, Fernando Rodrigo Rafaeli Ponto Fixo de Banach (P-03) Mariane Pigossi, Roberto Almeida Prado Zeros dos Polinômios Ortogonais Gerados por uma Modificação na Função Peso (P-04) Douglas Yugi Bocal Harada, Fernando Rodrigo Rafaeli Elementos geométricos associados ao problema do círculo mínimo (P-05) Rafaela Neves Bonfim, Walter dos Santos Motta Neto, Ana Carla Piantella Redução da Integral de Riemann-Stieltjes à Integral de Riemann (P-06) Janaina Pedroso Zanchetta ST3 – Computação Científica Identificação de petrofácies deposicionais em reservatórios de hidrocarbonetos via algoritmos de agrupamento (P-07) Juliana Tonoli Cevolani, Leonardo Costa Oliveira, Leonardo Goliatt, Egberto Pereira CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 47 Sessões de IC Sessões de IC Sessões de IC Sessões de IC – –– – Painéis Painéis Painéis Painéis Um estudo do Reordenamento de Matrizes Esparsas através do Problema do Caixeiro Viajante e seu efeito no Produto Matriz-vetor (P-08) Marcos Vinicius Caus Couto, Maria Claudia Boeres Interface Gráfica para Integração do Processo de Análise de Imagens Oceânicas do Sensor SAR Transportado em Satélite (P-09) Brunno Figueirôa Goldstein, Bruno da Silva Brazil ST7 – Matemática Aplicada à Engenharia Bifurcación ferroresonante por la saturación magnética (P-10) César Francisco Bogado Martínez, Walter Causarano, Christian E. Schaerer Recuperação Avançada de Petróleo pela Injeção de Glicerina Bruta em Reservatórios de Múltiplas Camadas (P-11) Delaynne Terezinha Grillo Freitas Garcia, Carlos Alexandre Pedrosa, Adolfo Puime Pires ST9 – Matemática Discreta Expansão de funções em frações contínuas (P-12) Joabe Oliveira Santos, Marcos Antônio da Câmara ST11 – Métodos Estocásticos e Estatísticos MHC, Recombinação e Diversidade Genética (P-13) Thamara Carvalho Coutinho, Telles Timóteo da Silva O Processo de Moran com Saltos Markovianos no Tamanho Populacional (P-14) Maria Rita Meyer Ferraz da Costa, Telles T. da Silva, Alexandre C. L. Almeida CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 48 S SS Sessões de IC essões de IC essões de IC essões de IC – –– – Painéis Painéis Painéis Painéis ST12 - Métodos Numéricos e Aplicações Discretização da Equação de Poisson para Aplicação em Eletroosmose (P-15) Mario Luiz Previatti de Souza Um programa com interface gráfica para o estudo de soluções para problemas de ponto de sela (P-16) Italo Cristiano Nievinski Lima, Luiz Mariano Carvalho Solução de Sistemas Lineares com Processamento Paralelo (P-17) Fábio Rodrigues Silva, José Laércio Doricio, Homero Ghioti da Silva ST13 - Modelagem Matemática e Aplicações Teoria Qualitativa das Equações Diferenciais Ordinárias no Estudo da Interação entre Espécies (P-18) Brythnner Monteiro Delfino, Valdair Bonfim Modelagem Matemática e Computacional da dinâmica da Hanseníase (P-19) Fábio Brito Moreira, Suani Tavares Rubim de Pinho, Ligia Regina Sansigolo Kerr Modelo Matemático da Trafega do Vinho (P-20) Fernanda Tumelero, Ediana Cimadon, Luana Fransozi Curva de Reação do Processo Uma Ferramenta simples e útil para o Modelamento Dinâmico de Sistemas Industriais (P-21) Rodrigo Santos de Oliveira, Estevão dos Santos Gedraite, Sergio M. da S. Neiro, Rubens Gedraite, Leo Kunigk CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 49 Sessões Sessões Sessões Sessões de IC de IC de IC de IC – –– – Painéis Painéis Painéis Painéis ST14 - Otimização Estudo de algumas Estratégias da Evolução Diferencial (P-22) Natália Caixeta Rocha Planejamento para fundições: uma aplicação do método das K-melhores mochilas (P-23) Murilo Soares Pinheiro, Franklina Maria Bragion de Toledo Modelo para Condição de Descida em Algoritmos de Programação Não Linear (P-24) Ranielle Felipe Brito de Freitas, Moisés Rodrigues Cirilo do Monte ST17 - Ensino Isotermas da Equação de Van der Waals: Uma aplicação do Geogebra (P-25) Wilson Tiago da Fonseca, Moisés Rodrigues Cirilo do Monte Um modelo simplificado para ondas sonoras complexas (P-26) Eduardo Peixoto de Oliveira, Walter dos Santos Motta Júnior Curvas Pedais via Geometria Dinâmica (P-27) Fabricio Alves Oliveira, Dulce Mary de Almeida Conceitos de Estatística Descritiva através da resolução de problemas para o ensino fundamental (P-28) Jéssica Scavazini Resende Modelando uma caixa de sabão em pó (P-29) Andrea Cardoso, Bruna S. C. Franco, Maira J. R. Oliveira, Karina K. Abreu, Nathália P. Santos, Juliana R. Carvalho, Michele M. Sacramento, Rejiane A. Calixto, Daniela O. Santos CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 50 S SS Sessões de IC essões de IC essões de IC essões de IC – –– – Painéis Painéis Painéis Painéis Quinta-feira (22/09/2011) 21/09 - 8:30 às 10:30 Saguão do Bloco 5 O ST1 – Análise e Aplicações Equações Diferenciais Parciais de Primeira Ordem e Aplicações (P-01) Rafael Ferreira de Camargos Sousa, Valdair Bonfim Interpretação Física dos Zeros dos Polinômios Ortogonais de Jacobi (P-02) Fernando Rodrigo Rafaeli, Jonas Antonio Padovani Ederli Consequência da Convergência Dominada: A Regra de Leibniz (P-03) Flavio Lima de Souza, Luís Antônio Fernandes Oliveira Polinômios Ortogonais e Equações Diferenciais Ordinárias (P-04) Mariana Aparecida Delfino de Souza, Cleonice Fatima Bracciali Introdução aos Sistemas Dinâmicos Discretos (P-05) Gregório Luís Dalle Vedove Nosaki, Márcio Ricardo Alves Gouveia ST2 – Biomatemática Quimioterapia e Modelagem Matemática em Câncer (P-06) Vinicius A. D. Almeida, Lucas M. C. Pinto, Paulo F. A. Mancera, Diego S Rodrigues Avaliação da similaridade entre genótipos de pimenta a partir de técnica estatística multivariada (P-07) Karolline Alves Cardoso CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 51 Ses Ses Ses Sessões de IC sões de IC sões de IC sões de IC – –– – Painéis Painéis Painéis Painéis ST6 – Matemática Aplicada à Economia e Finanças Adaptação do indicador de sustentabilidade Painel de Sustentabilidade utilizando lógica fuzzy para o município de Rio Branco-AC (P-08) Antonio Carlos Fonseca Pontes Júnior, Antonio Carlos Fonseca Pontes, Isaac Dayan Bastos da Silva, Michael Kennedy Valente Gondim ST7 – Matemática Aplicada à Engenharia Simulação Numérica de Fluxo de Gás Utilizando os Modelos de Forchheimer Quadrático e Cúbico (P-09) Chafic Chartuni Cabral da Cruz, Grazione de Souza Boy, Adolfo Puime Pires O Modelo de Richards Aplicado ao Processo de Aperto de Elementos de Fixação (P-10) Fábio Aparecido Marins, Sidineia Barrozo, Marcus José Witzler, Roberto Garcia ST8 – Matemática Aplicada à Física Álgebras de Lie e aplicações (P-11) Igor Leite Freire, Priscila Leal da Silva O Cálculo Variacional e o Problema da Baquistócrona (P-12) Alisson de Carvalho Reinol, Kátia Aiko Nishiyama Alves, José Roberto Nogueira, Suetônio de Almeida Meira ST11 – Métodos Estocásticos e Estatísticos Mutação e Flutuação Markoviana do Tamanho Populacional no Processo de Wright-Fisher (P-13) Elizabeth Jardim Ramos Almeida, Telles Timóteo da Silva, Alexandre Celestino Leite Almeida CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 52 Sessões de IC Sessões de IC Sessões de IC Sessões de IC – –– – Painéis Painéis Painéis Painéis Ajuste de modelos de séries temporais para estudo consumo interno de leite do Brasil (P-14) Valiana Alves Teodoro, Mirian Fernandes Carvalho Araújo, Lúcio Borges de Araújo ST12– Métodos Numéricos e Aplicações Estudos sobre a estabilidade numérica de métodos de diferenças finitas. (P-15) Hugo Leonardo França, Adriano Takata, Cassio Oishi On the Parareal method for the wave equation (P-16) Eduardo Antonio de Los Santos Nuñez, Juan Emilio Gavilán Garay, Estimativa do Erro na Interpolação Linear por Partes (P-17) Fernando Gomes de Andrade, Luís Antônio Fernandes Oliveira Estudo sobre o aumento da ordem de precisão de funcionais integrais dependentes da solução de EDPs via equação adjunta (P-18) Alessandro Alves Santana, Rafael Aparecido Carvalho Souza ST13– Modelagem Matemática e Aplicações Análise matemática do comportamento de um tumor submetido à imunoterapia (P-19) Vanessa Avansini Botta Pirani, Edilaine Silva, Icaro Silva Ajuste de Modelo Matemático à Cinética da Remoção de Resíduos em Sistemas de Limpeza CIP (P-20) Ana Paula Pereira Reis, Fernanda F. Pires, Rubens Gedraite Modelo de Otimização para Alocação de Links em um Sistema 3G (P-21) Bruno Quirino de Oliveira, Maria José Pereira Dantas, Marllon Thiago Lopes dos Santos, Marcos Antônio de Sousa Contato Entre Curvas (P-22) Cirilo Gonçalves Junior, Antonio Carlos Nogueira CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 53 Sessões de IC Sessões de IC Sessões de IC Sessões de IC – –– – Painéis Painéis Painéis Painéis CMAC 2011 – 20 a 23 de Setembro ST14– Otimização Uso do 'software' Maxima na Otimização de Processos Químicos por Programação Linear (P-23) Fabrício Rodrigues, Adilson José de Assis Sistemas de apoio a decisão em equipes desportivas (P-24) Diogo Gomes, Camila Poyatos, Silvely Nogueira de Almeida Salomão Néia Avaliação da Matriz Jacobiana utilizando Coloração de Grafos (P-25) Thiago Molino Moreira, Maria Cristina Rangel ST16– Processamento de Sinais Morfologia matemática na delimitação de espaços (P-26) Nayara Rebelo dos Santos, Aldenize Ruela Xavier, Maria Cláudia Pereira dos Reis ST17– Ensino Descobrindo o número pi com geometria dinâmica (P-27) Andrea Cardoso, José Carlos Souza Júnior, Marcelo M. A. Dias, Mateus P. S. Lima, Jarne D. Ribeiro, Helen M. P. Oliveira, Renata R. Marques, Nathália P. O. Rocha Jogos de matemática como metodologia de ensino/aprendizagem no 1° ano do ensino médio da rede pública-RJ. (P-28) Tamara Freitas de Souza Monteiro, Estefane Costa Rosa Domingues Tecnologia aplicada à Educação “Desafio da Hora” (P-29) Cristina Coutinho Oliveira, Aldine Bombonati Gonçalves, Dalva Maria de Oliveira Villarreal. Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 54 Sessões de IC Sessões de IC Sessões de IC Sessões de IC – –– – Painéis Painéis Painéis Painéis Sexta-feira (23/09/2011) 23/09 - 8:30 às 10:30 Saguão do Bloco 5O ST1 – Análise e Aplicações Encontrando uma Conjugação (P-01) Gregório Luís Dalle Vedove Nosaki, Márcio Ricardo Alves Gouveia Alguns Resultados sobre Caos em Sistemas Dinâmicos Aplicados à Equação de Bernoulli (P-02) Fernanda Alves Ozório, Luciano Barbanti, Aline Jardim Silva, Cristina Coutinho Oliveira Sobre espaços vetoriais normados de dimensão finita (P-03) Patrícia Yukari Sato Rampazo, José Roberto Nogueira, Suetônio de Almeida Meira Caos e Efeito Hidra na Equação Discretizada de Verhulst (P-04) Aline Jardim Silva, Cristina Coutinho Oliveira, Luciano Barbanti, Fernanda Alves Ozório, Berenice Camargo Damasceno Universalidade em matrizes aleatórias (P-05) Guilherme Lima Ferreira da Silva Uma Introduçao às Curvas Elípticas (P-06) William da Silva Pedretti, Jaime Edmundo Apaza Rodriguez ST4 - Computação Gráfica Mapeamento de Geometrias a partir de Texturas em Tempo Real (P-07) Gabriel Nobrega de Lima, Harlen Costa Batagelo, João Paulo Gois CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 55 Sessões de IC Sessões de IC Sessões de IC Sessões de IC – –– – Painéis Painéis Painéis Painéis Introdução Sucinta à Triangulação de Delaunay e suas propriedades (P-08) Jéssica Renata Nogueira, Sanderson L. Gonzaga de Oliveira ST5 - Controle e Teoria de Sistemas Estudo Global de Sistemas Quadráticos com uma Parábola Invariante (P-09) Alisson de Carvalho Reinol, Marcelo Messias ST7 - Matemática Aplicada à Engenharia Uma Aplicação de Equações Diferenciais Voltada à Flexão de Vigas (P-10) Marcela Pimenta Furtado, Lúcia Resende Pereira Bonfim Novos aspectos diferenciais do colapso da ponte suspensa Tacoma Narrows (P-11) Antonio Carlos Evangelista ST11 - Métodos Estocásticos e Estatísticos Modelagem de dados genotípicos e alélicos através de processos com interação de alcance variável (P-12) Andressa Cerqueira Aplicação de autovalores e autovetores em programas de melhoramento genético (P-13) Tatiana de Oliveira Gonçalves, Lúcio Borges de Araújo, Mirian Fernandes Carvalho Araújo, Priscila Faria Aproximacão de pi via métodos de Monte Carlo (P-14) Rafael Honório Pereira Alves, Edmilson Rodrigues Pinto CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 56 S SS Sessões de IC essões de IC essões de IC essões de IC – –– – Painéis Painéis Painéis Painéis ST12 - Métodos Numéricos e Aplicações Resolução da equação de Burgers utilizando a metodologia pseudo-espectral de Fourier (P-15) Ana Luiza Almeida Santos, Leonardo Queiroz Moreira, Felipe Pamplona Mariano, Aristeu da Silveira Neto Método Misto e Híbrido Adaptado para Malha Não Uniforme (P-16) Carlos Gustavo Lima Barreto, César Guilherme de Almeida Modelagem Matemática do Escoamento em um Fluido (água) utilizando Interpolação Polinomial (P-17) Lucas da Silva Ribeiro, Rosana Travessini, Denilson Baumgartner ST13 - Modelagem Matemática e Aplicações Modelo Multiparâmetro para Tomada de Decisões em Contratos Corporativos de Serviços de Telecomunicações sob Demanda Fuzzy e Tarifa Unitária Multiníveis (P-18) Marllon Thiago Lopes dos Santos, Maria José Pereira Dantas, Bruno Quirino de Oliveira, Marcos Antônio de Sousa Comparação de modelos para representação de poços na simulação numérica de reservatórios de petróleo (P-19) Bismarck Gomes Souza Junior, Capico Enrique Pico Ortiz Dinâmica de Populações - uma aplicação ao Município de Teófilo Otoni, MG (P-20) Jéssica Lemos Gomes, Flávio Henrique dos Santos, Marcelo Alves Moreira, Jaqueline Maria da Silva Uso de EDO’s no Crescimento Demográfico do Município de Santa Fé do Sul através dos Modelos de Malthus e Verhulst (P-21) Felipe dos Santos Sousa, Luiz Carlos Facundo Sanches CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 57 Sessões de IC Sessões de IC Sessões de IC Sessões de IC – –– – Painéis Painéis Painéis Painéis ST14 - Otimização Estudo de Transferências Orbitais Utilizando Algoritmos Genéticos (P-22) Noemi dos Santos Araújo, Denilson Paulo Souza Santos Otimização de Consumo de Combustível em Percurso de Automóvel (P-23) Pedro Henrique Dalmolin de Vasconcelos Affonso A teoria da dualidade e o equilíbrio de Nash (P-24) Lara Martins Barbosa, Marcos Antônio da Câmara, Letícia Ferreira Martins ST16 - Processamento de Sinais Estudo sobre os Parâmetros Acústicos Relevantes para a Verificação de Patologias Associadas à Voz (P-25) Samara Garcia Mazucato, Rodolfo Mendonça da Silva, Sylvio Barbon Junior Morfologia matemática na detecção de área através de imagens digitais (P-26) Nayara Rebelo dos Santos, Maria Cláudia Pereira dos Reis, Aldenize Ruela Xavier ST17 – Ensino Objeto de Aprendizagem a Matemática no Fim do Túnel (P-27) Arlindo J. de S. Júnior, Carlos Roberto Lopes, Deive Barbosa Alves, Douglas Carvalho de Menezes, Mario Lucio Alexandre Funções Hiperbólicas: algumas aplicações em Geometria Diferencial (P-28) Bruno Tadeu Pereira Jacob, Dulce Mary de Almeida Reciclando tópicos de Cálculo Numérico através de estimativas sobre produção de lixo doméstico (P-29) Guilherme Galina Loch, Alice Kozakevicius CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 58 Í ÍÍ Índice ndice ndice ndice A Adenilso da Silva Simão, 27 Adilson José de Assis, 53 Adolfo Puime Pires, 47, 51 Adriana Cristina Cherri, 41 Adriana de Oliveira Dias, 43 Adriano Takata, 52 Adrião Duarte Dória Neto, 34 Agnaldo Ferrari, 40 Aldenize Ruela Xavier, 53 , 57 Aldine Bombonati Gonçalves, 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 Pacífico 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 Andréa Camila dos Santos Martins, 41 Andrea Cardoso, 49, 53 Andrea Carla Gonçalves Vianna, 41 Andressa Cerqueira, 55 Ângela Patricia Grajales Spilimbergo, 42 Angelo Aliano Filho, 41 Antonio Cândido Faleiros, 19 Antonio Carlos Evangelista, 55 Antonio Carlos Fonseca Pontes Júnior, 51 Antonio Carlos Fonseca Pontes, 51 Antonio Carlos Nogueira, 52 Antônio Castelo Filho, 27 Antônio José Silva Neto, 20 Antônio Roberto Balbo, 27, 33 Aristeu da Silveira Neto, 27, 56 Arlindo J. de S. Júnior, 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 Figueirôa Goldstein, 47 Bruno da Silva Brazil, 47 Bruno Quirino de Oliveira, 52, 56 Bruno Tadeu Pereira Jacob, 57 Brythnner Monteiro Delfino, 48 C Camila Gonçalves 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 Júnior, 53 Carolina Palma Naveira Cotta, 21 Cassio Oishi, 52 Cecília Pereira Andrade, 40 César Francisco Bogado Martínez, 47 César 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 Gonçalves Junior, 52 Claudia Maria Gregorini Gonçalves 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 Gonçalves Teixeira, 36 Deive Barbosa Alves, 57 Delaynne Terezinha Grillo Freitas Garcia, 47 CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 59 Denilson Baumgartner, 41, 56 Denilson Paulo Souza dos Santos, 57 Dênis Emanuel da Costa Vargas, 43 Diego S. Rodrigues, 50 Diego Venâncio 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 Júnior Ferreira Leite, 43 Edméa Cássia Baptista, 41 Edmilson Rodrigues Pinto, 25, 55 Edmundo C. Oliveira, 13 Eduardo Antonio de Los Santos Nuñez, 52 Eduardo Peixoto de Oliveira, 49 Egberto Pereira, 46 Elen Viviani Silva, 40 Eleni Bisognin, 43 Elias Olveira Serqueira, 42 Elias Salomão Helou Neto, 45 Elizabeth Jardim Ramos Almeida, 51 Estefane Costa Rosa Domingues, 53 Estevão dos Santos Gedraite, 48 F Fabiana Tristão Santana, 34 Fábio Aparecido Marins, 51 Fábio Brito Moreira, 48 Fábio Rodrigues Silva, 48 Fabíolo Moraes Amaral, 43 Fabricio Alves Oliveira, 49 Fabrício Rodrigues, 53 Fabrício Simeoni de Sousa, 27 Fágner Lemos Santana, 34 Federico Javier Lopez Bertoni, 34 Felipe dos Santos Sousa, 56 Felipe Montefuscolo, 38 Felipe Pamplona Mariano, 56 Fernanda Alves Ozório, 54 Fernanda F. Pires, 52 Fernanda Tumelero, 48 Fernando Gomes de Andrade, 52 Í ÍÍ Índice ndice ndice ndice Fernando Luiz Pio dos Santos, 42 Fernando Rodrigo Rafaeli, 35, 46, 50 Flávio 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 Lúcio Diniz, 17 Geraldo Nunes Silva, 30 Geraldo Regis Mauri, 27, 28, 63 Geraldo Robson Mateus, 28, 64 Gheyza Ferreira da Silva, 40 Gilmar Guimarães, 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 Gregório Luís 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 Hélcio Rangel Barreto Orlande, 21 Helen M. P. Oliveira, 53 Helenice de Oliveira Florentino Silva, 27, 42 Heron Martins Félix, 35 Homero Ghioti da Silva, 48 Horácio Hideki Yanasse, 64 Hugo Leonardo França, 52 Hugo Nunes Santiago, 34 I Icaro Silva, 52 Igor Breda Ferraço, 39 Igor Leite Freire, 36, 51 Isaac Dayan Bastos da Silva, 51 Italo Cristiano Nievinski Lima, 48 Italo Valença Mariotti Tasso, 44 CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 60 Í ÍÍ Índice ndice ndice ndice J Jaime Edmundo Apaza Rodriguez, 54 Janaina Pedroso Zanchetta, 46 Jaqueline Maria da Silva, 56 Jarne D. Ribeiro, 53 Jéssica Lemos Gomes, 56 Jéssica Renata Nogueira, 55 Jéssica Scavazini Resende, 49 Joabe Oliveira Santos, 47 João Frederico C. A. Meyer, 60 João Paulo Gois, 27, 54 João 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 Júnior, 53 José Humberto Zani, 38 José Laércio Doricio, 48 José Luis Vazquez Noguera, 44 José Plínio de Oliveira Santos, 39 José Roberto Nogueira, 51, 54 Juan Emilio Gavilán Garay, 52 Juliana Bertoco, 44 Juliana Menegotto, 39 Juliana R. Carvalho, 49 Juliana Tonoli Cevolani, 46 Juliana Verga, 42 Júlio Cesar Santos Sampaio, 36 K Karina K. Abreu, 49 Karolline Alves Cardoso, 50 Kátia Aiko Nishiyama Alves, 51 Kênia Cristina Pereira Silva, 40 L Laécio Carvalho de Barros, 12, 30 Laís Bássame 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 Letícia Ferreira Martins, 57 Lígia Regina Sansigolo Kerr, 48 Lígia Rodrigues Bernabé Naves, 40 Luana Fransozi, 48 Lucas da Silva Ribeiro, 56 Lucas M. C. Pinto, 50 Lucas Massaroppe, 34 Lúcia Resende Pereira Bonfim, 55 Luciana Yoshie Tsuchiya, 40 Luciano Barbanti, 54 Lúcio Borges de Araújo, 52, 55 Luis Antonio da Silva Vasconcellos, 37 Luís Antônio 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 Cantão, 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é Colaço, 21 Marcelo M. A. Dias, 53 Marcelo Messias, 55 Marcia Maria Cruz, 43 Márcio Ricardo Alves Gouveia, 50, 54 Marcos Antônio da Câmara, 47, 57 Marcos Antônio de Sousa, 52, 56 Marcos Aurélio Batista, 44 Marcos Nereu Arenales, 64 Marcos Vinicius Caus Couto, 47 Marcus José Witzler, 51 Margarida Pato, 63 Maria Claudia Boeres, 47 Maria Cláudia 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 CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 61 Mário 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 Antônio Caro Candezano, 44 Miguel Tadayuki Koga, 39 Milena Almeida Leite Brandão, 18 Mirela Vanina de Mello, 35 Mirian Fernandes Carvalho Araújo, 52 , 55 Moisés Rodrigues Cirilo do Monte, 49 Murilo Soares Pinheiro, 49 N Natália Caixeta Rocha, 49 Nathália P. O. Rocha, 53 Nathália P. Santos, 49 Nayara Rebelo dos Santos, 53, 47 Nélson Inforzato, 30 Noemi dos Santos Araújo, 57 O Osmar Aléssio, 37 Oswaldo Vernet, 17 P Paolo Piccione, 15 Patrícia Maria dos Santos, 43 Patrícia Yukari Sato Rampazo, 54 Paulo Afonso Faria da Veiga, 64 Paulo César 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 Í ÍÍ Índice ndice ndice ndice Priscila Faria, 55 Priscila Leal da Silva, 51 R Rafael Aparecido Carvalho Souza, 52 Rafael Ferreira de Camargos Sousa, 50 Rafael Honório Pereira Alves, 55 Rafaela Neves Bonfim, 46 Ralph dos Santos Mansur, 42 Ranielle Felipe Brito de Freitas, 49 Raquel Cupolillo Simões de Sousa, 43 Regina Litz Lamblém, 35 Regivan Hugo Nunes Santiago, 34, 43 Reinaldo Morábito, 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 Pérez Narváez, 44 Rodolfo Mendonça 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 Charão, 35 S Samara Garcia Mazucato, 57 Sanderson L. Gonzaga de Oliveira, 55 Santos Alberto Enriquez-Remigio, 42 Sergio M. da S. Neiro, 48 Sezimária de Fátima Pereira Saramago, 18 Sidineia Barrozo, 51 Silvely N. de Almeida Salomao Néia, 41, 53 Silvio Araújo, 64 Socorro Rangel, 63 Suani T. R. Pinho, 15, 48 Sueli Irene Rodrigues, 40 CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 62 Í ÍÍ Índi ndi ndi ndice ce ce ce Suetônio de Almeida Meira, 51, 54 Sylvio Barbon Junior, 57 T Tamara Freitas de Souza Monteiro, 53 Tatiana de Oliveira Gonçalves, 55 Telles T. da Silva, 47, 51 Thamara Carvalho Coutinho, 47 Thiago Molino Moreira, 53 Túlio Guimarães, 35 U Ulcilea Alves Severino Leal, 33 V Valdair Bonfim, 48, 50 Valeriano Antunes de Oliveira, 39 Valério Luiz Borges, 21 Valiana Alves Teodoro, 52 Vanderléa Rodrigues Bazão, 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 Júnior, 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 CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 63 Apêndice Apêndice Apêndice Apêndice MS4 - Minimpósio de Otimização Combinatória (21 e 22 de Setembro de 2011) PROGRAMAÇÃO Quarta feira 21/09/2011 Anfiteatro C do Bloco 5 O Sessão Técnica 1: Coord. Silvely Salomão (UNESP Pres. Prud. SP) 8:30 – 8:45 Um método de Lagrangianos aumentados com formulação PHR e aplicações em otimização de malhas Ana Paula Mazzini (ICMC USP) 8:45 – 9:00 O uso da Programação Linear na separação de dois conjuntos de pontos (padrões) por hiperplanos Eberson Paulo Trevisan (Universidade Federal de Mato Grosso) 9:00 – 9:15 Métodos de Pontos Interiores e Branch and Bound em Problemas de Biomassa Residual da Cana-de-Açúcar Antonio Roberto Balbo (UNESP Bauru) 9:15 – 9:30 Otimização de Feixes de Condutores de Linhas de Transmissão para Minimização dos Níveis de Campo Elétrico no Nível do Solo André Luiz Paganotti (CFET Minas Gerais) 9:30 – 9:45 Um Método Primal-Dual Barreira Logarítmica Modificada com Estratégia de Convergência Global Ricardo Bento Nogueira Pinheiro (UNESP BAURU) 9:45 – 10:00 Sistema de Colônia de Formigas para Otimização Contínua: um Estudo para Problemas Nebulosos Luiza Amalia Pinto Cantão (UNESP Sorocaba) 10:00 – 10:15 Discretização de Euler para controle ótimo impulsivo Daniella Porto (UNESP São José do Rio Preto) 10:15 – 10:30 Otimização da concentração de misturas de herbicidas considerando a resistência de plantas daninhas Ulcilea Alves Severino Leal (UNESP São José do Rio Preto) 10:30 – 11:00 Café 11:00 – 12:00 Conferência Plenária 12:00 – 13:30 Almoço 13:30 – 13:50 Sobre o comitê de Otimização Combinatória: Presidente da SBMAC e Coordenador do CMAC Conferências Coordenadora: Profa. Dra. Andrea Carla G. Vianna FC/UNESP Bauru SP 13:50 – 14:20 Conferência 1 : Profa. Dra. Margarida Pato ISEG/CIO UTL/UL Lisboa Port. 14:20 – 14:50 Conferência 2 : Prof. Dr. Geraldo Regis Mauri, UFES, Alegre ES Técnicas de Relaxação Baseadas na Divisão em Clusters: Aplicações a Problemas Combinatoriais 14:50 – 15:20 Conferência 3 : Profa. Dra. Socorro Rangel IBILCE UNESP S.J. Rio Preto SP 15:20 – 15:50 Conferência 4 : Prof. Dr. Aurélio Ribeiro Leite de Oliveira Unicamp, Campinas SP Método de Pontos Interiores Barreira Logarítmica Preditor-Corretor Especializado para o Problema de Regressão pela norma Lp. 15:50 – 16:10 Café Palestra Coordenadora: Profa. Dra. Adriana C. Cherri FC/UNESP Bauru SP 16:10 – 17:10 Palestra 1 : Prof. Dr. Geraldo Robson Mateus UFMG, Belo Horizonte MG Otimização em Redes de Comunicação 17:10 – 18:00 Reunião do Comitê de Otimização Combinatória e membros SBMAC 18:30 – 20:00 Assembléia da SBMAC 20:15 – 22:30 Coquetel CMAC 2011 – 20 a 23 de Setembro Congresso de Matemática Aplicada e Computacional Universidade Federal de Uberlândia - MG 64 Apêndice Apêndice Apêndice Apêndice Quinta feira 22/09/2011 Anfiteatro C do Bloco 5 O Conferências Coordenadora: Profa. Dra. Maristela O. dos Santos ICMC/USP São Carlos SP 8:30 – 9:00 Conferência 5 : Prof. Dr. Silvio Araujo IBILCE UNESP S.J. Rio Preto SP O método branch-and-price aplicado ao problema de dimensionamento de lotes com restrições de capacidade 9:00 – 9:30 Conferência 6 : Prof. Dr. Reinaldo Morábito UFSCAR São Carlos SP Roteamento de Veículos com Múltiplos Entregadores: Modelagem e Abordagens Heurísticas. 9:30 – 10:00 Conferência 7 : Prof. Dr. Marcos Nereu Arenales ICMC USP Problemas de corte de peças com aproveitamento de sobras. 10:00–10:30 Conferência 8 : Prof. Dr. Horácio Hideki Yanasse INPE S.J. do Campos SP Algumas abordagens de solução para o problema de minimização do número de trocas de ferramentas. 10:30 – 11:00 Café Palestra Coordenador: Prof. Dr. Antônio Roberto Balbo FC/UNESP Bauru SP 11:00-12:00 Palestra 2: Prof. Dr. Paulo Afonso Faria da Veiga ICMC USP São Carlos SP Mobilidade Acadêmica e Cooperação Internacional: Relato de Experiências na USP 12:00 – 13:30 Almoço Mesa Redonda Mediador: Prof. Dr. Alysson Machado Costa ICMC/USP São Carlos SP 13:30 – 15:50 Mesa Redonda Otimização Combinatória: Passado e Futuro • Prof. Dr. Horácio Hideki INPE S.J. do Campos; • Prof. Dr. Reinaldo Morábito UFSCAR; • Prof. Dr. Geraldo Robson Mateus UFMG Belo Horizonte MG. 15:50 – 16:10 Café Sessão Técnica 2: Coord. Deisemara Ferreira UFTM Uberaba MG 16:10 – 16:25 Geração de colunas com o uso de retalhos no processo de corte de estoque unidimensional com sobras de material aproveitáveis Adriana Cristina Cherri (UNESP Bauru) 16:25 – 16:40 O Problema de Corte Bidimensional envolvendo peças do tipo L Andrea Carla Goncalves Vianna ( UNESP Bauru 16:40 – 16:55 Algoritmo Genético em Problemas de Rotação de Culturas Angelo Aliano Filho (PG Biometria IB UNESP Botucatu) 16:55– 17:10 Rendezvous Maneuvers with minimal ∆V Denilson Paulo Souza dos Santos (INPE S. J. dos Campos) 17:10– 17:25 A função Lagrangiana Barreira Penalidade para resolução de problemas não lineares Edméa Cássia Baptista (UNESP Bauru) 17:25– 17:40 Estudo de um modelo de otimização para o problema de transporte dos resíduos da cana de açúcar Silvely Salomão (UNESP Pres. Prudente) 17:40– 17:55 Algoritmo de Colônia de Abelhas para o Problema de Dimensionamento de Lotes Multiestágio com Limitação de Capacidade Maristela Oliveira dos Santos (ICMC USP) 17:55– 18:10 O método de pontos interiores no planejamento da radioterapia Andréa Camila dos Santos Martins (PG Biometria IB UNESP de Botucatu) CMAC 2011 – 20 a 23 de Setembro