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

计算机学报 2022年第11期45卷 2279-2289页

作者：张绍群张钊钰姜远周志华南京大学计算机软件新技术国家重点实验室南京210023

在收集和处理时间序列数据的过程中,难免会产生误差,而在很多现实情形中误差是自相关非独立的.已有的预测理论在分析误差自相关的时序数据时,往往需要知道预测算法所输出假设空间的显式表达,而对于一些假设空间不明确的模型,比如神经网... 详细信息

在收集和处理时间序列数据的过程中,难免会产生误差,而在很多现实情形中误差是自相关非独立的.已有的预测理论在分析误差自相关的时序数据时,往往需要知道预测算法所输出假设空间的显式表达,而对于一些假设空间不明确的模型,比如神经网络,尚未有系统的求解方法和理论保障来分析其在非平稳且误差自相关时序数据上的预测能力.本文基于误差截尾的假设,提出了时间序列的预测PAC可学习理论,并给出了数据依赖情形下的泛化误差界.该界限包含一个时序复杂度度量和一个差异度量,前者描述了序列数据的非平稳性,后者可在适当情形下从数据中估计得到.因此,该误差界并不依赖于假设空间的显式表达,具有较强的普适性.根据上述理论,本文提出了一种基于自回归模型的交替优化算法用于预测非平稳的时间序列数据.我们在真实数据集上进行实验,验证了本文提出算法的有效性.

关键词：机器学习时间序列分析自相关误差预测PAC可学习性差异估计交替优化

来源：评论

学校读者我要写书评

暂无评论

基于多线程并行的符号执行引擎设计与实现

引用

计算机研究与发展 2023年第2期60卷 248-261页

作者：周彭左志强南京大学计算机科学与技术系南京210023 计算机软件新技术国家重点实验室(南京大学) 南京210023

符号执行作为一种高效的测试生成技术,被广泛应用于软件测试、安全分析等领域.然而,由于程序中的执行路径数量随着分支数量的增加而指数级上升,符号执行往往无法在大规模程序上进行高效执行,缺乏可扩展性.已有的基于多进程的并行化方法... 详细信息

符号执行作为一种高效的测试生成技术,被广泛应用于软件测试、安全分析等领域.然而,由于程序中的执行路径数量随着分支数量的增加而指数级上升,符号执行往往无法在大规模程序上进行高效执行,缺乏可扩展性.已有的基于多进程的并行化方法具有较大的额外通信开销,并且缺乏对现有约束求解优化技术的利用.提出了基于多线程并行处理模型的符号执行加速方法.具体来讲,为解决并行符号执行中的不同工作节点负载不平衡问题,设计了不需要中间节点参与的工作窃取算法.为充分利用现有约束求解优化技术,提出了让不同工作节点共享约束求解信息的加速求解方法.基于符号执行引擎(KLEE)实现了多线程并行化符号执行方案,从而形成多线程并行化符号执行引擎(PKLEE).实验验证表明,在穷尽执行路径场景下,KLEE平均耗时是在给定8个线程下PKLEE的3~4倍;在同样的时间内,PKLEE执行的有效工作负载平均是KLEE的3倍.

关键词：符号执行负载均衡约束求解并行加速可扩展性

来源：评论

学校读者我要写书评

暂无评论

自适应软件系统模型偏差检测方法的适用性评估

引用

计算机研究与发展 2022年第9期59卷 1929-1946页

作者：童燕翔秦逸马晓星计算机软件新技术国家重点实验室(南京大学) 南京210023

自适应软件系统的模型偏差会导致诸多可靠性问题.对控制型自适应软件系统而言,其面临的模型偏差源自描述软件系统的标称模型在非确定运行环境中的漂移现象.现有模型偏差检测方法往往忽视了不同模型偏差之间的差异性,导致用户难以为其特... 详细信息

自适应软件系统的模型偏差会导致诸多可靠性问题.对控制型自适应软件系统而言,其面临的模型偏差源自描述软件系统的标称模型在非确定运行环境中的漂移现象.现有模型偏差检测方法往往忽视了不同模型偏差之间的差异性,导致用户难以为其特定的应用场景选择合适的检测方法.针对这一问题,提出了一套特性指标,用于评估模型偏差检测方法在不同模型偏差场景下的适用性.该特性指标基于提出的模型偏差检测框架,系统分析了模型偏差检测过程中的重要因素,并提取控制信号强度、环境输入强度和非确定性强度作为量化的特性指标.基于这些特性指标,实验研究4种主流模型偏差检测方法在不同场景下的检测效果,并总结不同模型偏差检测方法对于自适应软件系统不同特性场景的适用性.

关键词：自适应软件控制型自适应软件系统模型偏差运行时验证场景特性

来源：评论

学校读者我要写书评

暂无评论

一种基于算法机制设计的社会法则合成方法

引用

软件学报 2024年第3期35卷 1440-1465页

作者：吴骏曹杰王崇骏谢俊元南京财经大学江苏省电子商务重点实验室江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

社会法则是在多Agent系统中为确立某种目标属性而对各个Agent实施的行为限制集合.在Agent具有“个体理性”及“私有信息”的“策略情况”下,社会法则合成问题不应建模成通常的优化问题,而应建模成算法机制设计问题.“最小化副作用”经... 详细信息

社会法则是在多Agent系统中为确立某种目标属性而对各个Agent实施的行为限制集合.在Agent具有“个体理性”及“私有信息”的“策略情况”下,社会法则合成问题不应建模成通常的优化问题,而应建模成算法机制设计问题.“最小化副作用”经常是社会法则需要满足的基本要求.从博弈论的角度来看,“最小化副作用”与“最大化社会福利”的概念紧密相关,可以将“最小化副作用的社会法则合成”建模为一种效率机制设计问题.不仅需要为给定目标属性找到有效且社会福利最大的社会法则,还需要向Agent支付适当的金额,以实现激励相容性和个体理性.首先基于VCG机制设计一种名叫VCG-SLM的效率机制,证明它可满足所有必需的形式属性.然而,由于发现可证明该机制的计算是一个FP^(NP)-完全问题,针对性地提出该机制的一种基于整数规划的实现方式VCG-SLM-ILP,基于ATL语义将分配及支付的计算转化为整数规划,并严格地证明其正确性,从而可有效利用目前已非常成熟的工业级整数规划求解器,成功解决棘手的机制计算问题.

关键词：多Agent系统社会法则算法机制设计

来源：评论

学校读者我要写书评

暂无评论

区块链系统身份管理机制研究综述

引用

计算机工程与应用 2024年第1期60卷 57-73页

作者：李馥娟马卓王群江苏警官学院计算机信息与网络安全系南京210031 计算机软件新技术国家重点实验室(南京大学) 南京210093

区块链技术是一项集P2P网络、共识机制、密码学、博弈论、经济学等众多技术与理论于一体的应用创新,以其去中心化这一特质冲击着传统系统中心化机制带来的种种约束,通过共识机制在一个无需第三方信任机构的开放网络环境中实现交易的可... 详细信息

区块链技术是一项集P2P网络、共识机制、密码学、博弈论、经济学等众多技术与理论于一体的应用创新,以其去中心化这一特质冲击着传统系统中心化机制带来的种种约束,通过共识机制在一个无需第三方信任机构的开放网络环境中实现交易的可信性、可溯源、防篡改等功能,其所形成的新型计算范式和信任机制有助于推动管理模式的转变。同时,区块链技术具有的账本公开和多方共识机制,为以交易为最小数据单元的区块链系统身份管理提出了挑战。梳理区块链系统身份管理技术的重要研究成果,为系统掌握区块链身份标识和认证方式、加强不同应用场景中的信息发现和价值挖掘提供借鉴。在讨论传统系统与区块链系统身份管理特征,并明确区块链身份管理主要内容的基础上,阐释UTXO模型和账户模型的特点,深入分析基于公钥转换、数字证书和去中心化数字身份3类区块链系统身份标识机制,以及匿名认证、实名认证和可控匿名认证3类区块链认证方式,最后对区块链身份管理技术的未来发展进行展望。

关键词：区块链身份管理身份标识身份认证

来源：评论

学校读者我要写书评

暂无评论

运动感知的移动游戏帧率调整算法

引用

软件学报 2025年第2期36卷 874-885页

作者：梁宇智霍宇驰王锐计算机辅助设计与图形学国家重点实验室(浙江大学) 浙江杭州310058

随着移动设备的广泛普及,其图形处理器的性能也逐渐增强.为了满足用户对卓越体验的不断追求,移动设备屏幕分辨率和刷新率每年都在不断提升.与此同时,移动游戏中的可编程绘制流水线也变得日益复杂,这导致游戏应用成为移动设备功耗的主要... 详细信息

随着移动设备的广泛普及,其图形处理器的性能也逐渐增强.为了满足用户对卓越体验的不断追求,移动设备屏幕分辨率和刷新率每年都在不断提升.与此同时,移动游戏中的可编程绘制流水线也变得日益复杂,这导致游戏应用成为移动设备功耗的主要来源.研究了移动游戏中的绘制流水线,提出一种运动感知的绘制帧率调整方法,以在节能模式下保证绘制质量.与以往仅考虑历史帧绘制误差的预测模型不同,该方法通过建立摄像机位姿和帧间绘制误差的非线性关系模型,通过未来帧新的摄像机位姿预测其绘制误差,实现更为精确的帧率调整策略.此外,该方法还包括一个轻量级的场景识别模块,可根据玩家所处特定场景有针对性地调整误差阈值,从而采用不同程度的帧率调整策略.在定量对比上,相比只考虑历史帧误差的预测模型,构建的模型在游戏帧序列上的预测准确性提高30%以上.同时,在用户实验的定性对比上,相同跳帧比例下该方法能够得到用户体验更好的绘制效果.提出的算法融合了历史帧误差和摄像机位姿变化信息,能够预测出更准确的未来帧误差.算法结合预测结果和场景识别结果,实现了更好的动态帧率调整效果.

关键词：实时绘制能耗优化自适应帧率调整

来源：评论

学校读者我要写书评

暂无评论

学习型过滤器综述

引用

计算机科学 2024年第1期51卷 41-49页

作者：李猛戴海鹏眭永熙顾荣陈贵海计算机软件新技术国家重点实验室(南京大学) 南京210023

作为一种高效的概率性结构,过滤器可以高效地解决近似集合成员查询问题。近年来,随着机器学习技术的发展,一些学习型过滤器表现出色,超越了传统的过滤器。这些学习型过滤器考虑数据分布信息,将集合成员查询问题视为二分类问题,实现了超... 详细信息

作为一种高效的概率性结构,过滤器可以高效地解决近似集合成员查询问题。近年来,随着机器学习技术的发展,一些学习型过滤器表现出色,超越了传统的过滤器。这些学习型过滤器考虑数据分布信息,将集合成员查询问题视为二分类问题,实现了超越传统过滤器的性能。受此启发,学习型过滤器研究领域迅速发展,出现了多个变种。然而,目前还缺乏对近些年相关工作的系统性回顾和比较。为了填补上述空缺,文中全面回顾了近年来的学习型过滤器相关工作,并展望了未来的发展方向。

关键词：近似成员资格查询机器学习 Bloom过滤器学习型过滤器假阳率

来源：评论

学校读者我要写书评

暂无评论

基于小样本数据增广的产品服役性能预测方法

引用

机械工程学报 2024年第6期60卷 11-20页

作者：刘振宇张楠裘辿谭建荣浙江大学计算机辅助设计与图形学国家重点实验室杭州310027

高精密机械产品往往生产规模有限,且各装配特征参数与性能之间存在错综复杂的耦合关系,难以用显性的映射关系表达。构建能够准确预测服役性能的映射模型,对于产品装调具有切实的指导意义。为此,提出一种小样本数据下产品服役性能多参数... 详细信息

高精密机械产品往往生产规模有限,且各装配特征参数与性能之间存在错综复杂的耦合关系,难以用显性的映射关系表达。构建能够准确预测服役性能的映射模型,对于产品装调具有切实的指导意义。为此,提出一种小样本数据下产品服役性能多参数关联分析与预测方法。考虑重要组件装配结合面接触刚度特征,将接触刚度与原始装配数据相融合;通过随机森林对装配特征参数进行重要度排序,筛选出关键特征;针对小样本不完备数据,利用变分自动编码器学习先验分布知识,实现装配数据的模拟增广,并对增广数据进行离群值修正;将装配增广样本与原始装配数据相融合,通过集成核超限学习机实现服役性能的预测。最后以某型位标器陀螺仪稳速电流预测为例,验证提出方法的有效性。

关键词：小样本数据增广接触特性服役性能超限学习机

来源：评论

学校读者我要写书评

暂无评论

基于MapReduce的大规模网络社区发现算法

引用

计算机科学 2024年第4期51卷 11-18页

作者：王瀚橙戴海鹏陈志鹏陈树森陈贵海计算机软件新技术国家重点实验室(南京大学) 南京210023

社区发现是社会网络挖掘领域的基本问题。随着海量数据的迅速产生,传统社区发现算法愈发难以处理大规模社会网络。因此,针对大规模网络设计高效的社区发现算法意义重大。文中提出了一种基于MapReduce和k中心聚类的新型分布式算法。首先... 详细信息

社区发现是社会网络挖掘领域的基本问题。随着海量数据的迅速产生,传统社区发现算法愈发难以处理大规模社会网络。因此,针对大规模网络设计高效的社区发现算法意义重大。文中提出了一种基于MapReduce和k中心聚类的新型分布式算法。首先,该算法提出“朋友圈系数”技术,该技术可更加准确地度量结点间的距离。其次,该算法提出“两阶段k中心聚类”技术,该技术在选取中心点过程中融入结点中心度启发式信息,可显著优化输出结果的模块度。最后,该算法提出“以模块度为优化目标的社区融合”技术,该技术能够在无先验知识的前提下自动确定网络中的社区数目。实验结果表明,所提算法的社区发现结果模块度明显优于最先进的社区发现算法。例如,相比LPA算法,其将模块度平均提升9.19倍。

关键词：社区发现 k中心聚类分布式计算数据挖掘大数据

来源：评论

学校读者我要写书评

暂无评论

过滤器数据结构研究综述

引用

计算机科学 2024年第1期51卷 35-40页

作者：王瀚橙戴海鹏陈树森陈志鹏陈贵海计算机软件新技术国家重点实验室(南京大学) 南京210023

过滤器数据结构可以近似地判断某个元素是否属于给定集合。典型的过滤器数据结构,如布隆过滤器、布谷鸟过滤器、商过滤器,以牺牲查询准确性为代价换取更低的内存空间消耗和查询时间开销。因此,得益于空间时间高效性,过滤器数据结构现已... 详细信息

过滤器数据结构可以近似地判断某个元素是否属于给定集合。典型的过滤器数据结构,如布隆过滤器、布谷鸟过滤器、商过滤器,以牺牲查询准确性为代价换取更低的内存空间消耗和查询时间开销。因此,得益于空间时间高效性,过滤器数据结构现已被广泛应用于计算机网络、物联网、数据库系统、文件系统、生物信息学、机器学习等领域的近似成员资格查询操作中。自20世纪70年代以来,过滤器数据结构受到了广泛的研究,在诸多领域取得了重要的进展,其研究思路也在不断变化。文中整理了近五十年来关于过滤器数据结构的经典研究成果,从过滤器数据结构的原理出发对已有工作进行分类总结,并比较不同工作之间的引证关系和改进思路,最后讨论了过滤器数据结构的未来研究方向。

关键词：过滤器近似成员资格查询概率数据结构布隆过滤器布谷鸟过滤器商过滤器

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：