论文部分内容阅读
QSIM算法针对的是连续函数，无法处理不同状态满足不同约束的问题．PQSIM算法作了相应改进，增加两个新的约束：判断约束IF和赋值约束EQ，限定约束作用的状态集合，从而可以有效地对分段函数系统进行定性仿真．本文给出实例验证算法的正确性，算法时间复杂性证明PQSIM算法是一个高效的定性仿真算法．
PQSIM：一个面向分段函数的定性仿真算法
【摘 要】
：
QSIM算法针对的是连续函数，无法处理不同状态满足不同约束的问题．PQSIM算法作了相应改进，增加两个新的约束：判断约束IF和赋值约束EQ，限定约束作用的状态集合，从而可以有效地对分段
【机 构】
：
中国科学技术大学计算机系
【出 处】
：
信息与控制
【发表日期】
：
2001年2期
【基金项目】
：
国家自然科学基金
其他文献
本文研究了原油减压蒸馏塔侧线抽出温度多变量控制问题．针对减压塔各个侧线之间存在单向关联的特点，通过建立各个侧线以及相邻侧线之间的温度动态特性，设计了减压塔侧线温度多变
卷积编码是前向纠错的差错控制编码方法之一, Viterbi译码是卷积码的一种杰出的译码算法,它是一种最大似然算法,适于硬件实现.本设计中的Viterbi译码器是构建在台湾智源科技
近似熵从衡量时间序列复杂性的角度提供了一种表征信号整体特征的无量纲指标,具有计算所需数据短、抗噪及抗野点能力强、对确定性信号和随机信号都适用等特点.本文介绍了近似
数字水印技术是国内外一个新的研究热点,但其跨学科性常常给研究工作带来许多困难,选择一个合适的工具尤为重要.本文从数字水印技术的特点、通用模型和常用算法出发,介绍了一