实时连接件的离线一致性测试，李少东，陈霄泓，协调在复杂信息物理系统中扮演了重要角色。协调语言模型的复杂性使得测试成为开发信息物理系统过程中非常重要的一环。一致性测试

Bob大叔（Robert C. Martin）关于C++开发思想的大作，看他的书上提及过，好多C++高手也提及过，但是一直没看到，特地从图书馆借来并扫描，下载者只能用于学习，不可用于商业目的。

Review This book addresses some of the current important issues, both positive and negative, related to MFree methods, which should prove beneficial to researchers, engineers, and students who are interested in venturing into this area of research. This book provides systematic steps that lead the reader to understand mesh free methods; how they work; how to use and develop a mesh free method, as well as … the problems associated with element free methods. … This is the first book published that comprehensively covers MFree methods.

中国科学技术大学形式化方法作业Induction章节

共轭梯度法 参考 共轭梯度法(ENG) OR기울기법 (KOR) 共轭梯度法（CG） 共轭梯度法是一种算法，用于求解线性方程组的特定系统，即矩阵且方程组的数值解。 共轭梯度法通常实现为，适用于太大而无法通过直接实现或其他直接方法（例如Cholesky分解）处理的稀疏系统。 成本函数 假设我们要求解 (P1) A * x = b : matrix ver. 或者， (P2) A( x ) = b : function ver. 对于向量x ，其中已知nxn矩阵A是对称的（即A ^ T = A），正定的（即x ^ TA x> 0对于R ^ n中所有非零向量x）和实数，并且b也被称为。 我们用x^*表示该系统的唯一解。 用于解决问题的基本迭代CG（矩阵版本） function [x] = conjgrad(A, b, x) r = b

Heunís Method（改进的欧拉法）评估

罚函数法,包括整个实现流程，相关的MATLAB代码

Camera self-calibration method based on two vanishing points

基于Davenport谱与谐波叠加法，生成脉动风速。

We apply graph matching method to detect infrared small moving targets using image sequences. Candidates (interest points) detected in the first frame form one graph and the same candidates in the last frame form another one. The real moving targets are extracted by matching these two graphs. Experimental results demonstrate that the proposed method is robust and efficient to the translation and rotation of the background.