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

信息安全与通信保密 2016年第3期14卷 118-122页

作者：蒋传勇姚立红潘理上海交通大学电子信息与电气工程学院上海200240 上海市信息安全综合管理技术研究重点实验室上海200240 南京大学计算机软件新技术国家重点实验室江苏南京210093

虚拟机监视器(Virtual Machine Monitor,VMM)具有强隔离性、高透明性的特点,而程序行为具有稳定和易于检测的属性。提出了一种基于VMM的程序行为异常检测模型,该模型首先从VMM中捕获程序行为产生的底层数据,通过分析对进程行为视图重构... 详细信息

虚拟机监视器(Virtual Machine Monitor,VMM)具有强隔离性、高透明性的特点,而程序行为具有稳定和易于检测的属性。提出了一种基于VMM的程序行为异常检测模型,该模型首先从VMM中捕获程序行为产生的底层数据,通过分析对进程行为视图重构,然后结合防护检查点,采用基于C4.5决策树算法对所重构的程序行为视图数据进行动态综合分析和判定,以此检测异常并警告。最后基于QEMU对检测模型进行实现并分析,结果表明该模型能有效检测出程序的异常行为。

关键词：虚拟机监视器程序行为 C4.5决策树

来源：评论

学校读者我要写书评

暂无评论

联合梯度强度与方向信息的图像质量评价

引用

仪器仪表学报 2015年第12期36卷 2738-2746页

作者：崔子冠干宗良唐贵进刘峰朱秀昌南京邮电大学通信与信息工程学院南京210003 南京大学计算机软件新技术国家重点实验室南京210093 南京邮电大学教育科学与技术学院南京210003

为了进一步提高全参考图像质量评价(IQA)方法的准确性和高效性,基于人类视觉系统(HVS)的低层次视觉感知机理,在利用梯度强度信息的同时还巧妙地利用了梯度方向信息,更好地表达了图像局部结构信息的失真。在LIVE2图像数据库上的实验结果... 详细信息

为了进一步提高全参考图像质量评价(IQA)方法的准确性和高效性,基于人类视觉系统(HVS)的低层次视觉感知机理,在利用梯度强度信息的同时还巧妙地利用了梯度方向信息,更好地表达了图像局部结构信息的失真。在LIVE2图像数据库上的实验结果表明:对不同类型的图像失真,联合利用梯度强度与方向信息的全参考IQA方法相比之前著名的基于HVS以及仅利用梯度强度信息的IQA方法具有更高的预测单调性和准确性,而且计算复杂度更低。

关键词：图像质量评价人类视觉系统结构失真梯度信息

来源：评论

学校读者我要写书评

暂无评论

多策略同义词获取方法研究

引用

北京大学学报（自然科学版） 2015年第2期51卷 301-306页

作者：宋文杰顾彦慧周俊生孙玉杰严杰曲维光南京师范大学计算机科学与技术学院南京210023 江苏省信息安全保密技术工程研究中心南京210023 南京大学计算机软件新技术国家重点实验室南京210023

提出一种多策略同义词获取方法,一方面利用《同义词词林》、《中文概念词典》等现有语义词典中蕴含的同义关系获取同义词,另一方面根据百度百科信息框(Bdbk)中特征词和汉典网(Zdic)中HTML标记获取同义词,同时采用DIPRE自动获取模式的方... 详细信息

提出一种多策略同义词获取方法,一方面利用《同义词词林》、《中文概念词典》等现有语义词典中蕴含的同义关系获取同义词,另一方面根据百度百科信息框(Bdbk)中特征词和汉典网(Zdic)中HTML标记获取同义词,同时采用DIPRE自动获取模式的方法,从百度百科文本中发现置信度较高的模式和同义关系。实验结果表明,所提方法在NLP&CC 2012同义词评测数据集中取得较好结果。利用该方法,以《现代汉语语法信息词典》名词部分为目标,构建一部同义词词典并进行人工校对,为《现代汉语语法信息词典》构建较为完善的语义关系体系做出尝试。

关键词：同义词关系抽取模式匹配网络百科

来源：评论

学校读者我要写书评

暂无评论

构件软件的回归测试复杂性度量

引用

软件学报 2015年第12期26卷 3043-3061页

作者：陶传奇李必信 Jerry Gao 南京理工大学计算机科学与工程学院江苏南京210094 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 东南大学软件工程研究所江苏南京211189 东南大学计算机科学与工程学院江苏南京211189 Department of Computer Engineering San Jose State University

基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.在软件维护过程中,由于构件更新或者新版本的发布,基于构件的系统会受到影响,需要进行回归测试.对于指定的软件修改需求,维护者可以... 详细信息

基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.在软件维护过程中,由于构件更新或者新版本的发布,基于构件的系统会受到影响,需要进行回归测试.对于指定的软件修改需求,维护者可以实施不同的修改手段.不同的修改手段会导致不同的回归测试复杂性,这种复杂性是软件维护成本和有效性的重要因素.目前的研究没有强调构件软件的回归测试复杂性问题.基于修改影响复杂性模型和度量,提出一种回归测试的复杂性度量框架.该度量框架包括两个部分:基于图的模型和形式化度量计算.该度量可以有效表示构件软件分别在构件和系统层面的回归测试复杂性因素,可视化地体现复杂性变化.然后根据模型,提出具体的度量计算方式.最后,通过实验研究,针对同一个构件软件的相同修改需求,利用若干个实验组进行独立修改实施,然后比较回归测试的复杂性.实验结果表明,所提出的度量方式是可行和有效的.

关键词：基于构件的软件回归测试重测复杂性软件维护

来源：评论

学校读者我要写书评

暂无评论

基于距离和概率的能量相关路由协议

引用

计算机科学 2015年第10期42卷 71-75页

作者：王丽珍张书奎贾俊铖王进苏州大学计算机科学与技术学院苏州215006 南京大学计算机软件新技术国家重点实验室南京210093

由于传感器节点只携带能量十分有限的电池,如何最大化网络生命周期是传感器应用必须考虑的问题。提出一个新的能量相关路由算法,即基于概率和距离的能量相关协议EPDRP,该协议在选择下一跳时综合考虑节点位置信息和剩余能量这两个方面。... 详细信息

由于传感器节点只携带能量十分有限的电池,如何最大化网络生命周期是传感器应用必须考虑的问题。提出一个新的能量相关路由算法,即基于概率和距离的能量相关协议EPDRP,该协议在选择下一跳时综合考虑节点位置信息和剩余能量这两个方面。使用NS2对GPSR和EPDRP协议进行了实验分析,结果表明EPDRP获得了更短的路径长度和更少的路由负载,可有效延长无线传感器网络的生命周期。

关键词：地理路由协议能量网络生命周期

来源：评论

学校读者我要写书评

暂无评论

一致闭的禁忌交互集生成算法

引用

计算机学报 2015年第11期38卷 2279-2289页

作者：周吴杰张德平徐宝文东南大学数学系南京210096 南京大学软件新技术国家重点实验室南京210093 南京航空航天大学信息科学与技术学院南京210016 南京大学计算机科学与技术系南京210093

组合测试是侦测软件系统中各因素或配置之间是否有交互作用导致软件系统故障的重要方法,当因素之间的取值组合出现约束时如何生成尽可能少的测试用例是组合测试中的热点问题之一.该文研究了约束出现时由约束导致的禁忌交互集的结构形式... 详细信息

组合测试是侦测软件系统中各因素或配置之间是否有交互作用导致软件系统故障的重要方法,当因素之间的取值组合出现约束时如何生成尽可能少的测试用例是组合测试中的热点问题之一.该文研究了约束出现时由约束导致的禁忌交互集的结构形式,提出了包括所有的显性与隐含极小禁忌交互的一致闭的禁忌交互集的概念,对一般的禁忌交互集,提出了生成一致闭的禁忌交互集的算法,分析了算法的性能,然后对一致闭的禁忌交互集提出了生成禁忌覆盖表的类AETG算法.对Cohen等人提出的5个实际的测试场景以及30个人工合成的场景,实验表明生成的一致闭的禁忌交互集的规模是在可接受的范围内,生成的测试用例集规模与Cohen等人实验的结果是相当的.最后通过随机实验研究了影响禁忌交互集与其一致闭的禁忌交互集的规模比值的因素.

关键词：组合测试约束条件禁忌覆盖表禁忌交互一致闭禁忌交互集类AETG算法

来源：评论

学校读者我要写书评

暂无评论

六元语言值直觉模糊的金融决策推理方法

引用

计算机科学 2015年第B11期42卷 67-71页

作者：邹丽王颖谭雪微辽宁师范大学计算机与信息技术学院大连116081 南京大学计算机软件新技术国家重点实验室南京210093

为了处理金融决策中的不确定性信息,采用直觉格值的方法来表达语言值。基于语言真值直觉格值系统,改进了一个个人金融决策辅助系统模型。该系统的推理方法是将直觉模糊逻辑近似推理方法进行扩展,通过使用相似度的方法来处理模糊问题,实... 详细信息

为了处理金融决策中的不确定性信息,采用直觉格值的方法来表达语言值。基于语言真值直觉格值系统,改进了一个个人金融决策辅助系统模型。该系统的推理方法是将直觉模糊逻辑近似推理方法进行扩展,通过使用相似度的方法来处理模糊问题,实现了一种较为理想的不确定性推理方法。最后给出了一个实例,结果表明所提出的方法可以灵活有效地处理金融决策问题。

关键词：直觉格值相似度语言值因子真值程度

来源：评论

学校读者我要写书评

暂无评论

面向社交网络基于协作度协商的联盟形成机制

引用

湖南大学学报（自然科学版） 2015年第2期42卷 100-108页

作者：胡军张振兴邹立湖南大学信息科学与工程学院湖南长沙410082 湖南大学嵌入式与网络计算湖南省重点实验室湖南长沙410082 桂林电子科技大学广西可信软件重点实验室广西桂林541004 南京大学计算机软件新技术国家重点实验室江苏南京210093

分布式多Agent构成的社交网络通常表现出不同的特征,针对不同的社交网络和多Agent本身的异质性,提出了一种面向社交网络的基于协作度协商联盟形成机制.该机制依托多Agent构成的社交网络环境,建立面向分布式环境的分布式协商协议,并设计... 详细信息

分布式多Agent构成的社交网络通常表现出不同的特征,针对不同的社交网络和多Agent本身的异质性,提出了一种面向社交网络的基于协作度协商联盟形成机制.该机制依托多Agent构成的社交网络环境,建立面向分布式环境的分布式协商协议,并设计一种考虑到社交网络特征和Agent异质性的基于协作度的协商策略,采用分布式自动协商方式形成联盟.通过对全连通网络、层次网路和小世界网络的仿真实验结果表明,该机制能够有效地实现分布式环境下的联盟形成,并且在反应大多数实际应用环境的小世界社交网络中表现出相对较好的性能.

关键词：多Agent系统联盟形成分布式自动协商社交网络协作度

来源：评论

学校读者我要写书评

暂无评论

模型驱动的嵌入式系统设计安全性验证方法研究

引用

计算机工程与科学 2015年第8期37卷 1498-1509页

作者：刘雪胡军黄志球马金晶程桢石娇洁南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型... 详细信息

基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。

关键词：系统安全性分析模型驱动工程 SysML/MARTE 状态机模型嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

基于集成混合采样的软件缺陷预测研究

引用

计算机工程与科学 2015年第5期37卷 930-936页

作者：戴翔毛宇光南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

对软件缺陷预测的不平衡问题进行了研究,提出了一种处理不平衡数据的采样方法,用来解决分类器因为样本集中的样本类别不平衡而造成分类器性能下降的问题。为了避免随机采样的盲目性,利用启发性的混合采样方法来平衡数据,针对少数类采用S... 详细信息

对软件缺陷预测的不平衡问题进行了研究,提出了一种处理不平衡数据的采样方法,用来解决分类器因为样本集中的样本类别不平衡而造成分类器性能下降的问题。为了避免随机采样的盲目性,利用启发性的混合采样方法来平衡数据,针对少数类采用SMOTE过采样,对多数类采用K-Means聚类降采样,然后综合利用多个单分类器来进行投票集成预测分类。实验结果表明,混合采样与集成学习相结合的软件缺陷预测方法具有较好的分类效果,在获得较高的查全率的同时还能显著降低误报率。

关键词：不平衡数据 SMOTE K-Means 投票集成学习

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：