【摘 要】
：
警示传播（WP）算法是信息传播算法的重要基础,WP算法的本质是因子图上警示信息的迭代过程,在算法收敛时得到一组稳定的警示信息,并利用局部腔域得到公式变元的部分赋值。分析了
【基金项目】
：
国家自然科学基金（60863005 61011130038）, 贵州省省长基金（200404）, 贵州大学自然科学青年基金（2009021）资助
论文部分内容阅读
警示传播（WP）算法是信息传播算法的重要基础,WP算法的本质是因子图上警示信息的迭代过程,在算法收敛时得到一组稳定的警示信息,并利用局部腔域得到公式变元的部分赋值。分析了警示传播算法的基本原理,给出了算法的改进。RB实例集上的实验证明,改进后的算法比原算法具有迭代次数和运行时间,提高了收敛速度。然而,在RB模型产生的大部分实例集上,警示传播算法不收敛,因而不能有效求解公式。警示传播算法与DPLL算法的组合使用使回溯计算次数大大降低,从而有效地弥补了WP算法的不足。通过在RB实例集上的测试实验表明,该方法是
其他文献
SOA是一种构建软件系统的设计方式，指导着软件设计的整个生命周期。随着SOA的广泛部署，用户在其服务功能需求得到满足的同时，也越来越关注非功能性需求，如服务质量属性。SOA的基
目前绝大部分异常检测方法只利用数据包的头部信息来检测网络攻击，即仅仅从网络层、传输层来分析网络的异常情况。而研究表明现在的网络攻击主要发生在应用层，因此从应用层来分
在MMS（Mobile Multi-Sink）型传感器网络中，多个移动的Sink节点会随时随地查询和收集数据，因此如何有效解决数据的查询和收集是MMS型传感器网络最基本和具有挑战性的工作。首先根
数据立方体选择问题是一个NP完全问题。研究了利用遗传算法来解决立方体选择问题,提出了一个结合局部搜索机制的遗传算法。这一算法的核心思想在于,首先运用一个基于单位空间
Deep Web信息量大,主题专一,信息质量好。然而Deep Web信息存在着不确定问题,因此难以对其进行知识表示和推理。基于动态模糊逻辑理论,提出了一种新的描述逻辑,即动态模糊描
粗糙集的不确定性与其所在近似空间知识粒度的大小密切相关。提出了近似空间中集合的相对知识粒度的概念。基于相对知识粒度的粗糙集的粗糙性度量既刻画了近似空间对粗糙集不
智能化立体仓库对现代企业提高仓储利用率和生产效率具有重要作用。介绍了秦皇岛港务集团公司立体仓库管理系统中仓库货位计算机分配的智能化算法,该算法充分考虑了重量均匀
无线射频识别(RFID)越来越广泛地运用在人们的日常生活和工作中。概述了RFID技术用于民意测验和区域选举的安全电子投票的软、硬件系统及其一般实施过程。与直接记录设备使用的选票和光学扫描相比,这种电子选票在选民身份的核实、快速重计和公式板上有一定的优越性。也讨论了电子选票的安全性问题,同时还对该系统用于远程投票的可行性进行了探讨。相对于现行诸如纸张选票的投票方式,RFID技术方法在理论上占有绝对的
多域安全互操作是通过认证机制、访问控制机制和审计机制来实现多个分布、异构、自治区域间安全的资源共享和信息交互的过程。系统介绍了这一新型研究领域的理论基础和应用现
基于文本内容的隐含语义分析建立在线主题演化计算模型,通过追踪不同时间片内主题的变化趋势进行主题演化分析。将Latent Dirichlet Allocation（LDA）模型扩展到在线文本流,建立