登录
首页 » Others » sf.tar

sf.tar

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

代码说明:

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

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

发表评论

0 个回复

  • levy
    some matlab tools. You can open it to have a look
    2010-05-17 23:34:10下载
    积分:1
  • program
    风向驾驶模型,让驾驶员在驾驶过程中遇到的风速进行仿真。(Wind driving model, so that the driver in driving wind encountered during simulation.)
    2013-08-02 14:57:58下载
    积分:1
  • dingweichengxu
    故障定位程序 主要应用于交流故障测距 在MATLAB环境下进行编译 (Fault Locator)
    2014-10-27 10:44:43下载
    积分:1
  • DCT_DWT
    利用离散余弦变换DCT和小波变换DWT实现对图片的变化域压缩并进行仿真以及性能分析(Using the discrete cosine transform DCT and wavelet transform DWT realization of the picture changes and simulated field compression and performance analysis)
    2014-12-01 20:59:41下载
    积分:1
  • 250degree
    说明:  低循环疲劳试验数据的异方差回归处理。可以获得材料的疲劳参数(Low cycle fatigue test data, heteroscedastic regression treatment. Material fatigue parameters can be obtained)
    2011-03-15 16:24:02下载
    积分:1
  • bend-mode
    说明:  计算弯曲波导的本征模厂分布,可以调整曲率半径和波导参数(calculate the bending waveguide enginmode,the radius and waveguide parameters is reconfigurable)
    2010-05-04 17:05:33下载
    积分:1
  • mimo-ostbc-simulink
    基于matlab-simulink的mimo仿真模型,使用了ostbc编码技术,可以看到ber与锐利衰落的关系,成功运行。(Mimo simulation model based on Matlab-Simulink of ostbc coding techniques, you can see ber, and the sharp decline of the relationship, and run successfully.)
    2013-04-24 11:39:39下载
    积分:1
  • quanguoshumolunwen
    2007年全国大学生数学建模获奖论文所需程序代码,其中有较详细的matlab编程,应该有些用处吧(Mathematical Contest in Modeling 2007, papers required for award-winning code, including more detailed matlab programming, it should be of some use)
    2010-09-07 13:27:14下载
    积分:1
  • meijao
    毕设内容,高光谱图像基本处理,多元数据分析的主分量分析投影,实现六自由度运动学逆解算法。( Complete set content, basic hyperspectral image processing, Principal component analysis of multivariate data analysis projection, Six degrees of freedom to achieve inverse kinematics algorithm.)
    2016-10-25 16:57:14下载
    积分:1
  • shanon2
    this code receive a string from input and calculation shanon code
    2012-05-19 01:45:12下载
    积分:1
  • 696518资源总数
  • 104349会员总数
  • 32今日下载