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

计算机工程 2024年

作者：吴波龙廷艳万良夏云霓贵州大学计算机学院科学与技术学院公共大数据国家重点实验室重庆大学计算机学院软件与理论重庆市重点实验室

针对多基站多任务移动边缘计算环境中任务卸载问题，在同时考虑任务在基站之间并行传输、任务卸载系统时延和边缘服务器负载的情况下，提出以系统时延和负载均衡为最小化优化目标的任务卸载策略。为求解优化问题，提出了一种基于改进粒... 详细信息

针对多基站多任务移动边缘计算环境中任务卸载问题，在同时考虑任务在基站之间并行传输、任务卸载系统时延和边缘服务器负载的情况下，提出以系统时延和负载均衡为最小化优化目标的任务卸载策略。为求解优化问题，提出了一种基于改进粒子群算法的任务卸载方法IPSO，通过采用反向学习策略对粒子群算法的初始解空间进行优化，提升算法的收敛与搜索能力；再利用levy飞行策略对各粒子的速度矢量进行更新，有效避免局部最优解，同时引入遗传算法的精英保留策略，得到一个能够稳定降低边缘服务器负载的任务卸载策略，将所提的IPSO算法与混合启发式算法、PSO算法、人工蜂鸟算法、遗传算法和随机算法进行对比。实验结果表明，IPSO算法在不同的任务数、边缘服务器数下得到的时延和负载标准差都小于其它5种算法，其中，在任务数增长下进行实验后得到的系统时延分别比其它对比算法平均降低了3.04%、4.63%、6.79%、8.94%、12.7%，边缘服务器之间负载标准差分别比其它对比算法平均降低了16.2%、26.4%、62.8%、71.3%、91.5%。

关键词：边缘计算任务卸载并行传输负载均衡粒子群算法

来源：评论

学校读者我要写书评

暂无评论

一种去中心化的在线边缘任务调度与资源分配方法

引用

计算机学报 2022年第7期45卷 1462-1477页

作者：彭青蓝夏云霓郑万波吴春蓉庞善臣龙梅蒋宁重庆大学计算机学院软件与理论重庆市重点实验室重庆400044 昆明理工大学数据科学研究中心昆明650500 中国石油大学计算机科学与技术学院山东青岛266510 重庆猪八戒网络科技有限公司重庆401123 马上消费金融股份有限公司重庆401121

创新移动应用迅速发展和5G通讯技术的成熟落地引发了终端用户对计算资源下沉至边缘的巨大需求,从而推动了多接入边缘计算(Multi-access Edge Computing,MEC)概念的提出和发展.在MEC环境中,用户可以将移动任务卸载到周围部署的边缘服务... 详细信息

创新移动应用迅速发展和5G通讯技术的成熟落地引发了终端用户对计算资源下沉至边缘的巨大需求,从而推动了多接入边缘计算(Multi-access Edge Computing,MEC)概念的提出和发展.在MEC环境中,用户可以将移动任务卸载到周围部署的边缘服务器上来加速移动应用.尽管边缘服务器可以在近用户端提供低时延、高响应性的服务,但其仍面临计算资源有限和用户请求多样带来的挑战,因此需要效率高、实时性强的任务调度与资源分配策略来合理地利用边缘资源.然而,目前针对MEC环境下任务调度和资源分配的方法大多基于中心化架构,并以批处理的方式对某个时间段到达任务进行统一调度与资源分配,因此在面对异构复杂的MEC资源网络和高时延敏感用户需求时具有一定的局限性,此外传统方法还缺少对任务多样性和优先级的考量.针对上述问题,本文提出了一种去中心化的在线任务调度与资源分配方法D-TSRA,该方法以任务优先级加权的卸载响应时间为评价指标,由实时任务调度策略、边缘资源分配策略、和运行时任务迁移策略组成.基于真实边缘环境下数据集的实验表明本文所提出的D-TSRA方法与传统任务调度与资源分配方法相比最多能够减少34.21%的加权任务卸载响应时间.

关键词：多接入边缘计算移动任务卸载去中心化调度在线资源分配边缘任务迁移

来源：评论

学校读者我要写书评

暂无评论

边缘环境下轨迹预测性感知的在线边缘服务分配

引用

计算机科学 2022年第11期49卷 277-283页

作者：李晓波陈鹏帅彬夏云霓李建岐重庆大学软件与理论重庆重点实验室重庆400044 西华大学计算机与软件学院成都610039 全球能源互联网研究院有限公司北京102209

移动通信技术的快速发展促使了移动边缘计算(Mobile Edge Computing,MEC)的出现。作为第五代(5G)无线网络的关键技术,MEC可利用无线接入网络就近提供电信用户所需服务和云端计算功能,从而创造出一个具备高性能、低延迟与高带宽的服务环... 详细信息

移动通信技术的快速发展促使了移动边缘计算(Mobile Edge Computing,MEC)的出现。作为第五代(5G)无线网络的关键技术,MEC可利用无线接入网络就近提供电信用户所需服务和云端计算功能,从而创造出一个具备高性能、低延迟与高带宽的服务环境,加速网络中的各项内容、服务及应用。然而,如何实现MEC环境下有效且性能有保障的服务卸载和迁移仍然是一个巨大的挑战。针对这一问题,大多数现有的解决方案都倾向于将任务卸载视为一个离线决策过程,使用用户的瞬时位置作为模型输入。而文中考虑了一种预测轨迹感知的在线MEC任务卸载策略,即PreMig。该策略首先通过多项式滑动窗口模型对服务所属边缘用户的未来轨迹进行预测,然后计算用户在边缘服务器信号覆盖范围内的停留时间,最后以一种贪心策略进行边缘服务的分配。为了验证所设计的方法的有效性,基于真实MEC部署数据集和校园移动轨迹数据集开展了模拟实验,实验结果显示,所提策略在平均服务率和用户服务迁移次数两个关键性能指标上均优于传统策略。

关键词：边缘计算移动性移动轨迹预测在线服务分配服务迁移

来源：评论

学校读者我要写书评

暂无评论

网络信息生态系统中的虚假信息:检测、缓解与挑战

引用

计算机研究与发展 2021年第7期58卷 1353-1365页

作者： Amrita Bhattacharjee 舒凯高旻刘欢亚利桑那州立大学计算机科学与工程系美国亚利桑那州坦佩85281 伊利诺伊理工大学计算机科学系美国伊利诺伊州芝加哥60616 重庆大学大数据与软件学院重庆400044

随着互联网的迅速发展及网络社会媒体中用户的增加,通过社会媒体发布和传播信息的真实性和质量受到日益广泛的关注.目前大部分公众已习惯从社会媒体平台与互联网获取新闻,甚至是获取受到高度关注的话题(如新冠病毒感染症状)的信息.鉴于... 详细信息

随着互联网的迅速发展及网络社会媒体中用户的增加,通过社会媒体发布和传播信息的真实性和质量受到日益广泛的关注.目前大部分公众已习惯从社会媒体平台与互联网获取新闻,甚至是获取受到高度关注的话题(如新冠病毒感染症状)的信息.鉴于网络信息生态系统非常嘈杂,充斥着错误和虚假信息并经常受到恶意媒介的污染,从中识别真实的信息成为一项艰巨任务.对此,研究者们已开始致力于虚假信息检测和减缓虚假信息传播影响方面的工作.讨论了网络信息生态系统中的虚假信息问题,特别是随着新冠病毒大爆发而来的“信息疫情”.随后,简述了虚假信息检测方法,分析了减缓虚假信息影响的方法,并探讨了虚假信息研究中的固有挑战.最后从跨学科角度阐述了检测和减缓虚假信息影响的方法和未来研究展望.

关键词：虚假信息缓解虚假信息虚假信息检测社会媒体跨学科方法

来源：评论

学校读者我要写书评

暂无评论

面向新兴系统的形式化建模与验证方法专题前言

引用

软件学报 2020年第8期31卷 2283-2284页

作者：陈振邦冯新宇刘志明国防科技大学计算机学院湖南长沙410073 南京大学计算机科学与技术系江苏南京210023 南京大学计算机软件新技术国家重点实验室江苏南京210023 西南大学计算机与信息科学学院重庆400715 西南大学软件研究与创新中心重庆400715

形式化方法是计算机科学的重要理论基础.它以严格的数学化和机械化方法为基础来规约、构建和验证计算系统,是改善和确保计算系统质量的重要方法.近年来,随着相关技术的发展,形式化方法已经在越来越多的新兴系统中得到应用并取得显著效果... 详细信息

ISBN: (纸本)9781728188232

形式化方法是计算机科学的重要理论基础.它以严格的数学化和机械化方法为基础来规约、构建和验证计算系统,是改善和确保计算系统质量的重要方法.近年来,随着相关技术的发展,形式化方法已经在越来越多的新兴系统中得到应用并取得显著效果.为了记录中国学者在新兴系统的形式化建模与验证理论、方法、工具和应用等方面的最新研究成果,特设立此专题.

关键词：形式化方法计算机科学最新研究成果数学化验证计算规约新兴专题

来源：评论

学校读者我要写书评

暂无评论

基于自然邻居的标记分布学习

引用

计算机科学 2020年第8期47卷 132-136页

作者：姚成亮朱庆生重庆大学计算机学院软件理论与技术重庆市重点实验室重庆400044

标记分布是一种新的机器学习范式,能很好地解决某些标记多义性问题,可看作多标记的泛化。传统的单标记学习和多标记学习均可看作标记分布学习的特例。已有的标记分布学习算法中,基于算法改造的AA-KNN(Algorithm Adaptation-KNN)是一种... 详细信息

标记分布是一种新的机器学习范式,能很好地解决某些标记多义性问题,可看作多标记的泛化。传统的单标记学习和多标记学习均可看作标记分布学习的特例。已有的标记分布学习算法中,基于算法改造的AA-KNN(Algorithm Adaptation-KNN)是一种高效的算法,但任何涉及K近邻求解问题的算法在处理不同数据集时,参数K值的选取都是一个难题,不同的K值得到的结果明显不同。基于此,将自然最近邻居的概念引入标记分布学习,提出一种新的标记分布学习方法。对数据集使用自然最近邻居搜索算法查找每个样本的自然邻居,取自然邻居的标记分布均值作为预测结果。搜索算法不需要人工设置任何参数,同时搜索算法是一种被动搜索,其自适应计算得到每个样本的邻居。在6个数据集上使用6个评价指标进行实验,结果表明,与AA-KNN相比,结合自然最近邻居的标记分布学习算法不仅避免了人工设置参数的问题,而且取得了更优的效果。

关键词：标记分布标记分布学习自然邻居无参数

来源：评论

学校读者我要写书评

暂无评论

融入H指数的局部拓展类重叠社区发现算法

引用

小型微型计算机系统 2019年第1期40卷 20-25页

作者：朱征宇袁闯重庆大学计算机学院重庆400044 软件理论与技术重庆市重点实验室重庆400044

本文针对传统的局部拓展算法具有较强的随机性和社区发现质量不高的缺陷,在种子拓展和H指数的基础上,提出了一种基于节点重要性和改进适应度的重叠社区发现算法(HDOC).算法采用H指数和局部影响力计算节点重要性,按此对节点排序和选种,... 详细信息

本文针对传统的局部拓展算法具有较强的随机性和社区发现质量不高的缺陷,在种子拓展和H指数的基础上,提出了一种基于节点重要性和改进适应度的重叠社区发现算法(HDOC).算法采用H指数和局部影响力计算节点重要性,按此对节点排序和选种,使算法具有稳定性;且本文采用了一种新的适应度计算方法,兼顾考虑了节点自身和邻接点重要性,来对社区进行扩展,提高了社区的发现质量.通过在真实网络和LFR生成的人工网络中进行测试,并与其他社区发现算法对比实验表明,HDOC的社区识别能力较强,并且具有不错的时间效率.

关键词：社区划分重叠社区局部拓展节点重要性 H指数

来源：评论

学校读者我要写书评

暂无评论

形式化方法概貌

引用

软件学报 2019年第1期30卷 33-61页

作者：王戟詹乃军冯新宇刘志明国防科技大学计算机学院湖南长沙410073 高性能计算国家重点实验室(国防科技大学) 湖南长沙410073 中国科学院软件研究所北京100190 天基综合信息系统重点实验室(中国科学院软件研究所) 北京100190 南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 西南大学计算机与信息科学学院重庆400715 西南大学软件研究与创新中心重庆400715

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 详细信息

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性.

关键词：形式化方法形式规约形式验证程序设计方法学软件开发

来源：评论

学校读者我要写书评

暂无评论

一种启发式确定聚类数方法

引用

小型微型计算机系统 2018年第7期39卷 1381-1385页

作者：卢建云朱庆生吴全旺重庆大学计算机学院重庆400044 重庆电子工程职业学院软件学院重庆401331 重庆大学软件理论与技术重庆市重点实验室重庆400044

聚类分析是数据挖掘领域中最重要的任务之一,目前许多聚类算法已经被成功应用到图像聚类、文本聚类、信息检索、社交网络等领域.但面对结构复杂,分布不均衡的数据集时,确定数据集的最佳聚类数目显得尤为困难.因此,本文针对结构复杂、分... 详细信息

聚类分析是数据挖掘领域中最重要的任务之一,目前许多聚类算法已经被成功应用到图像聚类、文本聚类、信息检索、社交网络等领域.但面对结构复杂,分布不均衡的数据集时,确定数据集的最佳聚类数目显得尤为困难.因此,本文针对结构复杂、分布不均衡的数据集提出了一种启发式最佳聚类数确定的方法.首先,构建随机游走模型对数据集中的点进行重要性排序,通过k-最近邻距离图谱确定重要数据点的个数,由此排除噪声点和不重要的点对类之间以及类内密度变化的影响.其次,通过设计的启发式规则(k-最近邻链间距和k-最近邻链最近邻间距)构建决策图确定最佳聚类数目并识别出聚类代表点.最后,通过最近距离传播算法进行聚类.实验表明该方法可以快速准确地找到最佳聚类个数,同时,本文提出的聚类算法与流行的聚类算法相比取得了比较好的聚类结果.

关键词：聚类分析聚类数目启发式规则随机游走模型 k-最近邻链

来源：评论

学校读者我要写书评

暂无评论

面向网络游戏的自动化接口测试系统设计

引用

现代计算机 2018年第7期24卷 81-84页

作者：周绍凯姚砺东华大学计算机科学与技术学院上海200051 东华大学计算机软件与理论系上海200051

在网络游戏快速迭代过程中,相较于单元测试和UI测试,投入和产出比最高的还是自动化接口测试。不论是对新增加的功能进行测试,或是做已有功能的回归测试,一个完善的接口测试体系能够在很大程度上保证产品的质量,同时也有利于测试的持续... 详细信息

在网络游戏快速迭代过程中,相较于单元测试和UI测试,投入和产出比最高的还是自动化接口测试。不论是对新增加的功能进行测试,或是做已有功能的回归测试,一个完善的接口测试体系能够在很大程度上保证产品的质量,同时也有利于测试的持续集成。经过对现有的接口测试工具调研,给出基于实际测试用例生成新测试用例模板的工具,以及基于测试用例的自动化接口测试体系,并利用Python语言编程实现该自动化接口测试系统。

关键词：网络游戏测试用例接口测试自动化接口测试

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：