计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2013年
10期
3680-3684
,共5页
梁妍%吴杰%马垣%沈明钢
樑妍%吳傑%馬垣%瀋明鋼
량연%오걸%마원%침명강
值依赖%伪内涵%内涵亏值%横截%Guigues-Duquenne基
值依賴%偽內涵%內涵虧值%橫截%Guigues-Duquenne基
치의뢰%위내함%내함우치%횡절%Guigues-Duquenne기
value dependency%pseudo-intent%intent waned values%transversal%guigues-duquenne bases
根据内涵亏值的概念,对于找出背景的所有亏值横截的理论依据,给出了形式化的定理,并给予了严格的证明.通过检查亏值最小横截是否为伪内涵,再由伪内涵求得Guigues-Duquenne基,从而提出了利用内涵亏值及其最小横截获得背景Guigues-Duquenne基的一种新方法.理论研究和算法实现表明了这种方法是有效可行的.这也为Guigues-Duquenne基的深入应用创造了更好的条件.
根據內涵虧值的概唸,對于找齣揹景的所有虧值橫截的理論依據,給齣瞭形式化的定理,併給予瞭嚴格的證明.通過檢查虧值最小橫截是否為偽內涵,再由偽內涵求得Guigues-Duquenne基,從而提齣瞭利用內涵虧值及其最小橫截穫得揹景Guigues-Duquenne基的一種新方法.理論研究和算法實現錶明瞭這種方法是有效可行的.這也為Guigues-Duquenne基的深入應用創造瞭更好的條件.
근거내함우치적개념,대우조출배경적소유우치횡절적이론의거,급출료형식화적정리,병급여료엄격적증명.통과검사우치최소횡절시부위위내함,재유위내함구득Guigues-Duquenne기,종이제출료이용내함우치급기최소횡절획득배경Guigues-Duquenne기적일충신방법.이론연구화산법실현표명료저충방법시유효가행적.저야위Guigues-Duquenne기적심입응용창조료경호적조건.