1_speed_control_pid

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

关于统计学习理论的外国经典教材，但需要一定的数学功底，对进行机器学习研究等方面很有帮助(stactics)

自己编的，利用MATLAB进行DPSK和PSK编码，可用于数字通信的课程学习中。(Own, and the use of MATLAB for DPSK and PSK encoding, digital communication can be used to study in the curriculum.)

说明：  关于电力系统静态稳定的程序，需要的可以下载(the program of powersystem stablity )

hannel estimation performance for Discard Prefix DS-CDMA against the transmitted data vector

DOA估计的一种两种常用方法，ESPRIT和TLSESPRIT，程序简洁明了，方便理解(A two common methods DOA estimation, ESPRIT and TLSESPRIT, procedures concise, easy to understand)

说明：  MATLAB，编程说明的技术文档，沿曲线移动运动的小球轨迹(MATLAB, programming techniques described in the document, move the movement along the curve ball trajectory)

最新的OFDM仿真以及相关算法的PDF文档，其中在知网下的(OFDM simulation and related algorithms PDF documents)

基于 Matlab Simulink 的频谱分析。(The objectives of this laboratory are: To introduce the spectrum analyzer as used in frequency domain analysis. To identify various types of linear modulated waveforms in time and frequency domain representations. To implement theoretically functional circuits using the Communications Module Design System (CMDS).)

validity check for polar to cartesian conversion