Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article
Open access

Deriving equations from sensor data using dimensional function synthesis

Published: 21 June 2021 Publication History
  • Get Citation Alerts
  • Abstract

    We present a new method for deriving functions that model the relationship between multiple signals in a physical system. The method, which we call dimensional function synthesis, applies to data streams where the dimensions of the signals (e.g., length, mass, etc.) are known. The method comprises two phases: a compile-time synthesis phase and a subsequent calibration using sensor data. We implement dimensional function synthesis and use the implementation to demonstrate efficiently summarizing multimodal sensor data for two physical systems using 90 laboratory experiments and 10,000 synthetic idealized measurements. The results show that our technique can generate models in less than 300 ms on average across all the physical systems we evaluated. This is a marked improvement when compared to an average of 16 s for training neural networks of comparable accuracy on the same computing platform. When calibrated with sensor data, our models outperform traditional regression and neural network models in inference accuracy in all the cases we evaluated. In addition, our models perform better in training latency (up to 1096X improvement) and required arithmetic operations in inference (up to 34X improvement). These significant gains are largely the result of exploiting information on the physics of signals that has hitherto been ignored.

    References

    [1]
    Allen, E., Chase, D., Luchangco, V., Maessen, J.-W., Steele, G.L., Jr. Object-oriented units of measurement. In Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA'04 (2004), ACM, New York, NY, USA, 384--403.
    [2]
    Antoniu, T., Steckler, P.A., Krishnamurthi, S., Neuwirth, E., Felleisen, M. Validating the unit correctness of spreadsheet programs. In Proceedings of the 26th International Conference on Software Engineering, ICSE'04 (2004), IEEE Computer Society, Washington, DC, USA, 439--448.
    [3]
    Babout, M., Sidhoum, H., Frecon, L. Ampere: A programming language for physics. European J. Phys. 11, 3 (1990):163.
    [4]
    Barber, D. Bayesian Reasoning and Machine Learning. Cambridge University Press, Cambridge, 2012.
    [5]
    Biggs, G., Macdonald, B.A. A pragmatic approach to dimensional analysis for mobile robotic programming. Auton. Robots 25, 4 (Nov. 2008), 405--419.
    [6]
    Buckingham, E. On physically similar systems; Illustrations of the use of dimensional equations. Phys. Rev. 4, 4 (1914), 345--376.
    [7]
    Carlson, D.E. A mathematical theory of physical units, dimensions, and measures. Arch. Rational Mechanics Anal. 70, 4 (1979), 289--305.
    [8]
    Cmelik, R.F., Gehani, N.H. Dimensional analysis with C++. IEEE Softw. 5, 3 (1988), 21--27.
    [9]
    Carlson, D.E. On some new results in dimensional analysis. Arch. Ration. Mech. Anal. 68, 3 (1978), Springer 191--210.
    [10]
    Hilfinger, P.N. An ada package for dimensional analysis. ACM Trans. Program. Lang. Syst. 10, 2 (Apr. 1988), 189--203.
    [11]
    Hills, D.J.A., Grütter, A.M., Hudson, J.J. An algorithm for discovering Lagrangians automatically from data. Peer J Comput. Sci. 1, (Nov. 2015), e31.
    [12]
    Hills, M., Chen, F., Roşu, F. A rewriting logic approach to static checking of units of measurement in C. Electron. Notes Theor. Comput. Sci. 290, (Dec. 2012), 51--67.
    [13]
    Jonsson, D. Dimensional analysis: A centenary update. arXiv preprint arXiv:1411.2798 (2014).
    [14]
    Kennedy, A. Dimension types. In Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems, ESOP'94 (1994), Springer-Verlag, London, UK, 348--362.
    [15]
    Lim, J., Stanley-Marbell, P. Newton: A language for describing physics. CoRR, abs/1811.04626 (2018).
    [16]
    Rayleigh, L. The principle of similitude. Nature 95 (Dec. 1915), 66--68.
    [17]
    Rittri, M. Dimension inference under polymorphic recursion. In Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture, FPCA'95 (1995), ACM, New York, NY, USA, 147--159.
    [18]
    Rudy, S.H., Brunton, S.L., Proctor, J.L., Kutz, J.N. Data-driven discovery of partial differential equations. Sci. Adv. 3, 4 (2017), e1602614.
    [19]
    Schmidt, M., Lipson, H. Distilling free-form natural laws from experimental data. Science 324, 5923 (2009), 81--85.
    [20]
    Simon, V., Weigand, B., Gomaa, H. Dimensional Analysis for Engineers. Springer, Gewerbestrasse, Cham, Switzerland, 2017.
    [21]
    Sonin, A.A. A generalization of the Π-theorem and dimensional analysis. Proc. Natl. Acad. Sci. 101, 23 (2004), 8525--8526.
    [22]
    Strang, G. Introduction to Linear Algebra, 5th edn. Wellesley-Cambridge Press, Wellesley, MA, 2016.
    [23]
    Umrigar, Z.D. Fully static dimensional analysis with C++. SIGPLAN Not. 29, 9 (Sept. 1994), 135--139.

    Cited By

    View all
    • (2024)CoSense: Compiler Optimizations using Sensor Technical SpecificationsProceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction10.1145/3640537.3641576(73-85)Online publication date: 17-Feb-2024
    • (2023)Application of the theory of dimensions in research of floor materials dispensers in multifactor experimentAvtomatizacìâ virobničih procesìv u mašinobuduvannì ta priladobuduvannì10.23939/istcipa2023.57.01357(13-20)Online publication date: 2023
    • (2023)Dimensionally-consistent equation discovery through probabilistic attribute grammarsInformation Sciences: an International Journal10.1016/j.ins.2023.03.073632:C(742-756)Online publication date: 1-Jun-2023
    • Show More Cited By

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image Communications of the ACM
    Communications of the ACM  Volume 64, Issue 7
    July 2021
    99 pages
    ISSN:0001-0782
    EISSN:1557-7317
    DOI:10.1145/3472147
    Issue’s Table of Contents
    This work is licensed under a Creative Commons Attribution International 4.0 License.

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 21 June 2021
    Published in CACM Volume 64, Issue 7

    Check for updates

    Qualifiers

    • Research-article
    • Research
    • Refereed

    Funding Sources

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)3,630
    • Downloads (Last 6 weeks)15
    Reflects downloads up to 10 Aug 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2024)CoSense: Compiler Optimizations using Sensor Technical SpecificationsProceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction10.1145/3640537.3641576(73-85)Online publication date: 17-Feb-2024
    • (2023)Application of the theory of dimensions in research of floor materials dispensers in multifactor experimentAvtomatizacìâ virobničih procesìv u mašinobuduvannì ta priladobuduvannì10.23939/istcipa2023.57.01357(13-20)Online publication date: 2023
    • (2023)Dimensionally-consistent equation discovery through probabilistic attribute grammarsInformation Sciences: an International Journal10.1016/j.ins.2023.03.073632:C(742-756)Online publication date: 1-Jun-2023
    • (2021)METHOD OF THEORY OF DIMENSIONS IN EXPERIMENTAL RESEARCH OF SYSTEMS AND PROCESSESINMATEH Agricultural Engineering10.35633/inmateh-65-24(233-240)Online publication date: 30-Dec-2021

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Digital Edition

    View this article in digital edition.

    Digital Edition

    Magazine Site

    View this article on the magazine site (external)

    Magazine Site

    Get Access

    Login options

    Full Access

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media