-
sf.tar
携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的(Examples of proof carrying code, directly after the installation to run coq, entry-level)
- 2011-01-25 20:26:53下载
- 积分:1
-
fpu_aux
Code to implement some of the FPU auxiliary instructions.
- 2014-09-08 23:03:36下载
- 积分:1
-
NSGA3
some code in matlab programming on NSGA. the code is complete and written using cvx tools. enjoy
- 2016-07-30 19:37:44下载
- 积分:1
-
stress
说明: 这对于计算chut chutiye的摩擦力是一个很好的选择(this is a nice for calculating the friction of chut chutiye)
- 2020-06-23 09:20:02下载
- 积分:1
-
ch53
使用trim分析动态系统的平衡点, matlab(Trim analysis of dynamic systems using the equilibrium point)
- 2009-03-18 15:49:27下载
- 积分:1
-
dpcodev1
基于贝叶斯学习的算法,对一系列信号进行聚类分析(Bayesian learning algorithm based on cluster analysis of a series of signals)
- 2010-12-18 13:00:49下载
- 积分:1
-
logdecoder
ldpc译码算法,采用LOG算法,减少计算复杂度(ldpc decoding algorithm used LOG algorithm, to reduce the computational complexity)
- 2007-02-05 14:39:20下载
- 积分:1
-
taupchange
基于铌酸锂光波导中飞秒光参量放大过程中的脉宽变化及各光波的传播三维图matlab源代码(Based on lithium niobate waveguide femtosecond optical parametric amplification process changes and the light pulse propagation three-dimensional map matlab source code)
- 2013-09-14 00:14:06下载
- 积分:1
-
emg_extract
emg feature extract using matlab
- 2015-06-18 12:36:08下载
- 积分:1
-
wuxianhuawutongji
话务分析软件,多时段统计,方便快捷,便于分析统计( This Program is Designed To Simulate The Smart Antenna System On A BTS Receiver ( Uplink )
General Constraints For Using This Software
Antenna Array Of Four Elements Operating On 2 GHz With A Separation Distance 0.075 Meters
Narrowband ( Uncorrelated Or Partially Correlated ) Signals Are Assumed
An Authentication Code Of 10 Bits Is Sent First
Two Users Are Served Only In The Presence Of Additive White Gaussian Noise Only )
- 2010-05-09 13:48:00下载
- 积分:1