张志锋
- 作品数：4 被引量：11H指数：2
- 供职机构：西安理工大学计算机科学与工程学院更多>>
- 发文基金：陕西省自然科学基金陕西省教育厅科研计划项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种新的基于XML的索引机制被引量：7
- 2006年
- 当前基于Web的半结构化数据越来越受到重视。该文分析了当前对XML数据检索的相关工作,提出了一种路径索引技术,并将之无缝结合了基于文本的倒排索引文档,以实现XML文档的内容和结构的双重检索。该方法只需要对文档库扫描一次,可以大幅度降低用户查询时间。
- 姚全珠丁晓剑任雪利张志锋
- 关键词：XML信息检索索引倒排文档
- 基于构件的信息系统形式化需求分析方法的研究被引量：3
- 2005年
- 提出了一种基于构件的企业信息系统形式化需求分析方法,可以很好地消除系统的二义性、不一致性和不完整性,大大提高系统需求分析的效率和质量,为后阶段的开发打下了很好的基础。这一方法已得到初步使用,取得了满意的结果。
- 姚全珠张志锋任雪利张作鹏
- 关键词：形式化信息系统
- BWT-Boyer-Moore压缩域搜索算法的研究被引量：1
- 2006年
- 针对Boyer-Moore匹配算法对压缩文本文件搜索的不足,分析了当前对于压缩文件搜索的主要方法,提出了一种基于BW转换的高效的搜索算法并予以验证。
- 姚全珠丁晓剑任雪利张志锋
- 关键词：压缩域BOYER-MOORE算法
- B方法和构件技术在信息系统形式化开发中的应用研究
- 本课题来源于陕西省自然科学基金项目《信息系统的形式化开发方法研究》。随着信息化的发展,要求不断运用新技术和新思想解决软件危机和提高软件开发效率。构件技术和形式化方法是解决软件危机和提高软件开发效率问题的关键,也是近来软件...
- 张志锋
- 关键词：信息系统形式化开发B方法软件开发
- 文献传递
