在D演算法中，使用后退式追踪（Backward-Trace procedure）步骤，以产生做为使用D驱动静态输入的主要输入条件，此种过程称为一致性操作。参【D演算法】（D-algorithm）、参【D驱动】（D-drive）。
词语
词语
