小窑采空区在地震勘探时间剖面上的解释

从山西晋城小窑采掘现状入手，结合钻探制作煤全采、未采、半采三种模型的合成地震记录换层分析，分析其波形特征，标定了时间剖面上的采空区段与矿方实际采空区基本吻合。     

现浇混凝土的质量控制与质量检测

对建筑工程中如何控制与检测现浇混凝土质量的方法做了简单介绍。     

基于软件内建自测试的模板和基准程序设计

论述了软件内建自测试项目中“模板”模块的设计方法，利用硬件测试中所使用的基准电路的思想，研究并开发了一种基准程序，使用这种基准程序，可以较为方便地对所生成的测试用例进行测试，最后给出了一个基准程序实例。     

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

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

高温与液压对快堆座式主容器屈曲的影响

讨论了快中子增殖反应堆在运行工况下，主容器内液态钠的高温和液压的存在对容器的屈曲行为的影响。首先用有限元分析了聚氯乙烯圆柱容器实验模型在室温和高温、无液压和有液压时在模拟水平地震的水平力和弯矩荷载下的屈曲荷载与屈曲模态，高温使容器的弹性模量降低，从而使容器抗屈曲能力降低，而液压的存在使抗屈曲能力增加。计算结果与实验结果吻合得到很好。然后用同一程序计算了中国实验快堆钠池主要容器在室温和高温、无液压和有液压时在模拟水平地震的水平力和弯矩荷载下的静态屈曲荷载与屈曲模态，由于屈曲发生在主容器的裙座，不是在有液体的主圆柱壳上，高温和液压对屈曲荷载与屈曲模态几乎没有影响。     

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

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

牛奶的微生物学检验

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

网络考试系统的安全设计

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

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

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

关于“流体静力学矛盾”作用机制的定量分析

在充满液体的等底等高的各种异型容器内,液体对容器底部压力相等,但对支承容器的面的压力(不计容器质量)并不相等。这是著名的“流体静力学矛盾”。对其作用机制作了具体的定量分析,得出了比较令人满意的解释。