检索结果-南通市图书馆

作者：范一鸣河北大学

学位级别：硕士

软件规范对提高软件质量具有重要意义。随着软件不断更新,软件规模的增大导致人工提取软件规范的成本上升。为了从软件系统中自动挖掘规范,研究者们提出了一些基于有限状态自动机(Finite State Machine,FSM或Finite State Automaton,FSA... 详细信息

软件规范对提高软件质量具有重要意义。随着软件不断更新,软件规模的增大导致人工提取软件规范的成本上升。为了从软件系统中自动挖掘规范,研究者们提出了一些基于有限状态自动机(Finite State Machine,FSM或Finite State Automaton,FSA)的规范挖掘工具。然而,这些工具存在挖掘出的规范质量不够高和不适用于大规模软件等问题。为了挖掘大规模软件系统的规范和提高规范的准确率,研究者们提出了一些基于机器学习和深度学习的规范挖掘工具。然而,这些工具仍然面临因聚类过程中随机选择参数和对特征值进行聚类生成的FSA中状态错误合并导致的规范不准确等问题。为了解决上述问题,通过Ordering Points To Identify the Clustering Structure(optics)聚类算法和模型检测方法来提升软件规范的质量。主要工作如下:(1)针对获取规范时效率不高和聚类算法随机选择参数等问题,提出了一种基于optics聚类算法的软件动态规范挖掘方法。在此方法中使用Randoop工具生成测试用例并获取执行轨迹,通过轨迹采样算法和LSTM神经网络提升规范挖掘的效率;基于optics聚类算法设计了新的聚类过程解决了随机设置参数的问题;采用模型选择策略找到F-measure最高的FSA。基于上述方法构建工具DSM-O,并在13个目标类上进行评估。实验结果表明,DSM-O挖掘出规范的F-measure达到90.41%,比现有的规范挖掘工具DSM高26%。(2)针对聚类生成的FSA会出现状态之间错误合并的问题,提出了一种基于模型检测的动态软件规范挖掘方法。在此方法中使用Texada从执行轨迹中挖掘LTL公式,并基于这些LTL公式对FSA进行模型检测,验证FSA是否满足这些LTL公式。如果不满足,根据FSA违反的LTL公式的类型,通过添加和删除相应的状态和转换来改进FSA。基于上述方法构建了工具MCLSM且在13个目标类上进行了实验,实验结果表明使用MCLSM挖掘出规范的F-measure达到93.06%,比现有的规范挖掘工具DSM高28.48%。

关键词：规范挖掘 optics聚类算法模型检测有限状态自动机

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于XGBoost融合算法的RPA销售账目核对机器人设计

引用

自动化与仪器仪表 2024年第2期 200-203页

作者：王佩杨凌职业技术学院陕西杨凌712100

针对现有RPA机器人销售账目自动对账精度不足的问题,提出基于XGBoost融合算法进行RPA销售账目核对机器人设计,并重点对XGBoost的融合算法进行设计。在XGBoost融合算法中,通过多层采样的optics进行数据类簇划分,以挖掘财务数据中的从属关... 详细信息

针对现有RPA机器人销售账目自动对账精度不足的问题,提出基于XGBoost融合算法进行RPA销售账目核对机器人设计,并重点对XGBoost的融合算法进行设计。在XGBoost融合算法中,通过多层采样的optics进行数据类簇划分,以挖掘财务数据中的从属关系,完善数据逻辑,通过XGBoost根据optics输出的类簇信息进行数据分类,以降低XGBoost对训练过程的依耐性;在RPA销售账目核对机器人中,以时间+内容的标准形式对销售账目进行命名,然后采用XGBoost融合算法进行账目分类,最后通过pandas进行账目比对。实验结果表明,XGBoost融合算法具有较高的财务数据分类精度、销售账目分类精度;该RPA销售账目核对机器人可按照设定周期对销售账目进行自动核对,且核对精度较高,基本满足设计需求,对企业财务的数字化转型具有一定推动作用。

关键词： RPA 财务数据处理 optics聚类算法 XGBoost算法

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于改进密度聚类算法的中国城市旅游活跃度分析

引用

电脑知识与技术 2018年第8期14卷 265-269页

作者：陈佳辉朱蓉黄谦陈鹏飞曹钰钢嘉兴学院数理与信息工程学院浙江嘉兴314001

近年来随着信息技术的迅速发展,人们通常会在图像共享网站上上传自己旅游时所拍摄的照片。如果我们能对这些照片进行地点和数量上的提取和分析,就可以得到我国各个城市旅游活跃度。本文用基于optics的聚类算法对Flickr网站上的照片进行... 详细信息

近年来随着信息技术的迅速发展,人们通常会在图像共享网站上上传自己旅游时所拍摄的照片。如果我们能对这些照片进行地点和数量上的提取和分析,就可以得到我国各个城市旅游活跃度。本文用基于optics的聚类算法对Flickr网站上的照片进行了聚类分析,从而得到我国城市旅游活跃度。并且通过可视化软件将实验数据可视化,对本文实验结果加以验证。城市旅游活跃度可用于一些旅游目的地推荐,旅游路线安排等。

关键词： optics聚类算法可视化数据分析地理位置

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：