Newton: A Language for Describing Physics
Newton: A Language for Describing Physics
复制标题
牛顿：描述物理的语言
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Phillip Stanley
中科院分区：
文献类型：
--
作者：
J. Lim;Phillip Stanley
本文介绍了牛顿，一种用于表示物理对象特定不变量和一般物理定律的解析形式、测量单位和传感器信号属性的规范语言。我们设计Newton是为了给硬件设计人员提供一种方法（例如，传感器集成电路制造商、计算硬件架构师或机械工程师）来指定其中将部署嵌入式计算系统的物理环境的属性（例如，部署在桥上的传感平台与由人佩戴的传感平台）。用于嵌入式系统的编译器和其他程序分析工具可以使用到Newton编译器的库接口来获得关于传感器、传感器信号以及由给定物理系统的结构和材料属性施加的信号间关系的信息。牛顿规范中编码的信息可以实现新的编译时转换，利用物理世界的信息。
This article introduces Newton, a specification language for notating the analytic form, units of measure, and sensor signal properties for physical-object-specific invariants and general physical laws. We designed Newton to provide a means for hardware designers (e.g., sensor integrated circuit manufacturers, computing hardware architects, or mechanical engineers) to specify properties of the physical environments in which embedded computing systems will be deployed (e.g., a sensing platform deployed on a bridge versus worn by a human). Compilers and other program analysis tools for embedded systems can use a library interface to the Newton compiler to obtain information about the sensors, sensor signals, and inter-signal relationships imposed by the structure and materials properties of a given physical system. The information encoded within Newton specifications could enable new compile-time transformations that exploit information about the physical world.