受干扰信号的自适应滤波及信号检测

自适应信号处理技术作为新的、有效的信号处理技术，在通信、雷达、声纳、地震勘探、机械设计、航天、导航系统及生物医学等领域得到广泛的应用。本项目研究受干扰信号的建模与检测，探讨新的、更有效的信号处理方法。对有色干扰的信号，建立经典频域最优参数估计，改进扩展的递推算法。对误差变量模型提出正确有效Frisch的信号处理方法和递推的Frisch算法，并对新的算法作理论分析。建立自适应前馈滤波器，通过前馈滤波器及误差变量模型的研究对输入噪声信号建模和处理，对有色噪声有效地滤波和抑制。研究新的自适应信号检测方法，利用时序逻辑建立电路延迟自动检测，通过可满足度分析和推理给出错误信号错误诊断和容错检测。研究有色噪声干扰的多变量Wiener系统和其他非线性信号的建模，对非线性振动、非线性系统的解及系统稳定性等作进一步分析。随着精度要求的不断提高和计算机技术的迅速发展，本课题的研究有着重要的理论意义和应用前景。

自适应信号处理技术作为新的、有效的信号处理技术，在通信、雷达、声纳、地震勘探、机械设计、航天、导航系统及生物医学等领域得到广泛的应用。本项目研究了有色噪声干扰的多变量非线性信号的建模，对误差变量模型提出了Frisch 的信号处理方法和递推的Frisch 算法，给出了EIV建模的自适应算法和系统相关分析方法。提出了曲面建模优化、离散制造系统优化、多任务系统优化等优化建模算法。研究了基于时序逻辑电路延迟系统的建模，利用时序逻辑建立电路延迟自动检测。分析了复合推理框架语义，给出了攻击强度和支持强度的建模、漏洞分析和安全加固方法，通过可满足度的分析和推理给出了错误信号错误诊断和容错检测。研究了组合构件系统和异步反应系统形式化建模，给出了时序逻辑到自动机的有效转换算法，提出了PLC系统形式化建模与检测和软件系统模块建模与形式化检测方法。在该项目的研究过程中，取得一系列研究成果。发表论文50篇，其中SCI期刊论文23篇，EI论文42篇。培养研究生30多名，其中博士毕业5名，硕士毕业19名。申请发明专利两项。