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

软件学报 2015年第2期26卷 239-253页

作者：张一帆黄超欧建生汤恩义陈鑫南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件.在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色.由于与计算机平台、操作系统、设备3个方面同时关联所导... 详细信息

随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件.在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色.由于与计算机平台、操作系统、设备3个方面同时关联所导致的复杂性,设备驱动程序的开发难度大、成本高,程序中所存在的错误和缺陷常常导致系统失效,在安全攸关领域造成不可挽回的损失.以设备驱动程序可靠性和正确性保障为目标,分别从故障的隔离与恢复、正确性分析和验证、设计建模与复杂性控制这3个方面对当前相关方法和技术进行分析,为开展进一步深入的研究工作打下基础.

关键词：安全攸关软件系统设备驱动程序可靠性正确性

来源：评论

学校读者我要写书评

暂无评论

中英命名实体识别及对齐中的中文分词优化

引用

电子学报 2015年第8期43卷 1481-1487页

作者：尹存燕黄书剑戴新宇陈家骏南京大学计算机软件新技术国家重点实验室江苏南京210023 南京大学计算机科学与技术系江苏南京210023

中文分词结果对中英命名实体识别及对齐有着直接的影响,本文提出了一种命名实体识别及对齐中的中文分词优化方法.该方法利用实体词汇的对齐信息,首先修正命名实体识别结果,然后根据实体对齐结果调整分词粒度、修正错误分词.分词优化后... 详细信息

中文分词结果对中英命名实体识别及对齐有着直接的影响,本文提出了一种命名实体识别及对齐中的中文分词优化方法.该方法利用实体词汇的对齐信息,首先修正命名实体识别结果,然后根据实体对齐结果调整分词粒度、修正错误分词.分词优化后的结果使得双语命名实体尽可能多地实现一一对应,进而提高中英命名实体翻译抽取和统计机器翻译的效果.实验结果表明了本文优化方法的有效性.

关键词：分词命名实体识别双语对齐机器翻译

来源：评论

学校读者我要写书评

暂无评论

一种面向列车控制系统中安全攸关场景的测试用例自动生成方法

引用

软件学报 2015年第2期26卷 269-278页

作者：陈鑫姜鹏张一帆黄超周岩计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生... 详细信息

列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性.

关键词：安全攸关场景场景建模简单路径覆盖测试用例自动生成

来源：评论

学校读者我要写书评

暂无评论

基于函数占用和需求分析测试代码用例自适应优先排序

引用

计算机与现代化 2016年第3期 46-51页

作者：薛一帆毛宇光南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

在采用函数占用(覆盖)的测试代码用例优先级排序过程中,其特征一般是以函数占用代码率信息表示,容易忽视其他优先排序影响因素,对此提出基于函数占用和需求分析的测试代码用例自适应优先排序方式。首先,以测试代码用例优先级排序过程中... 详细信息

在采用函数占用(覆盖)的测试代码用例优先级排序过程中,其特征一般是以函数占用代码率信息表示,容易忽视其他优先排序影响因素,对此提出基于函数占用和需求分析的测试代码用例自适应优先排序方式。首先,以测试代码用例优先级排序过程中的调用函数存在路径为参照,利用源代码信息变更影响,进行影响域的回归测试分析,并对测试代码用例集进行回归范围确定。其次,考虑测试代码用例优先级排序的需求影响因素,并确定其需求优先级评价指标,然后与调用函数源代码变更影响指标进行权重自适应融合,并设计基于函数占用和需求分析评价优先级的动态调整算法。最后,通过仿真对比显示,所提方法可提高缺陷检测正确率,降低测试成本。

关键词：代码变更测试代码用例排序回归测试路径调用需求分析

来源：评论

学校读者我要写书评

暂无评论

基于双目融合与竞争的无参考立体图像质量评价方法

引用

宁波大学学报（理工版） 2016年第4期29卷 50-55页

作者：何美伶郁梅宁波大学信息科学与工程学院浙江宁波315211 南京大学计算机软件新技术国家重点实验室江苏南京210093

根据人眼对立体图像的感知过程,提出了一种基于双目融合和竞争特性的无参考立体图像质量评价方法.首先将左右视点图像进行融合,对得到的独眼图进行Gabor特征提取;然后对左右视点图像的绝对差值图提取特征;最后将独眼图特征和绝对差值图... 详细信息

根据人眼对立体图像的感知过程,提出了一种基于双目融合和竞争特性的无参考立体图像质量评价方法.首先将左右视点图像进行融合,对得到的独眼图进行Gabor特征提取;然后对左右视点图像的绝对差值图提取特征;最后将独眼图特征和绝对差值图特征融合得到立体图像特征集,通过支持向量回归预测得到客观值.采用该方法对LIVE立体图像数据库进行评价,Pearson线性相关系数(PLCC)和Spearman等级相关系数(SROCC)均在0.94左右,优于其他参与对比的质量评价方法.表明该方法符合人眼视觉特性,能够很好地描述人眼感知特性.

关键词：立体图像质量评价无参考图像质量评价双目融合双目竞争独眼图

来源：评论

学校读者我要写书评

暂无评论

项目驱动的电子商务课程教学

引用

计算机教育 2016年第1期 94-96页

作者：许蕾李言辉南京大学计算机科学与技术系江苏南京210023 南京大学计算软件新技术国家重点实验室江苏南京210023

针对计算机系电子商务课程的教学实际,探讨增强学生学习兴趣、提高学生学习效率的方法,提出将项目驱动引入电子商务教学,包括项目驱动教学的一般过程、实施中可能存在的问题以及对应的解决方案,方便学生高效地掌握、应用相关知识点,并... 详细信息

针对计算机系电子商务课程的教学实际,探讨增强学生学习兴趣、提高学生学习效率的方法,提出将项目驱动引入电子商务教学,包括项目驱动教学的一般过程、实施中可能存在的问题以及对应的解决方案,方便学生高效地掌握、应用相关知识点,并进一步提高学生分析、解决问题的学习能力和互助协作的团队工作能力。

关键词：项目驱动电子商务课堂教学

来源：评论

学校读者我要写书评

暂无评论

基于双L_0稀疏先验的图像运动去模糊

引用

计算机应用与软件 2016年第6期33卷 207-211页

作者：陶宗勤方贤勇谈业静陈尚文安徽大学媒体计算研究所安徽合肥230601 南京大学计算机软件新技术国家重点实验室江苏南京210023

目前图像的运动去模糊方法在处理较复杂的运动模糊时难以得到理想的效果,其原因之一是这些方法普遍只考虑图像梯度的稀疏性,忽略了模糊核的稀疏性。针对这一不足提出一种新的双L_0正则约束的运动模糊去除方法,该方法同时对自然图像梯度... 详细信息

目前图像的运动去模糊方法在处理较复杂的运动模糊时难以得到理想的效果,其原因之一是这些方法普遍只考虑图像梯度的稀疏性,忽略了模糊核的稀疏性。针对这一不足提出一种新的双L_0正则约束的运动模糊去除方法,该方法同时对自然图像梯度和模糊核使用L_0正则约束,结合半正定二次分裂最小化的方法进行求解优化,实现自然模糊图像梯度和模糊核均稀疏下的模糊核估计,并进一步使用L_(0.5)超拉普拉斯正则约束项恢复最终图像。实验发现,该方法可以较好地去除单幅图像较复杂的运动模糊,更好地克服了估计的模糊核中存在的噪点和错误,得到较现有方法更加理想去模糊效果。

关键词： L.正则约束运动去模糊半正定二次分裂

来源：评论

学校读者我要写书评

暂无评论

基于多尺度时间递归神经网络的人群异常检测

引用

软件学报 2015年第11期26卷 2884-2896页

作者：蔡瑞初谢伟浩郝志峰王丽娟温雯广东工业大学计算机学院广东广州510006 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

如何在人群密度大、变化快、存在大量遮挡的密集场景中实现可靠的人群事件检测,是领域研究的难点和热点.在密集场景时空建模的基础上提出了一种基于多尺度时间递归神经网络的人群异常事件检测和定位方法.首先对人群场景进行网格化划分,... 详细信息

如何在人群密度大、变化快、存在大量遮挡的密集场景中实现可靠的人群事件检测,是领域研究的难点和热点.在密集场景时空建模的基础上提出了一种基于多尺度时间递归神经网络的人群异常事件检测和定位方法.首先对人群场景进行网格化划分,并利用多尺度光流直方图对每个网格的人群动态进行刻画;然后,连接各个局部的人群动态获得整体的人群动态,实现整体人群动态的时间序列建模;最后,利用多尺度时间递归神经网络实现异常事件的检测和定位.其中,多尺度隐含层实现了密集场景中不同规模相邻网格之间的空间联系,节点间的反馈关系则为时间维度上的关系表达提供了有效方案.与多种代表性算法的对比实验,验证了本方法的有效性.

关键词：视频监控人群异常事件检测时间递归神经网络多尺度

来源：评论

学校读者我要写书评

暂无评论

传感器网络中自适应滑动窗口的高效Top-k查询技术

引用

电子学报 2015年第10期43卷 2117-2123页

作者：郑吉平宋保利王海翔王永阁南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

在传感器节点上安装动态窗口的过滤机制是无线传感器网络Top-k查询处理研究的一个重要方向.然而,已有过滤窗口算法会产生很大的窗口更新代价.本文针对过滤窗口更新频繁产生巨大能量消耗的问题,提出基于高斯过程回归预测的自适应滑动窗口... 详细信息

在传感器节点上安装动态窗口的过滤机制是无线传感器网络Top-k查询处理研究的一个重要方向.然而,已有过滤窗口算法会产生很大的窗口更新代价.本文针对过滤窗口更新频繁产生巨大能量消耗的问题,提出基于高斯过程回归预测的自适应滑动窗口Top-k查询处理算法FUGPR.当过滤窗口发生变化时,对传感器网络节点读数进行预测,评估窗口更新前后的代价来决定过滤窗口是否更新,从而减少了频繁更新窗口带来的巨大能量消耗,实验表明,本文提出的FUGPR算法无论在真实传感器网络环境的数据集上还是模拟的传感器网络环境数据集上都可以有效地减少由于过滤窗口更新带来的能量消耗.

关键词：过滤窗口无线传感器网络 FUGPR

来源：评论

学校读者我要写书评

暂无评论

一种优化缓存的Mobile Agent迁移机制

引用

北京理工大学学报 2015年第1期35卷 86-91页

作者：徐小龙吴家兴曹玲玲王新珩南京邮电大学计算机学院江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210046 西苏格兰大学计算机学院

目前的Mobile Agent迁移系统中,若Agent迁移失败,封装好的最小信息集将被简单抛弃,再次迁移时需重新封装,导致了额外的系统开销和迁移的低效率.对Mobile Agent迁移机制进行改进,通过在本地Agency添加Agent迁移缓存管理器AMCM,提出了一... 详细信息

目前的Mobile Agent迁移系统中,若Agent迁移失败,封装好的最小信息集将被简单抛弃,再次迁移时需重新封装,导致了额外的系统开销和迁移的低效率.对Mobile Agent迁移机制进行改进,通过在本地Agency添加Agent迁移缓存管理器AMCM,提出了一种优化缓存的Mobile Agent迁移机制.机制区分了Mobile Agent强迁移和弱迁移两种情况;当Agent迁移失败之后,已封装好的Agent信息集由Agent迁移缓存管理器保存;该Agent再次迁移时,封装好的消息将被直接发送至目的节点;机制还实现了Agent在多个节点间高效率的连续迁移.实验与性能分析表明,优化缓存的Mobile Agent迁移机制可有效节约系统的计算资源,缩短Mobile Agent的迁移时延.

关键词：移动主体迁移机制优化缓存连续迁移

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：