-
sf.tar
携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的(Examples of proof carrying code, directly after the installation to run coq, entry-level)
- 2011-01-25 20:26:53下载
- 积分:1
-
work3
课本ID3算法 matlab上实现课本上对天气的预测(Textbooks ID3 algorithm matlab realize)
- 2013-04-15 17:21:33下载
- 积分:1
-
22674394levelset-segmentation-vc
颜色空间的转换应用matlab编写的程序 很好用的程序(color space change use matlab wirite it is a good program)
- 2013-11-29 18:49:16下载
- 积分:1
-
rayleigh-channel-QPSK
本程序是QPSK信号在瑞利衰落信道下的仿真,已经过本人验证,适合初学者(This procedure is QPSK signal simulation in Rayleigh fading channel, I have been verified, suitable for beginners)
- 2013-12-17 16:59:01下载
- 积分:1
-
Kalman_Fliter_1960
本文来自卡尔曼发表的一篇论文,分析维纳滤波不足的基础上,发表的最优估计算法(This article from the Kalman published a paper, analysis based on the lack of Wiener filtering, published in the optimal estimation algorithm)
- 2010-03-07 10:20:25下载
- 积分:1
-
MATLAB--curve-fitting
说明: MATLAB 即有内建的解决很多通常遇到的曲线拟合问题的能力, 又具有附加这方面的
产品。本技术手册描述了几种拟合给定数据集的曲线的方法(MATLAB built-in solution that is often encountered in many curve fitting problems, but also has additional products in this area. This technical manual describes several data sets fit the curve of a given method)
- 2011-04-11 19:24:06下载
- 积分:1
-
Genetic-algorithm
遗传算法程序matlab源程序,txt文件内打开就是(Genetic algorithm matlab source, open txt file is)
- 2012-09-07 16:39:27下载
- 积分:1
-
matab-code-quantum-pso-algorithm
The quantum particle swarm optimization (QPSO) applies the quantum computing theory to particle swarm optimization, and thus has the advantages of both quantum computing theory and particle swarm optimization, so it has a faster convergence rate and a more accurate convergence value.
- 2021-03-18 10:49:20下载
- 积分:1
-
MATLAB-for-convolution-integral
这是有关卷积积分的matlab程序介绍,做仿真实验前希望认真读懂。(This is the convolution integral of the matlab program, do the simulation experiments before that carefully read.)
- 2020-09-15 16:17:55下载
- 积分:1
-
bp
做生成数(使用0.1做因子),之后13年的数据按统计方法标准化后输入,训练,仿真,对比结果。(Do generate a few (using 0.1 to do factor), after 13 years of statistical methods in accordance with the standardization of data input, training, simulation, comparing the results.)
- 2007-12-15 23:21:41下载
- 积分:1