-
sf.tar
携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的(Examples of proof carrying code, directly after the installation to run coq, entry-level)
- 2011-01-25 20:26:53下载
- 积分:1
-
power-control
功率控制函数代码描述细节。博弈论的应用。。。。。。。。。。。(Power Control)
- 2013-11-10 16:58:09下载
- 积分:1
-
source-test21pm7i
基于matlab编程开发的一段代码,实现并测试通过了nqKdOJ流程的nqKdOJ功能,适用于初学nqKdOJ者学习该算法的原理,已经编译通过了,测试正常.
(Matlab-based programming development of a piece of code, implemented and tested by thenqKdOJ process functions for beginners to learn sfs principle of the algorithm has been compiled through, the tests are normal.
)
- 2015-12-19 23:59:29下载
- 积分:1
-
A+
说明: Hardware book for students
- 2010-08-15 19:44:15下载
- 积分:1
-
SpecViewer
使用matlab仿真hitran,用以计算气体吸收系数计算(Use matlab simulation hitran, to calculate gas absorption coefficient calculation)
- 2009-12-20 18:38:56下载
- 积分:1
-
hand_guesture
Matlab based guesture tracking
- 2015-02-03 01:46:13下载
- 积分:1
-
EMD工具箱
说明: EMD分解matlab小程序,里面包含有EMD工具箱,非常的好用。(EMD decomposes a small matlab program, which contains an EMD toolbox, which is very easy to use.)
- 2021-03-04 17:10:05下载
- 积分:1
-
QAM16
16qamMATLAB环境下16QAM调制及解调仿真程序说明(16qamMATLAB environment 16QAM modulation and demodulation simulation program description)
- 2011-10-29 21:13:32下载
- 积分:1
-
DSP_RADAR
主要用于实现雷达信号的处理,对四目标进行识别测速(Mainly used to implement the processing of radar signals for the four target recognition speed)
- 2014-12-23 09:55:30下载
- 积分:1
-
pll-and-dq-transformation
三相锁相环和dq变换,用于电力系统中的网络同步(Phase locked loop and dq transform for power system network synchronization)
- 2013-06-11 08:04:10下载
- 积分:1