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

软件学报 2015年第6期26卷 1486-1498页

作者：俞姝颖吴小兵陈贵海戴海鹏洪卫星计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 江苏省交通工程建设局江苏南京210004

桥梁的安全运营,是关系到国计民生的大事.因此,桥梁结构健康监测系统正成为国内外学术界和工程界的研究热点.无线传感器网络由于安装方便、维护成本低和部署灵活等特点,已被广泛应用于桥梁健康监测系统中.对现有的基于无线传感器网络的... 详细信息

桥梁的安全运营,是关系到国计民生的大事.因此,桥梁结构健康监测系统正成为国内外学术界和工程界的研究热点.无线传感器网络由于安装方便、维护成本低和部署灵活等特点,已被广泛应用于桥梁健康监测系统中.对现有的基于无线传感器网络的桥梁健康监测系统进行综述,依次介绍了各个子系统中的基本原理和典型方法,并结合多个具体实例分析了系统中的关键技术,最后总结了已有系统中存在的问题和未来的研究方向.

关键词：结构健康监测桥梁无线传感器网络损伤识别

来源：评论

学校读者我要写书评

暂无评论

面向HEVC的恰可察觉编码失真模型

引用

光电子．激光 2015年第12期26卷 2381-2392页

作者：徐升阳郁梅蒋刚毅方树清邵枫彭宗举宁波大学信息科学与工程学院浙江宁波315211 南京大学计算机软件新技术国家重点实验室江苏南京210093

为进一步提高现有视频编码技术的压缩效率及解码重建图像的主观视觉感知质量,在现有人眼恰可察觉失真(JND,just noticeable distortion)模型的基础上,提出了恰可察觉编码失真(JNCD,just noticeable coding distortion)模型。首先,通过... 详细信息

为进一步提高现有视频编码技术的压缩效率及解码重建图像的主观视觉感知质量,在现有人眼恰可察觉失真(JND,just noticeable distortion)模型的基础上,提出了恰可察觉编码失真(JNCD,just noticeable coding distortion)模型。首先,通过主观实验,对恰可察觉梯度幅值差异(JNGD,just noticeable gradient difference)进行了研究,分析其变化规律并建立JNGD模型。使用全变分(TV,total variation)方法将图像分解为结构图和纹理图后,分别求取其梯度信息得到结构梯度图和纹理梯度图,利用JNGD模型分别滤除结构梯度图和纹理梯度图中的人眼不可察觉的梯度幅值;其后,分析了人眼感知对于不同梯度幅值的编码失真敏感性,设计了梯度幅值与JNCD值的主观实验,得到两者的关系模型;最后,考虑人眼对图像中的边缘、平坦和纹理3类区域失真感知程度的差异性,利用滤波后的结构梯度和纹理梯度信息将图像划分为上述3类区域,最终建立整幅图像的JNCD模型。为验证本文提出的JNCD模型的可靠性,在高效视频编码(HEVC)标准测试平台上进行的模型验证结果表明,在本模型指导下的编码其解码重建图像获得了较好的主观视觉效果,可为人眼视觉感知冗余的分析及感知编码的改进提供依据。

关键词：感知编码恰可察觉编码失真(JNCD) 高效视频编码(HEVC) 梯度幅值

来源：评论

学校读者我要写书评

暂无评论

面向新闻语料的中日命名实体翻译抽取

引用

小型微型计算机系统 2015年第6期36卷 1393-1397页

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

命名实体翻译可以有效地提高跨语言信息检索、统计机器翻译等系统的性能.双语新闻语料包含了丰富的命名实体,利用统计方法可以从中抽取出命名实体翻译.基于中日双语新闻语料,对中日命名实体的翻译特征进行了分析,基于这些特征,提出一种... 详细信息

命名实体翻译可以有效地提高跨语言信息检索、统计机器翻译等系统的性能.双语新闻语料包含了丰富的命名实体,利用统计方法可以从中抽取出命名实体翻译.基于中日双语新闻语料,对中日命名实体的翻译特征进行了分析,基于这些特征,提出一种中日双语命名实体翻译自动抽取的方法,该方法融合了中日汉字翻译概率、片假名词汇和中文音译词汇的拼音相似度以及双语词汇共现等特征.实验表明本文方法充分利用这些特征,在语料规模不大的情况下,也可以取得较好的效果.

关键词：命名实体双语语料对齐模型拼音相似度词汇共现

来源：评论

学校读者我要写书评

暂无评论

一种低复杂度立体视频错误隐藏新方法

引用

光电子．激光 2015年第11期26卷 2200-2208页

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

针对立体视频流传输中右视点整帧丢失,提出了一种低复杂度的错误隐藏算法。首先,为了高效地感知立体视频的时域质量和视点间质量,定义了时域相似尺度(TSM)、视间相似尺度(ISM)的概念;将前一时刻右视点图像进行时域和视点间匹配,分别求... 详细信息

针对立体视频流传输中右视点整帧丢失,提出了一种低复杂度的错误隐藏算法。首先,为了高效地感知立体视频的时域质量和视点间质量,定义了时域相似尺度(TSM)、视间相似尺度(ISM)的概念;将前一时刻右视点图像进行时域和视点间匹配,分别求取其以像素为单位的TSM和ISM映射图;然后,计算前一时刻右视点图像当前宏块的TSM和ISM值,通过比较得到当前宏块的预测模式;最后,根据视频序列的时域一致性,将前一时刻右视点图像宏块的预测模式作为丢失图像宏块的预测模式,从而使用运动补偿预测(MCP)或者视差补偿预测(DCP)的方法恢复丢失信息。研究结果表明,与已有错误隐藏算法相比,本文算法获得更好主客观视觉效果;同时与基于图像结构相似度(SSIM)的错误隐藏算法相比,在保持主观视觉质量情况下,错误隐藏时间节省20%左右。

关键词：错误隐藏立体视频整帧丢失宏块预测模式

来源：评论

学校读者我要写书评

暂无评论

一种HEVC的快速帧间编码新方法

引用

光电子．激光 2015年第5期26卷 932-941页

作者：方树清郁梅徐升阳陈芬邵枫彭宗举蒋刚毅宁波大学信息科学与工程学院浙江宁波315211 南京大学计算机软件新技术国家重点实验室江苏南京210093

为了降低新一代高效视频编码(HEVC)的计算复杂度,融合基于人眼恰可察觉失真(JND)的快速帧间模式选择和自适应编码单元深度范围(ACUDR)两种算法,提出了一种快速帧间编码新方法。首先,通过建立时空域JND和最佳预测模式的统计关系,利用JND... 详细信息

为了降低新一代高效视频编码(HEVC)的计算复杂度,融合基于人眼恰可察觉失真(JND)的快速帧间模式选择和自适应编码单元深度范围(ACUDR)两种算法,提出了一种快速帧间编码新方法。首先,通过建立时空域JND和最佳预测模式的统计关系,利用JND阈值指导帧间预测模式的快速选择,以减少遍历的模式个数从而降低复杂度;然后,利用编码的前一帧定义与当前帧的平均深度差(ADD),通过ADD自适应加权时空域相邻最大CU(LCU)的平均深度值预测当前LCU的深度范围(DR)类型,减少当前LCU遍历的深度个数从而降低算法复杂度;最后,融合这两种算法以进一步降低了视频编码的计算复杂度。结果表明,所提出方法在低延时和随机访问两种编码结构下,降低了40%以上的计算复杂度,但编码性能降低很小,在同等码率下的峰值信噪比(BDPSNR)仅分别降低0.058dB和0.037dB,同等客观质量下的码率(BDBR)仅分别增加1.71%和1.06%。

关键词：高效视频编码(HEVC) 快速模式选择时空域恰可察觉失真(JND) 平均深度差(ADD) 编码单元(CU)深度遍历选择

来源：评论

学校读者我要写书评

暂无评论

基于模型转换的IMA系统可调度性验证方法

引用

南京航空航天大学学报 2015年第3期47卷 403-411页

作者：胡军程桢马金晶刘雪石姣洁南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

综合模块化航空电子系统(Integrated modular avionics,IMA)中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(... 详细信息

综合模块化航空电子系统(Integrated modular avionics,IMA)中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(Model driven engineering,MDE)框架下,基于实时嵌入式系统建模与分析(Modeling and analysis of real-time and embedded system,MARTE)模型的ARINC653分区调度系统建模转换与可调度性验证的方法。借助MAST工具及其自定义调度策略功能,分析分区系统调度特性并利用MARTE对其进行建模,并利用该工具对MARTE模型进行仿真以验证其可调度性,最后给出了一个实例分析。

关键词：综合模块化航电系统可调度性验证 ARINC653 实时嵌入式系统与分析模型驱动工程

来源：评论

学校读者我要写书评

暂无评论

基于种群混合协同联盟的属性量子博弈均衡约简

引用

电子学报 2015年第1期43卷 45-53页

作者：丁卫平王建东施全陈森博沈学华南通大学计算机科学与技术学院江苏南通226019 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京航空航天大学计算机科学与技术学院江苏南京210016

为进一步提高进化种群在粗糙集属性演化约简中寻求最优解的协同性能,提出了一种基于种群混合协同联盟的属性量子博弈均衡约简算法.该算法建立一种基于自适应多层进化树的种群协同演化联盟模型,以种群内个体竞争和种群间精英合作的混合... 详细信息

为进一步提高进化种群在粗糙集属性演化约简中寻求最优解的协同性能,提出了一种基于种群混合协同联盟的属性量子博弈均衡约简算法.该算法建立一种基于自适应多层进化树的种群协同演化联盟模型,以种群内个体竞争和种群间精英合作的混合协同机制实现各种群协同演化,较好地达到属性协同演化约简中广度寻优和深度探索的有效平衡;然后将信任裕度报酬机制引入到多种群精英量子协同博弈模型,种群精英在每个划分的属性子集中通过量子协同博弈策略均能求得各自最优约简子集,从而稳定取得Nash均衡下全局最优属性约简集.实验结果表明本文算法具有较高的属性演化约简效能和精度,对不完备电子病历系统中脑组织核磁共振成像MRI的高效约简与分割进一步展示其具有较强的实用性和鲁棒性.

关键词：属性演化约简自适应进化树混合协同信任裕度量子博弈纳什均衡

来源：评论

学校读者我要写书评

暂无评论

中断驱动系统模型检验?

引用

软件学报 2015年第9期26卷 2212-2230页

作者：周筱羽顾斌赵建华杨孟飞李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 西北工业大学计算机学院陕西西安710072 南京大学计算机科学与技术系江苏南京210023 中国空间技术研究院北京100094

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统... 详细信息

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法.

关键词：中断驱动系统模型检验超时检测

来源：评论

学校读者我要写书评

暂无评论

中断驱动控制系统的有界模型检验技术

引用

软件学报 2015年第10期26卷 2485-2503页

作者：周筱羽顾斌赵建华杨孟飞计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 西北工业大学计算机学院陕西西安710072 南京大学计算机科学与技术系江苏南京210023 中国空间技术研究院北京100094

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调... 详细信息

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调度任务序列处理日常事务以及中断事件的后续工作.使用了带中断标记的时间自动机对中断事件和任务调度事件进行建模,并使用中断向量表和中断处理程序的伪代码模型共同描述中断的处理过程.控制变量将中断处理过程和系统任务相关联,中断处理程序可以设定某个控制变量,而系统任务则通过检查该控制变量来确定是否需要进行后续处理.对于这样的形式化模型,给出了检验关键时序性质的有界模型检验算法.该算法使用深度优先的方式遍历所有长度小于等于K的可行路径,并使用SMT Z3实现了对时间约束和规约的处理.

关键词：中断驱动系统有界模型检验超时检测

来源：评论

学校读者我要写书评

暂无评论

一致闭的禁忌交互集生成算法

引用

计算机学报 2015年第11期38卷 2279-2289页

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

组合测试是侦测软件系统中各因素或配置之间是否有交互作用导致软件系统故障的重要方法,当因素之间的取值组合出现约束时如何生成尽可能少的测试用例是组合测试中的热点问题之一.该文研究了约束出现时由约束导致的禁忌交互集的结构形式... 详细信息

组合测试是侦测软件系统中各因素或配置之间是否有交互作用导致软件系统故障的重要方法,当因素之间的取值组合出现约束时如何生成尽可能少的测试用例是组合测试中的热点问题之一.该文研究了约束出现时由约束导致的禁忌交互集的结构形式,提出了包括所有的显性与隐含极小禁忌交互的一致闭的禁忌交互集的概念,对一般的禁忌交互集,提出了生成一致闭的禁忌交互集的算法,分析了算法的性能,然后对一致闭的禁忌交互集提出了生成禁忌覆盖表的类AETG算法.对Cohen等人提出的5个实际的测试场景以及30个人工合成的场景,实验表明生成的一致闭的禁忌交互集的规模是在可接受的范围内,生成的测试用例集规模与Cohen等人实验的结果是相当的.最后通过随机实验研究了影响禁忌交互集与其一致闭的禁忌交互集的规模比值的因素.

关键词：组合测试约束条件禁忌覆盖表禁忌交互一致闭禁忌交互集类AETG算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：