采用基于约束驱动的几何推理和自由度计算方法，设计了约束检查策略与算法，解决了过约束与欠约束检查问题。
This paper introduces a method which uses geometry reasoning & degrees of freedom calculating based on constraint driven to solve the problem of checking over constraint & under constraint.
重点介绍机率理论的历史，以及机率理论和因果推理的计算方法。
Emphasizes history of probability theory and computational approaches to probabilistic and causal inference.
重点介绍概率理论的历史，以及盖然论和因果推理的计算方法。
Emphasizes history of probability theory and computational approaches to probabilistic and causal inference.
采用面向对象的程序设计构造蜗杆传动的知识库和实施推理策略，提出了啮合分析的优化计算方法。
To use object oriented programming method built knowledge storage and organon, put forward optimum calculative method for the mesh analysis.
所提出计算模型为贝叶斯网的概率推理提供了一种新的局部计算方法。
The proposed computation models will supply new local computation methods for Bayesian network probabilistic inferences.
提出了一种新的压力中心计算方法，并对基于规则和实例的混合推理技术进行了较深入的研究。
Some key technologies, such as the compound CBR and RBR technology and a new calculating approach of pressing center are studied.
多决策协同推理方式采用确定性推理、不确定性推理等不同的推理方法以及定量计算方法，得到相应的推理结果。
The way of reasoning USES qualitative reasoning such as certainty, uncertainty reasoning and quantitative calculation methods, and then come out corresponding reasoning results.
多决策协同推理方式采用确定性推理、不确定性推理等不同的推理方法以及定量计算方法，得到相应的推理结果。
The way of reasoning USES qualitative reasoning such as certainty, uncertainty reasoning and quantitative calculation methods, and then come out corresponding reasoning results.
应用推荐