Deriving Equations from Sensor Data Using Dimensional Function Synthesis

被引:5
作者
Wang, Youchao [1 ]
Willis, Sam [1 ]
Tsoutsouras, Vasileios [1 ]
Stanley-Marbell, Phillip [1 ]
机构
[1] Univ Cambridge, 9 JJ Thomson Ave, Cambridge CB3 0FA, England
基金
英国工程与自然科学研究理事会;
关键词
Machine learning; dimensional analysis; sensor data fusion; CHECKING; UNITS; FORM;
D O I
10.1145/3358218
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
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 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 multi-modal sensor data for two physical systems using 90 laboratory experiments and 10 000 synthetic idealized measurements. We evaluate the performance of the compile-time phase of dimensional function synthesis as well as the calibration phase overhead, inference latency, and accuracy of the models our method generates. The results show that our technique can generate models in less than 300 ms on average across all the physical systems we evaluated. 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 (over 8660x improvement) and required arithmetic operations in inference (over 34x improvement). These significant gains are largely the result of exploiting information on the physics of signals that has hitherto been ignored.
引用
收藏
页数:22
相关论文
共 31 条
[1]   Object-oriented units of measurement [J].
Allen, E ;
Chase, D ;
Luchangco, V ;
Maessen, JW ;
Steele, GL .
ACM SIGPLAN NOTICES, 2004, 39 (10) :384-403
[2]  
[Anonymous], NATURE
[3]   Validating the unit correctness of spreadsheet programs [J].
Antoniu, T ;
Steckler, PA ;
Krishnamurthi, S ;
Neuwirth, E ;
Felleisen, M .
ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2004, :439-448
[4]  
Babout M., 1990, European Journal of Physics, V11, P163, DOI 10.1088/0143-0807/11/3/007
[5]  
Barber D, 2012, Bayesian reasoning and machine learning
[6]   A pragmatic approach to dimensional analysis for mobile robotic programming [J].
Biggs, Geoffrey ;
MacDonald, Bruce A. .
AUTONOMOUS ROBOTS, 2008, 25 (04) :405-419
[7]   On physically similar systems, illustrations of the use of dimensional equations [J].
Buckingham, E .
PHYSICAL REVIEW, 1914, 4 (04) :345-376
[8]   A MATHEMATICAL-THEORY OF PHYSICAL UNITS, DIMENSIONS, AND MEASURES [J].
CARLSON, DE .
ARCHIVE FOR RATIONAL MECHANICS AND ANALYSIS, 1979, 70 (04) :289-305
[9]  
Carlson Donald E., 1978, SOME NEW RESULTS DIM
[10]  
Chen F, 2003, LECT NOTES COMPUT SC, V2706, P197