Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar

A matemática intervalar é uma teoria matemática originada na década de 60 com o objetivo de responder questões de exatidão e eficiência que surgem na prática da computação científica e na resolução de problemas numéricos. As abordagens clássicas para teoria da computabilidade tratam com problemas discretos (por exemplo, sobre os números naturais, números inteiros, strings sobre um alfabeto finito, grafos, etc.). No entanto, campos da matemática pura e aplicada tratam com problemas envolvendo números reais e números complexos. Isto acontece, por exemplo, em análise numérica, sistemas dinâmicos, geometria computacional e teoria da otimização. Assim, uma abordagem computacional para problemas contínuos é desejável, ou ainda necessária, para tratar formalmente com computações analógicas e computações científicas em geral. Na literatura existem diferentes abordagens para a computabilidade nos números reais, mas, uma importante diferença entre estas abordagens está na maneira como é representado o número real. Existem basicamente duas linhas de estudo da computabilidade no contínuo. Na primeira delas uma aproximação da saída com precisão arbitrária é computada a partir de uma aproximação razoável da entrada [Bra95]. A outra linha de pesquisa para computabilidade real foi desenvolvida por Blum, Shub e Smale [BSS89]. Nesta aproximação, as chamadas máquinas BSS, um número real é visto como uma entidade acabada e as funções computáveis são geradas a partir de uma classe de funções básicas (numa maneira similar às funções parciais recursivas). Nesta dissertação estudaremos o modelo BSS, usado para se caracterizar uma teoria da computabilidade sobre os números reais e estenderemos este para se modelar a computabilidade no espaço dos intervalos reais. Assim, aqui veremos uma aproximação para computabilidade intervalar epistemologicamente diferente da estudada por Bedregal e Acióly [Bed96, BA97a, BA97b], na qual um intervalo real é visto como o limite de intervalos racionais, e a computabilidade de uma função intervalar real depende da computabilidade de uma função sobre os intervalos racionais

Processo de difusão com agregação e reorganização espontânea em uma rede 2D

Difusive processes are extremely common in Nature. Many complex systems, such as microbial colonies, colloidal aggregates, difusion of fluids, and migration of populations, involve a large number of similar units that form fractal structures. A new model of difusive agregation was proposed recently by Filoche and Sapoval [68]. Based on their work, we develop a model called Difusion with Aggregation and Spontaneous Reorganization . This model consists of a set of particles with excluded volume interactions, which perform random walks on a square lattice. Initially, the lattice is occupied with a density p = N/L2 of particles occupying distinct, randomly chosen positions. One of the particles is selected at random as the active particle. This particle executes a random walk until it visits a site occupied by another particle, j. When this happens, the active particle is rejected back to its previous position (neighboring particle j), and a new active particle is selected at random from the set of N particles. Following an initial transient, the system attains a stationary regime. In this work we study the stationary regime, focusing on scaling properties of the particle distribution, as characterized by the pair correlation function ø(r). The latter is calculated by averaging over a long sequence of configurations generated in the stationary regime, using systems of size 50, 75, 100, 150, . . . , 700. The pair correlation function exhibits distinct behaviors in three diferent density ranges, which we term subcritical, critical, and supercritical. We show that in the subcritical regime, the particle distribution is characterized by a fractal dimension. We also analyze the decay of temporal correlations

Percepção e ação: direções teóricas e experimentais atuais

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Semigrupos de operadores lineares aplicados às equações diferenciais parciais

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A ancoragem funcional através do manejo de cão em tarefas de equilíbrio

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Processos inferenciais: contribuições das ciências cognitivas

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Determinação física e numérica de corridas de lama resultantes de ruptura de barreira retendo material viscoplástico

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Transformação de hábitos e sustentabilidade: a evolução de interpretantes na (auto) construção da cidade

Pós-graduação em Filosofia - FFC

Transições de fase nas dinâmicas de uma partícula se movendo em um poço ou barreira de potencial dependentes periodicamente do tempo

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Controle de dinâmica caótica com toros robustos

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Dinâmica caótica e sincronização de fase em mapas acoplados

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Estudo de multirefringência na dinâmica de um feixe de luz considerando o bilhar anular

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Dissipação via arrasto viscoso como mecanismo de supressão da aceleração de Fermi no bilhar elíptico-ovoide com fronteira dependente do tempo

Pós-graduação em Física - IGCE

Crises de fronteira em aceleradores de Fermi

Pós-graduação em Física - IGCE

O bilhar stadium dependente do tempo: aceleração de Fermi e o fenômeno de retardo de velocidade

Pós-graduação em Física - IGCE