《表2 P1、P2、P3在静坐标中的表达式》
pow是HOL Light中定义的高阶逻辑函数,输入变量是两个实数x、y,输出结果是xy,P1、P2、P3在静坐标中的表示如表2所示,P4、P5、P6在动坐标中的表示如表3所示.
图表编号 | XD00175955200 严禁用于非法目的 |
---|---|
绘制时间 | 2020.05.01 |
作者 | 陈琦、王国辉、张倩颖、施智平、陈善言、关永 |
绘制单位 | 高可靠嵌入式系统技术北京市工程研究中心首都师范大学信息工程学院、高可靠嵌入式系统技术北京市工程研究中心首都师范大学信息工程学院、高可靠嵌入式系统技术北京市工程研究中心首都师范大学信息工程学院、高可靠嵌入式系统技术北京市工程研究中心首都师范大学信息工程学院、高可靠嵌入式系统技术北京市工程研究中心首都师范大学信息工程学院、高可靠嵌入式系统技术北京市工程研究中心首都师范大学信息工程学院 |
更多格式 | 高清、无水印(增值服务) |