O modelo de máquina geométrica intervalar

Submitted by Rosimeri Herrmann Vergara (meri.hv@hotmail.com) on 2015-05-18T13:48:18Z No. of bitstreams: 1 O modelo de máquina geométrica intervalar.pdf: 236317 bytes, checksum: ac63c7dfce97fd859ebcaab5736a1554 (MD5)Approved for entry into archive by Vitor de Carvalho (vitor_carvalho_im@hotmail.com) on 2015-05-22T18:47:18Z (GMT) No. of bitstreams: 1 O modelo de máquina geométrica intervalar.pdf: 236317 bytes, checksum: ac63c7dfce97fd859ebcaab5736a1554 (MD5)Made available in DSpace on 2015-05-22T18:47:18Z (GMT). No. of bitstreams: 1 O modelo de máquina geométrica intervalar.pdf: 236317 bytes, checksum: ac63c7dfce97fd859ebcaab5736a1554 (MD5) Previous issue date: 2003Mostra-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