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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于马尔科夫链模型和通信距离WSNs协作ARQ策略

基于马尔科夫链模型和通信距离WSNs协作ARQ策略

引用

第四届中国计算机网络与信息安全学术会议(CCNIS2011)

作者：靳勇乐德广白光伟常熟理工学院计算机科学与工程学院江苏常熟 215500 南京工业大学计算机科学与技术系江苏南京 210009 计算机软件新技术国家重点实验室(南京大学)，江苏南京 210093

本文提出一种基于马尔科夫链模型和通信距离的多中继协作ARQ 策略。该策略在为无线数据传输提供可靠性同时获得较高的吞吐率和能量效率。首先根据传统ARQ机制和数据包在链路层分割为若干个数据帧规律，建立一种马尔科夫链模型;在此基础... 详细信息

本文提出一种基于马尔科夫链模型和通信距离的多中继协作ARQ 策略。该策略在为无线数据传输提供可靠性同时获得较高的吞吐率和能量效率。首先根据传统ARQ机制和数据包在链路层分割为若干个数据帧规律，建立一种马尔科夫链模型;在此基础上分析饱和吞吐率、数据包丢弃概率、平均时延和能效性能，并提出基于通信距离的协作ARQ 策略。针对线性无线传感器网络移动模型，分析比较所提协作ARQ与传统ARQ的通信性能，并讨论节点移动性对系统通信性能的影响。数学分析结果表明所提协作ARQ 能获得比传统ARQ 更优的饱和吞吐率、可靠性和能效。

关键词：无线传感器网络协作通信自动请求重传马尔科夫链

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

静动态结合的Java程序不变性分析方法

引用

计算机学报 2010年第4期33卷 736-746页

作者：于利前王林章雷斌赵建华李宣东南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

程序的不变性(immutability)是指类的实例对象在其生命周期内状态不会发生改变.不变性信息可以用来指导程序的分析、测试和验证等工作.现有分析不变性的技术主要集中于对程序的静态分析,而动态分析方面的工作很少.文中在分析了静、动态... 详细信息

程序的不变性(immutability)是指类的实例对象在其生命周期内状态不会发生改变.不变性信息可以用来指导程序的分析、测试和验证等工作.现有分析不变性的技术主要集中于对程序的静态分析,而动态分析方面的工作很少.文中在分析了静、动态分析技术各自的优缺点后,提出了一种静动态结合的混合分析技术.首先通过对程序进行静态分析,即对程序进行分析测试和验证,来获得初步的程序不变性信息,然后对静态分析的结果中不确定的部分再进行动态分析,即通过观察程序运行时各个对象的状态变化进行分析,同时还将动态分析用于对静态分析结果的验证.静动态结合的分析技术比单纯的静态分析提高了分析结果的精度,同时也比单纯的动态分析降低了开销,提高了效率.

关键词：不变性静态分析动态分析混合分析

来源：评论

学校读者我要写书评

暂无评论

基于Cascade结构的代价敏感的医学图像ROI检测方法

引用

模式识别与人工智能 2010年第2期23卷 228-234页

作者：李宁郭乔进谢俊元陈世福南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

医学图像中感兴趣区域(ROI)通常包含重要的信息,对医生分析和诊断具有重大意义.文中结合医学图像特点,运用机器学习方法和图像处理技术,提出一种基于Cascade结构的代价敏感的医学图像的ROI检测方法.该方法将代价敏感的分类算法和Cascad... 详细信息

医学图像中感兴趣区域(ROI)通常包含重要的信息,对医生分析和诊断具有重大意义.文中结合医学图像特点,运用机器学习方法和图像处理技术,提出一种基于Cascade结构的代价敏感的医学图像的ROI检测方法.该方法将代价敏感的分类算法和Cascade结构有效结合,具有高敏感性和高效率.对数字乳腺图像中的肿块ROI进行实际检测的实验结果表明,与基于像素的方法相比计算量小、效率高;与基于区域的方法相比避免了直接使用传统的图像分割和滤波技术难以有效检测ROI的问题.

关键词：医学图像感兴趣区域(ROI) Cascade结构代价敏感

来源：评论

学校读者我要写书评

暂无评论

基于即时验证的软件验证工具改进设计与实现

引用

计算机科学与探索 2011年第10期38卷 145-151页

作者：郭丽娟胡军张剑南京航空航天大学信息科学与技术学院南京 210016 南京航空航天大学信息科学与技术学院南京 210016 南京大学计算机软件新技术国家重点实验室南京 210093

基于设计模型的分析技术是现代复杂嵌入式软件系统高可靠性的重要保障手段.基于即时验证(On-the-flyverification)方法对一个构件化嵌入式软件设计模型原型验证工具T-CBESD进行了改进设计与实现.集成Topcased和JFLAP扩展了T-CBESD图形... 详细信息

基于设计模型的分析技术是现代复杂嵌入式软件系统高可靠性的重要保障手段.基于即时验证(On-the-flyverification)方法对一个构件化嵌入式软件设计模型原型验证工具T-CBESD进行了改进设计与实现.集成Topcased和JFLAP扩展了T-CBESD图形化建模接口；设计并实现了相关输入处理与转换；重新设计并实现了状态空间数据结构,包括功能、非功能行为(实时、资源、能耗等)验证问题在内的多个基于路径的一致性即时验证算法.给出了改进工具在火灾预警系统中的应用实例与分析.

关键词：嵌入式软件设计 UML交互概观图模型接口自动机即时验证算法形式化验证工具

来源：评论

学校读者我要写书评

暂无评论

P2P流量识别技术综述

引用

计算机科学与探索 2011年第10期38卷 6-12页

作者：刘三民孙知信南京航空航天大学信息科学与技术学院南京 210016 安徽工程大学计算机与信息学院芜湖 241000 南京航空航天大学信息科学与技术学院南京 210016 南京邮电大学计算机技术研究所南京 210003 南京大学计算机软件新技术国家重点实验室南京 210093

分析了P2P流量识别的重要性,通过系统归纳现有文献,按流量识别机制将现有识别方案分为基于端口识别法、应用层特征识别法、传输层特征识别法和机器学习方法4大类.并详细地剖析每类识别方法的原理、涉及的关键问题以及解决这些问题的具... 详细信息

分析了P2P流量识别的重要性,通过系统归纳现有文献,按流量识别机制将现有识别方案分为基于端口识别法、应用层特征识别法、传输层特征识别法和机器学习方法4大类.并详细地剖析每类识别方法的原理、涉及的关键问题以及解决这些问题的具体方法和国内外的研究进展,讨论各自存在的优缺点.在此基础之上对未来可能出现的研究趋势做了展望.

关键词：流量识别机器学习决策树支持向量机

来源：评论

学校读者我要写书评

暂无评论

列存储数据区级压缩模式与压缩策略选择方法

引用

计算机学报 2010年第8期33卷 1523-1530页

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

压缩技术是列存储数据管理的重要研究内容之一.目前多数方法对同一列数据使用单一压缩方法进行压缩,忽略了数据的局部分布特性,极大地影响了压缩性能.该文提出一种区级压缩模式,并在此模式下提出基于学习的压缩策略选择方法.首先该文将... 详细信息

压缩技术是列存储数据管理的重要研究内容之一.目前多数方法对同一列数据使用单一压缩方法进行压缩,忽略了数据的局部分布特性,极大地影响了压缩性能.该文提出一种区级压缩模式,并在此模式下提出基于学习的压缩策略选择方法.首先该文将数据列进一步划分为区,并分别定义相邻区信息与区所在列的统计信息为参照信息,进而通过学习参照信息与当前区之间的相似性和差异性进行策略推荐.最后该文对区进行局部学习从而对推荐压缩策略进行修正,保证压缩策略的有效性.在数据仓库基准数据集SSB上的实验结果验证了该文方法的有效性.

关键词：列存储数据压缩区级压缩模式压缩策略选择

来源：评论

学校读者我要写书评

暂无评论

基于选择机制的实体间最信任路径发现方法

引用

北京工业大学学报 2010年第5期36卷 679-684页

作者：周国强曾庆凯南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093 南京邮电大学计算机学院南京210003

提出了一种基于选择机制的实体间最信任路径发现算法.该算法采用动态规划思想,同时利用乘关系特点和信息反馈,在计算信任路径过程中可过滤掉无关路径,解决了恶意实体干扰问题、信任路径数目爆炸问题以及回路问题.仿真结果显示,本算法能... 详细信息

提出了一种基于选择机制的实体间最信任路径发现算法.该算法采用动态规划思想,同时利用乘关系特点和信息反馈,在计算信任路径过程中可过滤掉无关路径,解决了恶意实体干扰问题、信任路径数目爆炸问题以及回路问题.仿真结果显示,本算法能有效隔离恶意实体,同时具有通信量小,收敛性好的优点.

关键词：信任网络信任路径路径爆炸恶意实体

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：