论文部分内容阅读
为了探讨WP（警示传播）算法的收敛性,给出了WP算法收敛的后门集.通过对此后门集中的变元赋值,可将布尔公式简化成其因子图为树型结构的子公式,WP算法在子公式上收敛.最后,设计了一个求解该后门集的随机算法,并分析了该算法的可行性.结果表明,所提出的求解该后门集的随机算法是有效的.
信息传播算法收敛的后门集
【摘 要】
：
为了探讨WP（警示传播）算法的收敛性,给出了WP算法收敛的后门集.通过对此后门集中的变元赋值,可将布尔公式简化成其因子图为树型结构的子公式,WP算法在子公式上收敛.最后,设计了
【机 构】
：
贵州大学计算机科学系
【出 处】
：
西南交通大学学报
【发表日期】
：
2012年1期
【基金项目】
：
国家自然科学基金资助项目（60863005）, 贵州大学研究生创新基金的资助（校研理工2011033）
其他文献
分泌性中耳炎系以中耳积液及听力下降为主要特征的中耳炎性疾病，小儿发病率较高，是引起小儿听力下降的常见原因之一，笔者采用中西医结合方法，分期辨治本病，取得了较好的疗效，现介绍
用离体大鼠心脏冠状动脉前降支结扎10min后再灌注模型观察了小檗碱对再灌注心律失常的影响。冠状动脉结扎前10min给药,小檗碱呈剂量依赖性抗再灌注心律失常作用。小檗碱10~(-
功能性消化不良(FD)是指非器质性疾病引起的一组以纳呆食少，餐后上腹部痞满饱胀、嘈杂隐痛、嗳气呃逆，或伴乏力、便溏、恶心呕吐、反酸为主要症状的临床综合症，是常见的消化系统
【正】临近清明,国内农业虽有"点瓜种豆"的传统春耕景象,但对于尿素市场而言,依然是笔者去年同期的那句话"清明时节雨纷纷,尿素商家欲断魂"。据了解,由于国内尿素行情持续低
慢性萎缩性胃炎(CAG)是消化系统常见病、多发病，与胃癌的发生有一定关系，因此，早期防治本病，对防止癌变发生有重要意义。近年来，笔者运用温中养胃冲剂与养阴清胃冲剂分型治疗CAG12
为使小推力发动机航天器在航行中实现轨道快速机动并有效节省燃料，提出了基于拟谱法的航天器轨道转移轨迹优化方法．采用改进的赤道轨道根数，基于高斯动力学方程建立了航天器轨道
近日，龙灯中国在南京农业大学举行“龙之道·龙灯金套餐粮王争霸赛”颁奖盛典，来自江苏省各地的12名粮王代表及他们的指导零售商等共计100多人参加了此次活动。据介绍，“龙
摘要： 讨论了基于MFCC （Melfrequency cepstral coefficients）特征参数的语音质量客观评价方法MelCD （Melcepstral distance measure）.根据心理声学原理将Johannesma提出的人耳听觉模型和非线性压缩变换引入MFCC特征参数的提取过程，用Gammatone滤波器组对人耳基底膜进行仿真.利用改进后的MFCC作为语音信号特征参数，
围绝经期综合症是由于妇女进入围绝经期卵巢功能逐渐消退,分泌雌激素减少,而下丘脑、垂体分泌促性腺激素增加,导致内分泌功能紊乱和植物神经功能失调而出现一系列症状.表现为