基于含参量蕴涵算子的反向三Ⅰ算法 (2008年)

【文件属性】：

文件名称：基于含参量蕴涵算子的反向三Ⅰ算法 (2008年)

文件大小：901KB

文件格式：PDF

更新时间：2024-06-09 11:04:22

自然科学 论文

针对 H α系统中的含参量蕴涵算子给出 FMP问题的反向三 I算法上确界计算公式和 FMT问题的反向三I算法下确界计算公式,并进一步将问题一般化,给出了α-反向三 I支持算法相应的计算公式。