DIRETORIA 01/ /2015

Transcrição

1 Programação

2 Rua Maestro João Seppe, º. andar - Sala São Carlos - SP Telefone/Fax: (16) sbmac@sbmac.org.br sbmac.org.br DIRETORIA 01/ /2015 Antônio José da Silva Neto - UERJ Presidente Sandra Mara Cardoso Malta - LNCC 1º Vice-Presidente Liliane Basso Barichello - UFRGS 2º Vice-Presidente Geraldo Lucio Diniz - UFMT Secretário Geral Maria do Socorro Nogueira Rangel - UNESP São José do Rio Preto 1º Secretário João Frederico da C. Azevedo Meyer - UNICAMP 2º Secretário José Antonio Salvador - UFSCar Tesoureiro

3 III Congresso de Matemática Aplicada e Computacional do Sudeste Prezados participantes, Boas-Vindas Bem-vindos à Vitória! Bem-vindos ao CMAC-SE 2015! Este caderno de programa apresenta as atividades científicas e sociais do III Congresso de Matemática Aplicada e computacional - Sudeste - CMAC-SE 2015, realizado na Universidade Federal do Espírito Santo, Campus de Goiabeiras, em Vitória, ES. O CMAC-SE é um evento promovido pela Sociedade Brasileira de Matemática Aplicada e Computacional (SBMAC), envolvendo as regionais do Espírito Santo, Minas Gerais, Rio de Janeiro e São Paulo. Tem por objetivo a divulgação de pesquisas em temas nas áreas de Matemática Aplicada e Computacional, bem como, promover a troca de experiência e intercâmbio acadêmico e científico entre alunos, professores e pesquisadores. A edição de 2015 está sendo organizada junto aos Departamentos de Informática (DI/CT), Matemática (DMAT/ CCE) e Matemática Aplicada (DMA/CEUNES) da Universidade Federal do Espírito Santo (UFES). Nesta edição foram submetidos 235 trabalhos, dos quais 166 foram selecionados para apresentação e publicação no Proceeding Series of Brazillian Society of Computacional and Applied Mathematics, sendo 72 artigos completos, 49 resumos apresentando pesquisas no nível de pós-graduação em andamento e 45 resumos de pesquisas no nível de iniciação científica. Agradecemos o empenho do Comitê Editorial e dos revisores durante o processo de avaliação. Desejamos a todos uma agradável estadia em Vitória e um excelente CMAC-SE A Comissão Organizadora estará à disposição para esclarecer quaisquer dúvidas e ajudá-los em eventuais contratempos. Vitória, Setembro de 2015 Comissão Organizadora. 3

4 Vitória, ES, 5 a 8 de setembro de 2015 Comitês Comitê Organizador Lucia Catabriga, UFES Fabiano Petronetto do Carmo, UFES Frederico Ferreira Campos Filho, UFMG Isaac Pinheiro dos Santos, UFES São Mateus Maria Cristina Rangel, UFES Max Souza, UFF Renata Del Vechio, UFF Rubens Camargo Figueiredo, Unesp Bauru Sandra Malta, LNCC Comitê Editorial Bruna Lammoglia, IFSP Carlos Henrique Costa Moreira, UFMG Edméa Cássia Baptista, Unesp Bauru Igor Leite Freire, UFABC João Paulo Gois, UFABC Magda Kimico Kaibara, UFF Marcelo Teixeira, UFRJ Maria Claudia Silva Boeres, UFES Comitê Científico Alexandre Madureira, LNCC Edson Cataldo, UFF Jorge Zubelli, IMPA Neyval Reis, UFES Paulo Mancera, Unesp Botucatu Rosana Sueli da Motta Jafelice, UFU Sandra Santos, Unicamp Thiago Ferreira de Noronha, UFMG Regionais SBMAC: 06, 07, 08, 09 e 10 4

5 III Congresso de Matemática Aplicada e Computacional do Sudeste Sumário Atividades do CMAC-SE Programação - Sábado, 5/ Programação - Domingo, 6/ Programação - Segunda, 7/ Programação - Terça 8/ Mapa da UFES Campus Goiabeiras Local do Evento Conferências Minicursos Minissimpósios Mesa Redonda Sessões Orais Painéis IC Painéis Índice de Autores

6 Vitória, ES, 5 a 8 de setembro de 2015 Atividades do CMAC-SE 2015 Sessões Técnicas: ST01 - Análise ST02 - Biomatemática ST03 - Computação Científica ST04 - Computação Gráfica ST05 - Controle e Teoria de Sistemas ST06 - Matemática Aplicada à Economia e Finanças ST07 - Matemática Aplicada à Engenharia ST08 - Matemática Aplicada à Física ST09 - Matemática Discreta ST10 - Mecânica dos Fluidos e Aplicações ST11 - Métodos Estocásticos e Estatísticos ST12 - Métodos Numéricos e Aplicações ST13 - Modelagem Matemática e Aplicações ST14 - Otimização ST15 - Problemas Inversos ST16 - Processamento de Sinais ST17 - Ensino Minicursos: MC1 - Métodos estocásticos de otimização: algoritmos genéticos e evolução diferencial MC2 - Introdução ao método de elementos finitos: aplicação em dinâmica dos fluidos MC3 - Avanços em métodos de Krylov para solução de sistemas lineares de grande porte MC4 - Problemas Inversos em Tomografia Minissimpósios: MS1 - Otimização de Operações Portuárias MS2 - Condições de Otimalidade em Otimização e Controle Ótimo Conferências: C1 - Computação de Alto Desempenho em Robótica Autônoma C2 - Estrutura 3D de Proteínas via Geometria de Distâncias C3 - Robótica para Reabilitação e Compensação Funcional: Estratégias para Caracterização e Assistência da Marcha Humana Patológica C4 - Método de Elementos Analíticos para a Simulação de Escoamento Subterrâneo C5 - Teoria Espectral dos Grafos e Aplicações C6 - Difusão em Epidemiologia Conferência Wolfram/Mathematica: Aprenda a melhorar sua experiência na sala de aula com o Mathematica Mesa Redonda: Universidade e Indústria: uma parceria importante para o desenvolvimento 6

7 III Congresso de Matemática Aplicada e Computacional do Sudeste Programação - Sábado, 5/9 Horário Sala 301 Sala 302 Sala 303 Sala 304 Sala 406 Sala :30-14:00 Inscrições e Entrega de Material Hall do Auditório Manoel Vereza 14:00-14:30 Abertura Oficial Auditório Manoel Vereza 14:30-15:30 15:30-16:00 16:00-16:30 Conferência 1: Computação de Alto Desempenho em Robótica Autônoma. Alberto Ferreira De Souza - Auditório Manoel Vereza, p.13 Palestra da Wolfram: Aprenda a melhorar sua experiência na sala de aula com o Mathematica. Daniel Pryjma - Auditório Manoel Vereza, p.13 Demonstração do carro autônomo IARA Estacionamento do Auditório Manoel Vereza 16:30-17:00 Intervalo Área ao ar livre entre ED III e ED IV 17:00-19:00 ST01 p.27 ST08-10 p.28 ST14 p.29 ST17 p.30 Painéis IC (*) p.46 Painéis IC (**) p.48 19:30-23:30 Coquetel Sede da ADUFES Campus Universitário - Goiabeiras, Vitória - ES. (*) ST01, ST02, ST06, ST09, ST12 (**) ST10, ST13, ST14, ST17 7

8 Vitória, ES, 5 a 8 de setembro de 2015 Programação - Domingo, 6/9 Horário Sala 301 Sala 302 Sala 303 Sala 304 Sala 305 Sala 306 Sala 406 Sala 407 Sala :00-10:00 MC1 p.17 MC2 p.17 10:00-11:00 ST02 p.31 ST05 p.32 ST12 p.33 ST13 p.34 ST14 p.35 11:00-11:30 Intervalo Área ao ar livre entre ED III e ED IV 11:30-12:30 Conferência 2: Estrutura 3D de Proteínas via Geometria de Distâncias. Carlile Lavor - Auditório Manoel Vereza, p.14 12:30-14:00 Intervalo para o Almoço 14:00-15:00 15:00-16:00 MS1 p.18 MC3 p.17 Painéis (*) p.50 Painéis (**) p.51 MC4 p.17 16:00-16:30 Intervalo Área ao ar livre entre ED III e ED IV 16:30-17:30 17:30-19:00 Conferência 3: Robótica para Reabilitação e Compensação Funcional: Estratégias para Caracterização e Assistência da Marcha Humana Patológica. Anselmo Frizera - Auditório Manoel Vereza, p.14 Mesa Redonda: Universidade e Indústria: uma parceria importante para o desenvolvimento - Auditório Manoel Vereza, p.26 (*) ST01, ST02, ST03, ST04, ST06, ST08 (**) ST07, ST09, ST10 8

9 III Congresso de Matemática Aplicada e Computacional do Sudeste Programação - Segunda, 7/9 Horário Sala 301 Sala 302 Sala 303 Sala 304 Sala 305 Sala 306 Sala 406 Sala 407 Sala :00-09:00 09:00-10:00 10:00-11:00 MS2 p.22 ST01 p.36 ST02 p.37 ST11 p.38 MC1 p.17 ST13 p.39 MC2 p.17 11:00-11:30 Intervalo Área ao ar livre entre ED III e ED IV 11:30-12:30 Conferência 4: Método de Elementos Analíticos para a Simulação de Escoamento Subterrâneo. Edson Wendland - Auditório Manoel Vereza, p.15 12:30-14:00 Intervalo para o Almoço 14:00-15:00 15:00-16:00 MS1 p.18 MC3 p.17 Painéis (*) p.52 Painéis (**) p.53 MC4 p.17 16:00-16:30 Intervalo Área ao ar livre entre ED III e ED IV 16:30-17:30 Conferência 5: Teoria Espectral dos Grafos e Aplicações. Nair Abreu - Auditório Manoel Vereza, p.15 17:30-19:00 Assembleia da SBMAC Auditório Manoel Vereza (*) ST13, ST16 (**) ST12, ST14 9

10 Vitória, ES, 5 a 8 de setembro de 2015 Programação - Terça, 8/9 Horário Sala 301 Sala 302 Sala 303 Sala 304 Sala 305 Sala :00-09:00 09:00-10:00 MC1 p.17 MC2 p.17 10:00-11:00 MS2 p.22 ST07 p.40 ST12 p.41 ST15 p.42 11:00-11:30 Intervalo Área ao ar livre entre ED III e ED IV 11:30-12:30 Conferência 6: Difusão em Epidemiologia. Norberto Maidana - Auditório Manoel Vereza, p.16 12:30-14:00 Intervalo para o Almoço 14:00-16:00 ST03-09 p.43 ST12 p.44 ST13 p.45 MC3 p.17 MC4 p.17 16:00-16:30 Encerramento 10

11 III Congresso de Matemática Aplicada e Computacional do Sudeste Mapa da UFES - Campus Goiabeiras 11

12 Vitória, ES, 5 a 8 de setembro de 2015 Local do Evento AUDITÓRIO Manoel Vereza ED-III ED-IV SANITÁRIOS 12

13 III Congresso de Matemática Aplicada e Computacional do Sudeste Conferências Sábado, 5 de setembro de :30-15:30 - Auditório Manoel Vereza C1: Computação de Alto Desempenho em Robótica Autônoma Conferencista: Alberto Ferreira de Souza (UFES) Coordenador: Lucia Catabriga (UFES) Resumo: Para um ser humano saudável e devidamente treinado, dirigir um automóvel ou buscar itens de uma lista em uma estante e colocá-los em uma cesta são tarefas extremamente fáceis. Para robôs autônomos, contudo, estas tarefas ainda são extremamente complexas. Um robô autônomo é composto por um sistema mecatrônico e por um sistema computacional. Para dotar um robô autônomo de capacidades tais como aquelas necessárias para se dirigir um automóvel ou realizar compras em um armazém, computação de alto desempenho é correntemente necessária. Nesta palestra, vamos discutir as capacidades humanas fundamentais que tornam fáceis as tarefas mencionadas, quais sejam, nossas capacidades de auto-localização e mapeamento simultâneos do ambiente ao nosso redor, detecção de objetos de interesse por meio da visão e planejamento de movimento. Em seguida, vamos apresentar o estado da arte sobre como estas tarefas são realizadas por robôs e suas demandas de computação de alto desempenho. 16:00-16:30 - Auditório Manoel Vereza Conferência Wolfram/Mathematica: Aprenda a melhorar sua experiência na sala de aula com o Mathematica Conferencista: Daniel Pryjma (Wolfram) Coordenador: José Antonio Salvador (UFSCar) Resumo: Esta atividade dá uma visão geral da funcionalidade do Mathematica relevante para ensino e aprendizado, além de estudos de casos e sugestões de boas práticas para integração em aulas. Tópicos incluem como criar uma sala de aula dinâmica com modelos interativos e uma apresentação de recursos de computação e visualização que sejam úteis para o ensino em praticamente qualquer área e nível. 13

14 Vitória, ES, 5 a 8 de setembro de 2015 Domingo, 6 de setembro de :30-12:30 - Auditório Manoel Vereza C2: Estrutura 3D de Proteínas via Geometria de Distâncias Conferencista: Carlile Lavor (Unicamp) Coordenador: Luiz Mariano Carvalho (UERJ) Resumo: O conhecimento da estrutura 3D de uma molécula de proteína é de fundamental importância, pois está associada às suas propriedades físicoquímicas. Iremos considerar o Molecular Distance Geometry Problem, onde são dadas algumas distâncias entre os átomos próximos de uma proteína (fornecidas, por exemplo, pela Ressonância Magnética Nuclear) e o objetivo é determinar a posição de todos os seus átomos. Quando todas as distâncias são conhecidas, o problema é de fácil resolução. Caso contrário, não se conhece nenhum método eficiente. 16:30-17:30 - Auditório Manoel Vereza C3: Robótica para Reabilitação e Compensação Funcional: Estratégias para Caracterização e Assistência da Marcha Humana Patológica Conferencista: Anselmo Frizera Neto (UFES) Coordenador: Lucia Catabriga (UFES) Resumo: A mobilidade humana é afetada por diferentes patologias e pelo envelhecimento. Atualmente, diferentes soluções tecnológicas oferecem importantes benefícios para a locomoção assistida em cenários de reabilitação e compensação funcional. Nesta apresentação, procuramos apresentar as diferentes classes de dispositivos de apoio à locomoção humana dando especial atenção aos Andadores Robóticos. Toda esta temática é de grande interesse do Grupo de Pesquisa em Robótica e Automação Industrial da UFES que desenvolve um Andador Robótico. Tal dispositivo é dotado de uma estratégia de interação humano-robô que integra informação obtida de diferentes canais de comunicação, como os movimentos dos membros inferiores e do tronco do usuário, além das forças obtidas da interação física do usuário com o sistema robótico. Serão apresentados os principais resultados até o presente e os temas de investigação mais atuais, direcionados ao desenvolvimento de sistemas de maior interação e suporte físico ao paciente, como os exoesqueletos robóticos, e ao estudo e caracterização da marcha humana normal e patológica mediante sensores opto-eletrônicos. 14

15 III Congresso de Matemática Aplicada e Computacional do Sudeste Segunda-feira, 7 de setembro de :30-12:30 - Auditório Manoel Vereza C4: O Método de Elementos Analíticos para a Simulação de Escoamento Subterrâneo Conferencista: Edson C. Wendland (USP/São Carlos) Coordenador: Sandra Mara Cardoso Malta (LNCC) Resumo: O Método de Elementos Analíticos (AEM, acrônimo em inglês) é utilizado para a modelagem de fluxo de águas subterrâneas em meio sedimentar, sobretudo no estudo de aquíferos regionais. Por não precisar da definição de fronteiras e discretização do domínio analisado, o AEM apresentase como importante alternativa aos métodos de diferenças finitas (MDF) e elementos finitos (MEF), tradicionalmente aplicados ao problema de fluxo subterrâneo. O AEM é baseado nos conceitos de superposição de soluções lineares, potencial de descarga e potencial complexo, permitindo a obtenção de soluções exatas para problemas descritos pela equação de Laplace. A palestra apresenta a formulação básica dos elementos analíticos usados para modelagem bidimensional de campo de escoamento para o caso de aquíferos em regime uniforme. Especial destaque é dado à formulação de elementos lineares usados para modelar rios, drenagens, paredes impermeáveis e zonas de diferentes condutividades hidráulicas. Algumas perspectivas de pesquisa e desenvolvimento são relatadas, incluindo o mapeamento conforme, o uso de variáveis complexas e elementos de alta ordem utilizando os polinômios de Tchebichev. A implementação em ambiente computacional (MATLAB) também é discutida, por compor a principal etapa para a operação do método, que por sua vez pode ser efetivada em ambiente de sistemas de informações geográficas (SIG). 16:30-17:30 - Auditório Manoel Vereza C5: Teoria Espectral dos Grafos e Aplicações Conferencista: Nair M. M. de Abreu (UFRJ) Coordenador: Maria Cristina Rangel (UFES) Resumo: A palestra terá início com a origem e a fundamentação teórica da Teoria Espectral dos Grafos, área multidisciplinar que reúne conhecimentos de Álgebra Linear, Teoria de Matrizes e Teoria dos Grafos, tendo diversas aplicações em Teoria da Computação, Pesquisa Operacional, Química, Física e Engenharia. Na sequência serão abordados os seguintes tópicos: matrizes associadas a grafos (adjacência, laplacina, laplaciana sem sinal) e seus respectivos espectros, os autovalores mais estudados em cada caso, destacando-se o maior autovalor 15

16 Vitória, ES, 5 a 8 de setembro de 2015 da matriz de adjacência (índice) e o segundo menor autovalor da matriz laplaciana (conectividade algébrica). Algumas aplicações importantes serão apresentadas, dentre as quais, a propagação de informações, a disseminação de vírus, limite espectral para risco epidêmico, o vetor Page-Rank (busca na WEB), corte máximo e problema de particionamento em grafos (utilização em redes muito grandes). Finalmente, a palestra será encerrada com o uso de espectros no clássico Problema do Isomorfismo de Grafos e suas aplicações ao reconhecimento de padrões. Terça-feira, 8 de setembro de :30-12:30 - Auditório Manoel Vereza C6: Difusão em Epidemiologia Conferencista: Norberto A. Maidana (UFABC) Coordenador: Paulo Mancera (UNESP) Resumo: O primeiro modelo para estudar a propagação espacial de uma doença de transmissão direta foi proposto por Kallen et al., [1] e [5], no ano O objetivo foi estudar a propagação espacial da raiva em raposas. Foi utilizado o modelo clássico de Kermack McKendric, suscetíveis e infectados, com difusão somente para as raposas infectadas. Como a raposa é um animal territorial, não foi considerado difusão nas raposas suscetíveis. A raiva afeta o sistema nervoso das raposas perdendo a noção do espaço, tendo como consequência o movimento aleatório difusivo nos infectados. Essas ideias foram utilizadas para estudar propagação de doenças de transmissão indireta, por vetor, como por exemplo West Nile Virus e Dengue, [2], [3], [4] e [6]. As soluções para esse tipo de modelos de reação difusão são as ondas viajantes, que podem descrever a invasão de uma espécie ou a propagação espacial da doença. Apresentamos aqui essas ideias matemáticas e suas aplicações biológicas. Referências: [1] Källen, A., Acuari, P., Murray, J. D. (1985). A simple model for the spatial spread and control of rabies. J. theor. Biol. 116, [2] Lewis, M., Renclawowicz, J., Van den Driessche, P. (2006). Travelling Waves and Spread rate for a West Nile Virus Model, Bull. Math. Biol., 68, [3] Maidana, N. A. and Yang, H. M. (2008). Describing the geographic spread of dengue disease by travelling waves. Math. biosc., 215, 1, [4] Maidana, N. A., Yang, H. M. (2009). Spatial spreading of West Nile Virus Described by Travelling Waves. J. Ther. Biol. 258, [5] Murray, J.D., Mathematical Biology, Springer, Berlin (2002). [6] Takahashi, L. T., Maidana, N. A., Ferreira Jr., W. C., Pulino, P. and Yang, H. M. (2005). Mathematical models for the Aedes aegypti dispersal dynamics: traveling waves by wing and wind. Bull. Math. Biol., 67,

17 III Congresso de Matemática Aplicada e Computacional do Sudeste Minicursos MC1: Métodos estocásticos de otimização: algoritmos genéticos e evolução diferencial Domingo, Segunda-feira e Terça-feira, 6, 7 e 8 de setembro de :00-10:00 - Sala 305 Autores: Milena Almeida Leite Brandão (UFU), Sezimária de Fátima Pereira Saramago (UFU) Coordenador: Maria Cristina Rangel (UFES) Nível: graduandos e pós-graduandos. MC2: Introdução ao método de elementos finitos: aplicação em dinâmica dos fluidos Domingo, Segunda-feira e Terça-feira, 6, 7 e 8 de setembro de :00-10:00 - Sala 408 Autores: Márcio da Silveira Carvalho (Puc-Rio), Juliana Vianna Valério (UFRJ) Coordenador: Sandra Mara Cardoso Malta (LNCC) Nível: graduandos e pós-graduandos. MC3: Avanços em métodos de Krylov para solução de sistemas lineares de grande porte Domingo, Segunda-feira e Terça-feira, 6, 7 e 8 de setembro de :00-16:00 - Sala 305 Autores: Luiz Mariano Carvalho (UERJ), Serge Gratton (Ense/França) Coordenador: Isaac Pinheiro dos Santos (UFES) Nível: graduandos e pós-graduandos. MC4: Problemas Inversos em Tomografia Domingo, Segunda-feira e Terça-feira, 6, 7 e 8 de setembro de :00-16:00 - Sala 408 Autores: Adriano De Cezaro (FURG), Fabiana Travessini De Cezaro (FURG) Coordenador: Antônio José da Silva Neto (IPRJ) Nível: graduandos e pós-graduandos. 17

18 Vitória, ES, 5 a 8 de setembro de 2015 Minissimpósios MS1: Otimização de Operações Portuárias Coordenadores: Luíz Leduíno de Salles Neto (Unifesp) e Aníbal Tavares de Azevedo (Unicamp) Resumo: É notória a importância estratégica da otimização das operações portuárias no Brasil. Por exemplo, reportagem publicada no jornal O Estado de São Paulo em 30 de setembro de 2012 afirma que: O modelo de gestão dos portos é confuso, difícil de ser gerenciado e representa um gargalo para o Brasil, na avaliação do governo, que prepara um pacote que promete uma revolução no setor. ( ). De fato, os portos brasileiros vivem problemas que vão além de precariedades na infraestrutura: falta planejamento ótimo das operações. Decorre desse quadro a relevância e o desafio do aprimoramento e uso de modelos e métodos matemáticos visando a otimização dessas operações. Esse minissimpósio visa fomentar o desenvolvimento de novos trabalhos e redes de pesquisadores nessa temática por meio da apresentação de seis trabalhos inéditos e inovadores, abaixo descritos e divididos em duas sessões. Programação Domingo, 6 de setembro de :00-16:00 - Sala :00: Otimização da Fila de Navios nos Portos da Vale Autores: Evandro Ferreira (Vale), Marcelo Coelho (Vale), Cristiane Ferreira (PUC-Rio), Marcus Poggi (PUC-Rio) Resumo: O Problema da Fila de Navios (PFN) é central para a produtividade de uma operação portuária. Consiste em definir os momentos e em que berços os navios deverão atracar para serem servidos. Em essência, a programação das atracações visa, dentro do que é permitido em contratos com os navios, maximizar o que pode ser embarcado no porto. Mais precisamente PFN considera os instantes esperados de chegada dos navios, a previsão do momento de disponibilidade das cargas contratadas, as características de cada berço, velocidade de carregamento e calado máximo, e as condições da maré ao longo do período; e visa determinar em que berços e em que instantes os navios devem atracar de forma a minimizar as penalidades por atrasos em relação à data contratada e maximizar o volume total embarcado nos navios. Este trabalho apresenta um modelo de programação linear inteira para o PFN, assim como uma heurística para obtenção rápida de bons planos de alocação 18

19 III Congresso de Matemática Aplicada e Computacional do Sudeste dos berços aos navios. Na Vale este planejamento é realizado por um módulo do Sistema Integrado de Otimização Portuária em que a Fila de Navios é planejada em conjunto com trens e pilhas de minério e o descarregamento dos vagões. Análises do impacto da utilização deste sistema são apresentadas. 14:40: Modelagem e Resolução do Problema de Otimização Conjunta do Plano de Estiva e Movimentação de Contêineres em Pátios Portuários Autores: Catarina Junqueira (FCA-Unicamp) e Aníbal Azevedo (FCA-Unicamp) Resumo: A eficiência de um terminal portuário é essencial para permitir o incremento do fluxo de contêineres em uma cadeia global de suprimentos. Neste estudo, é proposta a integração do problema de movimentação de contêineres no pátio com o problema de carregamento de contêineres no navio. Na literatura é provado que ambos os problemas são NP-Completos. Para tanto, é proposta a adaptação de um método que já foi empregado com sucesso na resolução do problema do plano de estiva: a representação por regras. Tal método, aplicado em conjunto à simulação, define ao longo de n portos como vai ocorrer a sequência de carregamento e descarregamento de contêineres em um navio e retirada dos mesmos no pátio. Com isso, o objetivo é reduzir o número de movimentos desnecessários. A contribuição prática dar-se-á pela redução na quantidade de informações necessárias para se representar a tomada de decisões através de um modelo matemático. Além disso, a representação por regras tem a grande vantagem de utilizar uma representação bastante compacta que assegura a geração de soluções factíveis. São apresentados os resultados obtidos com exemplos numéricos que mostram que, com baixo tempo computacional foi possível obter sequências de movimentos factíveis. Segunda-feira, 7 de setembro de :00-16:00 - Sala :00: Reactive GRASP to Container Stacking Problem Autores: Andresson Firmino (UFPE) e Ricardo Martins de Abreu (UFPE) Resumo: Um terminal de contêineres lida com a troca de contêineres entre diferentes tipos de veículos (trens, navios e caminhões), bem como o armazenamento dos contêineres até a sua respectiva necessidade de retirada. Devido à crescente necessidade de importação e exportação, é cada vez mais difícil gerir todo o tráfego de contêineres e veículos, bem como a armazenagem de contêineres dentro do terminal. Os contêineres são armazenados em pilhas por limitação da área disponível para armazenamento. Com isto, no processo 19

20 Vitória, ES, 5 a 8 de setembro de 2015 de retirada de um contêiner que não está situado no topo de uma pilha, é necessário a transferência dos contêineres que estão acima para o topo de outras pilhas. Este processo de transferência dos contêineres nas pilhas reduz a produtividade no processo de saída de um contêiner. Maximizar a produtividade na retirada de contêineres é conhecido por Container Stacking Problem (CSP). Nosso trabalho propõe uma solução para o Container Retrieval Problem (CRP). Este é uma linha do CSP que consiste em retirar sequencialmente contêineres de um conjunto de pilhas, segundo respectivos valores de ordem de saída. Para isto, quando um contêiner de maior ordem de saída não está no topo das pilhas, ou seja, não está acessível, realocações são efetuadas para permitir o acesso. Este número de realocações deve ser mínimo. Ao término de todas realocações e retiradas, todos os contêineres foram retirados sequencialmente. Nossa solução é uma heurística baseada na meta-heurística Reactive GRASP. Ela não visa apenas em reduzir o número de realocações, mas também encontrar soluções com o menor custo de deslocamento, ou seja, minimizar o trabalho realizado pelo guindaste. Nossos experimentos reportaram que as soluções obtidas por nossa heurística obtiveram redução superior a 20% no custo de deslocamento quando comparadas às soluções de outras heurísticas recentes da literatura. 14:40: Container ship Loading Plan Problem: a multi-objective hybrid heuristic Autores: Eliseu Araújo (Unifesp), Antonio Chaves (Unifesp), Anibal Azevedo (Unicamp), Luiz Salles-Neto (Unifesp) Resumo: The Container ship Loading Plan Problem (CLPP) is an important problem that appears in the seaport container terminal operations. This problem consists of determining how to organize the containers in a ship in order to minimize the number of movements necessary to unload and load the container ship and the instability of the ship in each port, preventing serious accidents. Thus, the CLPP can be defined as a multi-objective problem and it is classified in the literature as NP-hard. This paper presents an adaptation of the hybrid method Clustering Search (CS), that we call Pareto CS. The main idea of the CS is to identify promising areas of the search space by generating solutions through a metaheuristic and clustering them into groups that are further explored with local search heuristics. In the Pareto CS, the Pareto front is managed by the clustering process. New clusters with non-dominated solutions can be created and cluster with solutions that become dominated are destroyed. The computational results were examined from two viewpoints: the comparison against mono-objective methods and the Pareto fronts. In comparison against mono-objective Simulated Annealing, Pareto CS has 20

21 III Congresso de Matemática Aplicada e Computacional do Sudeste achieved superior performance in terms of solution quality in most instances. The Pareto CS found better Pareto fronts in all instances tested than the Pareto Simulated Annealing. The computational time were satisfactory, finding good solutions in a reasonable time. 15:20: Utilização de algoritmo genético na resolução dos problemas portuários unindo alocação de berços e atribuição e agendamento de guindastes Autores: José Leonardo Takahashi (Unicamp), Aníbal Tavares Azevedo (Unicamp) Resumo: O presente trabalho tem como finalidade a introdução de uma ferramenta que auxilia o gerenciamento de um porto, buscando encontrar uma solução para o problema de alocação de navios em berços distintos vinculado aos problemas de designação e movimentação de guindastes de descarregamento entre as seções dos navios. Para tal, serão utilizadas diversas bases teóricas relacionadas a problemas portuários para a criação de um novo modelo. A observação de padrões e características reais serão relevantes à pesquisa. A pesquisa possui caráter aplicado, pois envolve a criação de uma ferramenta que auxiliará na resolução de casos específicos para cada tipo de porto. As variáveis de decisão e os resultados gerados serão de caráter quantitativo, onde será possível avaliar facilmente melhores resultados ou características a serem mantidas. Este estudo irá explorar como se comporta o tempo de processamento de navios em relação não apenas ao número de guindastes alocados, mas também à posição de cada guindaste em certa seção do navio. Esta mecânica será implementada de maneira a otimizar a ordem de atendimento dos navios em cada berço, resolvendo, assim, vários problemas portuários, tais como: BAP (Berth Allocation Problem) QCAP (Quay Crane Assignment Problem) QCSP (Quay Crane Scheduling Problem). Para tal, será necessário assumir algumas premissas que simplificarão o problema, mas que não afetará o uso desta ferramenta para exemplos reais. O problema contempla a resolução de BAP com algoritmo genético (AG). Os demais problemas (QCAP e QCSP) são resolvidos durante a avaliação do AG por meio de regras de alocação e movimentação. A ferramenta criada se mostrou hábil para resolução de instâncias aleatórias com restrições fortes. O principal objetivo do experimento foi cumprido, representando a elaboração de um mecanismo de resolução de instâncias abordando tanto o problema 21

22 Vitória, ES, 5 a 8 de setembro de 2015 de alocação de berços, como o problema de alocação e movimentação de guindastes de descarregamento. Para trabalhos futuros será necessária a introdução do pátio de descarregamento, assim como a elaboração de mais regras de movimentação de guindastes. MS2: Condições de Otimalidade em Otimização e Controle Ótimo Coordenadores: Valeriano A. de Oliveira (Ibilce/Unesp) e Lucelina B. Santos (UFPR) Resumo: Uma grande variedade de problemas de nosso dia-a-dia podem ser modelados como programas de Otimização ou de Controle Ótimo. Este é um fato bem conhecido e é desnecessário citar aqui uma série de referências sobre o assunto. Após a obtenção dos modelos, naturalmente, é necessário resolvê-los. A determinação das soluções é quase sempre apoiada por métodos computacionais. A eficiência destes métodos depende fundamentalmente de bons resultados teóricos sobre problemas de otimização, como por exemplo, as condições de otimalidade. Neste minissimpósio trataremos de condições de otimalidade tanto necessárias quanto suficientes. Abordaremos problemas de otimização em espaços de intervalos, problemas em que os funcionais que os definem podem assumir valores intervalares. Tais problemas são importantes em situações onde há incertezas nos dados coletados para a modelagem do problema. A teoria de espaços intervalares é relativamente nova, os primeiros trabalhos são da década de 50. Ultimamente muitos pesquisadores têm se voltado para problemas de otimização intervalares, de modo que o assunto é bastante pertinente para um minissimpósio no CMAC. Além dos problemas intervalares citados acima, vamos também tratar de problemas de controle ótimo, problemas com restrições cônicas, isto é, definidas por meio de cones, e problemas de otimização multi-objetivo. Estes são problemas, digamos, mais clássicos, mas não menos importantes, tanto do ponto de vista teórico quanto das aplicações. No que diz respeito aos problemas com restrições cônicas, o trabalho a ser apresentado considera problemas não-regulares. Condições necessárias e suficientes são obtidas. Condições de otimalidade para problemas não-regulares são importantes quando, por exemplo, nenhuma das condições de qualificação das restrições (constraint qualifications) de primeira ordem é verificada. As condições suficientes são estabelecidas via convexidade generalizada. Esta mesma ferramenta é também utilizada na obtenção das condições suficientes de otimalidade para um problema de controle ótimo multi-objetivo. Neste trabalho sobre controle ótimo multi-objetivo, os autores 22

23 III Congresso de Matemática Aplicada e Computacional do Sudeste também fazem um estudo estabelecendo relações entre o conjunto de soluções do problema com múltiplos objetivos e um problema escalar associado, o chamado método da escalarização. Convexidade generalizada é usada ainda em um outro trabalho, que traz alguns resultados de dualidade para problemas de programação não-linear multi-objetivo e para problemas de programação não-linear com tempo contínuo. Os resultados clássicos sobre dualidade são, normalmente, estabelecidos sob hipóteses restritivas de convexidade. Resultados desta natureza com hipóteses mas fracas são sempre relevantes na teoria de otimização. Segunda-feira, 7 de setembro de :00-11:00 - Sala :00: Robust and level-continuous functions: An approach via optimal points Autores: Heriberto Román-Flores, Yurilev Chalco-Cano Resumo: The class of level-continuous fuctions has been extensively studied in the last years, specially in the area of convergence of upper semicontinuous (usc) functions and characterization of local maximum points of usc-functions. In this work, we extend some analogous topological and geometric properties of usc-functions for a more general class of robust functions. Some additional comments about the equivalence of set-convergences on the class of robust functions are also presented. Support: Grants and , Fondecyt-Chile. 09:30: Single level derivative for interval-valued functions Autores: Ulcilea A.S. Leal, Gino Maqui, Geraldo N. Silva, Weldon Lodwick Resumo: This work uses a recently proposed single level difference for intervals to introduce and study single level differentiability in interval-valued functions, and also show how this derivative relates to other derivatives proposed in recent literature. Furthermore, to illustrate the calculation of the single level derivative several examples are also shown. Support: Grant 2012/ and 2013/ , FAPESP, / and /2013-3, CNPq, and BEX 11153/13-0, Capes. 10:00: Interval optimization in generalized interval vector spaces Autores: Geraldo N. Silva, Tiago M. Costa, Yurilev Chalco-Cano, Weldon A. Lodwick Resumo: This paper presents a method for endowing the generalized interval space with some different structures, such as vector spaces, order relations and 23

24 Vitória, ES, 5 a 8 de setembro de 2015 an algebraic calculus. With these concepts we formulate interval optimization problems and relate them to classic multi-objective optimization problems. We also present a version of the Von Neumann s Mini-max Theorem in the interval context. Support: Grant 2013/ , São Paulo Research Foundation (FAPESP); grants / and /2012-4, National Council for Scientific and Technological Development (CNPq). 10:30: Multiobjective interval-valued programming problem Autores: Yurilev Chalco-Cano, Rafaela Osuna-Gómez Resumo: In this work we devoted to necessary and sufficient optimality conditions for interval optimization problems with multiple objectives and feasible set defined by interval constraints too. We introduced a new concept of Fritz-John and Kuhn-Tucker points for an interval-valued programming problem based on the gh-derivative. We show the novelty and importance of these concepts from a practical and computational point of view. Support: Grant , Fondecyt-Chile. Terça-feira, 8 de setembro de :00-11:00 - Sala :00: WD-invexity for continuous-time and multiobjective nonlinear programming problems Autores: Lucelina B. Santos, Valeriano A. de Oliveira, Camila Isoton, Marko Rojas-Medar Resumo: The concept of WD-invexity was recently introduced for nonlinear programming problems with inequality constraints. For such problems, a dual problem was proposed and the following result was established: the primal problem is WD-invex if and only if the pair of primal-dual problems satisfies the weak duality property. In this work, we discuss the notion of WD-invexity for two other types of non-linear programming problems: the multiobjective problem and the continuous-time problem. We obtained similar results as in [V.I. Ivanov, Duality in nonlinear programming, Optimization Letters (2012), 16 pages, DOI /s ]. 09:30: Generalized convexity for non-regular optimization problems with conic constraints Autores: Marko Rojas-Medar, Beatriz Hernández-Jiménez, Rafaela Osuna- Gómez, Lucelina B. Santos Resumo: In non-regular problems the classical optimality conditions are 24

25 III Congresso de Matemática Aplicada e Computacional do Sudeste totally inapplicable. It is well known that generalized convexity notions play a very important role in optimization for establishing optimality conditions. In this paper we give the concept of Karush Kuhn Tucker point to rewrite the necessary optimality condition known in the 2-regular case and the appropriate generalized convexity notions to show that the optimality condition is both necessary and sufficient to characterize optimal solutions set for non-regular problems with conic constraints. The results that exist in the literature up to now, even for the regular case, are particular instances of the ones presented here.. Support: Grant , Fondecyt-Chile. 10:00: Sufficient optimality conditions for optimal control problems with multiple objectives Autores: Valeriano A. de Oliveira, Geraldo N. Silva Resumo: This work is devoted to presenting optimality conditions for the sufficiency of the maximum principle for multiobjective optimal control problems with nonsmooth data. Such conditions are the most general as possible in the sense that problems in which the set of necessary conditions from the maximum principle are also sufficient, necessarily obey them. A variation of such conditions is also presented, under which the set of optimal solutions of the multiobjective problem can be determined by resolving a related scalar weighting problem. The notion of MP-pseudoinvexity is generalized to include nonsmooth multiobjective optimal control problems. It is showed that every extremal process is optimal if, and only if, the problem is MP-pseudoinvex. The concept of MP-invexity is introduced and some results on the so called scalarization method are established. This method consists in associating a mono-objective problem to the multiobjective one, where the objective function is a weighted sum of the coordinates of the vector-valued objective function. It was proved that when the multiobjective problem is MP-invex, an optimal solution of the multiobjective problem is an optimal solution of the weighted scalar problem, and conversely.. Support: Grant 2013/ , São Paulo Research Foundation (FAPESP); grants /2014-4, /2013-3, and /2012-4, National Council for Scientific and Technological Development (CNPq). 10:30: Discussão 25

26 Vitória, ES, 5 a 8 de setembro de 2015 Mesa Redonda Domingo, 6 de setembro de :30-19:00 - Auditório Manoel Vereza MR: Universidade e Indústria: uma parceria importante para o desenvolvimento Debatedores: Romes Antonio Borges (UFG), Yuan Jin Yun (UFPR), Antônio Castelo Filho (USP), Jodelson Sabino (Vale S.A.) Resumo: A parceria universidade-indústria é um mecanismo importante no desenvolvimento social e a matemática industrial é fundamental nesse contexto, oferecendo soluções para os mais variados problemas que aparecem nas áreas de engenharia, ciência e indústria. Mediador: Isaac P. Santos (UFES) 26

27 III Congresso de Matemática Aplicada e Computacional do Sudeste Sessões Orais Sala 301 Sábado, 5 de setembro de :00-19:00 ST01 - Análise Aplicada Sessões Orais Sábado 5/9 Coordenador Igor Leite Freire (UFABC) 17:00-17: Simetrias e soluções de equações diferenciais envolvendo o laplaciano infinito com termo forçante não-linear Igor Leite Freire (UFABC) 17:20-17: Single level derivative for interval-valued functions Ulcilea Alves Severino Leal (UFMS); Gino Maqui (UNESP); Geraldo Nunes Silva (UNESP); Weldon A. Lodwick (CU Denver) 17:40-18: Integral de Aumann em escalas temporais Iguer L. D. Santos (UNESP) 18:00-18: Cálculo Intervalar e Matemática Fuzzy Gino Gustavo Maqui Huamán (UNESP); Ulcilea Alves Severino Leal (UFMS); Geraldo Nunes Silva (UNESP) 18:20-18: Regularization of piecewise smooth singularly perturbed systems Pedro Toniol Cardin (UNESP); Jaime Rezende de Moraes (UEMS); Paulo Ricardo da Silva (UNESP) 27

28 Vitória, ES, 5 a 8 de setembro de 2015 Sessões Orais Sala 302 Sábado, 5 de setembro de :00-19:00 ST08 - Matemática Aplicada à Física ST10 - Mecânica dos Fluidos e Aplicações Coordenador Fabiano Petronetto do Carmo (UFES) 17:00-17: Solução da partícula livre 3D através dos métodos de fatorização e de supersimetria Gisele Bosso de Freitas (UNESP); Elso Drigo Filho (UNESP) 17:20-17: On a computational advantageous Voigt Regularization for Geophysical flows Igor Oliveira Monteiro (UFRGS); Carolina Cardoso Manica (UFRGS) 17:40-18: Um novo tipo de método de projeção com diferenças finitas compactas de alta ordem Reis, Gabriela A (USP); Tasso, Italo V M (USP); Souza, Leandro F (USP); Cuminato, Jose A (USP) 18:00-18: Análise e comparação preliminar de fluxos numéricos usuais em sistemas de magneto-hidrodinâmica Daniele Pereira da Silva (UERJ); Margarete Oliveira Domingues (INPE); João Flávio Vieira de Vasconcellos (UERJ); Edgard Freitas Diniz Evangelista (INPE) 28

29 III Congresso de Matemática Aplicada e Computacional do Sudeste Sessões Orais Sala 303 Sábado, 5 de setembro de :00-19:00 ST14 - Otimização Sessões Orais Sábado 5/9 Coordenador Maria Cristina Rangel (UFES) 17:00-17: Testes computacionais de um algoritmo teórico para problemas irrestritos sem derivadas baseado em modelos quadráticos de interpolação com geometria autocorretiva Ivan Xavier Moura do Nascimento (UNICAMP); Sandra Augusta Santos (UNICAMP) 17:20-17: Evolução diferencial melhorada utilizando processamento paralelo aplicado à solução de grandes sistemas lineares Milena Almeida Leite Brandão (UFU); José Laercio Doricio (UFU); Sezimária de Fátima Pereira Saramago (UFU) 17:40-18: PM-pseudoinvexidade Livre Fabiola Roxana Villanueva (UNESP) 18:00-18: Utilização da nova metaheurística Alcateia na identificação de danos estruturais Cleber de Almeida Corrêa Junior (UFF); Rosilene Abreu Portella Corrêa (UFF); Isabela Cristina da Silveira e Silva Rangel (UERJ); Luciano dos Santos Rangel (UERJ); Leonardo Tavares Stutz (UERJ) 29

30 Vitória, ES, 5 a 8 de setembro de 2015 Sessões Orais Sala 304 Sábado, 5 de setembro de :00-19:00 ST17 - Ensino Coordenador José Antônio Salvador (UFSCar) 17:00-17: A matemática no curso de Licenciatura em Química: um mal necessário? Ana Carolina Carius (IFRJ); Ricardo de Souza Lopes Júnior (IFRJ); Willian da Silva Leal (IFRJ) 17:20-17: Notas sobre o Princípio de Saint=Venant Joccitiel Dias da Silva (UFES) 17:40-18: Resolução computacional de Problemas de Probabilidade Lúcio Souza Fassarella (UFES) 18:00-18: Modelagem Matemática e Matemática Aplicada à Educação: uma proposta de iniciação científica no Ensino Médio Luciana Santos da Silva Martino (CP II); Elson Magalhães Toledo (LNCC); Regina Célia P. Leal-Toledo (UFF) 30

31 III Congresso de Matemática Aplicada e Computacional do Sudeste Sessões Orais Sala 301 Domingo, 6 de setembro de :00-11:00 ST02 - Biomatemática Coordenador Paulo Mancera (UNESP) 10:00-10: Modelo matemático simples de angiogênese tumoral com protocolos de quimioterapia Rafael Trevisanuto Guiraldello (UNESP); Marcelo Lobato Martins (UFV); Paulo Fernando de Arruda Mancera (UNESP) 10:20-10: Modelagem da influência da nicotina no foco de atenção Karine Guimarães (LNCC); Daniele Q. M. Madureira (LNCC) 10:40-11: Modelos matemáticos para manejo integrado da Grapholita molesta na cultura do pessegueiro Elisa Regina Cara (UFRGS); Maria Cristina Varriale (UFRGS) Sessões Orais Domingo 6/9 31

32 Vitória, ES, 5 a 8 de setembro de 2015 Sessões Orais Sala 302 Domingo, 6 de setembro de :00-11:00 ST05 - Controle e Teoria de Sistemas Coordenador Igor Leite Freire (UFABC) 10:00-10: Controle ativo de vibrações utilizando lógica Fuzzy em um rotor flexível com atuadores eletromagnéticos Daniel Almeida Colombo (UTFPR); Erik Taketa (UTFPR); Renan Franco Corrêa (UTFPR); Edson Hideki Koroishi (UTFPR); Fabian Andres Lara Molina (UTFPR) 10:20-10: Teoria de Lyapounov em domínios estratificados Paola Geovanna Patzi Aquino (UNESP); Geraldo Nunes Silva (UNESP) 10:40-11: Regulação de velocidade do motor a relutância chaveado empregando controlador Fuzzy Márcio Rodrigues da Cunha Reis (UFG); Wanderson Rainer Hilário de Araújo (UnB); Weslley Pacheco Calixto (IFG) 32

33 III Congresso de Matemática Aplicada e Computacional do Sudeste Sessões Orais Sala 303 Domingo, 6 de setembro de :00-11:00 ST12 - Métodos Numéricos e Aplicações Coordenador Frederico Campos Filho (UFMG) 10:00-10: Um modelo do Método dos Volumes Finitos com malha não estruturada Antônio Manoel Ferreira Frasson (UFES); Julio Tomas Aquije Chacaltana (UFES); Carlos Friedrich Loeffler (UFES) 10:20-10: Comparação de desempenho entre o Método dos Elementos de Contorno com Integração Direta e o Método dos Elementos Finitos em problemas de Poisson Carlos Friedrich Loeffler Neto (UFES); Luciano de Oliveira Castro Lara (UFES); Hércules de Melo Barcelos (UFES) 10:40-11: Procedimento recursivo do Método dos Elementos de Contorno Aplicado em Problemas de Poisson Vinicius Erler de Sousa Ramos (IFES); Carlos Friedrich Loeffler (UFES) Sessões Orais Domingo 6/9 33

34 Vitória, ES, 5 a 8 de setembro de 2015 Sessões Orais Sala 304 Domingo, 6 de setembro de :00-11:00 ST13 - Modelagem Matemática e Aplicações Coordenador João Frederico Meyer (Unicamp) 10:00-10: A time-complementarity index for multiple energy sources based on power availability functions Elizandro Max Borba (UFRGS); Renato Machado de Brito (UFRGS) 10:20-10: Otimização de problemas integrados na indústria papeleira Sônia Cristina Poltroniere (UNESP); Silvio Alexandre de Araujo (UNESP); Kelly Cristina Poldi (UNICAMP) 10:40-11: Modelamento não linear de dois elos de um robô eletromecânico de cinco graus de liberdade José Antonio Riul (UFPB); Paulo Henrique de Miranda Montenegro (UFPB) 34

35 III Congresso de Matemática Aplicada e Computacional do Sudeste Sessões Orais Sala 306 Domingo, 6 de setembro de :00-11:00 ST14 - Otimização Coordenador Edmar Hell Kampke (UFES) 10:00-10: A GRASP algorithm with Path Relinking for the University courses timetabling problem Edmar Hell Kampke (UFES); Walace de Souza Rocha (UFES); Maria Claudia Silva Boeres (UFES); Maria Cristina Rangel (UFES) 10:20-10: Uma solução híbrida para o Método dos Gradientes Conjugados Não-Linear Leonardo Castro da Silva (UFRJ); Luziane Ferreira de Mendonça (UFRJ) 10:40-11: MP-Pseudo Invexidade em problemas de Controle Ótimo com condições de contorno Funcionais John Frank Matos Ascona (UNESP); Lizet Santa Cruz Calderón (UNESP); Valeriano Antunes de Oliveira (UNESP) Sessões Orais Domingo 6/9 35

36 Vitória, ES, 5 a 8 de setembro de 2015 Sessões Orais Sala 302 Segunda-feira, 7 de setembro de :00-11:00 ST01 - Análise Aplicada Coordenador Júlio Cesar Santos Sampaio (UFABC) 10:00-10: Simetrias e soluções de equações diferenciais evolutivas envolvendo o laplaciano infinito Márcio Fabiano da Silva (UFABC); Igor Leite Freire (UFABC); Antonio Cândido Faleiros (UFABC) 10:20-10: Polinômios ortogonais no círculo unitário : coeficientes de Verblunsky associados a sequências reais de sinal alternante C. F. Bracciali (UNESP); J. S. Silva (UNESP); A. Sri Ranga (UNESP); D. O. Veronese (UNESP) 10:40-11: Limitantes para os zeros extremos de determinados polinômios para-ortogonais Alagacone Sri Ranga (UNESP); Daniel Oliveira Veronese (UNESP) 36

37 III Congresso de Matemática Aplicada e Computacional do Sudeste Sessões Orais Sala 303 Segunda-feira, 7 de setembro de :00-11:00 ST02 - Biomatemática Coordenador Paulo Mancera (UNESP) 10:00-10: Modelo para as interações entre células de defesa contra o HIV Edilson F. Arruda (UFRJ); Claudia M. Dias (UFRRJ); Dayse Haime Pastore (CEFET/RJ); Roberto Carlos A. Thomé (CEFET/RJ); Hyun M. Yang (UNICAMP) 10:20-10: An approach via fuzzy systems for dynamics and control of the soybean aphid Magda da Silva Peixoto (UFSCar); Laécio Carvalho de Barros (UNICAMP); Rodney Carlos Bassanezi (UNICAMP); Odair Aparecido Fernandes (UNESP) 10:40-11: A general discrete patches approach to investigate the populational dynamics of mosquitoes and humans in Dengue Fernando Luiz Pio dos Santos (UNESP) Sessões Orais Segunda 7/9 37

38 Vitória, ES, 5 a 8 de setembro de 2015 Sessões Orais Sala 304 Segunda-feira, 7 de setembro de :00-11:00 ST11 - Métodos Estocásticos e Estatísticos Coordenador Andrea M. P. Valli (UFES) 10:00-10: Uso de Modelos Lineares Mistos na análise do efeito de atividade física no nível de glicemia de mulheres na menopausa Nair Cristina Margarido Brondino (UNESP); Eduardo Federighi Baisi Chagas (UNIMAR); Henrique Luiz Monteiro (UNESP) 10:20-10: Análise de desempenho em Filas M/M/1 usando uma abordagem Bayesiana Márcio A. C. Almeida (UFMG); Frederico R. B. Cruz (UFMG) 10:40-11: Sobre a detecção de autocorrelações em Séries Temporais: uma comparação objetiva entre Análise de Flutuações, Transformações Wavelet e Análise Entrópica. Adriana Camila Braga (UTFPR); Ademir Alves Ribeiro (UFPR); Manoel Messias Alvino de Jesus (UTFPR); Haroldo Valentin Ribeiro (UTFPR) 38

39 III Congresso de Matemática Aplicada e Computacional do Sudeste Sessões Orais Sala 306 Segunda-feira, 7 de setembro de :00-11:00 ST13 - Modelagem Matemática e Aplicações Coordenador Rubens de Figueiredo Camargo (UNESP) 10:00-10: Equação diferencial de Bernoulli Fracionária Lislaine Cristina Cardoso (UNESP); Rubens de Figueiredo Camargo (UNESP) 10:20-10: Modelagem Matemática e Computacional do efeito de reverberação de ondas Sonoras Carlos Cesar de Carvalho Covo (UFPR); Paula Rogeria Lima Couto (UFPR) 10:40-11: Simulação computacional do transporte horizontal bidimensional de contaminantes no Rio Macaé através da técnica da Transformada Integral Generalizada Ademilton Luiz Rodrigues de Souza (UERJ); Diego Campos Knupp (UERJ); Pedro Paulo Gomes Watts Rodrigues (UERJ); Antônio José da Silva Neto (UERJ) Sessões Orais Segunda 7/9 39