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

计算机工程与设计 2025年第4期46卷 1208-1218页

作者：董泽华蒋建民李朝江何清马国栋成都信息工程大学软件工程学院四川成都610200 成都信息工程大学软件自动生成与智能服务四川省重点实验室四川成都610200

为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于UML模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法... 详细信息

为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于UML模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法。为保证系统需求与用户界面之间的一致性,满足高可信软件的要求,提出一致性分析与检测方法。不同于传统低代码开发平台的拖、拉、拽操作方式,只需要建立软件系统领域概念模型和用例模型,即可全自动生成用户界面。以实例验证了该方法的可行性。

关键词： UML模型用户界面形式化方法低代码开发平台模型驱动工程一致性高可信软件

来源：评论

学校读者我要写书评

暂无评论

基于形式化方法的程序代码合并分析

引用

计算技术与自动化 2025年第1期44卷 147-154页

作者：何清蒋建民成都信息工程大学软件工程学院四川成都610225 软件自动生成与智能服务四川省重点实验室四川成都610225

在实际软件开发中,开发人员通常会使用多个团队开发的程序来构建软件系统。然而,当这些程序包存在不同的版本时,将它们合并到一个完整的应用程序中可能会引发冲突,导致程序错误。提出了一种新的形式化模型——统一结构作为包图的形式语... 详细信息

在实际软件开发中,开发人员通常会使用多个团队开发的程序来构建软件系统。然而,当这些程序包存在不同的版本时,将它们合并到一个完整的应用程序中可能会引发冲突,导致程序错误。提出了一种新的形式化模型——统一结构作为包图的形式语义,对程序代码包合并提出了一种新的分析方法。该方法给出了三种包合并的策略,深入研究了将不同版本的代码转换成的包图在合并过程中可能出现的冲突和不一致性问题,并提供了具体的解决方案。实验表明这个方法能确保合并后的代码正确性,从而提高软件开发的质量和生产效率。

关键词：代码合并 UML 包图形式化包合并合并冲突

来源：评论

学校读者我要写书评

暂无评论

基于文本需求的需求模型自动生成方法

引用

软件导刊 2025年第3期24卷 48-59页

作者：马国栋蒋建民陈阵成都信息工程大学软件工程学院软件自动生成与智能服务四川省自动实验室四川成都610200

在软件开发的需求阶段,文本需求的二义性、歧义性等问题可能导致后续软件工件与需求描述不一致,难以保证软件开发过程的顺利进行和最终产品的质量。为了解决文本需求与生成的需求模型(UML类图)之间的不一致性问题,提出一种基于自然语言... 详细信息

在软件开发的需求阶段,文本需求的二义性、歧义性等问题可能导致后续软件工件与需求描述不一致,难以保证软件开发过程的顺利进行和最终产品的质量。为了解决文本需求与生成的需求模型(UML类图)之间的不一致性问题,提出一种基于自然语言处理的文本需求自动生成需求模型的新方法。该方法从文本需求中提取信息,分析自然语言文本并转化为形式化模型,最终生成需求模型。开发的原型工具实现了文本需求的一致性检测和需求模型的自动生成。通过实例表明该方法能够帮助软件开发团队更好地理解文本需求,减少不一致性的出现,从而提高软件开发效率和质量。

关键词：文本需求软件开发自然语言处理不一致性需求模型类图

来源：评论

学校读者我要写书评

暂无评论

基于数据稀疏性的协同过滤推荐算法改进研究

引用

工程科学与技术 2020年第1期52卷 198-202页

作者：岳希唐聃舒红平安义文成都信息工程大学软件工程学院四川成都610225 软件自动生成与智能服务四川省重点实验室四川成都610225

针对根据用户的活动行为向其推荐感兴趣项目的协同过滤推荐算法,随着用户数量和项目数量增多,用户在单一项目上的活动行为减少,导致推荐质量不佳的问题,本文提出了在数据稀疏的情况下提高推荐质量的优化算法。将基于项目和基于用户的推... 详细信息

针对根据用户的活动行为向其推荐感兴趣项目的协同过滤推荐算法,随着用户数量和项目数量增多,用户在单一项目上的活动行为减少,导致推荐质量不佳的问题,本文提出了在数据稀疏的情况下提高推荐质量的优化算法。将基于项目和基于用户的推荐方法相结合,根据用户之间的相似度初步预测用户对项目的评分,再基于项目之间的相似度产生推荐;在填补未评分的空缺值时,将平均值与预测值相结合;在计算相似度时,考虑用户之间共同评分的项目数权重和项目之间被用户共同评分的用户数权重。实验首先对比了几种基本推荐算法的推荐效果以选取较佳的基本算法进行研究,接着将本文提出的优化算法与其他算法进行了对比,最后不同程度地增加数据稀疏性进一步进行对比。结果表明:在优化算法的实验中,本文提出的优化算法一直具有较好的推荐效果;在数据稀疏性改变的实验中,随着数据稀疏度的增大,本文提出的优化算法推荐效果更具有明显优势。

关键词：稀疏性推荐算法相似度优化

来源：评论

学校读者我要写书评

暂无评论

面向多维稀疏数据仓库的欺诈销售行为挖掘

引用

软件学报 2020年第3期31卷 710-725页

作者：郑皎凌乔少杰舒红平应广华 Louis Alberto GUTIERREZ 软件自动生成与智能服务四川省重点实验室(成都信息工程大学) 四川成都610225 成都信息工程大学软件工程学院四川成都610225 阿里巴巴技术有限公司浙江杭州311121 Department of Computer Science Rensselaer Polytechnic InstituteNew YorkUSA

分销渠道系统中,产品制造商会分配给销售额较大的分销商更多返点利润鼓励销售,而分销商之间可能会联合起来将多个分销商的销售业绩累计在其中一个分销商上,获取高额利润,这种商业欺诈行为被称为挂单或窜货.由于数据中大量正常极值点的存... 详细信息

分销渠道系统中,产品制造商会分配给销售额较大的分销商更多返点利润鼓励销售,而分销商之间可能会联合起来将多个分销商的销售业绩累计在其中一个分销商上,获取高额利润,这种商业欺诈行为被称为挂单或窜货.由于数据中大量正常极值点的存在,使得传统异常探测算法很难区分正常极值和由挂单导致的异常极值;另外,多维销售数据本身就存在的稀疏性导致多维数据异常探测算法无法有效运行.为了克服上述问题,将人工智能和数据库技术结合起来,提出了基于分割率的特征提取方法和基于张量重构的挂单行为挖掘算法.同时,由于分销商之间存在多种挂单行为,设计了基于挂单模式偏序格的特征提取方法来对销售数据集中存在的挂单行为进行分类.在合成数据的实验中,所提出的挂单点挖掘算法能达到65%的平均AUC值,而传统特征提取方法仅达到36%和30%的平均AUC值.在真实数据上的实验结果表明,挂单行为探测方法能区分正常销售极值和挂单行为产生的异常极值.

关键词：分析渠道欺诈人工智能挂单模式张量偏序格

来源：评论

学校读者我要写书评

暂无评论

基于SBERT模型的代码片段推荐

引用

计算机应用研究 2022年第12期39卷 3730-3735页

作者：邓斯元魏乐舒红平成都信息工程大学软件工程学院成都610225 软件自动生成与智能服务四川省重点实验室成都610225

在当前的软件开发环境中,海量的低质量、无意义的代码知识为开发人员进行代码复用造成了阻碍,大大降低了软件开发效率。为了快速准确地为开发人员推荐高质量的代码知识,提出了基于SBERT(sentence-BERT)模型的代码片段推荐方法CSRSB(code... 详细信息

在当前的软件开发环境中,海量的低质量、无意义的代码知识为开发人员进行代码复用造成了阻碍,大大降低了软件开发效率。为了快速准确地为开发人员推荐高质量的代码知识,提出了基于SBERT(sentence-BERT)模型的代码片段推荐方法CSRSB(code snippets recommendation based on sentence-BERT)。该方法首先获取海量的高质量数据来构建代码语料库,并基于深度学习模型SBERT为代码片段对应的自然语言描述和用户输入的自然语言查询生成具有丰富语义的句向量,通过比较点积相似度来实现代码片段的推荐。使用命中率、平均倒数排名和平均准确率这三个常用推荐评估指标与现有相关研究中的方法进行对比来验证该方法的有效性。实验结果表明,CSRSB在有效提高代码片段推荐准确度的同时也能够做到快速推荐。

关键词：代码复用代码语料库深度学习代码片段推荐

来源：评论

学校读者我要写书评

暂无评论

基于Biterm主题模型的新闻线索生成方法

引用

数据分析与知识发现 2021年第2期5卷 1-13页

作者：赵天资段亮岳昆乔少杰马子娟云南大学信息学院昆明650500 成都信息工程大学软件工程学院成都610225 成都信息工程大学软件自动生成与智能服务四川省重点实验室成都610225

【目的】为解决生成新闻线索时抽取新闻主题及度量子事件相关性困难的问题,通过动态滑动窗口的方法改进主题模型,提高长文本和短文本新闻主题抽取的质量,并基于抽取出的新闻主题,提出面向新闻事件的新闻线索生成方法。【方法】在主题模... 详细信息

【目的】为解决生成新闻线索时抽取新闻主题及度量子事件相关性困难的问题,通过动态滑动窗口的方法改进主题模型,提高长文本和短文本新闻主题抽取的质量,并基于抽取出的新闻主题,提出面向新闻事件的新闻线索生成方法。【方法】在主题模型IBTM(Incremental Biterm Topic Model)的基础上,通过动态滑动窗口减小二元词组的提取范围,提出既适合在长文本新闻也适合在短文本新闻上抽取主题的News-IBTM模型,进而基于该模型从新闻数据中抽取主题分布和主题-词分布、推断文档-主题分布,再利用JS散度来度量文档-主题分布的差异,从而生成新闻线索。【结果】在人民网新闻和微博新闻数据上的实验结果表明,无论是长文本新闻还是短文本新闻,News-IBTM在困惑度、准确率及效率上都优于现有的经典主题模型。【局限】News-IBTM以及其他新闻线索生成方法的准确率都不高,还可以进一步提升。【结论】本文方法适合应对长文本和短文本新闻主题抽取的质量问题,并能从新闻事件中获取新闻线索。

关键词：新闻事件新闻线索生成主题模型 JS散度

来源：评论

学校读者我要写书评

暂无评论

宁夏一次春季突发寒潮极值暴雪过程的等熵位涡分析

引用

干旱区地理 2019年第2期42卷 271-279页

作者：胡亮帆胡文东谷思雨王蕾王金兰成都信息工程大学大气科学学院四川成都610225 软件自动生成与智能服务四川省重点实验室四川成都610225 高原大气与环境四川省重点实验室四川成都610225 黑龙江省气象服务中心黑龙江哈尔滨150030 河南省新乡市气象局河南新乡453000

利用常规观测、地面加密站逐时观测和欧洲中期数值预报中心0.125°×0.125°逐6 h再分析资料,从天气系统演变、冷空气路径、灾害性天气预报指标等方面,利用315 K等熵位涡对2016年4月2～3日宁夏突发寒潮极值暴雪过程进行了... 详细信息

利用常规观测、地面加密站逐时观测和欧洲中期数值预报中心0.125°×0.125°逐6 h再分析资料,从天气系统演变、冷空气路径、灾害性天气预报指标等方面,利用315 K等熵位涡对2016年4月2～3日宁夏突发寒潮极值暴雪过程进行了诊断分析。结果表明:(1)此次过程属于高空小槽东移合并型,地面有冷高压分裂且主体快速南下,并有锋面相配合,导致强冷空气入侵和锋后降雪。(2)前期环流形势稳定,后期天气系统突变,常规气象资料难以预报,315 K等熵位涡图可作为短时、局地的春季寒潮降雪过程的有效分析和预报工具。(3)等熵位涡清楚地示踪冷空气的来源和传播路径:咸海区域对流层顶冷空气东移南扩与青藏高原对流层中层冷空气合并加强,且新地岛平流层下部的冷空气在前期缓慢东移后,自贝加尔湖加速南下对其补充引发寒潮。(4)等熵位涡异常大值可定量、清晰地表述关键影响系统西风带小槽的演变,具有更好的指示意义。(5)等熵位涡高值区随时间变化与寒潮演变一致,可提前6 h指示冷空气活动,且等熵位涡大于1.0 PVU区域与寒潮及降雪落区一致,大于0.8 PVU区域与强降温区域一致,可作为精细定量预报的重要指标。

关键词：宁夏寒潮暴雪等熵位涡机制分析预报指标

来源：评论

学校读者我要写书评

暂无评论

面向制造任务的云制造虚拟车间构造方法

引用

计算机应用 2021年第7期41卷 2003-2011页

作者：赵秋云魏乐舒红平成都信息工程大学软件工程学院成都610225 软件自动生成与智能服务四川省重点实验室(成都信息工程大学) 成都610225

针对云制造模式下快速选择和组织相关制造资源、保证制造任务执行的问题,提出一种面向制造任务的云制造虚拟车间构造方法。该方法将制造过程抽象为制造任务执行链,链中的节点对应制造设备云服务或检验云服务,链中的有向边对应物流云服务... 详细信息

针对云制造模式下快速选择和组织相关制造资源、保证制造任务执行的问题,提出一种面向制造任务的云制造虚拟车间构造方法。该方法将制造过程抽象为制造任务执行链,链中的节点对应制造设备云服务或检验云服务,链中的有向边对应物流云服务;并通过行业域、地域和类型域来组织管理云服务,以构造规模较小的候选云服务集,同时减少功能匹配、性能匹配、价格匹配和时间匹配的计算量,达到快速构建云制造虚拟车间的目的。算例分析表明,相比其他方法,该方法能够在更短的时间内完成云服务的选择,并保证所选云服务的服务质量(QoS)在相关域中是更好的。

关键词：云制造云制造虚拟车间云服务管理制造执行链服务组合优化

来源：评论

学校读者我要写书评

暂无评论

面向稀疏数据集的聚类算法

引用

科学技术与工程 2020年第2期20卷 659-663页

作者：赵玉明舒红平魏培阳刘魁成都信息工程大学软件工程学院成都信息工程大学软件自动生成与智能服务四川省重点实验室成都610225

在聚类过程中数据可能呈现稀疏性,如果仍用传统的欧式距离作为聚类指标,则聚类的质量和效率将会受到严重的影响。受到信息论中KL(Kullback-Leibler)散度的启发,采用基于KL散度的相似性度量方法,先描述数据的整体分布,进而对数据进行聚... 详细信息

在聚类过程中数据可能呈现稀疏性,如果仍用传统的欧式距离作为聚类指标,则聚类的质量和效率将会受到严重的影响。受到信息论中KL(Kullback-Leibler)散度的启发,采用基于KL散度的相似性度量方法,先描述数据的整体分布,进而对数据进行聚类。研究结果表明,最后通过实验验证本算法的有效性。这种方法可以利用簇中元素提供的信息来度量不同簇之间的相互关系,克传统欧式距离的缺点,提升算法准确度。

关键词：数据挖掘聚类 KL(Kullback-Leibler) 散度欧式距离

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：