Baixe o app para aproveitar ainda mais
Prévia do material em texto
PROGRAMA 3 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Introdução Bem vindos ao XXXV CNMAC – Congresso Nacional de Matemática Aplicada e Computacional, evento bienal da SBMAC - Sociedade Brasileira de Matemática Aplicada e Computacional. Em 2014, no período de 8 a 12 de setembro, o CNMAC está sendo realizado no Hotel Praiamar em Natal (RN). Agradecemos aos pesquisadores, professores e estudantes que contribuíram para o sucesso do evento, enviando trabalhos nas diferentes áreas de pesquisa vinculadas à SBMAC. Foram submetidos 735 trabalhos, distribuídos em 17 grandes temas. Após uma criteriosa seleção pelo Comitê Editorial, Comitê Auxiliar e assessores ad hoc, 632 foram aceitos para apresentação nas Sessões Técnicas, Painéis Gerais e de Iniciação Científica. Além das apresentações dos trabalhos aceitos, teremos 13 Conferências, 6 Minicursos, 5 Minissimpósios e 2 Mesas Redondas, selecionados pelo Comitê Científico a partir das propostas recebidas através de chamada pública divulgada para todos os membros da Sociedade e sugestões do Conselho da SBMAC. Dando continuidade a iniciativas realizadas em edições anteriores, também serão realizadas atividades focadas nos estudantes, i.e. o Dia do Estudante, bem como atividades de ensino voltadas para os professores do ensino fundamental. A SBMAC incentiva jovens pesquisadores por meio da concessão do Prêmio Beatriz Neves, para o melhor trabalho de Iniciação Científica, e do Prêmio Odelar Leite Linhares, para a melhor dissertação de Mestrado e a melhor tese de Doutorado. Este ano, concorreram a esses prêmios 15 trabalhos de Iniciação Científica, 45 dissertações de Mestrado e 26 teses de Doutorado, defendidas no período de julho 2012 a março de 2014. Agradecemos a todos os membros do Comitê Organizador pela dedicação para fazer desse evento um sucesso. Somos gratos à Diretoria e Secretaria da SBMAC pela realização de diversas tarefas relacionadas com a organização do XXXV CNMAC. Destacamos e agradecemos a colaboração dos nossos colegas que, gentilmente, contribuíram na avaliação dos trabalhos submetidos aos prêmios e às Sessões Orais e de Painéis, além dos textos dos Minicursos. Finalmente, agradecemos também os recursos financeiros concedidos pelas seguintes instituições: CNPq, CAPES, UFRN, INEP e Wolfram. Esses auxílios foram imprescindíveis para a concretização do XXXV CNMAC. Sejam bem-vindos ao XXXV CNMAC e esperamos que o evento seja proveitoso para todos. Desejamos que os laços de amizade e profissionais já estabelecidos sejam fortalecidos e que novas parcerias sejam iniciadas a partir dos contatos estabelecidos durante o evento. Natal, setembro de 2014 Comitê Organizador Comitê Científico 4 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Comissões Diretoria Antônio José da Silva Neto (IPRJ/UERJ) - Presidente Sandra Mara Cardoso Malta (LNCC) - 1º Vice-Presidente Liliane Barichello (UFRGS) - 2º Vice-Presidente Geraldo Diniz (UFMT) - Secretário Geral Maria do Socorro Nogueira Rangel (UNESP) - 1º Secretário João Frederico da Costa Azevedo Meyer (UNICAMP)- 2º Secretário José Antônio Salvador (UFSCar) - Tesoureiro Conselho Antônio Castelo Filho (USP) Eliana Xavier Linhares de Andrade (UNESP) Geraldo Nunes Silva (UNESP) Graçaliz Pereira Dimuro (FURG) Helena Nussenzveig Lopes (UFRJ) Helenice Oliveira Florentino Silva (UNESP) José Manoel Balthazar (UNESP) Messias Meneguette Jr. (UNESP) Paulo Mancera (UNESP) Rubens Sampaio (PUC/Rio) Coordenadores das Divisões Regionais Antônio Roberto Balbo (UNESP) Fernando Luiz Pio dos Santos (UNESP) Daniel Norberto Kozakevich (UFSC) Francisco Bruno Souza Oliveira (UESC) Márcio Antonio de Andrade Bortoloti (UESB) Heloisa Helena Marino Silva (UNESP) Silvely Nogueira de Almeida Salomão Néia (UNESP) Igor Leite Freire (UFABC) João Batista da Paz Carvalho (UFRGS) Rosana M. L. Kripka (UPF) João Carlos da Rocha Medrado (UFG) Tania Schmitt (UnB) Márcia Maria de Castro Cruz (UFRN) Marcus da Costa Rocha (UFPA) Simone Delphim Leal (UNIFAP) Marcio Aldo Lobato Bahia (UNIFAP) Mateus Bernardes (UTFPR) Max Oliveira de Souza (UFF) Murilo Pereira de Almeida (UFC) Roberto Affonso da Costa Júnior (UNIFEI) Homero Ghioti da Silva (UFU) Secretaria Andrea A. Ribeiro Talita Ribeiro Gagliardi 5 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Comissões CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Comitês Coordenador Geral Sandra Mara Cardoso Malta (LNCC) Comitê Organizador Antônio Castelo Filho (USP/S.Carlos) César Guilherme de Almeida (UFU) Eliana Xavier Linhares de Andrade (UNESP) Geraldo Lúcio Diniz (UFMT) Maria do Socorro Nogueira Rangel (UNESP) Tania Schmitt (UnB) Comitê Local (UFRN) Marcia Maria de Castro Cruz (Coordenadora) Marcelo Ferreira Siqueira Elaine Pimentel Júlia Victória Toledo Benavides Viviane Klein Davi Armando Zavalleta Izan de Castro Leão Regivan Hugo Nunes Santiago Jeanete Alves Moreira Liliane dos Santos Gutiere Fernando Guedes Cury Comitê Científico Alagacone Sri Ranga (UNESP) (Coordenador) Antonio Leitão (UFSC) Helena Judith Nussenzveig Lopes (UFRJ) Jorge Passamani Zubelli (IMPA) José Alberto Cuminato (USP/S. Carlos) Regivan Hugo Nunes Santiago (UFRN) Rubens Sampaio (PUC-Rio) Comitê dos Prêmios Renato Portugal (LNCC) (Presidente) Milton Lopes (UFRJ) (Coordenador Prêmio Doutorado) Graçaliz Dimuro (FURG) (Coordenador Prêmio Mestrado) Rogério R. de Vargas (FURG) Geraldo Diniz (UFMT) Vanilde Bisognin (UNIFRA) (Coordenador Prêmio IC) José Marcos Lopes (Unesp) Comitê Editorial das Notas em Matemática Aplicada Fernando Rodrigo Rafaeli (UFU) (Editor-Chefe) Vanessa Avansini Botta Pirani (UNESP) (Editora-Adjunta) Alexandre Loureiro Madureira (LNCC) Edson Luiz Cataldo Ferreira (UFF) Jorge Manuel Vieira Capela (UNICAMP) Sandra Augusta Santos (UNICAMP) 6 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Comissões Comitê Editorial dos Anais Igor Leite Freire (UFABC) (Presidente) Fabio Antonio Dorini (UTFPR) Luiz Alberto Diaz Rodrigues (UFSM) Licio Hernanes Bezerra (UFSC) Marcello Goulart Teixeira (UFRJ) Maria do Socorro Nogueira Rangel (UNESP) Luciano Barbanti (UNESP) Saulo Pomponet Oliveira (UFPR) Comitês Auxiliares Análise e Aplicações Igor Leite Freire (UFABC) Sandra Mara Cardoso Malta (LNCC) Biomatemática Lucy Tiemi Takahashi (UFJF) Maria Cristina Varriale (UFRS) Norberto Anibal Maidana (UFABC) Rosana Sueli da Motta Jafelice (UFU) Computação Científica, Computação Gráfica e Modelagem Matemática e Aplicações Mauro Antonio Rincon (UFRJ) Luziane Ferreira de Mendonça (UFRJ) Juliana Vianna Valério (UFRJ) João Antonio Paixão (UFRJ) Controle e Teoria de Sistemas, Matemática Aplicada à Engenharia, Matemática Aplicada à Física Berenice Camargo Damasceno (Unesp) Ernandes Rocha de Oliveira (Unesp) Edison Righetto (Unesp) Erica Regina Daruichi Machado (Unesp) Matemática Aplicada à Economia e Finanças, Métodos Estocásticos e Estatísticos Denise de Siqueira (UTFPR) João Luis Gonçalves (UTFPR) Roy Wilhelm Probst (UTFPR) André Fabiano Steklain Lisboa (UTFPR) Matemática Discreta, Problemas Inversos e Processamento de Sinais Marcelo Sobottka (UFSC) Eduardo Garibaldi (Unicamp) Marcio Holsbach Costa (UFSC) Antonio Castelo Filho (USP-São Carlos) Mecânica dos Fluidos e Aplicações, Métodos Numéricos e Aplicações Claudia Mazza Dias (UFRRJ) Juarez dos Santos Azevedo Gustavo Benitez Alvarez (UFRB) Paula Rogeria Lima Couto (UFPR) Otimização Aurélio Ribeiro Leite de Oliveira (Unicamp) Silvio Alexandre Araújo (Unesp) Deisemara Ferreira (UFSCar-Sorocaba) Franklina Toledo (USP-São Carlos) Ensino Bruna Lammoglia (IFSP-Salto) José Marcos Lopes (Unesp) 7 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Sumário Programação ������������������������������������������������������������������������ 8 Salas �����������������������������������������������������������������������������������9 Localização das Salas ������������������������������������������������������������11 Prêmios SBMAC ��������������������������������������������������������������������12 Conferências ������������������������������������������������������������������������14 Mesas-Redondas ������������������������������������������������������������������20 Minissimpósios ���������������������������������������������������������������������21 Minicursos ���������������������������������������������������������������������������26 Sessões Técnicas - Orais �������������������������������������������������������30 Sessões Técnicas - Painéis �����������������������������������������������������60 Sessões Técnicas - Painéis Iniciação Científica ��������������������������76 8 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Horário Segunda-feira 08/09 Terça-feira 09/09 Quarta-feira 10/09 Quinta-feira 11/09 Sexta-feira 12/09 08:00-09:50h Entrega de Material (8:00-9:00h) (9:00-11:00h) Abertura Oficial Entrega Título de Sócio Honorário Entrega de Prêmios MC1, MC2, MC3 MC 1, MC2, MC3 (8-9h) Sessões Técnicas ST3, ST7, ST9, ST11, ST12, ST13, ST14, ST16,ST17 MC1, MC2, MC3 Sessões Técnicas ST1, ST2, ST7, ST12, ST13, ST14 Sessões Técnicas ST1, ST2, ST7, ST12, ST13, ST14 Sessões Técnicas ST1, ST5, ST6, ST9, ST11, ST12 Dia do Estudante (8-9h) Painéis de IC ST7, ST12, ST13, ST15, ST16, ST17 (9-10h) C9 João Portinari 10:00-11:00h C4 Rubens Daniel Spies C7 Yuan Xu C10 Yuan Jin Yun C13 Frederic ValentinC5 Helio Cortes Vieira Lopes C8 Sandra Augusta Santos 11:00-12:30h Conferência de Abertura C1 Carlos Antônio de Moura Sessões Técnicas ST1, ST2, ST7, ST8, ST13, ST14, ST15 Sessões Técnicas ST1, ST2, ST3, ST7, ST8, ST11, ST13, ST14, ST15, ST17 MR2 Matemática Industrial: o que é isso? Sessões Técnicas ST1, ST9, ST10, ST14, ST15, ST16, ST17 Encerramento 12:30-14:00h Almoço 14:00-16:00h MS5 MC4, MC5, MC6 MC4, MC5, MC6 MC4, MC5, MC6 Premiados (14-15:15h) Prêmio Beatriz Neves (1º,2º,3º Lugares) Prêmio Odelar Leite Linhares - Mestrado MS1, MS2, MS3, MS4, MS5 MS1, MS2, MS3 Sessões Técnicas ST1, ST4, ST5, ST7, ST9, ST10, ST13 (15:15-16h) C2 Pedro Augusto Munari Junior Prêmio Odelar Leite Linhares - Doutorado 16:00-16:30h Café 16:30-17:30h Painéis Gerais ST4, ST6, ST7, ST8, ST10, ST11, ST16 Painéis de IC ST2, ST3, ST5, ST6, ST7, ST17 Painéis Gerais ST1, ST2, ST3, ST13, ST14 Painéis de IC ST1, ST4, ST8, ST9, ST10, ST11, ST14 Painéis Gerais ST5, ST12, ST13, ST16, ST17 C11 Antonio Castelo Filho MS1, MS2, MS4 MS1, MS2 C12Sergio Bellizzi 17:30-18:30h C3Michael Morrison C6 Madras V� Gandhi Mohan MR1 Formação de Professores de Matemática no Contexto Atual Assembléia Geral 19-22h CE1 Rodney Carlos Bassanezi (19-20:00h) MCE1, MCE2 (19-20:30h) CE2 Marcos César Pereira (19-20h) MCE1, MCE2 (19-20:30h) MCE1 e MCE2 (20-21:30h) 20:30h Coquetel de Recepção Jantar (adesão) Legenda: C - Conferência, CE - Conferência de Ensino, MC - Minicurso, MCE - Minicurso de Ensino, MS - Minissimpósio, MR - Mesa Redonda, ST - Sessão Técnica (área)� Programação 9 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Sala Jacaranda 1 Horário segunda (08/09) terça (09/09) quarta (10/09) quinta (11/09) sexta (12/09) 08h-09 h 09-10 h C9 10-11 h C4 C7 C10 C13 11-12:30 h C1 MR2 14h-15:15 h Premios IC e Mestrado 15:15-16:00 h C2 16:30-17:30 h C11 17:30-18:30 h C3 C6 MR1 19:00 h CE1 MCE1 CE2 MCE1 20:00 h MCE1 Sala Jacaranda 2 Horário segunda terça quarta quinta sexta 08h-10 h Painéis IC 10-11 h C5 C8 11-12:30 h 14-16 h 16:30-17:30 h C12 17:30-18:30 h 19:00 h MCE2 MCE2 20:00 h MCE2 Sala Flamboyant 1 Horário segunda terça quarta quinta sexta 08h-10 h ST2 ST2 ST9 ST9 11-12:30 h ST2 ST2 ST9 14-16 h MS3 MS3 ST9 16:30-17:30 h Sala Flamboyant 2 Horário segunda terça quarta quinta sexta 08h-10 h ST14 ST14 ST14 ST5 11-12:30 h ST14 ST14 ST14 14-16 h MS4 ST5 16:30-17:30 h MS4 17:30-18:30 h Assembléia SBMAC Sala Álamo 1 Horário segunda terça quarta quinta sexta 08h-10 h ST11 ST11 11-12:30 h ST11 ST10 14-16 h ST10 Legenda: C - Conferência, CE - Conferência de Ensino, MC - Minicurso, MCE - Minicurso de Ensino, MS - Minissimpósio, MR - Mesa Redonda, ST - Sessão Técnica (área)� SalasProgramação 10 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Salas Sala Álamo 2 Horário segunda terça quarta quinta sexta 08h-10 h ST12 ST12 ST12 ST12 11-12:30 h ST15 ST15 ST15 14-16 h ST4 Sala Cedro 1 Horário segunda terça quarta quinta sexta 08h-10 h MC1 MC1 ST17 MC1 11-12:30 h ST17 ST17 14-16 h MC4 MC4 MC4 Sala Cedro 2 Horário segunda terça quarta quinta sexta 08h-10 h MC2 MC2 ST3 MC2 11-12:30 h ST3 14-16 h MC5 MC5 MC5 Sala Cedro 3 Horário segunda terça quarta quinta sexta 08h-10 h MC3 MC3 ST16 MC3 11-12:30 h ST8 ST8 ST16 14-16 h MC6 MC6 MC6 Sala Cedro 4 Horário segunda terça quarta quinta sexta 08h-10 h ST1 ST1 ST1 11-12:30 h ST1 ST1 ST1 14-16 h MS5 MS5 ST1 Sala Cedro 5 Horário segunda terça quarta quinta sexta 08h-10 h ST7 ST7 ST7 ST6 11-12:30 h ST7 ST7 14-16 h MS1 MS1 ST7 16:30-17:30 h MS1 MS1 Sala Cedro 6 Horário segunda terça quarta quinta sexta 08h-10 h ST13 ST13 ST13 11-12:30 h ST13 ST13 14-16 h MS2 MS2 ST13 16:30-17:30 h MS2 MS2 Area de Exposição Horário Segunda terça quarta quinta sexta 08h-10 h 11-12:30 h 14-16 h 16:30-17:30 h Painéis Gerais Painéis Gerais Painéis Gerais Paineis IC Paineis IC Legenda: C - Conferência, CE - Conferência de Ensino, MC - Minicurso, MCE - Minicurso de Ensino, MS - Minissimpósio, MR - Mesa Redonda, ST - Sessão Técnica (área)� 11 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Localização das SalasSalas R. Rodolfo Beuttenmüller Sa la C ed ro 1 Sa la M og no Sa la Ja ca ra nd á Sa la Fl am bo ya nt Sa la Á la m o Sa la Ip ê A m ar el o Sa la Ip ê Ro sa 2 3 4 5 6 1 1 1 2 2 G al er ia A cá ci a A ce ss o ao s A pa rt am en to s A ce ss o ao R es ta ur an te A ce ss o a Á re a de E xp os iç õe s e ao P ar qu e A qu át ic o W C W C El ev ad or En tr ad a Ce nt ro de E ve nt os 2 3 4 5 12 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Prêmio Beatriz Neves Prêmio de Iniciação Científica da SBMAC Prêmio Beatriz Neves A SBMAC instituiu o Prêmio Beatriz Neves (1935-1986) para incentivar a participação dos alunos de Graduação em atividades de Iniciação Científica no âmbito de Matemática Aplicada e Computacional. O prêmio é concedido a cada dois anos e é entregue durante o CNMAC� Prêmio de Pós-Graduação da SBMAC (categoria Mestrado e Doutorado) Prêmio Odelar Leite Linhares São concedidos, anualmente, à melhor tese de Doutorado e à melhor dissertação de Mestrado submetidas à Comissão Julgadora de cada prêmio� Periodicamente, a SBMAC presta homenagem a pessoas que deram uma contribuição significativa para a Sociedade com a nomeação deste prêmio. Desde 2006, o homenageado tem sido o Prof� Odelar Leite Linhares (1926-2005), que foi um dos fundadores e o primeiro Presidente da SBMAC� Coordenador Geral do Comitê dos Prêmios Renato Portugal Coordenadores da Comissão Julgadora: Doutorado: Milton da Costa Lopes Filho Mestrado: Graçaliz Pereira Dimuro Iniciação Científica: Vanilde Bisognin Colaboradores: Marcio Murad Carlos Tomei José Marcos Lopes (UNESP) Rogério Rodrigues de Vargas Geraldo Lúcio Diniz (UFMT) Prêmio de Iniciação Científica - Beatriz Neves 1º Lugar Anna Claudia Mello de Resende (UFJF) Modelagem e Simulação de Problemas de Crescimento Tumoral Orientador: Regina Célia Cerqueira de Almeida 2º Lugar MarlonSproesser Mathias (USP-São Carlos) Aeroacústica de Emparelhamento de Vórtices em Esteiras Assimétricas Orientador: Marcello Augusto Faraco de Medeiros 3º Lugar Lucas Campanari Simplício dos Santos (USP-SP) Controle e Sincronização em Redes Neurais Oscilatórias e a Codificação de Informações Dinâmicas Orientador: Elbert E� N� Macau 13 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Prêmio Odelar Leite Linhares Mestrado Tomás Luís Guimarães Chor Novas novas soluções analíticas para a equação não-linear de Boussinesq para águas subterrâneas Orientador: Nelson Luís da Costa Dias Universidade Federal do Paraná - Programa de Pós-Graduação em Engenharia Ambiental Menção honrosa Phablo Fernando Soares Moura Recoloração convexa de grafos: algoritmos e poliedros Orientadora: Yoshiko Wakabayashi Universidade de São Paulo - Instituto de Matemática e Estatística Doutorado Pedro Augusto Munari Junior Aspectos teóricos e computacionais para a melhoria do desempenho de métodos de otimização linear Orientador: Marcos Nereu Arenales Co-orientador: Jacek Gondzio Doutorado em Ciências da Computação e Matemática Computacional, USP Menção honrosa Italo Valença Mariotti Tasso Simulação de Membranas Viscosas Orientador: Gustavo Carlos Buscaglia Doutorado em Ciências da Computação e Matemática Computacional, USP Segunda - 08 setembro Sala Jacarandá 1 Coordenador: Renato Portugal Horário Premiado Categoria 14h Anna Claudia Mello de Resende (UFJF) Prêmio Beatriz Neves - 1º Lugar 14h15min Marlon Sproesser Mathias (USP-São Carlos) Prêmio Beatriz Neves - 2º Lugar 14h30min Lucas Campanari Simplício dos Santos (USP-SP) Prêmio Beatriz Neves - 3º Lugar 14h45min Tomás Luís Guimarães Chor Prêmio Odelar Leite Linhares - Mestrado 15h15min Pedro Augusto Munari Junior (UFSCar) Prêmio Odelar Leite Linhares - Doutorado 14 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Conferências Horário segunda terça quarta quinta sexta 09:00-10:00 h – – – C9Sala Jacarandá 1 – 10:00-11:00 h – C4 Sala Jacarandá 1 C5 Sala Jacarandá 2 C7 Sala Jacarandá 1 C8 Sala Jacarandá 2 C10 Sala Jacarandá 1 C13 Sala Jacarandá 1 11:30-12:30 h C1Sala Jacarandá 1 – – – – 15:15-16:00 h C2Sala Jacarandá 1 – – – – 16:30-17:30 h – – – C11 Sala Jacarandá 1 C12 Sala Jacarandá 2 – 17:30-18:30 h C3Sala Jacarandá 1 C6 Sala Jacarandá 1 – – – C1 Matemática Aplicada e Computacional – Com este olhar li Carlos Antônio de Moura – UERJ Coordenador: João Frederico C. A. Meyer Segunda-feira - Sala: Jacarandá 1 - 11:00 - 12:30 h Um passeio de pouco mais de meio século pelos caminhos (e descaminhos) da Matemática Aplicada e Computacional� Uma (re)visão construída: a partir de olhares de fora e de dentro da academia; como orientando e como orientador; aluno e instrutor; autor e revisor; editor e editado; redator e avaliador de projetos� C2 Aspectos teóricos e computacionais para a melhoria do desempenho de métodos de otimização linear Pedro Augusto Munari Junior (1º colocado Prêmio de doutorado) – UFSCar Coordenador: Renato Portugal Segunda-feira – Sala: Jacarandá 1 – 15:15 - 16:00 h Ferramentas de otimização linear são usadas para resolver diversos problemas do nosso dia-a- dia� Os modelos e as metodologias de otimização linear ajudam a obter, por exemplo, a melhor quantidade de ingredientes na nossa alimentação, os horários e as rotas de ônibus e trens que tomamos, e a maneira certa para investir nossas economias� Muitas outras situações que envolvem otimização linear poderiam ser aqui citadas, já que um grande número de empresas em todo o mundo baseia suas decisões em soluções obtidas pelos métodos de otimização linear� Nesta tese, são propostos desenvolvimentos teóricos e computacionais para melhorar o desempenho de métodos de otimização linear� Em particular, serão abordados métodos tipo simplex, métodos de pontos interiores, a técnica de geração de colunas e o método branch-and-price� Em métodos tipo simplex, é investigada uma variante que explora as características especiais de problemas formulados na forma geral� Uma nova descrição teórica do método é apresentada e, também, são propostas técnicas computacionais para a implementação eficiente do método. Além 15 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Conferências disso, propõe-se como utilizar o método primal-dual de pontos interiores para melhorar a técnica de geração de colunas� Isto resulta no método primal-dual de geração de colunas, que é mais estável na prática e tem melhor desempenho geral em relação a outras estratégias de geração de colunas� O método primal-dual de pontos interiores também oferece características vantajosas que podem ser exploradas em conjunto com o método branch-and-price� De acordo com a investigação realizada, estas características melhoram a operação de ramificação e a geração de colunas e de desigualdades válidas. Para todas as estratégias propostas neste trabalho, são apresentados os resultados de experimentos computacionais envolvendo problemas de teste bem conhecidos e disponíveis publicamente� Os resultados indicam que as estratégias propostas ajudam a melhorar o desempenho das metodologias de otimização linear� Em particular para uma classe de problemas, o problema de roteamento de veículos com janelas de tempo, o método branch-and-price de pontos interiores proposto neste estudo foi até 33 vezes mais rápido que uma implementação estado-da-arte disponível na literatura� C3 Wolfram Technology for Teaching and Research Michael Morrison – Wolfram Research Inc. Coordenador: José Antonio Salvador Segunda-feira – Sala: Jacarandá 1 – 17:30 - 18:30 h Learn how to improve your classroom experience and accelerate your research cycle with Mathematica� Learn why Mathematicais used in academia around the world as the ultimate research environment with a look at its high-level and multi-paradigm programming language, support for parallel computing and GPU architectures, built-in functionality for specialized application areas, and multiple publishing and deployment options for sharing your work� C4 New Trends in Regularization Methods for Inverse Ill-Posed Problems Ruben D. Spies - Instituto de Matemática Aplicada del Litoral, IMAL, CONICE-UNL, Facultad de Ingeniería Química, Universidad Nacional del Litoral, Santa Fe, Argentina Coordenador: Geraldo Nunes Silva Terça-feira – Sala: Jacarandá 1 – 10:00 - 11:00 h Several generalizations of the traditional Tikhonov-Phillips regularization method have been proposed during the last two decades� Many of these generalizations are based upon inducing stability throughout the use of different penalizers which allow the capturing of diverse properties of the exact solution (e�g� edges, discontinuities, borders, etc�)� However, in some problems in which it is known that the regularity of the exact solution is heterogeneous or anisotropic, it is reasonable to think that a much better option could be the simultaneous use of two or more penalizers of different nature� Such is the case, for instance, in some image restoration problems in which preservation of edges, borders or discontinuities is an important matter� We will show some results on existence, uniqueness and stability of minimizers for arbitrary penalizers in generalized Tikhonov-Phillips functionals� Also, results on the simultaneous use of weighted spatially varying penalizers of L2 and of bounded variation (BV) type will be shown� Open problems will be discussed and results to signal and image restoration problems will be presented� 16 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Conferências C5 Uncertainty visualization with applications Helio Cortes Vieira Lopes – PUC/RJ Coordenador: Rubens Sampaio Terça-feira – Sala: Jacarandá 2 – 10:00 - 11:00 h In the literature, one can observe that a simple definition of uncertainty does not exist. Hunterand Goodchild define uncertainty as the degree of lack of knowledge about an amount of error. Other way to characterize uncertainty is as accuracy, reliability, precision and consistency� Jef Caers says that uncertainty is caused by an incomplete understanding about what we would like to quantify� The objective of uncertainty analysis is to provide a technical basis to decision making through the quantification of uncertainties in the relevant variables� Thus, decision making and uncertainty modeling produce a combined process, not a sequential set of steps� There exist two research topics that are very related to uncertainty analysis: one is the uncertainty quantification that studies how to quantitative characterize and reduce uncertainties in applications, in other words, it tries to determine how likely certain outcomes are if some aspects of the system are not exactly known; and the other is uncertainty visualization that studies how to visually depict uncertainties. Most scientific papers are expected to include uncertainty information with data that are typically illustrated in 2D graphs� It has been recognized that if it is important in publications it should be also important to visualization� As a consequence, Uncertainty Visualization is listed as one of the ten challenges in visualization� In this talk, I will review the recent developments in Uncertainty Visualization and present new techniques that may help scientific computing researches to present and interpret the uncertainty of their data� C6 The physics and mathematics of normal and anomalous diffusion Madras Viswanathan Gandhi Mohan – UFRN Coordenador: Marcia Maria de Castro Cruz Terça-feira – Sala: Jacarandá 1 – 17:30 - 18:30 h We give an overview of the theory of normal and anomalous diffusion, from Brownian motion to more exotic types of diffusion such as Lévy flights. We discuss applications of these ideas and techniques to a number of problems� We explore the possibility of gaining a new understanding of how animals diffuse� Finally, we conclude by considering the colonization of the island of Madagascar by people who speak an Austronesian language� C7 Approximation and Sobolev Orthogonal Polynomials on Unit Ball Yuan Xu – University of Oregon Coordenador: Cleonice Fátima Bracciali Quarta-feira – Sala: Jacarandá 1 – 10:00 - 11:00 h For the spectral Galerkin method in numerical solution of partial differential equations, we need to understand the approximation by polynomials in the Sobolev spaces� For this purpose, it is necessary to study orthogonal structure of the Sobolev space W_2^r that consists of functions whose derivatives up to r-th order are all in L^2� In this talk, we discuss results on Sobolev orthogonal polynomials in W_2^r for all positive integer r and approximation in the Sobolev space on the unit ball in R^d, and describe sharp estimate for the error of best approximation in the Sobolev space and its application in the spectral Galerkin methods� 17 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Conferências C8 Métodos baseados em regiões de confiança para programação não linear: avanços recentes e perspectivas Sandra Augusta Santos – IMECC/UNICAMP Coordenador: José Alberto Cuminato Quarta-feira – Sala: Jacarandá 2 – 10:00 - 11:00 h Métodos baseados em regiões de confiança constituem uma área de pesquisa relativamente nova para a comunidade de programação não linear� O objetivo desta conferência é destacar avanços recentes destes métodos e colocá-los em perspectiva� Um esquema algorítmico geral estabelece a base com os ingredientes principais dos métodos em questão, bem como a notação relacionada. Abordagens específicas para o tratamento do subproblema de região de confiança são elencadas, especialmente para problemas de grande porte. Contribuições recentes baseadas na técnica de globalização via regiões de confiança são revisadas, incluindo: critérios não monótonos de aceitação do passo para minimização irrestrita; ajuste adaptativo para o raio da região de confiança; a combinação do passo obtido via regiões de confiança com um esquema de busca linear, e o uso de elementos dos modelos via regiões de confiança em algoritmos para otimização livre de derivadas� C9 Candido Portinari: do Cafezal à ONU João Candido Portinari – PUC-RJ Coordenador: Carlos Antônio de Moura Quinta-feira – Sala: Jacarandá 1 – 09:00 - 10:00 h A palestra começa mostrando como a trajetória de Portinari ilustra, literalmente, o famoso ditado do escritor russo Tolstoi: se queres ser universal, começa por pintar a tua aldeia� Seu coruscante itinerário começa em um humilde povoado perdido nas imensas plantações de café do interior do Estado de São Paulo e, após legar ao País um retrato emocionado e grandioso, em mais de cinco mil obras, do povo, da vida e da alma brasileira, vai atingir o seu ápice nos monumentais painéis Guerra e Paz, poderosa mensagem plástica, ética e humanista, presente do Brasil à Organização das Nações Unidas� Ao mesmo tempo, esta palestra focaliza o trabalho de 35 anos do Projeto Portinari, empenhado no levantamento, catalogação, pesquisa e disponibilização da obra e vida do pintor� Sua interface com as áreas de Ciência e Tecnologia, e sua atuação junto às crianças e jovens de todo o País� Em particular, sua conquista mais recente: a concretização de um antigo sonho, durante décadas julgado impossível, de, após obter da ONU a guarda dos originais Guerra e Paz durante o período 2010-2014, trazê-los para restauro e exposição no Brasil, e no exterior� C10 Matemática Industrial Yuan Jin Yun – UFPR Coordenador: Geraldo Nunes Silva Quinta-feira – Sala: Jacarandá 1 – 10:00 - 11:00 h Nesta conferência serão discutidas as mudanças nos programas de pós-graduação decorrentes da criação dos cursos de Matemática Industrial, o que é um matemático industrial, alguns exemplos de atuação e contribuições na indústria� Além disso, será apresentado o desenvolvimento da Matemática Industrial fora e dentro do País. Ao final, apresentaremos um programa nacional, integrado à industria, via matemática� 18 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Conferências C11 Sistemas Computacionais para Simulação de Escoamento de Fluidos: Duas Experiências Antonio Castelo Filho – ICMC/USP Coordenador: Eliana X. Linhares de Andrade Quinta-feira – Sala: Jacarandá 1 – 16:30 - 17:30 h É notória a importância da área de dinâmica dos fluidos computacional no mundo atual, a saber a previsão de tempo e clima; previsão de alagamentos e enchimentos de reservatórios; prospecção, transporte e refino de petróleo; preenchimento de moldes por polímeros, metais e outros fluidos, entre outras� Vários problemas importantes têm como característica a complexidade da geometria e das condições de contorno, como escoamentos com superfícies livres e escoamentos multifásicos� Nesta palestra serão apresentados dois sistemas computacionais para simulação de escoamentos de fluidos: Freeflow e FlexFlow-Solver. O primeiro projetado em meados da década de 90 para principalmente a simulação de escoamentos com superfícies livres e o segundo ainda em desenvolvimento para a simulação de escoamentos multifásicos� Serão apresentados a arquitetura, formas de representação e métodos destes dois sistemas, mostrando suas potencialidades e restrições� C12 Smooth decomposition as an output-only modal analysis tool Sergio Bellizzi – Laboratoire de Mécanique et d’Acoustique, CNRS, France Coordenador: Edson Cataldo Quinta-feira – Sala: Jacarandá 2 – 16:30 - 17:30 h The Karhunen-Loève Decomposition (KLD) method also named Proper orthogonal Decomposition (POD) has been extensively used as a tool for analyzing random fields. The KLD is a statistical analysis technique for finding the coherent structures in an ensemble of spatially distributed data which defines an optimum basis in terms of energy. A modified decomposition,that is not orthogonal in the euclidean sense, named Smooth Decomposition (SD) is considered here� The SD can be viewed as an oblique projection� SD appears to be an interesting tool to modal analysis of random vibrating systems� The parameters of the SD can be interpreted in terms of normal modes and resonance frequencies given access to an analysis of the random problems overcoming the limitations of the POD� The main properties of the SD will be discussed and compared to those of the classical POD� A linear and nonlinear modal analysis will be also proposed and illustrated on several examples� 19 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Conferências C13 Multiscale Hybrid-Mixed Finite Element Methods Frederic Valentin – LNCC Coordenador: Sandra Mara Cardoso Malta Sexta-feira – Sala: Jacarandá 1 – 10:00 - 11:00 h This work proposes a new family of finite element methods for porous media flows, named Multiscale Hybrid-Mixed (MHM) methods� The MHM method is a consequence of a hybridization procedure, and emerges as a method that naturally incorporates multiple scales while provides solutions with high- order precision for the primal and dual variables� The computation of local problems is embedded in the upscaling procedure, which are completely independent and thus may be naturally obtained using parallel computation facilities. Also interesting is that the flux variable preserves the local conservation property using a simple post-processing of the primal variable� The general framework is illustrated for the Darcy equation, and further extended to other operators taking part in the modeling of porous media flows (advection-diffusion and elasticity equations, for instance). The analysis results in a priori estimates showing optimal convergence and robustness (with respect to small parameters) in natural norms and providing a face-based a posteriori estimator. Regarding the latter, we prove that reliability and efficiency hold� Numerical results verify the optimal convergence properties as well as a capacity to accurately incorporate heterogeneity and high-contrast coefficients, showing in particular the great performance of the new a posteriori error estimator in driving mesh adaptativity� We conclude that the MHM method, along with its associated a posteriori estimator, is naturally shaped to be used in parallel computing environments and appears to be a highly competitive option to handle realistic multiscale boundary value problems with precision on coarse meshes� 20 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Mesas-Redondas Horário segunda terça quarta quinta sexta 11:00-12:30h MR2 17:30-18:30h MR1 MR1 - Formação de Professores de Matemática no Contexto Atual 10/09/14: 17:30h-18:30h Debatedores: Alessandro Jacques Ribeiro (UFABC) – Presidente da SBEM Antônio José da Silva Neto (UERJ)- Presidente da SBMAC Marcelo Miranda Viana da Silva (IMPA)- Presidente da SBM Mediadora: Tania Schmitt (UnB) MR2 - Matemática Industrial: O que é isso? 11/09/14: 11:00h-12:30h Debatedores: Francisco Louzada (USP-ICMC) Ricardo Coelho Silva (UFC) Romes Antonio Borges (UFG-Regional Catalão) Mediador: Geraldo Nunes Silva (Unesp) 21 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Minissimpósios Horário segunda terça quarta quinta sexta 14:00-16:00 h MS5 MS1 MS2 MS3 MS4 MS5 MS1 MS2 MS3 16:30-17:30 h MS1 MS2 MS4 MS1 MS2 MS1 - Stochastic Modeling and Quantification of Uncertainties Sala Cedro 5 Coordenadores: Rubens Sampaio (PUC-RIO) e Thiago Ritto (UFRJ) Mais informações em: http://cnmac.com.br/sites/cnmac.com.br/files/mini_simposio_uncertainy_resumos.pdf 09 e 10/09/2014 - 14:00-17:30 h N Título Autores 1 Application of Particle Filter to identify parameters of a nonlinear multibody system, of a three-blade wind turbine dynamics Thiago G Ritto (UFRJ) and Fabio F Real (INMETRO/UFRJ) 2 Robust design of an eletromechanical system with an embarked hammer and impact phenomena Roberta Lima, Rubens Sampaio, Christian Soize 3 Incertezas nos dados de ressonância magnética nuclear (RMN) em cálculos de estrutura de proteínas Carlile Lavor (Unicamp) 4 Mathematical modeling of a horizontal drillstring subjected to friction and shocks effects Americo Cunha (PUC-Rio) e Rubens Sampaio 5 Uncertainty quantification in infinite dimensional situations J� E� Souza de Cursi (LOFIMS, INSA de Rouen) 6 Visualização de incertezas de operadores diferenciais sobre campos escalares Helio Lopes (PUC-Rio) 7 Solar Physics Dynamics as a Classification Problem: Neuro-fuzzy Approach Pettras L� B� dos Santos, Haroldo F� de Campos Velho (INPE), Sandra A� Sandri (INPE) 8 Feedback linearization robustness analysis using polynomial chaos: application for a ball and beam system Diego Colón (USP-SP), Célia Aparecida dos Reis (Unesp), Suélia Rodrigues Fleury Rosa (USP-SP), José Manoel Balthazar (Unesp) 9 Some probabilistic approaches to analyze the energy pumping phenomenon in vibration reduction Sergio Bellizzi (LMA, CNRS) 22 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Minissimpósios MS2 - CEPID-CeMEAI Matemática Industrial Sala Cedro 6 Coordenadores: José Alberto Cuminato (ICMC/USP) e Antonio Castelo Filho (ICMC/USP) Mais informações em: http://cnmac.com.br/sites/cnmac.com.br/files/resumos_ms2.pdf 09/09/2014 - 14:00-17:30 h Horário Autores Título 14:00h-14:30h Franklina Bragion (ICMC) Planejamento da produção de cargas para uma fundição de pequeno porte 14:30h-15:00h Jose Mario Martinez (Unicamp) Modelos para Controle de Produção em Aviários 15:00h-15:30h Socorro Rangel (Unesp) Approaches to enhance the efficiency of cutting stock for furniture production 15:30h-16:00h João Bosco A� London Junior (EESC-USP) Multi-Objective Evolutionary Algorithm for single and multiple fault service restoration on a Real Brazilian Distribution System 16:00h-16:30h Coffee Break Coffee Break 16:30h-17:00h Murilo Francisco Tome (ICMC) A novel approach for solving the Oldroyd-B model for three-dimensional free surface flows 17:00h-17:30h Sidarta A� Lima (UFRN) Multiscale Models for Flow and Transport in Shale Gas Reservoirs 10/09/2014 14:00-17:30 h 14:00h-14:30h William R� Wolf (Unicamp) Large Eddy Simulation of Airfoil Aeroacoustics: Aeronautical and Wind Energy Applications 14:30h-15:00h Michael Vynnycky (KTH-Sweden) Mathematical modelling of the continuous casting of metals 15:00h-15:30h Stefan Jakobsson (FCC-Chalmers- Sweden) The virtual paint factory 15:30h-16:00h Coffee Break Coffee Break 16:00h-16:30h Dennis Wolf (ICMC) Autonomous navigation systems for urban and agricultural applications 16:30h-17:00h Henry Winstanley (MACSI - Ireland) Modelling on-site domestic wastewater treatment in gravity-fed percolation areas 17:00h-17:30h All participants Discussion on Industrial Math in Brasil 23 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Minissimpósios MS3 - Biomatemática e Ciência Agrária Sala Flamboyant 1 Coordenadores: Rosana Sueli da Motta Jafelice (UFU) e Geraldo Lúcio Diniz (UFMT) Mais informações em: http://cnmac.com.br/sites/cnmac.com.br/files/programacaoresumoscnmac2014.pdf O objetivo do minissimpósio é de apresentar modelos matemáticos de fenômenos biológicos relacionados com as ciências agrárias� O tema proposto será apresentado nas exposições de pesquisadores que vem atuando nesta área� Este minisimpósio será apresentado em duas partes, com duas horas de duração cada� Na primeira parte, as palestras tratarão de modelos biomatemáticos voltados para as Ciências Agrárias, na segunda parte as palestras serão direcionadas para as aplicações de modelos matemáticos nas Ciências Agrárias� 09/09/2014 - 14:00-16:00h Horário Autores Título 14:00h - 14:30h Lourival Costa Paraíba A mathematical model to estimate the volume of grey water ofpesticide mixtures, Lourival Costa Paraíba, Ricardo A. A. Pazianotto, Alfredo J. B. Luiz, Aline H. N. Maia, Cláudio M. Jonsson (Embrapa Meio Ambiente) 14:30h - 15:00h Claudio José Von Zuben Modelagem matemática aplicada ao estudo de moscas- de-frutas de importância agrícola, Claudio José Von Zuben (UNESP/Rio Claro) 15:00h - 15:30h Michel Eduardo Beleza Yamagishi A Generalização Matemática das Regras de Paridade do DNA, Michel Eduardo Beleza Yamagishi (Embrapa, Centro Nacional de Pesquisa Tecnológica em Informática para a Agricultura) 15:30h - 16:00h Rosana Sueli da Motta Jafelice Conclusões Finais, Rosana Sueli da Motta Jafelice (UFU) 10/09/2014 - 14:00-16:00h 14:00h - 14:30h Francisco Ferraz Laranjeira Modelagem da disseminação do Huanglongbing (HLB) dos citros como ferramenta para otimização de amostragem e da erradicação da doença, Francisco Ferraz Laranjeira (Embrapa Mandioca & Fruticultura) 14:30h - 15:00h Odair Aparecido Fernandes Tomada de decisão para controle de insetos-praga no Manejo Integrado de Pragas, Odair Aparecido Fernandes (UNESP/ Jaboticabal) 15:00h - 15:30h Magda da Silva Peixoto Um Sistema Fuzzy do Tipo Presa-Predador: Aphis Glycines X Orius Insidiosus, Magda da Silva Peixoto (UFSCar/Sorocaba), Laécio Carvalho de Barros, Rodney Carlos Bassanezi (IMECC/UNICAMP) 15:30h - 16:00h Geraldo Lúcio Diniz Conclusões Finais, Geraldo Lúcio Diniz (UFMT) 24 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Minissimpósios MS4 - Dinâmica Aplicada: Análise do Comportamento de Fenômenos não lineares em Ciências Aplicadas e em particular na Mecânica Sala Flamboyant 2 Coordenadores: Márcio J. H. Dantas (UFU), J. M. Balthazar (UNESP-Rio Claro) e Geraldo Nunes Silva (UNESP-SJRP) O minissimpósio proposto pelo Comitê Temático de Dinâmica, Controle e suas Aplicações em Ciências e Tecnologias pretende enfatizar quão importante é o comportamento não linear em diversas áreas das Engenharias� Isto será apresentado nas exposições de pesquisadores que vem realizado pesquisas nesta direção� Além disso será enfatizada a necessidade de cooperação sistemática entre as partes Teórica (qualitativa) e Experimental/Numérica (quantitativa)� Esperamos que isto sirva como motivação para interação de pesquisadores trabalhando em problemas não lineares, mas de formação distintas� 09/09/2014 - 14:00-17:00h Horário Título 14:00h - 14:35h Explicit Solutions for Two-Phase Lamé-Clapeyron-Stefan Problems with a Convective Boundary Condition Prof. Domingo Alberto Tarzia, CONICET - Depto de Matemática, Universidad Austral, Rosario, Argentina. 14:35h - 15:05h Some remarks on stick-slip dynamics Prof. Rubens Sampaio, PUC-Rio 15:05h - 15:40h Chaotic approach of nonlinear phenomena in fluid dynamics Prof. Sergio V. Möller, Departamento de Engenharia Mecânica Universidade Federal do Rio Grande do Sul 15:40h - 16:15h Swing-By Trajectories in the Triple Asteroid 2001SN263 Using Tethers Prof. Antonio Fernando Bertachini de Almeida Prado INPE, São José dos Campos 16:15h - 16:50h Revisiting the nonlinear dynamics behavior, control designs and insights on Fluid interactions of a flexible slewing spatial structures and their applications to Engineering Science Prof. José Manoel Balthazar, Departamento de Engenharia Mecânica, UNESP-Bauru Minissimpósios 25 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Minissimpósios Minissimpósios MS5 - Ciências Computacionais: um GPS (em homenagem aos primeiros 70 anos de C. A. de Moura) Sala Cedro 4 Coordenadores: Augusto Cesar de Castro Barbosa (UERJ) e Marcus Vinicius Tovar Costa (UERJ) 08/09/2014 - 14:00-16:00h Horário Autores Título 14:00h-14:20h Abertura 14:20h-14:40h Alberto Franco de Sá Santoro Encontros, Caminhos e a Física Contemporânea 14:40h-15:00h Carlos Tomei Espalhamento direto e inverso desde os sessenta 15:00h-15:20h Luiz Mariano Paes de Carvalho Filho Álgebra linear computacional e novas arquitetura paralelas híbridas 15:20h-15:40h Maurício Vieira Kritz Descrevendo a Vida — Partículas… Corpos… Campos… Organizações… 09/09/2014 - 14:00-16:00h 14:00h-14:20h Nelson Antônio Borges Garcia Aplicações da Álgebra Linear Computacional na Engenharia 14:20h-14:40h Ricardo Silva Kubrusly Os números dos mundos 14:40h-15:00h Sonia Maria Gomes Navegando de Fourier a Wavelets 15:00h-15:20h Waldir Leite Roque Modelagem Matemática e Computacional como Instrumento de Inovação e Sustentabilidade 15:20h-15:40h Antonio Marmo de Oliveira Um princípio variacional estendido para operadores “potencializáveis” não lineares e não potenciais A ideia é que cada palestrante, durante os 20 minutos, fale sobre sua convivência com o Moura, ou apresente um seminário sobre um assunto que trabalha, ou ambos� 26 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Minicursos - MC Horário segunda Terça-feira Quarta-feira Quinta-feira Sexta-feira 08:00-9:50 h MC1 MC2 MC3 MC1 MC2 MC3 MC1 MC2 MC3 14:00-16:00 h MC4 MC5 MC6 MC4 MC5 MC6 MC4 MC5 MC6 MC1 Matemática aplicada ao planejamento da produção e logística Silvio Alexandre de Araujo e Socorro Rangel – UNESP Sala: Cedro 1 Resumo: Este minicurso trata de problemas que aparecem no contexto da cadeia de suprimentos (supply chain) que envolve decisões de longo prazo (e�g� instalação de facilidades); de médio prazo (e�g� atribuição de produção a fábricas, transporte da produção das fábricas para armazéns); e de curto prazo (e�g� decisões tomadas semanalmente, ou mesmo diariamente, a respeito da atribuição de produtos a máquinas e a programação da produção). Mais especificamente, são tratados problemas de planejamento da produção em que as decisões a serem tomadas devem considerar as características inerentes do processo produtivo, e que podem envolver desde a aquisição das matérias-primas, passando pelo planejamento das atividades necessárias para transformar estas em produtos finais, até a entrega dos produtos aos clientes� Em algumas indústrias, tais decisões sobre as atividades de produção estão estreitamente relacionadas a decisões sobre as quantidades a serem produzidas� Na literatura, este problema é, em geral, definido como problema de dimensionamento de lotes. Em alguns setores industriais é importante considerar no planejamento da produção tempos e custos de preparação da linha de produção, que podem depender da sequencia de fabricação� O problema de determinar a ordem, ou sequencia de produção respeitando, por exemplo, datas de entrega dos produtos é conhecido na literatura como problema de sequenciamento� Estes dois problemas, dimensionamento e sequenciamento da produção, podem ser tratados de forma independente, ou de forma integrada, através de modelos matemáticos que capturam simultaneamente as relações entre eles� O problema integrado é conhecidos na literatura como problema integrado de dimensionamento e sequenciamento de lotes� O objetivo deste minicurso é oferecer um material introdutório para alunos de graduação e de pós- graduação sobre modelos matemáticos para problemas de planejamento da produção, mais especificamente, para problemas de dimensionamento de lotes e para problemas integrados de dimensionamento e sequenciamento de lotes� Para facilitar o entendimento de alguns modelos são discutidos também alguns problemas de logística� Embora sejam apresentados alguns métodos de solução, o foco deste texto está na modelagem dos problemas� 27 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Minicursos - MC Minicursos - MC MC2 Uma Introdução à criptografia de chave pública através do Método El Gamal Luis Menasché Schechter – UFRJ Sala: Cedro 2 Resumo: Estamos experimentando, de forma cada vez maior, o crescimento do tráfego de informações na Internet e o seu uso para operações financeiras, como o comércio eletrônico e o Internet banking, por exemplo� Com isso, a segurança destas trocas de informação através deredes de computadores torna-se cada vez mais um requisito fundamental do ponto de vista comercial, econômico e militar� Ao utilizarmos métodos de criptografia, estamos buscando “esconder’’ o conteúdo de uma mensagem, de forma que, caso alguém mal-intencionado “roube’’ uma mensagem criptografada antes dela chegar ao seu destinatário, esta pessoa não será capaz de ler o seu conteúdo original� O objetivo principal deste curso é fornecer ao aluno um primeiro contato com os fundamentos matemáticos da criptografia de chave pública e da assinatura digital, que são utilizadas, por exemplo, na troca de mensagens na Internet (como números de cartão de crédito em sites de compras virtuais)� Para isso, iremos estudar um dos mais simples métodos de criptografia de chave pública e assinatura digital, mas, ao mesmo tempo, um dos mais utilizados na prática: o método El Gamal (que possui este nome devido ao pesquisador que originalmente desenvolveu este método)� Iremos estudar os fundamentos matemáticos deste método e entender o que o torna ao mesmo tempo eficiente e seguro. Os fundamentos matemáticos do método El Gamal envolvem o estudo de propriedades dos números inteiros, o estudo de números primos e o estudo de grupos finitos, conceitos que são, em si, razoavelmente simples, mas que se mostram bastante úteis nesta aplicação prática na área de computação� É devido à simplicidade dos conceitos básicos necessários para este estudo que o método El Gamal se mostra como um tema adequado para um primeiro contato do estudante com os conceitos da área de criptografia. A criptografia de chave pública é um tópico de estudo interessante na interseção entre Matemática e Computação, pois destaca uma possível aplicação prática de conceitos de matemática discreta assim como ilustra a presença de fundamentações matemáticas nas atividades computacionais� MC3 Um convite à Geometria de distâncias Carlile Lavor – UNICAMP Leo Liberti – École Polytechnique e IBM TJ Watson Research Center Sala: Cedro 3 Resumo: Geometria de Distâncias (GD) é um tema de pesquisa consolidado, tendo a Matemática e a Computação como áreas fundamentais em seu alicerce. O conceito de distância é essencial para a experiência humana e a GD o coloca como objeto principal de estudo em uma dada estrutura geométrica� Atualmente, o problema fundamental da GD é “determinar um conjunto de pontos em um dado espaço geométrico, cujas distâncias, entre alguns deles, são conhecidas”. Acreditamos que se trata do primeiro texto didático, em português, sobre GD� Diferentemente da abordagem clássica, usando métodos contínuos, iremos apresentar o assunto baseados em sua estrutura combinatória, pois além de facilitar a compreensão dos principais conceitos envolvidos, é também uma maneira nova de considerar o problema� Curiosamente, essa nova visão se originou em um contexto de computação quântica, quando propusemos aplicar o algoritmo de Grover em um problema de GD relacionado ao cálculo de estruturas moleculares� Além da teoria matemática associada à GD, o interesse por esse tópico de pesquisa explica-se pela riqueza e variedade de suas aplicações� Podemos citar, como exemplo, aplicações em astronomia, bioquímica, estatística, nanotecnologia e robótica� Nas aplicações, será destacada a conexão entre GD e geometria molecular, pois foi ela que nos deu inspiração para grande parte da pesquisa que desenvolvemos em GD� 28 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Minicursos - MC MC4 Equações diferenciais parciais de primeira ordem Maria Lewtchuk Espindola – UFPb Sala: Cedro 1 Resumo: O objetivo principal desse minicurso e abordar as equações diferenciais parciais de primeira ordem, suprindo uma falha comum dos cursos de graduação e dos diversos livros de equações diferenciais parciais, que geralmente só tratam dos métodos de solucção das de segunda ordem� As EDPs de primeira ordem aparecem em modelos de diversos ramos da matemaática pura e aplicada� Como na construção de superfícies características das EDPs hiperboólicas, no cálculo variacional, na geometria diferencial e em outros problemas geométricos. Assim como nos modelos simples da dinâmica de gases, nos modelos de transporte, ou da difusão dos fenômenos convectivos-difusivos, como a transferência de calor em um fluído pelos processos de conveções e conduções na equção de Burger, ou nas equações de continuidade de massa ou de carga� Ainda podemos constatar que existem determinados tipos de EDPs de segunda ordem que podem ser reduzidas as de primeira ordem, como é o caso da EDP p-Laplaciana� As aplicações em biologia, metereologia, e em outras áreas com frequência recaem em sistemas de EDP de primeira ordem não lineares, como em sistemas dinâmicos e em processos estocásticos. Serão abordadas as origens, os tipos de solução de EDPs em geral, seguindo com a apresentação dos métodos clássicos de solução das EDP de primeira ordem, ressaltando o método de Charpit� Na sequência é apresentado um novo método de obtenção de soluções gerais para determinados tipos de EDP de primeira ordem, lineares ou não� Esses geram uma série de aplicações, como por exemplo, a solução geral da equação de Hamilton-Jacobi unidimensional, solução generalizada de equação p-Laplace, e aplicações dasolução envoltória e da consequência de sua existência no desenvolvimento dos fundamentos da mecaânica Hamiltoniana. O minicurso será apresentado numa linguagem simples, onde o principal intuito é o de enfatizarmos métodos sem uma preocupação excessiva com demonstrações� Uma série de exercícios sugeridos tem a intenção de desenvolver a abordagem dos métodos apresentados e suscitar nos cursistas a curiosidade conduzindo-os à criação de novos métodos de solução para EDP� MC5 Introdução a heurística para redução de largura de banda em matrizes Sanderson Lincohn Gonzaga de Oliveira e Guilherme Oliveira Chagas – UFLA Sala: Cedro 2 Resumo: A resolução de sistemas de equações lineares do tipo Ax=b, em que A é uma matriz esparsa, é central em diversas simulações em ciência e engenharia e é, geralmente, a parte que requer o maior custo computacional na simulação. Será apresentada a importância das reduções de largura de banda e de profile da matriz A na redução do custo computacional na resolução de sistemas de equações lineares. Por causa da relevância desse tema, foi proposta uma grande quantidade de heurísticas para as reduções de largura de banda e de profile. Com isso, serão mostradas heurísticas importantes para as reduções dessas características de matrizes� Minicursos - MC 29 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Minicursos - MC MC6 Análise de sensibilidade topológica: teoria e aplicações Antonio André Novotny – LNCC Sala: Cedro 3 Resumo: A derivada topológica é definida como o primeiro termo da expansão assintótica de um dado funcional de forma com relação ao parâmetro associado ao tamanho de uma perturbação infinitesimal singular – tais como furos, inclusões, termos fonte e até mesmo trincas – introduzida em um ponto arbitrário de um dado domínio geométrico� Ao longo da última década a análise de sensibilidade topológica tornou-se uma área de pesquisa rica e fascinante, além de bastante ampla dos pontos de vista teórico e numérico, possuindo aplicações em diversos campos de interesse, em especial na otimização de forma e topológica, problemas inversos, processamento de imagens e modelagem mecânica incluindo síntese e/ ou projeto ótimo de microestruturas, análise de sensibilidade na mecânica da fratura e modelagem de evolução de dano� Este minicurso tem como objetivo introduzir o conceito, apresentar algumas aplicações nas áreas ora mencionadas e ainda realizar o cálculo completo da derivada topológica para um caso em particular� Dessa forma, objetiva-se basicamente mostrar o que é, para que serve e como se calcula a derivada topológica� Sendo assim, o minicurso é destinadoàqueles interessados nos aspectos matemáticos da análise de sensibilidade topológica, assim como em aplicações da derivada topológica em mecânica computacional. Minicursos - MC 30 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Sessões Técnicas Coordenadora geral: Heloísa Helena Marino Silva Terça - 09 de Setembro - 08:00 às 10:00 h Sala Cedro 4 ST-1 Coordenador: Mirela Vanina Mello 8h Uma Extensão do Teorema de Seleção de Filippov para Escalas Temporais Iguer Luis Domini dos Santos 8h20min Singularly Perturbed Discontinuous Vector Fields Paulo Ricardo da Silva, Pedro Toniol Cardin, Jaime Moraes 8h40min Minimal sets in singularly perturbed systems with three time--scales Pedro Toniol Cardin, Paulo Ricardo da Silva, Marco Antonio Teixeira 9h Linking Fractional Derivative and Derivative in Time Scales Berenice Damasceno, Luciano Barbanti 9h20min Some results on zeros of palindromic and perturbed polynomials of even degree Vanessa Botta Sala Flamboyant 1 ST-2 Coodenador: Laécio Carvalho Barros 8h Sincronização de um modelo metapopulacional com taxa de reprodução intrínseca dependente do tempo Carlos Eduardo Espinosa, Jacques Silva 8h20min Um modelo matemático de câncer com quimioterapia e imunoterapia Paulo Mancera, Nilo Amaral Martin, Gustavo Cruz-Pacheco 8h40min Sincronismo em um Modelo com Multi-Espécies Vanderlei Manica, Jacques Silva 9h A mathematical model to estimate the volume of grey water of pesticide mixtures Lourival Costa Paraíba 9h20min Um estudo sobre crescimento em peso do tambaqui com modelagem fuzzy Rodney Carlos Bassanezi, Michael Diniz 9h40min Modelos do sistema cardiovascular para apoio ao diagnóstico Andre Leite, Luís Henrique de Santana, Fernando Campello 31 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Sessões Técnicas Terça - 09 de Setembro - 08:00 às 10:00 h Sala Cedro 5 ST-7 Coordenador: Cíntya Wink de Oliveira Benedito 8h Estação de Referência Virtual: Modelagem Matemática, Análises e Resultados Daniele Barroca Marra Alves, Tayna Aparecida Ferreira Gouveia, Jackes Akira Magário, Crislaine Menezes da Silva 8h20min Um Modelo para Formação e Difusão do gel formado pela Reação Álcali-sílica no Concreto Fábio André Negri Balbo, Guilherme Pianezzer, Liliana Gramani, Eloy Kaviski, Marcelo Teixeira 8h40min Inversão dos Dados de Medidas das Resistividades do Solo Celsa Herminia Melo Maranhão, Valcir João da Cunha Farias, Brígida Rocha 9h Aplicação do Cálculo Exterior Discreto para Simulação Numérica de Sistemas de GPR Alex Moura, Werley Facco 9h20min Análise de Sensibilidade de Primeira Ordem Aplicada a Sistemas Elétricos de Potência William Moreti da Rosa, Priscila Rossoni, Edmarcio Antonio Belati, Edméa Cássia Baptista 9h40min Bifurcações Sela-Nó da Região de Estabilidade de Sistemas Dinâmicos Autônomos Não-Lineares Fabíolo Moraes Amaral, Luís Fernando Costa Alberto Sala Álamo 2 ST-12 Coordenador: Messias Meneguette Junior 8h Métodos Temporais e Modelo de Deconvolução de Leray para as Equações de Navier-Stokes em Fluidos Incompressíveis via Elementos Finitos Marcelo Maraschin de Souza, Carolina Cardoso Manica 8h20min Experimentos Numéricos na Modelagem Termodinâmica de Deposição de Parafina em Dutos Leandro Blass, João Flávio Vasconcellos, Gustavo Platt 8h40min Multiextrapolação de Richardson com interpolação aplicada às equações de Navier-Stokes 2D Márcio André Martins, Carlos H. Marchi 9h A time domain beam propagation method for chirped signals Stefan Jakobsson, Elin Solberg, Fredrik Edelvik 9h20min Decomposição espectral parcial de uma matriz em uma variedade linear Licio Bezerra 9h40min The Effect of the Schedule on the CPU Time for 2D Poisson Equation Fabiane de Oliveira, Marcio Augusto Villela Pinto, Carlos H. Marchi 32 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Sessões Técnicas Terça - 09 de Setembro - 08:00 às 10:00 h Sala Cedro 6 ST-13 Coordenador: Murilo Pereira de Almeida 8h Aplicação da Análise Fatorial de Correspondências na Avaliação da Influência do Gesto na Performance Musical em Percussão Fernando Chaib, Homero Chaib-Filho 8h20min Analysis of frozen orbits for solar sails Jean Paulo dos Santos Carvalho, Rodolpho Vilhena de Morais, Antonio Elipe, Eva Tresaco, Antonio Fernando Bertachini de Almeida Prado 8h40min Modelo Heurístico para Otimização de Rotas nos Serviços de Leitura de Hidrômetros Elaine Pereira, Catia Machado 9h Uncertainty analysis in mass transfer parameter estimations for chromatographic separation of glucose and fructose Alberto Prieto-Moreno, Orestes Santiago, Claudir Oliveira, Diógenes Câmara, Antônio José Silva Neto 9h20min Algoritmo de caminho mínimo para grafos coloridos aplicado a redes de transporte multimodal Juliana Verga Shirabayashi, Akebo Yamakami, Ricardo Coelho Silva, Wesley Shirabayashi Sala Flamboyant 2 ST-14 Coordenador: Silvely Salomão Néia 8h Order preserving and order reversing operators on the class of convex functions in Banach spaces Alfredo Iusem, Benar Svaiter, Daniel Reem 8h20min Heurísticas para o problema de corte de estoque unidimensional inteiro: novas contribuições Gonçalo Cerqueira, Marlos Marques 8h40min Um algoritmo heurístico para resolver o problema de sequenciamento em máquinas paralelas não-relacionadas com tempos de preparação dependentes da sequência Luciano Perdigão Cota, Matheus Nohra Haddad, Marcone Jamilson Freitas Souza, Alexandre Xavier Martins 9h Métodos de Pontos Interiores Aplicados à Basis Pursuit Paula Aparecida Kikuchi, Aurelio Oliveira, Daniela Cantane 9h20min Avaliação do Código Computacional DEPP na Otimização de Problemas de Propulsão e Aerodinâmica de Foguetes Jonas Joacir Radtke, Guilherme Bertoldo, Carlos H. Marchi 9h40min Um Simulated Annealing Modificado no Problema do Corte Unidimensional Inteiro Angelo Aliano Filho, Antonio Carlos Moretti 33 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Sessões Técnicas Terça - 09 de Setembro - 11:00 às 12:30 h Sala Cedro 4 ST-1 Coordenador: Cleonice Fátima Bracciali 11h The stabilization of the nonlinear model arising in pulse propagation in optical fiber Carlos Frederico F. B. Vasconcellos, Patricia Nunes da Silva 11h20min Medidas invariantes para aplicações unimodais Belmiro Galo da Silva 11h40min The Monodromic Singularity to Piecewise Linear Vector Fields Claudio Buzzi, João C. Medrado, Claudio Pessoa 12h The boundary of a class of Rauzy fractals Jéfferson Luiz Rocha Bastos, Tatiana Rodrigues Sala Flamboyant 1 ST-2 Coordenador: Paulo Fernando de Arruda Mancera 11h Modelagem para a dinâmica populacional do Aedes aegypti via simetrias de Lie Felipo Bacani, Igor Freire, Norberto Anibal Maidana, Mariano Torrisi 11h20min Modelo epidêmico SIR, com estrutra etária e analise da idade média da primeira infecção nas campanhas de vacinação. Mehran Sabeti 11h40min Estudos de Modelos Dispersivos para Dinâmica de Populações William Massayuki Sakaguchi Yamashita, Lucy Tiemi Takahashi, Grigori Chapiro 12h Diferenças entre números fuzzy Laécio Carvalho Barros, Francielle Santo Pedro Simões, Luciana Takata Gomes 34 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Sessões Técnicas Terça - 09 de Setembro - 11:00 às 12:30 h Sala Cedro 5 ST-7 Coordenador: José Manoel Balthazar 11h Simulação Computacional do Teste de Carregamento Axial para o Concreto Guilherme Pianezzer, Fábio André Negri Balbo, Liliana Gramani, Eloy Kaviski, Marcelo Teixeira 11h20min Comparação de Técnicas para o Cálculo de Idempotentes Geradores de Códigos Cíclicos Gustavo Terra Bastos, Marinês Guerreiro 11h40min Mathematical modeling of horizontal drillstrings subjected to friction and shocks effects Americo Cunha Jr, Rubens Sampaio, Christian Soize 12h O Filtro H Infinito Estendido de Segunda Ordem para Estimação de Atitude e Bias de Giros William Reis Silva, Hélio Koiti Kuga, Maria Cecília Zanardi Sala Cedro 3 ST-8 Coordenador:Roberto Affonso da Costa Junior 11h Modified Riemann-Liouville Approach to Field Theory and Particle Physics José Weberszpil, Cresus Fonseca de Lima Godinho, José Abdalla Helayël-Neto 11h20min Uma Abordagem usando o Fibrado de Clifford sobre a Geometria Diferencial de Branas Samuel Wainer, Waldyr Rodrigues Jr. 11h40min Explicit Solutions for Two-Phase Lamé-Clapeyron-Stefan Problems with a Convective Boundary Condition Domingo Tarzia 35 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Sessões Técnicas Terça - 09 de Setembro - 11:00 às 12:30 h Sala Cedro 6 ST-13 Coordenador: Vitor José Petry 11h Formação do Mecanismo de Reduzido da Combustão para Fluxos Reagentes A. Patricia Spilimbergo, Viktor Krioukov, Vladimir M. Tregubov 11h20min Formulações para o problema de corte de estoque unidimensional multiperíodo Kelly Cristina Poldi, Silvio Araujo 11h40min Teoria dos jogos aplicada Daniela Monteiro, Augusto Cesar de Castro Barbosa, Carlos Antonio de Moura 12h Estudo tridimensional do crescimento de superfícies rugosas utilizando autômatos celulares probabilísticos Marcela Ferreira, Allbens Atman Sala Flamboyant 2 ST-14 Coordenador: Luiz Leduíno de Salles Neto 11h Um algoritmo baseado na metaheurística LAHC para resolver o Problema de Planejamento Operacional de Lavra em Minas a C éu Aberto Arthur de Assis Silva, Marcone Jamilson Freitas Souza, Victor Luiz Guimarães 11h20min Otimização de parâmetros de algoritmos Bruno Henrique Cervelin, Maria Ap. Diniz Ehrhardt 11h40min Análise da qualidade de soluções para o problema de roteirização de veículos usando visão computacional Silvely Salomão Néia, Claudio Cunha, Almir Artero 12h Uma nova abordagem de Busca Padrão para otimização com restrições lineares Deise Gonçalves Ferreira, Maria Ap. Diniz Ehrhardt 12h20min Um Método Exato para o Problema do Caixeiro Viajante com Grupamentos Euclidiano e Simétrico Mário Mestria 36 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Sessões Técnicas Terça - 09 de Setembro - 11:00 às 12:30 h Sala Álamo 2 ST-15 Coordenador: João Batista da Paz Carvalho 11h Estimação de Parâmetros de um Modelo Semi-Empírico de Transferência Simultânea de Calor e Água no Solo Peterson Cleyton Avi, Emanueli Bandeira Avi, Pedro Augusto Pereira Borges 11h20min Topological Bayesian inversion for the inverse conductivity problem Jairo Rocha de Faria, Daniel Lesnic 11h40min Uma Versão Modificada do Método Evolução Diferencial para Estimativa de Parâmetros do Modelo de Difusão Anômala Assimétrica Luciano Silva, Diego Knupp, Antônio José Silva Neto, Diógenes Câmara, Luiz Bevilacqua, Augusto Galeão, Orestes Santiago 37 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Sessões Técnicas Quarta - 10 de Setembro - 8:00 às 10:00 h Sala Cedro 4 ST-1 Coordenador: Paulo Ricardo da Silva 8h Análise de existência e comportamento de onda viajante para equações de Euler com relaxação Abel Alvarez, Wanderson Lambert, Eduardo Abreu 8h20min Stabilization of the linear Kawahara equation Patricia Nunes da Silva, Carlos Frederico F. B. Vasconcellos 8h40min Chaos and Non-trivial Minimal Sets in Discontinuous Vector Fields Rodrigo Euzébio, Claudio Buzzi, Tiago de Carvalho 9h Comparações entre o Teorema de Noether e o Teorema de Ibragimov utilizando uma classe de equações diferenciais ordinárias Priscila Leal da Silva, Igor Freire 9h20min Bifurcations of Piecewise Smooth Vector Fields via Geometric Singular Perturbations Tiago de Carvalho, Durval José Tonon Sala Flamboyant 1 ST-2 Coordenador: Magda da Silva Peixoto 8h Modelagem da Dinâmica de um Grupo de Indivíduos HIV Positivos com Parâmetro Fuzzy do Tipo 2 Eduard Rojas Castillo, Rosana Sueli da Motta Jafelice, Alessandro Alves Santana 8h20min Soluções Otimizadas via Algoritmo Genético para o Controle do Mosquito Transmissor da Dengue Fernando Luiz Pio dos Santos, Helenice Silva, Daniela Cantane, Luiz Gustavo Lyra 8h40min Estratégias de Vacinação: uma abordagem discreta Priscila Roque de Almeida, Mehran Sabeti, Lucy Tiemi Takahashi 9h Sistema de Competição Lotka-Volterra Sob Ruído Branco David Zavaleta Villanueva 9h20min Controle da dengue na estação seca da cidade de Curvelo-MG através de um modelo preditivo Lillia Barsante, Flávia Cordeiro, Rodrigo Cardoso, José Luiz Acebal, Kelly Paixão, Álvaro Eiras 38 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Sessões Técnicas Quarta - 10 de Setembro - 8:00 às 10:00 h Sala Cedro 5 ST-7 Coordenador: Fabíolo Morais 8h General Results of Existence and Asymptotic Stability for a class of Electromechanical Systems Marcio José Horta Dantas, Rubens Sampaio, Roberta Lima 8h20min Rede Neural Stepwise-Artmap Fuzzy aplicada ao problema de Previsão de Cargas Elétricas Thays Abreu, Marleide Ferreira Alves, Carlos Roberto Santos Junior, Mara Lúcia Martins Lopes, Anna Diva Plasencia Lotufo 8h40min Sistemas derivados de esquemas nodais em problemas bidimensionais de transporte de partículas: uma análise espectral Camila Becker Picoloto, Patricia Rodrigues, Rudnei Dias da Cunha, Liliane Basso Barichello 9h Algoritmo para a obtenção de grupos Fuchsianos aritméticos a partir de uma tesselação {p,q} e um emparelhamento pré-fixado Cintya Wink de Oliveira Benedito, Reginaldo Palazzo Jr., Jose Carmelo Interlando 9h20min Derivada Topológica Associada ao Modelo de Placas de Reissner-Mindlin Vitor Sales Dias da Rosa 9h40min Cinemática Posicional de Robôs via Iteração e Quatérnios Luiz Alberto Radavelli, Edson R. De Pieri, Daniel Martins, Roberto Simoni Sala Álamo 2 ST-12 Coordenador: Francisco Bruno Souza Oliveira 8h Multiextrapolação de Richardson e Verificação da Ordem de Acurácia de Esquema Híbrido sobre a Equação 2D de Advecção-Difusão com Termo Fonte Ana Paula da Silveira Vargas, Carlos H. Marchi, Marcio Augusto Villela Pinto 8h20min Estudo de Convergência de Aproximações por Elementos Finitos Híbridos Estabilizados para o Problema de Stokes Iury Igreja, Cristiane Faria, Abimael Fernando Dourado Loula 8h40min Efeito da razão de refino de malha sobre o uso de multiextrapolação de Richardson em CFD Fabiana de Fátima Giacomini, Carlos H. Marchi 9h Aplicação de Mapa Auto-Organizável à Clusterização de Dados de Refletividade de Radar Jorge Vinicius Ruviaro Bonato, Cesar Augustus Assis Beneti, Paulo Siqueira 9h20min Soluções Numéricas com Exatidão Máxima para as Funções Densidade de Probabilidade com Distribuições Exponencial e Pareto Intervalares Alice Finger, Aline Brum Loreto 39 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Sessões Técnicas Quarta - 10 de Setembro - 8:00 às 10:00 h Sala Cedro 6 ST-13 Coordenador: Patrícia Spilimbergo 8h Modelagem Matemática dos Processos de Transferência de Calor e Massa na secagem intermitente de Grãos de Soja Vitor José Petry, Pedro Elton Weber 8h20min Comportamento Inesperado da Derivada Fracionária de Caputo Rubens de Figueiredo Camargo 8h40min Modelagem do Sistema Poroso de Rochas Reservatórios de Petróleo e Predição de Propriedades Petrofísicas Denise Kronbauer 9h Modelagem Computacional para Leitura de Detectores de Partículas Neutras Monoenergéticas segundo Problemas Adjuntos de Transporte na Formulação de Ordenadas Discretas SN em Geometria Planar Ralph Mansur, Carlos Antonio de Moura, Ricardo Carvalho de Barros 9h20min Solution of the Puff Model for Pollutant Dispersion in the Atmospheric Boundary Layer by an Analytical Approach Everson Silva, Marco Tullio Vilhena, Tiziano Tirabassi, Daniela Buske 9h40min A continuous model of ant foraging with pheromones and trail formation Paulo Amorim Sala Flamboyant 2 ST-14 Coordenador: Paulo Fernando de Arruda Mancera 8h Betting Theory and Search Heuristics Applied to Combinatorial Optimization Pedro Demasi, Jayme Szwarcfiter, Adriano Joaquim de Oliveira Cruz 8h20min The Primal and Dual Problems of b-Complementary Multisemigroup. Eleazar Madriz 8h40minCombinatorial Optimization, Combined Algorithms and Problem Positioning Radio Stations Based Wireless And Mobile Aldemir Oliveira 9h Melhoria do desempenho da Fatoração Controlada de Cholesky no precondicionamento de Sistemas Lineares oriundos dos Métodos de Pontos Interiores Lino Marcos Silva, Aurelio Oliveira 9h20min Acoplamento de algoritmos de otimização e agrupamento para resolução de problemas globalmente multimodais Deise Mara Barbosa de Almeida, Gustavo Platt, Francisco Duarte Moura Neto 9h40min O uso do vetor q-gradiente como direção de busca em métodos de otimização contínua Aline Soterroni, Fernando Ramos, Roberto Galski, Érica Gouvêa, Marluce Scarabello 40 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Sessões Técnicas Quarta - 10 de Setembro - 11:00 às 12:30 h Sala Cedro 4 ST-1 Coordenador: Vanessa Avansini Botta Pirani 11h On certain shallow water models, scaling invariance and strict self-adjointness Priscila Leal da Silva, Igor Freire 11h20min On Poincaré-Bendixson Theorem in Planar Nonsmooth Vector Fields Tiago de Carvalho, Claudio Buzzi, Rodrigo Euzébio 11h40min Sobre propriedades de invariância de uma nova equação dispersiva Igor Freire, Júlio Cesar Santos Sampaio 12h Para-orthogonal polynomials and chain sequences Alagacone Sri Ranga, Cleonice F. Bracciali Sala Flamboyant 1 ST-2 Coordenador: Rosana S. Motta Jafelice 11h Diferentes escalas de reprodução e migração em um sistema presa-predador com estrutura espacial Carina Loureiro Andrade, Jacques Silva 11h20min Um sistema fuzzy do tipo presa-predador: Aphis glycines x Orius insidiosus Magda da Silva Peixoto, Laécio Carvalho Barros, Rodney Carlos Bassanezi 11h40min Análise da bifurcação de Hopf em um modelo para a dinâmica do vírus varicela-zoster Ailton Vieira, Lucy Tiemi Takahashi, Laercio Jose dos Santos 41 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Sessões Técnicas Quarta - 10 de Setembro - 11:00 às 12:30 h Sala Cedro 2 ST-3 Coordenador: Renata Reiser 11h An Algebraic ILU(k) Based Two-Level Domain Decomposition Preconditioner Douglas Augusto, Luiz Mariano Carvalho, Paulo Goldfeld, Italo Cristiano Nievinski Lima, José Roberto Rodrigues, Michael Ferreira Souza 11h20min Paralelização do Algoritmo das Projeções Sucessivas em GPU usando uma Implementação das Regressões Sequenciais para Seleção de Variáveis em Problemas de Calibração Multivariada Lauro Cássio Martins de Paula, Anderson da Silva Soares, Telma Woerle de Lima Soares, Arlindo Rodrigues Galvão Filho, Clarimar Coelho 11h40min GGH May Not Be Dead After All Charles Figueredo de Barros, Luis Menasché Schechter 12h A Comparison of Approximate Inverse Methods Michael Ferreira Souza, Luiz Mariano Carvalho, João Paulo Zanardi, Italo Cristiano Nievinski Lima, Paulo Goldfeld, Douglas Augusto 12h20min Quantificadores Modulados e o Método da Semântica de Sociedades Luiz Henrique da Cruz Silvestrini Sala Cedro 5 ST-7 Coordenador: José Manoel Balthazar 11h Efeitos dos Termos Individuais do Potencial Gravitacional Lunar no Movimento de Satélites Artificiais ao Redor da Superfície da Lua Liana Dias Gonçalves, Evandro Marconi Rocco, Rodolpho Vilhena de Morais 11h20min Numerical Computational Study Applied to Natural and Forced Convection in Cylindrical and Semi-Circular Thermal Tanks Darci Luiz Savicki 11h40min Métodos híbridos de pontos interiores e da soma ponderada aplicados ao modelo multiobjetivo de colheita de cana-de-açúcar, de coleta e geração de energia de sua biomassa Camila Lima, Antonio Roberto Balbo, Helenice Silva 12h Numerical Experiments with Reduction Methods in Phase Equilibria Loena Marins do Couto, Gustavo Platt, Francisco Duarte Moura Neto 12h20min Relaxação via Barreira Logarítmica Modificada Aplicada ao Problema de Fluxo de Potência Ótimo CC com Sobrecargas Mayk Coelho, Anésio Dos Santos Júnior, Aurelio Oliveira 42 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Sessões Técnicas Quarta - 10 de Setembro - 11:00 às 12:30 h Sala Cedro 3 ST-8 Coordenador: Roberto Affonso da Costa Junior 11h Validity of the fractional Leibniz rule on a coarse-grained medium yields a modified fractional chain rule José Weberszpil 11h20min O Método do Elemento Finito Aplicado ao Estudo de Colisões Atômicas e Moleculares Marcilio Nunes Guimarães, Frederico Vasconcellos Prudente 11h40min Efeitos dos Torques Magnéticos no Movimento Rotacional Maria Cecília Zanardi, Gabriel Borderes Motta Sala Álamo 1 ST-11 Coordenador: Luiz Carlos Benini 11h Otimização de Variáveis Radiais na Modelagem de Fontes Radioativas Planares Usando Métodos Monte Carlo não Paramétricos José Wilson Vieira, Viriato Leal Neto, José de Melo Lima Filho, Marco Antônio de Oliveira Domingues, Fernando Roberto de Andrade Lima 11h20min Analysis of the Stick-Mode Duration of Dry-Friction Oscillators with a Stochastic Approach Roberta Lima, Rubens Sampaio 11h40min Utilização de Modelos Autoregressivos na Quantificação de Incertezas em Problemas de Transporte Linear Thiago Jordem Pereira, Helio Pedro Amaral Souto 12h Taxa de Mutação Efetiva no Modelo de Moran Telles Timóteo Da Silva 43 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Sessões Técnicas Quarta - 10 de Setembro - 11:00 às 12:30 h Sala Cedro 6 ST-13 Coordenador: Aurélio R. Leite de Oliveira 11h Modelagem Computacional Multi-Escala de Fenômenos Eletrocinéticos em Meios Porosos Argilosos Carregados Eletricamente July Herbert Silva Mariano, Sidarta Lima, Eduardo Rangel 11h20min Modelo Espacial para Análise da Rede de Distribuição de Energia Utilizando Técnicas de Classificação e os Conceitos de Redes Inteligentes João Neto Caetano, Wesley Pacheco Calixto 11h40min Identificação de danos estruturais a partir de um modelo de superfície de resposta Isabela Cristina da Silveira e Silva Rangel, Leonardo Tavares Stutz, Luciano dos Santos Rangel 12h Uma nova abordagem para dividir instâncias do Discretizable Molecular Distance Geometry Problem usando gaps Felipe Fidalgo, Carlile Lavor, Jaime Edmundo Apaza rodriguez Sala Flamboyant 2 ST-14 Coordenador: Kelly Cristina Poldi 11h Método q-G: uma generalização do método da máxima descida Aline Soterroni, Fernando Ramos, Roberto Galski, Marluce Scarabello, Érica Gouvêa 11h20min Método q-GC: uma generalização do método dos gradientes conjugados Érica Gouvêa, Marluce Scarabello, Aline Soterroni, Fernando Ramos, Roberto Galski 11h40min Estimação de ótimos globais de equações não-lineares através dos métodos estocásticos R2W e MR2W Melicia Cortat, Diógenes Câmara, Antônio José Silva Neto 12h Algoritmos Branch e Bound para o problema de sequenciamento em uma única máquina Wellington Donizeti Previero, Carlos Eduardo Ferreira 44 CNMAC 2014 XXXV Congresso Nacional de Matemática Aplicada e Computacional Sessões Técnicas Quarta - 10 de Setembro - 11:00 às 12:30 h Sala Álamo 2 ST-15 Coordenador: Mauro Gil 11h Solução direta para um problema inverso de autovalores e autovetores de segunda ordem João Batista da Paz Carvalho 11h20min Derivada Topológica em um Problema Inverso de Reconstrução Suelen Rocha, Antonio André Novotny 11h40min Derivada Topológica de Primeira e Segunda Ordem no Problema de Tomografia por Impedância Elétrica Andrey Ferreira, Antonio André Novotny Sala Cedro 1 ST-17 Coordenador: César Guilherme de Almeida 11h Um algoritmo de agrupamento heterogêneo para formação de grupos de aprendizagem Daniel F. Santos, Luziane F. de Mendonça, Marcello Teixeira 11h20min O Jogo MAX_MIN Estatístico José Marcos Lopes 11h40min O problema que tornou Euler famoso Jairo Gayo, Roy Wilhelm Probst 45 08 a 12 de setembro de 2014 Centro de Convenções do Hotel Praia Mar Natal - RN Sessões Técnicas Quinta - 11 de Setembro - 8:00 às 9:00 h Sala Cedro 2 ST-3 Coordenador: Luiz Mariano Carvalho 8h Visualização Cientifica Interativa de Dados de Radar Meteorológico Tiago Martinuzzi Buriol 8h20min Aggregating
Compartilhar