And analyses the methods to verify the process model's rationality which is based on overlay tree algorithm and reduction. then the two methods are used to verity the process model of the company.
接着详细分析了基于覆盖树算法和化简方法的过程模型的合理性验证，分别利用这两种方法对本文建立的过程模型进行了合理性验证。
Aiming at the problem of equivalent conversion from conjunctive normal form to disjunctive normal form, an effective algorithm was proposed to construct reduction tree based on discernibility matrix.
针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题，提出一种基于差别矩阵构造约简树的有效方法。
Aiming at the problem of equivalent conversion from conjunctive normal form to disjunctive normal form, an effective algorithm was proposed to construct reduction tree based on discernibility matrix.
针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题，提出一种基于差别矩阵构造约简树的有效方法。
应用推荐