Abstract:
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.
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.
