一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

吊舱式推进装置水动力性能试验研究

对吊舱式推进装置进行了多方案的模型试验研究，考察了串列式吊舱推进装置前后桨的负荷匹配及初始相位角的影响。空泡水筒敞水试验结果表明，无论双桨串列式或单桨拖、推式吊舱推进装置，由于吊舱影响使螺旋桨效率均比常规桨有所提高；但若计及吊舱阻力则吊舱推进装置的系统效率有所下降。可以预见，吊舱式推进装置因其众多的优越性而具有广阔的发展前景。     

喷射成形过程中雾化锥体的温度场与质量场

本文着重研究了喷射成形过程中雾化锥体的温度场与质量场的测定方法，进一步测定了纯铝及ＺＱＳｎ６－６－３青铜的温度场和质量场，并讨论了其特征。     

牛奶的微生物学检验

为提高牛奶的食用价值，以选择最佳的灭菌方法，最佳的贮存温度及有效存放时间，对临汾地区奶牛场的牛奶进行了生物学检验，从而得出了牛奶的最佳灭菌方法为巴斯消毒法；牛奶的最佳贮存温度为O℃；有限的存放时间为O℃贮存大约7d，室温(22℃)贮存12h。32℃贮存6h。     

格兰·泰勒棱镜两类视场角的比较研究

以格兰·泰勒棱镜为例 ,推导了沿主截面和垂直主截面两正交方向的最大视场角 ,并在常用结构角下比较了两类视场角的大小及它们随波长的变化关系 ,得知沿主截面的视场角对光路调整影响较大     

网络考试系统的安全设计

从对数据库系统的安全分析入手，结合网络考试系统的实际，从硬件系统、数据库系统、网络操作系统和网络应用程序几个方面，提出了解决网络考试系统安全性的方法。     

基于MAX155和KMZ52的电子指南针的实现

介绍了电子指南针的工作原理，采用高速A／D转换器MAX155，完成了对KMZ52二维磁阻传感器输出信号的同时采样，提高了系统的精度．同时，采用跳转技术对偏差及温度漂移进行了补偿，减少了温度等因素对本系统造成的影响．     

标准贯入与波速在原位测试中的对比分析

标准贯入与波速测试在工程勘察中都是较重要的原位测试手段,应用广泛。通过对芜湖城南某地块分别利用标准贯入试验和单孔波速测试法进行原位测试试验结果的分析,说明在工程勘察及成果运用中,应综合考虑多种因素,合理采用有关参数。     

三角形速度场解析平面变形辊拔与辊挤

文章对平面变形辊拔与辊挤问题建立了运动许可的三角形速度场并获得上界解析解。该解与 Avitzur 以连续速度场得到的上界解进行比较表明,有时本文解法可得到更低的上界值。