The efficiency of input resolution is discussed and compared with that of unit resolution. 本文讨论了输入归结的有效性并把它与单元归结的有效性作了比较。
Semantically - Positive - Unit Resolution(UR) for Horn Sets Horn集上的语义正单元归结
The λ - Unit Lock Resolution on λ - Horn Set λ-Horn集上的λ-单元锁归结
The key technique of quantitative time-delay is the precision of delay unit as its resolution is determined by the time-delay stability of the delay unit. 量化时延技术的关键是构成延迟链的延迟单元的准确度,其延时单元的延时稳定性,决定了其分辨率的大小。
Causes of High Material Consumption in Polystyrene Unit and Their Resolution 导致苯乙烯装置物耗高的因素及解决途径