资源列表
排序选择:
[matlab例程] paowuxianfa
说明:抛物线法求非线性函数 间接求法 迭代法-Parabola method for solving nonlinear function of the indirect method for finding iterative method<gushiyong> 在 2025-10-02 上传 | 大小:1kb | 下载:0
[书籍源码] SAT
说明:SAT问题也称为合取范式的可满足问题,一个合取范式形如:A1∧A2∧…∧An,子句Ai(1≤i≤n)形如:a1∨a2∨…∨ak,其中ai为文字,为某一布尔变量或该布尔变量的非。SAT问题是指:是否存在一组对所有布尔变量的赋值(TRUE或FALSE),使得整个合取范式取指为真。-SAT problem, also known as conjunctive normal to meet a conjunctive normal form: A1 ∧ A2 ∧ ... ∧ An clause Ai (<曾杰> 在 2025-10-02 上传 | 大小:574kb | 下载:0
[数学计算/工程计算] beamforming
说明:阵列信号处理\数字波束形成器分辨率的提高-Array signal processing, a digital beamformer can improve the resolution<李静> 在 2025-10-02 上传 | 大小:647kb | 下载:0
[JSP源码/Java] applicationconext
说明:J2EE Spring 配置文件,完整版-J2EE Spring 配置文件<yangzhou> 在 2025-10-02 上传 | 大小:1kb | 下载:0