面向计算机专业的数理逻辑实验课的教学改革

随着定理证明技术在国内科研院所、大专院校以及企业中的推广,在面向计算机专业的数理逻辑课程中开展基于定理证明器的实验课教学,可以引入更多计算的色彩,调动学生的学习兴趣,对推动数理逻辑教学改革有着积极的作用。     

车载活塞式体积管故障诊断与排查

体积管的状态良好是量值准确可靠的关键，是原油交接双方经济利益的保证。针对体积管在原油流量计栓定过程中常见的故障，分析成因，提出现场诊断与故障排查方法，在提高原油流量计检定工作效率和质量中具有一定的应用价值。