476 registros encontrados - programa Programa de Pós-Graduação em Matemática Aplicada E área de concentração Matemática Aplicada
TESE - Inglês
Número de chamada: T/UNICAMP Q48b
Publicação: Campinas, SP : [s.n.], 2024.
Assunto: Leis de conservação hiperbólicas
Resumo: Esta tese centra-se na investigação analítica e numérica de um par de equações de transporte bidimensionais não-lineares e não-locais. Uma...
Ver mais
Resumo
Resumo: Esta tese centra-se na investigação analítica e numérica de um par de equações de transporte bidimensionais não-lineares e não-locais. Uma delas é bem conhecida, a equação quasegeostrófica de superfície. A outra é uma tentativa de generalizar uma lei de conservação unidimensional adicionando uma dimensão espacial, que chamamos uma lei de conservação com velocidade parcialmente não local. No estudo analítico, obtemos a boa colocação da equação quase-geostrófica de superfície inviscída e dessa lei de conservação com velocidade parcialmente não local dentro da estrutura dos espaços Besov-fracos-Morrey modificado e dos espaços de Besov clássico, respectivamente. Por outro lado, para a investigação numérica, empregamos aproximações para os operadores não-locais presentes em cada uma dessas equações de transporte e formulamos o método Lagrangiano-Euleriano 2D totalmente discreto para leis de conservação não local. Portanto, do ponto de vista computacional, fornecemos evidências numéricas para os aspectos teóricos e conduzimos uma investigação numérica sobre os critérios que regem a explosão do tipo de concentração em termos de concentração de massa, atenuação do tipo de regularização, a formação de singularidades e a emergência de gradientes abruptos em soluções para a equação quase-geostrófica de superfície e dessa lei de conservação com velocidade parcialmente não local
Abordagem fuzzy do teorema de Poincaré-Bendixson
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP D615a
Publicação: Campinas, SP : [s.n.], 2012.
Assunto: Lógica fuzzy
Resumo: Nesta dissertação temos como objetivo principal, o estudo do Teorema de Poincaré- Bendixson em sistemas dinâmicos que utilizam a teoria dos...
Ver mais
Resumo
Resumo: Nesta dissertação temos como objetivo principal, o estudo do Teorema de Poincaré- Bendixson em sistemas dinâmicos que utilizam a teoria dos conjuntos fuzzy para incorporar à estes, incertezas inerentes no processo de modelagem. Para isso, abordaremos os sistemas dinâmicos fuzzy através de duas vertentes. Primeiramente estudaremos o Teorema de Poincaré-Bendixson em sistemas de EDOs cuja condição inicial é fuzzy, estes sistemas são obtidos através da extensão de Zadeh aplicada à solução de uma equação diferencial. Nestes modelos consideremos apenas a condição inicial como sendo fuzzy. Como resultado, proporemos um teorema que sob certas condições, garante a existência de uma região de atração para o fluxo fuzzy. No último capítulo, trabalharemos com sistemas P-fuzzy contínuo. Inicialmente, apresentaremos condições suficientes para que um sistema P-fuzzy contínuo tenha solução única, dada uma condição inicial. Para sistemas que satisfazem essas condições, será enunciado o Teorema de Poincaré-Bendixson, que garantirá sob certas hipóteses, a convergência de uma solução de um sistema P-fuzzy para uma órbita periódica
BCCL (1)
IMECC (1)
IMECC (1)
Abordagem fuzzy em modelos populacionais discretos : metapopulação de moscas varejeiras
TESE - Português
Número de chamada: T/UNICAMP M273a
Publicação: Campinas, SP : [s.n.], 2005.
Assunto: Conjuntos fuzzy
Resumo: Neste trabalho, nós estudamos o modelo logístico discreto com variável de estado incerta, modelada por meio de subconjuntos fuzzy;...
Ver mais
Resumo
Resumo: Neste trabalho, nós estudamos o modelo logístico discreto com variável de estado incerta, modelada por meio de subconjuntos fuzzy; determinamos pontos fixos exclusivos da equação fuzzy correspondente, bem como uma família de órbitas periódicas assintoticamente estáveis. Realizamos simulações iterativas que podem também considerar a taxa de crescimento intrínseco incerta. Na seqüência, estudamos modelos de metapopulação de moscas varejeiras, aplicados às espécies Lucilia eximia e Chrysomya albiceps. Utilizamos sistemas baseados em regras fuzzy, com subjetividade de ambiente na estimativa da sobrevivência e migração. Consideramos migração dirigida e habitat fragmentado em sítios com distribuição espacial cíclica ou alinhada. Realizamos a análise dos equilíbrios no caso particular: dois sítios interligados, e simulações nos demais casos. Comparamos o modelo logístico discreto e o modelo local utilizado nos modelos de metapopulação propostos
BCCL (1)
IMECC (1)
IMECC (1)
Rodrigues, Laís Bássame, 1984-
TESE
Número de chamada: T/UNICAMP R618a
Publicação: Campinas, SP : [s.n.], 2016.
Assunto: Matriz de informação de Fisher
Resumo: Este trabalho consiste no estudo de modelos matemáticos utilizando métricas não euclidianas que possam ser aplicados na obtenção,...
Ver mais
Resumo
Resumo: Este trabalho consiste no estudo de modelos matemáticos utilizando métricas não euclidianas que possam ser aplicados na obtenção, armazenamento e processamento de imagens de objetos esféricos. Trabalhamos com duas vertentes: (i) a utilização de espaços suporte circulares de pixels que permite maior refinamento (e, portanto, precisão) nas regiões próximas ao bordo da imagem circular que representa o objeto fotografado; (ii) a abordagem no contexto de Geometria da Informação onde a estrutura não euclidiana natural associada à métrica de Fisher em distribuições normais de probabilidade é considerada na geração de imagens capturadas por vários frames. A proposta de espaço suporte circular bifurca-se em dois modelos. Em ambos a modelagem foi feita considerando a estrutura de pixels em coordenadas polares no plano cartesiano. Um deles foi baseado na métrica do disco de Poincaré de raio R e curvatura K negativa. O outro foi concebido a partir do cômputo da área euclidiana de regiões sobre o objeto esférico representadas na região plana. Tais modelos reduzem em 37,2% a quantidade de pixels quando comparados com distribuições quadradas que representam o mesmo objeto. Em (ii) trabalhamos com modelos matemáticos de imagem que tratam tons de cinza como distribuições gaussianas representadas por pontos no semiplano de Poincaré. A morfologia matemática exige que sejam definidos ordenamentos entre tais pontos. Para isso, utilizamos a métrica de Fisher e consideramos ordenamentos conhecidos e dois novos mais específicos, propostos neste trabalho
Abordagens do algoritmo genético de chaves aleatórias viciadas para o problema de alocação em berços
TESE - Português
Número de chamada: T/UNICAMP P441a
Publicação: Campinas, SP : [s.n.], 2024.
Assunto: Problema de alocação de berços
Resumo: O presente trabalho considera o Problema de Alocação de Navios em Berços (PAB), para determinar a ordem, o local e o horário de atendimento...
Ver mais
Resumo
Resumo: O presente trabalho considera o Problema de Alocação de Navios em Berços (PAB), para determinar a ordem, o local e o horário de atendimento dos navios quando chegam ao porto, com o modelo base utilizado baseado no Problema de Roteamento de Veículos com Janela de Tempo (PRVJT), proposto na literatura, com o objetivo de minimizar o tempo total de permanência dos navios no porto. Propusemos uma adaptação do modelo (PRVJT-O) para passar a considerar o tempo de ociosidade dos berços, uma perspectiva de interesse do porto e não somente dos clientes (donos dos navios). Para resolver os PABs sem e com ociosidade propusemos um modelo de Algoritmo Genético de Chaves Aleatórias Viciadas (BRKGA) com uma decodificação que define a ordem e o local de atracação (berços) de maneira independente, e uma implementação vetorizada buscando um melhor desempenho. Testamos diferentes estratégias para melhorar os resultados obtidos pelo BRKGA, como rodar múltiplas vezes e adotar a melhor solução, utilizar a ferramenta OPTUNA para busca de melhores hiper parâmetros e aplicar \textit{clusterização} na escolha dos pais na fase do cruzamento para uma maior variabilidade nos herdeiros, mas mantendo a característica elitista da fase. Além disso, testamos a utilização das soluções obtidas pelo BRKGA como solução inicial para o CPLEX, ou seja, para a resolução exata do modelo, uma vez que as soluções encontradas pelo BRKGA proposto foram factíveis para o problema. Pudemos comparar diferentes estratégias de resolução utilizando o BRKGA e o BRKGA + CPLEX. Dos testes foi possível concluir que utilizar o resultado de uma única execução do BRKGA ou o CPLEX apenas com limite de tempo não são as melhores opções. Com relação ao tempo computacional e qualidade de solução, concluímos que, para os modelos sem e com ociosidade de berços, as estratégias de combinação com a clusterização e as múltiplas execuções em paralelo com parâmetros fixos foram as estratégia com melhores equilíbrio. No presente trabalho, trazemos também um resumo sobre o Problema de Alocação de Navios em Berços, junto com uma revisão bibliográfica, um pouco sobre a teoria de Algoritmos Genéticos, de Algoritmos Genéticos de Chaves Aleatórias e Algoritmos Genéticos de Chaves Aleatórias Viciadas, assim como sobre clusterização
Medeiros, Luiz Antonio da Silva
TESE - Português
Número de chamada: T/UNICAMP M467a
Publicação: Campinas, SP : [s.n.], 2008.
Assunto: Mínimos quadrados
Resumo: Neste trabalho, apresentamos um algoritmo iterativo para a minimização de somas de quadrados de funções suaves, com restrições de caixa. O...
Ver mais
Resumo
Resumo: Neste trabalho, apresentamos um algoritmo iterativo para a minimização de somas de quadrados de funções suaves, com restrições de caixa. O algoritmo é fortemente inspirado no trabalho de Birgin e Martínez [4]. A diferença principal está na escolha da direção de busca e na introdução de uma nova técnica de aceleração, usada para atualizar o passo. A cada iteração, definimos uma face ativa e resolvemos, nessa face, um subproblema quadrático irrestrito através do método evenberg-Marquardt (ver [26], [28] e [33]), obtendo uma direção de descida e uma aproximação x+ para a solução do problema. Ainda usando apenas as variáveis livres, tentamos acelerar o método definindo uma nova aproximaçaoo xa como combinação linear das últimas p - 1 aproximações da solução e do vetor x+. Os coeficientes desta combinação linear são calculados convenientemente através da resolução de um problema de Quadrados Mínimos com uma restrição de igualdade. O subproblema que determina o passo acelerado leva em conta as informações sobre a função objetivo nessas p soluções aproximadas. Como em [4], executamos uma busca linear ao longo da direção e usamos técnicas de projeção para adicionar novas restrições. Para deixar a face ativa, usamos a direção do gradiente espectral projetado [5]. Experimentos númericos são apresentados para confirmar a eficiência e robustez do novo algoritmo.
BCCL (1)
IMECC (1)
IMECC (1)
Oliveira, Gabriela Scavazini da Silva de, 1995-
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP OL4d
Publicação: Campinas, SP : [s.n.], 2023.
Assunto: Modelagem matemática
Resumo: A pesquisa apresentada é uma contribuição para o Grupo de Biomatemática da UNICAMP, com foco no Grupo de Ecologia Matemática que trabalha com...
Ver mais
Resumo
Resumo: A pesquisa apresentada é uma contribuição para o Grupo de Biomatemática da UNICAMP, com foco no Grupo de Ecologia Matemática que trabalha com problemas relacionados à poluição e impactos ambientais. O objetivo principal é criar um instrumento algorítmico pra poder simular a difusão evolutiva de um material impactante em um meio fluvial. Um estudo de caso é apresentado, estudando um trecho do Rio das Mortes localizado no estado de Mato Grosso, com a extensão de aproximadamente 10km. Foram usadas técnicas de modelagem e simulação numérica com o uso do Método dos Elementos Finitos, o que inclui a formulação variacional do problema, sua discretização com o método de Galerkin via elementos finitos de primeira ordem para discretização espacial e Crank-Nicolson para a discretização temporal. As conclusões podem ser inferidas a partir da análise dos resultados obtidos na simulação numérica de diversos cenários e das discussões realizadas ao longo da dissertação
A equação de Schrödinger fracionária com potenciais delta [recurso eletrônico]
DISSERTAÇÃO
Número de chamada: T/UNICAMP J291e
Publicação: Campinas, SP : [s.n.], 2016.
Assunto: Cálculo fracionário
Resumo: Neste trabalho, estudaremos o efeito de derivadas fracionárias espaciais na equação de Schrödinger unidimensional independente do tempo, para...
Ver mais
Resumo
Resumo: Neste trabalho, estudaremos o efeito de derivadas fracionárias espaciais na equação de Schrödinger unidimensional independente do tempo, para o caso particular de potenciais do tipo Delta de Dirac. Inicialmente, apresentamos alguns conceitos importantes relacionados ao Cálculo Fracionário e discutimos a formulação da mecânica quântica, obtendo a Equação de Schrödinger, com base em integrais de caminho de Feynman. Em seguida, introduzimos a Equação de Schrödinger Fracionária com derivada fracionária de Riesz e a resolvemos para os potenciais delta simples e duplo e realizamos uma tentativa de encontrar soluções para a Equação de Schrödinger Fracionária, utilizando agora a derivada fracionária de Riesz-Feller, que generalizem aquelas conhecidas para a derivada de Riesz. Por último, estudamos o modelo de Kronig-Penney Fracionário, utilizando a definição de Riesz para a derivada fracionária
Oliveira, Lucas Dantas de, 1995-
DISSERTAÇÃO - Inglês
Número de chamada: T/UNICAMP OL4f
Publicação: Campinas, SP : [s.n.], 2025.
Assunto: Lógica fuzzy
Resumo: A dissertação de mestrado tem como objetivo estabelecer um método de detecção de um episódio depressivo maior presente no transtorno bipolar e...
Ver mais
Resumo
Resumo: A dissertação de mestrado tem como objetivo estabelecer um método de detecção de um episódio depressivo maior presente no transtorno bipolar e no transtorno depressivo maior considerando, apenas, a atividade motora e o tempo total de sono por dia medidos com o procedimento da actigrafia. Usualmente atividade motora e tempo total de sono são medidos subjetivamente segundo relato do paciente ou percepção do profissional. Entretanto, a partir de uma medição objetiva, conseguimos descrever, linguisticamente, melhor a situação do paciente. Criamos regras implicativas a partir do conhecimento já estabelecido de como os transtornos de humor funcionam e utilizamos técnicas da Lógica Fuzzy Natural como método de classificação, pois ela é capaz de lidar com uma base de dados pequena e com a imprecisão presente nos transtornos psiquiátricos. A Lógica Fuzzy Natural é uma área da Lógica Fuzzy que tenta modelar, matematicamente, expressões imprecisas da linguagem natural. O texto é escrito de forma que o entendimento seja fácil para pesquisadores de diversas áreas. Para testar o método, utilizamos uma base de dados de domínio público com 23 pessoas possuindo alguns dos dois transtornos de humor supracitados (grupo condição) e 32 pessoas do grupo controle. A base de dados nos fornece os dados de actigrafia de cada participante, minuto a minuto e durante alguns dias, além de algumas informações básicas como idade e sexo. Nossos resultados foram satisfatórios porque, em um dos métodos, menos de 5% do grupo condição foi considerado "bem de saúde", enquanto menos de 19% do grupo controle foi considerado "mau de saúde". Concluímos que novos estudos a partir deste serão importantes para melhorar o método, uma vez que com regras simples, já conseguimos tal resultado
Souza, Tatiana Rocha de, 1981-
TESE - Português
Número de chamada: T/UNICAMP So89i
Publicação: Campinas, SP : [s.n.], 2018.
Assunto: Câncer - Tratamento alternativo
Resumo: O câncer ainda é uma doença com muitas incógnitas. Neste trabalho desenvolvi um estudo sobre a proliferação da célula tumoral sob tratamento...
Ver mais
Resumo
Resumo: O câncer ainda é uma doença com muitas incógnitas. Neste trabalho desenvolvi um estudo sobre a proliferação da célula tumoral sob tratamento quimioterápico e a influência da oncologia integrativa nestes resultados. Incialmente analisei matematicamente o comportamento tumoral, utilizando o modelo de Gompertz, com e sem tratamento quimioterápico. Observei a variação do sistema imune e das células combatentes às células tumoral diretamente associadas ao tratamento integrativo e com isso, através do limiar noético, observei o comportamento celular tumoral, principalmente após finalização do tratamento. As incertezas sob os parâmetros utilizados me levou a utilizar a teoria fuzzy e com isso também definir o limiar noético fuzzy. Inseri a possibilidade de células resistentes ao tratamento quimioterápico e estudei o controle ótimo com este tratamento considerando além das condições iniciais, o limiar nóetico e as células resistentes fuzzy
Álgebra de Clifford aplicada ao cálculo de estruturas moleculares
Alves, Rafael Santos de Oliveira, 1982-
TESE - Português
Número de chamada: T/UNICAMP AL87a
Publicação: Campinas, SP : [s.n.], 2013.
Assunto: Álgebra de Clifford
Resumo: O Problema de Geometria de Distâncias Moleculares (PGDM) consiste em encontrar uma imersão tridimensional de um grafo simples, não orientado,...
Ver mais
Resumo
Resumo: O Problema de Geometria de Distâncias Moleculares (PGDM) consiste em encontrar uma imersão tridimensional de um grafo simples, não orientado, de forma que o peso nas arestas corresponda às distâncias inter-atômicas de uma molécula. Este é um problema de busca em um espaço contínuo, mas que pode ser discretizado sob algumas exigências, dando origem ao PGDM discretizado (PGDMD), que é solucionado usando informações sobre distâncias entre alguns átomos da molécula através de um algoritmo Branch and Prune (BP). Caso as distâncias sejam dadas por um conjunto de limites inferiores e superiores, temos um novo problema: o PGDMD intervalar (iPGDMD). A partir da interpretação geométrica deste último, propomos uma nova abordagem utilizando a Álgebra de Clifford a fim de tornar o algoritmo BP mais eficiente e de poder tratar algebricamente os problemas relacionados ao tratamento das distâncias intervalares
BCCL (1)
IMECC (1)
IMECC (1)
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP So89a
Publicação: Campinas, SP : [s.n.], 2023.
Assunto: Álgebra geométrica
Resumo: Relacionadas com praticamente todas as funções de um sistema biológico, desde a atuação na defesa do organismo até o transporte de substâncias...
Ver mais
Resumo
Resumo: Relacionadas com praticamente todas as funções de um sistema biológico, desde a atuação na defesa do organismo até o transporte de substâncias e a transmissão de impulsos nervosos, as proteínas são macromoléculas extremamente importantes para os organismos vivos. Compreender sua função passa intrinsecamente por conhecer seu formato tridimensional. Em diversas aplicações, devido à ocasião de mudanças conformacionais das moléculas de proteínas, é extremamente necessário realizar atualizações da estrutura 3D. Por esse motivo, esse trabalho tem o objetivo de apresentar e detalhar os principais métodos de atualização de tais estruturas. Para isso, é necessário entender o que mudanças nas coordenadas internas - um sistema bastante utilizado em Bioquímica - afetam as coordenadas cartesianas dos pontos que representam átomos. Além disso, também tratamos de um recente sistema de coordenadas que surge com a utilização da Álgebra Geométrica Conforme: as coordenadas conformes. Com ele, buscamos mostrar que os resultados obtidos com os métodos clássicos também são observados nessa nova abordagem
Álgebra geométrica conforme e geometria de distâncias [recurso eletrônico]
Camargo, Valter Soares de, 1977-
TESE
Número de chamada: T/UNICAMP C14a
Publicação: Campinas, SP : [s.n.], 2015.
Assunto: Geometria de distâncias
Resumo: Neste trabalho apresentaremos um método alternativo à resolução de Problemas de Geometria de Distâncias, em que suas instâncias podem ser...
Ver mais
Resumo
Resumo: Neste trabalho apresentaremos um método alternativo à resolução de Problemas de Geometria de Distâncias, em que suas instâncias podem ser discretizadas. Essencialmente, estes problemas consistem em determinar um conjunto de pontos num dado espaço geométrico, no qual algumas distâncias entre dois desses pontos são conhecidas. A abordagem considerada difere da tradicional por tratar os objetos geométricos em um espaço projetivo de uma imersão conformal, do espaço euclidiano em um espaço de Minkowski (Álgebra Geométrica Conforme). Seu modelo de geometria proporciona uma interpretação natural dos objetos relevantes ao problema. Além do estudo teórico apresentado, propomos uma aplicação do método que resolve a principal classe de problemas com esta característica, conhecida na literatura por Discretizable Molecular Distance Geometry Problem - DMDGP, referente ao cálculo de estrutura tridimensional de proteínas (conformação de proteínas
Álgebra geométrica conforme em geometria de distâncias com incertezas [recurso eletrônico]
Souza, Jose Vicente Cipriano de, 1964-
TESE - Português
Número de chamada: T/UNICAMP So89a
Publicação: Campinas, SP : [s.n.], 2017.
Assunto: Geometria de distâncias
Resumo: O Problema Discretizável de Geometria de Distâncias Moleculares (PDGDM) consiste na determinação da estrutura 3D de uma proteína, utilizando...
Ver mais
Resumo
Resumo: O Problema Discretizável de Geometria de Distâncias Moleculares (PDGDM) consiste na determinação da estrutura 3D de uma proteína, utilizando informações de distâncias inter-atômicas obtidas em experimentos de Ressonância Magnética Nuclear (RMN). As ferramentas utilizadas para a solução deste problema são a Geometria de Distâncias (GD) e a Álgebra Geométrica (AG), também conhecida como Álgebra de Clifford, tomada no Espaço Conforme. A GD trata de determinar pontos, em um determinado espaço geométrico, conhecendo a distância entre alguns deles. Vale-se, para isto, de ferramentas matemáticas como grafos, onde surge o algoritmo BP - Branch and Prune - proposto para resolver o problema, seguindo uma estrutura de árvore binária, onde a solução do problema é representada por um caminho que segue desde a raiz até a folha da mesma. A AG é uma área da matemática que integra e generaliza vários objetos matemáticos como quatérnios, matrizes e números complexos e tem se mostrado particularmente útil em GD. No título deste trabalho aparece o termo ''Incertezas'', tendo em vista que algumas das distâncias intervalares fornecidas pela RMN não são precisas. A abordagem clássica do PDGDM é a discretização das distâncias intervalares, o que pode acarretar os seguintes contratempos: aumentar extremamente o espaço de busca, caso se tomem muitos pontos na amostragem, ou simplesmente não encontrar solução, caso se tomem poucos pontos. Com o propósito de contornar tal situação, empregamos a AG para tratar o problema de uma forma contínua, minorando o entrave proporcionado pela discretização
Álgebra geométrica e matrizes de distâncias [recurso eletrônico]
Faria, Vinícius Riter de, 1993-
TESE - Português
Número de chamada: T/UNICAMP F225a
Publicação: Campinas, SP : [s.n.], 2022.
Assunto: Matrizes de distâncias euclidianas
Resumo: Matrizes de Distâncias Euclidianas (MDE) são matrizes formadas por quadrados das distâncias entre pontos. O problema de determinar se uma dada...
Ver mais
Resumo
Resumo: Matrizes de Distâncias Euclidianas (MDE) são matrizes formadas por quadrados das distâncias entre pontos. O problema de determinar se uma dada matriz é ou não uma MDE é chamado de Problema de Reconhecimento MDE. Temos, também, o problema de "realizar" a MDE, onde devemos encontrar uma sequência de pontos para qual os quadrados das distâncias entre seus pontos, tomados dois a dois, sejam as entradas da matriz. Neste trabalho, apresentaremos dois métodos alternativos para a resolução desse tipo de problema, um para o caso em que a matriz possui apenas distâncias exatas e outro para o caso em que a matriz apresenta distâncias intervalares. A abordagem considerada difere da clássica na medida em que trata de objetos geométricos utilizando a Álgebra Geométrica Conforme, que possibilita a representação visual e computacional simplificada de, no caso deste trabalho, esferas e suas interseções
Algoritmo branch and prune markoviano em geometria de distâncias
Pinheiro Junior, Fausto Marques, 1987-
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP P655a
Publicação: Campinas, SP : [s.n.], 2025.
Assunto: Geometria de distâncias
Resumo: O algoritmo Branch and Prune aborda o problema discretizável de geometria de distâncias moleculares explorando a estrutura de árvore binária...
Ver mais
Resumo
Resumo: O algoritmo Branch and Prune aborda o problema discretizável de geometria de distâncias moleculares explorando a estrutura de árvore binária do espaço de soluções por meio de uma busca em profundidade. Duas limitações desta abordagem são a sua serialidade e a ausência de um critério de preferência entre os vértices que serão explorados em cada iteração. Para sanar essas limitações, propomos a incorporação de modelos probabilísticos gráficos no Branch and Prune, dado que essa classe de modelos apresenta alta modularidade e capacidade de tratar com diferentes fontes de incerteza. Em específico, vamos apresentar um caso particular na forma do modelo oculto de Markov autoregressivo que incorpora informações sobre a sequência de aminoácidos e a geometria dos planos peptídicos para auxiliar na exploração probabilística do espaço de soluções. Discutiremos algumas propriedades deste tipo de modelo, o seu ajuste com os dados do Protein Data Bank, a sua integração no Branch and Prune, e alguns resultados preliminares obtidos na pesquisa. Por fim, arguiremos pela viabilidade de extensões deste tipo de modelo para abordar o problema discretizável de geometria de distâncias moleculares
Algoritmo branch-and-prune para escalonamento multidimensional [recurso eletrônico]
Alonso, Ana Camila Rodrigues, 1981-
TESE
Número de chamada: T/UNICAMP AL72a
Publicação: Campinas, SP : [s.n.], 2016.
Assunto: Escala multidimensional
Resumo: Neste trabalho, propomos uma nova abordagem para resolver uma classe de problemas de escalonamento multidimensional, representando medidas de...
Ver mais
Resumo
Resumo: Neste trabalho, propomos uma nova abordagem para resolver uma classe de problemas de escalonamento multidimensional, representando medidas de proximidade entre pares de objetos como distâncias entre pontos em um espaço geométrico, de modo que as distâncias estejam o máximo possível relacionadas com as proximidades entre os objetos. Nesta classe de problemas, a prioridade foi manter a estrutura geométrica original, com o objetivo de visualizar os dados em R^3. A proposta tem como base o algoritmo branch-and-prune, inicialmente utilizado para obter estruturas moleculares, a partir de algumas distâncias conhecidas. Várias adaptações, principalmente na busca e na poda, foram realizadas. Destacando-se a mudança da dimensão de origem de R^3 para R^m. Os bons resultados computacionais obtidos, em problemas de pequeno porte, indicam um novo caminho para tratar o problema
Algoritmo do ponto proximal para operadores não monótonos
Baygorrea Cusihuallpa, Nancy, 1982-
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP B342a
Publicação: Campinas, SP : [s.n.], 2013.
Assunto: Operadores monotonos
Resumo: Esta dissertação desenvolve um estudo detalhado da convergência local do método de ponto proximal para resolver o problema de encontrar zeros...
Ver mais
Resumo
Resumo: Esta dissertação desenvolve um estudo detalhado da convergência local do método de ponto proximal para resolver o problema de encontrar zeros de operadores maximais sem a condição de monotonicidade. Em particular, é estudada a convergência dos métodos de multiplicadores proximais para resolver problemas de otimização não linear sem a condição de convexidade. Para obter os resultados desejados apresentaremos ferramentas de análise variacional para substituir a condição de monotonicidade maximal do operador como também, a teoria de dualidade generalizada para a aplicação do método de multiplicadores proximais. Apresentamos também uma aplicação do algoritmo do ponto proximal aos métodos dos multiplicadores para uma classe de problemas gerais baseados num esquema de dualidade generalizada
BCCL (1)
IMECC (1)
IMECC (1)
Algoritmos incrementais com aplicações em tomografia computadorizada
TESE - Português
Número de chamada: T/UNICAMP H369a
Publicação: Campinas, SP : [s.n.], 2009.
Assunto: Tomografia computadorizada
Resumo: O problema de viabilidade convexa é um campo fértil de pesquisa que deu origem a uma grande quantidade de algoritmos iterativos, tais como...
Ver mais
Resumo
Resumo: O problema de viabilidade convexa é um campo fértil de pesquisa que deu origem a uma grande quantidade de algoritmos iterativos, tais como pocs, art, Cimmino e uma miríade de variantes. O motivo para tal interesse é o amplo leque de aplicabilidade que algoritmos gerais para a solução de problemas desse tipo podem alcançar. Dentre tais aplicações encontra-se a reconstrução de imagens em tomografia, caso que geralmente apresenta uma estrutura especial de esparsidade e tamanhos gigantescos. Também bastante estudados por seu interesse prático e teórico são problemas envolvendo a minimização irrestrita de funções convexas. Aqui, novamente, a variada gama de aplicações torna impossível mencionar uma lista minimamente abrangente. Dentre essas a tomografia é, outra vez, um exemplo de grande destaque. No presente trabalho desenvolvemos uma ponte que permite o uso de uma variedade de métodos para viabilidade em conjunto com algoritmos de otimização para obter a solução de problemas de otimização convexa com restrições. Uma teoria geral de convergência é apresentada e os resultados teóricos são especializados em métodos apropriados para problemas de grande porte. Tais métodos são testados em experimentos numéricos envolvendo reconstrução de imagens tomográficas. Esses testes utilizam-se da teoria de amostragem compressiva desenvolvida recentemente, através da qual conseguimos obter resultados sem par na reconstrução de imagens tomográficas a partir de uma amostragem angular altamente esparsa da transformada de Radon. Imagens obtidas a partir de dados simulados são recuperadas perfeitamente com menos de 1/20 das amostras classicamente necessárias. Testes com dados reais mostram que o tempo de uma leitura spect pode ser reduzido a até 1/3 do tempo normalmente utilizado, sem grande prejuízo para as reconstruções.
BCCL (1)
IMECC (1)
IMECC (1)
Silva, Jefferson Castro, 1987-
TESE - Português
Número de chamada: T/UNICAMP Si38a
Publicação: Campinas, SP : [s.n.], 2023.
Assunto: Números fuzzy
Resumo: Neste trabalho estabeleceremos conexões entre os conceitos de derivada generalizada de Hukuhara (gH-derivada) e a Psi-derivada de funções...
Ver mais
Resumo
Resumo: Neste trabalho estabeleceremos conexões entre os conceitos de derivada generalizada de Hukuhara (gH-derivada) e a Psi-derivada de funções fuzzy. Os resultados estabelecidos dessa relação serão utilizados para obter métodos de resolução analíticos de problemas de valor inicial fuzzy (PVIF) sob a gH-derivada ou sob a Psi-derivada. Definiremos a Psi-derivada de funções da forma f(x) = p_1(x)A_1 + ... + p_n(x)A_n, em que p_1, ..., p_n são n funções reais e {A_1, ..., A_n} é um conjunto fortemente linearmente independente (FLI) de números fuzzy...
O resumo poderá ser visualizado no texto completo da tese digital
O resumo poderá ser visualizado no texto completo da tese digital
Algumas contribuições na teoria de aproximação e otimização com variáveis fuzzy
Baez-Sanchez, Andres David, 1980-
TESE - Português
Número de chamada: T/UNICAMP B145a
Publicação: Campinas, SP : [s.n.], 2012.
Assunto: Conjuntos fuzzy
Resumo: É apresentada uma nova formalização do conceito de número fuzzy poligonal junto com uma extensão do conceito para dimensão n. Esta abordagem...
Ver mais
Resumo
Resumo: É apresentada uma nova formalização do conceito de número fuzzy poligonal junto com uma extensão do conceito para dimensão n. Esta abordagem unificada permite obter generalizações e versões simplificadas de resultados relevantes sobre números fuzzy poligonais e sobre aproximação de quantidades fuzzy n-dimensionais. Consideramos o problema da melhor aproximação poligonal de um número fuzzy e estudamos algumas das suas propriedades incluindo propriedades gerais de invariância. Finalmente, um modelo de regressão linear com variável resposta fuzzy e variável explicativa real é considerado. Mostra-se que o correspondente problema de estimação por quadrados mínimos é equivalente a um problema de projeção num espaço de Hilbert e neste marco teórico é mostrada a consistência do estimador. É considerado e estudado um método de solução aproximado do problema de estimação via aproximação poligonal de números fuzzy
BCCL (1)
IMECC (1)
IMECC (1)
Alguns resultados em partições planas
Spreafico, Elen Viviani Pereira, 1986-
DISSERTAÇÃO - Português
Número de chamada: T/UNICAMP Sp77a
Publicação: Campinas, SP : [s.n.], 2010.
Assunto: Partições (Matemática)
Resumo: Neste trabalho vamos abordar dois resultados em partições planas. O primeiro, chamado Teorema Fundamental de MacMahon, nos dá uma fórmula da...
Ver mais
Resumo
Resumo: Neste trabalho vamos abordar dois resultados em partições planas. O primeiro, chamado Teorema Fundamental de MacMahon, nos dá uma fórmula da função geradora de partições planas de um número natural n; cuja versão da demonstração que será apresentada neste trabalho foi a prova dada por L. Carlitz em 1967. O segundo, chamado Conjectura de MacMahon, nos dá uma fórmula para a função geradora de partições planas simétricas de um número natural n, com até s níveis e com cada parte menor do que ou igual a j, este, provado por George Andrews em 1979 com um elegante argumento combinatório. Para a demonstração desses resultados usaremos identidades combinatórias e alguns resultados sobre determinantes
BCCL (1)
IMECC (1)
IMECC (1)
Alguns resultados em teoria de partições e teoria de codigos
TESE - Português
Número de chamada: T/UNICAMP Iv5a
Publicação: Campinas, SP : [s.n.], 2004.
Assunto: Partições (Matemática)
Resumo: Esta tese é uma coletânea de trabalhos feitos pelo candidato. Importantes ferramentas combinatórias são utilizadas, dentre as quais: funções...
Ver mais
Resumo
Resumo: Esta tese é uma coletânea de trabalhos feitos pelo candidato. Importantes ferramentas combinatórias são utilizadas, dentre as quais: funções geradoras, qcálculo, várias propriedades de seqüencias de números inteiros, etc; todas direcionadas para a teoria aditiva dos números (teoria de partições) e teoria de códigos. A tese consiste de seis trabalhos: três deles tratam de aspectos combinatóriais (interpretações em termos de partições) de identidades do tipo Rogers-Ramanujan e onde várias seqüências de números inteiros aparecem. Um trabalho onde uma conjectura sobre transformação de Hankel e seqüencias de Catalan e Fibonacci foi provada.
Um trabalho onde uma construção combinatória de uma classe de lowdensity parity-check códigos é apresentada. Neste trabalho demonstra-se também uma interessante conexão entre uma seqüencia de números inteiros, definida por Odlyzko e Stanley, e esta classe de códigos. o último trabalho trata o problema de determinar a capacidade de canal de um sistema óptico usando um método numérico
Um trabalho onde uma construção combinatória de uma classe de lowdensity parity-check códigos é apresentada. Neste trabalho demonstra-se também uma interessante conexão entre uma seqüencia de números inteiros, definida por Odlyzko e Stanley, e esta classe de códigos. o último trabalho trata o problema de determinar a capacidade de canal de um sistema óptico usando um método numérico
BCCL (1)
IMECC (1)
IMECC (1)
TESE - Inglês
Número de chamada: T/UNICAMP F848m
Publicação: Campinas, SP : [s.n.], 2021.
Assunto: Leis de conservação hiperbólicas
Resumo: Nesta tese, uma nova classe de esquemas semi-discretos Lagrangeanos-Eulerianos (SDLE) com a propriedade positivity preserving foi projetada e...
Ver mais
Resumo
Resumo: Nesta tese, uma nova classe de esquemas semi-discretos Lagrangeanos-Eulerianos (SDLE) com a propriedade positivity preserving foi projetada e rigorosamente analisada para a resolução de problemas de valor inicial multidimensionais para modelos escalares e sistemas de leis de conservação. A construção desta classe de esquemas é baseada na região espaço-temporal no-flow surface, que fora apresentada anteriormente para esquemas totalmente discretos. A implementação do esquema no caso de sistemas é uma aplicação direta de componentes do caso escalar multidimensional, mas, mais importante, a nova abordagem semi-discreta não requer estratégias de divisão dimensional (i.e., dimensional splitting). A prova de convergência para solução entrópica para o caso escalar multidimensional é fornecida por meio de uma análise assintótica fraca. Também foi provado que o novo esquema bidimensional Lagrangiano-Euleriano satisfaz o princípio do máximo (caso escalar) junto com estimativas relevantes, o que também implica a unicidade da solução fraca satisfazendo a condição de entropia de Kruzhkov. Vale ressaltar que também destacamos a possibilidade do uso das no-flow curves como uma nova técnica de análise de dessingularização para construção de fluxos numéricos, localmente conservativos, e computacionalmente estáveis, para a resolução de problemas hiperbólicos não lineares, nos casos escalar e de sistemas. Além disso, foi provada também que o novo esquema semi-discreto Lagrangeano-Euleriano, no contexto mais geral de sistemas hiperbólicos multidimensionais de leis de conservação, satisfaz o princípio de positividade introduzido por P. Lax e X.-D. Liu (1996, 2003). De fato, usando as propriedades das no-flow curves, não é necessário obter os autovalores associados ao fluxo hiperbólico para garantir a positividade fraca do novo esquema numérico semi-discreto proposto. Também usamos estimativas adequadas das no-flow curves para cálculos numericamente estáveis- para resolver equações escalares e sistemas multidimensionais - de uma forma semelhante à da conhecida condição de estabilidade de Courant - Friedrichs - Lewy (CFL), mas sem a necessidade de empregar os autovalores (valores exatos ou aproximados) do Jacobiano relevante das funções de fluxo hiperbólico. Outra característica interessante da construção semi-discreta no-flow curves Lagrangiana-Euleriana é que as matrizes são simétricas por construção (na verdade, são diagonais), o que é independente e aplicavel para uma classe geral de fluxo hiperbólico para problemas escalares e sistemas. Também demonstramos a aplicação do esquema semi-discreto para problemas hiperbólicos escalares e sistemas bidimensionais não triviais que exibem intrincadas interações de ondas. O esquema SDLE multidimensional mantém a simplicidade, com uma resolução muito boa, é eficiente em termos de custo computacional e de memória, e também é simples de implementar, pois nenhum problema de Riemann (local) é resolvido; portanto, os cálculos de tipo field-by-field type decompositions no caso de sistemas hiperbólicos são totalmente evitados. Todas essas propriedades são significativas e garantem a simplicidade e o poder dessa classe de esquemas semi-discretos positivos