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

计算机工程 2018年第5期44卷 60-65,77页

作者：陈莹孙晓波邢建春杨启亮解放军理工大学国防工程学院南京210007 南京大学计算机软件新技术国家重点实验室南京210093

针对任务关键系统工作流中对时间验证不够完善的问题,提出一种新的工作流建模和时间验证方法。基于库所含时间因素的着色时间Petri工作流网,将系统中的任务划分为关键任务和非关键任务,对不满足时间约束的活动进行管理,在完成最终任务... 详细信息

针对任务关键系统工作流中对时间验证不够完善的问题,提出一种新的工作流建模和时间验证方法。基于库所含时间因素的着色时间Petri工作流网,将系统中的任务划分为关键任务和非关键任务,对不满足时间约束的活动进行管理,在完成最终任务的前提下,尽可能多地执行工作流中的非关键任务,从而减少时间资源的浪费。在此基础上,将工作流中活动的时间约束转化为数学约束问题,并运用MATLAB对模型进行分析,最终得出工作流中的最优路径。对军港岸基保障信息系统案例进行分析,结果表明,该方法具有一定的可行性和实用性。

关键词： Web服务组合任务关键系统时间验证最优路径着色时间Petri网

来源：评论

学校读者我要写书评

暂无评论

演化学习专题前言

引用

软件学报 2018年第9期29卷 2545-2546页

作者：俞扬钱超计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 中国科学技术大学计算机科学与技术学院安徽合肥230027

机器学习是人工智能的核心领域之一,主要研究计算机如何通过利用经验自动提高自身的性能,机器学习技术的发展已成为新一轮人工智能热潮的主要推动力,受到高度关注.机器学习常可分解为＂表示＋评估＋优化＂3个部件,即数据与模型的表示、... 详细信息

机器学习是人工智能的核心领域之一,主要研究计算机如何通过利用经验自动提高自身的性能,机器学习技术的发展已成为新一轮人工智能热潮的主要推动力,受到高度关注.机器学习常可分解为＂表示＋评估＋优化＂3个部件,即数据与模型的表示、学习结果的评估,以及实施学习过程的优化方法 3个部分,其中优化承载了机器学习的实现,优化方法的能力也直接影响了另两个部件——模型表示和评估函数的设计范围.在解决真实应用问题时，常需要使用非线性模型和非凸评估函数，导致机器学习任务常常归结为复杂优化问题，具有不可导、不连续、大量局部极值、多目标等性质，对优化方法提出了挑战．

关键词：机器学习优化问题评估函数专题演化人工智能模型表示非线性模型

来源：评论

学校读者我要写书评

暂无评论

通过抽象程序证明复杂具体程序

引用

软件学报 2017年第4期28卷 786-803页

作者：李彬汤震浩翟娟赵建华计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构(ADTs),如set,list,map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系、抽象程序程序点... 详细信息

描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构(ADTs),如set,list,map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系、抽象程序程序点和具体程序程序点的对应关系.基于对应关系,抽象程序和具体程序一致性证明可以分解,从而容易并可能自动证明.

关键词：程序证明一致性抽象程序精化分解

来源：评论

学校读者我要写书评

暂无评论

基于代价敏感间隔分布优化的软件缺陷定位

引用

软件学报 2017年第11期28卷 3072-3079页

作者：解铮黎铭计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

在大型软件项目的开发与维护中,从大量的代码文件中定位软件缺陷费时、费力,有效地进行软件缺陷自动定位,将能极大地降低开发成本.软件缺陷报告通常包含了大量未发觉的软件缺陷的信息,精确地寻找与缺陷报告相关联的代码文件,对于降低维... 详细信息

在大型软件项目的开发与维护中,从大量的代码文件中定位软件缺陷费时、费力,有效地进行软件缺陷自动定位,将能极大地降低开发成本.软件缺陷报告通常包含了大量未发觉的软件缺陷的信息,精确地寻找与缺陷报告相关联的代码文件,对于降低维护成本具有重要意义.目前,已有一些基于深度神经网络的缺陷定位技术相对于传统方法,其效果有所提升,但相关工作大多关注网络结构的设计,缺乏对训练过程中损失函数的研究,而损失函数对于预测任务的性能会有极大的影响.在此背景下,提出了代价敏感的间隔分布优化(cost-sensitive margin distribution optimization,简称CSMDO)损失函数,并将代价敏感的间隔分布优化层应用到深度卷积神经网络中,能够良好地处理软件缺陷数据的不平衡性,进一步提高缺陷定位的准确度.

关键词：软件挖掘机器学习缺陷定位卷积神经网络间隔分布优化

来源：评论

学校读者我要写书评

暂无评论

常用循环摘要的自动生成方法及其应用

引用

软件学报 2017年第5期28卷 1051-1069页

作者：翟娟汤震浩李彬赵建华李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210023 南京大学计算机科学与技术系江苏南京210023

采用形式化方法证明软件的正确性,是保障软件可靠性的有效方法.而对循环语句的分析与验证,是形式化证明中的关键,对循环语句的处理一直是程序分析与验证中的一个难点问题.提出使用循环语句修改的内存和这些内存中存放的新值来描述循环... 详细信息

采用形式化方法证明软件的正确性,是保障软件可靠性的有效方法.而对循环语句的分析与验证,是形式化证明中的关键,对循环语句的处理一直是程序分析与验证中的一个难点问题.提出使用循环语句修改的内存和这些内存中存放的新值来描述循环语句的执行效果,并将该执行效果定义为循环摘要.同时,提出一种自动生成循环摘要的方法,可以为操作常用数据结构的循环自动生成循环摘要,包含嵌套循环.此外,基于循环摘要,可以自动生成循环语句的规约,包括循环不变式、循环的前置条件以及循环的后置条件.已经实现了自动生成循环摘要以及循环规约的方法,并将它们集成到验证工具Accumulator中.实验结果表明,该方法可以有效地生成循环摘要,并生成多种类型的规约,从而辅助软件程序的形式化证明,提高验证的自动化程度和效率,减轻验证人员的负担.

关键词：循环摘要循环不变式前置条件后置条件程序验证

来源：评论

学校读者我要写书评

暂无评论

ROP图灵完备的普遍可实现性

引用

软件学报 2017年第10期28卷 2583-2598页

作者：袁平海曾庆凯南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

返回导向编程(return-oriented programming,简称ROP)被广泛用于软件漏洞利用攻击中,用来构造攻击代码.通过更新ROP构造技术,证实了图灵完备的纯ROP攻击代码在软件模块中是普遍可实现的.ROP构造功能代码的难点是实现条件转移逻辑.通过... 详细信息

返回导向编程(return-oriented programming,简称ROP)被广泛用于软件漏洞利用攻击中,用来构造攻击代码.通过更新ROP构造技术,证实了图灵完备的纯ROP攻击代码在软件模块中是普遍可实现的.ROP构造功能代码的难点是实现条件转移逻辑.通过深入分析条件转移机器指令的执行上下文发现,对这些指令的传统认知存在一定的局限性.事实上,在已有代码中存在少量的条件转移指令,它们的两个分支的开始部分都是可复用的代码片段(称为gadgets),而且这两个gadgets会从不同的内存单元中取得下一个gadget的地址,因此,以这些条件转移指令开始的代码片段可以帮助ROP实现条件转移逻辑.把这种代码片段称为if-gadget.在Linux和Windows系统上的实验结果表明,if-gadget普遍存在,即使在代码量很小的日常可执行程序中也存在.在Binutils程序集上的实验结果表明,引入if-gadget后,构造图灵完备的ROP代码要比用传统方法容易得多.在Ubuntu这样的主流操作系统上,由于可执行程序上默认没有实施防御ROP攻击的保护机制,因此,攻击者可以在这些软件模块中构造纯ROP攻击代码来发动攻击.由此可见,ROP对系统安全的威胁比原来认为的严重得多.

关键词：软件漏洞利用返回导向编程图灵完备计算:条件转移逻辑

来源：评论

学校读者我要写书评

暂无评论

获取访存依赖:并发程序动态分析基础技术综述

引用

软件学报 2017年第4期28卷 747-763页

作者：蒋炎岩许畅马晓星吕建计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

并发错误难触发、难调试、难检测.为应对这一挑战,已有动态程序分析技术通过观测或控制并发程序执行实现其质量保障.由于并发程序不确定性主要来自共享内存,实现其动态分析的基本问题即是获取线程访问共享内存的顺序,即获取访存依赖.提... 详细信息

并发错误难触发、难调试、难检测.为应对这一挑战,已有动态程序分析技术通过观测或控制并发程序执行实现其质量保障.由于并发程序不确定性主要来自共享内存,实现其动态分析的基本问题即是获取线程访问共享内存的顺序,即获取访存依赖.提出访存依赖获取技术的综述框架,包含4个评价指标(即时性、准确性、高效性、简化性)、两种方法(在线追踪、离线合成)、两类应用(轨迹分析、并发控制).通过对已有技术的总结和分析框架中的空白,对未来可能的研究方向予以展望.

关键词：并发多处理器系统动态分析访存依赖

来源：评论

学校读者我要写书评

暂无评论

基于狄利克雷多项分配模型的多源文本主题挖掘模型

引用

计算机应用 2018年第11期38卷 3094-3099,3104页

作者：徐立洋黄瑞章陈艳平钱志森黎万英贵州大学计算机科学与技术学院贵阳550025 贵州省公共大数据重点实验室(贵州大学) 贵阳550025 计算机软件新技术国家重点实验室(南京大学) 南京210093

随着文本数据来源渠道越来越丰富,面向多源文本数据进行主题挖掘已成为文本挖掘领域的研究重点。由于传统主题模型主要面向单源文本数据建模,直接应用于多源文本数据有较多的限制。针对该问题提出了基于狄利克雷多项分配(DMA)模型的多... 详细信息

随着文本数据来源渠道越来越丰富,面向多源文本数据进行主题挖掘已成为文本挖掘领域的研究重点。由于传统主题模型主要面向单源文本数据建模,直接应用于多源文本数据有较多的限制。针对该问题提出了基于狄利克雷多项分配(DMA)模型的多源文本主题挖掘模型——多源狄利克雷多项分配模型(MSDMA)。通过考虑主题在不同数据源的词分布的差异性,结合DMA模型的非参聚类性质,模型主要解决了如下三个问题:1)能够学习出同一个主题在不同数据源中特有的词分布形式;2)通过数据源之间共享主题空间和词项空间,使得数据源间可进行主题知识互补,提升对高噪声、低信息量的数据源的主题发现效果;3)能自主学习出每个数据源内的主题数量,不需要事先给定主题个数。最后通过在模拟数据集和真实数据集的实验结果表明,所提模型比传统主题模型能更有效地对多源数据进行主题信息挖掘。

关键词：多源文本数据主题模型吉布斯采样狄利克雷多项分配模型文本挖掘

来源：评论

学校读者我要写书评

暂无评论

软件安全漏洞检测专题前言

引用

软件学报 2018年第5期29卷 1177-1178页

作者：王林章陈恺王戟计算机软件新技术国家重点实验室(南京大学) 南京大学计算机科学与技术系信息安全国家重点实验室(中国科学院信息工程研究所) 中国科学院大学网络空间安全学院国防科技大学计算机学院

软件安全漏洞是软件中存在的可能被利用而造成损害的薄弱环节.随着互联网和移动互联网的快速发展,软件因为自身存在漏洞而遭受外界利用攻击,导致隐私泄漏、非法提权、勒索等严重不安全后果.尽早检测软件中存在的安全漏洞并及时实现修复... 详细信息

软件安全漏洞是软件中存在的可能被利用而造成损害的薄弱环节.随着互联网和移动互联网的快速发展,软件因为自身存在漏洞而遭受外界利用攻击,导致隐私泄漏、非法提权、勒索等严重不安全后果.尽早检测软件中存在的安全漏洞并及时实现修复、加固,是网络空间安全领域国内外学术界和产业界的共识与主要关注点.本专题公开征文,共收到投稿28篇,其中26篇论文通过了形式审查,内容涉及软件安全漏洞检测的各个方面.特约编辑先后邀请了20多位专家参与审稿工作,每篇投稿至少邀请2位专家进行评审.稿件经初审、复审、

关键词：软件安全漏洞检测修复

来源：评论

学校读者我要写书评

暂无评论

基于用户行为特征的多维度文本聚类

引用

计算机应用 2018年第11期38卷 3127-3131,3138页

作者：黎万英黄瑞章丁志远陈艳平徐立洋贵州大学计算机科学与技术学院贵阳550025 贵州省公共大数据重点实验室(贵州大学) 贵阳550025 计算机软件新技术国家重点实验室(南京大学) 南京210093

传统多维度文本聚类一般是从文本内容中提取特征,而很少考虑数据中用户与文本的交互信息(如:点赞、转发、评论、关注、引用等行为信息),且传统的多维度文本聚类主要是将多个空间维度线性结合,没能深入考虑每个维度中属性间的关系。为有... 详细信息

传统多维度文本聚类一般是从文本内容中提取特征,而很少考虑数据中用户与文本的交互信息(如:点赞、转发、评论、关注、引用等行为信息),且传统的多维度文本聚类主要是将多个空间维度线性结合,没能深入考虑每个维度中属性间的关系。为有效利用与文本相关的用户行为信息,提出一种结合用户行为信息的多维度文本聚类模型(MTCUBC)。根据文本间的相似性在不同空间上应该保持一致的原则,该模型将用户行为信息作为文本内容聚类的约束来调节相似度,然后结合度量学习方法来改善文本间的距离,从而提高聚类效果。通过实验表明,与线性结合的多维度聚类相比,MTCUBC模型在高维稀疏数据中表现出明显的优势。

关键词：多维度聚类度量学习约束用户行为特征

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：