贵州省自然科学基金(2008090)
- 作品数：2 被引量：10H指数：1
- 相关作者：余泉张维周锦程王丹王驹更多>>
- 相关机构：黔南民族师范学院中山大学广西师范大学更多>>
- 发文基金：贵州省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Lucene的全文检索系统的研究与实现被引量：10
- 2011年
- Lucene是一个优秀的开源全文搜索技术框架,Lucene全文检索技术是信息检索领域广泛使用的基本技术。它能非常方便地为各种应用程序加入全文索引和搜索功能,快速有效地索引企业累积的大量信息资源。文中阐述了建立全文检索系统的必要性,介绍了全文检索系统的概念并分析了Lucene的系统结构和实现机制,最后结合实际应用背景从系统设计、文挡抽取、索引的建立及执行检索等方面介绍了全文检索系统的实现过程。实践证明,该系统的查准率、查询速度等均达到了设计要求。
- 周锦程王丹余泉张维
- 关键词：索引信息检索
- MALC的公式在其模型间互模拟下的不变性
- 2010年
- 文献[1]中给出了模态描述逻辑的语法与语义,同时给出了两个模型之间的互模拟关系。目前对各种模态描述逻辑系统的研究主要是它们的语法与语义,对其代数性质做研究很少见,然而研究各种模态描述逻辑系统的模型构造,模型之间互模拟、同构等代数性质有重要的理论与现实意义。文中在文献[1]的基础上,定义了模态描述逻辑的可能世界的理论和两个可能世界的等价,继续研究描述逻辑系统的代数性质,得到了的合式公式在模型间互模拟下的不变性。
- 余泉王驹
- 关键词：互模拟不变性
