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 Forbes-etal-2025-Preserving-model-structure-and-constraints-in-scientific-computing]
Preview
 Text. Filename: Forbes-etal-2025-Preserving-model-structure-and-constraints-in-scientific-computing.pdf
License: Unspecified
Download (496kB)| Preview

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)