-
sf.tar
携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的(Examples of proof carrying code, directly after the installation to run coq, entry-level)
- 2011-01-25 20:26:53下载
- 积分:1
-
svpwm
svpwm的s函数,用于电机控制matlab仿真(svpwm s function)
- 2013-01-22 15:59:37下载
- 积分:1
-
ACO_OFDM
在AWGN信道模型下,对比ACO-OFDM和其他调制方式对光纤通信系统性能,将ACO-OFDM与一些调制技术相结合来进一步提高系统宽带效率、降低光发送功率等,以提升光纤通信系统的性能(In AWGN channel model, compared to ACO-OFDM and other modulation schemes for optical fiber communication system performance, the ACO-OFDM with some modulation techniques combined to further improve the system broadband efficiency and reduce light transmission power so as to enhance the performance of optical fiber communication systems)
- 2021-03-25 11:49:13下载
- 积分:1
-
zero-forcing-equalization
迫零均衡算法的MATLAB实现,不可多得的好东西.(Zero-Forcing equalization algorithm in MATLAB realize, rare good things.)
- 2007-10-10 07:38:31下载
- 积分:1
-
FEM_Polycarpou_Matlab
"introduction to the finite element method in electromagnetics" 配套源码。
内容包括了1-D,2-D的4~5个FEM例子,适合初学者用。( Introduction to the finite element method in electromagnetics auxiliary source. Includes a 1-D ,2-D FEM of 4 to 5 examples, for beginners to use.)
- 2008-08-02 04:29:57下载
- 积分:1
-
Anketa
Create a struct for working with students
- 2014-09-23 19:48:43下载
- 积分:1
-
ex1_003
matlab实现的推荐系统,融合机器学习的方法,出自斯坦福大学吴恩达(matlab implementation of recommendation system, the integration of machine learning methods, from Stanford University, Wu Enda)
- 2013-09-22 10:03:55下载
- 积分:1
-
_protk_install_example
ProTK installation example
- 2014-09-29 05:38:41下载
- 积分:1
-
force_z
matlab程序用于计算光镊中的轴向力,开发者使用高超的matlab编程能力,是程序简洁易懂(matlab source program for calculating opitcal trap force.Programmer made use of his higher lever ability to create a simplified and easy to understand progfram. )
- 2011-11-20 08:56:11下载
- 积分:1
-
Ch-9.morphological-image-processing
This file consists matlab programs implemented in morphological image processing
- 2013-12-05 13:35:35下载
- 积分:1