本书详细介绍了模型检测的基本原理,分析了模型检测在各个行业的应用,重点分析了模型检测各种算法,是有关模型检测方面不可多得百科全书式的经典资料。-The book details the basic principles of model checking, analysis of model checking applications in various industries, focusing on analysis of the model checking algorithms is the model of testing rare classic encyclopedic information.
对混沌时间序列相空间重构中最佳延迟时间间隔和嵌入维数的选取方法作
了综述,提出了同时考虑这2 个参数选取的重构展开虚假邻点法以及预测误差最小-Of chaotic time series phase space reconstruction of the best delay time interval and the embedding dimension of the selection methods were reviewed and put forward these two parameters taking into account the reconstruction of the selected start-point method of false neighbors, as well as the minimum prediction error
这里是关于图像处理之机器学习方面的资料--AdaBoost,自适应boosting.
非常经典的资料-Here is on image processing of machine learning information- AdaBoost, adaptive boosting. Very classical information