Submitted by Leonardo Cavalcante (leo.ocavalcante@gmail.com) on 2018-05-02T14:09:22Z No. of bitstreams: 1 Arquivototal.pdf: 978771 bytes, checksum: bf0c05c8da5e986a77b6215a2235ab5e (MD5) / Made available in DSpace on 2018-05-02T14:09:22Z (GMT). No. of bitstreams: 1 Arquivototal.pdf: 978771 bytes, checksum: bf0c05c8da5e986a77b6215a2235ab5e (MD5) Previous issue date: 2017-04-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / At the end of the 60s, Andr e and Quillen introduced a cohomology theory for commutative algebras, which today is called Andr e-Quillen's cohomology. In this work, we will study K ahler di erential functor, which is here seen as a derived functor (in a nonabelian context), which connects the categories: simpli ed R-algebras and simpli ed R-modules. In the rst, through simplicial resolutions, we will notice that they characterize certain objects and diagrams of this model category, which in turn, are preserved by K ahler di erential functor. In addition, we will approach the complex cotangent of a R-algebra, and through it, de ne the homology and cohomology of Andr e-Quilen, and of course, expose some properties of these. / No nal da década de 60, André e Quillen introduziram uma teoria de cohomologia para álgebras comutativas, que hoje recebe o nome de cohomologia de André-Quillen. Neste trabalho, estudaremos o funtor de diferenciais de K ahler, que aqui é visto como funtor derivado (em um contexto não abeliano), que conecta as categorias: R-álgebras simpliciais e R-m odulos simpliciais. Na primeira, atrav es das resolu c~oes simpliciais, notaremos que estas caracterizam certos objetos e diagramas desta categoria modelo, que por sua vez, s~ao preservados pelo funtor de diferenciais de K ahler. Al em disso, abordaremos o complexo cotangente de uma R- algebra, e atrav es dele, de nir a homologia e cohomologia de André-Quillen, e naturalmente, expor algumas propriedades destas.

Made available in DSpace on 2015-05-15T11:46:16Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 578974 bytes, checksum: e512f47deae8cd03667ae8e7c2143b34 (MD5) Previous issue date: 2013-05-03 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The notions of connection and covariant derivative has its origin in the field of Riemannian geometry , where there is no distinction between them. In fact, in this study we found that these notions are equivalent if we consider modules over K-algebras of finite type. We also show that the existence of connections implies the existence of covariant derivative. The main goal of this study is to determine which modules admit connections. We easily verified that the projective modules admit connections. In fact, they form an affine space. But we also display a module that is not projective and has connection. Later, inspired by Swan's theorem, we explore in a straightforward way modules formed by sections of the tangent bundle of some surfaces in 3-dimensional real space. Finally, we study the notion of connection introduced by Alain Connes in modules over K-algebras not necessarily commutative. And we find in that context that the modules that have connection are exactly the projectives modules. / As noções de conexão e derivada covariante tem sua origem na área de geometria riemanniana, onde não existe distinção entre elas. De fato, nós verificamos neste trabalho, que estas noções são equivalentes se considerarmos módulos sobre K-álgebras comutativas de tipo finito. Também mostramos que a existência de conexões implica na existência de derivada covariante. O objetivo central deste trabalho é determinar que módulos admitem conexão. Verificamos facilmente que os módulos projetivos admitem conexões. De fato, elas formam um espaço afim. Mas também exibimos um módulo não projetivo que possui conexão. Posteriormente, inspirados pelo teorema de Swan, exploramos de maneira direta os módulos formados pelas seções do fibrado tangente de algumas superfícies no espaço 3- dimensional real. Por fim, estudamos a noção de conexão introduzida por Alain Connes em módulos sobre K-álgebras não necessariamente comutativas. E verificamos nesse contexto que os módulo que admitem conexão são exatamente os módulos projetivos.

Nosso laboratório investiga os mecanismos moleculares que promovem o estabelecimento de padrões de expressão gênica regulados no desenvolvimento em eucariotos superiores. Como modelo, utilizamos o gene de pufe de DNA BhC4-1, que é amplificado e expresso de modo regulado na glândula salivar e na glândula protorácica no final do quarto estadio larval de B. hygida. Estudos funcionais em D. melanogaster resultaram na identificação de módulos cis-reguladores (MCRs) na região promotora do gene BhC4-1. O MCR de glândula anelar de 67 bp (-253/-187), promove a expressão de BhC4-1-lacZ na glândula anelar a partir do final do desenvolvimento embrionário. O MCR de glândula salivar de 129 bp (-186/-58), dirige a expressão do transgene nas glândulas salivares de prépupas. A glândula anelar é o principal órgão endócrino larval e em D. melanogaster é o resultado da fusão das glândulas protorácicas (responsáveis pela síntese de hormônios esteroides), corpus allatum (síntese de hormônio juvenil) e corpus cardiacum (glândula neuroendócrina). Neste trabalho foram obtidas 12 linhagens independentes transformadas com uma construção que contém o fragmento (-253/+40) do promotor do gene de pufe de DNA BhC4-1 clonado à montante do gene repórter GFP. O genótipo destas linhagens foi validado utilizando-se Southern blots. Inicialmente as 12 linhagens obtidas foram analisadas quanto ao padrão de expressão de GFP em larvas de terceiro estadio e em prépupas 2 horas. Em conjunto, esta análise revelou que o padrão de expressão de GFP é bastante variável nestas linhagens. A análise do padrão de expressão da proteína repórter foi estendida em duas linhagens representativas da série (- 253/+40)/GFP. Nestas linhagens a expressão de GFP é inicialmente detectada na glândula salivar durante o estágio de prépupa e na glândula anelar a partir do terceiro estadio larval. Diferentemente do anteriormente observado em linhagens (-253/+40)/lacZ, nestas linhagens não detectamos a expressão de GFP em tempos do desenvolvimento anteriores ao terceiro estadio larval. Experimentos de interação gênica revelaram que na ausência do fator de transcrição br, a expressão de GFP é mantida na glândula anelar e abolida na glândula salivar de larvas de terceiro estadio. Os resultados dos experimentos de interação gênica corroboram dados anteriores que indicavam que o conjunto de fatores de transcrição que regulam a expressão de BhC4-1-lacZ na glândula anelar é distinto daquele que promove a expressão do gene na glândula salivar. As linhagens obtidas neste trabalho constituem uma ferramenta a ser utilizada na caracterização de fatores de transcrição tecido-específicos que regulam o gene BhC4-1 na glândula anelar e/ou na glândula salivar a partir do final do desenvolvimento larval. / Our laboratory investigates the molecular mechanisms that promote the establishment of developmentally regulated gene expression patterns in metazoans. As a model, we employ the BhC4-1 DNA puff gene, which is amplified and expressed in a regulated manner in the salivary gland and in the prothoracic gland at the end of the fourth larval instar in B. hygida. Functional studies in D. melanogaster resulted in the identification of cis-regulatory modules (CRMs) in the BhC4-1 promoter region. The 67 bp (-253/-187) ring gland CRM drives BhC4-1-lacZ expression in the ring gland from late embryonic development. The 129 bp (-186/-58) CRM salivary gland drives transgene expression in the prepupal salivary glands. The ring gland is the major endocrine organ, and comprises the prothoracic glands (synthesis of ecdysteroid hormones), corpus allatum (synthesis of juvenile hormone) and corpus cardiacum (neuroendocrine gland). In this work, 12 independent lines transformed with a construct containing the BhC4-1 promoter fragment (- 253/+40) cloned upstream of the reporter gene GFP were obtained. The genotype of each line was validated using Southern blots. Initially, the 12 obtained lines were analyzed to investigate the pattern of GFP expression in the third instar larvae and in the 2 hours prepupae. This initial screening revealed that the pattern of GFP expression is highly variable in these lines. The developmental pattern of GFP expression was extended in two representative (- 253/+40)/GFP lines. In these lines, GFP expression is initially detected in the larval and prepupal salivary glands and in ring gland third instar. Differently from previously observed in (-253/+40)/lacZ lines, in these lines we did not detect GFP expression at developmental times prior to the third larval instar. Gene interaction experiments revealed that in the absence of the br transcription factor, GFP expression is maintained in the ring gland and abolished in the salivary gland of third instar larvae. The results of gene interaction experiments corroborate previous data indicating the set of transcription factors that regulate BhC4-1-lacZ expression in the ring gland is distinct from that which promotes gene expression in salivary glands. The lines obtained in this work constitute a tool to characterize the tissue-specific transcription factors that regulate BhC4-1 gene in the ring gland and/or in the salivary gland from the end of the larval development.

Ambientes e sistemas de apoio ao ensino e aprendizado estão sendo adotados como mecanismos facilitadores no processo de ensino e aprendizado. No entanto, uma limitação comum à maioria desses ambientes está relacionada ao fato de concentrarem-se apenas na criação da estrutura, armazenamento e controle de acesso ao material didático, sem oferecer qualquer tipo de suporte à atividade de modelagem do conteúdo. Nesse contexto, em trabalhos anteriores foi proposta a abordagem AIM-CID - uma abordagem integrada para modelagem de conteúdos educacionais. Dando continuidade às pesquisas já realizadas, este trabalho aborda o estudo de mecanismos de apoio à modelagem de conteúdos educacionais, propondo extensões às etapas de modelagem conceitual e instrucional da abordagem AIM-CID. A ideia é incorporar à abordagem aspectos relacionados ao reuso e compartilhamento de conteúdos educacionais. Além disso, também foi considerado no escopo deste trabalho o projeto e o desenvolvimento da AIM-Tool - uma ferramenta Web, de apoio à modelagem e geração automática de conteúdos educacionais, com ênfase na construção distribuída dos modelos estendidos da abordagem AIM-CID. A ferramenta fornece mecanismos para a geração automática dos conteúdos modelados em diferentes formatos, além de tratar aspectos relacionados ao compartilhamento do material gerado, por meio da adoção do padrão LOM / Learning environments and systems has been investigated in order to facilitate the learning processes in general. However, one common limitation of most of these environments is related to the fact that they focus only on the creation of the structure, storage and learning material access control, with no support to the content modeling activity in the educational process. In this regard, in a previous work we proposed the IMA-CID - an integrated approach for modeling educational content. Motivated by this scenario, in this work we investigate supporting mechanisms for educational content modeling, proposing extensions to the conceptual model and instructional model of the IMA-CID approach. The idea is to incorporate aspects of sharing and reuse for educational content creation. Moreover, we have also considered the development of IMA-Tool - aWeb tool that supports the modeling and automatic generation of educational content, emphasizing the distributed construction of the extended models of the IMA-CID approach. This tool provides mechanisms for the automatic generation in various formats, besides considering aspects related to content sharing through the adoption of the LOM pattern

Submitted by Nayara Passos (nayara.passos@ufpe.br) on 2015-03-10T14:51:51Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Paulo Henrique Muniz Ferreira.pdf: 5023143 bytes, checksum: 16e5f711793a7b21d5d25f166619bda6 (MD5) / Made available in DSpace on 2015-03-11T17:30:45Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Paulo Henrique Muniz Ferreira.pdf: 5023143 bytes, checksum: 16e5f711793a7b21d5d25f166619bda6 (MD5) Previous issue date: 2014 / Sistema de controle empregando redes neurais vem sendo estudado ativamente desde a década de 1980. Mas ainda assim, é um campo bem desafiador devido a diversas formas de abordagens neurais existente na literatura e a natureza diversa dos sistemas de controle que podem apresentar uma dinâmica variando consideravelmente ao longo do regime de funcionamento. Nesse trabalho de mestrado, foi investigada a aplicação de sistemas de controle auto-organizáveis baseados no Mapa Auto-organizável de Kohonen, em duas diferentes proposições. Ambas consistem de controles com arquitetura modulares e se diferenciam na característica da estrutura topológica. O primeiro controle é concebido com uma estrutura fixa. Enquanto o segundo apresenta uma estrutura que cresce a medida que é necessário. Os modelos foram validados em simulações de problemas mecânicos clássicos (linear e não-linear), como sistema massa-molaamortecedor e pêndulo invertido. Nos experimentos, os sistemas tinham seus parâmetros variando no tempo e os resultados dos métodos propostos foram comparados com métodos convencionais. Os resultados sugerem que as técnicas de controle inspiradas nos mapas auto-organizáveis controlam adequadamente e são eficazes ao lidar com configurações não apresentadas na etapa de treinamento.

Submitted by Amanda Freitas (amanda.freitas@ufpe.br) on 2015-04-17T13:33:05Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Emmanuel Andrade de Barros Santos.pdf: 5505882 bytes, checksum: 3e253365a0c28b99c3572781dd0849cd (MD5) / Made available in DSpace on 2015-04-17T13:33:05Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Emmanuel Andrade de Barros Santos.pdf: 5505882 bytes, checksum: 3e253365a0c28b99c3572781dd0849cd (MD5) Previous issue date: 2013-05-29 / Chesf (Companhia Hidroelétrica do São Francisco); CNPq / A incidência direta ou indireta de descargas atmosférica nas linhas de transmissão e distribuição é um dos grandes problemas que afetam a qualidade do serviço de energia elétrica, gerando danos às linhas de transmissão e distribuição e multas para as companhias elétricas. O evento geralmente causa desligamentos não programados, e a determinação do local na linha de transmissão onde ocorreu tal desligamento não possui atualmente uma precisão satisfatória. Outro problema recorrente são os furtos dos cabos para-raios, que deixam as linhas de transmissão desprotegidas e causam prejuízos financeiros para as companhias. A localização dos pontos onde ocorreram as descargas ou furtos dos cabos é necessária para que as equipes de manutenção possam realizar um serviço mais eficiente e preciso. Esta Dissertação apresenta a concepção, construção e testes de dois sistemas que podem ser implantados nas linhas de transmissão de energia elétrica: um para detecção e localização de descargas atmosféricas, que utiliza sensor de corrente elétrica, circuitos eletrônicos e módulos de comunicação; e outro para detecção e localização de furtos de cabos para-raios, pelo uso de antenas de alta diretividade e módulos de comunicação, cuja metodologia faz uso do espalhamento das ondas eletromagnéticas pelos próprios cabos.

Made available in DSpace on 2014-06-12T15:52:09Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / O sucesso de um software depende diretamente de sua qualidade. Tradicionalmente, métodos formais e de inspeção manual de código são usados para assegurá-la. Tais métodos, geralmente, possuem um custo elevado e demandam bastante tempo. Dessa forma, as atividades de teste devem ser planejadas cuidadosamente para evitar o desperdício de recursos. Atualmente, as organizações estão buscando maneiras rápidas e baratas de detectar defeitos em softwares. Porém, mesmo com todos os avanços dos últimos anos, o desenvolvimento de software ainda é uma atividade que depende intensivamente do esforço e do conhecimento humano. Muitos pesquisadores e organizações estão interessados em criar um mecanismo capaz de prever automaticamente defeitos em softwares. Nos últimos anos, técnicas de aprendizagem de máquina vêm sendo utilizadas em diversas pesquisas com esse objetivo. Este trabalho investiga e apresenta um estudo da viabilidade da aplicação de métodos de aprendizagem de máquina na detecção de módulos de software propensos a falhas. Classificadores como redes neurais artificiais e técnicas de aprendizagem baseada em instâncias (instance-based learning) serão usadas nessa tarefa, tendo como fonte de informação as métricas de software retiradas do repositório do Metrics Data Program (MDP) da NASA. Também será apresentado um conjunto de melhorias, propostas durante este trabalho, para alguns desses classificadores. Como a detecção de módulos defeituosos é um problema sensível a custo, este trabalho também propõe um mecanismo capaz de medir analiticamente o custo de cada decisão tomada pelos classificadores

Submitted by Erika Demachki (erikademachki@gmail.com) on 2015-03-11T19:37:56Z No. of bitstreams: 2 Dissertação - Victor Hugo López Solís - 2012.pdf: 755677 bytes, checksum: ab64efbb1cbb6b6d5b9683cad6f75d6e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Erika Demachki (erikademachki@gmail.com) on 2015-03-13T18:58:33Z (GMT) No. of bitstreams: 2 Dissertação - Victor Hugo López Solís - 2012.pdf: 755677 bytes, checksum: ab64efbb1cbb6b6d5b9683cad6f75d6e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-03-13T18:58:59Z (GMT). No. of bitstreams: 2 Dissertação - Victor Hugo López Solís - 2012.pdf: 755677 bytes, checksum: ab64efbb1cbb6b6d5b9683cad6f75d6e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2012-03-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Our work has as main objective, to establish conditions for a canonical form for elements of a ring, semigroup or algebraic structure similar. This result is obtained through the main Theorem 3.10 (The Lemma of Bergman’s Diamond) with applications. / O nosso trabalho tem como objetivo principal, estabelecer condições para obter uma forma canônica para os elementos de um anel, semigrupo ou estrutura algébrica similar. Isto é obtido através do resultado principal, o Teorema 3.10 (O Lema do Diamante de Bergman), com aplicações.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-05-29T13:28:57Z No. of bitstreams: 1 douglasferreirabrum.pdf: 632780 bytes, checksum: 1da883a558292ba219387c3fdf6f98af (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-05-29T19:37:42Z (GMT) No. of bitstreams: 1 douglasferreirabrum.pdf: 632780 bytes, checksum: 1da883a558292ba219387c3fdf6f98af (MD5) / Made available in DSpace on 2017-05-29T19:37:42Z (GMT). No. of bitstreams: 1 douglasferreirabrum.pdf: 632780 bytes, checksum: 1da883a558292ba219387c3fdf6f98af (MD5) Previous issue date: 2013-08-30 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Esse trabalho visa descrever o espaço de Módulos de m-uplas geodésicas complexas distintas em H2c nos casos regular, especial e degenerado. Para tal fim faremos uso da matriz de Gram e dos invariantes (d-invariantes, δ-invariantes, invariante angular e invariantes parabólicos) que descrevem unicamente a classe de congruência de PU(2, 1) de m-uplas ordenadas de geodésicas complexas distintas nos diferentes casos supracitados. / This work aims to describe the Modules space of m-tuples distinct complex geodesics in H2c in the cases regular, special and degenerate. To this end we use the Gram matrix and the invariant (d-invariant, δ-invariants, angular invariant and parabolic invariants) that define uniquely the PU(2,1)-congruence class of ordered m-uplas of distinct complex geodesics in the different cases above.

Em 1991, Kishor Shah definiu e estudou os ideais coeficientes \'I IND. \' , para todo inteiro k = 0, . . . , d, associados a um ideal m-primário I de um anel Noetheriano local d-dimensional, (R,m). Esses ideais, \'I IND. \' , são os maiores ideais de R que contem o ideal I tais que os primeiros k + 1 coeficientes dos polinômios de Hilbert-Samuel de I e \'I IND. \' coincidem. O resultado principal do trabalho de Kishor Shah é provar teoremas de estrutura para estes ideais. Na sua Tese de Doutorado, Jung-Chen Liu generalizou alguns aspectos do trabalho de Kishor Shah para R-submódulos E de \'R POT. p\', definindo os submódulos coeficientes \'E IND. \' , para k = 0, . . . , d + p 1. Por´em Jung-Chen Liu não provou o teorema de estrutura para tais módulos coeficientes. Neste trabalho, estenderemos os trabalhos de Kishor Shah e de Jung-Chen Liu para R-submódulos E \'ESTÁ CONTIDO EM\' F de \'R POT. p\', onde \'ell IND. R\' (\'F SOBRE E\' ) < \'INFINITO\', definindo os módulos coeficientes \'E POT F IND. \', para todo inteiro k = 0, . . . , d + p 1 e provando o teorema de estrutura para tais módulos / In 1991, Kishor Shah defined and studied coeficient ideals \'I ind . \' , for integers k = 0, . . . , d, associated to an ideal m-primary I of a Noetherian local ring of dimension, (R,m). This ideals, \'I ind \'. , are the biggest ideals of R that contains the ideal I such that the first k+1 Hilbert-Samuel coefficients of I and \'I IND. \' are igual. The main result of Kishor Shahs work is to prove the struture theorem of such ideals. In his P.h.D thesis, Jung-Chen Liu generalized some aspects of Kishor Shahs work in the case of R-submodules E of \'R POT. p\', defining the coefficients submodules \'E IND. , \' for integers k = 0, . . . , d+p1. But Jung-Chen Liu didnt prove the struture theorem for such coefficients modules. In this work, we extended the works of Kishor Shah and of Jung-Chen Liu for R-submodules E \'ARE THIS CONTAINED\' F of \'R POT. p\', where \'ell IND. R (\'F ON E\' ) < \'THE INFINITE\' , defining the coefficients modules \'E POT. F IND. {k}\', for integers k = 0, . . . , d + p 1 and proving the struture theorem for such modules