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

通信学报 2013年第8期34卷 18-26页

作者：李兴华邓凌娟张渊马建峰西安电子科技大学计算机学院陕西西安710071 南京大学计算机软件新技术国家重点实验室江苏南京210032

NGUYEN L H在博弈论思想的指导下来对身份认证协议进行了修改,协议参与方在进行协议交互之前以一定的概率来发送无用数据,使得攻击者攻击协议所获得的收益比不攻击协议所获得的收益还要小,以此保证了协议的安全性。但该方案存在2个缺陷... 详细信息

NGUYEN L H在博弈论思想的指导下来对身份认证协议进行了修改,协议参与方在进行协议交互之前以一定的概率来发送无用数据,使得攻击者攻击协议所获得的收益比不攻击协议所获得的收益还要小,以此保证了协议的安全性。但该方案存在2个缺陷:考虑的攻击者过于强大,且仅仅考虑了其收益,忽略了其发起攻击所要消耗的代价;没有考虑诚实节点在什么条件下才会选择发送无用数据。针对这2个缺陷对NGUYEN L H方案进行改进,给出了更具有一般意义的值。同时引入了攻击概率,给出了诚实节点发送无用数据的前提条件以及在不同的值下的取值范围。相对于原方案,改进方案的结论更具有一般性,且更全面。同时,通过P2P下面的一个具体案例分析证明了所提结论的正确性。

关键词：身份认证协议博弈论协议安全

来源：评论

学校读者我要写书评

暂无评论

基于符号执行和LTL公式重写的测试用例产生方法

引用

计算机研究与发展 2013年第12期50卷 2661-2675页

作者：陈冬火刘全苏州大学计算机科学与技术学院江苏苏州215006 计算机软件新技术国家重点实验室(南京大学) 南京210093 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法... 详细信息

基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法.通过建立程序的符号化执行模型,避免输入和输出变量数值化枚举而导致的无限状态系统的建模和状态爆炸问题;建立基于符号化执行模型的时序公式重写规则,并根据线性时序逻辑(linear temporal logic,LTL)公式的反例模式求取复杂属性及行为约束关系,利用约束求解的方法自动产生测试用例集合.这种方法集成了符号执行技术和时序公式状态重写——一种轻量级模型检验技术,成为基于复杂抽象数据类型系统与属性相关的测试用例自动产生的有效方法.

关键词：测试用例自动产生符号执行公式重写模型检验线性时序逻辑输入输出符号变迁系统

来源：评论

学校读者我要写书评

暂无评论

基于Group Lasso的多源电信数据离网用户分析

引用

南京师范大学学报（工程技术版） 2014年第4期14卷 77-83页

作者：孙良君范剑锋杨琬琪史颖欢高阳周新民中博信息技术研究院有限公司江苏南京210012 南京大学计算机软件新技术国家重点实验室江苏南京210046 江苏省公安厅物证鉴定中心江苏南京210024

随着行业竞争愈演愈烈,电信企业的客户流失情况越来越严重,给电信企业造成了巨大损失.通过电信企业的数据来做离网用户的预测,从而进一步作出挽留客户的正确决策,成为电信企业日益关注的问题.面对电信后台汇总的多源数据,经分析发现其... 详细信息

随着行业竞争愈演愈烈,电信企业的客户流失情况越来越严重,给电信企业造成了巨大损失.通过电信企业的数据来做离网用户的预测,从而进一步作出挽留客户的正确决策,成为电信企业日益关注的问题.面对电信后台汇总的多源数据,经分析发现其呈现天然的组结构.为了选择对于离网类别最具判别性的特征,本文使用了一种基于Group Lasso的组特征选择方法,在此基础上用交叉验证法选择适当的特征组,最终将选择出的少量组特征用于预测离网和停机的宽带用户.实验表明,在江苏某地级市电信离网用户分析数据中取得了比其他特征选择方法的精度平均高至少10%的预测性能.

关键词：电信企业客户流失多源数据特征选择 Group Lasso

来源：评论

学校读者我要写书评

暂无评论

一种针对非控制数据攻击的改进防御方法

引用

计算机应用研究 2013年第12期30卷 3762-3766页

作者：刘小龙郑滔南京大学计算机软件新技术国家重点实验室南京210093 南京大学软件学院南京210093

非控制数据攻击(non-control-data attack)是一种有别于传统攻击模式的新方式,通过窜改系统中的安全关键数据,实现不改变程序控制流程进行攻击。针对已有的防御措施中静态分析方法依赖源代码,而动态分析方法存在严重的误报漏报,提出了... 详细信息

非控制数据攻击(non-control-data attack)是一种有别于传统攻击模式的新方式,通过窜改系统中的安全关键数据,实现不改变程序控制流程进行攻击。针对已有的防御措施中静态分析方法依赖源代码,而动态分析方法存在严重的误报漏报,提出了一种指针污点分析方法。该方法基于动态污点分析技术,标记内存数据的污染属性、指针属性,跟踪标记信息在程序执行时的传播,监控是否存在指针的非法解引用(dereference)。设计实现了原型系统DPTA,通过实验证明本方法可以有效地防御控制数据攻击和大部分非控制数据攻击,并减少误报漏报。

关键词：非控制数据攻击程序安全动态污点分析指针着色内存破坏

来源：评论

学校读者我要写书评

暂无评论

多特征综合的视频拷贝检测

引用

中国图象图形学报 2013年第5期18卷 591-599页

作者：林莹杨扬凌康肖金伟武港山南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

基于内容的视频拷贝检测是多媒体领域的一个研究热点。由于拷贝变换的多样性和综合性,单一特征难以获得很好的检测效果。提出一种多特征综合的方法来提高视频拷贝检测的效果。除了使用传统的局部和全局视觉特征外,还使用非正交二值子空... 详细信息

基于内容的视频拷贝检测是多媒体领域的一个研究热点。由于拷贝变换的多样性和综合性,单一特征难以获得很好的检测效果。提出一种多特征综合的方法来提高视频拷贝检测的效果。除了使用传统的局部和全局视觉特征外,还使用非正交二值子空间(NBS)方法来表示视频内容,并在其基础上使用归一化互相关(NCC)来提高拷贝视频内容相似度计算的效果。在此基础上,还采用多种措施对拷贝视频的判定结果进行精化。实验结果表明,该套方案对多种拷贝变换具有很强的鲁棒性,并且能够得到很好的检测精度。

关键词：多特征综合视频拷贝检测非正交二值子空间(NBS) 归一化互相关(NCC)

来源：评论

学校读者我要写书评

暂无评论

结合浅景深与构图的图像质量评价

引用

中国图象图形学报 2013年第5期18卷 574-582页

作者：顾婷婷郭延文殷昆燕南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

近年来,图像质量评价方法在图像处理和理解领域受到越来越多的关注。传统的方法主要关注噪声、清晰度、分辨率等影响图像质量的底层因素。随着数码设备的不断发展,这些底层因素已经得到很好的解决,人们能够很容易地获得具有较高底层质量... 详细信息

近年来,图像质量评价方法在图像处理和理解领域受到越来越多的关注。传统的方法主要关注噪声、清晰度、分辨率等影响图像质量的底层因素。随着数码设备的不断发展,这些底层因素已经得到很好的解决,人们能够很容易地获得具有较高底层质量,即低噪声、高清晰度、高分辨率的图像。因此,图像质量评价的焦点逐渐转向从美学的角度进行评价。对于一幅图像,主要从两个角度来考虑其是否符合人类主观的美学需求:1)图像的主题是否突出;2)图像的布局是否合理。基于上述考虑,提出一种结合图像景深和构图的质量评价方法:一方面,提出一种基于模糊度量的浅景深判断方法,浅景深的图像能够突出主题、虚化背景,具有更强的视觉冲击力与美学表现力;另一方面,提出一种基于"三分法"的图像构图评价方法,符合"三分法"构图的图像布局更加紧凑有力、简洁明了、符合人类的欣赏习惯;最后,将浅景深判断与图像构图评价进行结合,从美学的角度自动地对图像进行客观、综合的评价。按本文方法,可以挑选出符合以上美学规则的图像。从实验结果可以看出,根据本文方法选出的高质量图像也符合人类主观的美学需求。

关键词：图像质量模糊度量浅景深判断三分法图像构图评价

来源：评论

学校读者我要写书评

暂无评论

基于量子云模型演化的最小属性约简增强算法

引用

东南大学学报（自然科学版） 2013年第2期43卷 290-295页

作者：丁卫平王建东管致锦施佺南京航空航天大学计算机科学与技术学院南京210016 南通大学计算机科学与技术学院南通226019 南京大学计算机软件新技术国家重点实验室南京210093

为提高决策表中最小属性约简的效率、稳定性和鲁棒性,基于云模型在非规范知识定性、定量表示及其相互转换过程中的优良特征对量子进化算法进行算子设计,提出了一种基于量子云模型演化的最小属性约简增强算法(QCMEARE).该算法采用量子基... 详细信息

为提高决策表中最小属性约简的效率、稳定性和鲁棒性,基于云模型在非规范知识定性、定量表示及其相互转换过程中的优良特征对量子进化算法进行算子设计,提出了一种基于量子云模型演化的最小属性约简增强算法(QCMEARE).该算法采用量子基因云对进化种群进行编码,基于约简属性熵权逆向云进行量子旋转门自适应调整,使其在定性知识指导下能够自适应控制属性约简空间搜索范围,并采用量子云变异和云纠缠操作算子较好地避免了在属性演化约简中易陷入局部最优和早熟收敛等问题,使算法快速搜索到全局最优属性约简集.仿真实验表明,提出的最小属性约简增强算法具有收敛速度快、约简精度高和稳定性强等优点.

关键词：属性约简逆向云模型量子云旋转门量子云变异与云纠缠

来源：评论

学校读者我要写书评

暂无评论

一种基于信息量的缺陷定位方法

引用

软件学报 2013年第7期24卷 1484-1494页

作者：丁晖陈林钱巨许蕾徐宝文计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093 南京航空航天大学计算机科学与技术学院江苏南京210016

缺陷定位是软件调试过程中的重要环节,它通过利用程序信息和测试信息来定位软件中的错误.借助于事件信息量,提出一种基于事件信息量的缺陷定位方法——SIQ(suspiciousness based on information quantity).SIQ方法根据测试信息中不同事... 详细信息

缺陷定位是软件调试过程中的重要环节,它通过利用程序信息和测试信息来定位软件中的错误.借助于事件信息量,提出一种基于事件信息量的缺陷定位方法——SIQ(suspiciousness based on information quantity).SIQ方法根据测试信息中不同事件的类型及其发生的概率,结合语句的执行信息,动态计算和调整缺陷定位的结果.通过大量的实验分析和对比,SIQ方法在多个数据集上表现出了很好的稳定性,与几种现有的缺陷定位方法相比,SIQ方法的缺陷定位效果也更加准确.

关键词：程序调试缺陷定位信息量

来源：评论

学校读者我要写书评

暂无评论

基于分层过程模型的过程演化技术

引用

计算机集成制造系统 2013年第8期19卷 1913-1919页

作者：徐刚胡昊余萍葛季栋吕建南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学软件学院江苏南京210093 南京理工大学高维信息智能感知与系统教育部重点实验室江苏南京210094

为了解决当前工作流语言粒度过细和引擎对过程动态演化支撑不足的问题,通过在原有工作流模型上建立一层抽象的业务过程模型,建立了一种新的分层过程模型,从而增强了过程的描述能力。同时扩展原有的过程演化技术,使其适用于分层模型下的... 详细信息

为了解决当前工作流语言粒度过细和引擎对过程动态演化支撑不足的问题,通过在原有工作流模型上建立一层抽象的业务过程模型,建立了一种新的分层过程模型,从而增强了过程的描述能力。同时扩展原有的过程演化技术,使其适用于分层模型下的过程演化,并给出相应的系统实现。通过实例验证了所设计系统的正确性。

关键词：分层过程模型过程演化 Web服务业务过程执行语言 JBOSS业务过程管理引擎

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

第三届CCF国际自然语言处理与中文计算会议

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

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

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

关键词：汉语词典同义词语义关系多策略获取法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：