论文研究-非经典切片技术及其在形式验证中的应用综述.pdf

【文件属性】：
文件名称：论文研究-非经典切片技术及其在形式验证中的应用综述.pdf
文件大小：564KB
文件格式：PDF
更新时间：2022-09-26 16:43:58
论文研究 对形式背景上的G偏序集、M偏序集和GM偏序集的偏序关系作了进一步讨论，提出了对象上邻、对象下邻、属性上邻、属性下邻、对象上界、对象下界、属性上界、属性下界和极大对象下界等概念，并根据上下邻之间的关系给出G偏序图、M偏序图和GM偏序图的构建算法，最后给出了不需要建格而可直接在GM偏序图上进行规则提取的算法，并通过实例验证了算法的有效性。