支持向量机模型定义在特征空间上的间隔最大的线性分类器;支持向量机可以通过核技巧，这使之成为实质上的非线性分类器;支持向量机的学习策略就是间隔最大化