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

新型工业化 2012年第3期 54-64页

作者：唐启锋许蕾钱巨陈林张震宇南京大学计算机软件新技术国家重点实验室，南京 210093 南京大学计算机科学与技术系，南京 210093 南京航空航天大学计算机科学与技术学院南京210016 中国科学院软件研究所，计算机科学国家重点实验室，北京 100080

目前大多数错误定位技术的研究均基于单一类型的程序节点（如语句、谓词等），其效果往往只在定位相应类型的错误时表现较好，而定位其他类型的程序错误时则表现不佳。为此，借鉴机器学习领域中集成学习的思想，建立多错误定位方法相结... 详细信息

目前大多数错误定位技术的研究均基于单一类型的程序节点（如语句、谓词等），其效果往往只在定位相应类型的错误时表现较好，而定位其他类型的程序错误时则表现不佳。为此，借鉴机器学习领域中集成学习的思想，建立多错误定位方法相结合的错误定位模型，并综合了基于语句覆盖信息和程序谓词信息这2种错误定位方法，提出了3种新的错误定位方法。实验结果表明，相对于此前单一的方法，所提出的2种方法具有更高的错误定位效率和更强的适应性。

关键词：错误定位集成学习程序分析软件调试

来源：评论

学校读者我要写书评

暂无评论

基于本体的情境信息建模技术研究

基于本体的情境信息建模技术研究

引用

2008全国软件与应用学术会议(NASAC'08)

作者：周思佳钱柱中陆桑璐陈道蓄南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京 210093

普适系统通常需要根据情境信息来为用户提供相应的服务,情境感知是普适计算研究中的核心,而情境信息建模则是其中最基本的问题。在诸多建模方式中,基于本体的情境信息建模逐渐成为主流的建模方式。阐述了情境感知与本体的相关概念和特点... 详细信息

普适系统通常需要根据情境信息来为用户提供相应的服务,情境感知是普适计算研究中的核心,而情境信息建模则是其中最基本的问题。在诸多建模方式中,基于本体的情境信息建模逐渐成为主流的建模方式。阐述了情境感知与本体的相关概念和特点,分析和比较了具有代表性的基于本体的情境信息建模方法,并介绍了相应的情境感知系统,最后,讨论了目前研究中尚存在的问题,并对该领域的发展方向进行了展望。

关键词：普适计算情境感知情境信息建模

来源：评论

学校读者我要写书评

暂无评论

数字认证中心“一证通”机制的原理和实现

数字认证中心“一证通”机制的原理和实现

引用

'2005数字江苏论坛

作者：金仑谢俊元南京大学软件新技术国家重点实验室计算机科学与技术系南京大学软件新技术国家重点实验室计算机科学与技术系

在大型服务系统资源的授权和访问控制过程中,需要运用证书机制来进行信任管理和特权管理。但是,传统的基于身份证书的认证方式存在很多问题,必须结合属性证书来进行授权和访问控制。为此,在数字认证中心的设计中,提出了“一证通”机制,... 详细信息

在大型服务系统资源的授权和访问控制过程中,需要运用证书机制来进行信任管理和特权管理。但是,传统的基于身份证书的认证方式存在很多问题,必须结合属性证书来进行授权和访问控制。为此,在数字认证中心的设计中,提出了“一证通”机制,它将用户的一份身份证书和多份属性证书关联起来,进行集中注册和统一管理。从而有效控制了用户对资源的访问。最后给出了这种机制的实现细节。

关键词： PKI PMI 一证通数字认证中心注册机构

来源：评论

学校读者我要写书评

暂无评论

基于目标制导符号执行的静态缓冲区溢出警报自动确认技术

引用

信息安全学报 2016年第2期1卷 46-60页

作者：鲍铁匀高凤娟周严李游王林章李宣东计算机软件新技术国家重点实验室(南京大学) 江苏省软件新技术与产业化协同创新中心南京大学计算机科学与技术系

缓冲区溢出漏洞是一类严重的安全性缺陷。目前存在动态测试和静态分析技术来检测缓冲区溢出缺陷:动态测试技术的有效性取决于测试用例的设计,而且往往会引入执行开销;静态分析技术及自动化工具已经被广泛运用于缓冲区溢出缺陷检测中,然... 详细信息

缓冲区溢出漏洞是一类严重的安全性缺陷。目前存在动态测试和静态分析技术来检测缓冲区溢出缺陷:动态测试技术的有效性取决于测试用例的设计,而且往往会引入执行开销;静态分析技术及自动化工具已经被广泛运用于缓冲区溢出缺陷检测中,然而静态分析由于采取了保守的策略,其结果往往包含数量巨大的误报,需要通过进一步人工确认来甄别误报,但人工确认静态分析的结果耗时且容易出错,严重限制了静态分析技术的实用性。符号执行技术使用符号代替实际输入,能系统地探索程序的状态空间并生成高覆盖度的测试用例。本文提出一种基于目标制导符号执行的静态缓冲区溢出警报确认方法,使用静态分析工具的输出结果作为目标,制导符号执行确认警报。我们的方法分为3步:首先在过程间控制流图中检测静态分析警报路径片段的可达性,并将可达的警报路径片段集合映射为用于确认的完整确认路径集合;其次在符号执行中通过修剪与溢出缺陷疑似语句无关的路径,指导符号执行沿特定确认路径执行;最后在溢出缺陷疑似语句收集路径约束并加入溢出条件,通过约束求解的结果,对静态分析的警报进行分类。基于上述方法我们实现了原型工具BOVTool,实验结果表明在实际开源程序上BOVTool能够代替人工减少检查59.9%的缓冲区溢出误报。

关键词：符号执行缓冲区溢出警报确认目标制导

来源：评论

学校读者我要写书评

暂无评论

TeraPELB:云计算中基于预测的弹性负载均衡算法

TeraPELB:云计算中基于预测的弹性负载均衡算法

引用

第八届全国仿真器学术年会

作者：吴和生王崇骏谢俊元南京大学软件学院南京210093 计算机软件新技术国家重点实验室南京210046 计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

现代负载均衡已经成为云计算中虚拟资源管理和调度的核心.针对现有云计算弹性负载均衡存在的不足,提出了一种基于预测的弹性负载均衡资源管理算法(TeraPELB),不仅能更加灵活地动态调配资源,而且支持基于负载的趋势预测.理论分析和仿真... 详细信息

现代负载均衡已经成为云计算中虚拟资源管理和调度的核心.针对现有云计算弹性负载均衡存在的不足,提出了一种基于预测的弹性负载均衡资源管理算法(TeraPELB),不仅能更加灵活地动态调配资源,而且支持基于负载的趋势预测.理论分析和仿真实验表明,随着网络负载的变动,TeraPELB算法能根据负,解决了从云中申请载变化情况动态地调整后端服务器集群的处理能力虚拟机具有延迟性而导致迟滞甚至无法满足用户请求的问题,相较于传统的弹性负载均衡算法效果更好.

关键词：云计算虚拟资源趋势预测弹性负载均衡资源管理算法

来源：评论

学校读者我要写书评

暂无评论

移动传感器网络中覆盖问题研究

移动传感器网络中覆盖问题研究

引用

第二届中国传感器网络学术会议暨第一届中韩传感器网络学术研讨会(CWSN2008\CKWSN2008)

作者：赵彦超洪爵陆桑璐陈道蓄南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京 210093

覆盖问题是无线传感器网络研究中最重要的问题之一.传统无线传感器网络中对覆盖问题的研究集中于覆盖分析、覆盖连通及睡眠调度等领域.移动无线传感器网络研究则更重视利用节点的移动特性来有效提高覆盖质量。如何调度部署移动节点以达... 详细信息

覆盖问题是无线传感器网络研究中最重要的问题之一.传统无线传感器网络中对覆盖问题的研究集中于覆盖分析、覆盖连通及睡眠调度等领域.移动无线传感器网络研究则更重视利用节点的移动特性来有效提高覆盖质量。如何调度部署移动节点以达到覆盖增益是当前的研究热点.综述了近年来提出的各种覆盖增益算法的思想和有代表性的研究成果,进行了分类和比较,并从性能分析的角度做出了评价总结,指出了当前研究中存在的问题,对未来的研究与发展趋势做出了展望.

关键词：无线传感器网络移动传感器覆盖问题节点部署覆盖连通睡眠调度

来源：评论

学校读者我要写书评

暂无评论

Windows应用程序敏感数据保护研究

引用

软件导刊 2012年第8期11卷 175-178页

作者：陶照平黄皓南京大学软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

通过对Windows操作系统数据管理机制的研究,结合硬件辅助虚拟化技术,提出了一个应用程序敏感数据保护系统。本系统通过预处理加密技术和物理页帧加密技术阻止对静态存储数据的攻击,通过双影子页表技术和数据执行保护技术隐藏应用程序受... 详细信息

通过对Windows操作系统数据管理机制的研究,结合硬件辅助虚拟化技术,提出了一个应用程序敏感数据保护系统。本系统通过预处理加密技术和物理页帧加密技术阻止对静态存储数据的攻击,通过双影子页表技术和数据执行保护技术隐藏应用程序受保护内存区域内的明文内容,通过监控页表访问控制阻止进程受保护区域被其它进程恶意修改。

关键词：硬件辅助虚拟化双影子页表物理页帧加密数据执行保护

来源：评论

学校读者我要写书评

暂无评论

IRMD:面向移动设备的IP地址解析

IRMD:面向移动设备的IP地址解析

引用

第八届全国和谐人机环境联合学术会议HHME2012

作者：陆掾黄宇南京大学计算机软件新技术国家重点实验室南京大学计算机科学技术系

在移动环境下,移动设备的IP地址动态变化,这使得移动应用程序相互之间进行通信变得困难。为了解决上述问题,我们设计了一个从移动设备的逻辑名解析其当前IP地址的系统IRMD(IP-address Resolution for Mobile Devices)。IRMD是一个多服... 详细信息

在移动环境下,移动设备的IP地址动态变化,这使得移动应用程序相互之间进行通信变得困难。为了解决上述问题,我们设计了一个从移动设备的逻辑名解析其当前IP地址的系统IRMD(IP-address Resolution for Mobile Devices)。IRMD是一个多服务器系统,因而具有较高的容错能力。同时IRMD通过多服务器之间的协商保证在服务器宕机的情况下仍能维持解析结果的顺序一致性。基于一个C++实现的IRMD系统原型,我们评估了系统中服务器数量和使用系统的移动设备数量的变化对系统性能的影响,并分析了实验结果。实验结果表明,IRMD在服务器数量和移动设备数量增加的情况下仍然具有良好的性能。

关键词：移动计算地址解析容错

来源：评论

学校读者我要写书评

暂无评论

用户评论驱动的语音测试数据生成方法

引用

小型微型计算机系统 2023年第7期44卷 1382-1390页

作者：曹冬玉陶传奇郭虹静黄志球南京航空航天大学计算机科学与技术学院南京211106 南京航空航天大学高安全系统的软件开发与验证技术工信部重点实验室南京211106 南京大学计算机软件新技术国家重点实验室南京210023 软件新技术与产业化协同创新中心南京210093

目前,语音识别的测试需要提供语音及其转录文本,测试语音需要涵盖各个场景下的语音输入,因此,测试语音的数量远远不够.鉴于用户评论中包含用户使用场景等可辅助测试的信息,文中提出一种用户评论驱动的语音测试数据生成方法.首先,爬取移... 详细信息

目前,语音识别的测试需要提供语音及其转录文本,测试语音需要涵盖各个场景下的语音输入,因此,测试语音的数量远远不够.鉴于用户评论中包含用户使用场景等可辅助测试的信息,文中提出一种用户评论驱动的语音测试数据生成方法.首先,爬取移动应用市场中语音相关应用的用户评论,对其进行清洗和预处理.其次,提取评论中的语音属性并分析语音属性在评论中的组合.最后,通过数据蜕变对语音种子进行语音属性及其组合的变换,生成语音测试数据.文中对百度、阿里云和讯飞语音识别进行实验,通过语音种子与生成测试语音的输出结果是否一致来评估识别错误率.实验结果表明,生成的测试语音可以有效检测出三款语音识别软件中的错误行为.

关键词：用户评论挖掘测试数据生成语音识别数据蜕变测试

来源：评论

学校读者我要写书评

暂无评论

基于代理双向竞拍的弹性云资源调度方案

引用

计算机应用与软件 2024年第3期41卷 87-93页

作者：何望林果园中国矿业大学计算机科学与技术学院江苏徐州221116 矿山数字化教育部工程研究中心江苏徐州221116 南京大学计算机软件新技术国家重点实验室江苏南京210023

针对跨云平台的资源调度问题,提出一种基于代理双向竞拍的弹性资源调度方案。该方案在拍卖过程中引入交易延时排队影响因子,排队轮数越多,排队影响因子值越大,竞价提交优先级越高,同时根据服务等级协议判定不合规交易的惩罚金数额,以惩... 详细信息

针对跨云平台的资源调度问题,提出一种基于代理双向竞拍的弹性资源调度方案。该方案在拍卖过程中引入交易延时排队影响因子,排队轮数越多,排队影响因子值越大,竞价提交优先级越高,同时根据服务等级协议判定不合规交易的惩罚金数额,以惩罚金制度防范恶意竞拍交易的出现。每轮竞拍允许并发实现多项交易。仿真结果表明,该方案保证了竞拍成功率,并且与传统一次拍卖成交方案相比,其竞拍时间减少了0.32 s,同时能提高16%的用户收益与9%的资源提供商利益。

关键词：双向竞拍资源调度排队影响因子恶意竞拍

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：