表面波法在防渗墙质量检测中的应用研究

本文建立了平面应力问题的波动方程，推导了防渗墙（平面应力问题）中瑞利波特征方程，通过算例与平面应变问题中瑞利波特性进行了比较。本文介绍了防渗墙质量检测的一种方法：表面波法，对它的测试原理作了进一步的研究。利用超声波跨孔法和表面波法对某实际工程进行了检测，经过实例证明超声波跨孔法和表面波法相结合可准确检测防渗墙的质量，并且可降低大量的检测费用。     

应用独立分量分析提取机器的状态特征

以大型轧钢机和滚动轴承试验台为研究对象，应用独立分量分析方法分离机器的声音信号，并提取其状态特征，同时指出，对信号进行自相关预处理，可以突出信号的非高斯成分，较好地满足独立分量分析的前提条件，即源信号统计独立，因此，采用基于峭度的快速独立分量分析（ICA）算法，成功地分离出了信号的一些独立成分及对应的发声零部件，研究结果表明，根据信号结构选择预处理的方法十分重要，正确的预处理可以使独立分量分析有效地提取机械信号中的特征。     

入侵检测系统的数据收集机制研究

基于对入侵检测所采用的数据收集方法的分类和分析，提出了一种基于多代理的分布式数据收集模型，介绍了该模型的数据收集方法和协同检测过程，该模型分别在网络的关键入口处以及主机的重要应用和网络接口处部署检测代理，各检测代理根据不同情况采用不同的数据收集方法对各种可疑数据进行收集，并通过协调代理对下层检测代理提交的数据进行协同分析。结果表明，这种数据收集模型为协同检测奠定了基础，提高了对分布式攻击的检测能力。     

混凝土路面厚度的超声波无损检测研究

利用模拟物理模型，并根据相似性原则建立起公路路面和路基的双层简化模型，提出了一种准确识别反射波，测量反射波速率及走时参量的实用方法。采用特殊的观测系统，由波速及走时反推路面厚度。实验结果表明，这种无损检测方法具有较高的精度，相对误差不超过3％，并可用于其它领域的质量检测中。     

小波包在可控震源地震信号时延估计中的应用

在可控展源地展勘探信号处理中，利用发射信号和反射信号之间的时频分布相似性，提出了用小波包变换时频分布的二维相关算法，估计接收信号中各个反射信号分量的时间延迟。该方法能从信噪比为-4dB的接收信号中难确地对反射信号进行检测和时延估计。     

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

基于小波多级分解的数字散斑相关搜索方法

为提高数字散斑相关方法(DSCM)的测量精度和计算速度,提出一种基于小波多级分解的数字散斑相关搜索方法。该方法利用二维离散正交小波技术对图像滤波去噪同时进行多级分解,从最低的一级开始进行相关搜索计算,然后逐级回溯。与传统的相关搜索方法相比,该方法可提高运算速度至少1个数量级并提高测量精度,有更强的适用性,可以对大位移、有噪声的图像进行数字相关位移场的处理。     

混凝土强度检测方法的比较分析

混凝土结构的质量控制有众多的措施，其中强度的检测方法尤为重要。文章在对国内外常规检测方法比较分析的基础上，提出了合理化建议。     

基于MATLAB的信号相位差的互相函数求法

信号相位差测量在信号处理中有着重要的意义。文章分析了互相关函数求解信号相位差的原理，并介绍了在MATLAB下求解信号相位差的具体方法。     

野大豆快生型根瘤菌共生固氮及其生理生化特性研究

实验围绕野大豆——快生型根瘤菌共生固氮和抗药、耐盐、代谢产物等生理生化特性方面进行检测和研讨，旨在为筛选抗逆性强、高固氮活性菌株和农业应用提供理论依据。