论文部分内容阅读
QSIM算法针对的是连续函数，无法处理不同状态满足不同约束的问题．PQSIM算法作了相应改进，增加两个新的约束：判断约束IF和赋值约束EQ，限定约束作用的状态集合，从而可以有效地对分段函数系统进行定性仿真．本文给出实例验证算法的正确性，算法时间复杂性证明PQSIM算法是一个高效的定性仿真算法．
PQSIM：一个面向分段函数的定性仿真算法
【摘 要】
：
QSIM算法针对的是连续函数，无法处理不同状态满足不同约束的问题．PQSIM算法作了相应改进，增加两个新的约束：判断约束IF和赋值约束EQ，限定约束作用的状态集合，从而可以有效地对分段
【机 构】
：
中国科学技术大学计算机系
【出 处】
：
信息与控制
【发表日期】
：
2001年2期
【基金项目】
：
国家自然科学基金
其他文献
本文提出了一种神经网络预测偏差补偿自校正控制器，用线性模型的预测控制去控制非线性系统，其预测偏差用神经网络进行补偿，线性模型的辨识和神经网络的学习均采用阻尼最小二乘法
本文研究了原油减压蒸馏塔侧线抽出温度多变量控制问题．针对减压塔各个侧线之间存在单向关联的特点，通过建立各个侧线以及相邻侧线之间的温度动态特性，设计了减压塔侧线温度多变
加拿大ＭＩＬ公司发电机结构及工艺特点隔河岩水电厂周志尧邮编４１３５０３隔河岩电厂１、２号发电机，是加拿大ＭＩＬ公司生产的发电机。在结构和工艺方面均有一些独特和新颖的地方，采用了一些新工艺、新技
本文的目的是给出一种利用粗糙集理论解决故障诊断的规则获取问题的方法 ,该方法的特点是可以处理由于类重叠引起的样本信息不精确、不一致情况下的规则获取 .以规则形式表示的知识接近于人脑推理过程 ,因此基于规则的诊断方法在故障诊断中得到广泛使用 ,但规则获取是其瓶颈之一 .粗糙集 (RS)理论是为开发自动规则生成系统而提出的 ,其主要思想是在保持分类能力不变的前提下 ,通过知识约简 ,导出概念的分类规则
卷积编码是前向纠错的差错控制编码方法之一, Viterbi译码是卷积码的一种杰出的译码算法,它是一种最大似然算法,适于硬件实现.本设计中的Viterbi译码器是构建在台湾智源科技
近似熵从衡量时间序列复杂性的角度提供了一种表征信号整体特征的无量纲指标,具有计算所需数据短、抗噪及抗野点能力强、对确定性信号和随机信号都适用等特点.本文介绍了近似
数字水印技术是国内外一个新的研究热点,但其跨学科性常常给研究工作带来许多困难,选择一个合适的工具尤为重要.本文从数字水印技术的特点、通用模型和常用算法出发,介绍了一