论文研究-基于蕴涵算子族.pdf

【文件属性】：

文件名称：论文研究-基于蕴涵算子族.pdf

文件大小：494KB

文件格式：PDF

更新时间：2022-09-26 11:27:30

论文研究

给出了蕴涵算子族NMP的FMP问题的反向三I算法的上确界计算公式和FMT问题的反向三I算法的下确界计算公式，并进一步得到了其一般化的[α]-反向三I算法的FMP（FMT）上（下）确界的计算公式。