Web数据挖掘与个性化搜索引擎综述

Web数据挖掘是将数据挖掘技术和理论应用于对WWW资源进行挖掘的一个新兴的研究领域.本文论述了Web数据挖掘的发展现状、发展趋势以及将来可能的研究方向,并简单介绍了个性化搜索引擎的一些情况,最后论述了Web数据挖掘在个性化搜索引擎中的应用.     

基于JPF的Java程序验证

形式化方法是提高并发系统的安全性与可靠性的重要手段。JPF（Java Pathfinder）是一种精确的Java字节码状态模型检测工具。在阐述JPF工作原理的基础上,提出了一种适用于JPF的Java程序模型检测方法,包括Java程序模型的建立、状态空间搜索算法的扩展和配置,开发了Java程序反例轨迹轻量级的输出监听器。对Java程序实例进行验证,结果表明：该方法能有效地检测出多线程Java应用程序中难以检测到的并行漏洞。