网站首页

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今日下载

sf.tar

0 个回复

热门标签

热门下载