证明过程所采用的方法是线性归结的特殊情形——单位归结。
The rule of inference used in this procedure is a subcase of linear resolution—the unit resolution.
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
Semantic resolution, lock resolution and linear resolution are three important improvements of resolution principle.
求船舶空间浮态就是计算船舶在某种给定载况下的三个浮态参数，它归结为求解一个隐式非线性方程组。
The ship's floating condition calculation aims at obtaining three floating condition parameters. It can be attributed to solving an implicit nonlinear equation group.
应用推荐