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

软件学报 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的测试效率比已有的算法表现得更优越.

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

来源：评论

学校读者我要写书评

暂无评论

基于方向经验模型分解的图像修复方法

引用

电子学报 2010年第2期38卷 257-262页

作者：张岩孙正兴姚伟南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

本文提出了一种基于方向经验模型分解的图像修复方法,通过方向经验模型将待修复图像进行分解,然后在各级分解图像上根据待修复区域边界上像素点的梯度特征计算填充优先级,并利用方向经验模型分解得到的频率特征值结合纹理合成的方法完... 详细信息

本文提出了一种基于方向经验模型分解的图像修复方法,通过方向经验模型将待修复图像进行分解,然后在各级分解图像上根据待修复区域边界上像素点的梯度特征计算填充优先级,并利用方向经验模型分解得到的频率特征值结合纹理合成的方法完成该级图像的修复,同时采用相关搜索来完成各级图像的相应修复,最后将其进行合并,得到最终的图像修复结果.实验结果表明,该算法能够修复较大尺度缺损区域中的结构和纹理信息.

关键词：方向经验模型分解图像修复梯度纹理合成

来源：评论

学校读者我要写书评

暂无评论

扩展不干扰模型(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年第10期25卷 1531-1535页

作者：王利民李雄飞王学成吉林大学计算机科学与技术学院长春130012 南京大学计算机软件新技术国家重点实验室南京210093

提出一种基于半监督学习的粗糙集知识约简算法(SLRS).SLRS基于对信息论基本概念的引申定义,描述了各条件属性的重要程度以及相互之间的依赖关系.对于数据库中某些记录属性域存在的缺失值,基于半监督学习进行启发式属性值约简,进而求取... 详细信息

提出一种基于半监督学习的粗糙集知识约简算法(SLRS).SLRS基于对信息论基本概念的引申定义,描述了各条件属性的重要程度以及相互之间的依赖关系.对于数据库中某些记录属性域存在的缺失值,基于半监督学习进行启发式属性值约简,进而求取粗糙集约简决策表,即使在现有知识不足或信息不完备的情况下,也能通过半监督学习构造新的规则补充到知识库中.样例分析及在UCI数据集上的实验结果均表明了所提出算法的合理性和有效性.

关键词：半监督学习粗糙集信息论值约简

来源：评论

学校读者我要写书评

暂无评论

虚拟网络马拉松系统通信协议及关键技术研究

引用

系统仿真学报 2010年第9期22卷 2125-2130页

作者：欧阳婷婷苏绍勇卢威潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

虽然分布式虚拟环境及其各种技术已发展成熟,但其在电子竞技领域的应用尚不多见。将分布式虚拟环境技术应用到电子竞技领域的"虚拟网络马拉松"系统中,描述了虚拟化电子竞技系统的特点和通信协议设计准则,讨论了相关的一些关... 详细信息

虽然分布式虚拟环境及其各种技术已发展成熟,但其在电子竞技领域的应用尚不多见。将分布式虚拟环境技术应用到电子竞技领域的"虚拟网络马拉松"系统中,描述了虚拟化电子竞技系统的特点和通信协议设计准则,讨论了相关的一些关键技术的实现,包括标准性、公平性、通信开销和自愈合性,在此基础上设计并实现了虚拟网络马拉松系统网络通信协议VNMCP。

关键词：分布式虚拟环境电子竞技网络通信协议虚拟网络马拉松

来源：评论

学校读者我要写书评

暂无评论

一种新的布尔规格测试用例生成算法

引用

东南大学学报（自然科学版） 2010年第2期40卷 291-295页

作者：李磊芳徐宝文陈振宇章晓芳董国伟东南大学计算机科学与工程学院南京210096 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 苏州大学计算机科学与技术学院苏州215006

为提高布尔规格测试用例生成的效率,对常用的循环赋值方法进行了改进,将检测条件转换为类似合取范式(CNF)的表达式并对各子表达式进行了循环赋值.针对布尔表达式中文字否定错误(LNF)及文字引用错误(LRF)等2种类型的变异,该方法从语法树... 详细信息

为提高布尔规格测试用例生成的效率,对常用的循环赋值方法进行了改进,将检测条件转换为类似合取范式(CNF)的表达式并对各子表达式进行了循环赋值.针对布尔表达式中文字否定错误(LNF)及文字引用错误(LRF)等2种类型的变异,该方法从语法树中发生变异的叶结点处进行回溯,将检测条件分解成子表达式,并分别对各子表达式进行循环从而生成其可满足赋值,最后将上述赋值组合形成测试用例.实验数据显示:该方法有效地减少了测试用例生成时所需的循环赋值次数,且测试用例生成时间的缩减与循环次数的减少呈近似线性关系;相对LNF,该方法对LRF时间的缩减更为明显.研究表明检测条件的分解循环能有效降低总循环次数,从而提高了测试用例的生成效率.

关键词：软件测试布尔规格测试测试用例生成

来源：评论

学校读者我要写书评

暂无评论

基于多尺度几何分析的图像编码研究进展

引用

计算机研究与发展 2010年第6期47卷 1132-1143页

作者：王相海孙强宋传鸣刘丹辽宁师范大学计算机与信息技术学院辽宁大连116029 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

近10年来,在小波变换的理论基础之上,产生了一系列新的能够更加有效地表示和处理高维数据奇异的数学变换,统称为"多尺度几何分析".它们不仅具有多分辨率特性、时频局部性、多方向性和各向异性,而且克服了小波变换表示边缘、... 详细信息

近10年来,在小波变换的理论基础之上,产生了一系列新的能够更加有效地表示和处理高维数据奇异的数学变换,统称为"多尺度几何分析".它们不仅具有多分辨率特性、时频局部性、多方向性和各向异性,而且克服了小波变换表示边缘、轮廓等高维奇异时存在的局限性.目前,有关多尺度几何分析的理论和应用方法的研究已经成为一个新的热点.首先探讨了小波变换的方向特性及其局限性;其次,以多尺度几何分析的发展为主线,对基于各种多尺度几何分析工具的静态图像编码算法进行概述阐述和比较研究,同时分析和讨论了各类算法的优势和不足;最后,对基于多尺度几何分析的图像编码算法的未来发展进行展望.

关键词：图像编码多尺度几何分析脊波变换曲波变换 Bandelet变换轮廓波变换小波变换

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：