MATLAB_for_equ

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

COMPRESSION OF YTHE IMAGE USING DCT

QuadraticQuaassemble 的源程序 matlab有限元分析源程序 (QuadraticQuaassemble source matlab source Finite Element Analysis)

SSwatermarking code for multimedia security to watermark an image with this code.

This is a simple matlab routine that calculates a simulated multiplicative cascade process for a time series, then compares it with a real time series you want to analyze, and plots them both in log-log coordinates to compare them. You should have your time series in a format of double column listing: the ordinal member in the first column, the corresponding data in the second one. Then you change the file name that appears in the program for the name of your own file, and proceed.

1、GP_Algorithm_main 联合开发网 - pudn.com

平坦衰落信道的MATLAB仿真（有多普勒频移） (Flat fading channels MATLAB simulation (with Doppler shift))

基于独立成分分析混合图像盲源分离技术与研究(Technology and Research mixed image separation by Independent Component Analysis)

本案例为不等式约束最优化问题，采用罚函数法（内点法）。具体求解过程是用MATLAB编程求解的。(The Case for inequality constrained optimization problem using penalty function method (interior point method). Specific solution process is solved using MATLAB programming.)

小波变换，实现时间序列一维分解，已经调试通过(Wavelet decomposition at three level and has tested)