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

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

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

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

选择合适的特征是共指消解任务中一个重要的组成部分。特征不是越多越好,反映本质的特征很重要;对于不同种类的语料,一个公共的特征集往往难以适应,为了提高特征对语料的针对性,对不同的语料应选择不同的特征。本文基于上述观点,采用粗糙集理论中的属性约简方法来解决共指消解的特征选择问题,它一方面能解决特征冗余问题,另一方面可以实现针对不同语料选择具有适应性的特征。论文在特征选择之后,利用基于粗糙集的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机制数据调度

来源：评论

学校读者我要写书评

暂无评论

面向方面程序的简化动态依赖图切片方法

引用

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

作者：张广泉黄静章晓芳刘长林苏州大学计算机科学与技术学院江苏苏州215006 中国科学院软件研究所计算机科学国家重点实验室北京100190 南京大学计算机软件新技术国家重点实验室南京210093

程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了... 详细信息

程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了面向方面程序切片技术。在此基础上,提出了一种基于简化动态依赖图的面向方面程序切片方法,可以减少动态依赖图中节点和边的数量,生成准确的面向方面程序的动态切片,从而有助于人们更好地对面向方面程序进行分析和理解。

关键词：面向方面程序静态切片动态切片简化动态依赖图

来源：评论

学校读者我要写书评

暂无评论

基于BD结构的历史数据流存储与查询

引用

计算机应用与软件 2011年第2期28卷 76-79页

作者：檀宝权刘奇志王云汉南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093 武汉工程大学电气信息学院湖北武汉430073

实际应用中,人们往往不仅需要近期数据流,还需要结合大量历史数据流来共同解决问题。研究表明,处理大量历史数据流时,传统数据库索引技术(如B+树)不能提供高的存储利用率和查询效率。针对任意时间段历史数据流的存储查询问题,提出一种基... 详细信息

实际应用中,人们往往不仅需要近期数据流,还需要结合大量历史数据流来共同解决问题。研究表明,处理大量历史数据流时,传统数据库索引技术(如B+树)不能提供高的存储利用率和查询效率。针对任意时间段历史数据流的存储查询问题,提出一种基于BD结构的存储与查询方法。该方法将BDTree和BDHash相结合,能有效降低BDTree的高度,减小索引项的规模,同时可以避免数据结点规模过大。在此基础上,研究了"部分扩充"策略以解决数据插入失败问题。理论分析和实验结果表明,该方法能提高存储空间利用率和查询效率,可以有效应用于历史数据流的存储和查询。

关键词：历史数据流 BD结构部分扩充

来源：评论

学校读者我要写书评

暂无评论

列存储数据仓库查询执行中重用缓冲区调度算法

列存储数据仓库查询执行中重用缓冲区调度算法

引用

第28届中国数据库学术会议

作者：张琦王梅乐嘉锦刘国华东华大学计算机科学与技术学院上海201620 东华大学计算机科学与技术学院上海201620 计算机软件新技术国家重点实验室(南京大学)南京210093

查询的中间结果重用是提高查询效率的重要手段。现有列存储系统主要关注多查询计划间的中间结果重用，忽略了单一查询计划执行过程中大量可重复访问的中间结果。单一查询中的中间结果具有确定性高、结果大小可估计的特征，非常适合作为... 详细信息

查询的中间结果重用是提高查询效率的重要手段。现有列存储系统主要关注多查询计划间的中间结果重用，忽略了单一查询计划执行过程中大量可重复访问的中间结果。单一查询中的中间结果具有确定性高、结果大小可估计的特征，非常适合作为重用的对象。为此，针对列存储数据仓库单一查询计划执行过程中的中间结果重用问题，提出了一个重用缓冲区空间的调度算法。首先，基于操作结点在给定物理执行计划树中的相对位置及其操作所产生的中间结果的大小对操作结点提出重用度估计模型。其次，设计了基于模型估计结果的缓冲区调度算法。在每一个查询计划的执行过程中，根据其模型估计结果执行缓冲区调度算法，使得其产生的中间结果中更重要的部分能够更久地驻留在内存中，以提升查询性能。在数据仓库基准数据集SSB上的实验结果验证了方法的有效性。

关键词：列存储系统查询效率数据重用缓冲区空间数据仓库调度算法

来源：评论

学校读者我要写书评

暂无评论

列存储数据仓库中启发式查询优化机制

列存储数据仓库中启发式查询优化机制

引用

第28届中国数据库学术会议

作者：严秋玲孙莉王梅乐嘉锦刘国华东华大学计算机科学与技术学院上海201620 东华大学计算机科学与技术学院上海201620 南京大学计算机软件新技术国家重点实验室南京210093

研究和实践表明列存储更加适合于大规模数据集上的即席查询的“读优化”应用需求。然而由于列存储的处理对象是列，此时传统的基于规则的查询优化方法并不完全适用。文中首先比较了列存储系统中查询优化与行存储系统的不同，在此基础上... 详细信息

研究和实践表明列存储更加适合于大规模数据集上的即席查询的“读优化”应用需求。然而由于列存储的处理对象是列，此时传统的基于规则的查询优化方法并不完全适用。文中首先比较了列存储系统中查询优化与行存储系统的不同，在此基础上提出适合于列存储的启发式查询优化机制，其中包括启发式优化策略、重写规则、左深连接树结构和相关算法。实验表明：该文提出的启发式优化机制能有效减少候选计划的规模，排除大量不可能生成最优计划的计划，使得查询处理代价和执行时间大大减小。

关键词：列存储数据仓库启发式查询优化策略重写规则左深连接树

来源：评论

学校读者我要写书评

暂无评论

南京大学第七届机器翻译研讨会评测技术报告

南京大学第七届机器翻译研讨会评测技术报告

引用

机器翻译研究进展——第七届全国机器翻译研讨会

作者：奚宁赵迎功汤光超李中华刘友强戴新宇陈家骏南京大学计算机科学与技术系软件新技术国家重点实验室自然语言处理研究组

本文介绍南京大学自然语言处理研究组(NJU-NLP)参加2011年第七届全国机器翻译研讨会(CWMT2011)评测的情况。本研究组参加了全部九个评测项目中的四个子项,分别是:汉英新闻领域单一系统。英汉新闻领域单一系统,英汉科技领域单一系统和日... 详细信息

本文介绍南京大学自然语言处理研究组(NJU-NLP)参加2011年第七届全国机器翻译研讨会(CWMT2011)评测的情况。本研究组参加了全部九个评测项目中的四个子项,分别是:汉英新闻领域单一系统。英汉新闻领域单一系统,英汉科技领域单一系统和日汉新闻领域单一系统。文章主要介绍研究组机器翻译系统的实现框架,阐述他们在评测数据上的性能表现,并对结果加以适当的分析。

关键词：人工智能自然语言处理机器翻译

来源：评论

学校读者我要写书评

暂无评论

扩展不干扰模型(ENISM)及基于CSP的描述和验证方法

引用

计算机学报 2010年第5期33卷 877-889页

作者：崔隽黄皓高晓春南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

在不干扰理论的基础上,提出扩展不干扰模型ENISM及其验证方法,用以描述和分析操作系统中的信息流策略.工作包括:(1)依据系统功能模块定义多个执行域,以即将执行的可能动作序列集合与可读取的数据存储值集合一同作为ENISM定义执行域安全... 详细信息

在不干扰理论的基础上,提出扩展不干扰模型ENISM及其验证方法,用以描述和分析操作系统中的信息流策略.工作包括:(1)依据系统功能模块定义多个执行域,以即将执行的可能动作序列集合与可读取的数据存储值集合一同作为ENISM定义执行域安全状态的基础;(2)给出判定系统中不存在违反策略的执行轨迹和数据流动的条件ENISM-CC;(3)基于通信顺序进程给出ENISM-CC的语义及操作系统模块设计的形式化描述和验证方法.

关键词：不干扰模型通信顺序进程形式化描述形式化验证完整性

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：