A especificação abstrata de tipos de dados, a hoje um dos conceitos mais importantes, aceitos e compreendidos da Ciência da Computação, que permite descrever as principais entidades de um sistema baseado em computador através das propriedades que tais entidades devem satisfazer. Isto a feito usando métodos e linguagens algébricos, onde as propriedades são definidas na forma de axiomas (equações). Por outro lado, a tecnologia chamada de Orientada a Objetos (00), foi se transformando em uma disciplina amadurecida para projetos e implementações de aplicações de software. Atualmente esta tecnologia inclui muitas metodologias e muitas linguagens que abrangem todo o processo de desenvolvimento de sistemas, porem, a maioria delas são influenciadas pela implementação de tais sistemas, isto e, os conceitos básicos 00 de classe, objeto e herança são definidos em fungi° da linguagem de implementação a ser usada. Alem disso, notamos que nos últimos anos esta sendo desenvolvida muita pesquisa sobre uma geração de computadores que envolvem massivamente arquiteturas paralelas (computação concorrente), bem como sobre sistemas de comunicação de dados e engenharia (descrição) de protocolos. O objetivo principal desta tese a dar uma resposta a estes três assuntos integrando três conceitos básicos da Engenharia de Software: Especificação Algébrica, Orientação a Objetos e Especificação de Processos e Concorrência, em uma Única abordagem expressa através de uma Linguagem de Especificação Formal, chamada LOP. Esta linguagem a de natureza algébrica, com destaque para a semântica baseada em teorias em lógica de primeira ordem e na construção incremental de especificações baseada em bibliotecas. / The abstract specification of data types, one of the most important concepts accepted and understood of the Computer Science, allows to describe the the main entities of a based-computer system through the properties that these entities should be to satisfy. This is made using algebraic methods and languages, where the properties are defined as axioms (equations). By other hand, the technology called Object-Oriented (00), it has been transformed in a mature discipline for Design and Implementations of software applications. At present, this technology include many methodologies and many languages for the totality of the system development process. But the majority are influenced by the implementation of such systems, i.e., the basic concepts 00 of class, object and inheritance are defined in accordance with the programming language to be used. Moreover, we noted that the last years are being developed many research on a computer generation that involve massively parallel architectures (concurrent computing) as well as on data communication systems and protocol engineering (description). The main objective of this thesis is to give an answer to these three subjects integrating three basic concepts of Software Engineering: Algebraic Specification, Object Orientation and Processes and Concurrency specification, in an unique approach expressed through a language of formal specification, called LOP. This language has algebraic nature with prominence to the semantics based on theories in first-order logic with equality and the incremental construction of library-based specifications.

O objetivo deste trabalho é apresentar e descrever a teoria e implementação paralela. em PVM, de dois algoritmos iterativos do tipo quasi-Newton - Newton-GNIRES e Broyden- para a solução de equações não lineares F= O, onde a função F: Rn -t Rn é de classe C1 e seu Jacobiano J( x) é esparso. Uma ilustração e comparação destes métodos com suas versões sequenciais é obtida ao aplicá-los a dois probJemas específicos. / The objective of this work is to introduce anel describe the theory anel implementation on PVM, of two quase-Newton iterative algorithms - NewtonGA1RES e Broyden - for the resolution of nonlinear equations F = O, where a function F : Rn --+ Rn is of class C1 and its Jacobian J(x) is sparse. An ilustration and comparison of these methods with their serial versions is obtained as they apply to two especific problems.

Made available in DSpace on 2014-06-11T19:24:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-05-04Bitstream added on 2014-06-13T18:06:54Z : No. of bitstreams: 1 silva_l_me_rcla.pdf: 767647 bytes, checksum: 77c93a6aec1e31ebbe544fac7c6cb314 (MD5) / O objetivo desta dissertação é apresentar uma abordagem cohomológica do Teorema de Cauchy e alguns resultados equivalentes a que um subconjunto aberto e conexo de C seja simplesmente conexo. Ressaltamos que um dos objetivos desta dissertação, inserida no Mestrado Profissional, Matemática Universitária, é estabelecer uma conexão entre as diversas áreas da Matemática, dando uma visão global da mesma, necessária ao professor universitário. Desta forma, o tema escolhido Teorema de Cauchyé um assunto visto na graduação, porém a abordagem usando grupos de cohomologia, números de voltas, espaços de recobrimento, feixes de germes de funções holomorfas, contribuem para o enriquecimento da formação da mestranda / In this work we present a cohomological approach of the Cauchy’s Theorem and also present several characterizations of simply connected domains of C

Made available in DSpace on 2014-06-11T19:26:02Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-07-15Bitstream added on 2014-06-13T18:47:22Z : No. of bitstreams: 1 gisoldi_dv_me_rcla.pdf: 1724330 bytes, checksum: c5039397198684cc30f30f21f667d67c (MD5) / O objetivo principal deste trabalho é o estudo da característica da Euler de poliedros, superfícies e de soma conexa de superfícies. É provado que se duas superfícies tem a mesma característica de Euler, então elas são homeomorfas. A recíproca é também verdadeira, porém sua demonstração foge ao escopo deste trabalho. Para o desenvolvimento da atividade para alunos do ensino médio, foram construídos materiais didáticos com o objetivo de motivar e mostrar triangulações de algumas superfícies, necessárias para o cálculo das características de Euler / The main goal of this work is the study of the Euler characteristic of polyhedron, surfaces and of connected sum of surfaces. It is also proved that if two surfaces have the same Euler characteristic then they are homeomorphics. The converse is also true, but it is not proven in this work. For the development of an activity for high school students were made didactic materials in order to motivate and show the triangulations of some surfaces, necessary to calculate the Euler characteristics

Made available in DSpace on 2014-06-11T19:26:15Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-03-21Bitstream added on 2014-06-13T20:26:59Z : No. of bitstreams: 1 trinca_cc_me_sjrp.pdf: 385971 bytes, checksum: f33970449a23cc2073a2912a75704466 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Neste trabalho, estudamos o Teorema clássico de Borsuk - Ulam e também outros Teoremas do tipo Borsuk - Ulam. Para isto, consideramos aplicacões contínuas f : (Cn+1 L f0g) ! Cn. Uma raíz primitiva k - ésima da unidade » nos fornece uma Zk-acão livre sobre Cn. Um teorema nos diz que a equação kL1X i=0 »if(»ix) = 0 sempre tem uma solução x 2 (Cn+1 L f0g). Este resultado produz várias aplicações. Por exemplo, se p é um número primo, f : Sn ! Rr uma aplicacão contínua, com n > r(p L 1), então alguma órbita da Zp-ação deve ser aplicada em um ponto. / In this work, we study the Classical Borsuk-Ulam Theorem and also other Borsuk- Ulam Theorems. For that, we consider continuous maps f : (Cn+1 L f0g) ! Cn. A primitive k-root of unity » gives rise to a free Zk-action on Cn. A result states that the equation kL i=0 »if(»ix) = 0 always has a solution x 2 (Cn+1 L f0g). This result provides several aplications. For example, if p is a prime number, f : Sn ! Rr a continuous map and n > r(p L 1), then some orbit of the Zp-action must be mapped into a point.

Made available in DSpace on 2016-06-02T20:28:25Z (GMT). No. of bitstreams: 1 3558.pdf: 710457 bytes, checksum: aff70a79cd1b1c05b85d80a37a23154a (MD5) Previous issue date: 2011-02-25 / Financiadora de Estudos e Projetos / The main objective of this work is to prove that the map B defined on F and taking values in B, where F is the set of all continuous functions from Sn to Rn and B is the set of all nonempty closed subsets of Sn, invariant under the antipodal map, which assign to each f 2 F the set fx 2 Sn; f(x) = f(��x)g, is continuous when the topology of F is the topology induced by the usual metric, and the topology of B is the upper semi-finite topology. Considering in F the topology induced by the usual metric, we will have that the finest topology in B such that the map B is continuous is the upper semi-finite topology. / O principal objetivo deste trabalho é demonstrar que a função B definida em F tomando valores em B, onde F é o conjunto de todas as funções contínuas de Sn sobre Rn e B é o conjunto de todos os subconjuntos fechados (não vazio) de Sn invariantes pela antipodal, que leva f no conjunto fx 2 Sn; f(x) = f(��x)g, é contínua quando a topologia de F é a topologia induzida pela métrica usual e a topologia sobre B é a topologia semi finita superior. Ao considerar sobre F a topologia induzida pela métrica usual, teremos que a topologia mais fina sobre B tal que a função B é contínua é a topologia semi finita superior.

Made available in DSpace on 2015-04-09T12:28:26Z (GMT). No. of bitstreams: 0 Previous issue date: 2014Bitstream added on 2015-04-09T12:47:34Z : No. of bitstreams: 1 000812869.pdf: 497174 bytes, checksum: 343554bf58707181ca0cee752bb1c78b (MD5) / Esta pesquisa está inserida no contexto filosófico da Lógica, com ênfase nos aspectos dos quantificadores e nos seus modelos ou interpretações. O objetivo deste trabalho é um aprofundamento das noções de quantificação dentro do aspecto das lógicas moduladas. Para tanto, aborda-se a lógica modulada do plausível, que procura formalizar o quantificador da ubiquidade. O texto apresenta uma proposta, introduzida por Paul Halmos, de interpretação da lógica quantificacional clássica em modelos algébricos e, como contribuição original, estende este modelo para um modelo algébrico para a lógica do plausível. / This research is inserted in the context of Philosophy of Logic, with emphasis on aspects of quantifiers and their models or interpretations. The aim of this paper is a deepening on notions of quantification in the environment of modulate logics. For that, this Dissertation approaches the modulate logic of plausible, which seeks to formalize the quantifier of ubiquity. The text presents a proposal, of Paul Halmos, to interpret the classical logic quantification into algebraic models. As an original contribution, it is extended this model to an algebraic model for the logic of plausible.

A especificação abstrata de tipos de dados, a hoje um dos conceitos mais importantes, aceitos e compreendidos da Ciência da Computação, que permite descrever as principais entidades de um sistema baseado em computador através das propriedades que tais entidades devem satisfazer. Isto a feito usando métodos e linguagens algébricos, onde as propriedades são definidas na forma de axiomas (equações). Por outro lado, a tecnologia chamada de Orientada a Objetos (00), foi se transformando em uma disciplina amadurecida para projetos e implementações de aplicações de software. Atualmente esta tecnologia inclui muitas metodologias e muitas linguagens que abrangem todo o processo de desenvolvimento de sistemas, porem, a maioria delas são influenciadas pela implementação de tais sistemas, isto e, os conceitos básicos 00 de classe, objeto e herança são definidos em fungi° da linguagem de implementação a ser usada. Alem disso, notamos que nos últimos anos esta sendo desenvolvida muita pesquisa sobre uma geração de computadores que envolvem massivamente arquiteturas paralelas (computação concorrente), bem como sobre sistemas de comunicação de dados e engenharia (descrição) de protocolos. O objetivo principal desta tese a dar uma resposta a estes três assuntos integrando três conceitos básicos da Engenharia de Software: Especificação Algébrica, Orientação a Objetos e Especificação de Processos e Concorrência, em uma Única abordagem expressa através de uma Linguagem de Especificação Formal, chamada LOP. Esta linguagem a de natureza algébrica, com destaque para a semântica baseada em teorias em lógica de primeira ordem e na construção incremental de especificações baseada em bibliotecas. / The abstract specification of data types, one of the most important concepts accepted and understood of the Computer Science, allows to describe the the main entities of a based-computer system through the properties that these entities should be to satisfy. This is made using algebraic methods and languages, where the properties are defined as axioms (equations). By other hand, the technology called Object-Oriented (00), it has been transformed in a mature discipline for Design and Implementations of software applications. At present, this technology include many methodologies and many languages for the totality of the system development process. But the majority are influenced by the implementation of such systems, i.e., the basic concepts 00 of class, object and inheritance are defined in accordance with the programming language to be used. Moreover, we noted that the last years are being developed many research on a computer generation that involve massively parallel architectures (concurrent computing) as well as on data communication systems and protocol engineering (description). The main objective of this thesis is to give an answer to these three subjects integrating three basic concepts of Software Engineering: Algebraic Specification, Object Orientation and Processes and Concurrency specification, in an unique approach expressed through a language of formal specification, called LOP. This language has algebraic nature with prominence to the semantics based on theories in first-order logic with equality and the incremental construction of library-based specifications.

Orientador: João Peres Vieira / Banca: Daniel Vendrúscolo / Banca: Maria Gorete Carreira Andrade / Resumo: Neste trabalho, apresentaremos uma descrição axiomática das classes de Stiefel-Whitney e, assumindo válidos estes axiomas, mostraremos algumas de suas aplicações. Posteriormente, definiremos as classes de Stiefel-Whitney e mostraremos que esta definição satisfaz os axiomas, além de garantir a unicidade das classes de Stiefel-Whitney. Por fim, definiremos a classe de Euler e mostraremos algumas de suas aplicações, bem como sua relação com as classes de Stiefel-Whitney / Abstract: In this work, we will present an axiomatic description of the Stiefel-Whitney classes and, taking these axioms true, we will show some of their applications. After that, we will define the Stiefel-Whitney classes and we will show this definition meets the axioms, besides it ensures the unity of the Stiefel-Whitney classes. Lastly, we will define the Euler class and we will show some of its application as well as its relationship with the Stiefel-Whitney classes / Mestre

Orientador: Alice Kimie Miwa Libardi / Banca: Marcos Vieira Teixeira / Banca: Evelin Meneguesso Barbaresco / O PROFMAT - Programa de Mestrado Profissional em Matemática em Rede Nacional é coordenado pela Sociedade Brasileira de Matemática e realizado por uma rede de Instituições de Ensino Superior. / Resumo: O objetivo principal deste trabalho é o estudo da característica da Euler de poliedros, superfícies e de soma conexa de superfícies. É provado que se duas superfícies tem a mesma característica de Euler, então elas são homeomorfas. A recíproca é também verdadeira, porém sua demonstração foge ao escopo deste trabalho. Para o desenvolvimento da atividade para alunos do ensino médio, foram construídos materiais didáticos com o objetivo de motivar e mostrar triangulações de algumas superfícies, necessárias para o cálculo das características de Euler / Abstract: The main goal of this work is the study of the Euler characteristic of polyhedron, surfaces and of connected sum of surfaces. It is also proved that if two surfaces have the same Euler characteristic then they are homeomorphics. The converse is also true, but it is not proven in this work. For the development of an activity for high school students were made didactic materials in order to motivate and show the triangulations of some surfaces, necessary to calculate the Euler characteristics / Mestre