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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

静动态结合的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结构代价敏感

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

通过增大边际权重提高基于频谱的错误定位效率

引用

计算机学报 2010年第12期33卷 2335-2342页

作者：谭德贵陈林王子元丁晖周毓明徐宝文南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

基于频谱的错误定位技术通常利用覆盖信息来求出程序中每条语句的可疑度,并将语句按照可疑度降序排序以寻找错误语句.文中对已有的基于频谱的错误定位算法进行改进,将失败测试用例的边际权重引入到可疑度计算的过程中,即针对某一特定语... 详细信息

基于频谱的错误定位技术通常利用覆盖信息来求出程序中每条语句的可疑度,并将语句按照可疑度降序排序以寻找错误语句.文中对已有的基于频谱的错误定位算法进行改进,将失败测试用例的边际权重引入到可疑度计算的过程中,即针对某一特定语句,令失败测试用例的权重随着其对该语句覆盖次数的增加而增大.实验结果表明,相对于其它方法,文中提出的方法对错误定位效率有一定的促进作用,即只需检查更少的语句即可找到出错位置.

关键词：软件测试程序分析错误定位覆盖信息

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

分布式缓存系统中一种优化缓存部署的图算法

引用

软件学报 2010年第7期21卷 1524-1535页

作者：李文中陈道蓄陆桑璐南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

数据缓存技术可以有效地减少网络拥塞,减轻服务器负载,加快信息访问速度.通过部署一组地域分布的缓存节点相互协作处理用户请求,可以进一步提高系统性能.在分布式缓存系统中,一个值得关注的问题是优化缓存的放置,使访问开销最小化.首先... 详细信息

数据缓存技术可以有效地减少网络拥塞,减轻服务器负载,加快信息访问速度.通过部署一组地域分布的缓存节点相互协作处理用户请求,可以进一步提高系统性能.在分布式缓存系统中,一个值得关注的问题是优化缓存的放置,使访问开销最小化.首先建立了一个理论模型来分析缓存副本放置对系统访问开销的影响.基于这个模型,缓存放置问题可以形式化地描述成一个最优化问题,提出了一种图算法来解决该问题.图算法使用修改的Dijkstra算法在访问代价图中寻找一条最短路径,该路径对应一种最优的缓存部署.理论上证明了图算法的正确性,并使用仿真实验对其性能进行评估.实验结果表明,图算法的性能优于大部分现有的分布式缓存机制.

关键词：分布式缓存系统缓存放置图算法

来源：评论

学校读者我要写书评

暂无评论

一种面向服务的可靠多媒体传输算法

引用

软件学报 2010年第2期21卷 277-286页

作者：张胜钱柱中陆桑璐南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

针对普适环境中可靠的多媒体传输问题,提出了LD/RPath(lowest delay/reliability path)算法.LD/RPath算法通过合理的数据量近似来拟合服务节点和传输边上动态变化的数据量,引入节点分裂技术将节点时延转化为边时延,同时考虑了节点可靠... 详细信息

针对普适环境中可靠的多媒体传输问题,提出了LD/RPath(lowest delay/reliability path)算法.LD/RPath算法通过合理的数据量近似来拟合服务节点和传输边上动态变化的数据量,引入节点分裂技术将节点时延转化为边时延,同时考虑了节点可靠性因素,并作为时延的系数.通过这样的处理,该传输问题可以转化为传统的最短路径问题来解决.实验结果表明,LD/Rpath能够达到较好的路径选择效果,且系统开销较低.

关键词：普适环境面向服务架构多媒体传输时延可靠性

来源：评论

学校读者我要写书评

暂无评论

基于状态机模型的构件健壮性测试

引用

软件学报 2010年第5期21卷 930-941页

作者：雷斌王林章卜磊李宣东南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态转换;然后用无效输入和不当调用在... 详细信息

基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态转换;然后用无效输入和不当调用在构件的不同状态来测试其健壮性.通过区分测试中捕获异常的类别,自动报告健壮性错误.以通用的开源项目构件组成评测平台,实验数据显示,RoTesCo的测试效率比已有的算法表现得更优越.

关键词：软件测试构件健壮性状态机无效输入

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：