StudentAccelerometer(for-Windows)

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

用MATLAB对电力系统进行仿真。里面有全套的仿真模型。(Using MATLAB for power system simulation. There are a full range of simulation models.)

读取xml，生成结构体，比系统自带函数方便简介，实用(Read the xml generated structure)

基于matlab的数字信号处理，内容相当强大，需要者可以下载的！(Matlab-based digital signal processing, is quite powerful and can be downloaded for those who need it!)

Voice Activity Detection (ref: Sabiner&Rhambur)

mobile user location matlab coding

matlab编写的Newmark法计算多自由度体系动力问题的通用程序，很实用！(Newmark method matlab prepared multi-degree of freedom system power issues common procedures, very practical!)

由空间三点绘制一个立体平面的matlab代码(Drawn by a three-dimensional space for three plane matlab code)

对于淹没在复高斯白噪声中的信噪比为-5dB二次调频信号，在矩形窗长为256的情况下，滤波器组时频检测仿真(for drowned in the complex Gaussian white noise in the signal-to-noise-dB second FM signal in the long rectangular windows of the 256 cases, the time-frequency filters Detection Simulation)

这是一个计算二维光子晶体能带的程序，采用平面波展开法模拟2维光子晶体的能带结构。( This is a program to calculate the Photonic Bands of two dimension Photonic Crystal with circular inclusions.)