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 Nathália Faria da Silva (nathaliafsilva.ufv@gmail.com) on 2017-06-29T18:56:18Z No. of bitstreams: 1 texto completo.pdf: 1049885 bytes, checksum: 18fed32478bf1cb0ce123fc57a1c4dea (MD5) / Made available in DSpace on 2017-06-29T18:56:18Z (GMT). No. of bitstreams: 1 texto completo.pdf: 1049885 bytes, checksum: 18fed32478bf1cb0ce123fc57a1c4dea (MD5) Previous issue date: 2000-12-05 / O presente estudo, realizado no município de Matias Barbosa-MG, na Fazenda Paciência, teve como objetivos testar a eficiência e a viabilidade do uso de indicadores e veri- ficadores florístico e fitossociológicos, propostos em sua grande maioria por organizações como ITTO, FSC e CIFOR, na avaliação de planos de manejo florestal, avaliar, por meio de indicadores e verificadores, o plano de manejo florestal executado para a Fazenda Paciência. Para isso, foi utilizado um trecho contínuo de floresta estacional semidecidual, a qual teve uma parte explorada há 6 anos e outra que permaneceu intacta. Foram lançadas parcelas para estudo da vegetação arbórea e da regeneração quanto à sua composição florística e fitossocio- lógica, além das diversas formas de vida. Os dados foram analisados com ênfase em critérios e indicadores, de forma comparativa, onde a situação observada para a floresta não explorada, foi considerada a desejável, sendo feitas análises estatísticas para avaliar a significância entre as diferenças observadas entre as florestas. De acordo com os resultados, os indicadores e verificadores, mostraram-se na maioria, eficientes na avaliação de planos de manejo florestal, uma vez que permitiram inferir quanto às alterações ocorridas e o estado de conservação da floresta, sendo em sua maioria, sensíveis o bastante para indicar o nível de intervenção ocor- rido na floresta explorada e inferir quanto às práticas de manejo adotadas. Outros por sua vez, mostraram-se importantes ferramentas apenas no que se refere a gestão dos recursos flores- tais. A execução do plano de manejo adotado na Fazenda Paciência, tem levado a alterações significativas na composição florística e estrutural, além de um depauperamento do valor comercial do estoque remanescente da floresta explorada, em função do alto nível de inter- venção adotado e da ausência de planejamentos das atividades de exploração e não aplicação de tratamentos silviculturais, podendo levar a um esgotamento dos recursos naturais. / The objectives of the present work, wich has carried out in the municipality of Matias Barbosa, Minas Gerais state, Brazil, were to test the efficiency and viability of the use of floristic and phytosociologic indicators and verifiers, proposed mainly by organizations such as ITTO, FSC and CIFOR, in the evaluation of Forest Management Plants, and to perform the of the Forest Management Plan carried out on the Fazenda Paciência. For this purpose, a continuous stretch of a semideciduous sessonal forest was used, in which a part was exploited six years ago a part remained untouched. Plots for the study of the arboreous vegetation and regeneration concerning their floristic and phytosociologic composition, besides the various life forms occurring in the area, were established. Data were analysed with enphasis on Criteria and Indicators, in a comparative form. The condition observed for the non exploited forest was considered the desirable one and statistic analysis were made to evaluate the significance among the differences observed between the forests. According to the results, the indicators and verifiers showed to be, in their majority, efficient in the evaluation of Forest Management Plans, since the allowed to infer as to any changes and as to the forest conservation state. Most of them were sensitive enough to indicate the level of disturbance which occurred in the exploited forest, and to infer on the management practices to be adopted. On the other hand, other indicators and verifiers showed to be important tools only for the management of forest resources. The use of the management plan adopted by the Fazenda Paciência, has been causing significant changes in the floristic and structural composition, and also a decay of the commercial value of the remaining stock of the exploited forest, because of the hight level of intervention used and the absence of a plan of harvest activities and of silvicultural treatment, which ean lead to na exhaustion of the natural resources.

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.

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.

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.