登录
首页 » Others » sf.tar

sf.tar

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

代码说明:

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

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

发表评论

0 个回复

  • towpendlqr
    关于固高科技有限公司的二级倒立摆lqr算法仿真及matlab源程序(With regard to solid high-tech Co., Ltd. double inverted pendulum LQR algorithm simulation and matlab source)
    2020-11-25 15:49:32下载
    积分:1
  • spacevector
    This is a MATLAB Simulation for implementing space vector modulation method using EMBEDED Function in simulink MATLAB.
    2011-05-11 22:39:46下载
    积分:1
  • fft
    混沌时间序列算法中进行FFT变换程序,求解平均周期及功率谱。(Chaotic time series algorithm the FFT transform procedure for solving the average cycle power spectrum.)
    2012-09-17 11:05:27下载
    积分:1
  • 蒙特卡洛—matlab
    蒙特卡洛算法的例程,包含所需的全部相关程序(Monte Carlo algorithm routine)
    2020-12-16 17:29:12下载
    积分:1
  • sl_quadrotor
    说明:  四旋翼飞行器模拟仿真,可以调整预定轨迹,无人机六自由度仿真代码(Four - rotor aircraft simulation,can adjust the predetermined trajectory,Uav six degrees of freedom simulation code)
    2020-12-30 16:15:03下载
    积分:1
  • GAMP
    matlab 匹配追踪算法,garbor原子的,非常好用(matlab matching pursuit)
    2021-04-08 15:29:00下载
    积分:1
  • Kalman_filter
    卡尔曼滤波的递推程序源码,是用MATLAB实现的,非常有用(source code of Kalman filter)
    2009-06-05 05:52:16下载
    积分:1
  • zcyfft
    说明:  实现HHT变换过程中一个重要过程--经验模态变换(HHT transform EMD empirical mode decompoeition)
    2011-03-20 14:23:07下载
    积分:1
  • matlabbiancheng
    说明:  matlab编程最好的入门教程,相当清晰,推荐学习!(The best entry-matlab programming tutorials, very clear recommendation to learn!)
    2010-04-20 10:39:02下载
    积分:1
  • gv
    说明:  matlab 电子测量 包括误差分析的很多函数(matlab dianziceliang)
    2009-03-12 07:13:43下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载