O modelo de máquina geométrica intervalar

Detalhes bibliográficos
Autor(a) principal: Reiser, Renata Hax Sander
Data de Publicação: 2003
Outros Autores: Costa, Antonio Carlos da Rocha, Dimuro, Graçaliz Pereira
Tipo de documento: Artigo
Idioma: por
Título da fonte: Repositório Institucional da FURG (RI FURG)
Texto Completo: http://repositorio.furg.br/handle/1/4895
Resumo: Mostra-se neste trabalho que a linguagem e a correspondente semântica associada às interpretações obtidas na estrutura ordenada da Máquina Geométrica Intervalar, fundamentada nos espaços coerentes, são ferramentas importantes para construção, desenvolvimento e análise semântica de algoritmos da matemática intervalar, envolvendo paralelismo e não-determinismo, definidos por estruturas matriciais e operando de forma sincronizada.
id FURG_474a5230326a689d7f20949eb32d2d01
oai_identifier_str oai:repositorio.furg.br:1/4895
network_acronym_str FURG
network_name_str Repositório Institucional da FURG (RI FURG)
repository_id_str
spelling O modelo de máquina geométrica intervalarMostra-se neste trabalho que a linguagem e a correspondente semântica associada às interpretações obtidas na estrutura ordenada da Máquina Geométrica Intervalar, fundamentada nos espaços coerentes, são ferramentas importantes para construção, desenvolvimento e análise semântica de algoritmos da matemática intervalar, envolvendo paralelismo e não-determinismo, definidos por estruturas matriciais e operando de forma sincronizada.This paper introduces the interval version of Geometric Machine (GM) Model, to allow the representation of algorithms of Interval Mathematics, where the set of values in the GM memory is represented by the coherence space of rational intervals IQ, a constructive computational representation of the space of real intervals. The GM model is based on coherence spaces. The infinite GM memory, represented by the coherence space S of states, is conceived as spatially distributed points in a geometric space. Following this approach, a semantic modelling of interval algorithms using interval arithmetic operations is presented.2015-05-22T18:47:18Z2015-05-22T18:47:18Z2003info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfREISER, Renata Hax Sander; COSTA, Antônio Carlos da Rocha; DIMURO, Graçaliz Pereira. The stochastic geometric machine model. TEMA - Tendências em Matemática Aplicada e Computacional, v. 4, n. 1, p. 109-118, 2003. Disponível em: <http://tema.sbmac.org.br/tema/article/view/391>. Acesso em: 15 maio 2015.2179-8451http://repositorio.furg.br/handle/1/489510.5540/tema.2003.04.01.0109porReiser, Renata Hax SanderCosta, Antonio Carlos da RochaDimuro, Graçaliz Pereirainfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da FURG (RI FURG)instname:Universidade Federal do Rio Grande (FURG)instacron:FURG2019-11-14T00:48:35Zoai:repositorio.furg.br:1/4895Repositório InstitucionalPUBhttps://repositorio.furg.br/oai/request || http://200.19.254.174/oai/requestopendoar:2019-11-14T00:48:35Repositório Institucional da FURG (RI FURG) - Universidade Federal do Rio Grande (FURG)false
dc.title.none.fl_str_mv O modelo de máquina geométrica intervalar
title O modelo de máquina geométrica intervalar
spellingShingle O modelo de máquina geométrica intervalar
Reiser, Renata Hax Sander
title_short O modelo de máquina geométrica intervalar
title_full O modelo de máquina geométrica intervalar
title_fullStr O modelo de máquina geométrica intervalar
title_full_unstemmed O modelo de máquina geométrica intervalar
title_sort O modelo de máquina geométrica intervalar
author Reiser, Renata Hax Sander
author_facet Reiser, Renata Hax Sander
Costa, Antonio Carlos da Rocha
Dimuro, Graçaliz Pereira
author_role author
author2 Costa, Antonio Carlos da Rocha
Dimuro, Graçaliz Pereira
author2_role author
author
dc.contributor.author.fl_str_mv Reiser, Renata Hax Sander
Costa, Antonio Carlos da Rocha
Dimuro, Graçaliz Pereira
description Mostra-se neste trabalho que a linguagem e a correspondente semântica associada às interpretações obtidas na estrutura ordenada da Máquina Geométrica Intervalar, fundamentada nos espaços coerentes, são ferramentas importantes para construção, desenvolvimento e análise semântica de algoritmos da matemática intervalar, envolvendo paralelismo e não-determinismo, definidos por estruturas matriciais e operando de forma sincronizada.
publishDate 2003
dc.date.none.fl_str_mv 2003
2015-05-22T18:47:18Z
2015-05-22T18:47:18Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv REISER, Renata Hax Sander; COSTA, Antônio Carlos da Rocha; DIMURO, Graçaliz Pereira. The stochastic geometric machine model. TEMA - Tendências em Matemática Aplicada e Computacional, v. 4, n. 1, p. 109-118, 2003. Disponível em: <http://tema.sbmac.org.br/tema/article/view/391>. Acesso em: 15 maio 2015.
2179-8451
http://repositorio.furg.br/handle/1/4895
10.5540/tema.2003.04.01.0109
identifier_str_mv REISER, Renata Hax Sander; COSTA, Antônio Carlos da Rocha; DIMURO, Graçaliz Pereira. The stochastic geometric machine model. TEMA - Tendências em Matemática Aplicada e Computacional, v. 4, n. 1, p. 109-118, 2003. Disponível em: <http://tema.sbmac.org.br/tema/article/view/391>. Acesso em: 15 maio 2015.
2179-8451
10.5540/tema.2003.04.01.0109
url http://repositorio.furg.br/handle/1/4895
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:Repositório Institucional da FURG (RI FURG)
instname:Universidade Federal do Rio Grande (FURG)
instacron:FURG
instname_str Universidade Federal do Rio Grande (FURG)
instacron_str FURG
institution FURG
reponame_str Repositório Institucional da FURG (RI FURG)
collection Repositório Institucional da FURG (RI FURG)
repository.name.fl_str_mv Repositório Institucional da FURG (RI FURG) - Universidade Federal do Rio Grande (FURG)
repository.mail.fl_str_mv
_version_ 1813187263192891392

Registros relacionados