-
sf.tar
携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的(Examples of proof carrying code, directly after the installation to run coq, entry-level)
- 2011-01-25 20:26:53下载
- 积分:1
-
Folder-1
i am an mtech student. i have to get simulink programs for my project.
- 2012-02-08 17:50:12下载
- 积分:1
-
emission
实现PET/SPECT 幻影图像regression的matlab源代码
algorithms for Poisson emission tomography PET/SPECT/ Poisson regression
eml_ emission maximum likelihood
eql_ emission quadratically penalized likelihood
epl_ emission penalized likelihood(The realization of PET/SPECT images Mirage regression of matlab source code algorithms for Poisson emission tomography PET/SPECT/Poisson regression eml_ emission maximum likelihood eql_ emission quadratically penalized likelihood epl_ emission penalized likelihood)
- 2008-12-09 15:18:46下载
- 积分:1
-
严重降水指数是干旱分析领域的重要指标SPI_DROUGHT
严重降水指数是干旱分析领域的重要指标 Severity Precipitation Index is very useful for drought analysis field
- 2020-07-07 23:58:57下载
- 积分:1
-
yanshichengxu
说明: 实现演示程序!里面有很多关于程序的演示的源程序!(The demo program! There are many presentations on the program source code!)
- 2009-09-03 22:23:24下载
- 积分:1
-
Zernike
用MATLAB计算Zernike矩,用于不变量特性的研究。适用于图像处理。(Using MATLAB computing Zernike moments for invariant features of. Applied to image processing.)
- 2010-05-27 11:24:20下载
- 积分:1
-
双馈感应风力发电机组传动链系统simulink仿真模型
双馈感应风力发电机组传动链系统simulink仿真模型...................(wind turbine drive chain system simulink model........)
- 2013-12-26 09:38:39下载
- 积分:1
-
GNCtoolbox
适合做GNC控制的各位,一个非常有用的工具箱,可实现一些简单功能(GNC suitable control of you, a very useful toolbox can achieve some simple functions)
- 2013-11-27 14:02:04下载
- 积分:1
-
mlp
MLP with wieght and multilayer
- 2010-12-01 04:32:31下载
- 积分:1
-
chap5
滑模变结构控制的MATLAB仿真实例之二 (Sliding Mode Variable Structure Control of MATLAB simulation examples of the Second)
- 2008-06-12 18:51:46下载
- 积分:1