I regard QSIM as a kind of constraint satisfaction problem (CSP), and improve the qualitative simulation algorithm by constraint logic programming (CLP).

 
  • 前者是將定性仿真算法看作一類(lèi)約束滿(mǎn)足問(wèn)題,用約束邏輯程序加以改進(jìn),不僅為解決定性仿真問(wèn)題提供了邏輯框架,而且也是一種規范化的程序描述語(yǔ)言;
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan