| 1. | 2023-Atual. Estudos de atribuicao das mudancas climaticas e geracao de cenarios e de indicadores de impacto em suporte a planejamentos de medidas de adaptacao regional e local - CNPq/MCTI/FNDCT - Mudancas Climaticas 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-Atual. Metodos Computacionais de Otimizacao (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 Julian Goldberg Birgin. |
| 3. | 2023-2026. Metodos Computacionais de Otimizacao (Universal CNPq) Situação: Concluído; Natureza: Pesquisa. Integrantes: Gabriel Haeser - Coordenador / Roger Behling - Integrante / José Mario Martínez - Integrante / Ernesto G. Birgin - Integrante / Roberto Andreani - Integrante / Daiana Oliveira dos Santos - Integrante / Mituhiro Fukuda - Integrante / Vincent Guigues - Integrante / Alfredo Iusem - Integrante / Luiz Felipe Bueno - Integrante / Leonardo Secchin - Integrante / Luiz-Rafael Santos - Integrante. Membro: Gabriel Haeser. |
| 4. | 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. |
| 5. | 2023-Atual. 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: Em andamento; Natureza: Pesquisa. 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. | 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: Fabio Armando Tal. |
| 2. | 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. Analise assintotica e qualitativa de equacoes integro-diferenciais Descrição: Nossa proposta aborda questões associadas ao tema análise assintótica e qualitativa em problemas de valor de contorno cujo interesse se remota a fenômenos modelados por Equações Diferenciais Parciais e Equações Integrais. De maneira geral, os fenômenos de nosso interesse sugerem a introdução de parâmetros que estão associados à performance do modelo transferindo a eles grande importância no processo de modelagem. Três são os parâmetros mais importantes que pretendemos abordar nesse contexto: (i) o domínio de definição das soluções; (ii) termos não lineares que perturbem as equações; (iii) os coeficientes dos problemas de valor de contorno.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Marcone Corrêa Pereira - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Membro: Marcone Correa Pereira. |
| 2. | 2021-2023. Practical algorithms for continuous optimization (Regular FAPESP/Conicyt) Situação: Concluído; Natureza: Pesquisa. Integrantes: Gabriel Haeser - Coordenador. Membro: Gabriel Haeser. |
| 3. | 2021-Atual. Sistemas dinamicos e seus atratores sob perturbacao 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: Marcone Corrêa Pereira - Integrante / Antônio Luiz Pereira - Integrante / Alexandre Nolasco de Carvalho - Coordenador / Maria do Carmo Carbinatto - Integrante / Sergio Muniz Oliva Filho - Integrante / German Jesus Lozada Cruz - Integrante / Karina Schiabel Silva - Integrante / Gleiciane S. Aragão - Integrante / Marcelo José Dias Nascimento - Integrante / Marcus Antonio Mendonça Marrocos - Integrante / Pedro Tavares Paes Lopes - Integrante / Everaldo de Melo Bonotto - Integrante / Suzete Maria Silva Afonso - Integrante / Vera Lucia Carbone - Integrante. Membro: Marcone Correa Pereira. 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 Aragao. |
| 1. | 2020-Atual. Analise assintotica e qualitativa de equacoes integro-diferenciais Descrição: Neste projeto, nos propomos a estudar perturbações de equações integro-diferenciais cuja motivação está associada a modelagem de processos de alta complexidade que podem ser caracterizados como perturbações singulares. Entre esses, mencionamos como exemplo, equações diferenciais/integrais definidas em regiões que apresentam infinidades de buracos, bem como superfície rugosa; equações cujos coeficientes podem assumir ou aproximar valores singulares; não-linearidades definidas em regiões rugosas, estreitas ou mistas (como no caso de modelos em meio composto) etc.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Marcone Corrêa Pereira - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Marcone Correa Pereira. |
| 2. | 2020-Atual. Aplicacoes da otimizacao global em estatistica Descrição: A estimação de parâmetros é uma tarefa fundamental em estatística. O objeto desse projeto é desenvolver métodos para estimar tais parâmetros, de forma robusta e confiável, em situações na quais as técnicas tradicionais usadas pelos estatísticos são muito lentas ou imprecisas. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (2) . Integrantes: Walter Figueiredo Mascarenhas - Coordenador. Membro: Walter Figueiredo Mascarenhas. |
| 3. | 2020-Atual. Aspectos lineales y no lineales en ecuaciones en derivadas parciales. Dinamica asintotica y perturbaciones. Descrição: Se investiga el comportamiento dinámico y asimptotico de ecuaciones en derivadas parciales. Se estudia aspectos lineales y no lineales bien como perturbaciones singulares motivadas por fenomenos físicos y biológicos.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Marcone Corrêa Pereira - Integrante / José M. Arrieta - Coordenador / Aníbal Rodriguez Bernal - Integrante. Financiador(es): Ministerio de Investigación y Ciencia, Gobierno de España - Auxílio financeiro. Membro: Marcone Correa Pereira. |
| 4. | 2020-Atual. Atratores pullback para uma equacao parabolica semilinear com condicoes de fronteira nao lineares e dominios 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 Aragao. |
| 5. | 2020-2023. Maiores subsequencias crescentes de passeios aleatorios e series temporais correlacionadas Descrição: O problema da maior subsequência crescente (LIS, da sigla em inglês) consiste em encontrar uma subsequência crescente de comprimento máximo de uma dada sequência finita de elementos retirados de um conjunto parcialmente ordenado. A LIS encontra inúmeras aplicações em bioinformática, linguística computacional, análise de algoritmos e bancos de dados. Neste projeto pretendemos investigar o comportamento da LIS de passeios aleatórios e outros tipos de séries temporais fracamente correlacionadas para as quais existem tanto dados reais quanto aplicações práticas. Em particular, estamos interessados em (i) investigar a lei de escala do comprimento da LIS para passeios aleatórios com incrementos de caudas pesadas, (ii) esclarecer as estatísticas e a universalidade da distribuição da LIS de passeios aleatórios simples (incrementos -1, +1), lentos (incrementos -1, 0, +1) e algumas de suas generalizações e (iii) desenvolver e testar uma metodologia para caracterização (paramétrica ou não-paramétrica) de séries temporais correlacionadas a partir das estatísticas de suas LIS usando séries climáticas como estudos de caso. Situação: Concluído; Natureza: Pesquisa. Integrantes: José Ricardo Gonçalves de Mendonça - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Número de produções C, T & A: 4 Membro: Jose Ricardo Goncalves de Mendonca. |
| 6. | 2020-Atual. Multiscale problems in fluid mechanics Descrição: We apply asymptotic analysis methods to fluid mechanic equations identifying main effect and properties of the physics parameters in order to describe qualitative properties of the model and phenomena. Link: http://hrzz-multifm.math.pmf.unizg.hr/index.html. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Marcone Corrêa Pereira - Integrante / Igor Pazanin - Coordenador / Ivan Dra?i? - Integrante / Josipa Pina Mili?i? - Integrante / Boris Muha - Integrante / Ana Rado?evi? - Integrante. Financiador(es): Croatian Science Foundation - Auxílio financeiro. Membro: Marcone Correa Pereira. |
| 1. | 2019-2020. Analise espectral de operadores lineares associados a modelos de dispersao e difusao nao locais Descrição: Este projeto está associado a solicitação de uma bolsa de pesquisa no exterior, submetido a FAPESP, para ser desenvolvido no período de setembro de 2019 a fevereiro de 2020 (6 meses) na P. Universidad Católica de Chile em colaboração com o Prof. Rafael Benguria. É importante mencionar que o Prof. Rafael é professor titular em sua universidade, membro a Academia Chilena de Ciências e já integrou o comitê executivo da Internacional Association of Mathematical Phisics entre 2006 e 2011. Além disso, faz parte do conselho editorial das seguintes revistas científicas de renomada competência: Annales Henri Poincaré, Journal of Mathematical Physics e Journal of Spectral Theory. Em linhas gerais, nos propomos a investigar questões relacionadas a análise espectral de operadores lineares associados a equações não locais de dispersão e difusão. Pra tanto, pretendemos desenvolver pesquisas multidisciplinares que envolvam atividades com pesquisadores tanto da área de matemática como de áreas afins como física, biologia e engenharia visando possíveis aplicações e propostas inovadoras.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcone Corrêa Pereira - Coordenador / Rafael D. Benguria - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Membro: Marcone Correa Pereira. |
| 2. | 2019-Atual. Fapesp 2019/14827-0. Identificacao de parametros 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. |
| 3. | 2019-Atual. Geometria de Sistemas de Controle, Sistemas Dinamicos e Estocasticos 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. |
| 4. | 2019-Atual. Metodos computacionais de otimizacao (Tematico 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: Em andamento; 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 Julian Goldberg Birgin. |
| 5. | 2019-2023. Metodos Computacionais de Otimizacao (Tematico FAPESP) Situação: Concluído; Natureza: Pesquisa. Integrantes: Gabriel Haeser - Integrante / Sandra Augusta Santos - Coordenador. Membro: Gabriel Haeser. |
| 6. | 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. |
| 7. | 2019-Atual. Operadores Pseudo-diferenciais e suas aplicacoes em equacoes de evolucao Situação: Em andamento; Natureza: Pesquisa. Integrantes: Pedro Tavares Paes Lopes - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Pedro Tavares Paes Lopes. |
| 8. | 2019-2021. Sistemas dinamicos em espacos de dimensao 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 Aragao. |
| 9. | 2019-2020. Sistemas nao lineares, bifurcacoes e aplicacoes Situação: Concluído; Natureza: Pesquisa. Integrantes: Ana Cristina de Oliveira Mereu - Coordenador / Ricardo Almagro Campanha - Integrante. Membro: Ana Cristina de Oliveira Mereu. |
| 10. | 2019-Atual. 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 at equilibrium 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: Em andamento; 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 Proenca. |
| 11. | 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 Jakel. |
| 1. | 2018-2021. Algoritmos de segunda-ordem em otimizacao nao linear e outros topicos (Universal CNPq) Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (5) . Integrantes: Gabriel Haeser - Coordenador. Membro: Gabriel Haeser. |
| 2. | 2018-2019. Condicoes 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. Construcao algebrica de modelos em teoria quantica de campos no espaco 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 Jakel. |
| 4. | 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 of thinking 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. |
| 5. | 2018-Atual. Otimizacao de forma nao 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. |
| 6. | 2018-2019. Recordes, alcance e maiores subsequencias crescentes de passeios aleatorios Descrição: O problema da maior subsequência crescente (LIS, da sigla em inglês para "longest increasing subsequence") consiste em encontrar uma subsequência crescente de comprimento máximo de uma dada sequência finita de elementos retirados de um conjunto parcialmente ordenado. O problema mais clássico desse tipo é o de determinar a LIS de uma permutação aleatória. A resolução completa desse problema combinou abordagens variadas de diversas áreas da matemática e da física, culminando com a determinação exata da função de distribuição do comprimento da LIS como a distribuição de Tracy-Widom para o maior autovalor do ensemble gaussiano unitário. Recentemente, outra versão do problema da LIS foi colocada: qual é o comportamento da LIS de um passeio aleatório? Este problema é representativo de toda uma família de problemas envolvendo variáveis aleatórias correlacionadas para as quais existem inúmeras aplicações. Neste projeto pretendemos (i) investigar a lei de escala do comprimento da LIS para passeios aleatórios com incrementos de caudas pesadas, (ii) investigar a estrutura dos recordes e do alcance de passeios aleatórios sobre Z, que podem ser considerados um proxy para a LIS nesses casos, e (iii) explorar possíveis conexões entre o problema da LIS de passeios aleatórios e sistemas de partículas interagentes exatamente integráveis, já que não existe, até o momento, nenhum modelo microscópico ou hidrodinâmico para descrever essa grandeza. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: José Ricardo Gonçalves de Mendonça - Coordenador / Satya Narayan Majumdar - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Número de produções C, T & A: 8 Membro: Jose Ricardo Goncalves de Mendonca. |
| 7. | 2018-Atual. Sistemas dinamicos suaves por partes: aspectos locais e globai Descrição: Universal MCTIC/CNPq n. 28/2018 Este 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: Em andamento; 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. |
| 8. | 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. |
| 1. | 2017-2021. Analise assintotica de equacoes diferenciais e integrais Descrição: Neste projeto consideramos problemas assintóticos relacionados com equações diferenciais e integrais que são muitas vezes utilizados para modelar processos de reação, difusão e convecção de agentes químicos, biológicos ou até mesmo populações. Realizamos uma análise qualitativa destas equações, com relação a parâmetros de interesse, com foco principal nas seguintes questões: (i) avaliação do modelo versus ao fenômeno considerado; (ii) boa colocação do problema matemático; (iii) estabilidade estrutural da equação com relação aos parâmetros; (iv) validação do modelo de acordo com o fenômeno protótipo.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcone Corrêa Pereira - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Membro: Marcone Correa Pereira. |
| 2. | 2017-2020. CNPq Proj. 305380/2016-8. Determinacao de forcas dinamicas 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. |
| 3. | 2017-Atual. Dinamica e geometria em baixas dimensoes 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: Em andamento; 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: Andre Salles de Carvalho. |
| 4. | 2017-Atual. 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: Em andamento; 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 Proenca. |
| 5. | 2017-2019. Equacoes 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 Aragao. |
| 6. | 2017-2018. Fapesp 2017/06452-1. Unicidade na identificacao de fontes em teias de aranha, vigas continuas 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. Auxilio 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. Metodos numericos para a nova geracao de modelos de previsao 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 orientações: 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-2019. Otimizacao 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. |
| 11. | 2017-Atual. Problemas de corte, empacotamento, dimensionamento de lotes, programacao da producao, roteamento, localizacao e suas integracoes em contextos industriais e logisticos (Tematico 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: 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 / 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 Julian Goldberg Birgin. |
| 1. | 2016-2018. Analise e simulacao de passeios aleatorios e processos de exclusao sobre grafos Descrição: O objetivo deste projeto é investigar passeios aleatórios e processos de exclusão sobre grafos usando métodos analíticos e numéricos. Especificamente, pretendemos (i) investigar a distribuição de probabilidades do tempo de recobrimento ("cover time") de algumas famílias específicas de grafos, já que muito pouco se sabe sobre a distribuição de probabilidades dessa variável aleatória, e (ii) investigar a dinâmica do processo de exclusão simples em tempo discreto sobre grafos, que possui conexões com diversos tópicos em estatística e teoria da computação (por exemplo, a estimação de permanentes, um problema #P-completo). Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . Integrantes: José Ricardo Gonçalves de Mendonça - Coordenador / Fabio Tosetto Reale - Integrante / Luís Amato Neto - 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: Jose Ricardo Goncalves de Mendonca. |
| 2. | 2016-2018. Aplicacoes de Metodos Pseudo-diferenciais para Problemas de Contorno Situação: Concluído; Natureza: Pesquisa. Integrantes: Pedro Tavares Paes Lopes - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Pedro Tavares Paes Lopes. |
| 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. |
| 1. | 2015-Atual. Dinamica em baixas dimensoes - 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: Fabio Armando Tal. |
| 2. | 2015-2017. Dynamical Systems generated by parabolic equations Descrição: Our proposal addresses problems related to the asymptotic and geometric behavior of Partial Differential Equations. We propose to study parameter perturbations for the solutions of dynamic systems associated with semilinear parabolic equations. The main parameters of interest in our work are the domain of definition of the solutions, as well as the coefficients and nonlinearity of the boundary value problems.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcone Corrêa Pereira - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Membro: Marcone Correa Pereira. |
| 3. | 2015-2016. Fapesp proj. 2015175604. Unicidade na identificacao de defeitos em vigas de EulerBernoulli no caso nao 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-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. |
| 5. | 2015-Atual. Nucleo de Excelencia em Otimizacao Continua (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): 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 Julian Goldberg Birgin. |
| 6. | 2015-Atual. PVE - Conjuntos de rotacao em dinamica 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: Fabio Armando Tal. |
| 1. | 2014-2017. Aplicacoes de tecnicas de restauracao inexata em controle otimo (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. |
| 2. | 2014-2017. CNPq Proj. 304972/2013-4 - Localizacao de fontes de vibracao em placas finas limitadas convexas (Problemas inversos: Um tratamento matematico de problemas contemporaneos na industria da extracao do petroleo) 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. |
| 3. | 2014-2017. Modelagem numerica de fluidos geofisicos em malhas geodesicas - 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. |
| 4. | 2014-2016. Novas direcoes para minimizacao com restricoes lineares (Chamada CNPq No. 17/2013 - Cooperacao Internacional - Acordos Bilaterais, Belgica, 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 Julian Goldberg Birgin. |
| 5. | 2014-Atual. 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: Em andamento; 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. |
| 6. | 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. |
| 7. | 2014-2016. Sistemas dinamicos gerados por equacoes parabolicas semilineares Descrição: Nossa proposta aborda problemas relacionados ao comportamento assintótico e geométrico de Equações Diferenciais Parciais. Nos propomos a estudar perturbações de parâmetros para as soluções de sistemas dinâmicos associados a equações parabólicas semilineares. Os principais parâmetros de interesse em nosso trabalho são o domínio de definição das soluções, bem como os coeficientes e não-linearidade dos problemas de valor de contorno.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (2) . Integrantes: Marcone Corrêa Pereira - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Marcone Correa Pereira. |
| 8. | 2014-Atual. Teoria Qualitativa de Sistemas Dinamicos Suaves por Partes Descrição: Edital MCTI/CNPq 14/2014 - Universal - Faixa A - Até 30.000,00 Nº 449655/2014-8. Situação: Em andamento; 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. |
| 9. | 2014-2017. Unfolding Infectious Desease Studies Descrição: Projeto de professor visitante especial onde abordaremos a aplicação de modelos matemáticos no estudo de doenças transmissíveis, epidemias e endemias.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Sergio Muniz Oliva Filho - Coordenador / Gabriela Gomes - Integrante. Financiador(es): CAPES - Centro Anhanguera de Promoção e Educação Social - Cooperação. Membro: Sergio Muniz Oliva Filho. |
| 1. | 2013-Atual. ?D-wave paring? em Systemas Eletron-boson 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. Aplicacao de Metodos de Teoria Construtiva de Campos a Problemas de Muitos Corpos com Interacoes 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. Aproximacao de Bogoliubov, Teoria de Jogos e Termodinamica 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 Ciencias Matematica Aplicadas a Industria (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 - Coordenador / 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 - Integrante / 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 Julian Goldberg Birgin. |
| 5. | 2013-2016. Comportamento assintotico de equacoes diferenciais parciais com dominio 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 Aragao. |
| 6. | 2013-Atual. Controle de Decoerencia Quantica 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. |
| 7. | 2013-2017. Estruturas Combinatorias, Otimizacao e Algoritmos em Teoria da Computacao (Tematico 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 Julian Goldberg Birgin. |
| 8. | 2013-2014. Fapesp (Proc. 2013/20305-0) Um resultado de unicidade para a identificacao de fontes de vibracao assincronas em vigas continuas 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. |
| 9. | 2013-Atual. Fundamentos Microscopicos 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. |
| 10. | 2013-Atual. Geometria de Sistemas de Controle, Sistemas Dinamicos e Estocasticos 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. |
| 11. | 2013-Atual. Medida de Condutividade para Gases Fermionicos 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. |
| 12. | 2013-2018. Metodos Computacionais de Otimizacao (Tematico 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 Julian Goldberg Birgin. |
| 13. | 2013-2018. Metodos Computacionais de Otimizacao (Tematico 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. |
| 14. | 2013-2016. O Gas de Rede e o Lema Local de Lovasz 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 Proenca. |
| 15. | 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. |
| 16. | 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. |
| 17. | 2013-2015. Termodinamica de Sistemas Quanticos de Muitos Corpos Nao-Simetricos com Interacoes 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. |
| 18. | 2013-Atual. Orbitas Periodicas em Sistemas Descontinuos. 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 Eletron-boson 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-2014. Comportamento assintotico e geometrico de equacoes diferenciais parciais Descrição: De maneira geral, propomo-nos a estudar Sistemas Dinâmicos gerados por equações parabólicas procurando identificar propriedades globais dos fenômenos modelados quando os parâmetros envolvidos no modelo são submetidos a perturbações pré-definidas pelo sistema ou são obtidas por processos de aproximação. Dois parâmetros importantes que abordamos são o domínio de definição das soluções e os termos não-lineares e os coeficientes dos problemas de valor de contorno propostos.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcone Corrêa Pereira - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Membro: Marcone Correa Pereira. |
| 3. | 2012-2017. Dinamica em baixas dimensoes 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 Proenca. 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: Andre Salles de Carvalho. |
| 4. | 2012-2012. Medida de Condutividade para Gases Fermionicos 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. |
| 5. | 2012-2014. Modelos bidimensionais em Mecanica Estatistica e uma possivel abordagem usando Otimizacao Ergodica. 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 Proenca. |
| 6. | 2012-Atual. Projeto Tematico-Sistemas Dinamicos Descrição: Grupo de pesquisadores na área de sistemas dinâmicos do IME-USP.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Salvador Addas Zanata - Coordenador / Clodoaldo Grotta Ragazzo - Integrante / Fabio Armando Tal - Integrante / Edson Vargas - Integrante / Pedro Antonio Santoro Salomao - Integrante / Edson de Faria - Integrante / André de Carvalho - Integrante / Rodrigo Bissacot - Integrante / Manuel Garcia - Integrante / Eduardo Colli - Integrante / Albert Fischer - Integrante / Ricardo Freire Jr. - Integrante. Membro: Salvador Addas Zanata. |
| 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. Solucao de problemas combinatorios com tecnicas de otimizacao (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 Julian Goldberg Birgin. |
| 10. | 2012-Atual. Tematico Fapesp - Dinamica em baixas dimensoes 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: Fabio Armando Tal. |
| 11. | 2012-2012. Termodinamica de Sistemas Quanticos de Muitos Corpos Nao-Simetricos com Interacoes 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. Analise e simulacao de modelos de spins estocasticos em mecanica estatistica fora do equilibrio e biologia de sistemas Descrição: O objetivo deste projeto é investigar sistemas irreversíveis de partículas interagentes no contexto da modelagem de sistemas em biologia usando métodos analíticos e numéricos com o objetivo de compreender seus diversos tipos possíveis de comportamento dinâmico (fases) e as flutuações do perfil de densidades, determinar a importância da dimensionalidade do espaço no seu comportamento dinâmico e crítico e investigar a produção de entropia nos modelos. O projeto pretende tanto investigar questões relevantes em mecânica estatística fora do equilíbrio quanto obter uma maior compreensão da biologia de sistemas subjacente aos modelos. Situação: Concluído; Natureza: Pesquisa. Integrantes: José Ricardo Gonçalves de Mendonça - Coordenador / Mário José de Oliveira - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Número de produções C, T & A: 5 Membro: Jose Ricardo Goncalves de Mendonca. |
| 2. | 2011-2012. Aplicacao de Metodos de Teoria Construtiva de Campos a Problemas de Muitos Corpos com Interacoes 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. |
| 3. | 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. |
| 4. | 2011-2013. Comportamento assintotico de modelos matematicos dados por Equacoes Diferenciais Parciais com aplicacoes a Fisica, a Biologia e outras ciencias Descrição: De maneira geral, propomo-nos a estudar Sistemas Dinâmicos gerados por equações parabólicas procurando identificar propriedades globais dos fenômenos modelados quando os parâmetros envolvidos no modelo são submetidos a perturbações pré-definidas pelo sistema ou são obtidas por processos de aproximação. Dois parâmetros importantes que abordamos são o domínio de definição das soluções e os termos não-lineares e os coeficientes dos problemas de valor de contorno propostos.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (2) . Integrantes: Marcone Corrêa Pereira - Integrante / Alexandre Nolasco de Carvalho - Coordenador / Hildebrando Munhoz Rodrigues - Integrante / Sergio Muniz Oliva Filho - Integrante / Ricardo Parreia da Silva - Integrante / Marcelo José Dias Nascimento - Integrante / Gabriela del Valle Planas - Integrante. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro. Membro: Marcone Correa Pereira. |
| 5. | 2011-2015. Condicoes de otimalidade e restauracao 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. |
| 6. | 2011-2012. Fundamentos Microscopicos 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. |
| 7. | 2011-2011. Projeto de Pos-Doutorado: Comportamento assintotico e geometrico de problemas parabolicos com dominio 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 Aragao. |
| 1. | 2010-2012. Aproximacao de Bogoliubov, Teoria de Jogos e Termodinamica 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-2013. Comportamento assintotico e geometrico de equacoes diferenciais parciais Descrição: De maneira geral, nos propomos a estudar Sistemas Dinâmicos gerados por equações parabólicas procurando identificar propriedades globais dos fenômenos modelados quando os parâmetros envolvidos no modelo são submetidos a perturbações pré-definidas pelo sistema ou são obtidas por processos de aproximação. Dois parâmetros importantes que abordamos são o domínio de definição das soluções e os termos não-lineares e os coeficientes dos problemas de valor de contorno propostos.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcone Corrêa Pereira - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Marcone Correa Pereira. |
| 3. | 2010-2012. Estudos Teoricos e Algoritmicos de Problemas Combinatorios e de Otimizacao (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 Julian Goldberg Birgin. |
| 4. | 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 RD, 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 Julian Goldberg Birgin. |
| 5. | 2010-2014. Nucleo de Excelencia em Otimizacao Continua (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 Julian Goldberg Birgin. |
| 6. | 2010-2015. Problemas de corte, empacotamento, dimensionamento de lotes e programacao da producao, e suas integracoes em contextos industriais e logisticos (Tematico 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 Julian Goldberg Birgin. |
| 7. | 2010-2012. Programa Universal/CNPq -Sistemas Descontinuos 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. |
| 8. | 2010-Atual. Teoria Qualitativa das Equacoes 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 Decoerencia Quantica 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 Jakel. |
| 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 N1 partículas em interação em rede possui soluções que descrevem estruturas dinamicamente estáveis compostas de 1 Situaçã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-2011. Propriedades genericas de equacoes diferenciais parciais Descrição: Neste projeto estudamos propriedades genéricas de problemas de valor de contornos definidos por equações elípticas com relação a variação de parâmetros das equações. Dentre os parâmetros de interesse estão o domínio de definição das soluções do problema bem como os coeficientes e não-linearidades das equações.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcone Corrêa Pereira - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Marcone Correa Pereira. |
| 5. | 2009-2011. Teoria e Software em Metodos Computacionais de Otimizacao (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 Julian Goldberg Birgin. |
| 6. | 2009-2011. Teoria e Software em Metodos Computacionais de Otimizacao (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 Julian Goldberg Birgin. |
| 7. | 2009-2012. Termodinamica de Modelos de Muitos Corpos Invariantes por Permutacao 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 Dinamicos e Estocasticos Descrição: Projeto temático da Fapesp. Situação: Em andamento; 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 dinamicos nao lineares em espacos de dimensao infinita (TEMATICO-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 Aragao. |
| 1. | 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 Jakel. |
| 2. | 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 Jakel. |
| 3. | 2007-2014. Dinamica Nao Linear Infinito Dimensional e Aplicacoes Descrição: De maneira geral, propomo-nos a estudar Sistemas Dinâmicos gerados por problemas de valor de contorno. Mostramos existência local e global de soluções, bem como existência de variedades invariantes locais e globais de equilíbrios. Também mostramos a existência de atratores globais para o sistemas estudando também sua persistência com respeito à perturbações. Nos propomos também a estudar a estrutura do atrator, procurando identificar propriedades globais do sistema.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (6) . Integrantes: Marcone Corrêa Pereira - Integrante / Antônio Luiz Pereira - Integrante / Luiz Augusto F. de Oliveira - Integrante / Alexandre Nolasco de Carvalho - Coordenador / Hildebrando Munhoz Rodrigues - Integrante / Maria do Carmo Carbinatto - Integrante / Sergio Muniz Oliva Filho - Integrante / Ricardo P. Silva - Integrante / German Jesus Lozada Cruz - Integrante / Karina Schiabel Silva - Integrante. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro. Membro: Marcone Correa Pereira. |
| 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 Julian Goldberg Birgin. |
| 5. | 2007-2010. Nucleo de Excelencia em Otimizacao Continua (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): 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 Julian Goldberg Birgin. |
| 6. | 2007-2010. Teoria e pratica dos problemas de corte e empacotamento (Tematico 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 Julian Goldberg Birgin. |
| 7. | 2007-2009. Teoria de Representacion y Algebras 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 Jakel. |
| 8. | 2007-2009. Tecnicas de Otimizacao para problemas combinatorios (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 Julian Goldberg Birgin. |
| 1. | 2006-2010. Dinamica em baixas dimensoes 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: Andre Salles de Carvalho. |
| 2. | 2006-2010. Metodos computacionais de otimizacao (Tematico 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 Julian Goldberg Birgin. |
| 3. | 2006-2010. Projeto de Doutorado: Comportamento assintotico de um problema de reacao-difusao com retardo e termo de reacao 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 Aragao. |
| 4. | 2006-2008. Propriedades genericas de equacoes diferenciais parciais Descrição: In this project, we propose to study some generic properties of Dynamical Systems defined by Partial Differential Equations. The main parameters considered here are: a) the non linearity and diffusion coefficients; b) the domain of the solutions. To achieve this goal, we intend to use the Transversality Theorem proved by D. Henry and the theory of upper and lower continuity of attractors and structural stability of Dynamical Systems developed by J. Hale, Brunovisky and Polacik.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcone Corrêa Pereira - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Marcone Correa Pereira. |
| 5. | 2006-2011. Tematico Fapesp - Dinamica em Baixas Dimensoes 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: Fabio Armando Tal. |
| 1. | 2005-2007. Coordenador do Projeto CNPQ - Estruturacao de Escritorio de Transferencia de Tecnologia da USP - Edital 034/04 - TIB - Processo 50.7577/04-3 Descrição: Tendo como referência as diretrizes da Política Industrial, Tecnológica e de Comércio Exterior - PITCE e a lei de Inovação, este projeto tem o objetivo estruturar um escritório de transferência de tecnologia com orientação comercial dentro do GADI - Grupo de Assessoramento ao Desenvolvimento de Inventos, Núcleo da Universidade de São Paulo - USP especializado no fornecimento de assistência técnica e de informações sobre propriedade intelectual para toda a comunidade interna. Proporcionar uma interface entre a USP, empresas e entidades de apoio a inovação (ANPEI - Associação Nacional de Pesquisa, Desenvolvimento e Engenharia das Empresas Inovadoras, SEBRAE - Serviço Brasileiro de Apoio às Micro e Pequenas Empresas, e outros) na identificação de resultados de pesquisa passíveis de aplicação comercial e na divulgação de patentes concedidas com potencial para a inovação tecnológica. Dentro deste objetivo, podemos destacar os seguintes pontos : 1. Levantar e classificar quanto a sua facilidade de aplicação na iniciativa privada os pedidos e patentes que a Universidade seja titular; 2. Selecionar 15% dos pedidos e patentes com maior facilidade de aplicação; 3. levantar, classificar e selecionar de acordo com a facilidade de aplicação, todos as novas solicitações de pedidos de patente que cheguem ao GADI; 4. Realizar levantamento de mercado e identificar potenciais consumidores das tecnologias dos pedidos e patentes selecionados; 5. Realizar eventos e visitas de divulgação a empresas e associações patronais, com o objetivo de apresentar as tecnologias dos pedidos e patentes selecionados;6. Levantar junto aos interessados as principais características comerciais e de execução de contrato especificas para cada tecnologias dos pedidos e patentes selecionados; 7. Elaborar editais e contratos de transferência de tecnologia e licenciamento de patente que atendam a legislação vigente; 8. Efetivar a transferência de tecnologia e o licenciamento.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Sergio Muniz Oliva Filho - Integrante / Silvia Berlanga de Moraes Barros - Coordenador / Maria Aparecida de Souza - Integrante / Márcia Walquiria Batsta dos Santos - Integrante / Luiz Nunes de Oliveira - Integrante / Luis Gustavo Gomes Primos - Integrante / Jussara Solange Ferreira - Integrante / Alexandre Venturini Lima - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Sergio Muniz Oliva Filho. |
| 2. | 2005-2007. Otimizacao Discreta e Grafos: Teoria, Algoritmos e Aplicacoes (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 Julian Goldberg Birgin. |
| 3. | 2005-2006. Problemas de Empacotamento em Otimizacao Combinatoria (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 Julian Goldberg Birgin. |
| 4. | 2005-2007. Vice Coordenador do Projeto CNPq- Disseminacao e Consolidacao da Cultura de Propriedade Intelectual na USP - .Edital 034/04 - TIB - Processo 50.7621/04-2 Descrição: Nos últimos 3 (três) anos respectivamente, a Universidade de São Paulo depositou através do GADI, 7, 14 e 20 pedidos de patente com uma previsão para o depósito de 30 pedidos no ano de 2004. Estes números são irrisórios quando comparados com o número de publicações no mesmo período que são respectivamente 22.829, 22.034 e 23.550 pela Universidade. Com a realização deste projeto espera-se um crescimento para os próximos 3 (três) anos de 60, 100 e 150 pedidos de patentes, consolidando efetivamente uma cutura e politica sobre patentes na USP. Tendo como referência as diretrizes da Política Industrial, Tecnológica e de Comércio Exterior - PITCE e a lei de Inovação, este projeto tem o objetivo fortalecer o GADI - Grupo de Assessoramento ao Desenvolvimento de Inventos, Núcleo da Universidade de São Paulo - USP especializado no fornecimento de assistência técnica e de informações sobre propriedade intelectual para toda a comunidade interna. Ampliar e aperfeiçoar os serviços de assistência técnica e de informação sobre propriedade intelectual e questões associadas em apoio ao processo de patenteamento oferecidos por este Núcleo. Disseminar e consolidar a cultura de propriedade intelectual de uma população de 4.884 docentes, 30.313 alunos de pós-graduação e 35.742 alunos de graduação. Atingir a sociedade em geral com a inserção desta população altamente qualificada e sensibilizada com a cultura de propriedade intelectual como formadores de opinião. As metodologia a serem utilizadas ão várias, em função dos resultados pretendidos e terão como partida uma pesquisa diagnóstica sobre o conhecimento e interesse da comunidade USP (docentes e alunos ) quanto à questão da propriedade intelectual. Baseado nesta pesquisa serão realizados seminários, palestras, workshops, propagandas, atendiemtnos aindividuais, elaboração e redação dos pedidos de patentes, acompanhamento e defesa do pedido junto ao I.N.P.I. e ainda assessoramento até a transferência da tecnologia.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Sergio Muniz Oliva Filho - Integrante / Silvia Berlanga de Moraes Barros - Coordenador / Maria Aparecida de Souza - Integrante / Márcia Walquiria Batsta dos Santos - Integrante / Luiz Nunes de Oliveira - Integrante / Luis Gustavo Gomes Primos - Integrante / Jussara Solange Ferreira - Integrante / Alexandre Venturini Lima - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Sergio Muniz Oliva Filho. |
| 1. | 2004-2006. Espaco de parametros em dinamica unidimensional e aplicacoes 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 Julian Goldberg Birgin. |
| 3. | 2004-2007. Projeto tematico Sistemas Dinamicos Nao lineares e Aplicacoes - 03/10042-0 Descrição: Os principais interesses do grupo de pesquisadores envolvidos neste projeto s{\~{a}}o os sistemas din{\^a}micos em espa\c{c}os de dimens{\~{a}}o infinita. Estes pesquisadores t{\^e}m se dedicado bastante ao desenvolvimento de uma teoria geom{\'e}trica para tais sistemas din{\^a}micos. Sistemas din{\^a}micos de dimens{\~{a}}o finita ou infinita s{\~{a}}o modelos matem{\'a}ticos para um grande n{\'u}mero de problemas em {\'a}reas aplicadas como a f\'{\i}sica, a economia e a engenharia entre muitas outras. Em geral, estes sistemas din{\^a}micos est{\~{a}}o associados a equa\c{c}{\~{o}}es diferenciais que podem ser equa\c{c}{\~{o}}es diferenciais ordin{\'a}rias, equa\c{c}{\~{o}}es diferenciais funcionais, equa\c{c}{\~{o}}es diferenciais parciais, equa\c{c}{\~{o}}es diferenciais parciais-funcionais ou equa\c{c}{\~{o}}es discretas. Se entendemos como estes sistemas din{\^a}micos se comportam, podemos ser capazes de dar alguma informa\c{c}{\~{a}}o sobre o fen{\^o}meno modelado. Para que um modelo matem{\'a}tico reproduza o comportamento do sistema modelado, devemos conhecer um sistema completo de leis que regem o sistema. {\'E} claro que algumas influ{\^e}ncias que o sistema sofre s{\~{a}}o t{\~{a}}o pequenas que podem ser esquecidas ou simplesmente negligenciadas durante a modelagem. Al{\'e}m disso, todos os par{\^a}metros no modelo s{\~{a}}o determinados com algum erro. Tudo isto est{\'a} dizendo que os modelos encontrados na pr{\'a}tica s{\~{a}}o somente aproxima\c{c}{\~{o}}es dos modelos ideais e erros s{\~{a}}o inevit{\'a}veis. Com isto em mente, {\'e} de import{\^a}ncia fundamental que os modelos gozem de alguma estabilidade com rela\c{c}{\~{a}}o a todas as perturba\c{c}{\~{o}}es poss\'{\i}veis. Uma maneira de assegurar tal estabilidade {\'e} provar que a din{\^a}mica assint{\'o}tica {\'e} est{\'a}vel sob perturba\c{c}{\~{o}}es.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (8) / Mestrado profissional: (0) / Doutorado: (12) . Integrantes: Sergio Muniz Oliva Filho - Integrante / A. N. Carvalho - Integrante / Hildebrando Munhoz Rodrigues - Coordenador / Antonio Luis Pereira - Integrante / Maria do Carmo Carbinato - Integrante / Sergio HenriqueMonari Soares - Integrante / Gabriela sel Valle Planas - Integrante / Cláudia Butarello Gentile - Integrante / Simone Mazzini Bruschi - Integrante / Marcos Roberto teixeira - Integrante / Vera Lúcia Carbone - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Sergio Muniz Oliva Filho. |
| 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): 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 / 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 / Instituto Nacional de Matemática Pura e Aplicada - Cooperação. Número de produções C, T & A: 18 Membro: Ernesto Julian Goldberg Birgin. |
| 1. | 2003-2005. Desenvolvimento e aplicacao de metodos numericos para otimizacao continua 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 Julian Goldberg Birgin. |
| 1. | 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 Julian Goldberg Birgin. |
| 2. | 2002-2003. Sistemas Dinamicos em Dimensao Infinita e Equacoes a Derivadas Parciais Descrição: Projeto de cooperação com o governo espanhol coordenado pelo Prof. Hildebrando Munhoz Rodrigues. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Sergio Muniz Oliva Filho - Integrante / A. Rodriguez-Bernal - Integrante / Hildebrando Munhoz Rodrigues - Coordenador / Antonio Luis Pereira - Integrante / Neus Cónsul - Integrante / Joan SolaMorales Rubio - Integrante. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação. Membro: Sergio Muniz Oliva Filho. |
| 1. | 2001-2003. Analyse de dispersion a temperature 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 Jakel. |
| 2. | 2001-2005. Metodos computacionais de otimizacao (Tematico 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 / Universidad Central de Venezuela - Cooperação / University of Novi Sad - Cooperação / Universidade Estadual de Campinas - Cooperação. Número de produções C, T & A: 18 Membro: Ernesto Julian Goldberg Birgin. |
| 1. | 2000-2003. FAPESP (Processo 00/02706-8) Planejamento de Inspecoes para Manutencao da Confibilidade de Sistemas Estruturais Logicos. 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. |
(*) Relatório criado com produções desde 2000 até 2024
Data de processamento: 22/04/2024 18:17:13