福建省教育厅科技项目(JA11241)
- 作品数:2 被引量:0H指数:0
- 相关作者:潘文富朱顺痣开金宇许明更多>>
- 相关机构:厦门理工学院安阳师范学院上海大学更多>>
- 发文基金:福建省教育厅科技项目厦门市科技计划项目国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 用Python实现从XMI到SMV的程序转换器
- 2014年
- 在使用NuSMV模型检验工具时,常常先使用UML的状态图对系统进行行为建模,然后再使用NuSMV输入语言的语法描述该模型,这个过程繁琐,有时会出现人为的转换错误.为此,设计了XMI2SMV代码转换器,并用Python编程语言实现了这个工具,降低了模型检验工具的使用难度.
- 许明开金宇
- 关键词:PYTHONXMI
- 厦门人才网分布式全文检索与推荐系统设计
- 2013年
- 基于Lucene.Net框架,利用.Net Remoting技术,结合多种数据挖掘和推荐算法构建面向大规模文本数据的厦门人才网分布式全文检索与推荐系统.提出把大索引切割成小索引,采用多台服务器并行处理的分布式解决方案,完成招聘企业、职位、应聘人员信息的整合与聚集,实现信息的智能推荐.实验结果表明,本系统取得了较高的索引效率、较快的检索速度以及较为精准的推荐结果,并在实际应用中取得了良好的效果.
- 钟瑛潘文富朱顺痣
- 关键词:LUCENENETNETREMOTING