期刊文章详细信息
计算约简的差别矩阵简化算法不成立 ( EI收录)
The Simplify Algorithm of Calculating the Reduced Differential Matrix Is Untenable
文献类型:期刊文章
机构地区:[1]河北建筑科技学院数理系,河北邯郸056038
基 金:国家自然科学基金(60075013);河北省自然科学基金(601312)
年 份:2004
卷 号:24
期 号:2
起止页码:142-144
语 种:中文
收录情况:BDHX、BDHX2000、CSCD、CSCD2011_2012、EI、IC、JST、NSSD、RCCSE、RWSKHX、SCOPUS、ZGKJHX、核心刊
摘 要: Skowron差别矩阵给出了粗集约简的一般方法,但该算法要求生成、存储差别矩阵的中间环节,造成时间和空间上的浪费.实际应用中给出一种简化算法:一边从信息表中提取差别元素构成合取范式,一边用分配律、吸收律作逻辑公式的等价变换,直接得到最小析取范式.本章给出反例,说明该简化算法不总成立.
关 键 词:粗集 差别矩阵 合取范式 析取范式
分 类 号:TP18]
参考文献:
正在载入数据...
二级参考文献:
正在载入数据...
耦合文献:
正在载入数据...
引证文献:
正在载入数据...
二级引证文献:
正在载入数据...
同被引文献:
正在载入数据...