在设计中也存在着概念模糊，设计出的作品要么是做的不够纯粹，比较形式化，毫无思想内涵可言。
Also exist in the design of the fuzzy concept of design work is done or not pure, more formal, there is no ideology to speak of.
计算学习理论为比较两算法的性能提供了形式化的框架，并能确定某概念类的计算复杂度和样本复杂度。
Computational learning theory provides formal framework for comparing the performance of two algorithms, and can determine the sample complexity and the computational complexity of some concept class.
但实际操作中，实践被限制在比较狭窄的范围内，并有形式化的倾向。
But teach in practice is limited in relatively confined area and has a formalized tendency in fact operate.
文章从模式定义、重用机制、可用工具、方法可用性等角度分析比较了几种主要的设计模式形式化方法。
This paper analyses and compares several main methods of formal specification for design patterns, from points of view of pattern definition, reuse mechanisms, available tools and usability.
由此，提出了可拓知识表示方法的形式化定义，并且将它与原有的几种知识表示方法进行了详细的比较。
Then the formal definition of extension knowledge representation is proposed and compared with several original methods of knowledge representation.
由此，提出了可拓知识表示方法的形式化定义，并且将它与原有的几种知识表示方法进行了详细的比较。
Then the formal definition of extension knowledge representation is proposed and compared with several original methods of knowledge representation.
应用推荐