fpr

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

Código para simular un controlador PID

radar matlab simulation

floyd algoritm source write in matlab on social neetwork lab

说明：  西储大学数据集时域特征的提取，提取了最大值、最小值、峰峰值、均值、方差、标准差、均方值、均方根值（RMS）、均方误差（MSE）、均方根误差（RMSE）、方根幅值(Time domain feature extraction of data set of Western Reserve University)

power_thyristor.rar,功率电子领域matlab仿真文件，已经验证过，程序运行正常(power_thyristor.rar.rar,Power electronics field matlab simulation file, has already been verified, the normal operating procedures)

实现了粒子群优化bp神经网络在锅炉燃烧优化中的应用，有详细的代码解释，仿真图例，运行时将程序名改为程序内的function命，运行即可(Particle swarm optimization bp neural network applications in boiler combustion optimization, detailed code interpreter simulation legend, change the name of the program to function within the program life runtime can run)

水声定位，四元阵超短基线，的定位算法仿真，可添加姿态校正(USBL underwater acoustic lacalization)

This is a matlab svm, very useful to the matlab virtual machine

2ASK信号的正交解调，包括2ASK信号的产生，与本地载波混频，低通滤波，求包络，恢复出原始信号等(the demodulation of 2ASK)