基于构件的信息系统形式化需求分析方法的研究

提出了一种基于构件的企业信息系统形式化需求分析方法,可以很好地消除系统的二义性、不一致性和不完整性,大大提高系统需求分析的效率和质量,为后阶段的开发打下了很好的基础。这一方法已得到初步使用,取得了满意的结果。     

BWT-Boyer-Moore压缩域搜索算法的研究

针对BoyerMoore匹配算法对压缩文本文件搜索的不足,分析了当前对于压缩文件搜索的主要方法,提出了一种基于BW转换的高效的搜索算法并予以验证。     

人工免疫在电子商务推荐中的应用

Internet的迅速发展使得电子商务中信息超载现象越发严重,如何从商品信息的海洋中快速准确的挑选出需要的商品已成为电子商务网站急需解决的问题,个性化推荐为解决该问题提供了可能.为了实现准确的推荐,本文提出了使用人工免疫技术对用户进行聚类,然后采用协同过滤技术进行推荐,结果表明,准确率可以达到80%以上.     

基于后缀数组的分词技术①

中文分词技术是机器翻译、分类、搜索引擎以及信息检索的基础,但是,互联网上不断出现的新词严重影响了分词的性能,为了提高新词的识别率,建立待分词内容的后缀数组,然后计算其公共前缀共同出现的次数,采用阈值对其进行过滤筛选出候选词语,实验结果表明,该方法在新词识别方面有一定的优势。     

协同过率在工作量估算中的应用

工作量估算是软件项目管理的重要内容之一,协同过滤是一种在历史数据中确定相似用户或物品产生推荐的方法,已成功的应用于电子商务、影视推荐等多个领域,本文将协同过滤技术应用于软件工作量的估算。首先对历史项目集中的数值型数据进行归一化,然后采用均值对缺失值进行插补,余弦用于计算项目的相似度,最后确定项目的近邻集对待评估项目的工作量进行估算。从USP05-FT中选择了4个项目作为实例来说明该估算过程,估算结果与实际值有一些偏差是由于协同过滤仅能处理数值型数据。     

基于着色Petri网的项目进度计划

如何处理进度与成本之间的关系是提高软件项目开发成功的重要保证,提出根据PERT图构造着色Petri网来表示项目进度计划,依据转移条件判断变迁的发生,从而及时调整资源与进度的相互关系,为项目的进度计划提供有力的依据,取得了良好的效果。     

基于B的UML形式化需求分析

为了消除软件需求中存在的不完整性、二义性和不一致性,可以用形式化方法描述软件需求;但是,形式化描述需要很强的专业知识,这样严重阻碍其广泛应用。为了使形式化描述简单、易行,提出了一种从UML试图转化为B形式化需求的一种新的实现方法,该方法通过在实际的项目中应用,取得了一定的效果。     

基于贝叶斯网络的关键链技术研究

软件开发中不可避免地要协调资源、进度与质量之间的关系.提出基于贝叶斯网络的关键链技术,用关键链技术来确定项目的关键路径,对关键路径上的节点建立贝叶斯网络,及时调整不合理的进度计划或预知开发中存在的问题,从而极大地提高了项目的成功率.     

PowerDesigner在数据库综合性实验中的应用研究

以"学生成绩管理系统"为例,进行模型设计,阐述了需求模型、业务模型、概念模型、物理模型、生成数据库脚本及测试数据的主要设计过程。     

基于贝叶斯网络的计划评审技术

进度、质量是软件项目管理的重要内容,计划评审技术(PERT)在安排软件项目进度计划时仅考虑了时间因素,质量作为衡量项目成功的重要因素,在进度安排过程中没有涉及到。为了在进度安排过程中考虑到质量因素的影响,本文章提出了基于贝叶斯网络的计划评审技术,并且将其应用于实际的开发过程中,取得了很好的效果。