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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于Paxos算法的容错机制

引用

计算机应用与软件 2011年第6期28卷 143-145,160页

作者：王利军谢立南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

针对在普通的硬件和网络环境下实现系统数据的高可用性的目标,设计了一个由两个松耦合的模块组成的容错机制。该机制的核心使用了高效的共识算法Paxos。描述了这一容错机制的架构和主要模块,日志层的实现算法和数据层冗余机制。给出了... 详细信息

针对在普通的硬件和网络环境下实现系统数据的高可用性的目标,设计了一个由两个松耦合的模块组成的容错机制。该机制的核心使用了高效的共识算法Paxos。描述了这一容错机制的架构和主要模块,日志层的实现算法和数据层冗余机制。给出了该机制能够处理的各种故障。实验证明系统的稳定可靠,性能良好。

关键词：高可用性一致性共识协议冗余日志

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

安全关键系统的软件可靠性评估方法

安全关键系统的软件可靠性评估方法

引用

2011年全国理论计算机科学学术年会

作者：张德平徐宝文南京航空航天大学计算机科学与与技术学院南京210016 南京大学软件新技术国家重点实验室南京 210093 南京大学软件新技术国家重点实验室南京 210093 南京大学计算机科学与技术系南京 210093

基于统计测试的Markov使用链模型对安全关键系统的可靠性估计提出了一种有效的估计方法.该方法利用重要抽样技术在保证估计的无偏性条件下,以可靠性估计的方差最小为目的,通过Ali-Silvey距离度量两个分布之间的差异,调整各个状态之间转...

基于统计测试的Markov使用链模型对安全关键系统的可靠性估计提出了一种有效的估计方法.该方法利用重要抽样技术在保证估计的无偏性条件下,以可靠性估计的方差最小为目的,通过Ali-Silvey距离度量两个分布之间的差异,调整各个状态之间转移概率分布,修正测试剖面,增加关键操作的遍历概率.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

面向自动理解的汉语明喻句的可计算性考察

面向自动理解的汉语明喻句的可计算性考察

引用

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

作者：宋纯李斌曲维光陈小荷南京师范大学文学院南京大学计算机软件新技术国家重点实验室南京师范大学计算机科学与技术学院

隐喻的计算语言学研究主要存在两个问题:隐喻理论多样且差异较大;隐喻知识库和语料库的可计算性不足。为解决隐喻理论与计算的衔接,寻找面向计算的隐喻分析框架,本文提出了利用易收集、本体喻体喻底易区分的明喻句作为媒介,通过分析其... 详细信息

隐喻的计算语言学研究主要存在两个问题:隐喻理论多样且差异较大;隐喻知识库和语料库的可计算性不足。为解决隐喻理论与计算的衔接,寻找面向计算的隐喻分析框架,本文提出了利用易收集、本体喻体喻底易区分的明喻句作为媒介,通过分析其概念域的整合方式为其他隐喻方式的研究提供理论和计算依据的方法。语域受限的封闭语料穷尽分析试验表明,属性明喻句可通过凸显特征来计算;动作隐喻方式复杂,其可计算性比较低,并非现有知识库所能支撑。最后探讨了明喻计算的界限问题。

关键词：隐喻计算明喻概念隐喻理解生成

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：