摘要: 给出了蕴涵算子族NMP的FMP问题的反向三I算法的上确界计算公式和FMT问题的反向三I算法的下确界计算公式,并进一步得到了其一般化的[α]-反向三I算法的FMP(FMT)上(下)确界的计算公式。
汤 磊,屈 克. 基于蕴涵算子族NMP的反向三I支持算法[J]. 计算机工程与应用, 2011, 47(14): 42-45.
TANG Lei,QU Ke. Inverted triple I sustaining methods based on implication operators NMP[J]. Computer Engineering and Applications, 2011, 47(14): 42-45.