摘要： 验证方法模拟：动态验证，常用，如今最主流的验证方法。仿真：类似模拟，但依赖于硬件。形式化验证：静态验证，用数学方法对模型的功能、功能、规范做检验。验证的完备性高，但实施困难。半形式化验证：形式化验证和前面结合。形式化验证分类按验证内容分类性质检验（property checking）：是否满足某些规 阅读全文

摘要： 从特殊的训练样例中提取出一般的特征是机器学习的中心问题，这一问题被称为概念学习（concept learning)，或称从样例中逼近布尔值函数。定义： 概念学习是指从有关某个布尔函数的输入输出训练样例中推断出该布尔函数。 概念定义在一个实例（instance）集合之上，表示为X。 目标概念（targ 阅读全文