模糊系统与数学
模糊繫統與數學
모호계통여수학
FUZZY SYSTEMS AND MATHEMATICS
2005年
2期
44-48
,共5页
归结%矩阵归结%T-不变量%Petri网
歸結%矩陣歸結%T-不變量%Petri網
귀결%구진귀결%T-불변량%Petri망
提出了一种新的归结方法-矩阵归结.结合归结原理的单文字、纯文字、分裂规则以及Petri网的T-不变量归结的思想,给出了几种矩阵归结策略,证明了它们的完备性.方法简单易行,大大降低了归结的复杂性,提高了归结效率.
提齣瞭一種新的歸結方法-矩陣歸結.結閤歸結原理的單文字、純文字、分裂規則以及Petri網的T-不變量歸結的思想,給齣瞭幾種矩陣歸結策略,證明瞭它們的完備性.方法簡單易行,大大降低瞭歸結的複雜性,提高瞭歸結效率.
제출료일충신적귀결방법-구진귀결.결합귀결원리적단문자、순문자、분렬규칙이급Petri망적T-불변량귀결적사상,급출료궤충구진귀결책략,증명료타문적완비성.방법간단역행,대대강저료귀결적복잡성,제고료귀결효솔.
