-
NuSMV-2.5.1.tar
这是模型检测的一个最新版本,希望对大家有所帮助。(This is one of the latest version of model checking, we want to help.)
- 2010-11-11 15:32:08下载
- 积分:1
-
Image_denoising_using_wavelet
This a self-contained package including the 2-D DWT and inverse DWT
routines. The included matlab routines are used to generate noisy example
images and disply the result of denoising.
- 2007-10-26 18:54:42下载
- 积分:1
-
3D_Math_PerlinNoise2D_Ocean
柏林噪声海洋模拟
柏林噪声海洋模拟
柏林噪声海洋模拟
柏林噪声海洋模拟(perlin noise ocean simulation
perlin noise ocean simulation
perlin noise ocean simulation)
- 2014-12-20 18:29:06下载
- 积分:1
-
[Kernighan]_The_C_Programming_Language(BookFi
The computing world has undergone a revolution since the publication of The C
Programming Language in 1978. Big computers are much bigger, and personal computers
have capabilities that rival mainframes of a decade ago. During this time, C has changed too,
although only modestly, and it has spread far beyond its origins as the language of the UNIX
operating system.
- 2015-03-29 20:26:51下载
- 积分:1
-
grid-supression-in-frequency-domain
去处干涉条纹最有效的频域消除法,非常实用,效果极佳。(supress grid by frequency domain, very practical with high efficency)
- 2014-02-03 21:51:36下载
- 积分:1
-
source
IR 解码与编码相关,能用一个IR来控制所有的设备控制(IR DECOD)
- 2014-09-05 11:25:45下载
- 积分:1
-
MPC_project_dehghani
This mfile is the simulation of CSTR control with new GPC
- 2013-07-26 16:16:16下载
- 积分:1
-
QDPSK-m
QDPSK调制解调源码,用于matlab仿真分析。(QDPSK modem source code for the matlab simulation.)
- 2010-06-07 14:24:19下载
- 积分:1
-
hilbert-cPP
实现hilbert变换,经过与matlab比较验证,结果相同(Achieve hilbert transform, through comparison with matlab verification, the same result)
- 2011-09-10 22:14:48下载
- 积分:1
-
Idegnwenxians
等温线,matlab等温线经典程序,内置数据-IIsotherms ,
(The isotherm, matlab isotherm classic program, built-in data-IIsotherms,)
- 2012-08-22 14:41:32下载
- 积分:1