-
sf.tar
携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的(Examples of proof carrying code, directly after the installation to run coq, entry-level)
- 2011-01-25 20:26:53下载
- 积分:1
-
ICLS
一种改进的混沌算法,结合进化算法进行改进,利用logistic映射进行改进(An improved chaotic particle algorithm to improve the diversity of PSO)
- 2013-11-19 12:20:48下载
- 积分:1
-
trellis
set up the trellis with code generator G in binary matrix form.
- 2015-02-20 16:03:41下载
- 积分:1
-
Zoom_FFT
细化谱是信号处理领域重要的一种分析方法,这是一个matlab的细化谱程序,并且配有详细的注释(Spectrum is an important refinement of an analytical method of signal processing, which is a refinement of the spectrum matlab program, and with detailed notes)
- 2020-06-29 17:20:02下载
- 积分:1
-
doc1
Supporting Document for Support Vector Machine matlab Coding
- 2009-11-06 15:17:47下载
- 积分:1
-
MATLAB6.0shuxueshouche
说明: matlab数学手册,比较适合有基础的读者使用,适合数学分析或者数据分析(matlab mathematics manuals, more suitable for readers based on the use of mathematical analysis or data analysis for)
- 2010-04-25 10:52:14下载
- 积分:1
-
intraction-between-STK-and-matlab
一个matlab与stk交互的例子,实现两个软件的互联(an example of
interaction between stk an matlab)
- 2013-10-14 15:50:07下载
- 积分:1
-
bfsk
Binary frequency shift keying
- 2013-11-03 01:22:02下载
- 积分:1
-
hopfield
this is a matlab implementation for hopfield network
- 2010-11-24 04:11:34下载
- 积分:1
-
QPSK
该程序源代码实现了matlab通信系统性能的仿真,调制方式QPSK仿真(The source code implements communication system simulation matlab, modulation QPSK simulation)
- 2010-05-21 20:08:25下载
- 积分:1