基于Web的网页信息抽取方法的研究

WWW的迅速发展，使其日益成为人们查找有用数据的重要来源。本文介绍了一种基于Web的信息抽取的实现方法，能够按照规则模式重复地将半结构化网页中的信息自动抽取出来。     

基于Web Services的安全数字水印技术研究

设计了一种基于Web Services的安全数字水印方法,将水印嵌入和水印检测技术作为Web Services组件发布到Internet上,运用数字证书、数字签名和加密技术,保证了信息交互的安全性,在开放网络环境中有效地保护了数字产品。     

面向主题Crawler的设计与实现

针对目前通用搜索引擎所搜索到的结果过多，与主题相关性不强的情况，提出了面向主题的搜索引擎，文章以主题相关度为核心研究和设计了主题crawler，为进行主题搜索引擎的研究奠定了良好的基础。     

硬件设计中的形式化方法

形式化方法是一种用于规范、设计和验证计算机系统的基于数学的方法,包括各种语言、技术和工具等。近几年来,形式化方法在硬件设计中的引入,使得模型检验方法日趋成熟。本文主要介绍了硬件设计中的模型检验这种形式化方法,及该方法的应用情况。