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

电脑知识与技术 2011年第5期7卷 3159-3161页

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

现代多核处理器结构的设计使得集成在同一块芯片上的多个执行核共享各种硬件资源,如片上最后一级Cache、内存控制器、前端总线以及硬件预取单元等,而多线程的并行执行导致核与核之间共享资源的争用,造成系统整体性能的下降,如何有效地... 详细信息

现代多核处理器结构的设计使得集成在同一块芯片上的多个执行核共享各种硬件资源,如片上最后一级Cache、内存控制器、前端总线以及硬件预取单元等,而多线程的并行执行导致核与核之间共享资源的争用,造成系统整体性能的下降,如何有效地解决多核共享资源冲突来提升系统的整体性能以及应用程序的服务质量成为当今研究的热点。文章首先概要介绍当前主流的多核处理器,然后提出了多核体系结构下共享资源管理面临的挑战,接着分析了降低共享资源争用的策略方法：操作系统调度技术、资源划分技术,最后给出了多核处理器共享资源管理技术可能的发展方向。

关键词：多核共享资源争用线程调度资源划分

来源：评论

学校读者我要写书评

暂无评论

结合语句执行补集的程序错误定位

引用

计算机科学与探索 2011年第6期5卷 522-533页

作者：胡从兴陈林丁晖曾奕南京大学计算机科学与技术系南京210093 上海市计算机软件评测重点实验室上海201114 南京大学计算机软件新技术国家重点实验室南京210093

基于频谱的错误定位方法一般利用覆盖信息为每条语句度量出错的可能,即可疑度,通过逐条检查按可疑度值降序排列的语句序列来确定错误语句。针对已有的方法大多只考虑覆盖信息中语句执行信息的问题,分析了语句执行补集对错误定位的积极影... 详细信息

基于频谱的错误定位方法一般利用覆盖信息为每条语句度量出错的可能,即可疑度,通过逐条检查按可疑度值降序排列的语句序列来确定错误语句。针对已有的方法大多只考虑覆盖信息中语句执行信息的问题,分析了语句执行补集对错误定位的积极影响,进一步提出了在语句执行信息基础上结合语句执行补集的错误定位方法。实验结果表明,与其他方法相比,所提方法能够减少找到错误时需要检查的语句数目,从而达到提高错误定位效果的目的。

关键词：软件测试覆盖信息错误定位调试

来源：评论

学校读者我要写书评

暂无评论

一种适用于机器翻译的汉语分词方法

一种适用于机器翻译的汉语分词方法

引用

第十一届全国计算语言学学术会议

作者：李博渊奚宁黄书剑张建兵陈家骏南京大学软件新技术国家重点实验室南京大学计算机科学与技术系

汉语分词是构建汉语到其他语言机器翻译系统的一项重要工作。基于单语的分词不一定完全适合机器翻译,一个适合于机器翻译所需要的分词方法,应该考虑到机器翻译所具有的双语特点。本文提出了一种单语和双语知识相结合的适应于统计机器翻... 详细信息

汉语分词是构建汉语到其他语言机器翻译系统的一项重要工作。基于单语的分词不一定完全适合机器翻译,一个适合于机器翻译所需要的分词方法,应该考虑到机器翻译所具有的双语特点。本文提出了一种单语和双语知识相结合的适应于统计机器翻译系统的分词方法。首先利用对齐可信度的概念从双语平行语料中抽取可信对齐集合,然后根据可信对齐集合对双语语料中的中文部分重新分词;接着将可信对齐分词的结果和单语分词工具的结果相结合,构建出一个新的分词训练语料,并用CRF分词模型训练出一个融合了单双语信息的分词工具。本文用该工具对机器翻译所需的训练语料、开发语料和测试语料进行分词并在基于短语的统计机器翻译系统上进行实验。实验结果表明,本文所提的方法提高了系统性能。

关键词：中文分词统计机器翻译对齐可信度

来源：评论

学校读者我要写书评

暂无评论

针对漏洞攻击的自恢复系统

针对漏洞攻击的自恢复系统

引用

2011年全国通信安全学术会议

作者：王国栋南京大学软件新技术国家重点实验室南京大学计算机科学与技术系

文章针对程序漏洞攻击,提出程序运行时的自恢复和回退方法。方法首先识别程序的输入点作为程序回退点,其次在程序崩溃时识别并定位程序漏洞,最后分析漏洞输入和外部输入之间的依赖关系以识别触发程序漏洞的程序输入点,并将该输入点对应... 详细信息

文章针对程序漏洞攻击,提出程序运行时的自恢复和回退方法。方法首先识别程序的输入点作为程序回退点,其次在程序崩溃时识别并定位程序漏洞,最后分析漏洞输入和外部输入之间的依赖关系以识别触发程序漏洞的程序输入点,并将该输入点对应的程序回退点作为此次程序自恢复的回退状态点对程序进行回退,使得程序可以继续正常运行。试验结果表明,方法能成功识别对现实软件的漏洞攻击并完成程序自恢复回退。

关键词：计算机安全漏洞攻击漏洞定位程序自恢复回退

来源：评论

学校读者我要写书评

暂无评论

基于粗糙集方法的共指消解

基于粗糙集方法的共指消解

引用

第十一届全国计算语言学学术会议

作者：贾修一张亚兵陈家骏商琳南京大学软件新技术国家重点实验室南京大学计算机科学与技术系

选择合适的特征是共指消解任务中一个重要的组成部分。特征不是越多越好,反映本质的特征很重要;对于不同种类的语料,一个公共的特征集往往难以适应,为了提高特征对语料的针对性,对不同的语料应选择不同的特征。本文基于上述观点,采用粗... 详细信息

选择合适的特征是共指消解任务中一个重要的组成部分。特征不是越多越好,反映本质的特征很重要;对于不同种类的语料,一个公共的特征集往往难以适应,为了提高特征对语料的针对性,对不同的语料应选择不同的特征。本文基于上述观点,采用粗糙集理论中的属性约简方法来解决共指消解的特征选择问题,它一方面能解决特征冗余问题,另一方面可以实现针对不同语料选择具有适应性的特征。论文在特征选择之后,利用基于粗糙集的LEM2规则提取算法学习规则构建分类器进行共指消解。在ACE-2003语料库上的实验说明了粗糙集方法对共指消解任务的有效性。

关键词：共指消解粗糙集理论特征选择规则提取

来源：评论

学校读者我要写书评

暂无评论

整数漏洞现状研究

整数漏洞现状研究

引用

2011年全国通信安全学术会议

作者：王建东曾庆凯南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

目前,整数漏洞问题变得日益严重。本文着重于整数漏洞,从预防和检测两个方面分析了当前整数漏洞的研究现状,并对整数漏洞预防和检测的五个层次做了探讨。尤其在检测方面,不仅归纳总结了当前流行的检测方法,而且分别对静态分析和动态分... 详细信息

目前,整数漏洞问题变得日益严重。本文着重于整数漏洞,从预防和检测两个方面分析了当前整数漏洞的研究现状,并对整数漏洞预防和检测的五个层次做了探讨。尤其在检测方面,不仅归纳总结了当前流行的检测方法,而且分别对静态分析和动态分析、静态源代码检测和二进制代码检测做了详细的对比和分析,为整数漏洞的进一步研究提供参考。

关键词：整数漏洞预防静态检测动态检测

来源：评论

学校读者我要写书评

暂无评论

细粒度可信恢复文件系统

细粒度可信恢复文件系统

引用

2011年全国通信安全学术会议

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

提出了一种基于数据流依赖关系的细粒度可信恢复文件系统——ATRF(Automatic Trusted Recovery Filesystem),ATRF根据用户自定义的安全策略检测违反安全策略的非法用户行为,借助数据流依赖关系,定位非法用户和感染用户,并恢复其对文件... 详细信息

提出了一种基于数据流依赖关系的细粒度可信恢复文件系统——ATRF(Automatic Trusted Recovery Filesystem),ATRF根据用户自定义的安全策略检测违反安全策略的非法用户行为,借助数据流依赖关系,定位非法用户和感染用户,并恢复其对文件系统所做的非法操作。试验结果给出了原型系统性能开销和存储开销。

关键词：文件系统细粒度可信恢复数据流依赖安全策略

来源：评论

学校读者我要写书评

暂无评论

一种适于普适环境的P2P流媒体系统

一种适于普适环境的P2P流媒体系统

引用

第七届和谐人机环境联合学术会议（HHME2011)、第20届全国多媒体学术会议（NCMT2011）、第7届全国人机交互学术会议（CHCI2011）、第7届全国普适计算学术会议（PCC2011）

作者：谭良良时承凯叶保留南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

本文对基于P2P网络的视频数据传输系统做了一定的研究,为更好地应对普适环境下P2P网络中各个节点的差异性与动态性,提出在现有的P2P网络体系结构中加入Tracker服务器机制和Gossip机制混合的拓扑结构,结合了集中式目录和分布式控制的优点... 详细信息

本文对基于P2P网络的视频数据传输系统做了一定的研究,为更好地应对普适环境下P2P网络中各个节点的差异性与动态性,提出在现有的P2P网络体系结构中加入Tracker服务器机制和Gossip机制混合的拓扑结构,结合了集中式目录和分布式控制的优点,优化了节点的分划功能,增加了系统的鲁棒性。根据现有流行的视频传输系统,本文还提出在数据传输中基于QoS参数的数据片选择策略数据源选择策略,以便在网络传输速率的限制下,最大限度满足用户播放的速率。

关键词：普适环境 P2P系统 tracker机制 Gossip机制数据调度

来源：评论

学校读者我要写书评

暂无评论

采用动作时序逻辑的Web服务组合方法

引用

计算机科学与探索 2011年第3期5卷 208-220页

作者：周宁刘慧王红兵谢俊元南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 东南大学计算机科学与工程学院南京210096

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范... 详细信息

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。

关键词：网络服务组合动作时序逻辑(TLA) 网络服务描述语言(WSDL) 有限状态自动机(FSA)

来源：评论

学校读者我要写书评

暂无评论

基于边界剪枝的不确定场境下偏好查询技术

引用

计算机科学与探索 2011年第5期5卷 410-425页

作者：郑吉平秦小麟戴华南京航空航天大学计算机科学与技术系南京210016 南京大学计算机软件新技术国家重点实验室南京210093

查询执行时加入场境依赖的用户偏好可以帮助人们从大量信息中发现正确答案。已经证明,不确定场境信息条件下,用户偏好的查询可能导致NP完全或者#P完全难度的推理难题。提出了一个简单通用的方法优化不确定场境信息条件下的用户偏好查询... 详细信息

查询执行时加入场境依赖的用户偏好可以帮助人们从大量信息中发现正确答案。已经证明,不确定场境信息条件下,用户偏好的查询可能导致NP完全或者#P完全难度的推理难题。提出了一个简单通用的方法优化不确定场境信息条件下的用户偏好查询,用户查询等价于搜索建立的场境偏好空间(contextual preferencesspace,CPS)。根据具体应用需求,考虑了两种搜索方案:搜索最优的元组和返回top-k(k为用户指定)个元组。采用定量的方法对用户偏好进行建模。为了提高查询处理效率,提出两种搜索剪枝策略:边界剪枝(branch and bound searching,BBS)和偏序边界剪枝(partial value branch and bound space searching,pBBS)。最后,从I/O访问次数和CPU运行时间两个角度评价所提出的方法。

关键词：场境感知偏好查询处理边界剪枝 top-k

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：