MODELLING MEASUREMENTS AS TIMED INFORMATION PROCESSES IN SIMPLEX DOMAINS

摘要

This paper presents a domain-theoretic model for measurements and measuring instruments, by making explicit in simplex-domain structures two important aspects of measurement processes: the notion of standard representation relation, established between the (physical) values that are being measured and the meanings of the readings (semantic values) of the measuring instruments used to measure them, and the time underlying every measurement process, in a way that it is possible to trace the history of every measuring process. We also present the modelling of measurements performed by combined measuring instruments synchronized in time. Finally, the domain-theoretic modelling of a sample measuring process is presented to illustrate the approach.