Untitled2

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

音乐合成，matlab。。。。。。。。。(Music synthesis, matlab. . . . . . . . .)

MATLAB的图形界面GUI设计实现课程设计中的iwGzuF编码算法，并仿真ACXMSTh参数在不同条件下的误码率性能曲线，与现有算法对比，性能良好，界面友好。 (MATLAB graphical interface GUI design and implementation of curriculum design iwGzuF coding algorithm and simulation ACXMSTh parameters BER performance curve under different conditions, and existing algorithms contrast, good performance, friendly interface. )

这个例子阐明了发生在时变系统中的频谱扩展，系统的带通输入时在某个频率上的音频信号(This example illustrates the system occurred in the time-varying spectrum expansion of the system' s band-pass input on a frequency of audio signal)

create B-spline in 2D and 3D space Matlab

最新版的SVM工具箱，从新编译了qp.dll,解决了高版本不能运算的问题(The latest version of SVM toolbox, recompile the qp.dll, version can not solve the problem of high computing)

Sheffield工具箱的简单例子，有作者修改，其中doc文件为介绍(the example of Sheffield GA)

说明：  非常好的数字处理教程，可以从中学到如利用matlab产生各种音频(Very good tutorial digital processing, can learn, such as the use of matlab have a variety of audio)

TeagerKaiser Energy operator method has been explained with help of Matlab 2007a version. This method can be used in case of speech and voice processing as well as any kind of signal processing activities. This has been explained with multiple input signals. A noise has been added in order to explain the method s efficiency at last.

说明：  matlab中一些重要的课件和资料，比较有用啊！(matlab courseware and some important information, more useful ah!)