Construções dos Números Reais

Neste trabalho estudamos várias construções do sistema dos números reais. Antes porém, começamos por abordar a evolução do conceito de número, destacando três diferentes aspectos da evolução do conceito de número real. Relacionado com este tema, dedicamos dois capítulos, deste trabalho, à apresentação das teorias que consideramos assumir maior importância, nomeadamente: a construção do sistema dos números reais por cortes na recta ou secções no conjunto dos números racionais, avançada por Dedekind, e a construção do número real como classe de equivalência de sucessões fundamentais de números racionais, ideia protagonizada por Cantor. Posteriormente, e de uma forma mais sintetizada do que nas anteriores, apresentamos outras construções, onde procuramos clarificar a ideia fundamental subjacente ao conceito de número real. Finalmente utilizamos o método axiomático com o intuito de mostrar a unicidade do sistema dos números reais, isto é, concluir finalmente que existe um corpo completo e ordenado, e apenas um a menos de um isomorfismo, do conjunto dos números reais.

Atenuação de ruídos coerentes utilizando decomposição em modos empíricos

The seismic processing technique has the main objective to provide adequate picture of geological structures from subsurface of sedimentary basins. Among the key steps of this process is the enhancement of seismic reflections by filtering unwanted signals, called seismic noise, the improvement of signals of interest and the application of imaging procedures. The seismic noise may appear random or coherent. This dissertation will present a technique to attenuate coherent noise, such as ground roll and multiple reflections, based on Empirical Mode Decomposition method. This method will be applied to decompose the seismic trace into Intrinsic Mode Functions. These functions have the properties of being symmetric, with local mean equals zero and the same number of zero-crossing and extremes. The developed technique was tested on synthetic and real data, and the results were considered encouraging

Monotonicity and asymptotics of zeros of Sobolev type orthogonal polynomials: A general case

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

Utilizando a televisão digital como um meio de comunicação para ambientes interativos reais

This Dissertation aims to provide a communication mechanism between Digital TV viewers and interaction devices, such as robots, for example, placed on the environment from which a TV program is being live broadcasted. Such communication mechanism has the objective to allow viewers controll the Interaction Devices through their TV devices, using the broadcast channel present in Interactive Digital TV systems, and receive data from the devices by the broadcast channel. This system was projected as a middlewaer system where the Interaction Devices in the TV program set are interconnected, creating a Interactive Device Network. With this approach, the system is capable of manage the devices on the network, controlling the flow of coming and leaving elements, in a transparent way for the viewers. The system yet allows the Interaction Devices communicate each other, with a integrated communication channel with no worries about the physical communication layer

On the zeros of polynomials: An extension of the Enestrom-Kakeya theorem

This paper presents an extension of the Enestrom-Kakeya theorem concerning the roots of a polynomial that arises from the analysis of the stability of Brown (K, L) methods. The generalization relates to relaxing one of the inequalities on the coefficients of the polynomial. Two results concerning the zeros of polynomials will be proved, one of them providing a partial answer to a conjecture by Meneguette (1994)[6]. (C) 2011 Elsevier B.V. All rights reserved.

Generalized partition function zeros of 1D spin models and their critical behavior at edge singularities

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

Metodologia para rastreamento com modificação dos zeros e rejeição de distúrbio aplicada a sistemas incertos

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

Estudo das limitações impostas ao amortecimento de oscilações eletromecânicas pelos zeros da FTMA de controladores suplementares

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

Controle ótimo H2 e H¥ com modificação de zeros para o problema de rastreamento usando LMI

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

Aplicação da tecnologia eletroquímica como alternativa para a remoção de corante têxteis em efluentes sintéticos e reais utilizando anodos de platina e diamante

In this work, electrochemical technology was used to treat synthetic wastewater containing Methyl Red (MR) and Blue Novacron (BN) by anodic oxidation using anodes platinum (Pt) and real samples of textile effluents using DDB anodes and platinum (Pt). The removal of color from the galvanostatic electrolysis of synthetic wastewater MR and BN, and the actual sample has been observed under different conditions (different current densities and temperature variation). The investigation of these parameters was performed in order to establish the best conditions for removal of color and chemical oxygen demand (BOD). According to the results obtained in this study, the electrochemical oxidation processes suitable for the degradation process of color and COD in wastewater containing such textile dyes, because the electrocatalytic properties of Pt and BDD anodes consumption energy during the electrochemical oxidation of synthetic solutions AN and MR and real sample, mainly depend on the operating parameters of operation, for example, the synthetic sample of MR, energy consumption rose from 42,00kWhm-3 in 40 mAcm-2 and 25 C to 17,50 kWhm-3 in 40mAcm-2 and 40 C, from the BN went 17,83 kWhm-3 in 40mAcm and 40°C to 14,04 kWhm- 3 in 40mAcm-2 and 40 C (data estimated by the volume of treated effluent). These results clearly indicate the applicability of electrochemical treatment for removing dyes from synthetic solutions and real industrial effluents

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

Extensões ao Projeto LVWNet: mobilidade, interação com equipamentos reais, comunicação direta, e registro dinâmico de nós

Due to the constantly increasing use of wireless networks in domestic, business and industrial environments, new challenges have emerged. The prototyping of new protocols in these environments is typically restricted to simulation environments, where there is the need of double implementation, one in the simulation environment where an initial proof of concept is performed and the other one in a real environment. Also, if real environments are used, it is not trivial to create a testbed for high density wireless networks given the need to use various real equipment as well as attenuators and power reducers to try to reduce the physical space required to create these laboratories. In this context, LVWNet (Linux Virtual Wireless Network) project was originally designed to create completely virtual testbeds for IEEE 802.11 networks on the Linux operating system. This paper aims to extend the current project LVWNet, adding to it the features like the ability to interact with real wireless hardware, provides a initial mobility ability using the positioning of the nodes in a space coordinates environment based on meters, with loss calculations due to attenuation in free space, enables some scalability increase by creating an own protocol that allows the communication between nodes without an intermediate host and dynamic registration of nodes, allowing new nodes to be inserted into in already in operation network

Entre corpos reais e virtuais: reflexões da dança contemporânea para pensar o corpo na educação física

Esta pesquisa objetiva identifi car as novas confi gurações de corpo advindas da interconexão entre Dança e Tecnologia, bem como compreender de que maneiras essas confi - gurações se aproximam e contribuem para a compreensão de corpo na Educação Física. O recurso metodológico é a análise de imagens dos vídeos de dança: Digital Brazuca e Corpo Aberto. Os vídeos analisados apontam para um repertório de saberes, que podem ser problematizados na área, e contribuem para reconfi gurar a relação homem/ambiente. Nesse sentido, promovem a plasticidade e a polissemia de relações entre o carbono e o silício, e desenham outras formas de compressão do corpo que incluem a complexidade, a incerteza, a reversibilidade e a descoberta

Práticas de ensino-aprendizagem com base em cenários reais

O processo ensino-pesquisa-extensão realizado com a imersão dos sujeitos em cenários reais possibilita a integração universidade-comunidade, ampliando a inserção social. O objetivo deste trabalho foi apresentar a experiência de um projeto conduzido em cinco municípios brasileiros, com a participação de docentes, pós-graduandos e acadêmicos, em parceria com prefeituras municipais e trabalhadores de saúde como cenário de ensino-pesquisa no SUS. Foram realizadas oficinas e cursos de capacitação com as equipes de saúde, gestores e conselheiros de saúde, visitas técnicas aos municípios para avaliação situacional e supervisão das atividades, avaliação da satisfação dos usuários e formação de lideranças populares. Observou-se a melhoria na organização dos serviços e estímulo ao fortalecimento do vínculo entre os usuários e prestadores de serviços. Essa experiência serviu como laboratório de aprendizagem e pesquisa, fazendo-se ciência a partir da vivência in loco da realidade do SUS e contribuindo para uma formação professional mais humanitária baseada em cenários reais.

Convexity of the extreme zeros of Gegenbauer and Laguerre polynomials

Let C-n(lambda)(x), n = 0, 1,..., lambda > -1/2, be the ultraspherical (Gegenbauer) polynomials, orthogonal. in (-1, 1) with respect to the weight function (1 - x(2))(lambda-1/2). Denote by X-nk(lambda), k = 1,....,n, the zeros of C-n(lambda)(x) enumerated in decreasing order. In this short note, we prove that, for any n is an element of N, the product (lambda + 1)(3/2)x(n1)(lambda) is a convex function of lambda if lambda greater than or equal to 0. The result is applied to obtain some inequalities for the largest zeros of C-n(lambda)(x). If X-nk(alpha), k = 1,...,n, are the zeros of Laguerre polynomial L-n(alpha)(x), also enumerated in decreasing order, we prove that x(n1)(lambda)/(alpha + 1) is a convex function of alpha for alpha > - 1. (C) 2002 Published by Elsevier B.V. B.V.