登录
首页 » Others » sf.tar

sf.tar

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

代码说明:

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

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

发表评论

0 个回复

  • test
    一个简单的水平集演化的matlab仿真,带注释。便于初学matlab,图像处理以及水平集的同学学习。(A simple level set matlab simulation, with comments. Easy beginner matlab, image processing and level set of students to learn.)
    2010-06-05 19:04:44下载
    积分:1
  • Voicerecog
    this code contain function and simple program for voice pattern recognition using MELCEPST
    2010-01-01 11:25:29下载
    积分:1
  • 3
    混频系统分析,包括零极点图、单位冲击响应和频率响应(Mixing system analysis, including pole-zero map, unit impulse response and frequency response)
    2013-12-17 11:28:11下载
    积分:1
  • evfpjqnu
    计算加权加速度,单径或多径瑞利衰落信道仿真,Relief计算分类权重,详细画出了时域和频域的相关图,isodata 迭代自组织的数据分析,用MATLAB实现的压缩传感,包括最小二乘法、SVM、神经网络、1_k近邻法,仿真效果非常好。( Weighted acceleration, Single path or multipath Rayleigh fading channel simulation, Relief computing classification weight, Correlation diagram shown in detail the time domain and frequency domain, Isodata iterative self-organizing data analysis, Using MATLAB compressed sensing, Including the least squares method, the SVM, neural networks, 1 _k neighbor method, Simulation of the effect is very good.)
    2016-03-31 20:46:03下载
    积分:1
  • jigeguanyuIIRde-xiaochengxu_2
    目前,MATLAB軟件是只進不出的企業,公司和研究機構,但在更高,從大學生到博士生的學習機構也必須掌握的基本技能是必不可少的計算工具,(At present, the MATLAB software is not only into the businesses, companies and research institutions, but also in institutions of higher learning from college students to doctoral students must master a basic skill is essential computational tools,)
    2012-05-10 20:17:57下载
    积分:1
  • indirect_fuzzy_5
    implementation of fuzzy logic of vector control
    2013-09-12 16:55:49下载
    积分:1
  • vehicular-orginal-report@@@@
    VEHICULAR DELAY TOLERANT NETWORKS-SURVEY
    2013-12-23 23:05:47下载
    积分:1
  • ZF_LF_BER
    多小区MIMO系统ZF和LF预编码方案的性能比较(Multi-cell MIMO system ZF and LF Performance Comparison of pre-coding scheme)
    2011-05-28 14:55:01下载
    积分:1
  • matlab-help
    MATLAB 中文 帮助 菜单(交互式窗口界面) (MATLAB Chinese Help menu (interactive window interface))
    2013-09-24 00:55:08下载
    积分:1
  • L1SRACV
    说明:  压缩感知DOA算法,利用1范数方法进行优化重构,进行方位角估计(Compressed Sensing DOA algorithm, using 1-norm method to optimize reconstruction and azimuth estimation)
    2019-04-17 13:29:05下载
    积分:1
  • 696516资源总数
  • 106423会员总数
  • 9今日下载