All sensitized paths ( called 1 paths ) are identified by traversing the conditional digraph using graph-theoretical methods. All faults on 1 paths reachable to the primary outputs of the digital system can be detected. 然后运用图论方法,通过对图的遍历找出其全部敏化通路(1通路),所有能到达原始输出端的1通路,其相应的故障均可得到检测。
Universal cut was generated by tracing from primary outputs, and equivalence of all candidate equivalent points ( CEPs ) was verified by using universal cut. 从原始输出进行回溯得到通用割集,用通用割集验证所有候选等价点(CEP)的等价性。
An effective evaluation function is constructed, which use the signal line on the propagation path among the fault point and primary outputs. That makes the algorithm has the minimal search space. 该算法基于遗传算法,使用故障信号传播路径上的信号线来构造算法的评价函数,使得算法具有最小的搜索空间。
The optimization process directly deal with the multilevel logic structure and keeps the formal logic structure. The computing / space complexity of the algorithm is trivial corresponding to the number of primary inputs / outputs, which is applicable to optimization of large scale integrated circuits. 该优化过程直接在多级逻辑结构上进行并保持了原逻辑结构的总体结构特征,运行时空复杂性对基本输入/输出数目依赖很少,能适应大规模数字逻辑结构优化。
According to Lieth - Box model, the net primary productivity, the outputs of cereals and wood in Fujian province are assessed using the data of annual temperature, rainfall and evaporation. 应用Lieth&Box模型,结合主要气象因子(降水量、气温等)资料分别计算了福建省森林植被的可能净第一性生产力、谷物产量和木材产量。