论文部分内容阅读
为了探讨WP（警示传播）算法的收敛性,给出了WP算法收敛的后门集.通过对此后门集中的变元赋值,可将布尔公式简化成其因子图为树型结构的子公式,WP算法在子公式上收敛.最后,设计了一个求解该后门集的随机算法,并分析了该算法的可行性.结果表明,所提出的求解该后门集的随机算法是有效的.
信息传播算法收敛的后门集
【摘 要】
：
为了探讨WP（警示传播）算法的收敛性,给出了WP算法收敛的后门集.通过对此后门集中的变元赋值,可将布尔公式简化成其因子图为树型结构的子公式,WP算法在子公式上收敛.最后,设计了
【机 构】
：
贵州大学计算机科学系
【出 处】
：
西南交通大学学报
【发表日期】
：
2012年1期
【基金项目】
：
国家自然科学基金资助项目（60863005）, 贵州大学研究生创新基金的资助（校研理工2011033）
其他文献
为使小推力发动机航天器在航行中实现轨道快速机动并有效节省燃料，提出了基于拟谱法的航天器轨道转移轨迹优化方法．采用改进的赤道轨道根数，基于高斯动力学方程建立了航天器轨道
摘要： 讨论了基于MFCC （Melfrequency cepstral coefficients）特征参数的语音质量客观评价方法MelCD （Melcepstral distance measure）.根据心理声学原理将Johannesma提出的人耳听觉模型和非线性压缩变换引入MFCC特征参数的提取过程，用Gammatone滤波器组对人耳基底膜进行仿真.利用改进后的MFCC作为语音信号特征参数，