QSIM中c过滤算法的CLP实现

摘要：

c-filter是定性仿真算法QSIM中用来生成系统后继状态的主要算法.利用约束逻辑程序CLP,能够给出有关该算法定义的形式化描述,有助于提高算法的效率.文中给出了相关的定义及算法实现.

关键词：定性仿真、c过滤、算法

所属期刊栏目：20

分类号：TP391.9(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：33-35