登录
首页 » Others » sf.tar

sf.tar

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

代码说明:

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

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

发表评论

0 个回复

  • DTC_sector_selector
    algorithm for flux sector selection for direct torque control
    2009-11-17 08:36:00下载
    积分:1
  • integrator
    this code for integrator for 8 bit signal
    2010-01-07 16:06:04下载
    积分:1
  • H264_baseline
    通过h.264实现的baseline版本的视频编码,利用matlab实现,运行较为简单(Achieved through h.264 baseline version of the video coding, using matlab implementation, operation is simple)
    2014-10-29 14:48:52下载
    积分:1
  • capacity
    信息论中计算信道容量的matlab编程代码,经测试可用。(Information theory to calculate the channel capacity matlab programming code, have been tested.)
    2013-12-20 20:35:06下载
    积分:1
  • 分别用Ansys和Matlab建立的混凝土骨料随机投放模型 yantubbs-ConcreteBone
    分别用Ansys和Matlab建立的混凝土骨料随机投放模型,建立二维,三维数值混凝土模型,对分析混凝土的破坏机理具有重要参考价值。(Concrete aggregates were used Ansys and Matlab established random delivery model, a two-dimensional, three-dimensional numerical model of concrete, concrete analysis of the failure mechanism has important reference value.)
    2020-10-27 19:59:58下载
    积分:1
  • EKF
    说明:  模拟拓展卡尔曼滤波的计算,雅各比矩阵的运算(Extended Kalman Filter)
    2020-06-20 22:20:01下载
    积分:1
  • RoundWave
    圆形波路径规划算法,从起始点通过用圆形波传递到达目标点的方法来获得连通路径。适用于已知地形的栅格图。(Circular wave path planning algorithms, from the starting point by using a circular wave transmission methods to reach the target point to get connectivity path. Applicable to the known topography of the grid map.)
    2008-03-18 20:07:14下载
    积分:1
  • examples
    徐荣桥《结构分析的有限元法与Matlab程序设计》源程序(Xu Rongqiao Structural Analysis of the finite element method and Matlab Programming source code)
    2010-02-22 14:21:49下载
    积分:1
  • tuxiangfenge
    说明:  利用类间方差阈值算法实现图像的分割处理;利用形态学处理进行处理结果修正。 (Threshold using Otsu algorithm image segmentation use of morphological processing for processing the results of correction.)
    2011-04-11 16:48:03下载
    积分:1
  • DCMOTOR
    matlab code for dc motor design 2
    2012-09-15 17:32:12下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载