1) Partial order reduction

偏序归约
2) partial-order constraint

偏序约束
3) CILP

约束归纳逻辑程序设计
4) interpretation of a reduction rule program

归约规则程序的解释
5) interpreter for reduction rules

归约规则的解释程序
6) reduction
[英][rɪ'dʌkʃn] [美][rɪ'dʌkʃən]

归约
1.
New reduction method for the differential-algebraic system;

微分代数方程系统的一类新的归约方法
2.
Flexible Process Model in Reduction;

基于归约的柔性工艺过程模型
3.
Research on Geometric Constraint Solver Based on the Point-cluster Reduction;

基于点簇归约的几何约束求解器研究
补充资料:归敬序
【归敬序】
(杂语)于所信之如来,表归命敬礼之序文也。谓经论释之初,归命大智海毗卢遮那佛,南无释迦牟尼佛,南无阿弥陀佛等记。
(杂语)于所信之如来,表归命敬礼之序文也。谓经论释之初,归命大智海毗卢遮那佛,南无释迦牟尼佛,南无阿弥陀佛等记。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条