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