可满足性

可满足性(satisfiability)是1993年公布的数学名词。

资源总数
500

可满足性 全部资料 500 份

指出了非线性动态信号参数辨识的重要性;分析了目前采用的方法的不足;对非正交复Morlet小波满足Mercy条件和再生性的命题作了证明;用复Morlet小波构建出一种核函数,与主分量分析方法相结合,对非线性动态信号进行参数辨识和预测;仿真结果...

2016-06-27 59 可满足性