为提高夹具设计的敏捷性,提出了一种基于夹具功能分解的实例推理方法。
To improve agility of fixture design, a method of case reasoning based on decomposed fixture function was presented.
研究基于实例模型的模糊推理方法。
对归结原理的基本概念与推理规则进行了讨论,并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
应用推荐