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

计算机工程与设计 2013年第12期34卷 4137-4141页

作者：吕庆伟曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

针对现有Web注入型脆弱性检测方案大多只关注过滤型验证而忽略检查型验证这一不足,提出污染驱动的切片方法。以污点分析指导具体的程序切片过程,能够完整地提取程序中的两种验证操作;借助分步的、攻击者视角的字符串分析对验证操作的验... 详细信息

针对现有Web注入型脆弱性检测方案大多只关注过滤型验证而忽略检查型验证这一不足,提出污染驱动的切片方法。以污点分析指导具体的程序切片过程,能够完整地提取程序中的两种验证操作;借助分步的、攻击者视角的字符串分析对验证操作的验证能力进行评价分析,以更准确的检测web注入型脆弱性。实现了一个原型系统Valer,实验结果表明该方法有效降低了分析中的误报率,具有实用价值。

关键词： web注入型脆弱性输入验证污染驱动的切片攻击者视角字符串分析

来源：评论

学校读者我要写书评

暂无评论

基于人脸检测和关键点识别的快速人体组件划分

引用

计算机应用与软件 2013年第1期30卷 273-276,324页

作者：马旋杨若瑜南京大学计算机科学与技术系江苏南京210093 南京大学软件新技术国家重点实验室江苏南京210093

人体组件划分用来检测视频帧或静态图像中的人体,并将其划分为头部和四肢等独立区域,是人体精确三维重建和动作识别等后续研究的重要基础。提出一种新的人体组件划分算法,算法主要针对无肢体重叠的人体图像,首先利用人脸检测技术快速定... 详细信息

人体组件划分用来检测视频帧或静态图像中的人体,并将其划分为头部和四肢等独立区域,是人体精确三维重建和动作识别等后续研究的重要基础。提出一种新的人体组件划分算法,算法主要针对无肢体重叠的人体图像,首先利用人脸检测技术快速定位人体大致范围,再通过边缘检测获取准确的人体轮廓,最后设计并使用高效的十字链表存储和检索方法,完成基于轮廓关键点查找的人体组件划分。实验表明该方法具有较好的实时性和准确率。

关键词：人体组件划分人脸检测边缘检测十字链表关键点

来源：评论

学校读者我要写书评

暂无评论

具有概念漂移的P2P网络流量识别研究

引用

系统工程与电子技术 2013年第4期35卷 864-869页

作者：刘三民孙知信南京航空航天大学计算机科学与技术学院江苏南京210016 安徽工程大学计算机与信息学院安徽芜湖241000 南京邮电大学宽带无线通信与传感网技术教育部重点实验室江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210093

针对P2P网络流量产生过程中存在概念漂移现象,提出具有概念漂移检测功能的多分类器动态集成流量识别方案。该方案包括概念漂移检测和分类器动态集成两大模块,由卡方统计推断原理实现概念漂移检测模块功能,采用基分类器的性能优先淘汰策... 详细信息

针对P2P网络流量产生过程中存在概念漂移现象,提出具有概念漂移检测功能的多分类器动态集成流量识别方案。该方案包括概念漂移检测和分类器动态集成两大模块,由卡方统计推断原理实现概念漂移检测模块功能,采用基分类器的性能优先淘汰策略进行动态集成解决流量概念漂移发生后的识别问题。在以贝叶斯分类器、支持向量机、决策树作为基分类器,针对不同集成规模、数据块大小进行仿真实验,结果证明方案是可行的,模型的识别准确率达到82%以上。

关键词：概念漂移流量检测 P2P 卡方统计

来源：评论

学校读者我要写书评

暂无评论

回归测试用例选择技术研究综述

引用

计算机科学 2013年第10期40卷 1-9页

作者：陈翔顾卫江徐慧顾庆陈道蓄南通大学计算机科学与技术学院南通226019 南京大学软件新技术国家重点实验室南京210093

回归测试用例选择(Regression Test Case Selection,RTS)问题是回归测试研究中的一个热点,旨在从已有测试用例集中选择出所有可检测代码修改的测试用例。但迄今为止,国内研究人员并未对RTS问题的已有研究成果进行系统总结和比较。首先... 详细信息

回归测试用例选择(Regression Test Case Selection,RTS)问题是回归测试研究中的一个热点,旨在从已有测试用例集中选择出所有可检测代码修改的测试用例。但迄今为止,国内研究人员并未对RTS问题的已有研究成果进行系统总结和比较。首先在回归测试活动和测试用例划分基础上,引出RTS问题和相关假设。随后从源代码和模型角度对已有RTS技术进行分类,从源代码角度出发,又进一步将其细分为线性规划法、数据流分析法、图遍历法、程序切片法和防火墙法等。接着对常见评测数据集和评测指标进行总结,最后对该问题的未来研究方向进行了展望。

关键词：回归测试测试用例选择图遍历法.程序切片线性规划

来源：评论

学校读者我要写书评

暂无评论

回归测试中测试用例集扩充技术研究进展

引用

计算机科学 2013年第6期40卷 8-15,28页

作者：陈翔顾庆陈道蓄南通大学计算机科学与技术学院南通226019 南京大学软件新技术国家重点实验室南京210093

测试用例集扩充问题(Test Suite Augmentation)是回归测试研究的一个最新研究热点。在完成代码修改影响分析后,对已有测试用例集的充分性进行评估,若不充分则设计新的测试用例,以确保对代码修改的充分测试。但到目前为止,国内外学者并... 详细信息

测试用例集扩充问题(Test Suite Augmentation)是回归测试研究的一个最新研究热点。在完成代码修改影响分析后,对已有测试用例集的充分性进行评估,若不充分则设计新的测试用例,以确保对代码修改的充分测试。但到目前为止,国内外学者并未对该研究问题的已有研究成果进行系统总结和展望。首先介绍了测试用例集扩充问题的研究背景和问题描述,然后总结出研究框架并对已有研究工作进行分类和系统比较,接着对常用评测数据集和评测指标进行了分析,最后对该问题值得关注的未来研究方向进行展望。

关键词：回归测试测试用例集扩充测试覆盖准则动态符号执行演化测试

来源：评论

学校读者我要写书评

暂无评论

快速上下文切换调度算法

引用

计算机工程 2013年第5期39卷 84-87页

作者：刘超明钱振江黄皓南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

在调度过程中,拥有相异地址空间的换入换出线程切换代价过大,以及将线程作为时间片分配的唯一主体会导致进程层面上的不公平。针对上述问题,提出一种快速上下文切换调度算法。通过创新组织就绪队列中的调度体,使属于同一进程的线程尽量... 详细信息

在调度过程中,拥有相异地址空间的换入换出线程切换代价过大,以及将线程作为时间片分配的唯一主体会导致进程层面上的不公平。针对上述问题,提出一种快速上下文切换调度算法。通过创新组织就绪队列中的调度体,使属于同一进程的线程尽量靠拢,以便优先选择,同时在分配时间片时考虑进程的线程总量。实验结果证明,该算法能减少系统的切换代价,并控制进程获取的时间片总量,提高系统的执行效率和公平性。

关键词： NTOS系统微内核调度算法就绪队列上下文切换时间片

来源：评论

学校读者我要写书评

暂无评论

微内核架构下的驱动监控

引用

计算机工程 2013年第4期39卷 62-65页

作者：刘超明钱振江黄皓南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

为监控用户加载的驱动程序在语义方面的恶意行为,将监控服务器(MS)引入微内核操作系统Minix。监控服务器执行对消息流的截取和分析,依靠事先注册的策略数据和策略函数,判断驱动程序是否存在语义上的恶意。实验结果证明,MS行之有效,并且... 详细信息

为监控用户加载的驱动程序在语义方面的恶意行为,将监控服务器(MS)引入微内核操作系统Minix。监控服务器执行对消息流的截取和分析,依靠事先注册的策略数据和策略函数,判断驱动程序是否存在语义上的恶意。实验结果证明,MS行之有效,并且内核态实现方式不会对系统性能造成较大的影响。

关键词：微内核驱动语义监控执行链监控服务器 Minix系统

来源：评论

学校读者我要写书评

暂无评论

基于统计学习模型的句法分析方法综述

引用

中文信息学报 2013年第3期27卷 9-19页

作者：吴伟成周俊生曲维光南京师范大学计算机科学与技术学院江苏南京210023 南京大学计算机软件新技术国家重点实验室江苏南京210023

句法分析是自然语言处理领域中重要的基础研究问题之一。近年来,基于统计学习模型的句法分析方法研究受到了广泛关注,多种模型与算法先后被提出。从采用的学习模型和算法类型着手,该文系统地对各种主流和前沿方法进行了归纳与分类,着重... 详细信息

句法分析是自然语言处理领域中重要的基础研究问题之一。近年来,基于统计学习模型的句法分析方法研究受到了广泛关注,多种模型与算法先后被提出。从采用的学习模型和算法类型着手,该文系统地对各种主流和前沿方法进行了归纳与分类,着重对各类模型和算法的思想进行了分析和对比,并对中文句法分析的研究现状进行了综述;最后,对句法分析下一步的研究方向与趋势进行了展望。

关键词：句法分析统计学习模型生成式模型判别式模型移进-归约决策面向数据的句法分析

来源：评论

学校读者我要写书评

暂无评论

一种随机TBFL方法

引用

计算机科学 2013年第1期40卷 5-13,18页

作者：王蓁蓁徐宝文周毓明陈林南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 金陵科技学院信息技术学院南京211169

许多学者研究了运用测试集对程序错误语句定位的问题,并提出了许多行之有效的方法,这些方法统称为TBFL(testing based fault localization)方法。后来人们发现,测试集里如果出现冗余,则这些冗余测试用例会伤害这些定位方法的功效。为了... 详细信息

许多学者研究了运用测试集对程序错误语句定位的问题,并提出了许多行之有效的方法,这些方法统称为TBFL(testing based fault localization)方法。后来人们发现,测试集里如果出现冗余,则这些冗余测试用例会伤害这些定位方法的功效。为了解决这个问题,Hao等人提出了SAFL(similarity aware fault localization)方法。实际上完全避免冗余是不可能的,因此从另一个角度构造了一个新的TBFL方法,称为随机TBFL方法。该方法的基本思想是:测试前对程序的语句错误概率进行先验分布,并把测试集看成随机变量,用测试用例反映的程序语句有关信息对程序语句的概率作一些调整,调整后的概率称为后验校正概率,最后根据这个后验概率对错误语句进行定位。将传统的TB-FL方法如Dicing方法、TARANTULA方法、SAFL方法纳入随机信息分析并通过几个实例进行分析和比较,结果表明,随机TBFL方法不仅能够正确定位错误语句,而且冗余对该方法的功效伤害不大。

关键词：错误定位测试为基础的错误定位随机错误定位方法

来源：评论

学校读者我要写书评

暂无评论

微内核架构文件系统的形式化设计与验证方法研究

引用

小型微型计算机系统 2013年第10期34卷 2261-2266页

作者：钱振江唐洪英李康杰黄皓宋方敏常熟理工学院计算机科学与工程学院江苏苏州215500 南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046 伦敦大学国王学院

文件系统作为数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法对微内核架构文件系统进行设计,使用操作系统对象语义模型(OSOSM)框架提出微内核架构文件系统的状态自动机模型,并依此描述系统调用的功能语... 详细信息

文件系统作为数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法对微内核架构文件系统进行设计,使用操作系统对象语义模型(OSOSM)框架提出微内核架构文件系统的状态自动机模型,并依此描述系统调用的功能语义和系统状态转换,分析和归纳文件系统的功能正确性断言.以实现的微内核安全操作系统(Verified Trusted Operating System,VTOS)为例,阐述在Isabelle/HOL定理证明器环境中构建状态自动机模型的方法,并对VTOS文件系统的形式化设计和功能正确性断言进行一致性验证,结果显示,VTOS文件系统的设计和实现符合预期的正确性规格说明.

关键词：文件系统微内核架构形式化设计形式化验证正确性断言 Isabelle HOL

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：