Preserving model structure and constraints in scientific computing

Tools

Forbes, Alistair and Lines, Keith and Nordvall Forsberg, Fredrik and McBride, Conor and Videla, Andre (2025) Preserving model structure and constraints in scientific computing. Measurement: Sensors. 101796. ISSN 2665-9174 (https://doi.org/10.1016/j.measen.2024.101796)

[thumbnail of npl_modelstructure_imeko2024] Text. Filename: npl_modelstructure_imeko2024.pdf
Accepted Author Manuscript
Restricted to Repository staff only until 1 January 2099.
Download (257kB) | Request a copy

Abstract

In this paper, we look at how model structure and constraints can be incorporated into scientific computing using functional programming and, implicitly, category theory, in a way that constraints are automatically satisfied. Category theory is the study of different types of objects (e.g., sets, groups, vector spaces) and mappings between them (e.g., functions, homomorphisms, matrices) and is used in mathematics to model the underlying structure associated with systems we wish to describe and how this underlying structure is preserved under transformations. In this paper, we look at the structure associated with the representation of, and calculations using, quantitative data. In particular, we describe how measurement data can be represented in terms of the product C × D of two groups: the first, C, the counting algebra, and the second, D, the dimension algebra. Different but equivalent unit systems are related through group isomorphisms. The structure associated with this representation can be embedded in software using functional programming.

ORCID iDs

Forbes, Alistair, Lines, Keith, Nordvall Forsberg, Fredrik ORCID logoORCID: https://orcid.org/0000-0001-6157-9288, McBride, Conor ORCID logoORCID: https://orcid.org/0000-0003-1487-0886 and Videla, Andre;
CORE (COnnecting REpositories)