Based on resolution of interval Numbers and fuzzy resolution theorem, we develop a method of solving the structural fuzzy finite element equilibrium equations.
利用区间数的分解和模糊分解定理，研究了一种结构模糊有限元平衡方程的求解方法。
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.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。
The resolution principle is known to be a basic tool for theorem proving.
归结原理是定理机器证明中的一种基本技术。
The theorem and algorithm of parallel resolution are presented, and the applications of method proposed are verified by an example in this paper.
本文给出基于“块-网格片”的并行区域分解策略，以及建立在该基础上的并行时间积分算法。
The theorem and algorithm of parallel resolution are presented, and the applications of method proposed are verified by an example in this paper.
本文给出基于“块-网格片”的并行区域分解策略，以及建立在该基础上的并行时间积分算法。
应用推荐