-
sf.tar
携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的(Examples of proof carrying code, directly after the installation to run coq, entry-level)
- 2011-01-25 20:26:53下载
- 积分:1
-
chap10
图像分割算法的Matlab源程序,内有不少源代码(Image segmentation algorithm Matlab source code, there are a lot of source code)
- 2010-05-16 15:37:01下载
- 积分:1
-
Rayleigh_Fading
瑞利衰落仿真编写和瑞利衰落包络的编程,内有详细说明(The preparation of Rayleigh fading simulation programming Rayleigh fading envelope)
- 2010-08-10 09:28:24下载
- 积分:1
-
newmarkb
用于求解基于动力学模型的机械系统动力学的newmark b方法(Newmark b method for solving dynamics of mechanical systems based on dynamic models)
- 2019-03-11 16:39:52下载
- 积分:1
-
PSOPLBG0316
基本蜂群的另一种实现形式~~~~~~~~~~~~~~~~~~(basic ABC)
- 2012-05-08 09:21:54下载
- 积分:1
-
global-optimization-toolbox
全局优化工具箱,详细说明优化工具箱的使用及注意事项(Global Optimization Toolbox, Optimization Toolbox with detailed instructions and precautions)
- 2013-08-08 12:31:16下载
- 积分:1
-
wolfram
Wolfram cellular automaton
- 2012-12-02 16:12:46下载
- 积分:1
-
emg_filtering
实现对肌电信号的预处理
主要是设计了两个滤波器,高通滤波器和500Hz低通滤波器,带宽可调(emg filtering )
- 2020-10-18 15:57:26下载
- 积分:1
-
IDASimulation
本文针对SLAM数据关联中使用最为广泛的最近邻方法作了改进,利用特征估计位置与载体预测位置之间的欧氏距离计算代替了全部特征与每个量测之间的马氏距离计算,避免了大量的矩阵乘法计算。该算法简单易行,降低了算法的计算复杂度,有利于SLAM算法的实时执行,且关联效果与全局最近邻法相同(In this paper, SLAM data association in the most widely used methods of improving the nearest neighbor, using the characteristics of the estimated location and the location of vector prediction Euclidean distance between the calculation instead of all the characteristics of each measurement between the Mahalanobis distance calculation, to avoid a large number of matrix multiplication calculation. The algorithm is simple, the algorithm to reduce computational complexity and is conducive to the implementation of real-time SLAM algorithm, and the effects associated with the same overall nearest neighbor method)
- 2008-12-19 11:09:48下载
- 积分:1
-
jag
papers on denoising the speckle noise
- 2011-01-25 20:45:39下载
- 积分:1