MODELLING MEASUREMENTS AS TIMED INFORMATION PROCESSES IN SIMPLEX DOMAINS
Abstract
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 meas-urement 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 meas-uring instruments synchronized in time. Finally, the domain-theoretic modelling of a sample measuring process is pre-sented to illustrate the approach.
Event details
- Event
- TC7 Symposium 2004
- Technical Committee
- TC7
- Place
- St. Petersburg, RUSSIA
- Time
- 30 June 2004 - 2 July 2004
- Website
- http://camsam.tpu.ru/symposium/