| 1. | 2025-Atual. C*-álgebras associadas a grafos e dinâmica simbólica Descrição: Muitas estruturas matemáticas são provenientes da física e o papel da matemática pura é fazer um estudo minucioso destas estruturas com o intuito de desenvolver novas ferramentas a serem usadas nas áreas correlatas. Este projeto lida principalmente com álgebras de operadores (que surgiram como um formalismo para estudar mecânica quântica) e sistemas dinâmicos (que são usados para descrever situações em que há uma evolução temporal). A interação entre as duas áreas se mostra muito frutífera uma vez que características dinâmicas são refletidas algebricamente e vice-versa. Além disso, uma grande subárea dentro da álgebra de operadores é a geometria não-comutativa que vem motivada pela não-comutatividade presente no princípio da incerteza de Heisenberg. De particular interesse na geometria não-comutativa estão as superfícies quânticas que são C*-álgebras que aparecem como deformação da álgebra de funções de objetos clássicos. O objetivo geral do projeto é o de desvendar novas ferramentas e relações entre sistemas dinâmicos e álgebras de operadores, fazendo um paralelo entre os casos clássicos e quânticos. Para isso serão utilizados objetos combinatórios como grafos para descrever a estrutura das C*-álgebras em questão de uma maneira mais visual, assim como serão utilizados diversas maneiras de construir e estudar C*-álgebras, tais como grupoides, semigrupos inversos e ações parciais.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (2) . Integrantes: Rodrigo Bissacot Proença - Integrante / Gilles Gonçalves de Castro - Coordenador / NÓRA SZAKÁCS - Integrante / Piotr M. Hajac - Integrante / FRANCESCO D?ANDREA - Integrante / Natã Machado - Integrante / Paulinho Demeneghi - Integrante / Giuliano Boava - Integrante / Kevin Aguyar Brix - Integrante / Thiago Costa Raszeja - Integrante / Iván Díaz-Granados - Integrante / Vinícius Marcondes - Integrante / Eun Ji Kang - Integrante / Stephan Wagner - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Rodrigo Bissacot Proença. |
| 2. | 2025-Atual. Call HORIZON-MSCA-2024-DN-01. Title: SUstainable and REconfigurable ROBots for green manufacturing (Acronym SureROB). ID 101226856. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Alexandre Kawano - Integrante / Mohamed Ichchou - Integrante / Stephan Rinderknecht - Coordenador. Membro: Alexandre Kawano. |
| 3. | 2025-Atual. Dinâmica não linear, interações de ondas e estruturas coerentes em oscilações atmosféricas e solares Descrição: Fenômenos atmosféricos e solares como a Oscilação Madden Julian, oscilação quase bienal e ciclos magnéticos solares tem impactos socioeconômicos e ambientais dramáticos. Os mecanismospor trás de tais fenômenos envolvem processos turbulentos com múltiplas escalas espaciais etemporais, tornando-os difíceis de compreender e prever. Os avanços na compreensão dos mecanismos que regem estes fenômenos dependem da simbiose entre a análise estatística dos dadosobservacionais, modelagem física, análise rigorosa de modelos idealizados e soluções numéricasdas equações que os regem.Este é um projeto multidisciplinar na interface entre a matemática aplicada, as ciências atmosféricas e a física solar que visa explorar os fenômenos acima mencionados com uma abordagemunificadora, com particular enfoque no papel da não linearidade, no surgimento de estruturas coerentes e na excitação de oscilações de baixa frequência. Para atingir este objetivo, empregaremos técnicas de sistemas dinâmicos, equações diferenciais parciais, mecânica hamiltoniana, processos estocásticos e análise numérica e métodos estatísticos para análise de dados.Em particular abordaremos os seguintes problemas neste projeto:(i) o papel de interações de ondas atmosféricas equatoriais na iniciação e propagação da oscilação Madden-Julian, (ii) o papel das ondas de Rossby solares no clima espacial, suas instabilidades, interações não lineares, (iii) O papel da forçante solar na excitação de ondas na estratosfera.O projeto será desenvolvido em colaboração com pesquisadores nacionais e internacionaisespecialistas nas áreas de ondas não lineares, análise numérica, dinâmica atmosférica, física solar e dinâmica não linear. Dada a natureza multidisciplinar do projeto, esperamos também contribuir para a formação de alunos com forte base matemática aplicada às ciências atmosféricas/solares através do oferecimento de cursos e orientação.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (2) / Doutorado: (1) . Integrantes: Breno Raphaldini Ferreira da Silva - Coordenador. Membro: Breno Raphaldini Ferreira da Silva. |
| 4. | 2025-Atual. Dinâmica não linear, interações de ondas e estruturas coerentes em oscilações atmosféricas e solares Descrição: Fenômenos atmosféricos e solares como a Oscilação Madden Julian, oscilação quase bienal e ciclos magnéticos solares tem impactos socioeconômicos e ambientais dramáticos. Os mecanismospor trás de tais fenômenos envolvem processos turbulentos com múltiplas escalas espaciais etemporais, tornando-os difíceis de compreender e prever. Os avanços na compreensão dos mecanismos que regem estes fenômenos dependem da simbiose entre a análise estatística dos dadosobservacionais, modelagem física, análise rigorosa de modelos idealizados e soluções numéricasdas equações que os regem.Este é um projeto multidisciplinar na interface entre a matemática aplicada, as ciências atmosféricas e a física solar que visa explorar os fenômenos acima mencionados com uma abordagemunificadora, com particular enfoque no papel da não linearidade, no surgimento de estruturas coerentes e na excitação de oscilações de baixa frequência. Para atingir este objetivo, empregaremos técnicas de sistemas dinâmicos, equações diferenciais parciais, mecânica hamiltoniana, processos estocásticos e análise numérica e métodos estatísticos para análise de dados.Em particular abordaremos os seguintes problemas neste projeto:(i) o papel de interações de ondas atmosféricas equatoriais na iniciação e propagação da oscilação Madden-Julian, (ii) o papel das ondas de Rossby solares no clima espacial, suas instabilidades, interações não lineares, (iii) O papel da forçante solar na excitação de ondas na estratosfera.O projeto será desenvolvido em colaboração com pesquisadores nacionais e internacionaisespecialistas nas áreas de ondas não lineares, análise numérica, dinâmica atmosférica, física solar e dinâmica não linear. Dada a natureza multidisciplinar do projeto, esperamos também contribuir para a formação de alunos com forte base matemática aplicada às ciências atmosféricas/solares através do oferecimento de cursos e orientação.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (2) / Doutorado: (1) . Integrantes: Breno Raphaldini Ferreira da Silva - Coordenador. Membro: Breno Raphaldini Ferreira da Silva. |
| 5. | 2025-Atual. Modelos Epidemiológicos e Imunoepidemiológicos Descrição: Fapesp 2025/14612-5 R$64.790,00. O desenvolvimento de novos modelos epidemiológicos que incorporem comportamento humano, grupos de risco, tempo desde a infecção (idade de infecção) e a dinâmica imuno-epidemiológica constitui uma necessidade urgente para aprimorar a compreensão, a previsão e o controle de doenças transmissíveis. Em paralelo, são requeridas novas técnicas de modelagem e análise, especialmente no âmbito de modelos híbridos e multiescalares. Nesse contexto, propormos estudar duas doenças: dengue e varíola dos macacos. A primeira (dengue) apresenta novos desafios, como a modelagem do controle biológico por meio da liberação enviesada por sexo de mosquitos infectados com {\it Wolbachia}, a aplicação de vacinas em crianças e adolescentes de 10 a 14 anos, e a compreensão da interação entre os quatro sorotipos do vírus da dengue, tanto do ponto de vista imunológico quanto epidemiológico. A segunda (varíola dos macacos) representa um exemplo concreto de vacinação direcionada a grupos de risco e da influência da informação - ou da desinformação - sobre a adesão a essa estratégia de controle.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (1) . Integrantes: Cláudia Pio Ferreira - Coordenador. Membro: Cláudia Pio Ferreira. |
| 6. | 2025-Atual. Projeto Temático FAPESP - Teorias Ergódica e Qualitativa dos Sistemas Dinâmicos III Descrição: Este projeto é uma continuação de dois projetos temáticos anteriores: Teorias Ergódica e Qualitativa dos Sistemas Dinâmicos (processo 2013/24541-0) e Teorias Ergódica e Qualitativa dos Sistemas Dinâmicos II (processo 2019/10269-3). Nosso objetivo é estudar problemas na área dos sistemas dinâmicos, suas conexões com outras áreas, como Análise, Teoria dos Números e Topologia. Os problemas a serem estudados neste projeto situam-se em duas grandes linhas de pesquisa: Sistemas Dinâmicos Contínuos e Sistemas Dinâmicos Discretos. A instituição sede do projeto é a UNESP, Campus de São José do Rio Preto. Nesta terceira edição, a UNICAMP atuará como instituição parceira no desenvolvimento do projeto temático. A equipe de pesquisadores principais é composta por pesquisadores com relevante produção científica, experiência na orientação de doutorados e na coordenação de projetos. Mantiveram-se os pesquisadores principais das edições anteriores (Buzzi, Messaoudi e Silva - UNESP) e foram incluídas novas lideranças científicas como pesquisadores principais (Novaes, Garibaldi e Varão) oriundos da UNICAMP. Estes novos pesquisadores principais têm se destacado tanto na produção de resultados no tema da pesquisa proposta quanto na internacionalização, formação de recursos humanos e coordenação de novos projetos. Numa etapa posterior, caso ocorra o enquadramento desta proposta, cerca de 17 novos pesquisadores serão incluídos no projeto completo. Os pesquisadores associados a serem incluídos são jovens pesquisadores de outros campi da UNESP, de outras instituições do estado de São Paulo, além de pesquisadores experientes do Brasil e do exterior que são colaboradores frequentes dos pesquisadores principais. Assim como nas edições anteriores, o projeto será orientado pelas seguintes ações: i) intercâmbio nacional e internacional com professores visitantes de alto nível tanto de instituições brasileiras como de instituições internacionais de países como França, Espanha, Portugal, Inglaterra, Estados Unidos, Bélgica e Chile; ii) participação em congressos e visitas a centros de excelência; iii) publicação dos resultados obtidos em periódicos de reconhecido valor científico; iv) formação e qualificação de recursos humanos.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Ana Cristina de Oliveira Mereu - Integrante / Paulo Ricardo da Silva - Integrante / Eduardo Garibaldi - Integrante / Claudio Aguinaldo Buzzi - Coordenador / Douglas Duarte Novaes - Integrante / José Regis Azevedo Varão Filho - Integrante. Membro: Ana Cristina de Oliveira Mereu. |
| 1. | 2024-Atual. A Matemática na Educação Básica Descrição: O ensino da matemática perpassa com diversos aspectos, dentre eles: a sólida formação do professor, o saber a matemática; atuação crítica em termos dos conteúdos, metodologias e recursos didáticos dentro e fora da sala de aula. Neste projeto busca-se contribuições nesta linha. Objetivos: Melhoria do ensino de Matemática na educação básica. Formação sólida de professores para atuação na educação básica que atuem de forma ainda mais protagonista e incentivadora de seus alunos. Abordar temas relevantes e pertinentes para o ensino de matemática. Análise crítica e propositiva de conteúdos, metodologias e recursos didáticos e pertinentes a educação básica com foco na área de matemática. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Gleiciane da Silva Aragão - Coordenador / Gustavo da Silva Araújo - Integrante. Membro: Gleiciane da Silva Aragão. |
| 2. | 2024-Atual. Anisotropic ViscoElastic Numerical Inversion Research (AVENIR) Total Energies/ANP Descrição: The objective of this project is to build highly efficient, domain-specific language software tools to perform full waveform inversion (FWI) based on three-dimensional, tilted transverse isotropic (TTI) viscoelastic wave modelling. This research is carried out in association with the RD project registered at ANP sponsored by Total Energies under the ANP RD levy as Compromisso de Investimentos com Pesquisa e Desenvolvimento.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Pedro da Silva Peixoto - Integrante / Bruno S. Carmo - Coordenador / Hermes Senger - Integrante / Edson Satoshi Gomi - Integrante / João Medeiros de Araújo - Integrante. Financiador(es): (Total Energies / Agência Nacional do Petróleo) - Auxílio financeiro. Membro: Pedro da Silva Peixoto. |
| 3. | 2024-2026. Biological Control of Insect Vectors and Insect Pests (BIO-CIVIP) Descrição: CAPES/STIC-AMSUD 88881.878875/2023-01 R$ 120.000,00. The present project is concerned with the mathematical study of new strategies to control the spread of some insects. Two types of applications are especially addressed: on the one hand, the control of mosquitoes that may transmit established or potentially (re)emerging diseases, such as {\it Aedes aegypti} and {\it Aedes albopictus}, vectors of dengue, chikungunya and Zika; and on the other hand, the control of pests that pose significant threat to agriculture, such as {\it Cydia pomonella}, which feeds on fruits, {\it Ceratitis capitata} and {\it Bactrocera dorsalis}, which oviposit under the skin surface of their host fruits, or {\it Scaphoideus titanus}, which acts as vector in the transmission of Flavescence dorée, one of the most important and damaging phytoplasma diseases of the grapevine. The spread of all these plagues is likely to become a still more important issue in the future, including in the temperate zones of the world, due to global climate changes. Due to the widespread resistance to the insecticides traditionally used to control these species, and also to their impact on the biodiversity, the use of alternative control techniques is now considered. Biological control methods use beneficial insects (predators, parasitoids, competitors) or pathogens that they transport (bacteria, fungi or viruses) to control unwanted insects, weeds, or diseases, and usually target specific species of interest, without harming other organisms. These biological control techniques aim either at reducing or eliminating an insect population in a locality, or at replacing it by a harmless population. How to achieve practically successful release campaign on a large scale and for a limited cost is still a source of some central questions, which are the subject of this study. We will focus more specifically on issues related to the modelling of some sampled applications, on the spatial spreading of the treatment, on the definition of successful and cost-effective release schedule by optimal and non-optimal control approaches, and on the evaluation of the qualitative and quantitative effects of the performance hindrances (depending on the situation: unintentional release of sterile females, shortcomings of the sterilization process, the disappearance of the trait rendering the population harmless, etc.).. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) / Doutorado: (3) . Integrantes: Cláudia Pio Ferreira - Coordenador / Helenice de Oliveira Florentino Silva - Integrante / Lilian S Sepulveda - Integrante / Fernando L. P. Santos - Integrante / Olga Vasilieva - Integrante / KRAENKEL, ROBERTO ANDRÉ - Integrante / C Schaerer - Integrante / N Vauchelet - Integrante / Y Dumont - Integrante / P-A Bliman - Integrante / H Ramírez - Integrante / P Aguirre - Integrante / M Souza - Integrante / C Peixoto - Integrante / MC Pereira - Integrante / SM Oliva - Integrante. Membro: Cláudia Pio Ferreira. |
| 4. | 2024-Atual. Dinâmica e Geometria em baixas dimensãoes Descrição: Projeto Temático Fapesp. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Fábio Armando Tal - Coordenador / Salvador Addas-Zanata - Integrante / Freire, Ricardo S. - Integrante / Andre de Carvalho - Integrante / Edson Vargas - Integrante / Eduardo Colli - Integrante / Edson de Faria - Integrante / Clodoaldo Grotta Ragazzo - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de SP - Auxílio financeiro. Membro: Fábio Armando Tal. Descrição: O presente projeto dá continuidade a três Projetos Temáticos anteriores apoiados pela FAPESP com números 2006/03829-2, 2011/16265-8, e 2016/25053-8. O grupo de pesquisa inclui os pesquisadores já estabelecidos, trabalhando em sistemas dinâmicos e geometria em baixas dimensões. Pesquisadores mais jovens serão incluídos posteriormente, como pesquisadores associados. As áreas de que trata o projeto são: - Dinâmica em dimensão 2: a) Dinâmica de homeomorfismos e difeomorfismos do toro. b) Dinâmica topológica e diferenciável em superfícies c) Transformações de Hénon. - Topologia e geometria de 3-variedades e conexões com dinâmica em dimensão 2. - Teoria de Teichmuller e suas conexões com dinâmica e geometria em dimensões baixas. - Endomorfismos do intervalo, transformações críticas do círculo, renormalização e o espaço de parâmetros. - Teoria ergódica contínua e diferenciável de medidas finitas e infinitas. A presente proposta tem como objetivo dar continuidade ao trabalho que vimos fazendo e também ampliar as atividades do grupo, atraindo pós-doutores, alunos e visitantes, além de ampliar o leque de temas nos quais temos trabalhado.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: André Salles de Carvalho - Integrante / Edson de Faria - Integrante / Edson Vargas - Integrante / Clodoaldo Ragazzo - Integrante / Salvador Addas Zanata - Integrante / Fabio Armando Tal - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: André Salles de Carvalho. |
| 5. | 2024-Atual. Dinâmica populacional de insetos de importância econômica (bolsa produtividade CNPq e RDIDP, Unesp) Descrição: O projeto propõe modelar matematicamente ou computacionalmente populações de insetos de importância agrícola e epidemiológica em cenários sem e comalgum tipo de controle, por exemplo aplicação periódica de inseticidas. Ferramentasjá bem estabelecidas da área de sistemas complexos (equações diferencias, modelosbaseados em agentes, estudo de pontos de equilibrio e estabilidade, diagramas de bi-furcação, existência de ondas viajantes, soluções periódicas, etc.) serão utilizadas como objetivo de responder questões de importância biológica. Em particular, queremos(a) estudar o impacto de fatores abióticos na dinâmica populacional de insetos, (b)modelar a evolução do simbionte Wolbachia-Aedes aegypti (c) avaliar a heterogeneidade espacial em cenários de liberação de agentes biológicos de controle e feromôniosde captura e confundimento. Resultados analíticos e numéricos serão obtidos. Oprojeto tem grande aderência as áreas estratégicas de saúde e desenvolvimento sustentável.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (2) . Integrantes: Cláudia Pio Ferreira - Coordenador. Membro: Cláudia Pio Ferreira. |
| 6. | 2024-Atual. Ensino Básico de Matemática e Aplicações Descrição: Este projeto de pesquisa tem como objetivo central integrar os membros do corpo docente do PROFMAT e professores externos ao programa, a fim de promover atividades que contribuam com a melhoria do ensino básico de matemática. Pretende-se desenvolver trabalhos com foco no ensino, numa perspectiva crítica e reflexiva, abordando propostas que possam auxiliar de forma significativa no processo de ensino e aprendizagem em Matemática, através das tecnologias de informação e comunicação (recursos tecnológicos), das estratégias voltadas ao exercício da docência, do aprofundamento do conhecimento matemático e da valorização da interdisciplinaridade. O projeto reúne pesquisadores, docentes e discentes do programa, bem como professores da educação básica que desejem se integrar com os membros deste projeto nas atividades de pesquisas desenvolvidas. Buscamos, dessa forma, estreitar laços entre educadores/pesquisadores do Ensino Superior e Ensino Básico.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Gleiciane da Silva Aragão - Coordenador / Gustavo da Silva Araújo - Integrante. Membro: Gleiciane da Silva Aragão. |
| 7. | 2024-2024. Fapesp 2023/08152-6. Pesq. Visitante. Problemas inversos e design ótimo de teias de aranha assimétricas. Descrição: A teia de aranha é um complexo sistema biológico-mecânico que tem despertado crescente interesse na literatura científica as últimas décadas. Suas principais funções são a captura de presas e informações sensoriais, e o estudo dos mecanismos que orientam a aranha na captura de presas e coleta de informações através da vibração da web tem sido - e realmente é - um dos principais objetivos da pesquisa neste campo. As questões básicas colocadas pelos pesquisadores dizem respeito principalmente a: (i) como as aranhas pode discriminar entre o grande conjunto de vibrações transmitidas pela teia e, particularmente, entre sinais produzidos por presas e sinais irrelevantes vibrações como as geradas pelo vento; e (ii) como a aranha ajusta a mecânica da teia ao ambiente condições em que a teia é construída, como, por exemplo, o pré-esforço de tração forças a serem designadas em locais específicos da teia, a fim de para melhorar sua capacidade de captura de presas. Numa série de trabalhos recentes, também dos autores, foram dadas algumas respostas parciais a estas questões, principalmente através do desenvolvimento de um modelo mecânico de teia de aranha descrito como uma membrana contínua sujeita a um estado de pré-tracção adequado. Todos os resultados disponíveis na literatura, tanto para modelagem quanto para o problema inverso de identificação de presas, foram obtidos apenas para teias axialmente simétricas. Nesta pesquisa, abandonamos a hipótese da simetria axial e nos deparamos com o caso da assimetria vertical, situação encontrada em quase todas as teias orbiformes verticais. Esta importante extensão levantará questões não triviais na modelagem mecânica e no projeto ideal de pré-trações. O estudo do problema inverso correspondente de detecção e localização de uma presa a partir de dados dinâmicos também promete ser altamente não trivial e exigirá o desenvolvimento de ferramentas analíticas novas e originais.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Alexandre Kawano - Coordenador / Antonino Morassi - Integrante. Membro: Alexandre Kawano. |
| 8. | 2024-Atual. Fapesp 2023/08153-2. Auxílio à Pesquisa. Identificação de fontes de vibração em sistemas elásticos compostos, com considerações da interação acústica entre fluido e estrutura. Descrição: Esta proposta se enquadra na área de Problemas Inversos, campo de estudo da Matemática Aplicada. Na presente proposta de investigação, visamos estabelecer novos resultados matemáticos concernentes à identificação de fontes de vibração em meios elásticos, como estruturas metálicas, combinações de componentes estruturais e estruturas metálicas submersas em meios aquáticos. Supõe-se que o problema seja situado em $[0,+\infty[ \times \overline{\Omega}\subset \R\times \R^3$, e que fontes gerem um campo de deslocamentos. Para várias situações, pretende-se demonstrar que dado um aberto no espaço $\omega\subset\Omega$, existe um intervalo de tempo $[0,T_0]\subset \R$ tal que a observação do campo de deslocamentos em $[0,T[\times \omega$ permita a identificação unívoca das fontes de vibração e ruído.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Alexandre Kawano - Coordenador / Antonino Morassi - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Alexandre Kawano. |
| 9. | 2024-Atual. Marinha do Brasil. Problemas Inversos. Detecção de fontes de vibração em meios contínuos" Descrição: Pesquisa realizada na École Centrale de Lyon - França no âmbito do acordo de Cooperação Técnica 62000/2022-001/00 entre a Escola Politécnica e a Marinha do Brasil.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Alexandre Kawano - Coordenador. Membro: Alexandre Kawano. |
| 10. | 2024-Atual. Métodos Computacionais de Otimização (Temático da Fapesp 2023/08706-1) Descrição: Este projeto versa sobre aspectos teóricos, computacionais e aplicações de Otimização. O projeto tem como objetivo o desenvolvimento, análise teórica, implementação e aplicação de algoritmos para os diferentes aspectos da Otimização, com ênfase na Otimização Contínua. O projeto se apoia em aplicações com as quais a equipe está familiarizada. Enfatizam-se algoritmos com sólida base teórica, o que envolve a caracterização precisa dos problemas abordados, com implementação computacional cuidadosa e competitiva, e conexões com Engenharia e Ciências Aplicadas. A equipe do projeto atua no ambiente científico brasileiro há mais de 40 anos, e é sensível às novas tendências e às aplicações modernas da Otimização. Ao longo dos anos, a equipe tem realizado contribuições significativas nas áreas que envolvem métodos de decomposição, métodos quase-Newton, programação quadrática sequencial, métodos de Lagrangiano Aumentado, Restauração Inexata, problemas de grande porte, condições sequenciais de otimalidade, minimização sem derivadas, complexidade algorítmica, reconstrução de imagens e aprendizagem de máquina, entre outras. A experiência acumulada, assim como a incorporação e a renovação do time de pesquisadores no projeto, habilita a equipe a atacar problemas nos quais a função objetivo é difícil, impossível de avaliar, ou de existência questionável, o número de variáveis é enorme ou desconhecido e, finalmente, a incerteza se estende às restrições. A abordagem destes problemas exige necessariamente enfoques interdisciplinares e o impacto almejado é, ao mesmo tempo, científico, econômico e social.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Coordenador / José Mario Martínez - Integrante / Roberto Andreani - Integrante / Paulo Jose da Silva e Silva - Integrante / Francisco A. M. Gomes - Integrante / Leandro Martínez - Integrante / Luis Felipe Bueno - Integrante / Gabriel Haeser - Integrante / Luiz Leduíno de Salles Neto - Integrante / Daiana dos Santos Viana - Integrante / Thadeu Alves Senne - Integrante / Carlile Campos Lavor - Integrante / Thiago Siqueira Santos - Integrante / Tiara Martini dos Santos - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Ernesto Julián Goldberg Birgin. |
| 11. | 2024-2029. Métodos Computacionais de Otimização (Temático FAPESP) Situação: Concluído; Natureza: Pesquisa. Integrantes: Gabriel Haeser - Integrante / Martínez, J. M. - Integrante / Ernesto G. Birgin - Coordenador / Roberto Andreani - Integrante / SILVA, P. J. S. - Integrante / carlile lavor - Integrante. Membro: Gabriel Haeser. |
| 12. | 2024-2025. Nested immuno-epidemiological modeling of the dynamics of intra- and inter-host infections ( Cátedras Franco-Brasileiras das Universidades do Estado de São Paulo) Descrição: (mobilidade Brasil-França) Duas passagens aéreas e duas bolsas. Para um pesquisador Frances e um Brasileiro. Periodo de permanencia em cada Pais - 45 dias). Although epidemiological models are very efficient for studying the propagation of infectious diseases, they are often fragmented, focusing on particular aspects of the dynamics of infection: between (inter) -host modeling, usually called epidemiological modeling (SIR, SIS models, etc), or within (intra) -host modeling (immune response to infection, mutation of the virus, etc). Some models also take into account the movement of individuals (agent-based approach or reaction-diffusion systems). However, to better understand the spread of these diseases in a population, it is interesting to consider both scales: between hosts and within hosts. Indeed, the pathogen interacts with the host's immune system and changes continuously. The long-term dynamics of the disease can be the clearance (or not) of the pathogen, but the time that this clearance occurs is important for disease transmission and its control at the population level. For example, the propensity of the host to transmit or die from the pathogen depends on the amount of pathogen in the system and the intensity of the immune response. The approach that combines the intra-host immunological model with the inter-host epidemiological model is called nested immuno-epidemiological modeling.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Cláudia Pio Ferreira - Coordenador / MANCERA, PAULO F.A. - Integrante / Mostafa Adimy - Integrante / Laurent Pujo-Menjouet - Integrante. Financiador(es): Embaixada da França (SP) - Outra / Inria - Bolsa / Universidade Estadual Paulista Júlio de Mesquita Filho - Bolsa. Membro: Cláudia Pio Ferreira. |
| 13. | 2024-Atual. Projeto Tematico FAPESP Din. em baixas dimensoes Situação: Em andamento; Natureza: Pesquisa. Integrantes: Salvador Addas Zanata - Coordenador / Clodoaldo Grotta Ragazzo - Integrante / Fabio Armando Tal - Integrante / Edson de Faria - Integrante / André de Carvalho - Integrante / Edson Vargas - Integrante / Ricardo Freire - Integrante. Membro: Salvador Addas Zanata. |
| 1. | 2023-Atual. Estudos de atribuição das mudanças climáticas e geração de cenários e de indicadores de impacto em suporte à planejamentos de medidas de adaptação regional e local - CNPq/MCTI/FNDCT - Mudanças Climáticas Descrição: Este projeto tem por objetivo geral investigar causas e consequências das mudanças climáticas globaise de mudanças de uso da terra no Brasil, produzindo cenários e indicadores de impactos locais, deforma a subsidiar políticas de mitigação e adaptação no país. Será buscado o aprimoramento dacompreensão dos processos geradores das mudanças climáticas, o desenvolvimento de ferramentasde modelagem numérica adequada e a realização de estudos detalhados dos impactos setoriais emconsequência dos cenários de aquecimento global e alterações do uso da terra sobre o Brasil.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Pedro da Silva Peixoto - Integrante / Chou Sin Chan - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Pedro da Silva Peixoto. |
| 2. | 2023-2026. Métodos Computacionais de Otimização (Universal CNPq - USP/Unicamp/UNIFESP/UFES/FGV/UFSC) Situação: Concluído; Natureza: Pesquisa. Integrantes: Gabriel Haeser - Coordenador. Membro: Gabriel Haeser. |
| 3. | 2023-Atual. Métodos Computacionais de Otimização (Universal CNPq Chamada 2023) Situação: Em andamento; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / José Mario Martínez - Integrante / Roberto Andreani - Integrante / Alfredo Noel Iusem - Integrante / Vincent Guigues - Integrante / Luis Felipe Bueno - Integrante / Gabriel Haeser - Coordenador / Roger Behling - Integrante / SANTOS, DAIANA O. - Integrante / Luiz Rafael dos Santos - Integrante / Mituhiro Fukuda - Integrante / Leonardo Delarmelina Secchin - Integrante. Financiador(es): Associação dos Servidores do CNPq - Auxílio financeiro. Membro: Ernesto Julián Goldberg Birgin. |
| 4. | 2023-Atual. Métodos computacionais de otimização (Universal CNPq) Situação: Em andamento; Natureza: Pesquisa. Integrantes: Mituhiro Fukuda - Integrante / Ernesto Julián Goldberg Birgin - Integrante / Gabriel Haeser - Coordenador / Roberto Andreani - Integrante / Roger Behling - Integrante / José Mario Martínez - Integrante / Daiana Oliveira dos Santos - Integrante / Vincent Guigues - Integrante / Alfredo Iusem - Integrante / Luiz Felipe Bueno - Integrante / Leonardo Secchin - Integrante / Luiz Rafael Santos - Integrante. Membro: Mituhiro Fukuda. |
| 5. | 2023-Atual. Numerical methods for highly complex spatial-temporal dynamical models - CNPq Productivity Grant Descrição: Research in numerical methods for problems with high complexity space-time dynamics, with an emphasis in problems related to atmosphere dynamics, a central piece of weather and climate models. The target is in the development and analysis of numerical methods for quasi-uniform spherical grids and the exploration of the time dimension as source of added parallelism, aiming at methods that are adequate for the new generation of supercomputers that demand massively parallel processing.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Pedro da Silva Peixoto - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Membro: Pedro da Silva Peixoto. |
| 6. | 2023-2024. Numerics-turbulence interactions in atmospheric models - SPRINT-FAPESP Descrição: This project aims to bring together research teams from the University of Exeter and the University of São Paulo to facilitate further collaborative research in improving the representation of high-resolution dynamics in atmospheric models.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Pedro da Silva Peixoto - Coordenador / Georgios Efstathiou - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Pedro da Silva Peixoto. |
| 7. | 2023-2024. Prior Information in Neural Networks Descrição: This project aims to, through the development of informed NN, studyhow prior information may be incorporated into NN during training, in order to betterunderstand their behavior, to enhance their performance as learning models and to applyNN as numerical solvers of scientific problems. In special, we will study how optimizationconstraints may be inserted into the training of NN to insert prior information. We expectwith this research to develop methods of constraining NN that enable the construction ofa Learning Space for NN.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Diego Ribeiro Marcondes - Coordenador / Ulisses Braga-Neto - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Membro: Diego Ribeiro Marcondes. |
| 8. | 2023-Atual. Problemas de corte, empacotamento, dimensionamento de lotes, programação da produção, roteamento e localização e suas integrações em contextos industriais e logísticos (Temático da FAPESP 2022/05803-3) Descrição: Neste projeto, uma ampla gama de problemas de pesquisa operacional e otimização discreta é estudada com a finalidade de contribuir com abordagens e soluções inovadoras para os problemas de gestão da produção e cadeias de suprimentos. Os problemas a serem estudados neste Projeto Temático são divididos em: (A) problemas de corte, (B) problemas de empacotamento, (C) problemas de dimensionamento de lotes, (D) problemas de programação da produção, (E) problemas de roteamento, (F) problemas de localização e (G) a integração destes problemas. Além do estudo e desenvolvimento de modelos matemáticos relacionados a estes problemas, métodos de solução e algoritmos para resolvê-los serão desenvolvidos e seus desempenhos computacionais serão analisados. No projeto, visa-se também dar continuidade à integração e colaboração de grupos de pesquisadores de diferentes instituições interessados nestas pesquisas, assim como a formação de recursos humanos e a capacitação em pesquisa e desenvolvimento tecnológico. Pretende-se intensificar a cooperação entre o setor produtivo e a academia, com o desenvolvimento de estudos de caso nas empresas. Espera-se, com isso, possibilitar colaborações e parcerias no estudo destes problemas e no desenvolvimento de ferramentas computacionais para serem utilizadas na prática. A equipe deste projeto é formada por vários pesquisadores em diversos estágios de suas carreiras acadêmicas, desde alunos de pós-graduação e recém-doutores, até pesquisadores experientes. Este projeto é uma continuação de outros três Projetos Temáticos FAPESP, sendo o primeiro desenvolvido entre 2006 e 2010, o segundo entre 2010 e 2015 e o terceiro entre 2017 e 2023. Nos dois primeiros projetos foram estudados principalmente problemas em (A), (B), (C) e (D), bem como, algumas integrações destes problemas (G). No terceiro projeto, os problemas em (E) e (F) foram adicionados e o estudo das integrações entre os problemas foi intensificado.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / Débora Pretti Ronconi - Integrante / Flávio Keidi Miyazawa - Integrante / Horácio Hideki Yanasse - Integrante / Marina Andretta - Integrante / Nei Yoshihiro Soma - Integrante / Andréa Carla Gonçalves-Vianna - Integrante / Socorro Rangel - Integrante / Silvio Alexandre de Araujo - Integrante / Vitória Pureza - Integrante / Maristela O. Santos - Integrante / Luis Felipe Bueno - Integrante / Kelly Cristina Poldi - Integrante / Deisemara Ferreira - Integrante / Adriana Cherri - Integrante / Claudio Fabiano Motta Toledo - Integrante / Edilaine Martins Soler - Integrante / Reinaldo Morabito Neto - Coordenador / Pedro Augusto Munari Junior - Integrante / Antônio Augusto Chaves - Integrante / Carlos Alberto Alonso Sanches - Integrante / Cleber Damião Rocco - Integrante / Diego Jacinto Fiorotto - Integrante / Eli Angela Vitor Toso - Integrante / Luiz Leduíno de Salles Neto - Integrante / Mariá Cristina Vasconcelos Nascimento Rosset - Integrante / Maria José Pinto - Integrante / Mônica Maria De Marchi - Integrante / Roberto Fernandes Tavares Neto - Integrante / Victor Claudio Bento de Camargo - Integrante / Carla Taviane Lucke da Silva Ghidini - Integrante / Helio Yochihiro Fuchigami - Integrante / Lehilton Lelis Chaves Pedrosa - Integrante / Leonardo Junqueira - Integrante / Luiz Gustavo Bizarro Mirisola - Integrante / Rafael Crivellari Saliba Schouery - Integrante / Sônia Cristina Poltroniere - Integrante / Washington Alves de Oliveira - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Ernesto Julián Goldberg Birgin. |
| 1. | 2022-2025. Aprendizado de máquina via Espaços de Aprendizado, da Teoria para a Prática: como a falta de dados pode ser mitigada por alto poder computacional Descrição: Este projeto visa sair da teoria sobre Espaços de Aprendizado em direção a prática,convertendo resultados teóricos em métodos para a resolução de problemas práticos, emespecial relacionados a sensoriamento remoto em cidades inteligentes, sob o paradigmade mitigar a falta de dados com alto poder computacional. Para tanto, serão tratadosproblemas de aprendizado de operadores morfológicos, desenvolvimento de algoritmosU-curve para reticulados não-Booleanos, e seleção de arquiteturas em Redes Neurais.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Diego Ribeiro Marcondes - Coordenador / Junior Barrera - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Membro: Diego Ribeiro Marcondes. |
| 2. | 2022-2022. Fapesp. 2021/08936-1. Pesq. Visitante. Identificação de coeficientes na equação da dinâmica da viga de Euler-Bernoulli e da de placa de Kirchhoff-Love a partir de medidas disponíveis. Descrição: O professor Alemdar Hasanov é um dos pesquisadores mais proeminentes na área de problemas inversos, como pode ser visto em seu extenso currículo. A atividade mais importante é o desenvolvimento de uma pesquisa em que novos modelos matemáticos e novas abordagens são propostos para problemas de coeficientes inversos relacionados à vibração de vigas e placas governadas pelas equações dinâmicas de Euler-Bernoulli e Kirchhoff-Love. O professor Hasanov ficará na Escola Politécnica da Universidade de São Paulo, onde terá à disposição os recursos necessários para a realização da pesquisa. Durante os períodos de permanência, ele estará disponível para discutir outras questões com outros pesquisadores da universidade. Para maximizar os benefícios de sua visita a São Paulo, realizaremos seminários.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Alexandre Kawano - Coordenador / Alemdar Hasanov - Integrante. Membro: Alexandre Kawano. |
| 3. | 2022-Atual. Math AMSUD - Dynamical Group Theory Descrição: This project is about group actions on low-dimensional manifolds. This is a subject of intense development nowadays and its aim is to find relations between the algebraic or geometric data of a given group (or class of groups) with the dynamical features that an action of this group (or class of groups) can possibly display. We will focus in two types of problems: - Realization problems: Given a manifold, what are the groups that can act on it ? - Dynamical quality problem: Given an action of a group, how smooth can this action be made ? Can we characterize the dynamics of group actions when a representation exists?. This project will gather together a list of world-leader specialists in the field as well as young PhD and master students. The plan is to strengthen ongoing international collaboration and to engage into new ones as well. Besides small missions covered by this project we will also organize a graduate school in France in 2022 and a Workshop in Chile in 2023.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Fábio Armando Tal - Coordenador / Alejandro Kocsard - Integrante / Michele Triestino - Integrante / Jonathan Conejeros - Integrante / Andres Navas - Integrante / Nicolás Matte Bon - Integrante / Joaquín Brum - Integrante / Maximiliano Escayola - Integrante / Leonardo Dinamarca - Integrante / Carlos Gallegos - Integrante / Juan Alonso - Integrante / Sebastien Alvarez - Integrante / Maxime Wolff - Integrante / Isabel Liousse - Integrante. Membro: Fábio Armando Tal. |
| 4. | 2022-Atual. Numerical methods for a new generation of weather and climate models - FAPESP Research Program on Global Climate Change - Young Investigators - Phase 2 Descrição: Numerical methods for geophysical fluid dynamics are a central piece in weather and climate modeling, furthermore, they are recently going through radical changes to become adequate to the new generation of supercomputers that demands massively parallel processing. This project concerns the investigation of numerical methods, considering time and space discretizations, aiming at adequately solving the equations of atmospheric or ocean dynamical cores. More at: https://bv.fapesp.br/en/auxilios/109850/numerical-methods-for-a-new-generation-of-weather-and-climate-models/. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . Integrantes: Pedro da Silva Peixoto - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Pedro da Silva Peixoto. |
| 1. | 2021-Atual. Centro de Pesquisa em Engenharia - Fitossanidade em Cana de Açúcar Descrição: O Centro de Pesquisa em Engenharia - Fitossanidade em Cana de Açúcar (CPE-FCA) está sendo proposto para desenvolver estudos básicos e aplicados sobre o manejo de pragas da cana de açúcar. Apesar do sucesso histórico dos programas de controle biológico de pragas de insetos e programas de melhoramento para doenças, a indústria sucroalcooleira ainda enfrenta problemas importantes de pragas e doenças. O CPE-FCA é interdisciplinar e multi institucional que será baseado na Universidade Estadual Paulista, campus de Jaboticabal. Os principais subprojetos são: (1) biologia e criação massal de insetos; (2) estudos bioecológicos de insetos pragas; (3) monitoramento de espécies pragas e injúrias; (4) estabelecimento de técnicas ambientalmente amigáveis para o controle de pragas; (5) determinação dos limiares econômicos da infestação de pragas; (6) etiologia e aspectos epidemiológicos da "Síndrome do Murchamento Cana de Açúcar" (SMC) e (7) manejo de doenças da cana de açúcar. Estudos básicos sobre biologia e ecologia do bicudo da cana-de-açúcar, Sphenophorus levis (Vaurie) (Col.: Curculionidae) e da lagarta peluda, Hyponeuma taltula (Schaus) (Lep.: Noctuidae). Esses insetos de solo estão surgindo como importantes pragas e as estratégias de controle adotadas não estão assegurando redução eficiente das populações. Além disso, uma nova doença - SMC - com sintomatologia e distribuição atípica tem ocorrido nos últimos anos. Suspeita-se que seja causada por Colletotrichum falcatum Went., um fungo endêmico da cana de açúcar e responsável pela podridão vermelha. Essas pragas e doenças estão causando grande perda de rendimento e, consequentemente, comprometem o setor sucro-alcooleiro. Os resultados obtidos e as tecnologias desenvolvidas serão transferidos para o setor. Além disso, o CPE-FCA será responsável por compartilhar o progresso dos estudos com o público e estudantes de todos os níveis.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Cláudia Pio Ferreira - Integrante / C P Ferreira - Integrante / Odair Aparecido Fernandes - Coordenador / Antonio de Goes - Integrante / Ricardo Antonio Polanczyk - Integrante / Sergio Antonio de Bortoli - Integrante / Alessandra Marieli Vacari - Integrante / Alfredo Seiiti Urashima - Integrante / Alvaro Jhovaldo Lopez Ayme - Integrante / Arlindo Leal Boica Junior - Integrante / Dagmara Gomes Ramalho - Integrante / Daniel Júnior de Andrade - Integrante / Davi Rodrigo Rossatto - Integrante / David Ferreira Lopes Santos - Integrante / Fernanda Dias Pereira - Integrante / David Luciano Rosalen - Integrante / Guilherme Duarte Rossi - Integrante / Ivan Antônio dos Anjos - Integrante / Ivana Lemos Souza - Integrante / Leonardo Fernandes Fraceto - Integrante / Leticia Henrique de Azevedo - Integrante / Luciana Rossini Pinto Machado da Silva - Integrante / Marcelo da Costa Ferreira - Integrante / Marcos Guimarães de Andrade Landell - Integrante / Mauro Alexandre Xavier - Integrante / Nelson Sidnei Massola Júnior - Integrante / Nilza Maria Martinelli - Integrante / Raphael de Campos Castilho - Integrante / Renata de Lima - Integrante / Rita de Cassia Panizzi - Integrante / Sérgio Florentino Pascholati - Integrante / Silvana Aparecida Creste Dias de Souza - Integrante / Tatiana Noronha de Souza - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Cláudia Pio Ferreira. |
| 2. | 2021-2024. Controle biológico via liberação de mosquitos a aedes aegypti infectados com Wolbachia como uma alternativa ao controle químico. Descrição: Acordos de Cooperação / MinCiencias + Fapesp (R$ 133.081,83). A abordagem mais ampla para reduzir as infecções por arbovírus em humanos é a supressão da população de vetores por meio do uso de controle químico e mecânico. Porém, o uso prolongado e intensivo de produtos químicos promove o desenvolvimento de resistência dos mosquitos aos produtos químicos utilizados. Atualmente, o uso de mosquitos infectados com Wolbachia, uma bactéria que inibe a transmissão de arbovírus, está sendo estudado como um potencial controle biológico. Nesse cenário, a modelagem matemática tornasse um ferramenta necessária para avaliar e comparar o desempenho das cepas de bactérias utilizadas(wMelPop, wMel e wAu). Existem duas maneiras de introduzir insetos portadores de Wolbachia em populações selvagens: (1) por uma única liberação inundativa; (2) por liberações inoculativas periódicas. Em ambos os casos, as seguintes métricas devem ser estimadas: (i) o número total de insetos a serem liberados; (ii) o tempo necessário para o estabelecimento da população invasora; (iii) o tamanho máximo da população de vetor selvagem remanescente que ainda persistente após a invasão. Além do estudo da nova cepa wAu não portadora do fenótipo CI, outra novidade de nossa abordagem é considerar que a transmissão materna é imperfeita, característica que em geral e ignorada em muitos modelos matemáticos existentes. Vale ressaltar que a modelagem e análise matemática combinadas com simulações oferecem um laboratório in silico para explorar diversos cenários com baixo custo. Os resultados do nosso projeto podem fornecer uma base científica essencial para o uso do controle biológico.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Cláudia Pio Ferreira - Coordenador / Helenice de Oliveira Florentino Silva - Integrante / Olga Vasilieva - Integrante. Membro: Cláudia Pio Ferreira. |
| 3. | 2021-2021. Desenvolvimento de métodos eficientes para problemas de otimização linear e não linear cônicas, e suas aplicações Descrição: Os problemas de otimização cônicas são modelos matemáticos nos quais as funções objetivas são minimizadas (ou maximizadas) e as variáveis são vetores finitos sujeitos a restrições descritas por desigualdades de funções e simultaneamente pertencentes a cones. Quando a função for linear, o problema é chamado linear e caso contrário, não linear. Estes problemas são também chamados de convexos se as funções objetivas forem funções convexas (no caso da minimização) e os conjuntos dos pontos viáveis forem convexos. Podemos citar dentre outros exemplos, os problemas de otimização linear, otimização sobre cones de segunda ordem, otimização semidefinida, etc. Na prática, estes problemas podem ser utilizados para resolver problemas nas mais diversas áreas como problemas envolvendo polinômios, problemas em redes de sensores, fluxo de energia ótima, matrizes de densidade reduzida de segunda ordem fermiônicas, problemas de sistema e controle, regressões, etc. Em particular, há um interesse crescente devido às aplicações em aprendizado em máquina. Neste projeto, iremos focar principalmente em três temas referentes à resolução computacional de problemas em otimização cônica. (i) Análise computacional dos diversos métodos de primeira ordem para problemas de otimização convexa não suaves. Existe uma discrepância nos interesses fins para estes métodos entre as áreas de otimização contínua e aprendizado em máquina. Na primeira, o interesse principal é propor métodos que garantam complexidades teóricas para se obter uma solução aproximada do problema. Na segunda, o interesse é propor métodos númericos que possam obter o melhor desempenho para problemas específicos. Portanto o objetivo do projeto é criar um novo paradigma para comparar diversos métodos existentes incluindo os métodos propostos pelo professor visitante que nunca foram implementados e subsequentemente testar em diversos problemas práticos; (ii) Extensão das condições aproximadas de Karush-Kuhn-Tucker para métodos de primeira ordem aplicados a problemas de otimização semidefinida. Estas condições que foram propostos a quase 10 anos tem sido cada vez mais citados pela sua praticidade e por exigir menos condições do que as condições de qualificação tradicionais. O objetivo do projeto referente a este tema é analizar e extender estas condições para métodos que possam resolver problemas de otimização semidefinida de larga escala; (iii) Estudo sobre métodos de subgradiente proximal para problemas de recuperação de fase. Neste último tema, existem dois objetivos: (a) Retirar algumas hipóteses e estender os resultados obtidos num trabalho recente do professor visitante no qual a reformulação é feita por diferenças de funções convexas e a solução por um método de subgradiente proximal; (b) Identificar problemas práticos, que, por exemplo, são frequentes em aprendizado em máquina, onde a reformulação do problema torna-se essencial para se obter um desempenho superior. Fato este comprovado pelo trabalho recente do professor visitante aplicado em problemas de recuperação de fase.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Mituhiro Fukuda - Integrante / Ernesto Julián Goldberg Birgin - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T & A: 1 Membro: Mituhiro Fukuda. |
| 4. | 2021-2024. Paralelização temporal das equações de águas rasas na esfera usando harmônicos esféricos e discretização semi-lagrangeana Descrição: Este projeto de pós-doutorado visa a estudar a resolução numérica de modelos de dinâmica dos fluidos para a atmosfera usando métodos de paralelização temporal. Sendo um componente de complexos modelos climáticos e de previsão do tempo, a modelagem atmosférica deve fornecer soluções numéricas precisas, que são computacionalmente caras; portanto, a paralelização no tempo é uma abordagem promissora para reduzir os elevados tempos de cálculo computational necessários para realizar essas simulações. Nós focaremos na resolução das equações de águas rasas (SWE em inglês) na esfera, um modelo bidimensional largamente utilizado em modelagem atmosférica por ser um modelo simplificado apresentando muitas das propriedades e desafios de modelos mais complexos. As equações serão discretizadas no espaço e no tempo usando respectivamente harmônicos esféricos e um método semi-lagrangeano, duas abordagens populares nesta área. A paralelização temporal será realizada usando diferentes métodos, \eg o parareal, o MGRIT e o PFASST, que foram recentemente aplicados à resolução das SWE na esfera, mas combinados com outras discretizações temporais. Para esta aplicação, a paralelização temporal é particularmente desafiadora pois métodos paralelos no tempo apresentam instabilidades e/ou convergência lenta quanto aplicados a problemas hiperbólicos ou dominados por advecção, como os encontrados na dinâmica atmosférica. Recentemente, a combinação do método parareal com uma discretização semi-lagrangeana mostrou resultados promissores para melhorar sua estabilidade. Portanto, nós consideramos esta abordagem como diretriz neste trabalho e investigaremos melhorias adicionais dos métodos de paralelização temporal. Os métodos propostos serão executados, validados e comparados em sistemas reais de computação de alta performance (HPC).. Situação: Concluído; Natureza: Pesquisa. Integrantes: João Guilherme Caldas Steinstraesser - Integrante / PEIXOTO, PEDRO DA SILVA - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de SP - Bolsa. Membro: João Guilherme Caldas Steinstraesser. |
| 5. | 2021-2023. Practical algorithms for continuous optimization (Regular FAPESP/Conicyt) Situação: Concluído; Natureza: Pesquisa. Integrantes: Gabriel Haeser - Coordenador. Membro: Gabriel Haeser. |
| 6. | 2021-Atual. Sistemas dinâmicos e seus atratores sob perturbação (Projeto Temático) Descrição: Os sistemas dinâmicos que buscamos compreender são aqueles oriundos de equações diferenciais semilineares (ou quasilineares) evolutivas em espaços de Banach, que incluem as equações diferenciais ordinárias e as equações diferenciais parciais semilineares (ou quasilineares) evolutivas. O tratamento que damos a estes modelos tem origem na teoria espectral, via cálculo operacional, teoria de semigrupos de operadores lineares e fórmula da variação das constantes. Desta forma, as equações diferenciais parciais semilineares (e quasilineares) evolutivas que consideramos são equações diferenciais ordinárias em espaços de Banach. De modo geral, estas equações são classificadas em dois grupos, a saber: as equações diferencias parabólicas, quando a parte linear associada gera um semigrupo fortemente contínuo e analítico de operadores lineares (Navier-Stokes, Calor, Fitshugh-Nagumo, Cahn-Hilliard, etc), e as equações diferenciais hiperbólicas, quando a parte linear gera apenas um semigrupo fortemente contínuo de operadores lineares (Retardadas, Onda, Schödinger, etc.). Para as equações estudadas (que incluem ainda diversos acoplamentos dos tipos principais) consideramos ainda o efeito de impulsos (equações impulsivas) ou ruídos (equações randômicas/estocásticas). Em vários desses modelos, o estudo dos problemas elípticos lineares e semilineares tem papel fundamental, particularmente para o estudo das equações diferenciais parabólicas e hiperbólicas semilineares. Por um lado, porque os operadores elípticos lineares compõem (são parte ou todo) o gerador dos semigrupos de operadores lineares limitados envolvidos, e por outro lado, porque as soluções dos problemas elípticos semilineares compõem as soluções estacionárias. Durante vários anos o grupo tem contribuído para construção de uma teoria geral que permita compreender como estes sistemas dinâmicos comportam-se sob perturbação. Nossas contribuições prévias e aquelas desta proposta vão desde a boa colocação local para problemas críticos até a estabilidade estrutural de atratores globais sob perturbações regulares ou singulares, autônomas ou não.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Gleiciane da Silva Aragão - Integrante / Antônio L. Pereira - Integrante / Marcone C. Pereira - Integrante / Sergio Muniz Oliva - Integrante / Alexandre Nolasco de Carvalho - Coordenador / Maria do Carmo Carbinatto - Integrante / Karina Schiabel Silva - Integrante / German Jesus Lozada Cruz - Integrante / Marcus Antonio Mendonça Marrocos - Integrante / Marcelo José Dias Nascimento - Integrante / Everaldo de Mello Bonotto - Integrante / Pedro Tavares Paes Lopes - Integrante / Suzete Maria Silva Afonso - Integrante / Vera Lucia Carbone - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Gleiciane da Silva Aragão. |
| 1. | 2020-Atual. Atratores pullback para uma equação parabólica semilinear com condições de fronteira não lineares e domínios variando com o tempo Descrição: Neste projeto estamos interessados em estudar uma equação diferencial parcial parabólica semilinear com condições de fronteira de Neumann não lineares e domínios variando com o parâmetro tempo. Assumindo que as não linearidades satisfazem condições de crescimento crítico e dissipatividade, vamos verificar a existência e unicidade de soluções dessa equação e provar a existência de pullback atratores. Por fim, tentaremos caracterizar esses pullback atratores.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Gleiciane da Silva Aragão - Coordenador / Lucas Galhego Mendonça - Integrante. Membro: Gleiciane da Silva Aragão. |
| 2. | 2020-2023. CEPID-Shell-RCGI Descrição: Centro de Pesquisa para Inovação em Gás, ou Brazil Research Centre for Gas Innovation (CEPID-Shell-RCGI, Projeto FAPESP 2014/50279-4). Este projeto se dedica ao estudo do Gas como combustível de transição no processo de descabonificação da economia, o efeito ecológico de gases estufa, e metodos apropriados de planejamento e gestao de energia para lidar com estes problemas.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Julio Michael Stern - Integrante / Julio Romano Meneghini - Coordenador / Oswaldo Luiz do Valle Costa - Integrante / Celma de Oliveira Ribeiro, - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de SP - Remuneração. Número de produções C, T & A: 2 Membro: Julio Michael Stern. |
| 3. | 2020-2024. Desvendando a dinâmica espaço-temporal de populações via modelos matemáticos (Bolsista Produtividade) Descrição: Este projeto propõe a aplicação de técnicas de modelagem mate-mática de sistemas complexos para estudar a dinâmica espaço-temporal deinsetos de importância agrícola e epidemiológica. São eles: o mosquito Aedesaegypti e o inseto praga S. frugiperda. Destacam-se quatro questões: (a) como o equilíbrio de coexistência das populações é impactado por fatores abióticos,(b) como a paisagem impacta a dispersão, (c) como a presença simultânea deplantas de algodão, milho e soja afeta a competição entre especies, (d) comoas interações ecológicas afetam a dinâmica de adaptação local.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Cláudia Pio Ferreira - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Membro: Cláudia Pio Ferreira. |
| 4. | 2020-2024. Modelling and Biological Control of Vector-Borne Diseases: the case of Malaria and Dengue Descrição: Sprint 2019 - Fapesp (R$ 100.089,14). Considerando todas as doenças infecciosas espalhadas pelo mundo, as doenças transmitidas por vetores representam mais de 17. Para uma grande parte deles, nenhuma vacina eficiente está disponível e esforços de controle devem ser feitos na população de vetores. Com foco na dengue e na malária, duas doenças transmitidas pelo mosquito vetor e que causam alta morbimortalidade em todo o mundo, este projeto visa modelar a transmissão dessas doenças, seu espalhamento e controle, em um contexto de mudanças climáticas e ambientais. Para isso, os principais fatores por trás da transmissão dessas doenças serão estudados para entendermos quais deles modulam os padrões espaço-temporais observados, principalmente no Brasil. Combinando técnicas de análise de dados com modelos matemáticos e teoria de controle, o plano é trabalhar na análise de dados para definir possíveis fatores bióticos e abióticos que impulsionam a dinâmica da malária e da dengue; estudar e modelar os efeitos da sazonalidade na propagação das doenças; compreender aspectos espaciais da transmissão por meio da configuração de modelos capazes de explicar aspectos não-locais e heterogêneos; e analisar abordagens alternativas de controle de mosquitos, especialmente os métodos de controle biológico baseados em mosquitos estéreis ou na infecção por bactérias que reduzem a capacidade vetorial.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . Integrantes: Cláudia Pio Ferreira - Coordenador / Roberto Andre Kraenkel - Integrante / Sergio Muniz Oliva Filho - Integrante / Mostafa Adimy - Integrante / Pierre-Alxander Bliman - Integrante / Almeida, L. - Integrante / Iggidr, A. - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / INRIA - Auxílio financeiro. Membro: Cláudia Pio Ferreira. |
| 5. | 2020-2022. Provas sem palavras: uma abordagem teórica para o ensino de Geometria Descrição: O presente projeto tem como objetivo fazer uma abordagem teórica das provas sem palavras através de uma pesquisa bibliográfica, buscando compreendê-la como uma potencialidade ao ensino-prendizagem de Geometria. Será discutida a importância da visualização no ensino e os conceitos de teoremas, demonstrações, provas e proposições.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: / Mestrado profissional: (1) . Integrantes: Gleiciane da Silva Aragão - Coordenador / Paola Andrea Gaviria Kassama - Integrante / ANA LUIZA PATRIARCHA CLINIO DA SILVA - Integrante. Número de produções C, T & A: 1 Membro: Gleiciane da Silva Aragão. |
| 1. | 2019-2021. Arboviroses: dinâmica e controle de vetores Descrição: Desenvolvimento e estudo de um modelo matemático para avaliar o uso de mosquitos infectados pela bactéria Wolbachia no controle de arboviroses (Fapesp 18/24058 - 1R$ 24.050,00 + R$2.800,00 - Fapesp 19/23202-4 ). Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Cláudia Pio Ferreira - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Cláudia Pio Ferreira. |
| 2. | 2019-2019. Comparison of models for the simulation of landslide generated tsunamis Descrição: comparison of the numerical simulation of landslide generated tsunamis using the Navier-Stokes, the Boussinesq and the shallow water equations.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (3) . Integrantes: João Guilherme Caldas Steinstraesser - Integrante / Emmanuel Audusse - Integrante / Louis Emerald - Integrante / Philippe Heinrich - Integrante / Alexandre Paris - Integrante / Martin Parisot - Coordenador. Financiador(es): Centre D'Energie Atomique- Saclay - Outra. Membro: João Guilherme Caldas Steinstraesser. |
| 3. | 2019-Atual. Fapesp 2019/14827-0. Identificação de parâmetros em nano-placas Descrição: Neste projeto propomos a análise matemática das equações de nano-placas e a análise de três problemas inversos associados a elas. O primeiro é analisar a possibilidade de se identificar univocamente a distribuição espacial da carga sobre uma nano-placa. O segundo é estudar a possibilidade de se identificar univocamente a distribuição de massa sobre uma nano-placa quando são conhecidos todos os elementos do espectro do operador associado ao fenômeno. O terceiro consiste no identificação da distribuição de massa quando se conhece somente um conjunto finito daquele espectro. Nesse último caso, estimativas de erro devem ser obtidas. Naturalmente, o problema direto da resolução da equação diferencial parcial que descreve a vibração de uma nano-placa será estudado também.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Alexandre Kawano - Coordenador / MORASSI, ANTONINO - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Alexandre Kawano. |
| 4. | 2019-Atual. Geometria de Sistemas de Controle, Sistemas Dinâmicos e Estocásticos Descrição: Este projeto temático deve primordialmente integrar grupos de pesquisa do Imecc-Unicamp voltados ao estudo geométrico de fenômenos dinâmicos. As áreas envolvidas são Sistemas de Controle, Sistemas Dinâmicos, Sistemas Dinâmicos Estocásticos, Teoria de Lie e Geometria Diferencial, que se entrelaçam frequentemente pelo emprego de métodos semelhantes e resultados que se encadeiam. Diversas linhas de pesquisa são incluídas no projeto, que conta com 12 pesquisadores do Departamento de Matemática do Imecc e de outras Instituições do Estado de São Paulo, 36 estudantes de pós-graduação e quase 70 colaboradores de Instituições brasileiras e do exterior. O presente projeto será norteado através das seguintes ações: i) investir na formação de mestres, doutores e pesquisadores, ii) continuar o processo de inserção nacional e internacional dos pesquisadores através de fluxos contínuos de professores visitantes de alto níve, participação em congressos com apresentação de trabalhos, visitas curtas a centros de reconhecida reputação, etc.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Ana Cristina de Oliveira Mereu - Integrante / Marco Antonio Teixeira - Integrante / Ricardo Miranda Martins - Integrante / Mariana Rodrigues da Silveira - Integrante / Ketty Abaroa de Rezende - Integrante / Caio José Colleti Negreiros - Integrante / Luiz Antônio Barrera San Martin - Coordenador / Diego Sebastian Ledesma - Integrante / Eduardo Garibaldi - Integrante / Lino Anderson da Silva Grama - Integrante / Pedro Jose Catuogno - Integrante / Douglas Duarte Novaes - Integrante / Iris de Oliveira Zeli - Integrante / Adriano João da Silva - Integrante / cristian da Silva Rodrigues - Integrante / gabriel ponce - Integrante / José Regis Azevedo Varão Filho - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Ana Cristina de Oliveira Mereu. |
| 5. | 2019-2021. Matemática financeira no ensino médio: uma proposta de ensino contextualizada, utilizando planilhas eletrônicas Descrição: Este projeto tem como objetivo mostrar a importância de um estudo da matemática financeira de forma contextualizada e aprofundada, utilizando recursos tecnológicos, como planilhas eletrônicas, na formação de um cidadão crítico e consciente dos seus deveres e direitos na sociedade capitalista atual. Pretende-se elaborar atividades didáticas que possam auxiliar e inspirar o professor do ensino médio na sua prática docente. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: / Mestrado profissional: (1) . Integrantes: Gleiciane da Silva Aragão - Coordenador / Simone Tanaka de Almeida Prado Campos - Integrante. Número de produções C, T & A: 1 Membro: Gleiciane da Silva Aragão. |
| 6. | 2019-2024. Métodos computacionais de otimização (Temático da Fapesp: 2018/24293-0) Descrição: Nosso grupo atua no ambiente científico brasileiro há 40 anos, e é sensível às novas tendências e às modernas aplicações da Otimização. Ao longo dos anos, este grupo, financiado por sucessivos projetos temáticos da FAPESP, tem realizado contribuições significativas nas áreas que envolvem métodos de decomposição, métodos quase-Newton, programação quadrática sequencial, métodos de Lagrangiano Aumentado, restauração inexata, problemas de porte enorme, condições sequenciais de otimalidade, minimização sem derivadas, complexidade algorítmica, reconstrução de imagens e aprendizagem de máquina, entre outras. A experiência acumulada nestes anos, assim como a incorporação e a renovação do time de pesquisadores no projeto, nos habilita a atacar problemas nos quais a função objetivo é difícil, impossível de avaliar, ou de existência questionável, o número de variáveis é enorme ou desconhecido e, finalmente, a incerteza se estende às restrições. A abordagem destes problemas exige necessariamente enfoques interdisciplinares e o impacto almejado é, ao mesmo tempo, científico, econômico e social.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / José Mario Martínez - Integrante / Lucio Tunes Santos - Integrante / Maria Aparecida Diniz Ehrhardt - Integrante / Roberto Andreani - Integrante / Paulo Jose da Silva e Silva - Integrante / Francisco A. M. Gomes - Integrante / Sandra Augusta Santos - Coordenador / Leandro Martínez - Integrante / Luis Felipe Bueno - Integrante / Gabriel Haeser - Integrante / Fedor Pisnitchenko - Integrante / Thadeu Alves Senne - Integrante. Membro: Ernesto Julián Goldberg Birgin. |
| 7. | 2019-2023. Métodos Computacionais de Otimização (Temático FAPESP) Situação: Concluído; Natureza: Pesquisa. Integrantes: Gabriel Haeser - Integrante / Sandra Augusta Santos - Coordenador. Membro: Gabriel Haeser. |
| 8. | 2019-Atual. Nonsmooth shape optimization and control of free boundary problems Descrição: O objetivo deste projeto é desenvolver novas ferramentas para otimização de forma não suave e controle de problemas de fronteira livre. Em particular, investigaremos as propriedades da derivada de forma distribuída em relação a domínios não suaves.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Antoine Laurain - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Antoine Laurain. |
| 9. | 2019-2021. Sistemas dinâmicos em espaços de dimensão infinita Descrição: Neste projeto, estamos interessados em estudar sistemas dinâmicos gerados por equações diferenciais parciais em espaços de dimensão infinita, que podem ser equações parabólicas ou hiperbólicas, quando os parâmetros envolvidos nas equações são submetidos à perturbações. Os principais parâmetros de interesse são o domínio de definição das soluções e os termos não lineares nas equações, que podem estar concentrados em uma vizinhança da fronteira do domínio. Os sistemas dinâmicos em espaços de dimensão infinita são modelos matemáticos para um grande número de problemas em áreas aplicadas como a física, a biologia, a química, a economia e a engenharia, entre muitas outras. Além disso, os pontos de equilíbrio desses modelos são soluções de equações diferenciais parciais elípticas. Analisamos a existência e unicidade de soluções, o comportamento assintótico dessas soluções, a existência de atratores globais, a continuidade dos equilíbrios e dos atratores em relação à perturbação dos parâmetros.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Gleiciane da Silva Aragão - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Gleiciane da Silva Aragão. |
| 10. | 2019-2020. Sistemas não lineares, bifurcações e aplicações Situação: Concluído; Natureza: Pesquisa. Integrantes: Ana Cristina de Oliveira Mereu - Coordenador / Ricardo Almagro Campanha - Integrante. Membro: Ana Cristina de Oliveira Mereu. |
| 11. | 2019-2023. Thermodynamic formalism of quasi-crystals at zero temperature. (USP-COFECUB) Descrição: Thermodynamic formalism of a dynamical system studies the different states of a system atequilibrium for a fixed temperature. The goal of this project is to study some classical systems of unbounded spins at very low and zero temperatures from an Ergodic point of view.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (2) . Integrantes: Rodrigo Bissacot Proença - Coordenador / Philippe Thieullen - Integrante / Samuel Petite - Integrante / Luísa Bürgel Borsato - Integrante / Gregório Luís Dalle Vedove Nosaki - Integrante / Henrique Corsini - Integrante. Número de produções C, T & A: 2 Membro: Rodrigo Bissacot Proença. |
| 12. | 2019-2022. Towards an operator algebraic construction of algebraic quantum field theories on de Sitter space Situação: Concluído; Natureza: Pesquisa. Integrantes: Christian Dieter Jäkel - Coordenador / Jens Mund - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Christian Dieter Jäkel. |
| 1. | 2018-2021. Algoritmos de segunda-ordem em otimização não linear e outros tópicos (Universal CNPq) Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (5) . Integrantes: Gabriel Haeser - Coordenador. Membro: Gabriel Haeser. |
| 2. | 2018-2019. Condições de otimalidade e algoritmos de segunda-ordem (Regular FAPESP) Situação: Concluído; Natureza: Pesquisa. Integrantes: Gabriel Haeser - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Gabriel Haeser. |
| 3. | 2018-2020. Construção algébrica de modelos em teoria quântica de campos no espaço de de Sitter Descrição: A finalidade do projeto de pesquisa aqui apresentado é a de investigar uma vasta gama de fenômenos físicos através de métodos matemáticos, principalmente de Análise Funcional. Os resultados serão enunciados em forma de teoremas, demonstrações completas dos mesmos enunciadas, e todas as hipóteses físicas a eles subjacentes formuladas de modo explícito. As questões físicas às quais estamos interessados dizem respeito à teoria quântica de campos no espaço de de Sitter. Os métodos matemáticos a serem empregados, para citar os principais, incluem a teoria espectral, a análise complexa, os grupos e suas representações, e, de maneira essencial, as álgebras de operadores. Assim, de um ponto de vista metodológico, esta proposta deve ser vista (e julgada) como um programa em Matemática Aplicada orientado à Física. A Física Matemática é uma das áreas interdisciplinares mais antigas da Ciência e, sem a menor dúvida, uma das de maior sucesso. A descrição matemática clara das leis da natureza, com suas consequências sendo deduzidas de forma rigorosa, pode ser vista como um dos maiores feitos intelectuais de nossa era. A Física Matemática tem desempenhado um papel essencial no desenvolvimento da Matemática e da Física, especialmente quando obstáculos imprevistos são encontrados ao longo do processo de produção de conhecimento. A análise matemática de problemas físicos conduz frequentemente a uma profunda melhora de nosso entendimento da natureza. Também é fato bem documentado que ramos inteiros da Matemática foram (e continuam sendo) criados para se resolver problemas de cunho físico. Ao contrário da crença geral, a identificação e análise de dificuldades de natureza matemática (aspectos mais sutis que são, com grande frequência, desconsiderados pela grande parte dos físicos teóricos) também se mostrou ser uma estratégia eficaz para a descoberta de uma nova Física. A mera possibilidade de alcançar progresso a baixo custo, sem os enormes recursos necessários para a realização de experimentos de alta precisão, fez do financiamento da pesquisa em Física Matemática uma opção atrativa, em tempos de orçamentos reduzidos. O objetivo da minha pesquisa é inventar uma abordagem puramente matemática para a física quântica (relativística), baseada em algumas ferramentas matemáticas avançadas: a análise harmônica não-comutativa, a teoria das (inclusões das) álgebras de von Neumann e a teoria de integração não-comutativa, esta última de desenvolvimento bem recente. Minha expectativa é a de que meu trabalho iniciará um campo inteiramente novo para a Matemática Aplicada, campo esse o qual, espero eu, será perseguido por cientistas por muitos anos a fio. Mais precisamente, meu objetivo é estabelecer a teoria (interagente) de campos como um assunto dentro da Matemática Aplicada, de algum modo similar, em consonância, à construção e classificação das representações unitárias de grupos. Isto já foi realizado para dois casos especiais de teorias quânticas, a saber, para campos não-interagentes, via classificação das representações de energia positiva do grupo de Poincaré, atribuído a Wigner, e para teorias de campo conforme, em termos das representações da álgebra de Virasoro. Eu estou convencido de que todas as teorias quânticas bidimensionais que satisfaçam aos axiomas de Haag-Kastler, que respeitem a estrutura de simetrias de espaço e tempo e sejam localmente Fock serão em breve construídas e classificadas através dos métodos apresentados em mais detalhes no texto principal desta proposta.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Christian Dieter Jäkel - Coordenador. Membro: Christian Dieter Jäkel. |
| 4. | 2018-2018. Development of a software for the parameterization of wheel and railroad tracks profiles Descrição: Iniciação Científica - Bolsa FDTE Mathematical formulation and implementation of optimization problems (fitting of arcs/splines/NURBS to a cloud of points) for parametrizing wheel and railroad track profiles, aiming the application in computational mechanics models for studying the contact between these elements. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: João Guilherme Caldas Steinstraesser - Integrante / Alfredo Gay Neto - Coordenador. Financiador(es): Fundação para o Desenvolvimento Tecnológico da Engenharia - Bolsa. Membro: João Guilherme Caldas Steinstraesser. |
| 5. | 2018-2023. Modelos matemáticos em dinâmica de populações (RDIDP) Descrição: Estudar e desenvolver diferentes abordagens no tema de dinâmica de populações, em particular, em epidemiologia, biologia e imunologia. No contexto da epidemiologia, estacamos o estudo da transmissão e controle da dengue; e no tema de biologia, a dispersão de insetos , sementes e mamíferos.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) / Doutorado: (3) . Integrantes: Cláudia Pio Ferreira - Coordenador. Membro: Cláudia Pio Ferreira. |
| 6. | 2018-2021. Numerical methods for the next generation weather and climate models - Produtividade Pesquisa CNPq Descrição: Numerical models for atmospheric dynamics, a central piece in weather and climate forecasting, are going through radical changes in order to become adequate for the next generation supercomputers that demand massively parallel processing.This project aims to study two different lines of numerical schemes for this next generation of models: (i) the development and analysis of numerical schemes for quasi-uniform spherical grids, that avoids scalability problems encountered in traditional models; (ii) the exploration of the time dimension as source of parallelism, with methods that radically change the time integration way ofthinking of these models.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (5) . Integrantes: Pedro da Silva Peixoto - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Membro: Pedro da Silva Peixoto. |
| 7. | 2018-Atual. Otimização de forma não suave e controle de problemas de fronteira livre Situação: Em andamento; Natureza: Pesquisa. Integrantes: Antoine Laurain - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Antoine Laurain. |
| 8. | 2018-2022. Sistemas dinâmicos suaves por partes: aspectos locais e globai Descrição: Universal MCTIC/CNPq n. 28/2018Este projeto é sobre sistemas dinâmicos suaves por partes. Nosso interesse específico é estudar fenômenos locais e globais dentro desta teoria, tanto do ponto de vista teórico como visando aplicações. Todos os problemas apresentados já são estudados pelos proponentes, ainda que em algum caso especial. Alguns dos problemas propostos são sobre sistemas suaves, pois faltam alguns aspectos da teoria suave que dê suporte ao caso não-suave (em especial no caso dos sistemas com simetria, reversíveis e equivariantes).. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ana Cristina de Oliveira Mereu - Integrante / MARTINS, RICARDO MIRANDA - Coordenador / Douglas Duarte Novaes - Integrante / Iris de Oliveira Zeli - Integrante / Durval Tonon - Integrante / Tiago de Carvalho - Integrante / Kamila da Silva Andrade - Integrante. Membro: Ana Cristina de Oliveira Mereu. |
| 9. | 2018-2023. Software technologies for modelling and inversion: Optimization of finite-difference seismic wave solvers and their adjoints (Shell/ANP Project) Descrição: The aim of the work proposed here is the development of specialized software technologies that can reduce the time required to develop simulation and inversion codes from years to days. High-level programming languages are designed here to enable geophysicists use their domain expertise to quickly develop and evaluate new algorithms to image challenging geological areas. https://www.rcgi.poli.usp.br/programmes-and-projects/geophysics-programme/project-46/. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (4) . Integrantes: Pedro da Silva Peixoto - Integrante / Saulo Rabello Maciel de Barros - Integrante / Antoine Laurain - Integrante / Bruno S. Carmo - Coordenador. Financiador(es): Shell Brasil - Matriz - Outra. Membro: Pedro da Silva Peixoto. Descrição: This project focus on developing a range of software technologies required for simulation and data inversion. Despite the fact that applications such as seismic imaging through data inversion predates the current surge in interest in data analytics and machine learning by many years, it remains an incredibly challenging problem due to the inherent complexity of the problem, large data volumes and high computational cost. The software required is highly specialized, both in terms of mathematics and high performance computing methods, and takes many person-years to develop. This poses a serious barrier to the development of new methods and innovation, for example to better image below salt layers commonly found off the coast of Brazil. The aim of the work proposed here is the development of specialized software technologies that can reduce the time required to develop simulation and inversion codes from years to days. High-level programming languages are designed here to enable geophysicists use their domain expertise to quickly develop and evaluate new algorithms to image challenging geological areas. The first specific objective of this workstream is to develop discretization methods for several types of partial differential equations relevant for full waveform inversion: isotropic acoustic system and anisotropic acoustic and elastic systems, with the following properties: (1) stability in the presence of high medium contrasts for long time integrations, (2) accuracy of key solution metrics, e.g. minimized dispersion errors, (3) computational efficiency. The second specific objective of this workstream is the theoretical study and implementation of both state of the art and novel optimization methods to solve the FWI problem. In particular, we will focus on the development of sharp interface models, which are relevant for geological settings presenting strong discontinuities, such as the case of delineation of salt bodies. This project is part of major Shell funded project for software technologies for modelling and inversion, consisting of 11 principal investigators and a total of 64 participants. Saulo R.M. Barros - Coordinator, Antoine Laurain - Principal Investigator, Pedro S. Peixoto - Principal Investigator. Post-docs: 2. PhD students: 4. MSc students: 1. Undergrad: 1. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Especialização: (2) / Mestrado acadêmico: (1) / Doutorado: (4) . Integrantes: Antoine Laurain - Integrante / Saulo Rabello Maciel de Barros - Coordenador / Pedro da Silva Peixoto - Integrante. Financiador(es): Agência Nacional do Petróleo - Outra. Número de produções C, T & A: 1 Membro: Antoine Laurain. |
| 10. | 2018-2021. Toward investigating the intrinsic mechanism of accelerated (sub)gradient methods for convex optimization problems Descrição: The main results can be summarized in two. First, we considered the minimization of convex functions including non-differentiable functions by the accelerated (sub)gradient methods. We proposed new methods that guarantee the convergence of the generated sequences when a more practical gradient mapping norm is used for the stopping criterion and also when the convex function satisfies a certain analytic inequality. As a result, we proved that the proposed method is a nearly optimal method. The other result is the proposal of a new method that combines the Bregman distance and the proximity method for a minimization of non-convex functions. In particular, in the analysis of the DC function, which can be expressed as the difference of two convex functions, it was shown that the sequences generated by the proposed method converge to a stationary point under certain assumptions.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Mituhiro Fukuda - Coordenador / ITO, MASARU - Integrante. Financiador(es): Japan Society for the Promotion of Science - Auxílio financeiro. Número de produções C, T & A: 2 Membro: Mituhiro Fukuda. |
| 1. | 2017-2020. CNPq Proj. 305380/2016-8. Determinação de forças dinâmicas atuantes em estruturas complexas Descrição: A pesquisa proposta versa sobre problemas inversos ligados à teoria das estruturas, que são sistemas que suportam forças para que uma determinada forma de um objeto seja mantida. Os sistemas tratados aqui são formados por combinações de elementos simples, como vigas e placas. A motivação para tal estudo é o desejo de analisar-se modelos matemáticos mais próximos da realidade. De fato, estruturas reais presentes em navios, aviões, pontes, plataformas petrolíferas, por exemplo, são arranjos de elementos simples colocados lado a lado. Pretende-se mostrar que é possível se fazer a identificação unívoca de forças dinâmicas agindo nessas estruturas complexas, mesmo com a presença de vínculos internos, em condições em que os dados disponíveis são escassos. O tema da proposta enquadra-se como uma extensão natural dos trabalhos realizados no âmbito do projeto CNPq 304972/2013-4 (Produtividade em Pesquisa-PQ-2013).. Situação: Concluído; Natureza: Pesquisa. Integrantes: Alexandre Kawano - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Membro: Alexandre Kawano. |
| 2. | 2017-2018. Construction and analysis of epidemiological models Descrição: Mathematical models can be used to address several questions related to diseases?s temporal and spatial patterns. Also, relevant epidemiological parameters that cannot be accessed experimentally can be estimated from these models that constitute a silico laboratory. The develop of new methodologies that couple data, disease knowledge, and models are an actual challenge. Infectious diseases like Dengue, and hospital acquired infections are examples and the subject of this project. Fapesp 2016/23738-3 (R$ 5820,00 + U$ 35670,00).. Situação: Concluído; Natureza: Pesquisa. Integrantes: Cláudia Pio Ferreira - Coordenador / Pejman Rohani - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Membro: Cláudia Pio Ferreira. |
| 3. | 2017-2024. Dinâmica e geometria em baixas dimensões Descrição: O presente projeto dá continuidade a dois Projetos Temáticos anteriores apoiados pela FAPESP com números 2006/03829-2 e 2011/16265-8. O grupo do presente projeto inclui pesquisadores trabalhando em sistemas dinâmicos e geometria em baixas dimensões e conta tanto com pesquisadores sênior quanto com pesquisadores jovens, incluindo contratações recentes. As áreas de que trata o projeto são: - Dinâmica em dimensão 2: - Dinâmica de homeomorfismos e difeomorfismos do toro. - Dinâmica topológica em superfícies. - Transformações de Hénon. - Topologia e geometria de 3-variedades e conexões com dinâmica em dimensão 2. - Teoria de Teichmüller e suas conexões com dinâmica e geometria em dimensões baixas. - Endomorfismos do intervalo, transformações críticas do círculo, renormalização e o espaço de parâmetros. - Dinâmica hamiltoniana. - Curvas pseudo-holomorfas e dinâmica simplética. - Dinâmica complexa em dimensões 1 e 2. - Teoria ergódica contínua e diferenciável de medidas finitas e infinitas. - Formalismo termodinâmico e otimização ergódica. A presente proposta tem como objetivo dar continuidade ao trabalho que vimos fazendo e visa também ampliar as atividades do grupo que cresceu e incluiu novos pesquisadores e novas áreas de pesquisa.. Situação: Concluído; Natureza: Pesquisa. Integrantes: André Salles de Carvalho - Coordenador / Albert Fisher - Integrante / Edson de Faria - Integrante / Edson Vargas - Integrante / Fabio Tal - Integrante / Clodoaldo Ragazzo - Integrante / Ricardo Freire - Integrante / Rodrigo Bissacot - Integrante / Salvador Addas Zanata - Integrante / Luna Lomonaco - Integrante / Sylvain Bonnot - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: André Salles de Carvalho. |
| 4. | 2017-2024. Dynamics and geometry in low dimensions Descrição: This project is a continuation of two previous thematic projects supported by FAPESP with numbers 2006/03829-2 and 2011/16265-8. The present group includes researchers working on dynamical systems and low-dimensional geometry and has senior as well as and young researchers, including recent hires. The areas covered by the project are: dynamics in dimension 2: dynamics of homeomorphisms and diffeomorphisms of the torus; topological dynamics on surfaces; Hénon maps; Teichmüller Theory and its connections with dynamics and geometry in low dimensions; endomorphisms of the interval, critical circle maps, renormalization and parameter space; hamiltonian dynamics; pseudo-holomorphic curves and symplectic dynamics; complex dynamics in dimensions 1 and 2; continuous and differentiable ergodic theory of finite and infinite measures; thermodynamic formalism and ergodic optimization. The purpose of this proposal is to continue to the work we have been doing and also aims to expand the activities of the group that has grown and includes new researchers and new areas of research. (AU). Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (2) . Integrantes: Rodrigo Bissacot Proença - Integrante / Edson de Faria - Integrante / Edson Vargas - Integrante / Fabio Tal - Integrante / Pedro Salomão - Integrante / Salvador Zanata - Integrante / DOS SANTOS FREIRE, RICARDO - Integrante / Albert Meads Fisher - Integrante / Clodoaldo Grotta Ragazzo - Integrante / Luciana Luna Anna Lomonaco - Integrante / Sylvain Philippe Pierre Bonnot - Integrante / Andre Salles de Carvalho - Coordenador. Membro: Rodrigo Bissacot Proença. |
| 5. | 2017-2019. Equações diferenciais parciais com termos concentrados Descrição: Neste projeto, propomos-nos a investigar o comportamento assintótico de equações diferenciais parciais com termos concentrados em uma vizinhança da fronteira do domínio, que contrai-se à fronteira quando um parâmetro tende a zero. Analisaremos o limite das soluções dessas equações e estudaremos a existência e continuidade de atratores globais.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Gleiciane da Silva Aragão - Coordenador. Membro: Gleiciane da Silva Aragão. |
| 6. | 2017-2018. Fapesp 2017/06452-1. Unicidade na identificação de fontes em teias de aranha, vigas contínuas de Euler-Bernoulli e em placas de Germain-Lagrange. Descrição: Na literatura concernente aos problemas inversos dedicados à prova da unicidade para a identificação do termo de fonte em equações da Mecânica dos Sólidos, como por exemplo, na equação das ondas, que rege o movimento de cabos flexíveis, na de Euler-Bernoulli para vigas, ou na equação de Germain-Lagrange para placas, o foco tem sido quase exclusivamente sobre elementos isolados. Entretanto nas estruturas da vida real os sistemas são complexos, sendo combinações de elementos individuais colocadas lado a lado dividindo interfaces em comum. Neste trabalho pretendemos provar que a identificação unívoca de fontes é possível em pelo menos dois exemplos de estruturas complexas. Uma ocorre na natureza, que são as teias de aranha; outro tipo de estruturas são construídas pelo Homem, que são as assim chamadas vigas e placas contínuas.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Alexandre Kawano - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Alexandre Kawano. |
| 7. | 2017-2018. Fapesp 2017/07189-2. Auxílio Visitante Descrição: Vinda do Professor Antonino Morassi (Univ. Udine, Itália). Dynamic behavior of spider orb-webs and related inverse problems. Situação: Concluído; Natureza: Pesquisa. Integrantes: Alexandre Kawano - Coordenador / Antonino Morassi - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Alexandre Kawano. |
| 8. | 2017-2022. Métodos numéricos para a nova geração de modelos de previsão de tempo e clima - Jovem Pesquisador FAPESP Descrição: Numerical models for atmospheric dynamics, a central piece in weather and climate forecasting, are going through radical changes in order to become adequate for the next generation supercomputers that demand massively parallel processing.This project aims to study two different lines of numerical schemes for this next generation of models: (i) the development and analysis of numerical schemes for quasi-uniform spherical grids, that avoids scalability problems encountered in traditional models; (ii) the exploration of the time dimension as source of parallelism, with methods that radically change the time integration way of thinking of these models. http://www.bv.fapesp.br/pt/auxilios/95524/metodos-numericos-para-a-nova-geracao-de-modelos-de-previsao-de-tempo-e-clima/. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) . Integrantes: Pedro da Silva Peixoto - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T & A: 1 Membro: Pedro da Silva Peixoto. |
| 9. | 2017-2017. Novos Docentes, Novas Parcerias Internacionais - Santander de Mobilidade Docente Descrição: Projeto de Pesquisa para Visita no Exterior para a Universidade de Exeter- UK. Situação: Concluído; Natureza: Pesquisa. Integrantes: Pedro da Silva Peixoto - Coordenador / Beth Wingate - Integrante. Financiador(es): Banco Santander Banespa - Brasil - Auxílio financeiro. Membro: Pedro da Silva Peixoto. |
| 10. | 2017-2018. Operational Coupling in coastal oceanography Descrição: Development of a numerical model coupling a spectral model and a nonlinear dispersive model for wave propagation. Study and proposition of approximate transparent boundary conditions for the latter model.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: João Guilherme Caldas Steinstraesser - Coordenador / Antoine Rousseau - Integrante. Financiador(es): Marine Energy Research & Innovation Center - Remuneração. Membro: João Guilherme Caldas Steinstraesser. |
| 11. | 2017-2019. Otimização de forma e problemas de fronteira livre Descrição: Otimizaçao de forma e áreas afins cobrem um largo espectro da matemática, sua im- portancia vai desde problemas puramente teóricos até a aplicacoes em engenharia, tais como mecanica estrutural, problemas inversos, processamento de imagens, otimizacao com EDP e problemas de fronteira livre. Problemas de fronteira livre sao problemas onde a geometria e incognita. Estes problemas podem ser tratados utilizando técnicas de optimização de forma. Neste plano de pesquisa, propomos trabalhar em aspectos teóricos e numéricos modernos da otimização de formas e problemas de fronteiras livres. A primeira parte do projeto é dedicada a investigações sobre fundações e novas aplicações da otimização de forma. Na primeira seção, discutimos a questão das mudanças topológicas nos métodos de conjunto de níveis (metodos "levelset"). A idéia é que há uma lacuna importante entre a prática numérica e a teoria em métodos de conjunto de níveis, no sentido de que as mudanças topológicas dos conjuntos são desejadas em aplicações numéricas, mas não podem ser analisadas com a definição atual de métodos de conjunto de níveis. Propomos alterar o abordagem atual dos métodos de conjunto de níveis para que as alterações topológicas possam ser analisadas matematicamente. Este é um tópico extremamente promissor, uma vez que isso pode levar a uma análise de convergência do método de conjunto de níveis que ainda está em falta, mesmo se o método foi introduzido há 28 anos. Na seção 2 da primeira parte, discutimos também um projeto para o design ótimo de um dissipador de calor, usando o conceito de derivada topológica. Este é um projeto conjunto com a Escola Politécnica da USP. Na segunda parte do projeto, vamos investigar problemas de controle de fronteiras livres. O objetivo é analisar problemas de otimização dependendo das soluções de problemas de fronteira livres e desenvolver teoria e técnicas numéricas para esses problemas. Na Seção 1, descreveremos o problema de controlar uma pegada de gotícula através da tensão superficial do substrato. Este problema tem várias aplicações, tais como dirigir o crescimento de biofilmes. Na Seçao 2, desenvolveremos, usando ferramentas de otimizaçao de forma, um método para controlar a fronteira livre do inchamento depois dum molde de extrusão, usando o design do molde de extrusão como controle. Um objectivo industrial importante é conseguir um inchamento homogêneo. Atualmente, o design do molde de extrusão depende muito de experimentos e da experiência dos engenheiros, assim uma abordagem analítica poderia melhorar os designs atuais.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Antoine Laurain - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Antoine Laurain. |
| 12. | 2017-2023. Problemas de corte, empacotamento, dimensionamento de lotes, programação da produção, roteamento, localização e suas integrações em contextos industriais e logísticos (Temático da FAPESP, Processo 2016/01860-1) Descrição: Os problemas a serem estudados neste projeto temático podem ser divididos em: (A) problemas de corte; (B) problemas de empacotamento; (C) problemas de dimensionamento de lotes; (D) problemas de programação da produção; (E) problemas de roteamento; (F) problemas de localização e (G) a integração destes problemas. Além do estudo e desenvolvimento de modelos matemáticos relacionados a estes problemas, métodos de solução e algoritmos para resolvê-los serão desenvolvidos e seus desempenhos computacionais serão analisados. O projeto visa também dar continuidade à integração e colaboração de grupos de pesquisadores de diferentes instituições interessados nestes problemas, assim como a formação de recursos humanos e a capacitação em pesquisa e desenvolvimento tecnológico. Pretendemos intensificar a cooperação entre o setor produtivo e a academia, com o desenvolvimento de estudos de caso nas empresas. Esperamos, com isso, possibilitar colaborações e parcerias no estudo destes problemas e no desenvolvimento de ferramentas computacionais para serem utilizadas na prática. A equipe deste projeto é formada por vários pesquisadores em diversos estágios de suas carreiras acadêmicas, desde alunos de pós-graduação e recém-doutores, até pesquisadores experientes na pesquisa destes problemas. Observamos que este projeto é uma continuação de outros dois projetos temáticos FAPESP, sendo o primeiro desenvolvido entre 2006 e 2010 e o segundo entre 2010 e 2015. Nos projetos anteriores foram estudados principalmente problemas em (A), (B), (C) e (D), bem como, algumas integrações destes problemas.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / Débora Pretti Ronconi - Integrante / Flávio Keidi Miyazawa - Integrante / Horácio Hideki Yanasse - Integrante / Marina Andretta - Integrante / Nei Yoshihiro Soma - Integrante / Vinicius Amaral Armentano - Integrante / Andréa Carla Gonçalves-Vianna - Integrante / Socorro Rangel - Integrante / Silvio Alexandre de Araujo - Integrante / Vitória Pureza - Integrante / Maristela O. Santos - Integrante / Kelly Cristina Poldi - Integrante / Denise Sato Yamashita - Integrante / Deisemara Ferreira - Integrante / Adriana Cherri - Integrante / MORABITO, REINALDO - Coordenador / Claudio Fabiano Motta Toledo - Integrante / Pedro Augusto Munari Junior - Integrante / Aline Aparecida de Souza Leão - Integrante / Antônio Augusto Chaves - Integrante / Carlos Alberto Alonso Sanches - Integrante / Cleber Damião Rocco - Integrante / Diego Jacinto Fiorotto - Integrante / Douglas José Alem Junior - Integrante / Eli Angela Vitor Toso - Integrante / Flávio Molina da Silva - Integrante / Luiz Leduíno de Salles Neto - Integrante / Marcos Mansano Furlan - Integrante / Mariá Cristina Vasconcelos Nascimento Rosset - Integrante / Maria José Pinto - Integrante / Mônica Maria De Marchi - Integrante / Roberto Fernandes Tavares Neto - Integrante / Sonia Cristina Poltroniere Silva - Integrante / Tamara Angélica Baldo - Integrante / Victor Claudio Bento de Camargo - Integrante. Membro: Ernesto Julián Goldberg Birgin. |
| 1. | 2016-2016. A domain decomposition method for the resolution of nonlinear dispersive models for wave propagation Descrição: Study and implementation of transparent boundary conditions and Schwarz methods for solving nonlinear dispersive models (KdV and Serre equations).. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: João Guilherme Caldas Steinstraesser - Coordenador / Antoine Rousseau - Integrante. Financiador(es): Marine Energy Research & Innovation Center - Remuneração. Membro: João Guilherme Caldas Steinstraesser. |
| 2. | 2016-2018. Análise de Desempenho Discente Descrição: Desenvolvimento de técnicas estatísticas para a análise do desempenho discente em cursos superiores.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Diego Ribeiro Marcondes - Integrante / Adilson Simonis - Coordenador. Número de produções C, T & A: 5 Membro: Diego Ribeiro Marcondes. |
| 3. | 2016-2018. Fapesp SPRINT proj. 2015/50461-0. A contribution to safety and reliability of pipelines and risers in the petroleum industry applications of mathematical inverse techniques Descrição: This research project is strongly linked to the main theme of the Associated French-Brazilian International Research Laboratory (LIA): ``Energy and Environment''. In fact, the goal of this work is to analyze the safety and reliability of the long pipelines, usually known as risers, that carry oil and gas from a petroleum well at the sea bottom to a surface floating facility. These tubular pipelines can be several kilometers long and are not easily inspected for verifying the presence of dangerous defects. These defects may grow in size by the influence of oscillatory loading bringing about long term catastrophic ecological consequences. Here we analyze from the mathematical point of view the possibility of identifying, as well as their eventual numerical recovery, the loading acting over risers. Furthermore, we propose a numerical method for the recovery of it. From this recovery we intend to estimate the reliability of the structure against fatigue failures. The project is multidisciplinary. It brings together the expertise of researchers in numerical analysis, solid mechanics and structures. It establishes and strengthens the scientific collaboration links between Brazil and France.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Alexandre Kawano - Coordenador / Celso Kazuyuki Morooka - Integrante / Abdel Malek Zine - Integrante / Mohamed Ichchou - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Alexandre Kawano. |
| 4. | 2016-2019. Paleo-vínculos na evolução das monções e dinâmica Descrição: Sistemas de monção influenciam o abastecimento de água e meios de vida de mais da metade do mundo. Os registros instrumentais são muito curtos para fornecer estimativas da variabilidade das monções na escala interanual e decadal para identificar as causas das alterações no comportamento da variabilidade temporal e espacial. A credibilidade de projeções climáticas futuras do comportamento das monções é limitado pelo grande incerteza da magnitude das alterações de precipitação nas simulações. Climas passados proporcionam uma oportunidade para superar estes problemas. Este projeto irá usar registros paleoambientais anualmente-resolvidos da variabilidade climática ao longo dos últimos 6000 anos de corais, moluscos, espeleotemas e anéis de árvores, em conjunto com simulações do modelo global do clima e simulações de alta resolução das monções no indico, África, Leste da Ásia e na América do Sul, para proporcionar uma melhor compreensão da dinâmica da monção e à variabilidade interanual multidecadal (IM). Vamos usar o milênio antes da era pré-industrial (850-1850 dC) como o clima de referenda e compara-lo com simulações de meados do Holoceno (6.000 anos atrás) e simulações de transientes de 6.000 anos atrás até 850 CE. Forneceremos uma avaliação quantitativa e abrangente dos aspectos da variabilidade das monções que estão adequadamente representadas pelos modelos climáticos atuais, utilizando modelagem ambiental para simular e observações. Ao vincular a modelagem de climas do passado e projeções futuras vamos avaliar a credibilidade destas projeções e a probabilidade de eventos extremos em escalas de tempo de décadas. O projeto é organizado em tomo de quatro temas: (1) o impacto dos forçantes climáticas externas e da onteração trópicos/extratrópicos na zona de convergência intertropical e do ciclo hidrológico nas regiões tropicais; (2) Caracterização da variabilidade multidecadal para determinar a extensão em que o componente estocástico modula o efeito ou se é a variabilidade da forçante externa que domina o processo; (3) a influência das condições locais (vegetação, aerossóis) e fatores remotos sobre a duração, a intensidade e o padrão das monções Indianas, africanas e sul-americanos; e (4) a identificação de paleo - restrições que podem ser utilizado para avaliar a confiabilidade da evolução futura das monções. (AU). Situação: Concluído; Natureza: Pesquisa. Integrantes: Breno Raphaldini Ferreira da Silva - Integrante / Carlos Frederico Mendonça Raupp - Integrante / Pedro Leite da Silva Dias - Coordenador / Ilana Elazari Klein Coaracy Wainer - Integrante. Membro: Breno Raphaldini Ferreira da Silva. |
| 5. | 2016-2017. Probabilidade e Aplicações Descrição: Projeto de Iniciação Científica. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Diego Ribeiro Marcondes - Integrante / Cláudia Peixoto - Coordenador. Número de produções C, T & A: 3 Membro: Diego Ribeiro Marcondes. |
| 1. | 2015-2020. A Multi- and Interdisciplinary Approach to Understand Spatio- Temporal Patterns of Insect Pests and Design Landscapes for Sustainable Pest Management in Tropical Agricultural Systems Descrição: The spatial distribution effects on pests and natural enemies will be investigated by developing spatially explicit models based on theoretical concepts, laboratory and field experimentation and data obtained from the literature, in order to study how the landscape ecological patterns, including those with Bt crops, influence the spatial distribution and population dynamics of pest insects. The models will define species? habitats within a grid-like arrangement by Cellular Automata and Coupled Map Models. The compiling geographic information system (GIS) will also be used to evaluate the model in real agriculture scenario, represented by the agricultural landscape from the West region of the State of Bahia, and compared with field data collected in this area. The study will be developed by applying mathematical modeling at two levels, individual and population. The models proposed at individual level are discrete dynamics systems, whose behavior is specified in terms of local relation among neighbors, defined upfront, given by a single procedure. The Coupled Map Lattices will be employed to study the problem at population level, with models characterized by a network that is not only dependent on the neighbor cells, but also on the connections of the focus cell with all other patches in the landscape. The theoretical simulations will be used to define strategies to reduce pest population damage on crops and their expansion across agricultural landscapes. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . Integrantes: Cláudia Pio Ferreira - Integrante / Wesley Augusto Conde Godoy - Coordenador / Luzia AparecidaTrinca - Integrante / LOURDES ESTEVA - Integrante / Fernando Luis Cônsoli - Integrante / Adriano Gomes Garcia - Integrante / carolina reiga - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Cláudia Pio Ferreira. |
| 2. | 2015-Atual. Dinâmica em baixas dimensões - Projeto Universal Situação: Em andamento; Natureza: Pesquisa. Integrantes: Fábio Armando Tal - Coordenador / Manuel Valentim de Pera Garcia - Integrante / Freire, Ricardo S. - Integrante / Addas-Zanata, Salvador - Integrante / Andre de Carvalho - Integrante / Pedro Salomão - Integrante / Edson Vargas - Integrante / Edson de Faria - Integrante / Rodrigo Bissacot - Integrante / Clodoaldo Grotta Ragazzo - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Fábio Armando Tal. |
| 3. | 2015-2016. Fapesp proj. 2015175604. Unicidade na identificação de defeitos em vigas de EulerBernoulli no caso não linear Descrição: A prova da unicidade para a obtenção da rigidez flexional por meio da observação de um único ponto em um intervalo de tempo arbitrariamente pequeno já foi obtida anteriormente (Proj. Fapesp 2013/203050) para o caso linearizado. Simulações numéricas realizadas no âmbito de um projeto de iniciação científica financiada pela Fapesp (2014/232592), indicam que o conhecimento da história do deslocamento da viga em um ponto durante um intervalo de tempo qualquer possibilite a recuperação unívoca da função que descreve a rigidez flexional da viga. A presente proposta visa a prova da unicidade na identificação de distúrbios na rigidez flexional em vigas de Euler-Bernoulli quando não há linearização do problema inverso.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Alexandre Kawano - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Alexandre Kawano. |
| 4. | 2015-2015. Mesh adaptation model to surfaces and physical variables applied to fluid mechanics problems Descrição: tudy of mesh adaptation models; development of a library in C for applying these methods in computational fluid mechanics codes.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: João Guilherme Caldas Steinstraesser - Coordenador / mario ricchiuto - Integrante / Cécile DOBRZYNSKI - Integrante. Financiador(es): Inria Bordeaux Sud-Ouest - Remuneração. Membro: João Guilherme Caldas Steinstraesser. |
| 5. | 2015-2016. Numerical modelling of geophysical fluids on geodesic grids - BPE-FAPESP Descrição: 1 year post doctoral research fellowship http://www.bv.fapesp.br/pt/bolsas/153107/modelagem-numerica-de-fluidos-geofisicos-em-malhas-geodesicas/. Situação: Concluído; Natureza: Pesquisa. Integrantes: Pedro da Silva Peixoto - Coordenador / John Thuburn - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Membro: Pedro da Silva Peixoto. |
| 6. | 2015-Atual. Núcleo de Excelência em Otimizaçao Contínua (PRONEX - CNPq / FAPERJ E-26 / 210.908/2016 - APQ1) Descrição: O objetivo central deste projeto é o estudo abrangente dos principais tópicos da Otimização Contínua, incluindo tanto os avanços teóricos quanto o desenvolvimento de novos métodos computacionais, a implementação dos mesmos através de ?software" original e a aplicação destas técnicas à solução de problemas provenientes de outras disciplinas ou do ?mundo real" (aplicações a questões de natureza tecnológica).. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / José Mario Martínez - Integrante / Maria Aparecida Diniz Ehrhardt - Integrante / Clovis Caesar Gonzaga - Integrante / Paulo Jose da Silva e Silva - Integrante / Jinyun Yuan - Integrante / Alfredo Noel Iusem - Integrante / Benar Svaiter - Integrante / Claudia Sagastizábal - Integrante / Mikhail Solodov - Coordenador / Elizabeth Karas - Integrante / João Xavier Cruz Neto - Integrante / Mauricio Drummond - Integrante / Susana Scheimberg - Integrante / Orizon Pereira Ferreira - Integrante / Maicon Marques Alves - Integrante / Luis Felipe Bueno - Integrante / Gabriel Haeser - Integrante / Sandra A. Santos - Integrante / Fernanda Maria Pereira Raupp - Integrante / Flávia Morgana de Oliveira Jacinto - Integrante / Juan Pablo Luna - Integrante / Roger Behling - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro. Membro: Ernesto Julián Goldberg Birgin. |
| 7. | 2015-Atual. PVE - Conjuntos de rotação em dinâmica bi-dimensional Situação: Em andamento; Natureza: Pesquisa. Integrantes: Fábio Armando Tal - Coordenador / Addas-Zanata, Salvador - Integrante / Andre de Carvalho - Integrante / KOROPECKI, ANDRES - Integrante / Philip Lewis Boyland - Integrante / Toby Hall - Integrante. Membro: Fábio Armando Tal. |
| 1. | 2014-2018. Accelerated (sub)gradient methods for large-scale convex optimization problems - with emphasis in the theoretical aspects of the implementation and its applications - Descrição: In the current information society where large amount of data can be easily obtained and stored, there is a urgent need to solve large-scale convex optimization problems that can retrieve only valuable information (from that data). Very recently, the so-called accelerated (sub)gradient methods have been focused because they are easy to implement, but are very hard to understand theoretically. In this project, we analyze some properties that well-known (sub)gradient methods should satisfy in order to find some essential properties which guarantee fast convergence of these methods. And then, based on these properties, we propose a new family of (sub)gradient methods. As a secondary theme, we proposed customized methods which work only with the function and gradient values for convex optimization problems which have special structures. We also conducted some numerical experiments to confirm their performance.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Mituhiro Fukuda - Coordenador / YAMASHITA, MAKOTO - Integrante / ITO, MASARU - Integrante. Financiador(es): Japan Society for the Promotion of Science - Auxílio financeiro. Número de produções C, T & A: 2 Membro: Mituhiro Fukuda. |
| 2. | 2014-2017. Aplicações de técnicas de restauração inexata em controle ótimo (Universal CNPq) Situação: Concluído; Natureza: Pesquisa. Integrantes: Gabriel Haeser - Integrante / Moiseis dos Santos Cecconello - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Gabriel Haeser. |
| 3. | 2014-2017. CNPq Proj. 304972/2013-4 - Localização de fontes de vibração em placas finas limitadas convexas (Problemas inversos: Um tratamento matemático de problemas contemporâneos na indústria da extração do petróleo) Descrição: Sob o foco deste trabalho estão modelos das ciências da engenharia analisados pelo prisma matemático. Analisamos problemas de unicidade na determinação das forças que atuam em elementos estruturais básicos usados na indústria de extração de petróleo, notadamente vigas e placas finas, que são os principais elementos de grandes estruturas. O objetivo é provar que a distribuição espacial de uma fonte de vibração atuante sobre uma viga de Euler?Bernoulli ou sobre uma placa de Germain?Lagrange limitada convexa pode ser univocamente determinada a partir do conhecimento da história do deslocamento transversal dos pontos contidos em um aberto arbitrariamente pequeno, em um intervalo de tempo limitado. Trata-se de resultados novos que complementarão a informação sobre a possibilidade de identificação de carregamentos dinâmicos que agem sobre vigas e placas.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Alexandre Kawano - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Membro: Alexandre Kawano. |
| 4. | 2014-2017. Modelagem numérica de fluidos geofísicos em malhas geodésicas - Universal CNPq Descrição: Desenvolvimento de um modelo de água rasa para malhas esféricas geodésicas que seja de baixo custo e de pelo menos segunda ordem de precisão.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Pedro da Silva Peixoto - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Pedro da Silva Peixoto. |
| 5. | 2014-2016. Novas direções para minimização com restrições lineares (Chamada CNPq No. 17/2013 - Cooperação Internacional - Acordos Bilaterais, Bélgica, Processo: 490326/2013-7) Descrição: Neste projeto procura-se desenvolver um software para minimizar funções sujeitas a restrições lineares de igualdade e desigualdade. O número de variáveis e o número de restrições serão grandes e, em geral, a matriz A que dene as restrições será esparsa. Serão avaliadas (1) uma abordagem de pontos interiores com métodos regiões de confiança de grande porte para globalização e (2) uma abordagem com regularização cúbica. Pretendemos ainda analisar a aplicabilidade destes métodos ao problema MPCC. O projeto aponta para a elaboração de um software em condições de representar o estado-da-arte nesta área.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Coordenador / José Mario Martínez - Integrante / Sandra Augusta Santos - Integrante / Lobato, Rafael D. - Integrante / Phillipe Rodrigues Sampaio - Integrante / John Lenon Gardenghi - Integrante / Philippe L. Toint - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Ernesto Julián Goldberg Birgin. |
| 6. | 2014-2018. Projeto Professor Visitante Especial Descrição: Trata-se de um visitante estrangeiro especial com caráter duradouro. O pesquisador assume o compromisso de vir ao Brasil com regularidade previamente definida e a receber estudantes e pesquisadores brasileiros no seu laboratório. A proposta prevê a associação com grupo no Brasil que ficará responsável pelo gerenciamento do projeto. Apoio financeiro a projetos de pesquisa que visem, por meio do intercâmbio, da mobilidade internacional e da cooperação científica e tecnológica, promover a consolidação, expansão e internacionalização da ciência e tecnologia, da inovação e da competitividade do País com enfoque nas áreas contempladas do Programa Ciência sem Fronteiras.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ana Cristina de Oliveira Mereu - Integrante / Marco Antonio Teixeira - Integrante / Jaume - Integrante / João Carlos Medrado - Integrante / Maurício Firmino Silva Lima - Integrante / Ricardo Miranda Martins - Integrante / Regilene Delazari de Oliveira - Coordenador / Luis Fernando de Osorio Mello - Integrante / Pedro Toniol Cardin - Integrante / Paulo Ricardo da Silva - Integrante / Claudio Aguinaldo Buzzi - Integrante / Luci Any Francisco Roberto - Integrante / Douglas Duarte Novaes - Integrante / Francisco Braun - Integrante / José Ruidival Soares Dos Santos Filho - Integrante / Alex Carlucci Rezende - Integrante / Iris de Oliveira Zeli - Integrante / Durval Tonon - Integrante / Bruna Oréfice Okamoto - Integrante / Márcio Ricardo Alves Gouveia - Integrante / Claudio Pessoa - Integrante / Tiago de Carvalho - Integrante / Denis de Carvalho Braga - Integrante / Fabio Scalco Dias - Integrante / Ingrid Sofia Meza Sarmiento - Integrante / Marcelo Messias - Integrante. Membro: Ana Cristina de Oliveira Mereu. |
| 7. | 2014-2017. Projeto Universal CNPq Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Gabriel Haeser - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Gabriel Haeser. |
| 8. | 2014-2017. Teoria Qualitativa de Sistemas Dinâmicos Suaves por Partes Descrição: Edital MCTI/CNPq 14/2014 - Universal - Faixa A - Até 30.000,00 N 449655/2014-8. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ana Cristina de Oliveira Mereu - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Ana Cristina de Oliveira Mereu. |
| 1. | 2013-Atual. ?D-wave paring? em Systemas Elétron-bóson Descrição: (continuação do projeto correspondente iniciado na Universidade de Mainz). Situação: Em andamento; Natureza: Pesquisa. Integrantes: Walter Alberto de Siqueira Pedra - Coordenador / Bru, Jean-Bernard - Integrante. Membro: Walter Alberto de Siqueira Pedra. |
| 2. | 2013-Atual. Aplicação de Métodos de Teoria Construtiva de Campos a Problemas de Muitos Corpos com Interações de Longo Alcance Descrição: (continuação do projeto correspondente iniciado na Universidade de Mainz). Situação: Em andamento; Natureza: Pesquisa. Integrantes: Walter Alberto de Siqueira Pedra - Coordenador / Bru, Jean-Bernard - Integrante. Membro: Walter Alberto de Siqueira Pedra. |
| 3. | 2013-Atual. Aproximação de Bogoliubov, Teoria de Jogos e Termodinâmica de Modelos do Tipo ?Mean-Field? Descrição: (continuação do projeto correspondente iniciado na Universidade de Mainz). Situação: Em andamento; Natureza: Pesquisa. Integrantes: Walter Alberto de Siqueira Pedra - Coordenador / Bru, Jean-Bernard - Integrante. Membro: Walter Alberto de Siqueira Pedra. |
| 4. | 2013-Atual. CeMEAI - Centro de Ciências Matemática Aplicadas à Indústria (CEPID FAPESP: 2013/07375-0) Descrição: O foco desta proposta é a transferência de conhecimento matemático para outras áreas da ciência, tecnologia e indústria, por meio de um centro de pesquisa estruturado para esse fim. Todo o conhecimento matemático é, em última análise, aplicável. se não diretamente, por meio de outros conhecimentos. Em algumas áreas da matemática a aplicação é quase ime( Entretanto, a colocação em prática de tal aplicabilidade se encontra muitas vezes travada por tradições incorretas, academicismo mal direcionado e dificuldades operacionais. Nos últimos anos, o crescimento da ciência no Brasil, e da matemática em particular, foi notável. Entretanto, a aplicação tecnológica, muitas vezes medida pelas patentes registradas, não teve o mesmo sucesso. Para fechar essa lacuna é necessário a criação de estruturas institucionais que estabeleçam as pontes entre as ciências matemáticas e aplicações como um objetivo em si mesmo. Não se trata apenas de orientar os trabalhos teóricos a áreas "potencialmente aplicáveis", mas de avançar nas aplicações até as últimas consequências, isto é, sua efetiva implementação na indústria, em sentido amplo. Não é mais possível descansar na posição de que a aplicação é problema de outros. É, de fato, problema de todos e reflete o necessário comprometimento da ciência aplicada e pura com o progresso material e espiritual da sociedade. A estratégia do presente projeto envolve, em primeiro lugar, a aglutinação de grupos destacados nas áreas mais aplicáveis da matemática no Estado visando seu direcionamento para aplicações efetivas. Os grupos selecionados têm demonstrado sua excelência na atividade científica convencional, em primeiro lugar, e em muitos casos, em aplicações relevantes. No CEPID proposto os grupos participantes continuarão com sua atividade científica habitual, e, ao mesmo tempo, desenvolverão "Ações de Transferência" de acordo com o roteiro: 1) Teses de mestrado e doutorado necessariamente vinculadas com aplicações em sentido amplo, com co-orientação explícita de especialistas nesses setores. 2) Realização de pelo menos um Workshop anual de Transferência, onde participarão os membros do CEPID e representantes de indústrias, administração, serviços, setores educativo e tecnológico. 3) Visitas periódicas de membros do CEPID a instituições com potencial para aplicações relevantes. 4) Elaboração de uma publicação interna chamada em princípio "Transference experiences" visando a consolidação de uma publicação mais permanente.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / José Mario Martínez - Integrante / Débora Pretti Ronconi - Integrante / Marcos Nereu Arenales - Integrante / Julio Stern - Integrante / Luis Gustavo Nonato - Integrante / Roberto Andreani - Integrante / Geraldo Nunes Silva - Integrante / Paulo Jose da Silva e Silva - Integrante / Reinaldo Morabito - Integrante / Ana Friedlander - Integrante / Francisco A. M. Gomes - Integrante / Sandra Augusta Santos - Integrante / Socorro Rangel - Integrante / Silvio Alexandre de Araujo - Integrante / Vitória Pureza - Integrante / Franklina M. B. Toledo - Integrante / Maristela O. Santos - Integrante / Adolfo Gomes Marto - Integrante / Alexandre Cláudio Botazzo Delbem - Integrante / Ana Cristina Avelar - Integrante / Andre Carlos Ponce de Leon Ferreira de Carvalho - Integrante / Antonio Castelo Filho - Integrante / Bruno Feres de Souza - Integrante / Carlos Alberto Ribeiro Diniz - Integrante / Cassio Machiaveli Oishi - Integrante / Claudio Fabiano Motta Toledo - Integrante / Edilaine Martins Soler - Integrante / Edson dos Santos Moreira - Integrante / Eduardo Marques - Integrante / Eduardo Raul Hruschka - Integrante / Ellen Francine Barbosa - Integrante / Estevam Rafael Hruschka Junior - Integrante / Francisco Aparecido Rodrigues - Integrante / Francisco Louzada Neto - Integrante / Gustavo Carlos Buscaglia - Integrante / Gustavo Enrique de Almeida Prado Alves Batista - Integrante / Joao Luiz Filgueiras de Azevedo - Integrante / Jorge Luis Bazan Guzman - Integrante / José Alberto Cuminato - Coordenador / José Carlos Maldonado - Integrante / Leandro Franco de Souza - Integrante / Marcio Merino Fernandes - Integrante / Maria Carolina Monard - Integrante / Mariana Cúri - Integrante / Marinho Gomes de Andrade Filho - Integrante / Murilo Francisco Tome - Integrante / Mário de Castro Andrade Filho - Integrante / Nikolai Valtchev Kolev - Integrante / Onofre Trindade Junior - Integrante / Pablo Martin Rodriguez - Integrante / Paulo Afonso Faria da Veiga - Integrante / Paulo Morelato França - Integrante / Pedro Jose de Oliveira Neto - Integrante / Ricardo José Gabrielli Barreto Campello - Integrante / Roberto Gil Annes da Silva - Integrante / Rodrigo Fernandes de Mello - Integrante / Ronaldo Dias - Integrante / Roseli Aparecida Francelin Romero - Integrante / Seiji Isotani - Integrante / Thiago Alexandre Salgueiro Pardo - Integrante / Vanderlei Bonato - Integrante / Vera Lucia Damasceno Tomazella - Integrante / Vicente Garibay Cancho - Integrante / Victor Hugo Lachos Davila - Integrante / Vitoriano Ruas de Barros Santos - Integrante / William Roberto Wolf - Integrante / Yvonne Primerano Mascarenhas - Integrante / Zhao Liang - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Ernesto Julián Goldberg Birgin. |
| 5. | 2013-Atual. CEPID/CEPIx-CeMEAI Descrição: Pesquisador Principal, desde a sua criação em 01/07/2013, do Centro de Pesquisa, Inovação e Difusão do Centro de Ciências Matemáticas Aplicadas à Indústria (CEPID-CeMEAI), com sede no Instituto de Ciências Matemáticas e de Computação (ICMC) da USP São Carlos, vide o link > https://cemeai.icmc.usp.br/julio-michael-stern/ Entre 01/07/2013 a 02/07/2024 o CEPID-CeMEAI arrecadou e geriu recursos da ordem de RS 39 milhões de Reais em convênios com parceiros da indústria, promovendo efetivamente a transferência de tecnologia para a indústria brasileira. Neste período foram formados em projetos do CEPID-CeMEAI 491 mestres, 388 doutores, 264 pós-docs, e publicados da ordem de 2600 artigos científicos. Os trabalhos deste legado seguirão seu curso no CEPIx-CeMEAI, a partir de 01/07/2024.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (99) Doutorado: (99) . Integrantes: Julio Michael Stern - Integrante / José Alberto Cuminato - Coordenador / José Mario Martínez - Integrante / Francisco Louzada Neto - Integrante / Lúcio Tunes do Santos - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de SP - Cooperação. Número de produções C, T & A: 29 Membro: Julio Michael Stern. |
| 6. | 2013-2016. Comportamento assintótico de equações diferenciais parciais com domínio variando e termos concentrados na fronteira Descrição: Investigar o comportamento assintótico de problemas elípticos e parabólicos não lineares com relação à variação do domínio de definição de suas soluções e problemas com termos de reação e potencial concentrados em uma vizinhança da fronteira do domínio, que contrai-se à fronteira quando um parâmetro tende a zero, bem como o comportamento de problemas em que as duas situações ocorrem. Analisar o limite das soluções desses problemas, estudando a existência e unicidade de um problema limite e investigando sua estrutura e relação com o problema perturbado. E ainda, estudar a existência e continuidade de atratores.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Gleiciane da Silva Aragão - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Gleiciane da Silva Aragão. |
| 7. | 2013-Atual. Controle de Decoerência Quântica em Sistamas Abertos Descrição: (continuação do projeto correspondente iniciado na Universidade de Mainz). Situação: Em andamento; Natureza: Pesquisa. Integrantes: Walter Alberto de Siqueira Pedra - Coordenador / Marco Merkli - Integrante / Volker Bach - Integrante / I.M. Sigal - Integrante. Membro: Walter Alberto de Siqueira Pedra. |
| 8. | 2013-2017. Estruturas Combinatórias, Otimização e Algoritmos em Teoria da Computação (Temático da FAPESP: 2013/03447-6) Descrição: A área de Ciência da Computação experimenta hoje um crescimento vertiginoso. Novidades tecnológicas surgem e tornam-se obsoletas em um ou dois anos de existência. Novas abordagens surgem com enorme rapidez. Tal desenvolvimento se dá por necessidades criadas em outras áreas do conhecimento de novas técnicas para resolver problemas cada vez mais complexos. Hoje em dia é impossível imaginar um pesquisador de qualquer área do conhecimento que possa desenvolver suas atividades sem o apoio de métodos, técnicas ou tecnologia desenvolvida por pesquisadores de Ciência da Computação. É evidente que os mais bem sucedidos avanços tecnológicos em Ciência da Computação estão fundamentados em resultados teóricos. Áreas como mineração de dados e reconhecimento de padrões, para citar apenas duas, têm seus métodos fortemente baseados em técnicas desenvolvidas em Teoria da Computação. Nosso objetivo neste projeto é o estudo de estruturas combinatórias e diversas formas de abordar problemas relacionados com tais estruturas: métodos algébricos, geométricos, probabilísticos, combinatórios, etc. Uma melhor compreensão destes objetos pode resultar em novas estratégias e algoritmos mais eficientes para resolver problemas a eles relacionados. A equipe proponente tem pesquisadores com grande experiência que cobrem uma ampla gama de subáreas de Teoria da Computação, permitindo uma maior sinergia para a solução dos problemas abordados. As principais contribuições esperadas neste projeto são a publicação de artigos científicos em conferências e periódicos bem estabelecidos, com alta circulação e de seletiva política editorial. Desejamos também intensificar o intercâmbio internacional do grupo e a formação de alunos nos vários níveis (de iniciação científica a pós-doutorandos). Pretendemos ainda, durante a execução do projeto, realizar uma Escola Avançada de Ciências na área de Teoria da Computação.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / Débora Pretti Ronconi - Integrante / José Coelho de Pina - Integrante / Carlos Eduardo Ferreira - Coordenador / Yoshiko Wakabayashi - Integrante / Cristina G. Fernandes - Integrante / Fernando Mario de Oliveira Filho - Integrante / Gordana Manic - Integrante / Yoshiharu Kohayakawa - Integrante / Daniel Morgato Martin - Integrante / Hiep Han - Integrante / Karla Roberta Lima - Integrante / Alexandre da Silva Freire - Integrante / ANDREA PATRICIA JIMENEZ RAMIREZ - Integrante / André Fujita - Integrante / Carlos Henrique Cardonha - Integrante / Carlos Hoppen - Integrante / Fabricio Siqueira Benevides - Integrante / Neal Owen Bushaw - Integrante / Rudini Menezes Sampaio - Integrante / Sang June Lee - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Ernesto Julián Goldberg Birgin. |
| 9. | 2013-2014. Fapesp (Proc. 2013/20305-0) Um resultado de unicidade para a identificação de fontes de vibração assíncronas em vigas contínuas Descrição: A pesquisa tem por foco um problema inverso de unicidade envolvendo um operador de quarta ordem que aparece no modelo de vigas vibrando sob a ação de um carregamento desconhecido composto por uma soma finita de parcelas. Como extensão do trabalho, usando o resultado obtido, propomos também provar a unicidade para a identificação da rigidez flexional ao longo da viga, o que pode ser usado para a detecção de falhas.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Alexandre Kawano - Coordenador / Flavio Silveira de Morais - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Alexandre Kawano. |
| 10. | 2013-Atual. Fundamentos Microscópicos da Fenomenologia de Lasers Descrição: (continuação do projeto correspondente iniciado na Universidade de Mainz). Situação: Em andamento; Natureza: Pesquisa. Integrantes: Walter Alberto de Siqueira Pedra - Coordenador / Bru, Jean-Bernard - Integrante / Westrich, Matthias - Integrante. Membro: Walter Alberto de Siqueira Pedra. |
| 11. | 2013-Atual. Geometria de Sistemas de Controle, Sistemas Dinâmicos e Estocásticos Descrição: Projeto Temático Fapesp.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Ana Cristina de Oliveira Mereu - Coordenador / Marco Antonio Teixeira - Integrante / Ricardo Miranda Martins - Integrante / Mariana Rodrigues da Silveira - Integrante / Ketty Abaroa de Rezende - Integrante / Caio José Colleti Negreiros - Integrante / Luiz Antônio Barrera San Martin - Integrante / Christian Horacio Olivera - Integrante / Diego Sebastian Ledesma - Integrante / Eduardo Garibaldi - Integrante / Lino Anderson da Silva Grama - Integrante / Paulo Regis Caron Ruffino - Integrante / Pedro Jose Catuogno - Integrante. Membro: Ana Cristina de Oliveira Mereu. |
| 12. | 2013-Atual. Medida de Condutividade para Gases Fermiônicos em Cristais Descrição: (continuação do projeto correspondente iniciado na Universidade de Mainz). Situação: Em andamento; Natureza: Pesquisa. Integrantes: Walter Alberto de Siqueira Pedra - Coordenador / Bru, Jean-Bernard - Integrante / Carolin Kurig - Integrante. Membro: Walter Alberto de Siqueira Pedra. |
| 13. | 2013-2018. Métodos Computacionais de Otimização (Temático da FAPESP: 2013/05475-7) Descrição: Este projeto é continuação de projetos temáticos anteriores do mesmo grupo, coordenados pelo Prof. José Mario Martínez, o último dos quais se encerrou em 2011 (processo 2006/53768-0). Nesta nova etapa a coordenadora será a Prof. Sandra Augusta Santos, mas o Prof. Martínez continuará atuando na equipe. Tem como objetivo o desenvolvimento e a análise de algoritmos para os diferentes aspectos da Otimização, com ênfase na Otimização Contínua. O projeto se apoia em aplicações com as quais o grupo está familiarizado. Enfatizam-se algoritmos com sólida base teórica, o que envolve a caracterização precisa dos problemas abordados, com implementação computacional cuidadosa e competitiva, e conexões com Engenharia e Ciências Aplicadas.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / José Mario Martínez - Integrante / Lucio Tunes Santos - Integrante / Maria Aparecida Diniz Ehrhardt - Integrante / Marcia Aparecida Gomes Ruggiero - Integrante / Roberto Andreani - Integrante / Paulo Jose da Silva e Silva - Integrante / Ana Friedlander - Integrante / Francisco A. M. Gomes - Integrante / Sandra Augusta Santos - Coordenador / Leandro Martínez - Integrante / Luis Felipe Bueno - Integrante / Gabriel Haeser - Integrante / Fedor Pisnitchenko - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Ernesto Julián Goldberg Birgin. |
| 14. | 2013-2018. Métodos Computacionais de Otimização (Temático FAPESP) Situação: Concluído; Natureza: Pesquisa. Integrantes: Gabriel Haeser - Integrante / Sandra Augusta Santos - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Gabriel Haeser. |
| 15. | 2013-2014. Métodos numéricos em equações diferenciais parciais com aplicação em previsão numérica do tempo Descrição: Iniciação cientifica - Bolsa institucional RUSP Estudo e implementação da resolução numérica das equações de águas rasas para circulação atmosférica usando Fortran e MPI.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: João Guilherme Caldas Steinstraesser - Integrante / Saulo Rabello Maciel de Barros - Coordenador. Financiador(es): Universidade de São Paulo - Bolsa. Membro: João Guilherme Caldas Steinstraesser. |
| 16. | 2013-2016. O Gás de Rede e o Lema Local de Lovász Descrição: O Lema Local de Lovász é uma das principais ferramentas usadas em Combinatória quando a abordagem utiliza o Método Probabilístico, o resultado está intimamente ligado ao Gás de rede. Um novo critério para a convergência da série de Mayer deste gás permitiu a obtenção de uma nova versão do Lema Local de Lovász. Neste projeto pretendemos investigar a existência de outros resultados na Mecânica Estatística que podem ter consequências no Método Probabilístico. Também investigaremos possíveis novas aplicações do novo Lema proveniente da Mecânica Estatística.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (3) / Doutorado: (1) . Integrantes: Rodrigo Bissacot Proença - Coordenador / Luis Augusto Doin Pogrebinschi - Integrante / Eric Ossami Endo - Integrante. Número de produções C, T & A: 1 Membro: Rodrigo Bissacot Proença. |
| 17. | 2013-Atual. Problemas de N Corpos em Redes Descrição: (continuação do projeto correspondente iniciado na Universidade de Mainz). Situação: Em andamento; Natureza: Pesquisa. Integrantes: Walter Alberto de Siqueira Pedra - Coordenador / Volker Bach - Integrante / Saidakhmat Lakaev - Integrante. Membro: Walter Alberto de Siqueira Pedra. |
| 18. | 2013-2014. Projeto Universal CNPq Situação: Concluído; Natureza: Pesquisa. Integrantes: Gabriel Haeser - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Gabriel Haeser. |
| 19. | 2013-2015. Termodinâmica de Sistemas Quânticos de Muitos Corpos Não-Simétricos com Interações de Longo Alcance Descrição: (continuação do projeto correspondente iniciado na Universidade de Mainz). Situação: Desativado; Natureza: Pesquisa. Integrantes: Walter Alberto de Siqueira Pedra - Coordenador / Bru, Jean-Bernard - Integrante. Membro: Walter Alberto de Siqueira Pedra. |
| 20. | 2013-Atual. Órbitas Periódicas em Sistemas Descontínuos. Descrição: O interesse no estudo de Sistemas Dinâmicos Descontínuos tem sido considerável recentemente pois estes sistemas são frequentemente encontrados em aplicações e principalmente devido sua forte relação com outros campos da ciência como Matemática, Física e Engenharia. Tais sistemas diferenciais podem exibir complicadas dinâmicas tais como as exibidas por sistemas diferenciais não lineares. Ciclos limites e conjuntos invariantes pelo fluxo são alguns principais componentes na descrição qualitativa do comportamento dinâmico de um sistema diferencial. A meta deste projeto é estudar a persistência de órbitas periódicas de sistemas com perturbações descontínuas que surgem de conjuntos de órbitas periódicas do sistema não perturbado. As técnicas usadas serão Teoria de Averaging e Processos de Regularização.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Ana Cristina de Oliveira Mereu - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Outra. Membro: Ana Cristina de Oliveira Mereu. |
| 1. | 2012-2012. ?D-wave paring? em Systemas Elétron-bóson Descrição: Neste projeto serão analisados sistemas formados por dois elétrons e um bóson em rede cristalina. A interação entre elétrons e bósons deve ser o mais geral possível, num primeiro momento. Alguns físicos teóricos defendem a ideia de que a supercondutividade com alta temperatura de transição é relacionada à interação entre elétrons e bipolorons, que são bósons compostos por um par eletrônico ligado por intermédio de um fônon ou um mágnon. O intuito deste projeto é analisar correlações eletrônicas nesse tipo de modelo e identificar interações particulares que conduzam à correlações eletrônicas do tipo ?d-wave?. Esse tipo de correlação é uma característica típica de supercondutores com alta temperatura de transição, não encontrada em supercondutores ordinários.. Situação: Desativado; Natureza: Pesquisa. Integrantes: Walter Alberto de Siqueira Pedra - Coordenador / Jean-Bernard Bru - Integrante. Membro: Walter Alberto de Siqueira Pedra. |
| 2. | 2012-2017. Dinâmica em baixas dimensões Descrição: Projeto Temático da FAPESP, coordenado por André de Carvalho (IME-USP). A teoria moderna de sistemas dinâmicos começou com o trabalho de Poincaré e, desde então, cresceu e amadureceu, tornando-se uma área importante da matemática. O objetivo principal deste projeto é aprofundar o conhecimento das seguintes áreas de sistemas dinâmicos: - Sistemas hamiltonianos com dois graus de liberdade, seus aspectos dinâmicos e topológicos, e sua estabilidade no sentido de Liapunof. - Difeomorfismos em dimensão 2 como, por exemplo, transformações de Hénon e transformações de tipo twist do anel e do toro. - Teoria de renormalização em dimensões 1 e 2. - Endomorfismos do intervalo (por exemplo, questões analíticas como decaimento de geometria e existência de medidas invariantes); transformações críticas do círculo; renormalização e o espaço de parâmetros. - Teoria de Teichmüller e suas conexões com dinâmica e geometria em dimensões baixas. - Teoria ergódica contínua e diferenciável de medidas finitas e infinitas. - Otimização ergódica. O presente projeto dá continuidade a um Projeto Temático de mesmo título apoiado pela FAPESP com número 2006/03829-2.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Rodrigo Bissacot Proença - Integrante / Ricardo dos Santos Freire Júnior - Integrante / Albert Fisher - Integrante / André de Carvalho - Coordenador / Clodoaldo Ragazzo - Integrante / Edson de Faria - Integrante / Edson Vargas - Integrante / Eduardo Colli - Integrante / Fabio Tal - Integrante / Manuel Garcia - Integrante / Pedro Salomão - Integrante / Salvador Zanata - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Rodrigo Bissacot Proença. Descrição: Projeto temático FAPESP 2011/16265-8. Situação: Concluído; Natureza: Pesquisa. Integrantes: André Salles de Carvalho - Coordenador / Albert Fisher - Integrante / Edson de Faria - Integrante / Edson Vargas - Integrante / Salvador Zanata - Integrante / Pedro Salomão - Integrante / Fabio Tal - Integrante / Clodoaldo Ragazzo - Integrante / Eduardo Colli - Integrante / Manuel Garcia - Integrante / Ricardo Freire - Integrante / Rodrigo Bissacot - Integrante. Membro: André Salles de Carvalho. |
| 3. | 2012-2012. Medida de Condutividade para Gases Fermiônicos em Cristais Descrição: Consideramos um gás ideal de elétrons em um cristal com potencial químico aleatório sujeito à ação de um campo elétrico ?E? dependente do tempo. Mostramos que existe uma forma quadrática Σ tal que a produção de entropia é dada, com probabilidade 1, por Σ(E). Devido a um princípio de positividade da produção de entropia, esta forma quadrática é positiva. Pelo teorema de Bochner-Schwarz o ?kernel? de Σ é, portanto, a transformada de Fourier de uma medida positiva, que pode ser interpretada fisicamente como ?medida de condutividade?. Tal interpretação é devida à lei de Ohm, a qual implica que a potência elétrica é proporcional ao quadrado do campo elétrico aplicado a um condutor. Foi também possível provar que tal medida é, em geral, não nula. Tal fato corresponde fisicamente à existência de resistência Ôhmica, ao menos para campos alternados, em presença de desordem na rede cristalina. Este trabalho está perto de ser concluído e se inspira num artigo de Klein, Lenoble e Müller, onde o conceito de medida de condutividade (?conductivity measure?) foi proposto pela primeira vez. Observe-se, porém, que nossa abordagem baseia-se em um princípio termodinâmico e difere da deles. Como continuação natural do trabalho descrito acima, pretendemos analisar as propriedades da medida de condutividade em sistemas de férmions em cristais com potencial químico homogêneo, mas levando em consideração uma interação fraca, não nula, entre as partículas. É importante notar aqui que a medida de condutividade definida acima é nula no caso de férmions ideais (ou seja, sem interação) com potencial químico homogêneo. Este tipo de sistema corresponde aos condutores perfeitos, que conduzem corrente elétrica sem produzir calor. O objetivo da segunda fase é, portanto, estudar, diretamente a partir de princípios microscópicos quânticos, a possibilidade - ou não - do aparecimento de uma resistividade Ôhmica devido à interação entre elétrons.. Situação: Desativado; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Walter Alberto de Siqueira Pedra - Coordenador / Jean-Bernard Bru - Integrante / Carolin Kurig - Integrante. Membro: Walter Alberto de Siqueira Pedra. |
| 4. | 2012-2014. Modelos bidimensionais em Mecânica Estatística e uma possível abordagem usando Otimização Ergódica. Descrição: Neste projeto estudaremos a possível extensão de resultados da então recente área chamada Otimização Ergódica para sistemas bidimensionais em Mecânica Estatística. As técnicas de otimização já são utilizadas na descrição do conjunto dos estados de Gibbs à temperatura zero, as chamadas medidas ground states onde abordagem garante a existência (caso não-compacto) e em alguns casos possibilita uma descrição precisa do conjunto das ground states em modelos unidimensionais. A ideia é investigar a existência de resultados análogos aos de Otimização para modelos em dimensão 2 buscando utilizar sempre que possível os resultados já conhecidos para tais modelos dentro do contexto de Mecânica Estatística.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Rodrigo Bissacot Proença - Coordenador / Anthony Quas - Integrante / Leandro Martins Cioletti - Integrante / Eduardo Garibaldi - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Rodrigo Bissacot Proença. |
| 5. | 2012-2017. Modelos matemáticos e computacionais com enfoque em controle de insetos (RDIDP) Descrição: Este projeto prevê o estudo e desenvolvimento de modelos matemáticos aplicados ao manejo e controle de insetos vetores de patógenos. Em particular, estamos interessados em estudar o controle via manejo integrado de pragas da Diabrotica speciosa, praga de diversas plantações em toda a América Central e do Sul, e vetor de doenças viróticas e bacterianas; e o controle mecânico e químico aplicado ao mosquito Aedes aegypti, principal vetor do vírus da Dengue. Os modelos serão construídos utilizando o formalismo de equações diferenciais, redes de mapas acoplados e autômatos celulares. FAPESP 2013/24140-6 (R$ 26120,00) e 2275/002/14 PROPE/CDC (R$1000,00). Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (3) . Integrantes: Cláudia Pio Ferreira - Integrante / C P Ferreira - Coordenador / Lurdes Esteva - Integrante / Wesley Augusto Conde Godoy - Integrante / Fernando Luis Cônsoli - Integrante / Adriano Gomes Garcia - Integrante / Antone dos Santos Benedito - Integrante / Jessica Karina da Silva Pachu - Integrante / Ellen Rimkevicius Carbognin - Integrante / Odair Aparecido Fernandes - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Cláudia Pio Ferreira. |
| 6. | 2012-2013. Métodos numéricos em equações diferenciais e aplicações Descrição: Iniciação Científica - Bolsa Institucional - RUSP Introdução, estudo e implementação de diversos métodos numéricos para equações diferenciais parciais. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: João Guilherme Caldas Steinstraesser - Integrante / Saulo Rabello Maciel de Barros - Coordenador. Financiador(es): Universidade de São Paulo - Bolsa. Membro: João Guilherme Caldas Steinstraesser. |
| 7. | 2012-2015. Shape / Topology optimization methods for inverse problems Descrição: Development of new techniques based on shape optimization for the resolution of inverse problems.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Antoine Laurain - Coordenador / Meftahi Houcine - Integrante. Membro: Antoine Laurain. |
| 8. | 2012-2015. Shape / Topology optimization methods for inverse problems Situação: Concluído; Natureza: Pesquisa. Integrantes: Antoine Laurain - Coordenador. Membro: Antoine Laurain. |
| 9. | 2012-2015. Solução de problemas combinatórios com técnicas de otimização (Edital Universal MCT/CNPq 14/2012 Proc. 477203/2012-4) Descrição: Desenvolvimento, análise e implementação de algoritmos. Estudo de problemas de otimização de natureza discreta: sobre grafos, seqüências, empacotamento e cortes, escalonamento, redes e biologia computacional. Projeto de algoritmos de aproximação e de algoritmos exatos. Estudo da complexidade computacional e do limite de aproximabilidade de problemas de otimização combinatória.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / José Coelho de Pina - Integrante / Carlos Eduardo Ferreira - Coordenador / Yoshiko Wakabayashi - Integrante / Cristina G. Fernandes - Integrante / Gordana Manic - Integrante / Yoshiharu Kohayakawa - Integrante / Ronconi, Débora P. - Integrante / Daniel Morgato Martin - Integrante / Andrea P. J. Ramirez - Integrante / Balchandra D. Thatte - Integrante / Hiep Han - Integrante / Karla Roberta Lima - Integrante. Membro: Ernesto Julián Goldberg Birgin. |
| 10. | 2012-Atual. Temático Fapesp - Dinâmica em baixas dimensões Descrição: A teoria moderna de sistemas dinâmicos começou com o trabalho de Poincaré e, desde então, cresceu e amadureceu, tornando-se uma área importante da matemática. O objetivo principal deste projeto é aprofundar o conhecimento das seguintes áreas de sistemas dinâmicos: - Sistemas hamiltonianos com dois graus de liberdade, seus aspectos dinâmicos e topológicos, e sua estabilidade no sentido de Liapunof. - Difeomorfismos em dimensão 2 como, por exemplo, transformações de Hénon e transformações de tipo twist do anel e do toro. - Teoria de renormalização em dimensões 1 e 2. - Endomorfismos do intervalo (por exemplo, questões analíticas como decaimento de geometria e existência de medidas invariantes); transformações críticas do círculo; renormalização e o espaço de parâmetros. - Teoria de Teichmüller e suas conexões com dinâmica e geometria em dimensões baixas. - Teoria ergódica contínua e diferenciável de medidas finitas e infinitas. - Otimização ergódica. O presente projeto dá continuidade a um Projeto Temático de mesmo título apoiado pela FAPESP com número 2006/03829-2.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Fábio Armando Tal - Integrante / Manuel Valentim de Pera Garcia - Integrante / Freire, Ricardo S. - Integrante / Addas-Zanata, Salvador - Integrante / Andre de Carvalho - Coordenador / Pedro Salomão - Integrante / Edson Vargas - Integrante / Eduardo Colli - Integrante / Edson de Faria - Integrante / Rodrigo Bissacot - Integrante / Clodoaldo Grotta Ragazzo - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Fábio Armando Tal. |
| 11. | 2012-2012. Termodinâmica de Sistemas Quânticos de Muitos Corpos Não-Simétricos com Interações de Longo Alcance Descrição: Em projetos anteriores estudaram-se certas classes de sistemas quânticos de muitos corpos com interação de longo alcance. Entre outras coisas, demonstrou-se que estados de equilíbrio de sistemas desta classe podem ser representados como combinação convexa de estados de equilíbrio de modelos efetivos com interação de curto alcance. Na demonstração de tal fato, usou-se de maneira fundamental invariâncias espaciais dos sistemas considerados, como, por exemplo, periodicidade e invariância por permutação. Neste projeto deverão ser analisados sistemas com interação de longo alcance que possuam o mínimo possível de simetrias espaciais. Resultados relativos à representação de estados de equilíbrio, como o mencionado acima, deverão ser generalizados para o caso não-simétrico. Apresentamos um primeiro resultado neste sentido num artigo, onde certos modelos com inomogeneidades espaciais ditas ?macroscópicas? são analisados. Como aplicação deste último, mostramos que o efeito Meissner pode ser derivado como consequência da estabilidade termodinâmica de estados de certos modelos com interação de longo alcance e campo magnético autogerado (que destrói a invariância por translação). Portanto, acreditamos que esse estudo ajudaria a esclarecer o papel das simetrias espaciais no comportamento termodinâmico de modelos com interação de longo alcance.. Situação: Desativado; Natureza: Pesquisa. Integrantes: Walter Alberto de Siqueira Pedra - Coordenador / Jean-Bernard Bru - Integrante. Membro: Walter Alberto de Siqueira Pedra. |
| 1. | 2011-2012. Aplicação de Métodos de Teoria Construtiva de Campos a Problemas de Muitos Corpos com Interações de Longo Alcance Descrição: Expansões em clusters (?cluster expansions?) e expansões em árvores (?tree expansions?) de Brydges e Kennedy são exemplos de métodos analíticos utilizados em teoria construtiva de campos. Tais métodos foram desenvolvidos com o intuito, entre outros, de analisar funções de correlação de sistemas de muitos corpos quânticos não exatamente integráveis. A aplicação dos mesmos é relativamente flexível, caso as interações entre partículas no sistema considerado tenha decaimento espacial suficientemente rápido, ou seja, caso as interações sejam de curto alcance. O desenvolvimento de métodos construtivos que também sejam aplicáveis a sistemas com interações de longo alcance, como interações do tipo ?mean-field? por exemplo, é visto por certos expecialistas como um problema técnico importante a ser resolvido. Os resultados anteriores nos permitem representar funções de correlação de certos modelos com interação de longo alcance como combinações convexas de funções de correlação de modelos efetivos com interação de curto alcance. Pretendemos, portanto, utilizar esse fato para contornar o problema mencionado acima da aplicação de métodos construtivos a modelos com interação de longo alcance.. Situação: Desativado; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (2) . Integrantes: Walter Alberto de Siqueira Pedra - Coordenador / Jean-Bernard Bru - Integrante. Número de produções C, T & A: 2 Membro: Walter Alberto de Siqueira Pedra. |
| 2. | 2011-2013. Bolsa de produtividade FADA/UNIFESP Situação: Concluído; Natureza: Pesquisa. Integrantes: Gabriel Haeser - Coordenador. Financiador(es): Fundo de Auxílio aos Docentes e Alunos da UNIFESP - Bolsa. Membro: Gabriel Haeser. |
| 3. | 2011-2015. Condições de otimalidade e restauração inexata (Jovem Pesquisador FAPESP) Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Gabriel Haeser - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Gabriel Haeser. |
| 4. | 2011-2012. Fundamentos Microscópicos da Fenomenologia de Lasers Descrição: Em um trabalho conjunto com J.-B. Bru e M. Westrich investigamos a dinâmica de íons oticamente ativos (impurezas) em cristais. Em tais íons pode ocorrer a chamada ?inversão de população? através da influência de luz monocromática. Tal fenômeno permite o uso de cristais dopados com impurezas oticamente ativas na construção de dispositivos Laser. Um de nossos objetivos foi a derivação das equações fenomenológicas usuais usadas em física teórica e engenharia para descrever a inversão de população, partindo das equações de Schrödinger para o sistema cristal-impureza. Entre outras coisas, demonstramos ?relações de Einstein generalizadas? que descrevem a relação entre as taxas de transição estimuladas por luz e as taxas de transição espontâneas entre níveis energéticos do íon. Em seguida consideraremos um sistema impureza-cristal acoplado a um campo (quântico) de fótons. O objetivo é demonstrar a amplificação de luz através de emissão estimulada em um modelo simples, mas (em contraste à abordagem usual que é de caráter fenomenológico) puramente quântico. Por um lado, a grande maioria dos dispositivos Laser utilizados na prática são objetos macroscópicos e um modelo que descreve uma única impureza oticamente ativa é sem dúvida, neste caso, uma idealização extrema. Porém, recentemente têm sido construídos e estudados dispositivos Laser de um átomo. A luz emitida por tais dispositivos apresenta características não usuais1 e as equações fenomenológicas que descrevem Lasers macroscópicos não se aplicam. A compreensão física de Lasers de um átomo é, portanto, um problema atual de ótica quântica. Por esse motivo e, por outros, achamos que o estudo do modelo aqui proposto seja interessante.. Situação: Desativado; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Walter Alberto de Siqueira Pedra - Coordenador / Westrich, Matthias - Integrante / Jean-Bernard Bru - Integrante. Número de produções C, T & A: 1 Membro: Walter Alberto de Siqueira Pedra. |
| 5. | 2011-2011. Projeto de Pós-Doutorado: Comportamento assintótico e geométrico de problemas parabólicos com domínio variando e termos concentrados na fronteira Descrição: Estudar o comportamento assintótico e geométrico de problemas parabólicos não lineares com relação à perturbação do domínio de definição de suas soluções e problemas com o termo não linear concentrado em uma vizinhança da fronteira do domínio, que contrai-se à fronteira quando um parâmetro tende a zero, bem como o comportamento de problemas em que as duas situações ocorrem. Neste último caso, a técnica de concentração pode ser útil no estudo do comportamento dinâmico dos problemas com domínio perturbado. Analisar o limite das soluções desses problemas, estudando a existência e unicidade de um problema limite. Investigar a estrutura geométrica do problema limite e sua relação com o problema perturbado, estudando a regularidade de sua convergência e os espaços de funções onde tal convergência ocorre e ainda, estudar a existência e continuidade de atratores.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Gleiciane da Silva Aragão - Integrante / Pereira, Antônio L. - Coordenador / Pereira, Marcone C. - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Número de produções C, T & A: 1 Membro: Gleiciane da Silva Aragão. |
| 1. | 2010-2012. Aproximação de Bogoliubov, Teoria de Jogos e Termodinâmica de Modelos do Tipo ?Mean-Field? Descrição: A aproximação de Bogoliubov corresponde a se substituir termos do tipo ?mean-field?, presentes em certos Hamiltonianos para sistemas de muitos corpos, por constantes adequadas. Esse tipo de aproximação é importante em física teórica, por exemplo no âmbito da teoria de supercondutores e de superfluídos. Ginibre, em 1968, foi o primeiro a demonstrar, por meios matematicamente rigorosos e para um modelo de bósons em interação, que a aproximação de Bogoliubov reproduz de maneira exata a pressão no limite termodinâmico. Ele menciona neste trabalho que a questão sobre a exatidão da aproximação de Bogoliubov no que diz respeito a estados de equilíbrio, e não só à pressão, no limite termodinâmico é de grande importância. No fim dos anos 80, Bogolioubov Jr. e outros generalizam o resultado de Ginibre, mostrando a exatidão da aproximação de Bogoliubov, no que diz respeito à pressão, para uma grande classe de modelos de muitos corpos em interação, não necessariamente bosônicos. Em um trabalho conjunto com J.-B. Bru foi definida e analisada uma classe de modelos fermiônicos em rede, cujos Hamiltonianos podem conter até mesmo um contínuo de termos do tipo ?mean-field?. Demonstramos que também nesta classe a aproximação de Bogoliubov reproduz a pressão de maneira exata no limite termodinâmico. Os estados de equilíbrio (ou seja, estados que minimizam a densidade de energia livre do sistema no limite termodinâmico) correspondentes foram analisados e os seguintes resultados obtidos: a) Para todos os modelos na classe considerada existem estados que são, ao mesmo tempo, estados de equilíbrio do modelo considerado e de uma de suas aproximações de Bogoliubov. b) Porém, de modo geral, nem todo estado de equilíbrio de uma aproximação de Bogoliubov é um estado de equilíbrio do modelo considerado. c) Todo estado de equilíbrio de um modelo arbitrário na classe considerada é uma combinação convexa (em geral infinita) de estados de equilíbrio de diferentes aproximações de Bogoliubov.. Situação: Desativado; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (2) . Integrantes: Walter Alberto de Siqueira Pedra - Coordenador / Jean-Bernard Bru - Integrante. Financiador(es): Ministerio de Ciencia e Innovación - Auxílio financeiro / Johannes Gutenberg-Universität Mainz - Auxílio financeiro. Número de produções C, T & A: 10 Membro: Walter Alberto de Siqueira Pedra. |
| 2. | 2010-2012. Estudos Teóricos e Algorítmicos de Problemas Combinatórios e de Otimização (Edital Universal MCT/CNPq 14/2010 Proc. 475064/2010-0) Descrição: Otimização Combinatória é a área que estuda métodos para encontrar pontos ótimos (máximo ou mínimo) de uma função definida sobre um certo domínio. Neste projeto estudamos o uso de técnicas de otimização para a solução de problemas de combinatória notadamente de quatro subáreas: problemas em grafos, problemas de combinatória assintótica, problemas de empacotamento e escalonamento e problemas de programação não linear.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / José Coelho de Pina - Integrante / Carlos Eduardo Ferreira - Integrante / Yoshiko Wakabayashi - Coordenador / Cristina G. Fernandes - Integrante / Gordana Manic - Integrante / José Augusto Ramos Soares - Integrante / Ronconi, Débora P. - Integrante / Daniel Morgato Martin - Integrante. Membro: Ernesto Julián Goldberg Birgin. |
| 3. | 2010-2011. Generating Operational Level Decision for PSP (Hewlett-Packard GOLD Advanced Research grant, through HP Labs and HP Brazil) Descrição: Este projeto foi originado pela HP-Labs e pela HP-Brasil R&D, que contataram a Agência de Inovação da Universidade de São Paulo (USP). O objetivo do projeto é estudar e obter boas soluções para algumas variantes de problemas de job shop scheduling que ocorrem em PrintShop Providers na área de impressão da HP (imaging and printing group). O projeto se insere, portanto, no esforço de automação do processo de impressão digital da HP.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / Débora Pretti Ronconi - Integrante / Paulo Feofiloff - Integrante / Cristina G. Fernandes - Coordenador. Membro: Ernesto Julián Goldberg Birgin. |
| 4. | 2010-2014. Núcleo de Excelência em Otimizaçao Contínua (PRONEX - CNPq / FAPERJ E-26 / 111.449/2010 - APQ1) Descrição: O objetivo central deste projeto é o estudo abrangente dos principais tópicos da Otimização Contínua, incluindo tanto os avanços teóricos quanto o desenvolvimento de novos métodos computacionais, a implementação dos mesmos através de ?software" original e a aplicação destas técnicas à solução de problemas provenientes de outras disciplinas ou do ?mundo real" (aplicações a questões de natureza tecnológica).. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / Carlos Humes Junior - Integrante / Paulo Jose da Silva e Silva - Integrante / Marina Andretta - Integrante / Walter F. Mascarenhas - Integrante / Alfredo Noel Iusem - Coordenador / Benar Svaiter - Integrante / Claudia Sagastizábal - Integrante / Mikhail Solodov - Integrante / João Xavier Cruz Neto - Integrante / Rolando Otero - Integrante / Luis Roman Lucambio Perez - Integrante / Susana Scheimberg - Integrante / Orizon Pereira Ferreira - Integrante / Luis Mauricio Grana Drummond - Integrante / Maria Fernanda Raupp Pereira - Integrante / Jose Yunier Bello Cruz - Integrante / Divino Goncalves de Melo Jefferson - Integrante / Vincent Guigues - Integrante / Maicon Marques Alves - Integrante. Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Ernesto Julián Goldberg Birgin. |
| 5. | 2010-2015. Problemas de corte, empacotamento, dimensionamento de lotes e programação da produção, e suas integrações em contextos industriais e logísticos (Temático da FAPESP: 2010/10133-0) Descrição: Neste Projeto Temático pretendemos estudar: (i) problemas de corte e empacotamento, (ii) problemas de dimensionamento de lotes e programação (scheduling), (iii) integração dos problemas de corte ou empacotamento em (i) com os problemas de dimensionamento de lotes ou programação em (ii). Este projeto é uma continuação de outro Projeto Temático FAPESP concluído em 2010, em que foram estudados principalmente problemas em (i), mas também alguns problemas integrando problemas de (i) e (ii). Os objetivos deste projeto incluem o estudo e a modelagem matemática destes problemas, o desenvolvimento de métodos de solução e algoritmos para resolvê-los, bem como a análise de seus desempenhos computacionais. Também são objetivos deste projeto promover a integração e colaboração de grupos de pesquisadores de diferentes instituições interessados nestes problemas, assim como a formação de recursos humanos e a capacitação em pesquisa e desenvolvimento tecnológico. É nossa preocupação neste projeto motivar a aproximação entre universidades e empresas, por meio do desenvolvimento de estudos de caso dos problemas aqui estudados nas empresas. Esperamos com isso possibilitar colaborações e parcerias no estudo destes problemas e no desenvolvimento de ferramentas computacionais para serem utilizadas na prática. A equipe deste projeto é formada por vários pesquisadores em diversos estágios de suas carreiras acadêmicas, desde alunos de pós-graduação e recém-doutores, até pesquisadores ativos e experientes na pesquisa destes problemas. Contaremos também com a colaboração de diversos pesquisadores do exterior especializados nestes temas.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / Débora Pretti Ronconi - Integrante / Marcos Nereu Arenales - Integrante / Horácio Hideki Yanasse - Integrante / Marina Andretta - Integrante / Nei Yoshihiro Soma - Integrante / Vinicius Amaral Armentano - Integrante / Andréa Carla Gonçalves-Vianna - Integrante / Socorro Rangel - Integrante / Silvio Alexandre de Araujo - Integrante / Vitória Pureza - Integrante / Franklina M. B. Toledo - Integrante / Maristela O. Santos - Integrante / Morabito, R - Coordenador / Kelly Cristina Poldi - Integrante / Robinson Hoto - Integrante / Gisele Pileggi - Integrante / Denise Sato Yamashita - Integrante / Deisemara Ferreira - Integrante / Claudio Meneses - Integrante / Alisson M. Costa - Integrante / Adriana Cherri - Integrante. Membro: Ernesto Julián Goldberg Birgin. |
| 6. | 2010-2012. Programa Universal/CNPq -Sistemas Descontínuos Situação: Em andamento; Natureza: Pesquisa. Integrantes: Ana Cristina de Oliveira Mereu - Integrante / TEIXEIRA, MARCO ANTONIO - Coordenador / João Carlos Medrado - Integrante / Durval José Tonon - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Ana Cristina de Oliveira Mereu. |
| 7. | 2010-Atual. Teoria Qualitativa das Equações Diferenciais II Descrição: Projeto de Cooperação Brasil-Espanha, Capes-CGU, Unicamp-Univ. Autônoma de Barcelona.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (5) Doutorado: (8) . Integrantes: Ana Cristina de Oliveira Mereu - Integrante / Marco Antonio Teixeira - Coordenador / Jaume - Integrante / João Carlos Medrado - Integrante / Maurício Firmino Silva Lima - Integrante / Ricardo Miranda Martins - Integrante / Regilene Delazari de Oliveira - Integrante / Luis Fernando de Osorio Mello - Integrante / Pedro Toniol Cardin - Integrante / Paulo Ricardo da Silva - Integrante. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação. Membro: Ana Cristina de Oliveira Mereu. |
| 1. | 2009-2012. Controle de Decoerência Quântica em Sistamas Abertos Descrição: Um sistema quântico aberto é, a grosso modo, um sistema quântico no qual um ou mais subsistemas infinitos interagem com um mesmo sistema finito. Característico para tal situação é o fato de que a dinâmica efetiva do subsistema finito, mesmo no caso de uma interação extremamente fraca, mas não nula, com os subsistemas infinitos, é, em geral, não-unitária. Sistemas deste tipo são relevantes para a computação quântica. Por exemplo, eles servem como modelo teórico para registros quânticos com perda de informação causada pela interação do registro com seu ambiente exterior. Em um trabalho conjunto com V. Bach, M. Merkli e I.M. Sigal estão sendo analisados métodos de controle de decoerência em registros quânticos através de perturbações periódicas no tempo (?bang-bang? control). Tal procedimento reduz a perda de informação quântica em tais registros. A análise matemática de tais sistemas dinâmicos lineares não autônomos é efetuada através da análise espectral do gerador do semigrupo de evolução (evolution semigroup), ou seja, do operador de Howland correspondente. A localização de ressonâncias de tais operadores dá acesso à taxa de decoerência do sistema controlado por perturbações periódicas. Com tal propósito utilizamos técnicas de deformação espectral de operadores fechados.. Situação: Desativado; Natureza: Pesquisa. Integrantes: Walter Alberto de Siqueira Pedra - Integrante / Marco Merkli - Integrante / Volker Bach - Coordenador / I.M. Sigal - Integrante. Membro: Walter Alberto de Siqueira Pedra. |
| 2. | 2009-2012. Particle Aspects of Thermal Quantum Fields Descrição: LEVERHULME research grant. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Christian Dieter Jäkel - Coordenador / Florian Robl - Integrante. Membro: Christian Dieter Jäkel. |
| 3. | 2009-2012. Problemas de N Corpos em Redes Descrição: O objetivo deste projeto é a análise da equação de Schrödinger para um número finito N de partículas quânticas (com ou sem estatística) em interação em rede cúbica. Mais precisamente, pretendemos estudar a formação e o comportamento dinâmico efetivo de objetos ou estruturas compostas estáveis, formadas por 11 é necessária a análise do caso de uma única partícula (N=1) com relação de dispersão suficientemente geral. Esta fase do projeto já foi encerrada. Nela também foram obtidos resultados que são de interesse geral para a teoria de operadores de Schrödinger: Entre outras coisas mostramos que a assintótica Weyl para o espectro discreto, em oposição ao caso contínuo, é em geral violada. Algumas condições suficientes a serem verificadas pelo potencial para que tal assintótica seja válida também foram demonstradas. Pretendemos demostrar que a equação de Schrödinger para N>1 partículas em interação em rede possui soluções que descrevem estruturas dinamicamente estáveis compostas de 1Situação: Desativado; Natureza: Pesquisa. Integrantes: Walter Alberto de Siqueira Pedra - Integrante / Volker Bach - Coordenador / Saidakhmat Lakaev - Integrante. Membro: Walter Alberto de Siqueira Pedra. |
| 4. | 2009-2012. Proposal of new algorithms for the electronic structure calculation based on the reduced-density-matrix method Descrição: One of the most basic problems in quantum chemistry is the electronic structure calculation problem. Using the reduced-density-matrix method, we can obtain an approximate solution solving a convex problem called semidefinite programming problem. This approach is known to be very attractive both in theoretical and numerical aspects. However, its computational time is extremely slow compared to the usual methods and it cannot be used to large-scale problems. We succeed to solve the large-scale semidefinite programming problem with high accuracy using a parallel primal-dual interior-point method. This problem is considered one of the largest semidefinite programming problems solved so far.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Mituhiro Fukuda - Coordenador. Financiador(es): Japan Society for the Promotion of Science - Auxílio financeiro. Número de produções C, T & A: 1 Membro: Mituhiro Fukuda. |
| 5. | 2009-2011. Teoria e Software em Métodos Computacionais de Otimização (Auxilio Pesquisa FAPESP 2009-10241-0) Descrição: O objetivo do presente projeto é desenvolver métodos computacionais de otimização. Pretendemos abordar todos os aspectos do desenvolvimento de métodos de otimização. Começaremos desenvolvendo a teoria que dá o embasamento teórico dos métodos e de sua convergência. No aspecto prático, pretendemos implementar algoritmos pertinentes para cada tipo de problema abordado, incluindo aqui problemas de grande porte que requerem o uso de estruturas de dados adequadas. Ademais, ainda do ponto de vista prático, o objetivo final é desenvolver software livre.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Coordenador / Rafael Durbano Lobato - Integrante / Erico M. Gozzi - Integrante / Boris Chullo Llaves - Integrante / Luis Henrique Bustamente - Integrante / Jessé Américo Gomes de Lima - Integrante / Phillipe Rodrigues Sampaio - Integrante / Ricardo Luiz Andrade - Integrante / Jan Marcel Paiva Gentil - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Ernesto Julián Goldberg Birgin. |
| 6. | 2009-2011. Teoria e Software em Métodos Computacionais de Otimização (Edital MCT/CNPq 70/2008 - Mestrado/Doutorado, Processo: 552102/2009-1) Descrição: O objetivo do presente projeto é desenvolver métodos computacionais de otimização. Pretendemos abordar todos os aspectos do desenvolvimento de métodos de otimização. Começaremos desenvolvendo a teoria que dá o embasamento teórico dos métodos e de sua convergência. No aspecto prático, pretendemos implementar algoritmos pertinentes para cada tipo de problema abordado, incluindo aqui problemas de grande porte que requerem o uso de estruturas de dados adequadas. Ademais, ainda do ponto de vista prático, o objetivo final é desenvolver software livre. O presente projeto encaixa-se nas áreas de Matemática, Computação e Software, qualificadas como estratégicas no Edital ao qual este projeto se destina, e tem duração prevista de 24 meses.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Ernesto Julián Goldberg Birgin - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Membro: Ernesto Julián Goldberg Birgin. |
| 7. | 2009-2012. Termodinâmica de Modelos de Muitos Corpos Invariantes por Permutação Descrição: Alguns resultados da teoria de probabilidades clássica podem ser generalizados no âmbito da teoria de probabilidades não-comutativa, associada à mecânica quântica. Um exemplo, útil para nós, de tal fato é o teorema de de Finetti, que afirma que toda medida de probabilidade invariante por permutação é necessariamente uma combinação convexa de medidas produto. Størmer, considerando estados invariantes por permutação de certas álgebras C* não-cumutativas, demonstrou em 1969 que tal propriedade é válida em um quadro bem mais geral. É fato conhecido que o comportamento, dinâmico e estático, de certos sistemas quânticos de muitos corpos, cujo Hamiltoniano possui termos do tipo ?mean-field?, é corretamente descrito por um sistema efetivo de um corpo, que é, em geral, não linear. Tal propriedade foi demonstrada primeiramente para certos modelos específicos e de modo ?puramente analítico?. Posteriormente, mostrou-se que a mesma pode dever-se à estrutura geral de estados invariantes por permutação: Segundo uma versão não-comutativa do teorema de de Finetti mencionado acima, estados invariantes por permutação puros são sempre estados-produto (de um mesmo estado de uma partícula). Por tal motivo, sob certas circunstâncias, as propriedades termodinâmicas de um sistema de infinitas partículas podem ser relacionadas a certos sistemas efetivos de uma partícula que descrevem os estados de equilíbrio puros. O objetivo do presente projeto é, portanto, usar esse quadro formal com o intuito de analisar os aspectos termodinâmicos de certos modelos de muitos corpos de interesse atual, identificando os sistemas, de um corpo, efetivos correspondentes e descrevendo, por meio destes, a estrutura dos estados de equilíbrio de tais modelos.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (2) . Integrantes: Walter Alberto de Siqueira Pedra - Coordenador / Jean-Bernard Bru - Integrante. Número de produções C, T & A: 1 Membro: Walter Alberto de Siqueira Pedra. |
| 1. | 2008-2012. Geometria de Sistemas de Controle, Sistemas Dinâmicos e Estocásticos Descrição: Projeto temático da Fapesp. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ana Cristina de Oliveira Mereu - Integrante / Marco Antonio Teixeira - Integrante / Ketty Abaroa de Rezende - Integrante / Luiz Antônio Barrera San Martin - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Ana Cristina de Oliveira Mereu. |
| 2. | 2008-2013. Sistemas dinâmicos não lineares em espaços de dimensão infinita (TEMÁTICO-FAPESP) Descrição: Um grande número de problemas em áreas aplicadas (Física, Química, Biologia, Economia, Engenharia, etc) podem ser classificados como sistemas dinâmicos. Em geral, estes sistemas dinâmicos estão associados a equações diferenciais que podem ser equações diferenciais ordinárias, funcionais, parciais, parciais-funcionais ou discretas. Exemplos de modelos matemáticos que podem dar origem a sistemas dinâmicos são as equações de ondas, as equações de Fitz-Hugh Nagumo, as equações de Hodgkin-Huxley, as equações para a supercondutividade de líquidos, os modelos de crescimento populacional, as equações de Navier-Stokes, as equações de reação e difusão, as equações de Kortweg-de Vries, as equações de Cahn-Hilliard, as equações de Schrödinger e as equações de Benjamin-Ono, entre muitas outras. Além dessas, os pontos de equilíbrio desses modelos serão soluções de sistemas de equações não lineares (quando o modelo é uma EDO), soluções de sistemas de equações diferenciais parciais elípticas (quando o modelo é EDP evolutiva de tipo parabólico ou hiperbólico) ou uma solução de um sistema de equações integrais quando o modelo é uma EDF retardada com retardo distribuído. Para que um modelo matemático reproduza o comportamento do sistema modelado, devemos conhecer um sistema completo de leis que regem o sistema. É claro que algumas influências que o sistema sofre são tão pequenas que podem ser esquecidas ou simplesmente negligenciadas durante a modelagem. Além disso, todos os parâmetros no modelo são determinados com algum erro. Consequentemente, os modelos encontrados são somente aproximações dos modelos ideais e erros são inevitáveis. Diante dessas considerações, é de importância fundamental mostrar que os modelos utlizados gozam de alguma estabilidade relativamente a todas as perturbações possíveis. Nos propomos a estudar a continuidade de soluções especiais e, mais geralmente, de invariantes sob perturbação (regular ou singular).. Situação: Concluído; Natureza: Pesquisa. Integrantes: Gleiciane da Silva Aragão - Integrante / Antônio L. Pereira - Integrante / Alexandre Nolasco de Carvalho - Coordenador / Hildebrando Munhoz Rodrigues - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Gleiciane da Silva Aragão. |
| 1. | 2007-2009. Applied optimization: Extensions and applications of semidefinite programming and related topics Situação: Concluído; Natureza: Pesquisa. Integrantes: Mituhiro Fukuda - Coordenador. Financiador(es): Ministry of Education, Culture, Sports, Science and Technology of Japan - Auxílio financeiro. Número de produções C, T & A: 2 Membro: Mituhiro Fukuda. |
| 2. | 2007-2011. Constructive Local Quantum Theory Descrição: Fondecyt research grant, N° 1071051. Situação: Concluído; Natureza: Pesquisa. Integrantes: Christian Dieter Jäkel - Coordenador. Membro: Christian Dieter Jäkel. |
| 3. | 2007-2007. Constructive Local Quantum Theory Descrição: Convite professor visitante, N° 7070090. Situação: Concluído; Natureza: Pesquisa. Integrantes: Christian Dieter Jäkel - Coordenador / Jan Derezinski - Integrante. Membro: Christian Dieter Jäkel. |
| 4. | 2007-2009. Estruturas discretas, complexidade e algoritmos (Edital MCT/CNPq 15/2007 - Universal, Proc. 485671/2007-7) Descrição: O objetivo central da pesquisa proposta é investigar objetos combinatórios relevantes à matemática discreta e à teoria da computação, dando especial ênfase a aspectos estruturais clássicos, algorítmicos e não-algorítmicos, e a aspectos envolvendo a complexidade dos objetos de interesse. Subtemas específicos de pesquisa: (i) problemas estruturais sobre grafos e matróides, (ii) combinatória extremal, probabilística e assintótica, (iii) pseudoaleatoriedade em combinatória e em teoria da computação, e (iv ) algoritmos sobre estruturas discretas e aplicações.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / Arnaldo Mandel - Integrante / José Coelho de Pina - Integrante / Paulo Feofiloff - Integrante / Yoshiko Wakabayashi - Integrante / Cristina G. Fernandes - Integrante / José Augusto Ramos Soares - Integrante / Fernando José Oliveira de Souza - Integrante / Manoel lemos - Coordenador / Sóstenes Lins - Integrante / Carlos Gustavo T. de A. Moreira - Integrante / Roberto Imbuzeiro M. F. de Oliveira - Integrante / Alair Pereira do Lago - Integrante / Yoshiharu Kohayakawa - Integrante / André Luiz Pires Guedes - Integrante / Jair Donadelli Júnior - Integrante / Renato José da Silva Carmo - Integrante. Membro: Ernesto Julián Goldberg Birgin. |
| 5. | 2007-2009. Estudo da dispersão pós alimentar de larvas de moscas varejeiras via autômatos celulares Descrição: Estudar padrões de dispersão larval de moscas varejeiras de diferentes espécies utilizando autômatos celulares. Este estudo tem aplicação em entomologia forense, ecologia e epidemiologia. Os dados experimentais forma obtidos por WAC Godoy e outros e serão comparados com as simulações computacionais. Fapesp 07/00060-2 (R$ 4500,00). Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) . Integrantes: Cláudia Pio Ferreira - Coordenador / Wesley Augusto Conde Godoy - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T & A: 2 Membro: Cláudia Pio Ferreira. |
| 6. | 2007-2010. Núcleo de Excelência em Otimizaçao Contínua (PRONEX - CNPq / FAPERJ E-26 / 171.510/2006 - APQ1) Descrição: O objetivo deste projeto é a formulação, análise teórica, desenvolvimento e implementação de algoritmos para os problemas clássicos de otimização: programação linear e não linear, resolução de sistemas de equações lineares e não lineares, problemas de viabilidade convexa (ou seja resolução de sistemas de inequações convexas), problemas de complementaridade linear e não linear, problemas de equilíbrio geral, problemas de programação semi-definida e desigualdades variacionais. Outrossim, o núcleo abordará o estudo de técnicas de decomposição de descentralização para problemas estruturados, e o desenvolvimento de "software", apropriado para este tipo de problemas. Compete também ao núcleo a resolução de problemas práticos usando ferramentas típicas da otimização numérica.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / José Mario Martínez - Integrante / Maria Aparecida Diniz Ehrhardt - Integrante / Marcia Aparecida Gomes Ruggiero - Integrante / Carlos Humes Junior - Integrante / Clovis Caesar Gonzaga - Integrante / Véra Lúcia da Rocha Lopes - Integrante / Roberto Andreani - Integrante / Paulo Jose da Silva e Silva - Integrante / Ana Friedlander - Integrante / Walter F. Mascarenhas - Integrante / Francisco A. M. Gomes - Integrante / Sandra Augusta Santos - Integrante / Alfredo Noel Iusem - Coordenador / Margarida Pinheiro Mello - Integrante / Benar Svaiter - Integrante / Claudia Sagastizábal - Integrante / Mikhail Solodov - Integrante / Elizabeth Karas - Integrante / Rolando Otero - Integrante / Maria Laura Schuverdt - Integrante / Joao Xavier da Cruz Neto - Integrante / Luis Roman Lucambio Perez - Integrante / Susana Scheimberg - Integrante / Ademir Alves Ribeiro - Integrante / Orizon Pereira Ferreira - Integrante / Luis Mauricio Grana Drummond - Integrante / Maria Fernanda Raupp Pereira - Integrante. Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Ernesto Julián Goldberg Birgin. |
| 7. | 2007-2010. Teoria e prática dos problemas de corte e empacotamento (Temático FAPESP 2006/03496-3) Descrição: O objeto central deste projeto temático consiste no estudo dos Problemas de Corte e Empacotamento (PCE), os quais abrangem uma variedade de problemas de otimização combinatória caracterizados por uma estrutura comum que consiste em arranjar "itens dentro de um objeto". Este arranjo, em sua versão mais concreta, pode definir o corte de peças em estoque para a produção de itens encomendados, como também o empacotamento de caixas num contêiner. Apesar da enormidade de aplicações práticas desta "versão concreta", os problemas de corte e empacotamento surgem naturalmente em "arranjos simbólicos" como subproblemas importantes no uso de recursos escassos, que formam a essência dos problemas da pesquisa operacional, tais como seleção de projetos, dimensionamento de lotes, alocação de tarefas, etc. A relevância dos PCE's advém do crescente estímulo que as indústrias, em geral, têm recebido para otimizar seus processos. Este estímulo ocorre, entre outras causas, pela maior competitividade imposta pelas transformações que têm afetado a ordem econômica mundial. O Brasil se alinha nesta tendência e experimenta profundas mudanças no seu setor produtivo no que tange à modernização de seus processos produtivos, melhoria da qualidade de seus produtos e racionalização administrativa. Neste projeto visa-se o desenvolvimento de modelos matemáticos de problemas oriundos de ambientes industriais de corte e empacotamento, o desenvolvimento e/ou aperfeiçoamento de métodos de solução, o desenvolvimento de estudos computacionais, a identificação de novos problemas práticos, bem como a revisão de problemas da literatura. Estudos de Problemas de Corte e Empacotamento têm sido desenvolvidos por diversos pesquisadores em diferentes instituições de ensino/pesquisa no estado de S. Paulo, seja de forma independente ou já em colaboração. Por meio do presente projeto, busca-se dar continuidade à integração e/ou integrar novos grupos de pesquisadores neste tema, objetivando o inte. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / Débora Pretti Ronconi - Integrante / Marcia Aparecida Gomes Ruggiero - Integrante / Marcos Nereu Arenales - Coordenador / Valéria de Podesta Gomes - Integrante / Horácio Hideki Yanasse - Integrante / Reinaldo Morabito - Integrante / Antonio Carlos Moretti - Integrante / José Carlos Becceneri - Integrante / Nei Yoshihiro Soma - Integrante / Adriana Cesário de Faria Alvim - Integrante / Vinicius Amaral Armentano - Integrante / Aurelio Ribeiro Leite - Integrante / Clovis Perim Filho - Integrante / Andréa Carla Gonçalves-Vianna - Integrante / Silvio Alexandre de Araujo - Integrante / Vitória Pureza - Integrante / Franklina M. B. Toledo - Integrante / Maristela O. Santos - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Ernesto Julián Goldberg Birgin. |
| 8. | 2007-2009. Teoría de Representación y Álgebras de Operadores Descrição: CONDECYT research grant. Situação: Concluído; Natureza: Pesquisa. Integrantes: Christian Dieter Jäkel - Coordenador / Ricardo Baeza - Integrante. Membro: Christian Dieter Jäkel. |
| 9. | 2007-2009. Técnicas de Otimização para problemas combinatórios (Edital MCT/CNPq 15/2007 - Universal, Proc. 486124/2007-0) Descrição: Otimização Combinatória é a área da matemática que estuda métodos para encontrar pontos ótimos (máximo ou mínimo) de uma função definida sobre um certo domínio. Nos problemas desta área o domínio é finito, e os pontos podem ser enumerados. Entretanto, o número de pontos do domínio pode ser muito grande, inviabilizando uma abordagem que enumerasse todas as possibilidades. Diversos problemas práticos podem ser modelados como problemas de Otimização Combinatória. Tais aplicações práticas motivam o estudo de abordagens exatas e aproximadas para sua resolução, objeto principal de estudo neste projeto. Os problemas que estudaremos provêm de diversas áreas como Biologia Computacional, Escalonamento de Tarefas, Empacotamento, entre outros. A equipe do projeto consiste de 14 pesquisadores que já interagem há algum tempo dos quais 5 são pesquisadores de instituições emergentes, que fizeram seus doutoramentos orientados por pesquisadores do IME-USP, instituição principal deste projeto. As instituições envolvidas são a USP (através do IME e da Escola Politécnica), UFRJ, UECE, UFPE e UFMS. Os objetivos deste projeto são o fortalecimento da colaboração existente entre os grupos de pesquisa envolvidos e a ampliação do apoio aos doutores egressos da instituição, a fim de que possam continuar a desenvolver pesquisa de qualidade na área. Durante o projeto pretendemos realizar oficinas semestrais de pesquisa, que visam a expor os alunos envolvidos a um ambiente de pesquisa prolífero. Tais oficinas contarão com a participação de pesquisadores do país e do exterior que apresentarão palestras de seus trabalhos. Além disso, haverá também seções de problemas em aberto com a participação ativa dos estudantes. Ampliar esta interação é um dos principais objetivos deste projeto.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / Débora Pretti Ronconi - Integrante / José Coelho de Pina - Integrante / Carlos Eduardo Ferreira - Coordenador / Yoshiko Wakabayashi - Integrante / Cristina G. Fernandes - Integrante / Fábio Henrique Viduani Martinez - Integrante / Glauber Ferreira Cintra - Integrante / José Augusto Ramos Soares - Integrante / Liliane Rose Benning Salgado - Integrante / Márcia Rosana Cerioli - Integrante / Marco Aurelio Stefanes - Integrante / Maya Stein - Integrante / Said Sadique Adi - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Ernesto Julián Goldberg Birgin. |
| 10. | 2007-2010. Uma abordagem matemática para a doença do caranguejo letárgico Descrição: Desde 1997 tem-se observado eventos de mortandade nas populações de caranguejo-uça no litoral brasileiro, em especial no Nordeste. Em 2005, o Grupo Integrado de Aquicultura e Estudos Ambientais (GIA-UFPR) identificou o agente causador da doença, a qual recebeu o nome de Doença do Caranguejo Letárgico (DCL). Em colaboração com os pesquisadores do Departamento de Bioestatística (IBB-UNESP) este grupo busca agora desenvolver um modelo epidemiológico que descreva a dinâmica da doença e tente avaliar os locais mais suscetíveis para novos eventos de mortandade. Numa primeira abordagem, estuda-se a transmissão da doença entre a população de caranguejos de um único estuário, através de um modelo de equações diferencias. Uma análise prévia deste modelo indica que o mesmo apresenta bifurcações de Hopf, o que permite reproduzir o padrão temporal cíclico da doença quando o parâmetro que descreve a interação entre o fungo e o caranguejo, é constante. Resultados analíticos e numéricos serão obtidos para os pontos de equilíbrio, análise de estabilidade e construção do espaço de parâmetros. Bolsa de Pesquisa no Exterior FAPESP 2007/05265-1 (R$ 3900,00) MCT/CNPq 15/2007 - Universal - faixa A (R$17000,00). Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (2) . Integrantes: Cláudia Pio Ferreira - Coordenador / Paulo Fernando Arruda Mancera - Integrante / Lurdes Esteva - Integrante / Ant Ostrensky - Integrante / Marcio Roberto Pie - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Número de produções C, T & A: 3 Membro: Cláudia Pio Ferreira. |
| 1. | 2006-2010. Dinâmica em baixas dimensões Descrição: Projeto Temático da FAPESP, coordenado pelo Prof. André de Carvalho (IME-USP). Resumo: A teoria moderna de sistemas dinâmicos começou com o trabalho de Poincaré e, desde então, cresceu e amadureceu, tornando-se uma área importante da Matemática. Os objetivos principais deste projeto são aprofundar o conhecimento das seguintes áreas de sistemas dinâmicos: (i) endomorfismos do intervalo (por exemplo, questões analíticas delicadas como decaimento de geometria e existência de medidas invariantes; transformações críticas do círculo; renormalização e o espaço de parâmetros); (ii) Teoria de Teichmüller e sua conexões com dinâmica em dimensões baixas; (iii) Difeomorfismos em dimensão 2 como, por exemplo, transformações de Hénon e 'twist maps' do anel; (iv) Sistemas hamiltonianos com dois graus de liberdade, seus aspectos dinâmicos e topológicos; (v) Teoria ergódica de seqüências de transformações de superfícies; (vi) Equações diferenciais polinomiais no plano e o 16o problema de Hilbert.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Eduardo Colli - Integrante / Edson Vargas - Integrante / André Salles de Carvalho - Coordenador / Edson de Faria - Integrante / Albert Meads Fisher - Integrante / Daniel Cantergiani Panazzolo - Integrante / Pedro Santoro Salomão - Integrante / Salvador Addas Zanata - Integrante / Fabio Armando Tal - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Eduardo Colli. Descrição: Projeto Temático FAPESP 2006/03829-2.. Situação: Concluído; Natureza: Pesquisa. Integrantes: André Salles de Carvalho - Coordenador / Albert Fisher - Integrante / Edson de Faria - Integrante / Edson Vargas - Integrante / Salvador Zanata - Integrante / Pedro Salomão - Integrante / Fabio Tal - Integrante / Eduardo Colli - Integrante. Membro: André Salles de Carvalho. |
| 2. | 2006-2012. Modelos Matematicos em Ecologia Descrição: Busca de padrões espaço-temporais em ecologia através do formalismo de autômatos celulares, equações diferenciais e modelos baseados em agentes. Em particular, estamos estudando a dispersão de uma e duas espécies de larvas de moscas varejeiras (comportamento de predação), a dinâmica populacional de anfipodes terrestres, a dispersão no campo de doenças causada por fungos fitopatogenicos e a transmissão e dispersão da doença do caranguejo letárgico. Estes estudos tem importância em entomologia forense, ecologia (bio-monitores) e controle de pragas.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Mestrado acadêmico: (2) / Doutorado: (1) . Integrantes: Cláudia Pio Ferreira - Coordenador / Paulo Fernando Arruda Mancera - Integrante / Lurdes Esteva - Integrante / Wesley Augusto Conde Godoy - Integrante / Marcelo Messias - Integrante / Roberto Andre Kraenkel - Integrante / Marcio Roberto Pie - Integrante. Financiador(es): Fundação para o Desenvolvimento da UNESP - Auxílio financeiro / Universidade Estadual Paulista Júlio de Mesquita Filho - Auxílio financeiro. Número de produções C, T & A: 8 Membro: Cláudia Pio Ferreira. |
| 3. | 2006-2010. Métodos computacionais de otimização (Temático FAPESP 2006/53768-0) Descrição: A pesquisa em métodos computacionais de otimização vem sendo desenvolvida no Departamento de Matemática Aplicada da Unicamp, sob a coordenação do responsável principal por este projeto, nos últimos 27 anos. A área de interesse do grupo é Otimização, nas suas três vertentes principais: Teoria sobre problemas e métodos, Implementação prática de Algoritmos e Aplicações. Neste projeto temático, a proposta consiste em dar continuidade a esse trabalho e ao projeto 2001/04597-4, com o mesmo título e o mesmo coordenador. O grupo está inserido no PRONEX de Otimização, atualmente em vigência.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / José Mario Martínez - Coordenador / Marcos Raydan - Integrante / Maria Aparecida Diniz Ehrhardt - Integrante / Marcia Aparecida Gomes Ruggiero - Integrante / Véra Lúcia da Rocha Lopes - Integrante / Natasha Krejic - Integrante / Roberto Andreani - Integrante / Ana Friedlander - Integrante / Francisco A. M. Gomes - Integrante / Maria Laura Schuverdt - Integrante / Cristina Maciel - Integrante / Eduardo Francello - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T & A: 6 Membro: Ernesto Julián Goldberg Birgin. |
| 4. | 2006-2010. Projeto de Doutorado: Comportamento assintótico de um problema de reação-difusão com retardo e termo de reação concentrado na fronteira Descrição: Analisar o comportamento assintótico das soluções de um problema de reação-difusão com retardo quando o termo de reação está concentrado em uma vizinhança da fronteira e esta vizinhança contrai-se à fronteira, quando um parâmetro tende a zero. Provar que essas soluções convergem para a única solução de um problema parabólico com retardo na fronteira. Provar a existência de uma família de atratores globais e que essa família é semicontínua superiormente. Finalmente, mostrar a continuidade do conjunto de equilíbrios.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Gleiciane da Silva Aragão - Integrante / Sergio Muniz Oliva - Coordenador. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa. Número de produções C, T & A: 3 Membro: Gleiciane da Silva Aragão. |
| 5. | 2006-2011. Temático Fapesp - Dinâmica em Baixas Dimensões Descrição: A teoria moderna de sistemas dinâmicos começou com o trabalho de Poincaré e, desde então, cresceu e amadureceu, tornando-se uma área importante da matemática. O objetivo principal deste projeto é aprofundar o conhecimento das seguintes áreas de sistemas dinâmicos: - Sistemas hamiltonianos com dois graus de liberdade, seus aspectos dinâmicos e topológicos. - Equações diferenciais polinomiais no plano e o 16o. problema de Hilbert. - Homeomorfismos e difeomorfismos em dimensão 2 como, por exemplo, transformações de Hénon e twist maps do anel. - Teoria de renormalização em dimensões 1 e 2. - Endomorfismos do intervalo (por exemplo, questões analíticas delicadas como decaimento de geometria e existência de medidas invariantes); transformações críticas do círculo; renormalização e o espaço de parâmetros. - Teoria de Teichmüller e suas conexões com dinâmica em dimensões baixas. - Teoria ergódica diferenciável. Ao mesmo tempo que a teoria de sistemas dinâmicos se desenvolveu, ela se afastou de outras, também nascidas do trabalho de Poincaré: a geometria e a topologia simpléticas. Outro objetivo deste projeto é o de buscar conexões pouco exploradas entre estas áreas e tentar reestabelecer um contato entre elas próximo o bastante para que se possa usar técnicas de cada uma para atacar problemas da outra.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Fábio Armando Tal - Integrante / Addas-Zanata, Salvador - Integrante / Andre de Carvalho - Coordenador / Pedro Salomão - Integrante / Edson Vargas - Integrante / Eduardo Colli - Integrante / Edson de Faria - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Fábio Armando Tal. |
| 1. | 2005-2016. Modelos Computacionais em Imunologia e Epidemiologia Descrição: Estudo e desenvolvimento de modelos matemáticos em epidemiologia e imunologia através do formalismo de equações diferencias ordinárias, equações as diferenças e autômatos celulares. Sub-projetos: a) desenvolver modelos matemáticos com o objetivo de quantificar os elementos da cadeia de disseminação de agentes MDR e propor medidas de controle. b) desenvolver modelos matemáticos com o objetivo de analisar a periodicidade das epidemias de dengue. b) Fapesp: 05/51671-6 (R$5800,00) + PROPE UNESP(R$ 1000,00). Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . Integrantes: Cláudia Pio Ferreira - Coordenador / Hyun Mo Yang - Integrante / Lurdes Esteva - Integrante / Thomas N Vilches - Integrante / Josemeri Aparecida Jamielniak - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T & A: 3 Membro: Cláudia Pio Ferreira. |
| 2. | 2005-2007. Otimização Discreta e Grafos: Teoria, Algoritmos e Aplicações (Projeto PROSUL - CNPq Edital No. 016/2004, Proc. 490333/04-4) Descrição: O foco central desta proposta é a investigação de problemas de Otimização Discreta e Grafos, com ênfase em seus aspectos teóricos, algorítmicos e aplicados. Nossa proposta é desenvolver pesquisa de primeira linha nesse tema, trazendo contribuições de caráter prático e teórico. A área de Otimização Discreta se situa na fronteira entre a Ciência da Computação, a Matemática e as Engenharias, ocupando um lugar de grande destaque na pesquisa científica que vem sendo conduzida no mundo todo. Dentre os vários problemas de otimização discreta que investigaremos incluem-se: projetos de redes de telecomunicações (redes de fibra ótica para conexões de banda larga), projetos de computadores e de chips VLSI, roteamento ou escalonamento de veículos, empacotamento de caixas em contêineres, corte de barras e placas, seqüenciamento de genes e DNA, mineração de dados, compressão de dados, etc. Neste REDE focaremos o estudo de técnicas para a solução de problemas como os descritos acima, implementação eficiente dessas técnicas para a solução de problemas reais, e pesquisas de caráter mais teórico na área de grafos e combinatória. Na área de grafos, serão pesquisados problemas sobre determinadas classes de grafos, bem como o desenvolvimento de algoritmos para a solução de problemas clássicos nessas classes e a análise da complexidade computacional dos problemas abordados. Pesquisas na área de grafos aleatórios também serão conduzidas. Esta área encontra-se na interseção das áreas de teoria dos grafos, combinatória e teoria das probabilidades. Consideramos o estudo de diversos problemas combinatórios, incluindo aspectos probabilísticos e assintóticos. Estes problemas têm um papel fundamental na investigação sobre grafos aleatórios e pseudo-aleatórios, assim como na análise assintótica de algoritmos e outras estruturas combinatórias. Esta REDE é constituída pelos seguintes projetos temáticos, conduzidos por 6 grupo de pesquisa. Grupo G1: Algoritmos exatos baseados em pr. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / Débora Pretti Ronconi - Integrante / José Coelho de Pina - Integrante / Carlos Eduardo Ferreira - Integrante / Yoshiko Wakabayashi - Coordenador / Flávio Keidi Miyazawa - Integrante / Cristina G. Fernandes - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Ernesto Julián Goldberg Birgin. |
| 3. | 2005-2006. Problemas de Empacotamento em Otimização Combinatória (PRobral/CAPES/DAAD 199-05) Descrição: In this project we plan to develop new approaches and algorithms to solve hard combinatorial optimization problems. Many of these problems have important applications in practice. For instance, many problems that arise in the design of VLSI circuits can be formulated as combinatorial optimization problems. We are specially interested in packing problems. Such problems have been broadly investigated not only because of their interesting theoretical aspects, but also due to their many practical applications, such as in cloth, glass, paper and wood industries. They also have applications in design of VLSI circuits, warehouse storage, newspapers paging, production of alcohol in the sugar cane industry, and in several other contexts. In this project we intend to develop new algorithms for a variety of packing problems. All participants have ongoing experience on this subject, and this project is a natural attempt to combine their skills to solve new hard problems.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / Carlos Eduardo Ferreira - Coordenador / Yoshiko Wakabayashi - Integrante / Marina Andretta - Integrante / Alexander Martin - Integrante / Armin Fügenschuh - Integrante / Cristina G. Fernandes - Integrante / Fernando Mario de Oliveira Filho - Integrante / Gordana Manic - Integrante / Markus Möller - Integrante / Marzena Fügenschuh - Integrante / Oliver Wegel - Integrante / Sussanne Moritz - Integrante. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Deutscher Akademischer Austauschdienst - Auxílio financeiro / Darmstadt University of Technology - Cooperação. Membro: Ernesto Julián Goldberg Birgin. |
| 1. | 2004-2006. Espaço de parâmetros em dinâmica unidimensional e aplicações Descrição: Este projeto teve por objetivo estudar questões relativas ao espaço de parâmetros em famílias de sistemas dinâmicos, em especial oriundos de iterações de uma função real. As questões se referiram, mais especificamente, ao diagrama de bifurcações, à prevalência dos fenômenos dinâmicos em termos topológicos ou de medida e à estratificação do espaço de parâmetros por classes de equivalência dinâmica via conjugação topológica. O projeto teve também um viés aplicado, ligado aos experimentos sobre a formação de bolhas em fluidos, conduzidas no Laboratório de Fenômenos Não-Lineares do Instituto de Física da USP.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Eduardo Colli - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T & A: 7 Membro: Eduardo Colli. |
| 2. | 2004-2007. Estudo e implementacao de algoritmos para o problema de carregamento de paletes do produtor (Auxilio Integrado CNPq 503465/2004-6) Descrição: O problema de carregamento de paletes (PCP) consiste em carregar produtos (embalados em caixas) sobre um palete retangular, de maneira a maximizar a área ocupada. Supõe-se que as caixas, disponíveis em grandes quantidades, devem ser arranjadas ortogonalmente, isto é, com seus lados paralelos aos lados do palete. O PCP aparece com freqüência nas atividades de armazenagem, movimentação e transporte de produtos. Devido à escala de certos sistemas logísticos, um pequeno aumento do número de produtos carregados sobre cada palete pode resultar numa economia global significativa. Neste estudo abordamos o problema bidimensional de arranjar ortogonalmente retângulos (l,w) e (w,l), dentro do retângulo (L,W).. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) . Integrantes: Ernesto Julián Goldberg Birgin - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Número de produções C, T & A: 2 Membro: Ernesto Julián Goldberg Birgin. |
| 3. | 2004-2006. Solving large-scale semidefinite programs and their applications to quantum chemistry Situação: Concluído; Natureza: Pesquisa. Integrantes: Mituhiro Fukuda - Integrante / KOJIMA, MASAKAZU - Coordenador. Financiador(es): Japan Society for the Promotion of Science - Auxílio financeiro. Número de produções C, T & A: 3 Membro: Mituhiro Fukuda. |
| 4. | 2004-2007. Teoria e metodos de otimizacao continua (PRONEX - CNPq / FAPERJ E-26 / 171.164/2003 - APQ1) Descrição: O objetivo deste projeto é a formulação, análise teórica, desenvolvimento e implementação de algoritmos para os problemas clássicos de otimização: programação linear e não linear, resolução de sistemas de equações lineares e não lineares, problemas de viabilidade convexa (ou seja resolução de sistemas de inequações convexas), problemas de complementaridade linear e não linear, problemas de equilíbrio geral, problemas de programação semi-definida e desigualdades variacionais. Outrossim, o núcleo abordará o estudo de técnicas de decomposição de descentralização para problemas estruturados, e o desenvolvimento de "software", apropriado para este tipo de problemas. Compete também ao núcleo a resolução de problemas práticos usando ferramentas típicas da otimização numérica.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Ernesto Julián Goldberg Birgin - Integrante / José Mario Martínez - Integrante / Marcia Aparecida Gomes Ruggiero - Integrante / Carlos Humes Junior - Integrante / Clovis Caesar Gonzaga - Integrante / Véra Lúcia da Rocha Lopes - Integrante / Roberto Andreani - Integrante / Paulo Jose da Silva e Silva - Integrante / Ana Friedlander - Integrante / Francisco A. M. Gomes - Integrante / Sandra Augusta Santos - Integrante / Alfredo Noel Iusem - Coordenador / Marcelo Gomes de Queiroz - Integrante / Margarida Pinheiro Mello - Integrante / Benar Svaiter - Integrante / Claudia Sagastizábal - Integrante / Mikhail Solodov - Integrante / Elizabeth Karas - Integrante / João Xavier Cruz Neto - Integrante / Mauricio Drummond - Integrante / Rolando Otero - Integrante / Luis Roman Peres - Integrante / Orizon Pereira - Integrante. Financiador(es): Instituto Nacional de Matemática Pura e Aplicada - Cooperação / Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro / Universidade Estadual de Campinas - Cooperação / Universidade Federal de Goiás - Cooperação / Universidade Federal de Santa Catarina - Cooperação / Universidade Federal do Piauí - Cooperação / Universidade Federal do Rio de Janeiro - Cooperação / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Número de produções C, T & A: 18 Membro: Ernesto Julián Goldberg Birgin. |
| 1. | 2003-2005. Desenvolvimento e aplicação de métodos numéricos para otimização contínua de grande porte (Auxilio Pesquisa FAPESP 2003/09169-6) Descrição: O presente projeto tem duas partes bem diferenciadas. A primeira relaciona-se com o desenvolvimento de novos metodos de otimizacao. A segunda refere-se a aplicacao de tecnicas de otimizacao a problemas praticos. Na primeira parte pretendemos implementar e fazer uma comparacao de algoritmos de Lagrangeano Aumentado para minimizacao de problemas nao convexos com restricoes de desigualdade. Na segunda parte do projeto, estes e outros algoritmos de otimizacao serao utilizados para resolver um problema real de estimacao de constantes oticas de filmes finos. Diversos trabalhos ja foram desenvolvidos nos quais as estimativas sao feitas partindo de experimentos fisicos nos quais dados de transmitancia sao medidos. No presente projeto pretendemos estender os algoritmos desenvolvidos para utilizar tambem dados de refletancia.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Ernesto Julián Goldberg Birgin - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Ernesto Julián Goldberg Birgin. |
| 1. | 2002-2002. Determining global optimal solutions of nonlinear programs Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Mituhiro Fukuda - Coordenador. Financiador(es): Ministry of Education, Culture, Sports, Science and Technology of Japan - Auxílio financeiro. Membro: Mituhiro Fukuda. |
| 2. | 2002-2004. Metodos numericos para otimizacao continua de grande porte (Auxilio Pesquisa FAPESP 2002/00094-0) Descrição: Neste trabalho propomos um novo metodo de restricoes ativas para a minimizacao de problemas com restricoes de caixa. O algoritmo combina um metodo irrestrito com uma tecnica recentemente introduzida (Gradiente Espectral Projetado) para eliminar restricoes do conjunto das variaveis livres. O algoritmo irrestrito inclui uma busca linear que tenta acrescentar muitas restricoes no conjunto de restricoes ativas a cada iteracao. Este metodo para problemas com restricoes de caixa sera testado para resolver os subproblemas que aparecem no metodo do Lagrangeano Aumentado para resolver problemas com restricoes gerais. Inspirados nos metodos de Restauracao Inexata, propomos tambem uma forma de acelerar o metodo do Lagrangeano Aumentado. Planejamos provar a convergencia global dos metodos e mostrar comparacoes numerica que determinem a confiabilidade dos mesmos.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Ernesto Julián Goldberg Birgin - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T & A: 1 Membro: Ernesto Julián Goldberg Birgin. |
| 1. | 2001-2003. Analyse de dispersion à température positive Descrição: Marie Curie Individual Fellowship, HPMF-CT-2000-00881. Situação: Concluído; Natureza: Pesquisa. Integrantes: Christian Dieter Jäkel - Coordenador. Membro: Christian Dieter Jäkel. |
| 2. | 2001-2005. Metodos computacionais de otimizacao (Temático FAPESP 2001/04597-4) Descrição: A pesquisa em metodos computacionais de otimizacao vem sendo desenvolvida no Departamento de Matematica Aplicada da Unicamp, sob a coordenacao do responsavel principal por este projeto, nos ultimos 22 anos. Foram desenvolvidos muitos trabalhos em teoria e pratica de resolucao de sistemas nao lineares, minimizacao irrestrita, minimizacao em caixas, programacao nao linear, complementaridade, desigualdades variacionais e aplicacoes. Atualmente a pesquisa e desenvolvida em colaboracao com pesquisadores de outras instituicoes como USP e UNESP. Tambem foram orientadas dezenas de teses de mestrado e doutorado. Neste projeto tematico, a proposta consiste em dar continuidade a esse trabalho. Uma novidade importante em relacao a projetos anteriores deste grupo, em particular em relacao ao projeto tematico 1990/3724-6, e a inclusao central de um amplo campo para aplicacoes de metodos numericos. Com efeito, existe atualmente o envolvimento em problemas de estimativa de parametros em problemas de Otica, cujo interesse em areas externas a Otimizacao e inclusive a Matematica, parece bastante intenso. Esses problemas surgem como importantes motivadores para o desenvolvimento de novos metodos, fornecem novas ideias e desafios e, de modo geral, atuam como poderosos estimuladores a pesquisa inovadora.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (4) . Integrantes: Ernesto Julián Goldberg Birgin - Integrante / José Mario Martínez - Coordenador / Marcos Raydan - Integrante / Lucio Tunes Santos - Integrante / Maria Aparecida Diniz Ehrhardt - Integrante / Marcia Aparecida Gomes Ruggiero - Integrante / Véra Lúcia da Rocha Lopes - Integrante / Natasha Krejic - Integrante / Roberto Andreani - Integrante / Ana Friedlander - Integrante / Antonio Carlos Moretti - Integrante / Elvio A. Pilotta - Integrante / Francisco A. M. Gomes - Integrante / Sandra Augusta Santos - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Universidade Estadual de Campinas - Cooperação / University of Novi Sad - Cooperação / Universidad Central de Venezuela - Cooperação. Número de produções C, T & A: 18 Membro: Ernesto Julián Goldberg Birgin. |
| 1. | 2000-2003. FAPESP (Processo 00/02706-8) Planejamento de Inspeções para Manutenção da Confibilidade de Sistemas Estruturais Lógicos. Descrição: Visa estabelecer um método para otimizar o planejamento probabilístico de inspeções em estruturas metálicas sujeitas à degradação por fadiga, considerando-as como conjuntos de elementos logicamente conectados. Com isso é possível contribuir para o aumento ou manutenção do nível de confiabilidade da estrutura a custos adequados.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Alexandre Kawano - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Alexandre Kawano. |
| 2. | 2000-2001. Implementation of the successie convex relaxation method for nonlinear problems Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Mituhiro Fukuda - Coordenador / Masakazu Kojima - Integrante. Financiador(es): The Japan Science Society - Auxílio financeiro. Membro: Mituhiro Fukuda. |
(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 27/01/2026 14:11:26