双递归相关硕士博士期刊学术论文 - 搜论网

双递归相关论文

基于高级逻辑的交叉算子的形式化研究

随着计算机系统规模的迅速增大,系统设计实现的正确性问题越来越严峻。形式化方法的出现,成为了解决该问题的一个重要手段。它运用......

学位

形式化方法定理证明遗传算法交叉算子交叉操作双递归 HOL4系统

浅海条件下主动声呐目标探测若干方法研究

为了提高主动声呐系统对目标的探测能力，本文以浅海水声环境为应用场合，以线谱信号为主线，分别针对高分辨能力声呐信号设计及其检测方......

学位

主动声呐线谱信号波形设计回波检测频率估计双递归同态滤波

看过本文同时还关注