登录
首页 » Others » sf.tar

sf.tar

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

代码说明:

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

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

发表评论

0 个回复

  • lms_sys_1
    LMS算法的最简单模型,可以参考下。在噪声消除等主动噪声控制中有应用(The lms which is used in some signal procesing)
    2010-01-25 16:23:57下载
    积分:1
  • COM-based-Hybrid
    这个文件简述了一种混合编程方法 基于组件对象模型(组件对象模型, COM),用Matlab VBA。 (The article introduced a hybrid programming method based on Component Object Model (Component Object Model, COM) with Matlab and VBA. )
    2012-05-20 10:53:08下载
    积分:1
  • Differential-Equations
    采用matlab解微分方程,讲解比较详细,值得看看(Using matlab for solving differential equations, to explain in more detail, is worth a look)
    2013-10-24 23:23:18下载
    积分:1
  • CSharp
    C# code for software engineer and student who want to learn
    2014-01-02 21:01:08下载
    积分:1
  • Delay
    Create a delay using C language.Tool used is MPLAB
    2014-02-01 21:11:06下载
    积分:1
  • 孤子分布的序 RobustSolitonDistribution
    孤子分布的程序,可用于生成LT码或Raptor码的度分布。(Soliton distribution of the program can be used to generate the the LT code or Raptor code distribution.)
    2013-04-25 19:23:32下载
    积分:1
  • sfekf
    扩展卡尔曼滤波与渐消卡尔曼滤波的应用与对比(the comparison of fading kalman filter and extended kalman filter )
    2021-03-12 17:29:25下载
    积分:1
  • longteng4
    Welch法:Welch法对Bartlett法进行了两方面的修正:一是选择适当的窗函数w(n),并在周期图计算前直接加进去,加窗的优点是无论什么样的窗函数均可使谱估计非负。二是在分段时,可使各段之间有重叠,这样会使方差减小。(Welch method: Welch method of Bartlett method amendments in two respects: First, select the appropriate window function w (n), and in the cycle before CALPHAD directly incorporated, plus the advantage of the window, no matter what kind of window function can be so spectral estimation of non-negative. Second, when in subparagraph can overlap between paragraphs, this would reduce the variance.)
    2007-12-19 11:08:18下载
    积分:1
  • network_formation
    network formation in wireless sensor network
    2011-06-01 20:17:39下载
    积分:1
  • rgb2hsi
    彩色图像处理中RGB分量向HSI分量的转换(Color image processing components to HSI conversion RGB components)
    2014-11-28 10:17:31下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载