The Iterative Relaxation Method is improved in this thesis by omitting the con-structions of predicate slices and input dependency sets.
本文改进迭代松弛法，省略构造谓词片和输入依赖集的过程。
参考来源 - 面向路径的测试数据自动生成方法研究The former mainly include methods of exhaustion, DPLL algorithm, and relaxation method. Representational algorithm of the latter is local search algorithm, such as GSAT.
前者主要有穷举法,DPLL算法,松驰法等;后者的代表性算法主要是局部搜索算法,如GSAT。
参考来源 - 启发式将3We discuss two blocks in this dissertation. First, we propose two algorithms for solving the obstacle problem; Second, we investigate the convergence rate of relaxation method for solving a simple friction problem.
本文主要讨论两个方面的内容：构造两类新的算法，求出薄膜障碍问题的离散解；以及对松弛法求解简单摩擦问题的收敛速度进行深入的研究。
参考来源 - 变分不等式的数值方法的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
同义词： relaxation
以上来源于: WordNet
Relaxation method is kind of experimental technology of studying on the dynamics of quick reaction.
弛豫法是研究快速反应动力学问题的一种实验技术。
The relaxation method in analog computation for rectification process of associate systems is introduced.
本文介绍缔合物系精馏过程模拟计算的松弛法。
New Relaxation Method and Bubble Point Method were usually combined in the rigorous continuous distillation calculations.
结合新松弛法和泡点法，对多元精馏塔进行稳态模拟计算。
应用推荐