Solução exata de sistemas de equações lineares determinados utilizado a aritmética residual.

Detalhes bibliográficos
Ano de defesa: 1998
Autor(a) principal: BANDEIRA, Salete Maria Chalub. lattes
Orientador(a): HATTORI, Mário Tayotaro Hattori., QUEIROZ, Bruno Correia da Nóbrega.
Banca de defesa: CARVALHO, João Marques de. lattes, PEQUENO, Mauro Cavalcante. lattes
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Campina Grande
Programa de Pós-Graduação: PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
Departamento: Centro de Engenharia Elétrica e Informática - CEEI
País: Brasil
Palavras-chave em Português:
Área do conhecimento CNPq:
Link de acesso: https://dspace.sti.ufcg.edu.br/handle/riufcg/2491
Resumo: O presente estudo, 'Solução Exata de Sistemas de Equações Lineares Determinados utilizando a Aritmética Residual", consiste na aplicação da Aritmética Residual na Solução de Sistemas de Equações Lineares, cujos dados são números exatos (inteiros) e sabendo-se que existe uma solução exata (inteira), deseja-se encontrá-la. Para isto, estudamos implementações existentes e implementamos experimentalmente algumas variantes dos algoritmos encontrados nas referências. Fez-se um estudo comparativo entre os métodos diretos convencionais, tais como: Eliminação de Gauss e Gauss -Jordan e os algoritmos publicados pela ACM (Association for Computing Machinery), constituídos em dois estudo de casos: 1. Algoritmo 406 - EXACT [HOWELL, 1971] - Solução Exata de Equações Lineares Usando Aritmética Residual; 2. Algoritmo 522 - ESOLVE [CABAY e LAM, 1977] - Técnicas de Congruência para uma Solução Exata de Sistemas de Equações Lineares Inteiros. Finalizando, são apresentados os resultados obtidos.
id UFCG_0e53a29708ce7b10502ae5bf69645b7a
oai_identifier_str oai:dspace.sti.ufcg.edu.br:riufcg/2491
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str
spelling HATTORI, Mário Tayotaro Hattori.QUEIROZ, Bruno Correia da Nóbrega.CARVALHO, João Marques de.http://lattes.cnpq.br/1398733763837178PEQUENO, Mauro Cavalcante.http://lattes.cnpq.br/0649693969807037http://lattes.cnpq.br/8237618630696616BANDEIRA, Salete Maria Chalub.O presente estudo, 'Solução Exata de Sistemas de Equações Lineares Determinados utilizando a Aritmética Residual", consiste na aplicação da Aritmética Residual na Solução de Sistemas de Equações Lineares, cujos dados são números exatos (inteiros) e sabendo-se que existe uma solução exata (inteira), deseja-se encontrá-la. Para isto, estudamos implementações existentes e implementamos experimentalmente algumas variantes dos algoritmos encontrados nas referências. Fez-se um estudo comparativo entre os métodos diretos convencionais, tais como: Eliminação de Gauss e Gauss -Jordan e os algoritmos publicados pela ACM (Association for Computing Machinery), constituídos em dois estudo de casos: 1. Algoritmo 406 - EXACT [HOWELL, 1971] - Solução Exata de Equações Lineares Usando Aritmética Residual; 2. Algoritmo 522 - ESOLVE [CABAY e LAM, 1977] - Técnicas de Congruência para uma Solução Exata de Sistemas de Equações Lineares Inteiros. Finalizando, são apresentados os resultados obtidos.The present study, "Exact Solution of Systems Determined Linear Equations Using Residual Arithmetic ", consists of the application of residual arithmetic to the solution of systems of linear equations, whose data correspond to exact number (integers). Knowing that an exact solution exists, it was desirable to find it. In order to do this, various existent implementations were studied and some variants of the algorithms found in references were experimentally implemented. A comparative study was carried out using direct conventional methods likes: Elimination of Gauss and Gauss-Jordan and the algorithms published by ACM (Association for Computing Machinery), was carried out, constituted of two case studies: 1. Algorithm 406, EXACT [HOWELL, 1971]: Exact Solution of Linear Equations Using Residual Arithmetic; 2. Algorithm 522, ESOLVE [CABAY and LAM, 1977]: Congruence Techniques for the Exact Solution of Integer Systems of Linear Equations. Finally, the results obtained are presented. ixSubmitted by Élida Maeli Fernandes Quirino (maely_sax@hotmail.com) on 2019-01-10T10:04:14Z No. of bitstreams: 1 SALETE MARIA CHALUB BANDEIRA - DISSERTAÇÃO PPGCC 1998..pdf: 14587450 bytes, checksum: 023fbe40957cccc9ae3a7d6516ba2e7e (MD5)Made available in DSpace on 2019-01-10T10:04:14Z (GMT). No. of bitstreams: 1 SALETE MARIA CHALUB BANDEIRA - DISSERTAÇÃO PPGCC 1998..pdf: 14587450 bytes, checksum: 023fbe40957cccc9ae3a7d6516ba2e7e (MD5) Previous issue date: 1998-09-29Universidade Federal de Campina GrandePÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEICiência da Computação.Sistemas de equações linearesAritmética residualEliminação de Gauss e Gauss -JordanSolução exata de equações linearesMatemática computacionalComputational MathematicsResidual arithmeticExact solution of linear equationsSystems of linear equationsSolução exata de sistemas de equações lineares determinados utilizado a aritmética residual.Exact solution of systems of linear equations determined using residual arithmetic.1998-09-292019-01-10T10:04:14Z2019-01-102019-01-10T10:04:14Zhttps://dspace.sti.ufcg.edu.br/handle/riufcg/2491BANDEIRA, Salete Maria Chalub. Solução exata de sistemas de equações lineares determinados utilizado a aritmética residual. 118 f. 1998. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 1998. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/2491info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGTEXTSALETE MARIA CHALUB BANDEIRA - DISSERTAÇÃO PPGCC 1998.pdf.txtSALETE MARIA CHALUB BANDEIRA - DISSERTAÇÃO PPGCC 1998.pdf.txttext/plain129280https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2491/4/SALETE+MARIA+CHALUB+BANDEIRA+-+DISSERTA%C3%87%C3%83O+PPGCC+1998.pdf.txt764ec1fb647cc5b0e96794715af5e6f4MD54ORIGINALSALETE MARIA CHALUB BANDEIRA - DISSERTAÇÃO PPGCC 1998.pdfSALETE MARIA CHALUB BANDEIRA - DISSERTAÇÃO PPGCC 1998.pdfapplication/pdf16633055https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2491/3/SALETE+MARIA+CHALUB+BANDEIRA+-+DISSERTA%C3%87%C3%83O+PPGCC+1998.pdf799cdb85f53a972fa7b830cfc06a051cMD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2491/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/24912025-07-24 03:37:57.485oai:dspace.sti.ufcg.edu.br:riufcg/2491Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512025-07-24T06:37:57Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.pt_BR.fl_str_mv Solução exata de sistemas de equações lineares determinados utilizado a aritmética residual.
dc.title.alternative.pt_BR.fl_str_mv Exact solution of systems of linear equations determined using residual arithmetic.
title Solução exata de sistemas de equações lineares determinados utilizado a aritmética residual.
spellingShingle Solução exata de sistemas de equações lineares determinados utilizado a aritmética residual.
BANDEIRA, Salete Maria Chalub.
Ciência da Computação.
Sistemas de equações lineares
Aritmética residual
Eliminação de Gauss e Gauss -Jordan
Solução exata de equações lineares
Matemática computacional
Computational Mathematics
Residual arithmetic
Exact solution of linear equations
Systems of linear equations
title_short Solução exata de sistemas de equações lineares determinados utilizado a aritmética residual.
title_full Solução exata de sistemas de equações lineares determinados utilizado a aritmética residual.
title_fullStr Solução exata de sistemas de equações lineares determinados utilizado a aritmética residual.
title_full_unstemmed Solução exata de sistemas de equações lineares determinados utilizado a aritmética residual.
title_sort Solução exata de sistemas de equações lineares determinados utilizado a aritmética residual.
author BANDEIRA, Salete Maria Chalub.
author_facet BANDEIRA, Salete Maria Chalub.
author_role author
dc.contributor.advisor1.fl_str_mv HATTORI, Mário Tayotaro Hattori.
dc.contributor.advisor2.fl_str_mv QUEIROZ, Bruno Correia da Nóbrega.
dc.contributor.referee1.fl_str_mv CARVALHO, João Marques de.
dc.contributor.referee1Lattes.fl_str_mv http://lattes.cnpq.br/1398733763837178
dc.contributor.referee2.fl_str_mv PEQUENO, Mauro Cavalcante.
dc.contributor.referee2Lattes.fl_str_mv http://lattes.cnpq.br/0649693969807037
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/8237618630696616
dc.contributor.author.fl_str_mv BANDEIRA, Salete Maria Chalub.
contributor_str_mv HATTORI, Mário Tayotaro Hattori.
QUEIROZ, Bruno Correia da Nóbrega.
CARVALHO, João Marques de.
PEQUENO, Mauro Cavalcante.
dc.subject.cnpq.fl_str_mv Ciência da Computação.
topic Ciência da Computação.
Sistemas de equações lineares
Aritmética residual
Eliminação de Gauss e Gauss -Jordan
Solução exata de equações lineares
Matemática computacional
Computational Mathematics
Residual arithmetic
Exact solution of linear equations
Systems of linear equations
dc.subject.por.fl_str_mv Sistemas de equações lineares
Aritmética residual
Eliminação de Gauss e Gauss -Jordan
Solução exata de equações lineares
Matemática computacional
Computational Mathematics
Residual arithmetic
Exact solution of linear equations
Systems of linear equations
description O presente estudo, 'Solução Exata de Sistemas de Equações Lineares Determinados utilizando a Aritmética Residual", consiste na aplicação da Aritmética Residual na Solução de Sistemas de Equações Lineares, cujos dados são números exatos (inteiros) e sabendo-se que existe uma solução exata (inteira), deseja-se encontrá-la. Para isto, estudamos implementações existentes e implementamos experimentalmente algumas variantes dos algoritmos encontrados nas referências. Fez-se um estudo comparativo entre os métodos diretos convencionais, tais como: Eliminação de Gauss e Gauss -Jordan e os algoritmos publicados pela ACM (Association for Computing Machinery), constituídos em dois estudo de casos: 1. Algoritmo 406 - EXACT [HOWELL, 1971] - Solução Exata de Equações Lineares Usando Aritmética Residual; 2. Algoritmo 522 - ESOLVE [CABAY e LAM, 1977] - Técnicas de Congruência para uma Solução Exata de Sistemas de Equações Lineares Inteiros. Finalizando, são apresentados os resultados obtidos.
publishDate 1998
dc.date.issued.fl_str_mv 1998-09-29
dc.date.accessioned.fl_str_mv 2019-01-10T10:04:14Z
dc.date.available.fl_str_mv 2019-01-10
2019-01-10T10:04:14Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://dspace.sti.ufcg.edu.br/handle/riufcg/2491
dc.identifier.citation.fl_str_mv BANDEIRA, Salete Maria Chalub. Solução exata de sistemas de equações lineares determinados utilizado a aritmética residual. 118 f. 1998. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 1998. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/2491
url https://dspace.sti.ufcg.edu.br/handle/riufcg/2491
identifier_str_mv BANDEIRA, Salete Maria Chalub. Solução exata de sistemas de equações lineares determinados utilizado a aritmética residual. 118 f. 1998. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 1998. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/2491
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Campina Grande
dc.publisher.program.fl_str_mv PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
dc.publisher.initials.fl_str_mv UFCG
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Centro de Engenharia Elétrica e Informática - CEEI
publisher.none.fl_str_mv Universidade Federal de Campina Grande
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
bitstream.url.fl_str_mv https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2491/4/SALETE+MARIA+CHALUB+BANDEIRA+-+DISSERTA%C3%87%C3%83O+PPGCC+1998.pdf.txt
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2491/3/SALETE+MARIA+CHALUB+BANDEIRA+-+DISSERTA%C3%87%C3%83O+PPGCC+1998.pdf
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2491/2/license.txt
bitstream.checksum.fl_str_mv 764ec1fb647cc5b0e96794715af5e6f4
799cdb85f53a972fa7b830cfc06a051c
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1863363402761502720