登录
首页 » Others » sf.tar

sf.tar

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

代码说明:

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

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

发表评论

0 个回复

  • obstacle_detection
    obstacle avoidance,this document for obstacle avoidance for robot control
    2011-02-09 15:56:54下载
    积分:1
  • line_petrum_tiqu1
    高信噪比实测数据线谱提取,使线谱提取的一种典型方法(high signal-to-noise ratio measured spectral line data extraction, spectral lines from a typical method)
    2007-06-29 16:10:12下载
    积分:1
  • dec2bin
    说明:  matlab编写,文件1将十进制数据转换成二进制数据的小程序;文件2将matlab的mat数据转成适用FPGA的mif格式(matlab write, file a decimal data into binary data of small programs file 2 to the mat matlab data into the FPGA-mif format for)
    2011-03-01 10:10:12下载
    积分:1
  • K-SVD
    k-svd算法在表情识别方面的实现和实例应用,附有图片和文章。(k-svd algorithm for face recognition on the implementation and application examples, with pictures and articles.)
    2013-08-21 21:01:52下载
    积分:1
  • adaptive_filtering_rls_iir_delaying
    it s really good i mean very very good what I meant is it s really good
    2014-10-25 17:28:56下载
    积分:1
  • longbeige
    龙贝格积分,MATLAB程序,计算方法作业,内有说明(Romberg integration, MATLAB procedures, calculation methods work, there are instructions)
    2015-03-26 14:12:50下载
    积分:1
  • pid
    单纯形法整定pid参数,simulink环境,单纯形法很依赖初值的选取,在canshu.m中输入初始值。(Simplex method pid tuning parameters, simulink environment, simplex method is very dependent on the selection of initial value, in canshu.m enter the initial value.)
    2009-02-04 18:51:24下载
    积分:1
  • enhgrayscaleimage
    this code to enhanc grayscale images
    2010-09-29 14:44:25下载
    积分:1
  • frequency_extrapolated_method
    说明:  中间的程序是外推程序,......... 但是下面的程序仿真部分和外推部分的标号有写出入,因为不是同一时期编的 请大家注意: 程序中用的是频域外推法,在葛德彪的书中有详细的介绍。(Central procedure is the extrapolation procedure ,......... but some of the following procedures for simulation and extrapolation part of the labeling has to write out, because they are not made during the same period the U.S. Please Note: The procedure used is the frequency of extra-territorial extrapolation method, in the GE De-biao book has a detailed introduction.)
    2008-08-29 10:10:08下载
    积分:1
  • crystal-scatter
    程序用于PET仿真晶体散射的计算。基于Gate仿真软件。程序简单易懂,很有参考价值。(The code is used to calculate the crystal scatter of PET simulation.)
    2011-08-31 15:19:36下载
    积分:1
  • 696518资源总数
  • 106164会员总数
  • 18今日下载