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

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

水泥处理的沉积淤泥膨胀试验及其矿物机理分析

为研究经过水泥掺合处理的河道沉积淤泥作为路基填料的膨胀性能，对不同初始含水量（质量分数分别为90％，130％和170％）的淤泥经不同掺合比（按湿质量计分别为9％，11％和13％）的水泥处理后形成的多种不同的水泥土试样进行了为期一个月的初次膨胀试验及试样干燥三个月后重新浸水的二次膨胀试验。试验结果表明试样的初次膨胀值很不显著，但二次浸水膨胀试验表明试样的总膨胀量有增大的趋势。试样的X射线衍射分析从矿物形成方面解释了水泥土膨胀性能的内在机理。     

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

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

牛奶的微生物学检验

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

一种低功耗电子系统的设计

根据设计电子式多用户水表等电子系统的实践，阐述了低功耗电子系统的设计中出现问题解决的思路。对于如何降低单片机系统的功耗，本文给出了设计的电子式多用户水表的硬件解决方案和降低功耗的软硬件措施，这一硬件方案和降耗措施，可应用于其他多种低功耗仪器的设计。     

网络考试系统的安全设计

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

对城市供水行业改革的思考

分析了目前各地供水行业改革中遇到的问题,提出了加强政府对供水行业的监管力度,慎重选择投资主体和特许经营者,理顺供水价格调整机制等城市供水行业改革的措施。     

水的相图与pH-电势图的Flash课件制作

围绕无机化学精品课课程建设，配合水的相图、pH-电势图相关内容的教学，利用二维动画制作软件Flash制作了水的相图、pH-电势图的课件。     

基于 FEM 的深基础工程数值模拟及其实现

简要介绍了有限元法的原理和解题步骤,在借鉴国内外众多有限元分析软件包优点的基础上,开发了自身的FEM三维非线性程序,并用所研发的程序对具体的工程进行了应用和模拟,与实测数据的逼近表明了整个软件系统的准确性和实用性。     

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

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