-
sf.tar
携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的(Examples of proof carrying code, directly after the installation to run coq, entry-level)
- 2011-01-25 20:26:53下载
- 积分：1
-
LS_SVM
最小二次支持向量机的matlab工具箱_LS_SVM,请试用(Minimum secondary support vector machine matlab toolbox _LS_SVM, please try)
- 2014-10-22 13:31:07下载
- 积分：1
-
dynamics
关于matlab的一些知识，希望对大家有用。(Some knowledge on matlab, I hope to be useful.)
- 2011-10-20 22:37:24下载
- 积分：1
-
call-lda
it is calll for lots of data set for lda
- 2013-04-29 22:22:54下载
- 积分：1
-
IEEE
Article for use in porwer systems implemented in Matlab
- 2012-01-31 20:54:07下载
- 积分：1
-
TVAC_PSO
TVAC-PSO.m code using Matlab
- 2016-04-14 21:01:06下载
- 积分：1
-
multistage-Wiener-filtering
该文件中包含基于维纳滤波原理的多级维纳滤波算法的完整过程，主要用于数据以及信号的处理(This file contains the complete treatment process multistage Wiener filtering algorithm based on the principles of the Wiener filter, used primarily for data and signals)
- 2016-05-31 09:52:27下载
- 积分：1
-
sdarticle2
since direct jornal English
- 2011-07-10 16:47:33下载
- 积分：1
-
Gauss
高斯伪谱法求解的弹道，希望对大家有用的！代码比较复杂，但是可以运行。(Gauss pseudo spectral method for solving the trajectory, we hope to be useful! Code is more complex, but can be run.)
- 2016-08-12 17:50:12下载
- 积分：1
-
GAljgh
基于遗传算法的移动机器人路径规划研究,该论文在分析了目前各种路径规划方法优缺点的基础上，选择遗传算法来解决静态和动态环境下移动机器人的路径规划问题。
(Based on genetic algorithms for mobile robot path planning studies, the paper analyzed the current advantages and disadvantages of various methods of path planning based on the choice of genetic algorithm to solve the static and dynamic environment of mobile robot path planning.)
- 2008-05-07 17:22:00下载
- 积分：1
