双曲柄环板式针摆行星传动效率分析

应用行星轮系传动效率的通用计算机公式，推导出了双曲柄环板式针摆行星传动的传动效率计算公式．为了证明其理论的正确性，又进行了实验研究．样机效率试验结果与计算结果基本符合．试验结果证明，这种新型传动不仅具有高的承载能力，还有高的传动效率．     

PROLOG逻辑程序正确性证明

ＰＲＯＬＯＧ是一种逻辑程序设计语言，本文以这种语言为例，提出了谓词依赖性、等价式、谓词规范等概念，并且在此基础上对ＰＲＯＬＯＧ谓词加以分类。最后基于一阶谓词逻辑提出了ＰＲＯＬＯＧ程序正确性的一种证明方法。