期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
关于程序正确性证明的进一步探讨 被引量:3
1
作者 李芳 《信息技术与信息化》 2005年第4期66-67,116,共3页
本文介绍了什么是程序的完全正确性、部分正确性、终止性,并通过实例,介绍了利用不变式断言法和计数器方法分别证明程序的部分正确性和终止性的具体方法步骤。
关键词 程序的正确性 程序的部分正确性 程序的终止性 不变式断言法 计数器方法 检验条件 程序正确性证明 终止性 完全正 计数器
在线阅读 下载PDF
Magnification Ratio of Mechanical Displacement Amplifier in Sensing Device
2
作者 Jia Jiuhong Liao Zuoyu +1 位作者 Hu Xiaoyin Tu Shandong 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI CSCD 2017年第3期302-307,共6页
In order to monitor deformation of high temperature components for a long time,a sensing device integrating a bridge-shaped mechanical displacement amplifier has been designed.This sensing device has higher resolution... In order to monitor deformation of high temperature components for a long time,a sensing device integrating a bridge-shaped mechanical displacement amplifier has been designed.This sensing device has higher resolution and accuracy than conventional extensometers.However,the relation between the magnification ratio and the structure size of the displacement amplifier is a bottleneck of sensing device design.Addressing this,the magnification ratio of a mechanical displacement amplifier is analytically derived based on its geometry structure.Six prototypes of the displacement amplifier made in propathene are manufactured,and an experimental system is set up to validate the accuracy of the established magnification ratio equation.Theoretical magnification ratios and experimental magnification ratios are compared and agree well,which verifies that the proposed equation is reliable.This analytical equation provides an effective design method for bridge-shaped mechanical displacement amplifiers with an expected magnification ratio. 展开更多
关键词 amplifier shaped bottleneck monitor agree validate manufactured correction corner integrating
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部