任雪利
- 作品数：27 被引量：44H指数：4
- 供职机构：曲靖师范学院计算机科学与工程学院更多>>
- 发文基金：云南省教育厅科学研究基金国家自然科学基金河南省高校新世纪优秀人才支持计划更多>>
- 相关领域：自动化与计算机技术理学文化科学经济管理更多>>
- 基于构件的信息系统形式化需求分析方法的研究被引量：3
- 2005年
- 提出了一种基于构件的企业信息系统形式化需求分析方法,可以很好地消除系统的二义性、不一致性和不完整性,大大提高系统需求分析的效率和质量,为后阶段的开发打下了很好的基础。这一方法已得到初步使用,取得了满意的结果。
- 姚全珠张志锋任雪利张作鹏
- 关键词：形式化信息系统
- 软件相似度在成本估算中的应用被引量：3
- 2015年
- 准确的成本估算是项目管理的重要内容之一,基于类比的估算是项目成本估算的一种重要方法,估算的准确性与相似项目的选择有着直接的关系。鉴于此,对软件项目的相似度进行研究。将语句相似度的思想用于软件相似度的计算,首先对数据集中的缺失值进行处理,然后计算项目各属性之间的相似度,针对不同的属性取值类型采用不同的方法进行计算,最后将各属性间的相似度进行加权平均得出项目间的相似度。将该方法应用于USP05-FT项目集进行成本的估算。实验结果表明:通过选择合适的相似度进行近邻的选择,评估的平均准确性可以达到85%以上。
- 任雪利代余彪
- 关键词：缺失值平均绝对偏差
- 基于着色Petri网的项目进度计划被引量：1
- 2009年
- 如何处理进度与成本之间的关系是提高软件项目开发成功的重要保证,提出根据PERT图构造着色Petri网来表示项目进度计划,依据转移条件判断变迁的发生,从而及时调整资源与进度的相互关系,为项目的进度计划提供有力的依据,取得了良好的效果。
- 任雪利
- 关键词：着色PETRI网计划评审技术进度
- 基于后缀数组的快速排序算法
- 2006年
- 在搜索技术和各种流行的排序算法优缺点比较的基础上,给出了一种基于后缀数组的新的快速排序算法,该算法在时间和空间性能上均优于传统的快速排序算法;并在同等的条件下,用该方法与快速排序算法对相同的内容进行排序,结果表明:该算法特别适用于大文本的排序问题,可用于搜索技术和数据压缩中.
- 李岚任雪利
- 关键词：后缀数组快速排序算法搜索技术
- 一种新的基于XML的索引机制被引量：7
- 2006年
- 当前基于Web的半结构化数据越来越受到重视。该文分析了当前对XML数据检索的相关工作,提出了一种路径索引技术,并将之无缝结合了基于文本的倒排索引文档,以实现XML文档的内容和结构的双重检索。该方法只需要对文档库扫描一次,可以大幅度降低用户查询时间。
- 姚全珠丁晓剑任雪利张志锋
- 关键词：XML信息检索索引倒排文档
- 基于B的UML形式化需求分析被引量：6
- 2007年
- 为了消除软件需求中存在的不完整性、二义性和不一致性,可以用形式化方法描述软件需求;但是,形式化描述需要很强的专业知识,这样严重阻碍其广泛应用。为了使形式化描述简单、易行,提出了一种从UML试图转化为B形式化需求的一种新的实现方法,该方法通过在实际的项目中应用,取得了一定的效果。
- 张志锋徐洁邓璐娟任雪利
- 关键词：形式化方法B方法统一建模语言
- 基于后缀数组的XML搜索技术
- 2008年
- 在对XML文档建立索引机制的基础上,采用基于后缀数组的快速排序算法产生有序索引,并以实验证明了该方法的有效性,为开发基于XML文档的WEB搜索引擎提供了一种可行的方法.
- 任雪利代余彪戴普明
- 关键词：计算机工程后缀数组快速排序算法XML
- PowerDesigner在数据库综合性实验中的应用研究被引量：2
- 2012年
- 以"学生成绩管理系统"为例,进行模型设计,阐述了需求模型、业务模型、概念模型、物理模型、生成数据库脚本及测试数据的主要设计过程。
- 李苹蒋锐张顺吉任雪利兰美辉
- 关键词：POWERDESIGNER数据库设计
- 基于模糊路径匹配的XML文档分类研究
- 2015年
- XML是互联网上信息表示和数据交互的重要标准,文档分类是解决从海量信息中获取有效信息的重要方法,提出一种基于模糊路径匹配的XML文档分类方法。首先去除对分类没有影响的信息;然后采用一种混合的XML文档相似性计算方法,将XML文档表示为路径的集合。为了提高效率,删除了文档中重复出现的路径后进行模糊匹配,用匈牙利算法计算出文档间的相似度;最后使用改进的K近邻算法进行文档的分类。使用自动生成及真实的文档集进行实验,结果表明:两组文档分类的正确率均可以达到100%。
- 任雪利代余彪
- 关键词：XML语义
- 基于着色Petri网测试用例的自动生成被引量：2
- 2009年
- 针对基于UML的面向对象程序设计方法及着色Petri网的特点,提出了一种基于着色Petri网的测试用例生成方法,该方法将UML的时序图描述转化为着色Petri网的形式化描述,通过深度优先遍历着色Petri网找出系统的测试路径,对给出的测试数据采用爬山法进行测试用例的选择,最后,根据路径覆盖的原则产生完整的测试用例.
- 任雪利
- 关键词：着色PETRI网统一建模语言
