登录
首页 » Others » sf.tar

sf.tar

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

代码说明:

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

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

发表评论

0 个回复

  • ARguocheng
    AR过程的线性建模与功率谱估计,AR过程的线性建模与功率谱估计,AR过程的线性建模与功率谱估计(The linear AR process modeling and power spectrum estimation, AR linear process modeling and power spectrum estimation, AR linear process modeling and power spectrum estimation)
    2010-11-21 11:33:59下载
    积分:1
  • vtc_toolbox
    VTC file is the file format of the Brainvoyager. The FMRI matchine scan human s brain and get the vtc data. This toolbox can help you to read the vtc file into matlab.
    2008-08-23 02:35:47下载
    积分:1
  • sovadec
    Soft Input Soft Output Viterbi Algorithm
    2007-05-10 02:41:25下载
    积分:1
  • fengjiguangfujianmo
    风机光伏的simulink建模,能够很好的仿真风机与光伏的特性,可以扩展为任意微网或者配网中的分布式发电模块(Fan PV simulink modeling, simulation can be a good fan and photovoltaic properties, can be extended to any micro-network or distribution network of distributed generation module)
    2013-11-19 09:45:32下载
    积分:1
  • bnb20
    在实际应用着经常需要求解非线性整数规划或混合规划问题,该领域中的一种常用的算法是分支定界(branch and bound)算法,但是matlab工具箱中没有相关的函数。荷兰Groningen大学的Koert Kuipers编写的的BNB20工具箱可以用来求解一般非线性整数规划问题(In practice, frequent need to solve nonlinear integer programming or mixed programming problem, the area a popular algorithm is the branch and bound (branch and bound) algorithm, but the matlab toolbox functions are not related. Netherlands, Groningen University, prepared the BNB20 Koert Kuipers toolbox can be used to solve general nonlinear integer programming problem)
    2010-09-21 21:03:37下载
    积分:1
  • xianxing
    说明:  基于matlab线性幅度调制系统的仿真设计(Matlab linear amplitude modulation system based on the simulation design)
    2011-04-09 16:37:56下载
    积分:1
  • audio_compression
    audio compression matlab code
    2009-04-05 04:05:00下载
    积分:1
  • guijiguihua
    机器人轨迹规划:将手部运动轨迹换算成关节空间;对关节空间进行插值(Robot trajectory planning: the trajectory of the hand is converted into the joint space joint space interpolation )
    2012-03-26 09:29:04下载
    积分:1
  • A-example-of-MATLAB-GUI-program
    Matlab界面编程的一个实例, Matlab2008a(A example of MATLAB GUI program)
    2012-04-28 18:41:07下载
    积分:1
  • short_road
    最短路Warshall算法的matlab编程,用于实现最短路问题的求解。(Warshall shortest path algorithm for solving matlab programming, to achieve the shortest path problem. )
    2014-08-25 14:50:56下载
    积分:1
  • 696516资源总数
  • 106627会员总数
  • 16今日下载