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

计算机工程与设计 2015年第5期36卷 1260-1264,1303页

作者：刘海军南京大学计算机软件新技术国家重点实验室江苏南京210023 北京市轻纺机械机器视觉工程技术研究中心北京100176 北京经纬纺机新技术有限公司北京100176

为解决LDP算子运算速度较慢、对于有些模式无法精确区分等问题,提出局部方向三值模式纹理描述子。采用自适应阈值,对像素8个方向边缘响应进行三值编码,提取并统计正边缘模式和负边缘模式,联合起来构成局部方向三值模式,作为最终特征来... 详细信息

为解决LDP算子运算速度较慢、对于有些模式无法精确区分等问题,提出局部方向三值模式纹理描述子。采用自适应阈值,对像素8个方向边缘响应进行三值编码,提取并统计正边缘模式和负边缘模式,联合起来构成局部方向三值模式,作为最终特征来描述图像。在Brodatz数据集和CUReT数据集上将该模式与传统的LBP、LDP、FLDP、LTP算法进行对比实验,对比结果表明,与LDP算法相比,该模式在上述两个数据集上的分类准确率分别提高了5.42%和8.43%,运算速度提高了8倍以上;与LBP、FLDP、FTP相比,该模式也有明显优势。

关键词：纹理特征纹理描述子局部方向模式局部三值模式纹理分类

来源：评论

学校读者我要写书评

暂无评论

一种嵌入式系统模型的安全性分析验证方法

引用

计算机技术与发展 2015年第10期25卷 7-12页

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

由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法... 详细信息

由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法。具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及高级安全性建模与分析语言AltaRica的语义模型GTS的元模型,然后建立了从SysML/MARTE状态机模型到AltaRica模型的语义映射模型转换规则,并基于AMMA平台和故障树分析工具XFTA实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证框架的构建。最后给出了民用飞机系统中的机轮刹车系统设计模型的例子进行实例验证分析。实验结果表明,提出的嵌入式系统设计模型的安全性分析与验证方法是具有代表性和可执行性的。

关键词：系统安全性分析模型驱动 SysML/MARTE XFTA 状态机模型嵌入式系统模型

来源：评论

学校读者我要写书评

暂无评论

基于UKF区域交叉定位的WSNs Sink节点动态跟踪算法

引用

传感器与微系统 2015年第4期34卷 123-126,129页

作者：姚依翔谢俊元南京大学计算机科学与技术系江苏南京210093 南京晓庄学院数学与信息技术学院江苏南京211100 计算机软件新技术国家重点实验室江苏南京210093

为了提高无线传感器网络(WSNs)使用寿命,对WSNs的目标跟踪方式进行研究,提出基于无迹Kalman滤波(UKF)的WSNs Sink节点动态跟踪算法,以实现高效节能的资源管理和利用方式。首先利用UKF算法对目标节点的下一位置进行预测,然后通过四圆区... 详细信息

为了提高无线传感器网络(WSNs)使用寿命,对WSNs的目标跟踪方式进行研究,提出基于无迹Kalman滤波(UKF)的WSNs Sink节点动态跟踪算法,以实现高效节能的资源管理和利用方式。首先利用UKF算法对目标节点的下一位置进行预测,然后通过四圆区域定位交叉定位算法对Sink节点的位置区域进行局部准确定位。实验结果表明:这种动态的Sink节点预测定位算法能够有效缩短数据发射传感器和Sink点之间的距离,减少跳数,从而实现负载均衡降低能耗的效果。

关键词：无线传感器网络无迹卡尔曼滤波区域交叉定位 Sink节点动态跟踪

来源：评论

学校读者我要写书评

暂无评论

建设中国—哈萨克斯坦旅游资源信息库的需求、构想与意义

引用

新疆大学学报（哲学社会科学版） 2015年第2期43卷 85-87页

作者：古丽孜拉.艾尼外马劲松黄书剑王友文伊犁师范学院电子与信息工程学院新疆伊宁835000 南京大学计算机软件新技术国家重点实验室江苏南京21004 南京大学地理与海洋科学学院地理信息科学系江苏南京210046 伊犁中亚生态研究所新疆伊宁835000

中、哈两国共建哈萨克草原文化旅游资源信息库,既是旅游市场发展的需求,也是经济贸易和科学技术的革新。信息库建设包含信息库的数据组成、信息库的软件架构、信息库功能特色三个方面,对全面深化中国与中亚地区战略伙伴的关系、提升两... 详细信息

中、哈两国共建哈萨克草原文化旅游资源信息库,既是旅游市场发展的需求,也是经济贸易和科学技术的革新。信息库建设包含信息库的数据组成、信息库的软件架构、信息库功能特色三个方面,对全面深化中国与中亚地区战略伙伴的关系、提升两国旅游合作和旅游产业水平、促进各国经济文化发展具有重大现实意义和深远历史意义。

关键词：旅游资源信息化哈萨克草原文化丝绸之路经济带

来源：评论

学校读者我要写书评

暂无评论

混成系统形式化验证

引用

软件学报 2014年第2期25卷 219-233页

作者：卜磊解定宝南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

混成系统是实时嵌入式系统的一种重要子类,其行为中广泛存在离散控制逻辑跳转与连续实时行为交织混杂的情况,因此行为复杂,难以掌握与控制.由于此类系统广泛出现在工控、国防、交通等与国计民生密切相关的安全攸关的领域,因此,如何对相... 详细信息

混成系统是实时嵌入式系统的一种重要子类,其行为中广泛存在离散控制逻辑跳转与连续实时行为交织混杂的情况,因此行为复杂,难以掌握与控制.由于此类系统广泛出现在工控、国防、交通等与国计民生密切相关的安全攸关的领域,因此,如何对相关系统进行有效的分析与理解,从而保障系统安全运营,是一项具有重要意义的工作.常规的系统安全性分析手段,如测试、仿真等仅能在一定输入的情况下运行系统来观测系统行为,无法穷尽地检测复杂混成系统在所有可能输入下的行为,因此并不足以保证系统的安全性.区别于测试等方法,形式化方法通过求解系统模型状态取值范围等方法来确认系统模型中一定不会出现相关错误.因此,其对于保障安全攸关混成系统的安全性具有十分重要的意义.形式化方法由形式化规约与形式化验证两个方面构成.因此从以上两个角度分别对形式化规约方向上现有混成系统建模语言、关注性质以及形式化验证方向的混成系统模型检验、定理证明的现有主要技术与方法进行了综述性的回顾与总结.在此基础上,针对现阶段实时嵌入式系统复杂化、网络化的特性,对混成系统形式化验证的重要关注问题与研究方向进行了探索与讨论.

关键词：混成系统形式化方法模型检验定理证明

来源：评论

学校读者我要写书评

暂无评论

虚拟人“双簧”—与语音同步的三维人脸动画的研究

引用

计算机应用与软件 2015年第8期32卷 145-149,173页

作者：米辉辉侯进李克豹甘凌云西南交通大学信息科学与技术学院四川成都610031 南京大学计算机软件新技术国家重点实验室江苏南京210093

为了有效地合成人脸语音动画,提出一种与语音同步的三维人脸口型与表情动画合成的方法。首先,根据对人脸运动解剖学的研究,构建一个基于肌肉模型与微分几何学模型的三维人脸控制模型,通过数据结构的形式去控制肌肉模型和微分几何学模型... 详细信息

为了有效地合成人脸语音动画,提出一种与语音同步的三维人脸口型与表情动画合成的方法。首先,根据对人脸运动解剖学的研究,构建一个基于肌肉模型与微分几何学模型的三维人脸控制模型,通过数据结构的形式去控制肌肉模型和微分几何学模型实现人脸的运动,从而实现各种口型和表情运动的变化;然后,充分考虑汉语的发音特征,提出一种基于几何描述的并且符合汉语发音习惯的协同发音模型,从而产生逼真的三维人脸语音动画。仿真结果和实验对比表明,采用该方法可以得到符合汉语发音习惯的三维人脸口型动画,且合成的三维人脸表情较为自然,逼真。

关键词：肌肉模型微分几何学协同发音建模语音动画

来源：评论

学校读者我要写书评

暂无评论

三维虚拟人皮肤变形与塌陷部位的调整

引用

计算机应用与软件 2015年第9期32卷 184-187,205页

作者：黄永坤侯进戚福洲西南交通大学信息科学与技术学院四川成都610031 南京大学计算机软件新技术国家重点实验室江苏南京210093

针对线性混合蒙皮算法在虚拟人皮肤变形过程中容易产生皮肤塌陷的问题,在用该算法实现人体皮肤变形的基础上提出一种构造二次贝塞尔曲线的方法对塌陷部位进行调整。该方法首先根据模型自身的特点将模型分成不同的截面;其次,在塌陷部位... 详细信息

针对线性混合蒙皮算法在虚拟人皮肤变形过程中容易产生皮肤塌陷的问题,在用该算法实现人体皮肤变形的基础上提出一种构造二次贝塞尔曲线的方法对塌陷部位进行调整。该方法首先根据模型自身的特点将模型分成不同的截面;其次,在塌陷部位的截面边缘上选取包括两端点在内的三个皮肤顶点来构造二次贝塞尔曲线,以两端点作为该曲线的两个控点,再反求出第三个控点,通过移动第三个控点到达预设点坐标位置以形成新的曲线;最后,在新的贝塞尔曲线上选取与初始塌陷部位截面相同数量的皮肤顶点作为构造皮肤模型的新数据点。实验结果表明,该方法在解决关节部位皮肤塌陷问题方面有显著的效果。

关键词：虚拟人皮肤变形线性混合蒙皮贝塞尔曲线

来源：评论

学校读者我要写书评

暂无评论

无需字库的版式文档自适应移动阅读技术

引用

计算机应用与软件 2015年第10期32卷 86-89,119页

作者：王宁龚如宾潘金贵上海理工大学光电信息与计算机工程学院上海200090 南京大学计算机软件国家重点实验室江苏南京210093

随着移动终端的普及,数字书籍需要以屏幕自适应的方式在不同尺寸的移动终端上进行阅读。目前,图像格式的版式文档还无法直接以屏幕自适应的方式在移动终端上阅读,因而提出无需字库的版式文档屏幕自适应阅读技术。使用XML来表达图像格式... 详细信息

随着移动终端的普及,数字书籍需要以屏幕自适应的方式在不同尺寸的移动终端上进行阅读。目前,图像格式的版式文档还无法直接以屏幕自适应的方式在移动终端上阅读,因而提出无需字库的版式文档屏幕自适应阅读技术。使用XML来表达图像格式版式文档的页面几何结构﹑文档逻辑结构和可回流区域信息,以便阅读程序能够使用该信息来实现图像格式版式文档的屏幕自适应显示。针对目前版面分析﹑版面理解和文字切割等技术存在正确率的问题,提出使用交互式的纠正工具进行错误纠正。实验结果演示了本技术的有效性。

关键词：移动阅读技术版式文档屏幕自适应阅读 xml 数据格式

来源：评论

学校读者我要写书评

暂无评论

一种优化的闪存地址映射方法

引用

软件学报 2014年第2期25卷 314-325页

作者：张琦王林章张天邵子立计算机软件新技术国家重点实验室(南京大学) 江苏南京210046 香港理工大学计算系香港00853

近年来,NAND闪存广泛应用于各类嵌入式系统.由于"异地更新"的限制,闪存中需要地址映射方法将来自文件系统的逻辑地址转换为闪存中的物理地址.随着闪存存储空间的日益增长,如何使地址映射表占用较小的内存而又不损失较多性能,... 详细信息

近年来,NAND闪存广泛应用于各类嵌入式系统.由于"异地更新"的限制,闪存中需要地址映射方法将来自文件系统的逻辑地址转换为闪存中的物理地址.随着闪存存储空间的日益增长,如何使地址映射表占用较小的内存而又不损失较多性能,成为一个重要的问题.基于需求的页级地址映射方法能够有效地解决这个问题,然而该方法会产生地址转换页操作的额外开销,影响系统性能.从基于需求的地址映射方法出发,从两方面进行优化:首先,为了减少转换页的频繁更新,提出了页级地址映射缓存技术以统一在闪存和内存中的地址映射信息的粒度;其次,设计了基于地址转换页的数据聚集技术.通过该技术,每个数据块在垃圾回收时产生的地址转换页的更新开销被降至最低.实验用一系列基准数据集并与之前代表性的工作进行比较,结果表明,优化的地址映射方法能够大量减少额外地址转换页的开销,并提高闪存存储系统的性能.

关键词：闪存地址映射存储系统嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

一种面向非干扰的线程程序逻辑

引用

软件学报 2014年第6期25卷 1143-1153页

作者：李沁曾庆凯袁志祥安徽工业大学计算机学院安徽马鞍山243032 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

目前,针对线程信息流的验证研究主要着重于时间信道.然而,由于线程程序中线程控制原语存在函数副作用,对此类原语的不恰当调用亦可引起非法信息流,有意或无意地破坏程序的非干扰属性.因此,提出以验证线程程序信息流为目的依赖逻辑,其可... 详细信息

目前,针对线程信息流的验证研究主要着重于时间信道.然而,由于线程程序中线程控制原语存在函数副作用,对此类原语的不恰当调用亦可引起非法信息流,有意或无意地破坏程序的非干扰属性.因此,提出以验证线程程序信息流为目的依赖逻辑,其可表达线程程序的数据流、控制流以及线程控制函数的副作用,推理程序变量和线程标识符之间的依赖关系,进而判定是否存在高机密性变量对低机密性变量的干扰.

关键词：非干扰动态作用域线程公理语义

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：