计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2010年
20期
40-42
,共3页
模型重构%图转换%关键对%冲突检测
模型重構%圖轉換%關鍵對%遲突檢測
모형중구%도전환%관건대%충돌검측
根据冲突分类规则,对非删除规则产生的关键对的计算进行优化,以避免计算两2个非删除规则的交叠.探讨了对一一种个给定带否定应用条件(NACsNAC)的图转换系统(GTS)gts可直接计算出关键对的方法,并给出直接构建带NACNACs的的关键对的方式.针对每个冲突原因,存在一个有效关键对,可用最小上下文来表示冲突.有效关键对集合仅为关键对集合的子集.该方法因而可简化系统中冲突的汇合性分析,从而可简化静态冲突检测方法.
根據遲突分類規則,對非刪除規則產生的關鍵對的計算進行優化,以避免計算兩2箇非刪除規則的交疊.探討瞭對一一種箇給定帶否定應用條件(NACsNAC)的圖轉換繫統(GTS)gts可直接計算齣關鍵對的方法,併給齣直接構建帶NACNACs的的關鍵對的方式.針對每箇遲突原因,存在一箇有效關鍵對,可用最小上下文來錶示遲突.有效關鍵對集閤僅為關鍵對集閤的子集.該方法因而可簡化繫統中遲突的彙閤性分析,從而可簡化靜態遲突檢測方法.
근거충돌분류규칙,대비산제규칙산생적관건대적계산진행우화,이피면계산량2개비산제규칙적교첩.탐토료대일일충개급정대부정응용조건(NACsNAC)적도전환계통(GTS)gts가직접계산출관건대적방법,병급출직접구건대NACNACs적적관건대적방식.침대매개충돌원인,존재일개유효관건대,가용최소상하문래표시충돌.유효관건대집합부위관건대집합적자집.해방법인이가간화계통중충돌적회합성분석,종이가간화정태충돌검측방법.
