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

中国科学：信息科学 2019年第11期49卷 1428-1450页

作者：秦逸许畅陈紫琦吕建南京大学计算机科学与技术系计算机软件新技术国家重点实验室

信息物理融合系统(cyber-physical system,CPS)是“人-机-物”三元融合模式背景下新型软件基础设施的重要一环.为了处理不断涌现的新环境、新模式和新平台,CPS软件必须具备一定质量保障水平的可成长和可持续演化能力.然而CPS软件在与环... 详细信息

信息物理融合系统(cyber-physical system,CPS)是“人-机-物”三元融合模式背景下新型软件基础设施的重要一环.为了处理不断涌现的新环境、新模式和新平台,CPS软件必须具备一定质量保障水平的可成长和可持续演化能力.然而CPS软件在与环境交互过程中所必然面对的环境非确定性给CPS软件的质量保障带来了新的挑战.本文深入分析了环境非确定性中的感知非确定性和规约非确定性分别给软件测试研究带来的挑战.为了应对这些挑战,提出了一个迭代式的研究框架,用于有效测试受环境非确定性影响的CPS软件.基于该研究框架,介绍了现有CPS软件测试技术研究进展,并重点介绍了3种考虑环境非确定性的软件测试技术,分别解决CPS软件测试中的测试输入生成、测试预言生成和环境适应性评估问题.本文基于一个自适应自控小车的CPS软件实例,初步验证了所介绍方法测试CPS软件的有效性.

关键词：信息物理融合系统软件测试环境非确定性测试输入生成测试预言生成环境适应性评估

来源：评论

学校读者我要写书评

暂无评论

面向RFID动态帧时隙ALOHA协议的帧长优化

引用

计算机科学与探索 2021年第7期15卷 1227-1236页

作者：何金栋卜艳玲石聪聪谢磊国网福建省电力有限公司电力科学研究院福州350007 南京大学计算机软件新技术国家重点实验室南京210023 全球能源互联网研究院有限公司信息网络安全实验室南京210023

近年来,国家电网积极推动泛在电力物联网的建设,以实现电力系统的万物互联与优化管理。其中,射频识别技术(RFID)作为泛在电力物联网建设的核心技术,凭其价格低廉、无需电源、非视距通信、远距离通信等特点,被广泛应用于电力仓储物资管... 详细信息

近年来,国家电网积极推动泛在电力物联网的建设,以实现电力系统的万物互联与优化管理。其中,射频识别技术(RFID)作为泛在电力物联网建设的核心技术,凭其价格低廉、无需电源、非视距通信、远距离通信等特点,被广泛应用于电力仓储物资管理、电力巡检等应用场景。为了盘点电力设备仓库中的物品,需要快速识别粘贴在物品上的标签,然而由于仓库中存在大量标签,在通信过程中容易产生标签信号冲突。针对当前商用RFID系统普遍采用的符合EPCC1G2标准的动态帧时隙ALOHA协议,提出了一种新型的基于Q-learning与神经网络的帧长优化算法(记作QN-learning)。通过将动态帧长选择问题转化为马尔可夫决策过程(MDP),即观察到的状态为不同种类时隙的个数(空时隙数、单时隙数、冲突时隙数),执行的动作为设置合理的帧长,从而利用Q-learning与神经网络来自主学习帧长选择策略,基于学习到的策略可以指导系统根据最新观察选择能够实现全局最优的帧长。仿真实验结果表明,基于QN-learning算法在动态调整帧长方面表现优异,能够实现标签的有效识别,在保障高吞吐率的同时控制阅读器的询问次数,减少数据传输量。

关键词：射频识别(RFID) 动态帧时隙ALOHA 帧长优化马尔可夫决策过程(MDP) Q-learning

来源：评论

学校读者我要写书评

暂无评论

基于CMAES集成学习方法的地表水质分类

引用

计算机科学与探索 2020年第3期14卷 426-436页

作者：陈兴国徐修颖陈康扬杨光南京邮电大学江苏省大数据安全与智能处理重点实验室南京210023 南京大学计算机软件新技术国家重点实验室南京210023

为了提高人民生活质量,政府部门不断加强水质管理,然而人工分类方法无法满足实时处理的需求,传统机器学习方法的分类准确率又不够高。集成学习使用多种学习算法来获得比单一学习算法更好的预测性能。首先,对集成学习进行概述,简要介绍了... 详细信息

为了提高人民生活质量,政府部门不断加强水质管理,然而人工分类方法无法满足实时处理的需求,传统机器学习方法的分类准确率又不够高。集成学习使用多种学习算法来获得比单一学习算法更好的预测性能。首先,对集成学习进行概述,简要介绍了Bagging和Boosting算法,并提出基于协方差自适应调整的进化策略算法(CMAES)的集成学习方法。接着,介绍了数据处理方式、模型评估方法和评价指标。最后,用CMAES集成学习方法对逻辑回归、线性判别分析、支持向量机、决策树、完全随机树、朴素贝叶斯、K-邻近算法、随机森林、完全随机树林、深度级联森林十种模型进行集成。实验结果表明,CMAES集成学习方法优于所有其他模型,该方法将继续被应用到未来的研究之中。

关键词：水质分类 Boosting 基于协方差自适应调整的进化策略算法(CMAES) 集成学习参数优化

来源：评论

学校读者我要写书评

暂无评论

基于模糊C均值聚类的软件多缺陷定位方法

引用

计算机学报 2020年第2期43卷 206-232页

作者：王兴亚姜淑娟高鹏飞陆凯薄莉莉鞠小林张艳梅中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心江苏徐州221116 南京大学计算机软件新技术国家重点实验室南京210023 南通大学计算科学与技术学院江苏南通226019 桂林电子科技大学广西可信软件重点实验室广西桂林541004

缺陷间的相互干扰会使程序的频谱信息和运行结果发生变化,进而影响基于频谱信息的缺陷定位方法(SBFL)的有效性.本文对缺陷干扰现象进行了研究,通过分析单缺陷程序与多缺陷程序在缺陷运行、感染和传播过程及程序运行结果间的差异定义了... 详细信息

缺陷间的相互干扰会使程序的频谱信息和运行结果发生变化,进而影响基于频谱信息的缺陷定位方法(SBFL)的有效性.本文对缺陷干扰现象进行了研究,通过分析单缺陷程序与多缺陷程序在缺陷运行、感染和传播过程及程序运行结果间的差异定义了两类缺陷干扰,并根据干扰前后缺陷在互斥子集中的分布变化分析了缺陷干扰对SBFL方法有效性的影响.研究结果表明:与特定缺陷无关的失败测试用例是降低SBFL方法缺陷定位有效性的主要原因.在此基础上,本文提出了一种基于模糊C均值聚类的多缺陷定位方法FCMFL:首先,通过模糊C均值聚类分析失败测试用例与不同缺陷间的隶属关系,得到每个缺陷相关的失败测试信息;其次,基于隶属度矩阵加权计算每条语句的可疑度,并通过互斥子集优先级分析确定不同语句集合的检查顺序,最终生成一个语句检查序列指导开发人员进行程序调试.实验结果表明:(1)缺陷干扰会对SBFL方法产生影响,降低SBFL方法的缺陷定位有效性;(2)FCMFL方法可以降低多缺陷对SBFL方法的影响,提高SBFL方法的缺陷定位有效性.

关键词：程序调试缺陷定位程序切片缺陷干扰模糊聚类

来源：评论

学校读者我要写书评

暂无评论

垂悬指针检测与防御方法

引用

软件学报 2020年第6期31卷 1600-1618页

作者：王豫高凤娟马可欣司徒凌云王林章陈碧欢刘杨赵建华李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 复旦大学计算机科学技术学院上海200433 上海市数据科学重点实验室(复旦大学) 上海200433 上海智能电子系统研究所(复旦大学) 上海200433 School of Computer Science and Engineering Nanyang Technological UniversitySingapore

随着技术的发展,信息物理融合系统(cyber-physical system,简称CPS)在生活中扮演着越来越重要的角色,例如电力系统、铁路系统.如果CPS遭到攻击,将对现实世界的正常运转造成巨大影响,甚至威胁生命安全.垂悬指针是指向的区域被释放后未被... 详细信息

随着技术的发展,信息物理融合系统(cyber-physical system,简称CPS)在生活中扮演着越来越重要的角色,例如电力系统、铁路系统.如果CPS遭到攻击,将对现实世界的正常运转造成巨大影响,甚至威胁生命安全.垂悬指针是指向的区域被释放后未被置为空的指针,它是一种会导致攻击的软件缺陷.由垂悬指针导致的use-after-free和double-free漏洞能够执行任意恶意代码.迄今为止,只有少量工作针对垂悬指针进行检测、防御.其中多数都会导致过高的额外运行时开销.提出DangDone用于检测和防御垂悬指针.首先,通过静态分析检测潜在垂悬指针;然后,基于检测到的垂悬指针信息和一系列预定义的指针变换规则,依据指针传播信息变换指针,使得指针及其别名都指向同一个新引入的指针.基于该方法,实现了DangDone的原型工具.基于11个开源项目和SPEC CPU benchmark的实验结果表明:DangDone的静态分析部分只有33%的误报率,指针变换部分只引入了1%左右的额外开销.同时,DangDone成功防护了11个开源项目中的use-after-free和double-free漏洞.实验结果体现了DangDone的高效率及有效性.

关键词：垂悬指针程序转换程序漏洞静态分析

来源：评论

学校读者我要写书评

暂无评论

基于多任务LSTM十TGCN的虚拟货币反洗钱检测研究

引用

信息化研究 2024年第6期50卷 14-21页

作者：陈宇琪周高远徐铭鑫钱汉伟江苏警官学院计算机信息与网络安全系南京210031 南京大学计算机软件新技术国家重点实验室南京210093

随着虚拟货币在洗钱等非法金融活动中的日益广泛应用,传统的反洗钱检测技术面临新的挑战。本文深入探讨了虚拟货币洗钱的技术机制,并提出一种改进的检测方法。该方法通过自注意力机制和时间注意力机制,增强了模型对潜在欺诈特征的识别... 详细信息

随着虚拟货币在洗钱等非法金融活动中的日益广泛应用,传统的反洗钱检测技术面临新的挑战。本文深入探讨了虚拟货币洗钱的技术机制,并提出一种改进的检测方法。该方法通过自注意力机制和时间注意力机制,增强了模型对潜在欺诈特征的识别能力。利用长短期记忆网络(LSTM)动态图学习器捕捉金融网络的动态变化,并通过时空图卷积网络(TGCN)有效处理交易数据的时空信息。我们提出的多任务TGCN模型不仅同时进行交易金额预测和异常检测,还采用焦点损失函数来解决类别不平衡问题,并通过多任务学习框架平衡两个任务的损失。研究中还包括了关键的数据预处理步骤、模型训练、评估以及特征重要性分析流程。实验结果表明,LSTM十TGCN模型在识别洗钱交易方面表现出较高的准确率,证明了其在反洗钱领域的有效性。

关键词：长短期记忆网络时空图卷积网络虚拟货币反洗钱

来源：评论

学校读者我要写书评

暂无评论

一种基于程序功能标签切片的制导符号执行分析方法

引用

软件学报 2019年第11期30卷 3259-3280页

作者：甘水滔王林章谢向辉秦晓军周林陈左宁 (数学工程与先进计算国家重点实验室江苏无锡214083 (计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功能标签和程序基本块的映射关系,并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代... 详细信息

提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功能标签和程序基本块的映射关系,并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代码目标点,提取与之相关的功能执行流切片,根据预定义好的功能标签流制导规则进行符号执行分析,在路径分析过程中,及时裁剪无关的功能分支路径以提升制导效率.通过对不同的功能标签流进行分离制导符号执行分析,可避免一直执行某复杂循环体的情形,从而提高对目标程序的整体分支覆盖率和指令覆盖率.实验结果表明,通过对binutils、gzip、coreutils等10个不同软件中的20个应用工具上的分析,OPT-SSE与KLEE提供的主流搜索策略相比,代码目标制导速度平均提升到4.238倍,代码目标制导成功率平均提升了31%,程序指令覆盖率平均提升了8.95%,程序分支覆盖率平均提升了8.28%.

关键词：制导符号执行分支覆盖率指令覆盖率搜索策略程序切片

来源：评论

学校读者我要写书评

暂无评论

基于剪切波变换的光场图像质量评价方法

引用

光电子．激光 2020年第2期31卷 187-193页

作者：黄至娇郁梅潘志勇宁波大学信息科学与工程学院浙江宁波315211 南京大学计算机软件新技术国家重点实验室江苏南京210093

光场成像作为新一代成像技术可采集更丰富的视觉信息,但在其各个处理过程中都会引入失真导致光场图像主观质量的下降,因此需要设计与人类视觉系统(Human Visual System,HVS)保持一致的客观评价方法以自动评价光场图像的质量。本文提出... 详细信息

光场成像作为新一代成像技术可采集更丰富的视觉信息,但在其各个处理过程中都会引入失真导致光场图像主观质量的下降,因此需要设计与人类视觉系统(Human Visual System,HVS)保持一致的客观评价方法以自动评价光场图像的质量。本文提出了一种基于剪切波变换的光场图像全参考质量评价方法。首先,为了同时考虑光场的空间域和角度域失真,分别在光场视图和极平面图(Epipolar Plane Image,EPI)上提取特征。其次,在光场视图上进行剪切波变换后,分别提取局部相似性特征和全局统计特征。然后,在EPI上分别提取局部相似性特征和全局方向统计特征。最后,采用随机森林对以上特征进行池化得到最终质量预测值。在密集光场图像数据库中进行测试的实验结果表明,所提出方法优于现有的图像质量评价指标,与主观视觉评价结果的一致性较高。

关键词：光场图像客观质量评价剪切波变换极平面图

来源：评论

学校读者我要写书评

暂无评论

自动化工具对中国DevOps实践的影响

引用

软件学报 2019年第10期30卷 3056-3070页

作者：黄璜张贺邵栋南京大学软件学院江苏南京210093 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

DevOps 作为一次软件工程领域的变革,近 10 年迅速发展的原因是多方面的.关注了中国 DevOps 的发展历程中自动化工具带来的实际影响以及自动化工具产生的一系列问题.使用系统化文献评价获取了目前 DevOps实践中被研究者分析最多的自动... 详细信息

DevOps 作为一次软件工程领域的变革,近 10 年迅速发展的原因是多方面的.关注了中国 DevOps 的发展历程中自动化工具带来的实际影响以及自动化工具产生的一系列问题.使用系统化文献评价获取了目前 DevOps实践中被研究者分析最多的自动化支持工具,从 50 篇文献中识别出包括 Docker、Chef、Jenkins 和 Puppet 等 69 个自动化工具;然后通过灰色文献评价从一些中文博客文章中分析出自动化工具在中国 DevOps 实践中出现的 3 个层次的问题;最后通过民族志访谈方法分析了在中国环境下各方对待 3 个层次问题的看法和建议,得出自动化工具对中国 DevOps 实践的两个影响:(1)自动化工具在 DevOps 实践的前期作用明显,可以认为 DevOps 实践就是使用自动化工具;(2)软件组织实现 DevOps 转型以后需要减少对自动化工具的依赖,形成自己的 DevOps 文化.对于自动化工具在中国 DevOps 实践中产生的问题,整合访谈内容后形成了解决问题的 3 个建议,并给出了一个转型范例.

关键词： DevOps 自动化工具经验研究民族志访谈

来源：评论

学校读者我要写书评

暂无评论

基于逻辑运算的离散人工蜂群优化双聚类算法

引用

计算机与数字工程 2021年第3期49卷 433-438页

作者：马卫朱娴南京旅游职业学院酒店管理学院南京211100 南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093 南京理工大学紫金学院计算机学院南京210046

基因表达数据是由DNA微阵列实验产生的大规模数据矩阵,双聚类算法是挖掘数据矩阵中具有较高相关性的子矩阵,能有效地提取生物学信息。针对当前多目标双聚类优化算法易于陷入早熟和局部最优解等问题,论文提出了基于逻辑运算的离散人工蜂... 详细信息

基因表达数据是由DNA微阵列实验产生的大规模数据矩阵,双聚类算法是挖掘数据矩阵中具有较高相关性的子矩阵,能有效地提取生物学信息。针对当前多目标双聚类优化算法易于陷入早熟和局部最优解等问题,论文提出了基于逻辑运算的离散人工蜂群优化双聚类算法(LOABCB算法),一方面引入人工蜂群算法增强双聚类的全局寻优能力,另一方面通过逻辑运算邻域搜索策略寻找最优双聚类,提高搜索效率。采用基因表达数据的酵母细胞数据集进行实验,结果表明论文算法能够获得实验效果优的具有生物意义的双聚类。

关键词：基因表达数据双聚类逻辑运算离散人工蜂群算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：