Made available in DSpace on 2014-06-12T16:00:14Z (GMT). No. of bitstreams: 2 arquivo6095_1.pdf: 962733 bytes, checksum: cd84cd8cc40e4c53ea64a83ca746aa93 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Pesquisas sobre o funcionamento da fisiologia do corpo humano têm contribuído para a evolução dos Sistemas Imunológicos Artificiais. Este trabalho procura investigar uma arquitetura de reconhecimento a partir de observações do comportamento imunológico natural. Algumas funcionalidades foram observadas e estudadas no ambiente biológico para modelar esta abordagem imunológica. As principais são a organização e o agrupamento de anticorpos (Ab) semelhantes durante todo o processo. Acredita-se que estas funcionalidades poderiam melhorar a capacidade de reconhecimento dos algoritmos imunológicos artificiais. Esta tecnologia procura modelar características e funcionalidades do mecanismo de defesa dos seres vivos. Este mecanismo permite que o organismo possa defender-se da invasão de substâncias estranhas. O Sistema Imunológico Natural procura armazenar em uma memória genética os melhores anticorpos encontrados. Futuramente eles são usados para identificar os antígenos já apresentados ao organismo e obter uma resposta mais rápida e eficaz. Para analisar o desempenho deste novo modelo, ele foi comparado com outras técnicas conhecidas. Foram utilizados a MLP (Multi-Layer Perceptron), o k-NN (k-Nearest Neighbour) e o Clonalg (Clonal Selection Algorithm). Assim foi possível estimar a contribuição deste novo modelo na pesquisa de Sistemas Imunológicos Artificiais para o problema de reconhecimento de padrões

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-03-15T14:22:48Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Tese - Alberto Lopes_FINAL.pdf: 3638051 bytes, checksum: eaabca9285409b7fd175305c73677557 (MD5) / Made available in DSpace on 2016-03-15T14:22:48Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Tese - Alberto Lopes_FINAL.pdf: 3638051 bytes, checksum: eaabca9285409b7fd175305c73677557 (MD5) Previous issue date: 2015-02-26 / Dentre os problemas e desafios que permeiam o processo de digitalização de documentos e todos os passos subsequentes até a transposição da informação para o meio digital, dois pontos específicos são focados: o texto partido ou degradado e texto escrito em tamanha proximidade que geram sobreposições dos traços. Assim, métodos para solucionar tais problemas, foram pesquisados e desenvolvidos. Baseamos nossa abordagem na emulação de forças físicas de inércia e centrípeta pois entendemos que estas podem ser bem utilizadas para o processamento de imagens de caracteres manuscritos. Para o problema de dígitos partidos, foi desenvolvida uma solução para a restauração de dígitos isolados quebrados e de cadeias de dígitos quebrados através da emulação das forças centrípeta e de inércia. Esta solução tem como princípio gerar uma reconstrução da quebra de modo que se assemelhe à escrita do dígito em questão. Também é abordado a sobreposição de pares de dígitos, problema para o qual foi proposta uma solução de segmentação. Esta solução de segmentação se baseia no conceito de uma bola deformável que tem seus movimentos regidos pela emulação da força de inércia e pela deformação que lhe é permitida receber. Ainda, para desenvolvimento e experimentação dos métodos, foram formadas bases de imagens pertinentes a cada aplicação. Os resultados obtidos mostram desempenhos promissores. Ao aplicar a reconstrução, obtivemos um ganho de aproximadamente seis pontos percentuais em taxa de reconhecimento em relação ao reconhecimento dos dígitos partidos. Já a segmentação provou que supera outros dois métodos de segmentação quando aplicamos o reconhecimento aos dígitos segmentados. Também deve-se ressaltar a questão do custo computacional, especificamente a solução voltada para a segmentação de dígitos sobrepostos, onde seu custo se apresenta mais baixo em relação aos métodos similares pesquisados e testados. Assim, mostramos que os métodos propostos atingem seus objetivos, aliando bons desempenhos com custos computacionais baixos. / Among the problems and challenges that surround the process of document digitization and all subsequent steps until the conversion of the information to a digital medium, two specific steps are focused: broken text and text written in such proximity that cause overlapping of strokes. Methods to solve these problems were researched and developed. We base our approach on the emulation of physical forces of inertia and centripetal force, since it is our understanding that the emulation of such forces can be used for the processing of images of handwritten characters and digits. For the problem of broken digits, a solution for the restoration of isolated broken digits and chains of broken digits through the emulations of inertia and centripetal force was developed. This solution has as principle to generate a reconstruction of the break in such a way that it resembles closely the writing style of the digit in question. We also tackle overlapping pairs of digits, problem for which we propose a segmentation solution. This segmentation is based on the concept of a deformable ball that has its movements governed by the emulation of inertia and the degree of deformation the ball is allowed to have. For development and experimentation of the created methods, image databases pertinent to each application were formed. The obtained results show promising performance. When applying the reconstruction, we obtained a gain of approximately six percentage points in recognition rates when compared to rates obtained for broken digits. In regards to segmentation, it proved to outperform two other methods when recognition is applied to the output segmented digits. The computational cost of the methods should also be pointed out, specifically regarding the solution created for the segmentation of overlapped digits, which is lower when compared to other similar methods that were researched and tested. Therefore, we show that the proposed methods reach their goals, coupling performance with low computational costs.

Este trabalho tem como objetivo principal o estudo da expansão decimal dos números reais. Primeiramente provamos que todo número real possui ao menos uma expansão decimal. Na sequência, um método para encontrar a expansão decimal de um número entre 0 e 1 é apresentado, bem como um estudo sobre a expansão decimal de números racionais e irracionais. Em seguida, o estudo apresenta métodos que permitem encontrar aproximações racionais de números irracionais, além dos erros cometidos por essas aproximações. Na parte final, por seu turno, o foco do trabalho recai sobre a análise da regularidade (frequência) dos dígitos das expansões decimais. / This work has as main objective the study of the decimal expansion of the real numbers. First we prove that every real number has at least one decimal expansion. Further, a method to find the decimal expansion of real numbers between 0 and 1 is provided as well as a the study of the decimal expansion of rational and irrational numbers. Next, the study presents methods that provide rational approximations to irrational numbers, in addition to the errors committed by these approximations. At the end, by its turn, the focus of the work is put on the analysis of the regularity (frequency) of the digits of the decimal expansion.

Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro / Neste trabalho discutimos vários sistemas de dígitos verificadores utilizados no Brasil, muitos deles semelhantes a esquemas usados mundialmente, e fazemos uma análise da sua capacidade de detectar os diversos tipos de erros que são comuns na entrada de dados em sistemas computacionais. A análise nos mostra que os esquemas escolhidos constituem decisões subotimizadas e quase nunca obtêm a melhor taxa de detecção de erros possível. Os sistemas de dígitos verificadores são baseados em três teorias da álgebra: aritmética modular, teoria de grupos e quasigrupos. Para os sistemas baseados em aritmética modular, apresentamos várias melhorias que podem ser introduzidas. Desenvolvemos um novo esquema ótimo baseado em aritmética modular base 10 com três permutações para identificadores de tamanho maior do que sete. Descrevemos também o esquema Verhoeff, já antigo, mas pouquíssimo utilizado e que também é uma alternativa de melhoria para identificadores de tamanho até sete. Desenvolvemos ainda, esquemas ótimos para qualquer base modular prima que detectam todos os tipos de erros considerados. A dissertação faz uso ainda de elementos da estatística, no estudo das probabilidades de detecção de erros e de algoritmos, na obtenção de esquemas ótimos. / In this paper we present several check digit systems used in Brazil, many of them similar to schemes used worldwide, and we do an analysis of their ability to detect various types of errors that are common in data entry computer systems. This analysis shows that the schemes constitute suboptimal decisions and almost never get the best rate possible error detection. Check digit schemes are based on three algebra theory: modular arithmetic, group theory and quasigroup. For the schemes based on modular arithmetic we present several improvements that can be made. We developed a new optimal scheme based on modular arithmetic base 10 with three permutations for identifers larger than 7. We also present the Verhoeff scheme, already old but used very little and that is also a good alternative for improvement identifers for size up to 7. We have also developed,optimum schemes for any modular base prime that detect all types of errors considered. The dissertation also makes use of elements of statistics in the study of the probability of error detection and algorithms to obtain optimal schemes.

Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro / Neste trabalho discutimos vários sistemas de dígitos verificadores utilizados no Brasil, muitos deles semelhantes a esquemas usados mundialmente, e fazemos uma análise da sua capacidade de detectar os diversos tipos de erros que são comuns na entrada de dados em sistemas computacionais. A análise nos mostra que os esquemas escolhidos constituem decisões subotimizadas e quase nunca obtêm a melhor taxa de detecção de erros possível. Os sistemas de dígitos verificadores são baseados em três teorias da álgebra: aritmética modular, teoria de grupos e quasigrupos. Para os sistemas baseados em aritmética modular, apresentamos várias melhorias que podem ser introduzidas. Desenvolvemos um novo esquema ótimo baseado em aritmética modular base 10 com três permutações para identificadores de tamanho maior do que sete. Descrevemos também o esquema Verhoeff, já antigo, mas pouquíssimo utilizado e que também é uma alternativa de melhoria para identificadores de tamanho até sete. Desenvolvemos ainda, esquemas ótimos para qualquer base modular prima que detectam todos os tipos de erros considerados. A dissertação faz uso ainda de elementos da estatística, no estudo das probabilidades de detecção de erros e de algoritmos, na obtenção de esquemas ótimos. / In this paper we present several check digit systems used in Brazil, many of them similar to schemes used worldwide, and we do an analysis of their ability to detect various types of errors that are common in data entry computer systems. This analysis shows that the schemes constitute suboptimal decisions and almost never get the best rate possible error detection. Check digit schemes are based on three algebra theory: modular arithmetic, group theory and quasigroup. For the schemes based on modular arithmetic we present several improvements that can be made. We developed a new optimal scheme based on modular arithmetic base 10 with three permutations for identifers larger than 7. We also present the Verhoeff scheme, already old but used very little and that is also a good alternative for improvement identifers for size up to 7. We have also developed,optimum schemes for any modular base prime that detect all types of errors considered. The dissertation also makes use of elements of statistics in the study of the probability of error detection and algorithms to obtain optimal schemes.

Submitted by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-09T12:54:23Z No. of bitstreams: 2 DISSERTAÇÃO Felipe Maia.pdf: 2195135 bytes, checksum: 7952e678206c40b504a671fdf4bd3ed1 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-09T12:54:23Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Felipe Maia.pdf: 2195135 bytes, checksum: 7952e678206c40b504a671fdf4bd3ed1 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-08-28 / As sequências de números aleatórios advindas de situações reais são geralmente modeladas através de funções contínuas de densidade que associam valores de probabilidade a pontos na reta real correspondentes aos números das sequências. O agrupamento dos números aleatórios de acordo com o dígito mais significativo para algumas sequências do mundo real tem revelado um fenômeno já observado no século XIX: a chamada Lei de Benford. Esta lei afirma que as mantissas dos logaritmos desses números estão distribuídas segundo uma uniforme. Sequências tais como área da superfície de rios, população de cidades, razão de números da sequência de Fibonacci, lista de números que aparecem em documentos financeiros, valores em declarações de imposto de renda, tamanho das manchas solares, e muitas outras grandezas seguem esta lei. Esta propriedade presente em algumas grandezas tem sido útil na identificação de patologias nos dados. Neste trabalho, empregamos os métodos estatísticos mais utilizados na área para demonstrar que os qualicadores de pontos de interesse, como o detector de Harris, aplicados a imagens digitais comuns são grandezas que se conformam à Lei de Benford. O detector de Harris extrai um valor de cada pixel da imagem baseado em derivadas de segunda ordem das cores, e é utilizado para classificar os chamados pontos de interesse que, dentre as muitas aplicações, possibilita o rastreamento de objetos num vídeo e a calibração de uma câmera em Realidade Aumentada. Os experimentos com as sequências de coeficientes extraídas de um conhecido banco de imagens confirmam que os seletores de pontos de interesse se adequam à Lei de Benford: a conformidade do detector de Harris é tão significante, que concluímos que na literatura ela é a grandeza extraída de dados reais que melhor se adequa à Lei até o momento. No trabalho também discutimos o estado da arte e as limitações nas medidas de conformidade utilizadas na maioria dos ambientes aplicados.

Este trabalho tem como objetivo principal o estudo da expansão decimal dos números reais. Primeiramente provamos que todo número real possui ao menos uma expansão decimal. Na sequência, um método para encontrar a expansão decimal de um número entre 0 e 1 é apresentado, bem como um estudo sobre a expansão decimal de números racionais e irracionais. Em seguida, o estudo apresenta métodos que permitem encontrar aproximações racionais de números irracionais, além dos erros cometidos por essas aproximações. Na parte final, por seu turno, o foco do trabalho recai sobre a análise da regularidade (frequência) dos dígitos das expansões decimais. / This work has as main objective the study of the decimal expansion of the real numbers. First we prove that every real number has at least one decimal expansion. Further, a method to find the decimal expansion of real numbers between 0 and 1 is provided as well as a the study of the decimal expansion of rational and irrational numbers. Next, the study presents methods that provide rational approximations to irrational numbers, in addition to the errors committed by these approximations. At the end, by its turn, the focus of the work is put on the analysis of the regularity (frequency) of the digits of the decimal expansion.

En la presente tesis se ha llevado a cabo una investigación en el ámbito de la criptografía centrada en los criptosistemas basados en curvas elípticas. En concreto, se ha desarrollado un modelo de criptoprocesador de curvas elípticas en GF(2m) con el objetivo de abordar los requisitos, cada vez más en boga, de utilizar la menor cantidad de recursos posible y a la vez minimizar los tiempos de respuesta obtenidos. De forma más específica, uno de los objetivos se dirige a desarrollar un multiplicador capaz de trabajar de forma eficiente en cualquier campo GF(2m) independientemente de cuál sea el tamaño de palabra seleccionado para operar. Para llevar a cabo este objetivo se ha realizado un análisis de los antecedentes y de los trabajos relacionados con el ámbito de la problemática predefinida. Este análisis nos ha permitido centrar el problema y a partir de éste plantear una solución novedosa con respecto al resto de enfoques existentes en este campo de investigación. Se ha implementado un microprocesador de 8 bits de propósito general en hardware reconfigurable minimizando su repertorio de instrucciones. A partir de él se han obtenido los resultados que nos proporcionan su programación en el lenguaje ensamblador descrito y se propone como propuesta de mejora la inclusión de un elemento multiplicador que disminuya los tiempos de respuesta. Para ello se introducen los multiplicadores existentes en la actualidad; tanto de tipo paralelo como serie. Posteriormente, como propuesta de mejora real, se ha desarrollado un multiplicador hardware específico capaz de trabajar en GF(2m) y con reducción intercalada que puede ser utilizado en cualquier sistema sea cual sea su campo de trabajo e independientemente del tamaño de palabra que utilice. Este multiplicador se ha implementado con diferentes tamaños de palabra y en los campos finitos de característica 2 recomendados por el N.I.S.T. Como paso final para validar este multiplicador se ha implementado varios modelos de un criptoprocesador con un repertorio de instrucciones específico con diferentes tamaños de palabra y en diferentes campos y se han comparado con los existentes para comprobar la eficiencia de la propuesta.

Este trabalho, elaborado por meio de pesquisa bibliográfica, apresenta um apanhado sobre os dígitos verificadores presentes no Cadastro de Pessoas Físicas (CPF), no código de barras, e no sistema ISBN; faz uma introdução sobre a métrica de Hamming e os códigos corretores de erros; cita a classe de códigos mais utilizada, que são os códigos lineares, e deixa a sugestão de uma proposta pedagógica para professores de matemática aplicarem no Ensino Fundamental, podendo ser ajustada também para o Ensino Médio. No apêndice A, são propostos alguns exercícios que podem ser trabalhados com os alunos em sala de aula. / This work, based on the attached references, presents an overview of the check digits that appear in the Brazilian document CPF, in the bar code and the ISBN system. Moreover, it makes an introduction to the Hamming metric and error-correcting codes. In particular, some considerations about linear codes are done and it makes a suggestion of a pedagogical approach to apply it in middle school and can also be adjusted to high school. In the Appendix A are proposed some exercises to students.

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2017-10-13T13:11:07Z No. of bitstreams: 2 Tese - Antônio Dionísio Feitosa Noronha Filho - 2017.pdf: 2777014 bytes, checksum: 9324069d4bdcef5e18cd1f0e45577c3e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-10-13T13:11:46Z (GMT) No. of bitstreams: 2 Tese - Antônio Dionísio Feitosa Noronha Filho - 2017.pdf: 2777014 bytes, checksum: 9324069d4bdcef5e18cd1f0e45577c3e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-10-13T13:11:46Z (GMT). No. of bitstreams: 2 Tese - Antônio Dionísio Feitosa Noronha Filho - 2017.pdf: 2777014 bytes, checksum: 9324069d4bdcef5e18cd1f0e45577c3e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-03-10 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / Among diseases that can affect cattle in intensive production systems are rumen acidosis laminitis. It was produced initially a literature review about experimental induction of rumen acidosis and after this, was evaluated rumen acidosis and initial phase of laminitis in calves, both induced by intrarruminal administration of oligofructose. In the different protocols, in both acute and subacute forms of acidosis, are usually evaluated fermentative and clinical aspects. In the study was used six crossbred male calves (Bos taurus X Bos indicus) aging one year and weighting 175 ± 22,6 kg. Initially were used three animals in a pilot group (GP), receiving oligofructose in the dose of 13g/kg and after this, three animals were used as experimental group (GE) receiving oligofructose in the dose of 17 g/kg. Were evaluated parameters from clinical exam, hematocrite, plasmatic protein, blood gas analysis and histology of hoof samples. Oligofructose overload induced rumen acidosis in both groups. It was also observed metabolic acidosis with reduction of blood pH, PCO2, bicarbonate and base excess. Was observed neither elevation in hoof sensibility nor lameness. Despite this, many animals presented apathy and slower gait, possibly due to metabolic acidosis. In histologic evaluation, were observed circulatory changes and inflammatory infiltrate in dermis, irregularities in basement membrane and morphologic changes in basal epidermis. Protocol for laminitis induction with intrarruminal administration of oligofructose in crossbred calves was well succeeded. In the initial phase, laminitis was characterized by clinical signs of the primary disease, in this case rumen acidosis, and histologic lesions indicative of acute inflammation and compromise of basement membrane and basal epidermis. / Entre as doenças que acometem bovinos em sistemas de alta produtividade estão a acidose ruminal e a laminite. Objetivou-se inicialmente realizar revisão de literatura sobre indução experimental de acidose ruminal em bovinos e, posteriormente, avaliar o quadro de acidose ruminal e da fase inicial de laminite induzidas pela administração de oligofrutose em bezerros. Nos diferentes protocolos de indução podem ser avaliados aspectos fermentativos e clínicos da acidose ruminal, nas formas aguda e subaguda. Para o estudo, utilizaram-se seis bezerros mestiços (Bos taurus X Bos indicus) de um ano de idade. Inicialmente usaram-se três animais em um grupo piloto (GP) recebendo oligofrutose na dose de 13 g/kg e em seguida um grupo experimental (GE) recebendo na dose de 17 g/kg. Avaliaram-se alterações clínicas, laboratoriais e histológicas do casco. A sobrecarga de oligofrutose provocou acidose ruminal caracterizada por baixo pH em ambos os grupos. Observou-se também acidose metabólica com redução de pH, PCO2, bicarbonato e excesso de base. Não se observou aumento da sensibilidade dos cascos ou claudicação. Apesar disso, muitos animais apresentaram apatia e marcha mais lenta, possivelmente devido a acidose metabólica. Histologicamente observaram-se alterações circulatórias e infiltrado inflamatório na derme, irregularidades de membrana basal e alterações morfológicas na camada basal da epiderme. O protocolo de indução de laminite com administração intrarruminal de oligofrutose se mostrou eficaz em bezerros mestiços de um ano. Na fase inicial a laminite se caracterizou por sinais clínicos da enfermidade primária, no caso acidose ruminal, e por alterações histológicas indicativas de inflamação aguda e comprometimento de membrana basal e epiderme.