登录
首页 » Others » sf.tar

sf.tar

于 2011-01-25 发布 文件大小:611KB
0 232
下载积分: 1 下载次数: 4

代码说明:

  携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的(Examples of proof carrying code, directly after the installation to run coq, entry-level)

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • BaldurssonStefanMSc
    BLDC Motor Modelling and Control – A Matlab® /Simulink® Implementation
    2010-07-09 05:35:46下载
    积分:1
  • wavelet
    根据小波的分解算法与重构算法来实现小波的分解与重构(Algorithm based on wavelet decomposition and reconstruction algorithm to achieve the wavelet decomposition and reconstruction)
    2009-06-05 09:17:48下载
    积分:1
  • PSK
    说明:  实现PSK调制的详细过程,对学习很有帮助,必须顶(PSK modulation to achieve the detailed process, helpful for learning to be top)
    2011-04-16 10:57:16下载
    积分:1
  • chaos-time-series-prediction
    混沌时间序列多步自适应预测方法,非常有用,采用自适应算法,比局部算法要准确(chaos time series prediction)
    2013-12-15 19:49:46下载
    积分:1
  • MRI
    Model Predictive Control based on linear models is widely used in the process Industry.
    2015-04-04 10:00:21下载
    积分:1
  • Simulated-Annealing-of-matlab-matlab
    Simulated Annealing of matlab
    2013-01-14 11:48:49下载
    积分:1
  • Rayleigh_Doppler_multiPath
    锐利衰落信道的多普勒多途信号的仿真分析,写成了函数的形式,适合仿真时直接使用(multi way signal)
    2011-10-08 15:40:47下载
    积分:1
  • oneuserenergydetection
    性能最好的单用户能量检测频谱感知,都是最好的东西,曲线和理论值进行比较,效果明显。欢迎批评指正。(The best performance of a single-user energy detection spectrum sensing, are the best thing, curves and theoretical values ​ ​ are compared, the effect is obvious. Welcome criticism.)
    2014-11-13 18:58:00下载
    积分:1
  • FUZZY_CONTROL
    1/4半自动悬架,matlab/simulink仿真(1/4 semi-automatic suspension, matlab/simulink simulation)
    2020-06-29 02:00:01下载
    积分:1
  • Binary-Image
    Matlab 的图形化界面设计,主要功能包括打开一幅图像,并对其进行二值化处理,显示结果。(The GUI of matlab.It can open an image and use the method of mage binaryzation to process it.At last,give us the result.)
    2014-01-12 11:41:15下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载