-
sf.tar
携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的(Examples of proof carrying code, directly after the installation to run coq, entry-level)
- 2011-01-25 20:26:53下载
- 积分：1
-
STBC-coding-mimo
capacity of multi input multi output
- 2011-06-15 23:34:10下载
- 积分：1
-
endpoints
matlab endpoints.rar 函数源代码(matlab endpoints.rar functions)
- 2020-12-03 11:19:25下载
- 积分：1
-
antenna_scattering_by_MOM
基于矩量法的程序，主要计算天线的散射问题(the program is about scattering of antenna base on MOM )
- 2010-10-26 11:19:41下载
- 积分：1
-
xbfxMATALBR2007
说明： 这是基于MATLAB系统上开发的,应用于小波分析方面,很有用的程序模块,书名为"MATLAB在小波分析中的应用"(This is based on the MATLAB system development, application of wavelet analysis, very useful program modules, entitled )
- 2008-10-05 10:44:51下载
- 积分：1
-
2
说明： Adaptive Watermarking
- 2014-10-09 12:36:07下载
- 积分：1
-
HS_Code_Matlab
Rosenbrock function matlab program
- 2013-03-07 20:56:08下载
- 积分：1
-
matlabSerial
Matlab编写的用于接收串口数据并进行存储的程序。自动清屏，自动存储。存储格式为txt。(Matlab prepared for receiving serial data and stored procedures. Automatically clear the screen, automatically stored. Storage format is txt.)
- 2020-11-11 11:29:45下载
- 积分：1
-
ma
说明： 能够用来求解部分关利用遗传算法的优化模型。。(Relations can be used to solve some of the optimization model using genetic algorithms. .)
- 2011-02-21 13:17:56下载
- 积分：1
-
mubiaogenzong
采用一种新的方法对目标进行跟踪，有很好的跟踪精度，可用于军事领域。(Using a new method for target tracking, a very good tracking precision, can be used in the military field.)
- 2011-09-17 21:12:17下载
- 积分：1
