利用空間表示的rcc8模型進(jìn)行空間推理, 解決csp問(wèn)題,可以自動(dòng)產(chǎn)生csp問(wèn)題,然后解決,利用了不同的算法并且做了比較,有仿真試驗(yàn)。
標(biāo)簽: rcc8 模型
上傳時(shí)間: 2015-11-15
上傳用戶(hù):refent
蟲(chóng)蟲(chóng)下載站版權(quán)所有 京ICP備2021023401號(hào)-1