Solução de equações intervalares
Autor(a) principal: | |
---|---|
Data de Publicação: | 2001 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UFRGS |
Texto Completo: | http://hdl.handle.net/10183/1875 |
Resumo: | Este trabalho trata do tipo de dado intervalar e da importância da especificação de uma semântica para garantir a correção e a interpretação coerente de resultados gerados, tais como de soluções de equações envolvendo este tipo de dado. Para tanto, realiza um estudo comparativo das semânticas de envoltória intervalar de reais e de número-intervalo, procurando identificar a influência de cada uma sobre definições fundamentais, tais como as das operações aritméticas e a do tipo de solução encontrado. Uma vez caracterizadas as semânticas associadas ao tipo de dado intervalar, o trabalho apresenta resultados que permitem mapear algebricamente a operação de multiplicação de números-intervalo tanto na representação de extremo inferior e extremo superior como na representação por ponto médio e diâmetro. Com base nesses resultados apresenta os mapeamentos das expressões algébricas que definem as potências positivas inteiras tanto para a semântica de número-intervalo como para a de envoltória de reais. Conjugando os resultados obtidos com a semântica de número-intervalo, o trabalho apresenta procedimentos algorítmicos para a determinação de dois tipos de soluções de equações intervalares: solução própria, a obtida diretamente a partir da relação de igualdade estrutural algébrica entre intervalos, e envoltória intervalar de soluções reais, normalmente referenciada como a solução intervalar usual. Exemplos são apresentados para a validação dos procedimentos, bem como para a discussão do significado de cada tipo de solução sob o enfoque semântico. |
id |
URGS_1a171bf12d3cfdbe02a7c14b9c49af6b |
---|---|
oai_identifier_str |
oai:www.lume.ufrgs.br:10183/1875 |
network_acronym_str |
URGS |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFRGS |
repository_id_str |
1853 |
spelling |
Vaccaro, Guilherme Luis RoeheWagner, Flavio RechFranciosi, Beatriz Regina Tavares2007-06-06T17:18:53Z2001http://hdl.handle.net/10183/1875000311265Este trabalho trata do tipo de dado intervalar e da importância da especificação de uma semântica para garantir a correção e a interpretação coerente de resultados gerados, tais como de soluções de equações envolvendo este tipo de dado. Para tanto, realiza um estudo comparativo das semânticas de envoltória intervalar de reais e de número-intervalo, procurando identificar a influência de cada uma sobre definições fundamentais, tais como as das operações aritméticas e a do tipo de solução encontrado. Uma vez caracterizadas as semânticas associadas ao tipo de dado intervalar, o trabalho apresenta resultados que permitem mapear algebricamente a operação de multiplicação de números-intervalo tanto na representação de extremo inferior e extremo superior como na representação por ponto médio e diâmetro. Com base nesses resultados apresenta os mapeamentos das expressões algébricas que definem as potências positivas inteiras tanto para a semântica de número-intervalo como para a de envoltória de reais. Conjugando os resultados obtidos com a semântica de número-intervalo, o trabalho apresenta procedimentos algorítmicos para a determinação de dois tipos de soluções de equações intervalares: solução própria, a obtida diretamente a partir da relação de igualdade estrutural algébrica entre intervalos, e envoltória intervalar de soluções reais, normalmente referenciada como a solução intervalar usual. Exemplos são apresentados para a validação dos procedimentos, bem como para a discussão do significado de cada tipo de solução sob o enfoque semântico.application/pdfporAnalise : IntervalosTeoria : IntervalosEquacoes intervalaresSolução de equações intervalaresinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em ComputaçãoPorto Alegre, BR-RS2001doutoradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000311265.pdf000311265.pdfTexto completoapplication/pdf1734805http://www.lume.ufrgs.br/bitstream/10183/1875/1/000311265.pdf075802c2c502da4dd607cd7d0c1f643eMD51TEXT000311265.pdf.txt000311265.pdf.txtExtracted Texttext/plain469091http://www.lume.ufrgs.br/bitstream/10183/1875/2/000311265.pdf.txt6c4ef50d7788a1d68e3590b9a718c929MD52THUMBNAIL000311265.pdf.jpg000311265.pdf.jpgGenerated Thumbnailimage/jpeg1084http://www.lume.ufrgs.br/bitstream/10183/1875/3/000311265.pdf.jpgaed9e46061430528e7005e8e687795a6MD5310183/18752018-10-15 09:00:30.95oai:www.lume.ufrgs.br:10183/1875Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-15T12:00:30Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false |
dc.title.pt_BR.fl_str_mv |
Solução de equações intervalares |
title |
Solução de equações intervalares |
spellingShingle |
Solução de equações intervalares Vaccaro, Guilherme Luis Roehe Analise : Intervalos Teoria : Intervalos Equacoes intervalares |
title_short |
Solução de equações intervalares |
title_full |
Solução de equações intervalares |
title_fullStr |
Solução de equações intervalares |
title_full_unstemmed |
Solução de equações intervalares |
title_sort |
Solução de equações intervalares |
author |
Vaccaro, Guilherme Luis Roehe |
author_facet |
Vaccaro, Guilherme Luis Roehe |
author_role |
author |
dc.contributor.author.fl_str_mv |
Vaccaro, Guilherme Luis Roehe |
dc.contributor.advisor1.fl_str_mv |
Wagner, Flavio Rech |
dc.contributor.advisor-co1.fl_str_mv |
Franciosi, Beatriz Regina Tavares |
contributor_str_mv |
Wagner, Flavio Rech Franciosi, Beatriz Regina Tavares |
dc.subject.por.fl_str_mv |
Analise : Intervalos Teoria : Intervalos Equacoes intervalares |
topic |
Analise : Intervalos Teoria : Intervalos Equacoes intervalares |
description |
Este trabalho trata do tipo de dado intervalar e da importância da especificação de uma semântica para garantir a correção e a interpretação coerente de resultados gerados, tais como de soluções de equações envolvendo este tipo de dado. Para tanto, realiza um estudo comparativo das semânticas de envoltória intervalar de reais e de número-intervalo, procurando identificar a influência de cada uma sobre definições fundamentais, tais como as das operações aritméticas e a do tipo de solução encontrado. Uma vez caracterizadas as semânticas associadas ao tipo de dado intervalar, o trabalho apresenta resultados que permitem mapear algebricamente a operação de multiplicação de números-intervalo tanto na representação de extremo inferior e extremo superior como na representação por ponto médio e diâmetro. Com base nesses resultados apresenta os mapeamentos das expressões algébricas que definem as potências positivas inteiras tanto para a semântica de número-intervalo como para a de envoltória de reais. Conjugando os resultados obtidos com a semântica de número-intervalo, o trabalho apresenta procedimentos algorítmicos para a determinação de dois tipos de soluções de equações intervalares: solução própria, a obtida diretamente a partir da relação de igualdade estrutural algébrica entre intervalos, e envoltória intervalar de soluções reais, normalmente referenciada como a solução intervalar usual. Exemplos são apresentados para a validação dos procedimentos, bem como para a discussão do significado de cada tipo de solução sob o enfoque semântico. |
publishDate |
2001 |
dc.date.issued.fl_str_mv |
2001 |
dc.date.accessioned.fl_str_mv |
2007-06-06T17:18:53Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/10183/1875 |
dc.identifier.nrb.pt_BR.fl_str_mv |
000311265 |
url |
http://hdl.handle.net/10183/1875 |
identifier_str_mv |
000311265 |
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.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UFRGS instname:Universidade Federal do Rio Grande do Sul (UFRGS) instacron:UFRGS |
instname_str |
Universidade Federal do Rio Grande do Sul (UFRGS) |
instacron_str |
UFRGS |
institution |
UFRGS |
reponame_str |
Biblioteca Digital de Teses e Dissertações da UFRGS |
collection |
Biblioteca Digital de Teses e Dissertações da UFRGS |
bitstream.url.fl_str_mv |
http://www.lume.ufrgs.br/bitstream/10183/1875/1/000311265.pdf http://www.lume.ufrgs.br/bitstream/10183/1875/2/000311265.pdf.txt http://www.lume.ufrgs.br/bitstream/10183/1875/3/000311265.pdf.jpg |
bitstream.checksum.fl_str_mv |
075802c2c502da4dd607cd7d0c1f643e 6c4ef50d7788a1d68e3590b9a718c929 aed9e46061430528e7005e8e687795a6 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS) |
repository.mail.fl_str_mv |
lume@ufrgs.br||lume@ufrgs.br |
_version_ |
1816736750406467584 |