Le principe de contraction de Banach, qui garantit l'existence d'un point fixe d'une contraction d'un espace métrique complet à valeur dans lui-même, est certainement le plus connu des théorèmes de point fixe. Dans plusieurs situations concrètes, nous sommes cependant amenés à considérer une contraction qui n'est définie que sur un sous-ensemble de cet espace. Afin de garantir l'existence d'un point fixe, nous verrons que d'autres hypothèses sont évidemment nécessaires. Le théorème de Caristi, qui garantit l'existence d'un point fixe d'une fonction d'un espace métrique complet à valeur dans lui-même et respectant une condition particulière sur d(x,f(x)), a plus tard été généralisé aux fonctions multivoques. Nous énoncerons des théorèmes de point fixe pour des fonctions multivoques définies sur un sous-ensemble d'un espace métrique grâce, entre autres, à l'introduction de notions de fonctions entrantes. Cette piste de recherche s'inscrit dans les travaux très récents de mathématiciens français et polonais. Nous avons obtenu des généralisations aux espaces de Fréchet et aux espaces de jauge de quelques théorèmes, dont les théorèmes de Caristi et le principe variationnel d'Ekeland. Nous avons également généralisé des théorèmes de point fixe pour des fonctions qui sont définies sur un sous-ensemble d'un espace de Fréchet ou de jauge. Pour ce faire, nous avons eu recours à de nouveaux types de contractions; les contractions sur les espaces de Fréchet introduites par Cain et Nashed [CaNa] en 1971 et les contractions généralisées sur les espaces de jauge introduites par Frigon [Fr] en 2000. / The Banach contraction principle, which certifies that a contraction of a complete metric space into itself has a fixed point, is for sure the most famous of all fixed point theorems. However, in many case, the contraction we consider is only defined on a subset of a complete metric space. Of course, to certify that such a contraction has a fixed point, we need to add some restrictions. The Caristi theorem, which certifies the existence of a fixed point of a function of a complete metric space into itself satisfying a particular condition on d(x,f(x)), was later generalized to multivalued functions. By introducing different types of inwardness assumptions, we will be able to state some fixed point theorems for multivalued functions defined on a subset of a metric space. This is related to the recent work of French and Polish mathematicians. We were able to generalize some theorems to Fréchet spaces and gauge spaces such as the Caristi theorems and the Ekeland variational principle. We were also able to generalize some fixed point theorems for functions that are only defined on a subset of a Fréchet space or a gauge space. To do so, we used new types of contractions; contractions on Fréchet spaces introduced by Cain and Nashed [CaNa] in 1971 and generalized contractions on gauge spaces introduced by Frigon [Fr] in 2000.

[pt] Esse trabalho visa demonstrar os lemas de Sperner e aplicá-los nasdemonstrações do teorema de Monsky em Q2 e do teorema do ponto fixo deBrouwer em R2. Além disso, relatamos como esses lemas foram abordados com alunos da educação básica tendo como ferramenta educacional jogos de tabuleiro. / [en] This work aims to prove the Sperner s Lemmas and to apply them in proving the Monsky s Theorem in Q2 and the Brouwer fixed point Theorem in R2. Moreover, we report how these lemmas were addressed with students in basic education using board games as educational tools.

Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-06-14T19:46:59Z No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-06-14T19:48:16Z (GMT) No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) / Made available in DSpace on 2016-06-14T19:48:16Z (GMT). No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) Previous issue date: 2010 / In Descriptive Complexity, we investigate the use of logics to characterize computational classes os problems through complexity. Since 1974, when Fagin proved that the class NP is captured by existential second-order logic, considered the rst result in this area, other relations between logics and complexity classes have been established. Wellknown results usually involve rst-order logic and its extensions, and complexity classes in polynomial time or space. Some examples are that the rst-order logic extended by the least xed-point operator captures the class P and the second-order logic extended by the transitive closure operator captures the class PSPACE. In this dissertation, we will initially analyze the expressive power of some modal logics with respect to the decision problem REACH and see that is possible to express it with temporal logics CTL and CTL . We will also analyze the combined use of higher-order logics extended by the least xed-point operator and obtain as result that each level of this hierarchy captures each level of the deterministic exponential time hierarchy. As a corollary, we will prove that the hierarchy of HOi(LFP), for i 2, does not collapse, that is, HOi(LFP) HOi+1(LFP) / Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecidos normalmemte envolvem logica de primeira-ordem e suas extens~oes, e classes de complexidade polinomiais em tempo ou espaco. Alguns exemplos são que a l ogica de primeira-ordem estendida com o operador de menor ponto xo captura a clsse P e que a l ogica de segunda-ordem estendida com o operador de fecho transitivo captura a classe PSPACE. Nesta dissertação, analisaremos inicialmente a expressividade de algumas l ogicas modais com rela cão ao problema de decisão REACH e veremos que e poss vel express a-lo com as l ogicas temporais CTL e CTL . Analisaremos tamb em o uso combinado de l ogicas de ordem superior com o operador de menor ponto xo e obteremos como resultado que cada n vel dessa hierarquia captura cada n vel da hierarquia determin stica em tempo exponencial. Como corol ario, provamos que a hierarquia de HOi(LFP) não colapsa, ou seja, HOi(LFP) HOi+1(LFP) / FREIRE, Cibele Matos. Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais. 2010. 54 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2010.

ARRUDA, Alexandre Matos. Um sistema infinitário para a lógica de menor ponto fixo. 2007. 91 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Departamento de Computação, Fortaleza-CE, 2007. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-05-20T15:28:27Z No. of bitstreams: 1 2007_dis_amarruda.pdf: 427889 bytes, checksum: b0a54f14f17ff89b515a4101e02f5b58 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-05-20T15:29:23Z (GMT) No. of bitstreams: 1 2007_dis_amarruda.pdf: 427889 bytes, checksum: b0a54f14f17ff89b515a4101e02f5b58 (MD5) / Made available in DSpace on 2016-05-20T15:29:23Z (GMT). No. of bitstreams: 1 2007_dis_amarruda.pdf: 427889 bytes, checksum: b0a54f14f17ff89b515a4101e02f5b58 (MD5) Previous issue date: 2007 / The notion of the least fixed-point of an operator is widely applied in computer science as, for instance, in the context of query languages for relational databases. Some extensions of FOL with _xed-point operators on finite structures, as the least fixed-point logic (LFP), were proposed to deal with problem problems related to the expressivity of FOL. LFP captures the complexity class PTIME over the class of _nite ordered structures. The descriptive characterization of computational classes is a central issue within _nite model theory (FMT). Trakhtenbrot's theorem, considered the starting point of FMT, states that validity over finite models is not recursively enumerable, that is, completeness fails over finite models. This result is based on an underlying assumption that any deductive system is of finite nature. However, we can relax such assumption as done in the scope of proof theory for arithmetic. Proof theory has roots in the Hilbert's programme. Proof theoretical consequences are, for instance, related to normalization theorems, consistency, decidability, and complexity results. The proof theory for arithmetic is also motivated by Godel incompleteness theorems. It aims to o_er an example of a true mathematically meaningful principle not derivable in first-order arithmetic. One way of presenting this proof is based on a definition of a proof system with an infinitary rule, the w-rule, that establishes the consistency of first-order arithmetic through a proof-theoretical perspective. Motivated by this proof, here we will propose an in_nitary proof system for LFP that will allow us to investigate proof theoretical properties. With such in_nitary deductive system, we aim to present a proof theory for a logic traditionally defined within the scope of FMT. It opens up an alternative way of proving results already obtained within FMT and also new results through a proof theoretical perspective. Moreover, we will propose a normalization procedure with some restrictions on the rules, such this deductive system can be used in a theorem prover to compute queries on relational databases. / A noção de menor ponto-fixo de um operador é amplamente aplicada na ciência da computação como, por exemplo, no contexto das linguagens de consulta para bancos de dados relacionais. Algumas extensões da Lógica de Primeira-Ordem (FOL)1 com operadores de ponto-fixo em estruturas finitas, como a lógica de menor ponto-fixo (LFP)2, foram propostas para lidar com problemas relacionados á expressividade de FOL. A LFP captura as classes de complexidade PTIME sobre a classe das estruturas finitas ordenadas. A caracterização descritiva de classes computacionais é uma abordagem central em Teoria do Modelos Finitos (FMT)3. O teorema de Trakhtenbrot, considerado o ponto de partida para FMT, estabelece que a validade sobre modelos finitos não é recursivamente enumerável, isto é, a completude falha sobre modelos finitos. Este resultado é baseado na hipótese de que qualquer sistema dedutivo é de natureza finita. Entretanto, nos podemos relaxar tal hipótese como foi feito no escopo da teoria da prova para aritmética. A teoria da prova tem raízes no programa de Hilbert. Conseqüências teóricas da noção de prova são, por exemplo, relacionadas a teoremas de normalização, consistência, decidibilidade, e resultados de complexidade. A teoria da prova para aritmética também é motivada pelos teoremas de incompletude de Gödel, cujo alvo foi fornecer um exemplo de um princípio matemático verdadeiro e significativo que não é derivável na aritmética de primeira-ordem. Um meio de apresentar esta prova é baseado na definição de um sistema de prova com uma regra infinitária, a w-rule, que estabiliza a consistência da aritmética de primeira-ordem através de uma perspectiva de teoria da prova. Motivados por esta prova, iremos propor aqui um sistema infinitário de prova para LFP que nos permitirá investigar propriedades em teoria da prova. Com tal sistema dedutivo infinito, pretendemos apresentar uma teoria da prova para uma lógica tradicionalmente definida no escopo de FMT. Permanece aberto um caminho alternativo de provar resultados já obtidos com FMT e também novos resultados do ponto de vista da teoria da prova. Além disso, iremos propor um procedimento de normalização com restrições para este sistema dedutivo, que pode ser usado em um provador de teoremas para computar consultas em banco de dados relacionais

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-10T17:20:01Z No. of bitstreams: 1 ORLANDO BATISTA DE ALMEIDA - DISSERTAÇÃO PPGMAT 2006..pdf: 835416 bytes, checksum: ebd7a7b886fc9fa8eddfddb98da9aa05 (MD5) / Made available in DSpace on 2018-07-10T17:20:01Z (GMT). No. of bitstreams: 1 ORLANDO BATISTA DE ALMEIDA - DISSERTAÇÃO PPGMAT 2006..pdf: 835416 bytes, checksum: ebd7a7b886fc9fa8eddfddb98da9aa05 (MD5) Previous issue date: 2006-05 / Nesta dissertação, seguindo o trabalho do Berestycki [7] e idéias desenvolvidas por Alves & de Figueiredo [3] e Alves, Corrêa & Gonçalves [4], estudamos a Teoria do Grau de Brouwer e Leray & Schauder, bem como o Método de Galerkin para obter solução de alguns problemas elípticos. / In this of dissertation, motivated by work of Berestycki [7] and ideas conceived byAlves & from Figueiredo [3] andAlves, Corrêa & Gonçalves [4], we styding the theory of Degree fromBrouwer and Leray & Schauder, well how theMethod from Galerkin to obtain solution of some ellíptic problems.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-16T19:36:43Z No. of bitstreams: 1 JOSELMA SOARES DOS SANTOS - DISSERTAÇÃO PPGMAT 2007..pdf: 482798 bytes, checksum: c569721d7def4ccf67efe94c085198f8 (MD5) / Made available in DSpace on 2018-07-16T19:36:43Z (GMT). No. of bitstreams: 1 JOSELMA SOARES DOS SANTOS - DISSERTAÇÃO PPGMAT 2007..pdf: 482798 bytes, checksum: c569721d7def4ccf67efe94c085198f8 (MD5) Previous issue date: 2007-04 / Neste trabalho usaremos a Teoria do Ponto fixo em Cones para provar a existência e multiplicidade de solução positiva radial para sistemas de equações diferenciais parciais elípticas de segunda ordem onde 0 < r1 < r2 e a,b são parâmetros não-negativos. * (O resumo original da dissertação aprenta um sistema de equação que não foi possível adiciona-lo aqui. Recomendamos o download do arquivo para acessoao resumo completo) / In this work we will use the Theory of the Fixed Point in Cones to prove the existence and multiplicity of positive solutions for systems of second-ordem elliptic differential equations where 0 < r1 < r2 and a,b are non-negative parameters. * (The original abstract of the dissertation presents an equation system that could not be added here. We recommend downloading the file for access to the full summary)

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-22T14:08:51Z No. of bitstreams: 1 FRANCISCA LEIDMAR JOSUÉ VIEIRA - DISSERTAÇÃO PPGMAT 2009..pdf: 290173 bytes, checksum: 21a058b9a6d5dfdd80b44bb2f900d25f (MD5) / Made available in DSpace on 2018-07-22T14:08:51Z (GMT). No. of bitstreams: 1 FRANCISCA LEIDMAR JOSUÉ VIEIRA - DISSERTAÇÃO PPGMAT 2009..pdf: 290173 bytes, checksum: 21a058b9a6d5dfdd80b44bb2f900d25f (MD5) Previous issue date: 2009-03 / Capes / O resumo foi escrito utilizando formulas e equações matemáticas que não fora possíveis serem transcritas aqui. Para a visualizar o resumo recomendamos o downloado do arquivo. / The abstract was written using mathematical formulas and equations that could not be transcribed here. To view the summary we recommend downloading the file.

Submitted by Maike Costa (maiksebas@gmail.com) on 2016-03-30T11:12:00Z No. of bitstreams: 1 arquivo total.pdf: 1989591 bytes, checksum: c1b3f2740144367fd7ef458d0603ba20 (MD5) / Made available in DSpace on 2016-03-30T11:12:00Z (GMT). No. of bitstreams: 1 arquivo total.pdf: 1989591 bytes, checksum: c1b3f2740144367fd7ef458d0603ba20 (MD5) Previous issue date: 2015-02-24 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In several scienti c character problems, it is common to come across us with the need to obtain an approximate solution to nd roots of functions. At this point, this paper aims to conduct a study about some methods used to obtain an approximate solution of the functions of roots. The survey was made by means of a literature review, focusing on Numerical Methods Bisection, False Position, Fixed Point, Newton-Raphson and Secant. In order to illustrate the operation and application of these methods, numerical test problems taken from the literature were performed by implementing these. For each test performed were analyzed parameters that in uence each method and the convergence situation for the approximate solution of the analyzed problems. Although these methods do not always make available exact roots, they can be calculated with the precision that the problem needs. At this point, it is evident the importance of studying methods for nding such equations roots. Thus, the work is justi ed on the need to discuss the problems facing the nding roots of polynomial functions in the literature. In addition, this paper describes a comparison between the methods studied by applying mathematical problems. All this research material becomes adept and e ective for students and professionals from all areas that make use of them, or perhaps wish to extract it for enrichment of several sources of study. / Em diversos problemas de caráter cientí co, é comum depararmo-nos com a necessidade de obter uma solução aproximada para encontrar raízes de funções. Nesse ponto, este trabalho objetiva realizar um estudo acerca de alguns métodos utilizados para a obtenção de uma solução aproximada das raízes de funções. A pesquisa realizada deu-se por meio de uma revisão bibliográ ca, enfocando os Métodos Numéricos da Bisseção, Falsa Posição, Ponto Fixo, Newton-Raphson, Secante e Muller. Com o intuito de ilustrar o funcionamento e aplicação desses métodos, foram realizados testes numéricos de problemas extraídos da literatura por meio da implementação destes. Para cada teste realizado foram analisados os parâmetros que in uenciam cada método e a situação de convergência para a solução aproximada dos problemas analisados. Embora esses métodos, nem sempre, disponibilizem raízes exatas, estas poderão ser calculadas com a precisão que o problema necessite. Nesse ponto, ca evidente a importância de estudar métodos para encontrar tais raízes de equações. Diante disso, o trabalho se justi ca na necessidade de se discutir os problemas voltados a encontrar raízes de funções polinomiais, existentes na literatura. Além disso, o presente trabalho descreve um comparativo entre os métodos estudados mediante aplicação de problemas matemáticos. Todo esse material de pesquisa torna-se hábil e e caz para os estudantes e pro ssionais de todas as áreas que dele faça uso, ou, porventura, pretendam extraí-lo para enriquecimento de fontes diversas de estudo.

Made available in DSpace on 2014-12-17T14:55:47Z (GMT). No. of bitstreams: 1 CarlosAAS_DISSERT_1-60.pdf: 4186909 bytes, checksum: cebf9d80edc07d16ef618a3095ead927 (MD5) Previous issue date: 2010-06-30 / This study shows the implementation and the embedding of an Artificial Neural Network (ANN) in hardware, or in a programmable device, as a field programmable gate array (FPGA). This work allowed the exploration of different implementations, described in VHDL, of multilayer perceptrons ANN. Due to the parallelism inherent to ANNs, there are disadvantages in software implementations due to the sequential nature of the Von Neumann architectures. As an alternative to this problem, there is a hardware implementation that allows to exploit all the parallelism implicit in this model. Currently, there is an increase in use of FPGAs as a platform to implement neural networks in hardware, exploiting the high processing power, low cost, ease of programming and ability to reconfigure the circuit, allowing the network to adapt to different applications. Given this context, the aim is to develop arrays of neural networks in hardware, a flexible architecture, in which it is possible to add or remove neurons, and mainly, modify the network topology, in order to enable a modular network of fixed-point arithmetic in a FPGA. Five synthesis of VHDL descriptions were produced: two for the neuron with one or two entrances, and three different architectures of ANN. The descriptions of the used architectures became very modular, easily allowing the increase or decrease of the number of neurons. As a result, some complete neural networks were implemented in FPGA, in fixed-point arithmetic, with a high-capacity parallel processing / Este estudo consiste na implementa??o e no embarque de uma Rede Neural Artificial (RNA) em hardware, ou seja, em um dispositivo program?vel do tipo field programmable gate array (FPGA). O presente trabalho permitiu a explora??o de diferentes implementa??es, descritas em VHDL, de RNA do tipo perceptrons de m?ltiplas camadas. Por causa do paralelismo inerente ?s RNAs, ocorrem desvantagens nas implementa??es em software, devido ? natureza sequencial das arquiteturas de Von Neumann. Como alternativa a este problema, surge uma implementa??o em hardware que permite explorar todo o paralelismo impl?cito neste modelo. Atualmente, verifica-se um aumento no uso do FPGA como plataforma para implementar as Redes Neurais Artificiais em hardware, explorando o alto poder de processamento, o baixo custo, a facilidade de programa??o e capacidade de reconfigura??o do circuito, permitindo que a rede se adapte a diferentes aplica??es. Diante desse contexto, objetivou-se desenvolver arranjos de redes neurais em hardware, em uma arquitetura flex?vel, nas quais fosse poss?vel acrescentar ou retirar neur?nios e, principalmente, modificar a topologia da rede, de forma a viabilizar uma rede modular em aritm?tica de ponto fixo, em um FPGA. Produziram-se cinco s?nteses de descri??es em VHDL: duas para o neur?nio com uma e duas entradas, e tr?s para diferentes arquiteturas de RNA. As descri??es das arquiteturas utilizadas tornaram-se bastante modulares, possibilitando facilmente aumentar ou diminuir o n?mero de neur?nios. Em decorr?ncia disso, algumas redes neurais completas foram implementadas em FPGA, em aritm?tica de ponto fixo e com alta capacidade de processamento paralelo

Cette thèse traite du traitement adaptatif spatio-temporel dans le domaine radar. Pour augmenter les performances en détection, cette approche consiste à maximiser le rapport entre la puissance de la cible et celle des interférences, à savoir le bruit thermique et le fouillis. De nombreuses variantes de cet algorithme existent, une d’entre elles est fondée sur une modélisation autorégressive vectorielle des interférences. Sa principale difficulté réside dans l’estimation des matrices autorégressives à partir des données d’entrainement ; ce point constitue l’axe de notre travail de recherche. En particulier, notre contribution porte sur deux aspects. D’une part, dans le cas où l’on suppose que le bruit thermique est négligeable devant le fouillis non gaussien, les matrices autorégressives sont estimées en utilisant la méthode du point fixe. Ainsi, l’algorithme est robuste à la distribution non gaussienne du fouillis.D’autre part, nous proposons une nouvelle modélisation des interférences différenciant le bruit thermique et le fouillis : le fouillis est considéré comme un processus autorégressif vectoriel, gaussien et perturbé par le bruit blanc thermique. Ainsi, de nouvelles techniques d'estimation des matrices autorégressives sont proposées. La première est une estimation aveugle par bloc reposant sur la technique à erreurs dans les variables. Ainsi, l’estimation des matrices autorégressives reste robuste pour un rapport faible entre la puissance de la cible et celle du fouillis (< 5 dB). Ensuite, des méthodes récursives ont été développées. Elles sont fondées sur des approches du type Kalman : filtrage de Kalman étendu et filtrage par sigma point (UKF et CDKF), ainsi que sur le filtre H∞.Une étude comparative sur des données synthétiques et réelles, avec un fouillis gaussien ou non gaussien, est menée pour révéler la pertinence des différents estimateurs en terme de probabilité de détection. / This dissertation deals with space-time adaptive processing in the radar’s field. To improve the detection’s performances, this approach consists in maximizing the ratio between the target’s power and the interference’s one, i.e. the thermal noise and the clutter. Several variants of its algorithm exist, one of them is based on multichannel autoregressive modelling of interferences. Its main problem lies in the estimation of autoregressive matrices with training data and guides our research’s work. Especially, our contribution is twofold.On the one hand, when thermal noise is considered negligible, autoregressive matrices are estimated with fixed point method. Thus, the algorithm is robust against non-gaussian clutter.On the other hand, a new modelling of interferences is proposed. The clutter and thermal noise are separated : the clutter is considered as a multichannel autoregressive process which is Gaussian and disturbed by the white thermal noise. Thus, new estimation’s algorithms are developed. The first one is a blind estimation based on errors in variable methods. Then, recursive approaches are proposed and used extension of Kalman filter : the extended Kalman filter and the Sigma Point Kalman filter (UKF and CDKF), and the H∞ filter. A comparative study on synthetic and real data with Gausian and non Gaussian clutter is carried out to show the relevance of the different algorithms about detection’s probability.