Submitted by Kamila Costa (kamilavasconceloscosta@gmail.com) on 2015-06-18T21:26:48Z No. of bitstreams: 1 DESSERTAÇÃO-MENG HUEY HSU.pdf: 6887367 bytes, checksum: 7a287b783616b616fd97b0b4561d89b6 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-19T14:14:57Z (GMT) No. of bitstreams: 1 DESSERTAÇÃO-MENG HUEY HSU.pdf: 6887367 bytes, checksum: 7a287b783616b616fd97b0b4561d89b6 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-19T14:17:40Z (GMT) No. of bitstreams: 1 DESSERTAÇÃO-MENG HUEY HSU.pdf: 6887367 bytes, checksum: 7a287b783616b616fd97b0b4561d89b6 (MD5) / Made available in DSpace on 2015-06-19T14:17:40Z (GMT). No. of bitstreams: 1 DESSERTAÇÃO-MENG HUEY HSU.pdf: 6887367 bytes, checksum: 7a287b783616b616fd97b0b4561d89b6 (MD5) Previous issue date: 2015-01-30 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work will present clearly and succinctly about reflections on the teaching of algebra for mathematic teachers elementary school from 6o to 9o year of Municipal Education System of Manaus: a methodological proposal, emphasizing on the importance of continuing education, practicing and reflections of mathematics educators and to demonstrate how we can help in algebra learning: generalization, exploration, formulation, validation of conjectures about the arithmetic properties and those who want to master mathematical formulas. Further, it aims to support in math workshops, simulating everyday situations making mathematics most pleasurable and closer to your world, thus bringing the reality of mathematics for students. / Este trabalho versa de forma clara e sucinta sobre reflexões no ensino da álgebra para professores de matemática do ensino fundamental 6o ao 9o ano da rede municipal de Manaus: uma proposta metodológica, enfatizando sobre a importância da formação continuada, práticas e reflexões de educadores matemáticos e demonstrar como podemos auxiliar na aprendizagem da álgebra: a generalização, a exploração, a formulação, a validação das conjecturas sobre as propriedades aritméticas e a quem pretende dominar fórmulas matemáticas. Almeja ainda, subsidiar nas oficinas de matemática, simulando situações do cotidiano tornando a matemática mais prazerosa e mais próxima do seu mundo, trazendo assim, a realidade concreta da matemática para os estudantes.

Submitted by Kamila Costa (kamilavasconceloscosta@gmail.com) on 2015-06-19T18:29:28Z No. of bitstreams: 1 Dissertação-Valéria F de Oliveira.pdf: 243211 bytes, checksum: d5fc6e0d051a43fa2bf976c6162d42ae (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-07-06T18:42:42Z (GMT) No. of bitstreams: 1 Dissertação-Valéria F de Oliveira.pdf: 243211 bytes, checksum: d5fc6e0d051a43fa2bf976c6162d42ae (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-07-06T18:47:41Z (GMT) No. of bitstreams: 1 Dissertação-Valéria F de Oliveira.pdf: 243211 bytes, checksum: d5fc6e0d051a43fa2bf976c6162d42ae (MD5) / Made available in DSpace on 2015-07-06T18:47:42Z (GMT). No. of bitstreams: 1 Dissertação-Valéria F de Oliveira.pdf: 243211 bytes, checksum: d5fc6e0d051a43fa2bf976c6162d42ae (MD5) Previous issue date: 2015-02-27 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work presents an introduction to Geometric Algebra building it on the plane from axioms. This approach allows for easy generalization to space and other dimensions. We believe that it can be introduced in high school and be successfully applied as a methodological alternative to teaching basic math concepts. This is a modern approach that reflects the current mathematical knowledge, unifying concepts involving geometry, trigonometry, systems of equations, complex numbers, and others which are usually presented in separation. / Este trabalho apresenta uma introdução à Álgebra Geométrica construindo-a no plano a partir de axiomas, permitindo assim que possa ser generalizada para o espaço e outras dimensões. Acreditamos que ela pode ser introduzida no Ensino Médio e aplicada com sucesso como alternativa metodológica ao ensino de conceitos básicos de matemática. Trata-se de uma abordagem moderna que reflete o conhecimento matemático atual, unificando o ensino de conceitos que envolvem geometria, trigonometria, sistemas de equações, números complexos, entre outros e que, usualmente, são apresentados de forma separada.

A tecnologia de virtualização de redes é um novo paradigma de redes que permite a múltiplas redes virtuais (VNs) compartilharem de uma forma eficiente e eficaz a mesma rede de infraestrutura denominada rede de substrato (SN). A implementação e o desenvolvimento de novos protocolos, testes de novas soluções e arquiteturas para a Internet atual e do futuro podem ser tratadas por meio da virtualização de redes. Com a virtualização de redes surge um desafio denominado problema VNE. O problema de virtualização de redes embutidas (VNE) consiste em realizar o mapeamento dos nós virtuais e o mapeamento dos enlaces virtuais sobre uma rede de substrato (SN). O problema é conhecido como NP-Hard e a sua solução é realizada por meio de algoritmos heurísticos e aproximados que realizam o mapeamento de nós e enlaces virtuais em dois estágios de forma independente ou coordenada. A presente tese tem o objetivo de resolver o mapeamento dos enlaces virtuais do problema VNE com a utilização da álgebra de caminhos. A solução apresentada fornece o melhor desempenho quando comparada com as demais soluções de virtualização de redes encontradas na literatura. Os resultados obtidos nas simulações para o problema VNE foram avaliados e analisados com a utilização do algoritmo desenvolvido nesta tese denominado Path Algebra for Virtual Link Mapping (PAViLiM), que utiliza a álgebra de caminhos para realizar o mapeamento de enlaces virtuais para caminhos na rede de substrato. A álgebra de caminhos é poderosa e flexível. Tal flexibilidade permite que ocorra uma exploração detalhada do espaço de soluções e a identificação do melhor critério e política que devem ser utilizados para a virtualização de redes. / The network virtualization technology is a new paradigm of network that allows multiple virtual networks (VNs) share in an efficient and effective way the same network infrastructure called substrate network (SN). The implementation and the development of new protocols, testing of new solutions and architectures for current and future Internet can be addressed through network virtualization. With the network virtualization arises a challenge called VNE problem. The problem of virtual network embedded (VNE) is to conduct the mapping of the virtual nodes and mapping of the virtual links over a substrate network (SN).The problem is known as NP-Hard and its solution is accomplished by means of approximate and heuristic algorithms that perform the mapping of virtual nodes and links in two stages independently or coordinated. This thesis aims to solve the mapping of virtual links for VNE problem using the paths algebra. The solution presented provides the best performance when compared with other networks virtualization solutions from the literature. The results of simulation for the VNE problem were evaluated and analyzed using the algorithm developed in this thesis called Path Algebra for Virtual Link Mapping (PAViLiM), which uses the paths algebra to perform the mapping of virtual links to paths in substrate network. The paths algebra is powerful and flexible. This flexibility allows the occurrence of a detailed exploration for identifying the best solutions and political criteria to be used for network virtualization.

Made available in DSpace on 2016-04-27T16:58:37Z (GMT). No. of bitstreams: 1 Luiz Donizeti Ferreira.pdf: 8706495 bytes, checksum: 258dfc3f02327b10c04593fd6e61e2ea (MD5) Previous issue date: 2008-05-07 / This assignment has the objective to investigate the students test culture from regular education, mainly from 8th grade and 1st year from Junior High School on Algebra subject. The assignment is part of the Approve Me Project (Argumentation and Mathematic Test) developed on biennium basis 2005-2007, has the objective to measure the argumentation process and to test teenagers from public and private schools from São Paulo State. The referred assignment was done through a questionnaire composed by 5 questions of Geometry and 5 of Algebra, applied to 1998 teenagers from ages 14 to 16. After counting the 1998 student s data, we extracted a sample of 50 individuals, aiming the detailed analysis of its answers and justification presented to one of the algebra member. Our analysis examined the answers and justifications to these questions. We used the statistics and multidimensional software CHIC to analyze the data. Our conclusions point out the below average performance, as only 20,5% of the students from our group of sample presented correct justifications to the investigated questions, being predominant the use of the natural language, none of the students used a formal language on their justified answers. We detach the preference for the use of the calculation in the justifications in detriment of the use of the properties We also emphasize that the students from the 8th grade had better performance than Junior High School / Este trabalho tem como objetivo fazer uma investigação sobre a cultura de provas de alunos da Educação Básica, mais especificamente de 8ª série e do 1º ano do Ensino Médio, no domínio da álgebra. O trabalho faz parte do projeto AprovaMe (Argumentação e Prova na Matemática Escolar), desenvolvido no biênio 2005-2007, que tem como um dos seus objetivos o mapeamento das concepções sobre argumentação e prova de alunos adolescentes das escolas públicas e particulares do estado de São Paulo. O instrumento do referido projeto foi um questionário composto por cinco questões de geometria e cinco questões de álgebra, aplicado a 1998 alunos adolescentes na faixa etária entre 14 e 16 anos. Após a tabulação dos dados do grupo de 1998 alunos, extraímos uma amostra com 50 sujeitos, visando uma análise detalhada de suas respostas e justificativas apresentadas a uma das questões integrantes do questionário de álgebra. Nossa análise examinou as respostas e justificativas dos alunos a essa questão. Fizemos uso do software estatístico e multidimensional CHIC para análise dos dados. As nossas conclusões apontam para um desempenho dos alunos abaixo do desejado, pois apenas 20,5% dos sujeitos da nossa amostra apresentaram justificativas corretas aos itens da questão investigada, sendo predominante o uso da língua natural, isto é, nenhum aluno utilizou linguagem formal em suas justificativas. Destacamos a preferência pelo uso do cálculo nas justificativas em detrimento do uso das propriedades Ressaltamos, ainda, que os alunos de 8ª série tiveram desempenho melhor que os alunos do 1º ano do Ensino Médio

Submitted by Cleide Dantas (cleidedantas@ufpa.br) on 2014-06-16T13:16:53Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_DecomposicaoValoresSingulares.pdf: 16240426 bytes, checksum: 767de73b32cdecb8dff222f9af1b7603 (MD5) / Rejected by Irvana Coutinho (irvana@ufpa.br), reason: Definir palavras-chave on 2014-08-06T16:33:39Z (GMT) / Submitted by Cleide Dantas (cleidedantas@ufpa.br) on 2014-09-05T14:31:45Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_DecomposicaoValoresSingulares.pdf: 16240426 bytes, checksum: 767de73b32cdecb8dff222f9af1b7603 (MD5) / Approved for entry into archive by Ana Rosa Silva (arosa@ufpa.br) on 2014-09-19T14:26:16Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_DecomposicaoValoresSingulares.pdf: 16240426 bytes, checksum: 767de73b32cdecb8dff222f9af1b7603 (MD5) / Made available in DSpace on 2014-09-19T14:26:16Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_DecomposicaoValoresSingulares.pdf: 16240426 bytes, checksum: 767de73b32cdecb8dff222f9af1b7603 (MD5) Previous issue date: 1992 / PETROBRAS - Petróleo Brasileiro S.A. / CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico / FINEP - Financiadora de Estudos e Projetos / FADESP - Fundação de Amparo e Desenvolvimento da Pesquisa / Neste trabalho, a decomposição em valores singulares (DVS) de uma matriz A, n x m, que representa a anomalia magnética, é vista como um método de filtragem bidimensional de coerência que separa informações correlacionáveis e não correlacionáveis contidas na matriz de dados magnéticos A. O filtro DVS é definido através da expansão da matriz A em autoimagens e valores singulares. Cada autoimagem é dada pelo produto escalar dos vetores de base, autovetores, associados aos problemas de autovalor e autovetor das matrizes de covariância ATA e AAT. Este método de filtragem se baseia no fato de que as autoimagens associadas a grandes valores singulares concentram a maior parte da informação correlacionável presente nos dados, enquanto que a parte não correlacionada, presumidamente constituída de ruídos causados por fontes magnéticas externas, ruídos introduzidos pelo processo de medida, estão concentrados nas autoimagens restantes. Utilizamos este método em diferentes exemplos de dados magnéticos sintéticos. Posteriormente, o método foi aplicado a dados do aerolevantamento feito pela PETROBRÁS no Projeto Carauari-Norte (Bacia do Solimões), para analisarmos a potencialidade deste na identificação, eliminação ou atenuação de ruídos e como um possível método de realçar feições particulares da anomalia geradas por fontes profundas e rasas. Este trabalho apresenta também a possibilidade de introduzir um deslocamento estático ou dinâmico nos perfis magnéticos, com a finalidade de aumentar a correlação (coerência) entre eles, permitindo assim concentrar o máximo possível do sinal correlacionável nas poucas primeiras autoimagens. Outro aspecto muito importante desta expansão da matriz de dados em autoimagens e valores singulares foi o de mostrar, sob o ponto de vista computacional, que a armazenagem dos dados contidos na matriz, que exige uma quantidade n x m de endereços de memória, pode ser diminuída consideravelmente utilizando p autoimagens. Assim o número de endereços de memória cai para p x (n + m + 1), sem alterar a anomalia, na reprodução praticamente perfeita. Dessa forma, concluímos que uma escolha apropriada do número e dos índices das autoimagens usadas na decomposição mostra potencialidade do método no processamento de dados magnéticos. / The singular value decomposition of a matrix A, n x m, which represents a magnetic anomaly, can be seen as a bidimensional coherence filtering method which separates the correlated information from noncorrelated information in a magnetic data matrix A. The filter is defined by expansion of matrix A into eigenimages and singular values. Each eigenimage is constructed by the scalar product of the base vectors and eigenvectors, which are associated with the eigenvectors and eigenvalues of the covariance matrices ATA and AAT. This filtering method is based on the fact that the eigenimages, which are associated with large singular values, concentrate the major part of the correlated information present in the data, while the noncorrelated part, including noise caused by external magnetic sources, compilation errors, and shallow magnetic sources comprise the remaining eigenimages. This method was employed on many examples of synthetic and real data from PETROBRÁS' Carauari-Norte project (Solimões Basin) in order to investigate the utility of the method in the identification, elimination and attenuation of noise present on magnetic data and as a possible method for enhancing certain features generated by anomalies of shallow and deep origin. This work suggests the desirability of introducing both static and dynamic shift on magnetic lines to enhance the correlation (coherence) between the magnetic lines. This shift concentrates the correlated signal in the first few eigenimages. Another important aspect of this decomposition into eigenimages and eigenvalues is the savings gained in storage of a matrix A of n x m units. Memory requerements can be diminished considerably by using p autoimages, i. e. p x (n + m + 1) units without altering the form of the anomaly. We conclude that an appropriate choice of eigenimages generated by SVD decomposition shows good promise as a processing method in magnetic data.

Después de recopilar brevemente la historia de las funciones bent a lo largo de estas últimas cuatro décadas y recopilar los resultados preliminares necesarios para la comprensión y entendimiento de la notación utilizada, se demuestran una serie de propiedades del grado de las funciones booleanas y se construyen algoritmos basados en ellas, útiles para determinar computacionalmente el grado partiendo del soporte o tabla de verdad que define a la función. También se presentan construcciones de funciones de no linealidad perfecta teniendo como punto de partida bases de un espacio vectorial sobre el cuerpo de Galois. Por último, se introducen construcciones de una clase especial de funciones de no linealidad perfecta, conocidas como Partial Spread, planteando una serie de cuestiones abiertas que merecería la pena investigar en el futuro.

Este trabalho tem dois objetivos principais. O primeiro é estender o Teorema de Serre-Swan para grupoides de Lie étale. O segundo é demonstrar que, se dois grupoides de Lie étale são Morita equivalentes então a categoria dos módulos sobre as álgebras de convolução destes grupoides são equivalentes, e esta equivalência preserva a subcategoria dos módulos de tipo finito e posto constante. / In this work we have two main goals. The first one is to extend the Serre-Swan\'s theorem. Our second goal is to prove, if two étale Lie groupoids are Morita equivalence then the category of modules over its convolution algebra are Morita equivalence, and this equivalence preserve the subcategory of modules of finite type and of constant rank.

The original interest in sandwiched singularities comes from a natural question posed by J. Nash in the early sixties to H. Hironaka: “Does a finite succession of Nash transformations or normalized Nash transformations resolve the singularities of a reduced algebraic variety?” In 1975, A. Nobile proved that, in characteristic zero, a Nash transformation is an isomorphism only in case the original variety is already non-singular. It turns out, in particular, that curve singularities are resolved by a succession of Nash transformations. Rebasoo proved in his Ph. D. thesis that Nash transformations also resolve certain kinds of quasi-homogeneous hypersurface singularities in (C)3. In 1982, G. Gonzalez-Sprinberg proved that normalized Nash transformations resolve rational double points and cyclic quotients singularities of surfaces. Then, H. Hironaka proved that after a finite succession of normalized Nash transformations one obtains a surface “X” which birationally dominates a non-singular surface. By definition, the singularities of “X” are sandwiched singularities. Some years later, M. Spivakovsky proves that sandwiched singularities are resolved by normalized Nash transformations, thus giving a positive answer to the original question posed by Nash for the case of surfaces over C. Since then, a constant interest in sandwiched singularities has been shown, and they have been deeply studied from the point of view of deformation theory by de Jong and van Straten, and also by Stolen and Mohring. Sandwiched singularities have been also studied as a nice testing ground for the Nash and the wedge Problem by Lejeune-Jalabert and Reguera, where the main idea is to extend combinatorial arguments for toric surface singularities to sandwiched ones. Sandwiched singularities are the singularities obtained by blowing-up a complete ideal in the local ring of a regular point on a surface. They are rational surface singularities (roughly speaking, isolated singularities whose resolution has no effect on the arithmetic genus of the surface) and among them are included all cyclic quotients and minimal surface singularities. Sandwiched singularities are Cohen-Macaulay, but are not complete intersections and in general, there are no simple equations for them. The purpose of this memoir is to study sandwiched singularities through their relationship to the infinitely near base points of the complete ideals blownup to obtain them. Now, we briefly summarize the main contents of each one of the chapters. Chapter I is of preliminary nature and gives references to the literature for proofs. Concepts and well-known facts about infinitely near points, weighted clusters, complete ideals and rational and sandwiched surface singularities are reviewed and some consequences that are needed in the memoir are derived. In Chapter II we establish the main link between the study of sandwiched singularities and the theory of Enriques diagrams of weighted clusters and we derive some results on sandwiched singularities by using the unloading procedure. Chapter III deals essentially with the principality of divisors going through a sandwiched singularity. It is well known that Wei divisors going through a singularity (X, Q) are not Cartier divisors in general. In Chapter IV we use the results of Chapter III to explore the connection between the ideal sheaves on “X” with finite cosupport contained in the exceptional locus and the complete m(o)-primary ideals in R. Chapter V is devoted to derive consequences related to the Nash conjecture of arcs for sandwiched singularities. In Appendix A, we provide the listings of three programs in language C implementing some of the algorithms proposed. These programs have been used to compute some of the examples presented throughout the memoir. Part of the results of this thesis has been published or will be published in: • J. Fernandez-Sanchez, On sandwiched singularities and complete ideals, J. Pure Appl. Algebra 185 (2003), no. 1-3, 165-175. [19] • J. Fernandez-Sanchez, Nash families of smooth arcs on a sandwiched singularity, To appear in Math. Proc. Cambridge. Philos. Soc. [18] • J. Fernandez-Sanchez, Equivalence of the Nash conjecture for primitive and sandwiched singularities, To appear in Proc. Amer. Math. Soc. [17]

La arquitectura semántica diseñada ha sido probada dentro del entorno de la gestión de los derechos de la propiedad intelectual. Esta permite asimilar nuevos módulos y cambios en la estructura. Se ha diseñado específicamente una propia ontología: IPROnto, que es totalmente interoperable con el resto de estándares, y propone una nueva forma de gestionar los derechos de la propiedad intelectual.Se realizó un análisis estadístico de la Web Semántica así como de los elementos que estábamos utilizando, IPROnto. Este estudio reveló que la Web Semántica se comportaba como un sistema complejo, que poseía propiedades por las cuales se podía caracterizar un comportamiento microscópico. Algunas ontologías son discutidas como paradigma de conocimiento común como DOLCE o FrameNet, además de procesos para poder interiorizarlas cercanos a la ciencia cognitiva utilizando 'image-schemas' para conectarlos a la web semántica, además de utilizar álgebra geométrica para conectar el simbolismo (álgebra) y semántica (geometría entendida como significado geométrico) como último paso. / The main issue of this work is to discover and face new challenges in negotiation over the WWW, concretely over the Semantic Web (SW) because it provides a new paradigm not only in language expression but also in its manipulation.As a result, a heterogeneous architecture is provided (with Multi-agent Systems) and IPR knowledge is formalized in an IPR ontology.Nowadays, agents have to know about other agents and their environments. Ontologies are been used to model agents' knowledge. In order to provide a model of the SW as real as possible, a deep statistical analysis of it has been made. It reveals that the SW behaves as a complex system and shares some properties with them. Concepts classification could not be as objective as we expect. An effort is done by SW community to establish a shared basis of knowledge for common understanding. The contribution is a way to connect it to the physical domain.

Made available in DSpace on 2014-06-11T19:27:09Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-11-18Bitstream added on 2014-06-13T18:55:35Z : No. of bitstreams: 1 flose_vbs_me_rcla.pdf: 506170 bytes, checksum: ee89356ded1c14f6f5c21428bb68671a (MD5) / Com o crescimento da comunicação nos dias atuais, a segurança na troca de informa- ções tem se tornado cada vez mais importante o que tem dado destaque a Criptografia. A criptografia consiste de técnicas baseadas em conceitos matemáticos que tem por objetivo transmitir informações sigilosas forma segura através de canais monitorados por terceiros. Um ramo da Criptografia que vem crescendo está ligado ao estudo de curvas elípticas, que é uma das áreas mais ricas da matemática. O nome curvas elípticas é de certa forma enganoso, pois diferente do sentido literal da palavra, que leva a pensar em elipses, se trata de equações relacionadas a um determinado tipo de curva algébrica. Neste trabalho, as curvas elípticas serão estudadas do ponto de vista da álgebra e da teoria dos números com o objetivo de conhecer a Criptografia de Curvas Elípticas que é uma variação do Problema do Logaritmo Discreto / With the growth of communication these days, security in exchange for information has become increasingly important what has given prominence to Cryptography. Encryption techniques is based on concepts mathematical aims to transmit sensitive information securely through channels monitored by third parties. A branch of cryptography that has growing up is connected to the study of elliptic curves, which is one of the most rich mathematics. The name elliptic curves is somewhat misleading, as di erent from the literal sense of the word, which makes one think of ellipses if equations is related to a certain type of algebraic curve. in this work, elliptic curves are studied from the viewpoint of algebra and of number theory in order to know the Curve Cryptography Elliptic is a variation of the discrete logarithm problem