We define hypersato structures: these structures admit three inequivalent Sasakian structures such that each of these structures shares a common Reeb vector field and a common contact form with the others two. It is interestingto notice that hypersato manifolds can be viewed as U(1) principal orbibundles with base space a 4n-dimensional hyperkahler orbifold. We also discuss some results on the moduli problem of these structures. / Definimos variedades hipersato: estas variedades admiten tres estructuras del tipo Sasaki inequivalentes de tal manera que estas tres estructuras poseen un campo vectorial del tipo Reeb y una forma de contacto en común. Variedades que admiten estructura hipersato pueden considerarse como espacios totales de un fibrado principal U(1) del tipo orbifold, donde el espacio base admite una métrica singular hiperkahler. Discutimos tambien algunos resultados acerca del espacio moduli de variedades admitiendo estas estructuras.

A fragmentação da floresta nativa, em regiões de Mata Atlântica, foi impulsionada pela expansão de áreas urbanas e agrícolas, gerando uma demanda por restauração de áreas degradadas, afim de promover o aumento da cobertura florestal e a conexão de remanescentes florestais. Essas ações de restauração devem considerar a influência dos atributos da paisagem no processo de restauração ecológica e a definição de áreas prioritárias. Neste contexto, o objetivo do trabalho foi desenvolver um índice de priorização de fragmentos florestais, composto por métricas de Ecologia da Paisagem, visando à restauração ecológica da paisagem. A metodologia do Índice Restauração Ecológica de Paisagem (IREP), iniciou-se com a elaboração do mapa de uso e cobertura do solo da sub-bacia do rio Passa-Cinco, a partir do qual se obteve seu mapeamento dos seus remanescentes de floresta nativa que, por sua vez, foi a base para o cálculo de suas métricas de Ecologia da Paisagem e do IREP. As métricas selecionadas foram a área do fragmento (AREA), a dimensão fractal do fragmento (PFD) e a distância média entre os fragmentos (DIST), as quais não apresentaram correlação entre si. Elas foram valoradas por meio da Técnica Participatória e do Processo Hierárquico Analítico, obtendo para a métrica DIST importância de 60%, para AREA de 30% e PFD de 10%. Em seguida calculou-se o IREP para os remanescentes florestais da sub-bacia, os quais foram reclassificados em sete classes de prioridade. Os resultados indicaram o predomínio de fragmentos florestais com área menor que 5 ha, que se encontram dispersos na paisagem e, inseridos em uma matriz agrícola em que se tem o predomínio de pastagem. Assim, 25,44% da área ocupada pelos fragmentos florestais foram associadas a prioridade alta, segundo o IREP. Conclui-se que o IREP propiciou avaliar a importância dos fragmentos florestais para a restauração ecológica da paisagem, destacando, dentre as métricas utilizadas, a distância entre fragmentos. / The native forest fragmentation, in the Atlantic Forest regions, was driven by the urban and agricultural expansion, generating a demand for restoration of degraded areas, to promote the increase of forest cover and the connection of forest remnants. These restoration actions should consider the landscape attributes influence on the ecological restoration process and, the definition of priority areas. In this context, the objective of the work was to develop an index for forest fragment prioritization, composed by Landscape Ecology metrics, aiming at the ecological restoration of the landscape. Considering the land-use/land-cover mapping of the Passa-Cinco sub-basin, we obtained the native forest remnants maps, that supported the generation of Landscape Ecology metrics and, consequently, the Ecological Landscape Restoration Index (ELRI). Three metrics, no correlated between then, were select for ELRI, considering their importance for the study, that was defined through the Participatory Technique and Analytic Hierarchy Process. The selected metrics were the mean distance between patches (DIST), patch area (AREA), the fractal dimension of the patch (PFD) and, their respective importance was 60%, 30% and, 10%. This way, ELRI was calculated for forest patches, defining their priority for ecological restoration. According to the results, the forest fragments smaller than 5 ha were the majority in the Passa-Cinco and, they are scattered in the agriculture matrix, where the pasture is the main land-use. Consequently, 25.44% of the forest patches were associated with the high priority level, through the index. We conclude that ELRI allows the evaluation of forest fragments for the ecological restoration of the landscape, highlighting the importance of distance among fragments.

É rara a preocupação com a qualidade de implementação de software. Pode-se observar que as estruturas internas dos softwares são freqüentemente complexas e desorganizadas, especialmente no caso dos softwares que são ditos orientados a objetos. Essa complexidade afeta diretamente a manutenibilidade e a susceptibilidade a erros, dificultando a alteração e a adição de novas funcionalidades aos softwares. As próprias alterações, inerentes aos softwares, os tornam mais complexos, o que agrava o problema. Neste contexto, acredita-se que o controle da complexidade pode levar a produtos de software de melhor qualidade. Assim, trata-se neste trabalho da manutenção preventiva, implementada por meio de inspeções, refatorações e análise de métricas. São estudadas falhas de manutenibilidade em uma amostra de programas orientados a objetos e, a partir dos resultados, são propostos artefatos de apoio para um processo de inspeção de software e modelos para os produtos de trabalho gerados nesse processo. Propõe-se o uso da técnica de leitura PBR (Leitura Baseada em Perspectivas) como uma maneira de se melhorar a detecção de falhas de manutenibilidade. Finalmente, a proposta deste trabalho foi validada por meio de um estudo de caso / The commitment with the quality of software implemetation is rare. It\'s possible to observe that the software internal structures are frequently complex and disorganized, especially when talking about software that is said to be object-oriented. This complexity directly affects maintainability and error proneness, making it difficult to change and to add new functionalities to software. Changes themselves, that are inherent in software, make it more complex, and that makes the problem more serious. In this context, it\'s believed that the control of complexity can lead to better quality software products. Thus, the subject of this work is the preventive maintenance, implemented by means of inspections, refactoring and metric analysis. Maintenance flaws were studied in a sample of object-oriented programs and, based on the results, support artifacts for an inspection process were proposed, along with models of work products for this process. The use of PBR (Perspective-Based Reading) technique is proposed as a means of improving the detection of maintenance flaws. Finally, the proposal of this work is validated through a case study

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

Made available in DSpace on 2014-06-12T16:00:36Z (GMT). No. of bitstreams: 2 arquivo6801_1.pdf: 1400447 bytes, checksum: 82d5aa21900e4c2f42e7f550a790713e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Universidade Federal de Pernambuco / A Predição de Relacionamentos (Link Prediction) é uma importante atividade no campo da Análise em Redes Sociais. Esta atividade se refere em predizer o surgimento de relacionamentos futuros entre os nós em uma rede social. Uma das estratégias para realizar as predições se dá por meio da aprendizagem supervisionada. Neste caso, a predição é tratada como um problema de classificação binária. Os atributos preditores são as métricas computadas para indicar a proximidade ou similaridade de um par de nós. As classes positiva e negativa representam, respectivamente, a presença e ausência de um relacionamento entre esse par no futuro. Apesar de ser uma abordagem bem consolidada na literatura, a maioria das pesquisas que emprega a aprendizagem supervisionada utiliza apenas redes sem pesos. Atribuir pesos para os relacionamentos da rede é uma maneira de expressar a força dos relacionamentos entre os nós, o que pode potencialmente fornecer informações úteis para a predição. Estudos têm demonstrado que a utilidade de empregar pesos nos relacionamentos com abordagens não supervisionadas ainda é controversa, enquanto este ponto é pouco explorado na abordagem supervisionada. Neste contexto, o objetivo principal deste trabalho foi investigar se adotar pesos nos relacionamentos entre os nós contribui para a otimização do desempenho da predição supervisionada. A avaliação se deu pela comparação de diferentes algoritmos de classificação em redes com e sem pesos. De modo geral, os resultados com a predição supervisionada em duas redes de coautorias revelaram que uma pequena, mas relevante melhoria de desempenho foi obtida quando os pesos foram considerados

Submitted by Irene Nascimento (irene.kessia@ufpe.br) on 2017-03-08T19:19:52Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação_FelipeOliveiraBarbalho.pdf: 1338681 bytes, checksum: 59450531ef14c232cbd53efcacba8b7e (MD5) / Made available in DSpace on 2017-03-08T19:19:52Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação_FelipeOliveiraBarbalho.pdf: 1338681 bytes, checksum: 59450531ef14c232cbd53efcacba8b7e (MD5) Previous issue date: 2014-04-28 / Há uma tendência das organizações que atuam no desenvolvimento e manutenção de software em utilizarem Pontos de Função como medida padrão em seus processos de medição. Atualmente a análise de pontos de função é a técnica mais utilizada entre as organizações brasileiras. Por outro lado, o COSMIC é uma técnica de medição considerada como a segunda geração em método de medição funcional de projetos de desenvolvimento e manutenção de software, sendo precisa e abrangente para medir software e estimar esforço de desenvolvimento, despertando o interesse do mercado de desenvolvimento de software por essa métrica. Quando considerada a migração das bases históricas de medição de software das organizações para uma nova unidade de medida, há como consequência um alto custo para se medir os projetos legados. Nesse sentido, o objetivo desse trabalho é propor uma alternativa para migração de bases históricas de Pontos de Função para o COSMIC. A abordagem propõe uma fórmula de conversão, o qual foi encontrada a partir da medição de quatro projetos de desenvolvimento de software analisados nessas duas técnicas, para atualizar seus dados sem o custo de refazer toda sua base histórica. / There is a tendency in software development and maintenance organizations in using Function Points as a standard measure in their measurement processes. Currently the analysis of function points is the most used technique among Brazilian organizations. On the other hand, COSMIC is a measurement technique considered as the secondgeneration method of functional measurement for software development and maintenance projects, with an accurate and comprehensive approach to measure and estimate software development effort, arousing interest of software development market for this metric. When organizations are considering the migration of their historical measure basis for a new measurement unit, there is a consequent high cost to measure the legacy projects. In this sense, the purpose of this work is to propose an alternative to migrate historical bases of Function Points to COSMIC. The approach proposes a conversion factor, which was found from the measurement of four software development projects analyzed in these two techniques to update its data without the cost of redoing the entire historical basis.

Orientador: Marcelo Muniz Silva Alves / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-12T16:23:24Z (GMT). No. of bitstreams: 1 Ritter_Donizete_M.pdf: 621556 bytes, checksum: 2bf0368b784f3a2be59ca3c2552f4908 (MD5) Previous issue date: 2009 / Resumo: Neste trabalho abordamos a teoria dos Códigos Corretores de Erros clássica e também os códigos sobre ordens parciais, com algumas comparações entre os dois casos. Enfocamos, particularmente, a definição de Alfabeto, a distância de Hamming, os códigos lineares e a definição de matriz geradora de um código; o estudo dos limitantes de Singleton e de Hamming, além de tratar dos Códigos de Hamming. Em relação aos Códigos em Conjuntos Parcialmente Ordenados, apresentamos a definição de ordens parciais, métricas sobre conjuntos ordenados, contagem dos elementos da "bola", resultados sobre Ideais e o Código de Hamming Estendido; estudamos o caso da ordem cadeia ("chain poset"), analisando os códigos de uma cadeia e os códigos de duas cadeias de mesmo comprimento e, por fim, nos dedicamos ao estudo das "Métricas POSET", que admitem códigos binários perfeitos de codi-mensão m, caracterizando assim os Códigos Posets m-corretores de erros. Nosso objetivo é apresentar um texto, acessível a alunos de graduação, que contemple a teoria básica dos Códigos Corretores de Erros, no entanto, forneça uma noção sobre os códigos sobre ordens parciais. / Abstract: In this work, we address the classical theory of error-correcting codes and the theory of codes over poset spaces, also known as poset codes, establishing comparisons between these two cases. In particular, we present the definition of alphabet, the Hamming distance, linear codes and the definition of a generating matrix for a linear code; we also present the Singleton and Hamming bounds, alongside with the Hamming codes. With respect to poset codes, we present the definitions of partial orders and of the poset metric, the counting of the number of elements in a ball in a poset space, some results on ideals in posets and the extended Hamming code; we study the chain poset case, analysing the cases of codes over a chain poset and codes over a union of two chains of the same length and, finally, we study the poset metrics that allow m-perfect binary codes of codimension m, thus characterizing these codes. Our aim is to present a text, accessible for undergraduates, that encompasses the basic theory of error-correcting codes and, nonetheless, also provides some notions on poset codes. / Mestrado / Teoria dos Erros / Mestre em Matemática

Orientador: Marcelo Firer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-13T06:58:11Z (GMT). No. of bitstreams: 1 Spreafico_MarcosViniciusPereira_M.pdf: 558857 bytes, checksum: a9d033bd1132fd1bc42fcb1aa2296ef5 (MD5) Previous issue date: 2009 / Resumo: Neste trabalho fazemos uma apresentação dos espaços poset, introduzidos por Brualdi (1995), apresentamos os conceitos necessarios da teoria de conjuntos parcialmente ordenados e da teoria de codigos. Trabalhamos com uma questão de caráter amplo e estrutural deste contexto, o problema da determinação da ordem atraves da distribuição de pesos. A distribuição de pesos é essencialmente o conjunto das cardinalidades das esferas métricas e a pergunta que se coloca é em que medida este invariante determina a métrica em questão. Demonstramos que para as classes de codigos, cadeia, anticadeia, coroa e hierárquico, classes importantes no contexto da teoria de codigos, o problema possui uma resposta positiva e justificamos algumas conjecturas que relacionam este problema ao da reconstrução de grafos. / Abstract: In this work, we introduce the concept of poset codes (Brualdi - 1995) and in this context we study the weight distribution problem, presenting the necessary concepts of the partially ordered set and error correcting codes theory. The weight distribution is the cardinality of metric-spheres in finite dimensional vector space over a finite field endowed with a poset metric. The weight distribution problem asks for conditions to ensure that the weight distribution determines the metric. In this work we show that the weight distribution of some families of posets, namely the classes of anti-chain, chain, crown and hierarchical posets, determines the metric. We also show that the weight distribution determines some known invariants of posets. Finally, we present some conjectures relating the weight distribution problem and the reconstruction problem of graphs. / Mestrado / Mestre em Matemática

Made available in DSpace on 2015-04-22T22:00:53Z (GMT). No. of bitstreams: 1 Dissertacao_Almir Kimura.pdf: 2106464 bytes, checksum: 9a89064d469c89f8d361f410b4461b20 (MD5) Previous issue date: 2010-10-06 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Tuberculosis is considered a world-wide political issue. It has been known that a third of the world population is infected with the Mycobacterium Tuberculosis bacillus and consequently can develop the disease. The finding of the disease is carried by bacilloscopy, which consists of the counting of bacilli in 100 different fields of a slide with sputum sample smear. This type of work demands a lot of training and has a high false negative rate. In order to increase the performance of the bacilloscopy, the development of an automated system to perform the counting of the bacilli is necessary. Our work is based on the study of initial stage of the automated process, emphasizing the autofocus (AF). We investigated nine autofocus functions (Brenner gradient, energy Laplace, wavelet transformation, variance, normalized variance, autocorrelation, standard-deviation-based correlation, variance of log histogram and entropy), widely used in literature, in order to define the best function for images of bacilloscopy of conventional microscopy stained with Kinyoun method. In order to identify the focus functions that had the best performance the focus curve was evaluated by five criteria (accuracy, range, number of false maxima, width and execution time) with two types of analysis (semiquantitative and quantitative). This methodology was performed on images with high and low density of contents, as well as on images with a lot and few amount of bacillus. The total images for the experiment was 1800. Through this study, it was determined that the best function for this type of image is based on Variance. In order to deepen the results, we performed the same study for Kinyoun images without the final step of staining, because it results in a background image more uniform, which can be used for future applications for the automation of counting of bacilli. For these types of images, the function that showed the best performance was based on Entropy. / A tuberculose é considera um problema público mundial. Estima-se que um terço da população mundial está infectado com o bacilo Mycobacterium Tuberculosis, podendo assim desenvolver a doença. A detecção da doença pode ser realizada pela baciloscopia, que consiste na contagem de bacilos em 100 campos distintos de uma lâmina contendo amostra de secreção pulmonar do paciente. A realização dessa tarefa exige muito treinamento e atenção do executor e, via de regra, apresenta taxa de falsos negativos alta. Para aumentar o desempenho da baciloscopia busca-se desenvolver um sistema automático de contagem de bacilos. O trabalho proposto fundamenta-se no estudo da etapa inicial do processo de automação, qual seja, o foco das imagens de campos das lâminas. Com o intuito de identificar qual métrica é mais adequada para avaliação do foco das imagens de baciloscopia de tuberculose em microscopia convencional, coradas pelo método de Kinyoun, foram investigadas nove métricas de autofoco (gradiente de Brenner, energia do Laplaciano da imagem, transformada de wavelet, variância do nível de cinza, variância normalizada pela média de intensidade, autocorrelação, correlação baseada em desvio padrão, variância do logaritmo do histograma e entropia), amplamente utilizadas na literatura. Para a definição da melhor métrica, curvas de foco foram obtidas e avaliadas utilizando cinco critérios (acurácia, faixa, picos falsos, largura e tempo) e duas análises (semiquantitativa e quantitativa). Essa metodologia foi aplicada a um conjunto representativo de 1800 imagens (- com alta densidade de conteúdo, com baixa densidade de conteúdo assim como em imagens com alta quantidade de bacilos e com baixa quantidade de bacilos). Esse estudo evidenciou que a métrica de melhor desempenho foi a variância do nível de cinza da imagem. A definição da casuística permitiu ainda a avaliação das métricas em imagens provenientes de lâminas preparadas sem o uso do contra corante azul de metileno. Para esse tipo de imagem a métrica que apresentou o melhor desempenho foi a baseada em Entropia.

No presente trabalho consideramos o produto de uma variedade Riemanniana compacta sem bordo de curvatura escalar zero e uma variedade Riemanniana compacta com bordo, curvatura escalar zero e curvatura media constante no bordo, e fazemos uso da teoria de bifurcação para provar a existência de um numero infinito de classes conforme com, pelo menos, duas métricas Riemannianas não homotéticas de curvatura escalar zero e curvatura média constante no bordo, sobre a variedade produto. / In this work, we consider the product of a compact Riemannian manifold without boundary, null scalar curvature and a compact Riemannian manifold with boundary, null scalar curvature and constant mean curvature on the boundary and we use the bifurcation theory to prove the existence of a infinite number of conformal classes with at least two non homothetic Riemannian metrics of null scalar curvature and constant mean curvature of the boundary on the product manifold.