检索结果-内蒙古大学图书馆

计算机工程 2020年第8期46卷 197-202,209页

作者：范贵生刁旭炀虞慧群陈丽琼华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112 上海应用技术大学计算机科学与信息工程系上海201418

在跨项目软件缺陷预测中,人工采集标注的原始数据集通常包含噪声数据,并且源项目与目标项目之间的数据存在较大的分布差异性。针对该问题,提出一种两阶段跨项目缺陷预测方法CLNI-KMM。在实例过滤阶段,基于CLNI算法过滤噪声实例。在实例... 详细信息

在跨项目软件缺陷预测中,人工采集标注的原始数据集通常包含噪声数据,并且源项目与目标项目之间的数据存在较大的分布差异性。针对该问题,提出一种两阶段跨项目缺陷预测方法CLNI-KMM。在实例过滤阶段,基于CLNI算法过滤噪声实例。在实例迁移阶段,采用KMM算法调整源项目中实例的训练权重,并结合目标项目中的少量标注实例建立软件缺陷预测模型。实验结果表明,与经典的跨项目软件缺陷预测方法TCA、TNB和NNFilter相比,CLNI-KMM方法预测性能较优,并且具有较强的稳定性。

关键词：跨项目缺陷预测噪声数据分布差异实例过滤实例迁移

来源：评论

学校读者我要写书评

暂无评论

基于结构覆盖和状态识别的FSM一致性测试实验评估

引用

应用科学学报 2023年第2期41卷 326-343页

作者：林玮玮曾红卫缪淮扣王晓琳上海大学计算机工程与科学学院上海200444 上海市计算机软件评测重点实验室上海201114 嘉兴学院信息科学与工程学院浙江嘉兴314001

针对在测试资源紧张的情况下所面临的不同测试技术中测试方法选择问题,阐明了对基于结构覆盖和基于状态识别的测试生成技术进行实验评估的必要性,以10个有限状态机(finite state machine,FSM)应用实例为实验对象,从测试开销和错误覆盖... 详细信息

针对在测试资源紧张的情况下所面临的不同测试技术中测试方法选择问题,阐明了对基于结构覆盖和基于状态识别的测试生成技术进行实验评估的必要性,以10个有限状态机(finite state machine,FSM)应用实例为实验对象,从测试开销和错误覆盖能力两方面对这两种技术进行了实证研究,为FSM一致性测试中这两种技术的选择应用提供了经验性的参考建议。

关键词：有限状态机结构覆盖状态识别覆盖准则实证研究

来源：评论

学校读者我要写书评

暂无评论

基于随机森林算法的推荐系统的设计与实现

引用

计算机科学 2017年第11期44卷 164-167,186页

作者：沈晶磊虞慧群范贵生郭健美华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

如今随着推荐系统势头的加强,如何对用户行为进行快速而准确的预测变得愈加重要。通过分析网上社区帖子的点赞和点踩数据,实现了基于随机森林的推荐系统。该系统将实际问题转化为分类模型,并实现了数据处理、特征提取和参数调整。同时,... 详细信息

如今随着推荐系统势头的加强,如何对用户行为进行快速而准确的预测变得愈加重要。通过分析网上社区帖子的点赞和点踩数据,实现了基于随机森林的推荐系统。该系统将实际问题转化为分类模型,并实现了数据处理、特征提取和参数调整。同时,该系统还对用户浏览帖子后是否产生交互行为进行了预测。最后,通过实验仿真并利用F1值对实验结果进行评估。实验结果证明了系统的有效性和效率。

关键词：随机森林推荐系统特征提取机器学习

来源：评论

学校读者我要写书评

暂无评论

Web服务计算组合流程QoS验证

引用

计算机科学 2015年第12期42卷 120-123,147页

作者：开金宇缪淮扣高洪皓上海大学计算机工程与科学学院上海200444 上海市计算机软件评测重点实验室上海201114 上海大学计算中心上海200444

在满足功能需求的前提下,Web服务能否赢得市场,主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web服务计算组合流程的服务质量是否满足系统质量需求。依据用户访问Web服务产生的访问日志,采用聚类的方法,... 详细信息

在满足功能需求的前提下,Web服务能否赢得市场,主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web服务计算组合流程的服务质量是否满足系统质量需求。依据用户访问Web服务产生的访问日志,采用聚类的方法,构建面向用户群组的Web服务流程的使用行为QoS模型。采用QoS扩展的状态图描述Web服务流程的QoS需求。然后,利用概率模型验证工具PRISM判断Web服务流程的QoS是否满足系统质量需求。验证面向用户群组的Web服务流程的使用行为质量模型是否满足系统质量需求,为服务流程结构的调整提供了依据。

关键词： Web服务质量需求面向用户群组的服务流程QoS模型概率模型检验

来源：评论

学校读者我要写书评

暂无评论

面向领域的软件质量评价模型研究与应用

引用

计算机应用与软件 2012年第7期29卷 56-59页

作者：袁梦乔杨根兴华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

以GB/T16260质量模型为基础,提出一种面向领域的软件质量评价方法。首先,依据GB/T16260和针对领域软件质量评价的需求,建立一个通用模型;然后,在领域分析的基础上,生成反映领域特色的特性和子特性,并抽取GB-T16260质量模型中适用于目标... 详细信息

以GB/T16260质量模型为基础,提出一种面向领域的软件质量评价方法。首先,依据GB/T16260和针对领域软件质量评价的需求,建立一个通用模型;然后,在领域分析的基础上,生成反映领域特色的特性和子特性,并抽取GB-T16260质量模型中适用于目标领域的特性、子特性及属性,生成目标领域质量评价模型。最后,以该方法建立信贷领域质量评价模型并评价三款信贷软件系统,验证了该方法的可行性。

关键词：质量模型领域模型质量评价领域特征

来源：评论

学校读者我要写书评

暂无评论

CITECT在采油机效率测试系统中的应用

引用

上海理工大学学报 2013年第4期35卷 373-376页

作者：王山山邬春学高丽萍卜飞飞上海理工大学光电信息与计算机工程学院上海200093 上海理工大学上海市计算机软件评测重点实验室上海200093

为提高采油机的采油效率,通过对采油机运行过程及油田工作流程的分析,提出一套基于PLC(可编程逻辑控制器)控制网络和工控组态软件(CITECT)的油田采油机效率测试设计方案.该方案根据采油机运行各环节的特点,实现采油机运行过程的数据监控... 详细信息

为提高采油机的采油效率,通过对采油机运行过程及油田工作流程的分析,提出一套基于PLC(可编程逻辑控制器)控制网络和工控组态软件(CITECT)的油田采油机效率测试设计方案.该方案根据采油机运行各环节的特点,实现采油机运行过程的数据监控,并完成数据的处理、系统报警、数据存储、报表的制作等功能.现场实施运行证明系统操作方便,具有优良的人机界面及较高的可靠性.数据的处理结果可以很好地反映采油机各环节的工作状况,工作人员可以方便地根据结果设置采油机工作的最佳配置.

关键词： CITECT SCADA 采油机效率测试

来源：评论

学校读者我要写书评

暂无评论

构件式实时系统建模与验证研究

引用

小型微型计算机系统 2012年第2期33卷 219-224页

作者：梅佳缪淮扣高洪皓上海大学计算机工程与科学学院上海200072 广西财经学院计算机与信息管理系南宁530003 上海市计算机软件评测重点实验室上海201114

在复杂的实时系统开发中使用构件式设计方法已成为目前软件开发领域中的研究热点,如何有效地验证实时软件的设计是否满足给定的时间需求并降低验证过程的复杂度,是实时计算领域中的主要挑战之一.文中对构件接口模型进行时间扩展,提出了... 详细信息

在复杂的实时系统开发中使用构件式设计方法已成为目前软件开发领域中的研究热点,如何有效地验证实时软件的设计是否满足给定的时间需求并降低验证过程的复杂度,是实时计算领域中的主要挑战之一.文中对构件接口模型进行时间扩展,提出了时间接口模型,并将其用于构件接口交互行为的形式化建模.在接口自动机理论的的基础上进一步提出了时间接口自动机模型用于描述时间接口交互下构件的行为及组合方法,通过消除错误状态产生组合模型来约减构件时间接口自动机模型的积,并在约减的模型上进行性质检验,降低了分析复杂度,有效地应对状态空间爆炸问题.为了说明论文建议的方法,详细讨论了一个简单的、贯穿整篇论文的示例系统.

关键词：构件系统时间接口时间接口自动机验证

来源：评论

学校读者我要写书评

暂无评论

基于模拟退火遗传算法的云资源调度方法

引用

华东理工大学学报（自然科学版） 2019年第3期45卷 471-477页

作者：高天阳虞慧群范贵生华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112 上海智慧能源工程技术研究中心上海201103

代理云是为用户从不同的云提供商中发现和挑选合适的云计算服务。随着应用系统的规模和复杂度的增加,如何选择最优的云服务,并在多个云服务提供商分散部署应用,有效地缓解供应商锁定问题成为代理云所面临的难题。本文提出了一种基于模... 详细信息

代理云是为用户从不同的云提供商中发现和挑选合适的云计算服务。随着应用系统的规模和复杂度的增加,如何选择最优的云服务,并在多个云服务提供商分散部署应用,有效地缓解供应商锁定问题成为代理云所面临的难题。本文提出了一种基于模拟退火遗传算法的云资源调度方法,主要解决在代理云系统上搜索满足应用服务质量(QoS)需求资源的问题。实验结果表明,本文算法相比传统遗传算法具有较快的收敛速度,在不影响解的精度的前提下,提高了算法效率。

关键词：代理云遗传算法模拟退火算法服务质量(QoS)

来源：评论

学校读者我要写书评

暂无评论

MemPort:内存访问可移植性检测的设计和实现

引用

小型微型计算机系统 2016年第4期37卷 664-669页

作者：岳佳圆曹宇李弋复旦大学软件学院上海200433 上海市数据科学重点实验室(复旦大学) 上海200433 上海计算机软件技术开发中心上海201112

在程序可移植性问题中,运行时访存相关的可移植性问题具有极高的隐蔽性,现有技术难以准确地检测这些问题.如果程序存在这类移植性问题,开发人员需要花大量时间进行分析改正.本文基于符号执行的方法,提出一套完整的检测程序运行时潜在的... 详细信息

在程序可移植性问题中,运行时访存相关的可移植性问题具有极高的隐蔽性,现有技术难以准确地检测这些问题.如果程序存在这类移植性问题,开发人员需要花大量时间进行分析改正.本文基于符号执行的方法,提出一套完整的检测程序运行时潜在的访存相关可移植性问题的方法和技术,并实现了相应的工具.对一些有移植性特性的开源程序的源代码进行实验、测试和分析,检测模型和工具能准确地在程序源代码中指出存在潜在移植性问题的代码区域,并且实验结果也显示出了较高的检测准确率.

关键词：程序可移植性程序分析符号执行编译器

来源：评论

学校读者我要写书评

暂无评论

Web应用中数据库交互行为验证

引用

计算机工程 2012年第16期38卷 52-56页

作者：孙茂华缪淮扣高洪皓上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

采用定理证明和逆向工程的方法,对Web应用中的数据库交互行为进行验证。使用Z规格说明描述需求模型,根据数据库交互的源代码和转换规则得到实现模型。从实现模型中获取Web应用的相关性质,通过Z/EVES定理证明器验证这些性质是否在需求模... 详细信息

采用定理证明和逆向工程的方法,对Web应用中的数据库交互行为进行验证。使用Z规格说明描述需求模型,根据数据库交互的源代码和转换规则得到实现模型。从实现模型中获取Web应用的相关性质,通过Z/EVES定理证明器验证这些性质是否在需求模型的Z规格说明中得到满足。在此基础上,设计该方法的验证框架,并开发相应的原型系统。通过图书馆数据库管理系统实例证明该方法的有效性。

关键词：形式验证 Z规格说明数据库交互逆向工程定理证明

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：