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

传感器与微系统 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节点动态跟踪

来源：评论

学校读者我要写书评

暂无评论

一种基于上下文的医学图像ROI分类方法

引用

模式识别与人工智能 2014年第12期27卷 1057-1064页

作者：郭乔进李宁谢俊元南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

感兴趣区域(ROI)的分类是医学图像的计算机辅助诊断过程的最后一步,传统方法只针对每个ROI区域单独提取特征,再利用统计学习的方法训练分类器进行分类.然而图像中每个区域所包含的视觉特征有限,很难进行准确的分类.文中提出一种基于LDA... 详细信息

感兴趣区域(ROI)的分类是医学图像的计算机辅助诊断过程的最后一步,传统方法只针对每个ROI区域单独提取特征,再利用统计学习的方法训练分类器进行分类.然而图像中每个区域所包含的视觉特征有限,很难进行准确的分类.文中提出一种基于LDA主题模型的改进模型(LDAC),考虑ROI周围区域,即图像的上下文关系,通过利用LDA对ROI周围区域所包含的上下文信息进行建模,同时结合ROI区域的视觉信息和类别标签,从而辅助ROI区域的分类,以达到提高分类准确率的目的.乳腺图像肿块分类实验表明,文中方法可提高分类的准确性.

关键词：感兴趣区域(ROI)分类上下文隐层狄利克雷分配(LDA) 医学图像

来源：评论

学校读者我要写书评

暂无评论

基于量子精英蛙的最小属性自适应合作型协同约简算法

引用

计算机研究与发展 2014年第4期51卷 743-753页

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

属性约简是粗糙集理论研究的重要内容之一,现已证明求决策表的最小属性约简是一个典型NP-Hard问题.提出一种基于量子精英蛙的最小属性自适应合作型协同约简算法.该算法首先将进化蛙群编码为多状态量子染色体形式,利用量子精英蛙快速引... 详细信息

属性约简是粗糙集理论研究的重要内容之一,现已证明求决策表的最小属性约简是一个典型NP-Hard问题.提出一种基于量子精英蛙的最小属性自适应合作型协同约简算法.该算法首先将进化蛙群编码为多状态量子染色体形式,利用量子精英蛙快速引导进化蛙群进入最优化区域寻优,有效增强进化蛙群的收敛速度和全局搜索能力.然后构建一种自适应合作型协同进化的最小属性约简模型,融合蛙群最优执行经验和分配信任度自适应分割属性约简集,并以模因组内最优精英蛙优化各自选择的属性子集,提高属性约简的协同性和高效性,快速找到全局最小属性约简集.实验研究表明提出的算法在搜索最小属性约简解时具有较高的执行效率和精度.

关键词：最小属性约简量子精英蛙合作型协同进化自适应分割最优执行经验分配信任度

来源：评论

学校读者我要写书评

暂无评论

多模型融合的多标签图像自动标注

引用

计算机辅助设计与图形学学报 2014年第3期26卷 472-478页

作者：张静胡微微陈志华袁玉波华东理工大学计算机科学与工程系上海200237 南京大学计算机软件新技术国家重点实验室南京210093

为了实现更为准确的复杂语义内容图像理解,提出一种融合多模型的多标签图像自动标注方法.该方法采用3个不同的模型分别对图像语义内容进行分析:在前景语义概念检测中,提出一种基于多特征的视觉显著性分析方法,并利用多Nystrm近似核对... 详细信息

为了实现更为准确的复杂语义内容图像理解,提出一种融合多模型的多标签图像自动标注方法.该方法采用3个不同的模型分别对图像语义内容进行分析:在前景语义概念检测中,提出一种基于多特征的视觉显著性分析方法,并利用多Nystrm近似核对前景对象的语义进行判别分析;对于背景概念检测,提出一种区域语义分析的方法;通过构造基于潜语义分析的语义相关矩阵来消除标注错误的标签.根据前景和背景的语义和视觉特征,分别采用不同的模型提取前景和背景标注词,而语义相关分析能够有效地提高标注的准确性.实验结果表明,该多模型融合标注方法在图像的深层语义分析以及多标签标注方面具有较好的效果;与同类算法相比,能够有效地减少错误标注的标签数目,得到更加准确的标注结果.

关键词：图像标注多模型 MNKDA 区域语义分析语义相关分析

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

融合语义特征的移动对象轨迹预测方法

引用

计算机研究与发展 2014年第1期51卷 76-87页

作者：黄健斌张盼盼皇甫学军孙鹤立西安电子科技大学软件学院西安710071 计算机软件新技术国家重点实验室(南京大学) 南京210023 西安交通大学计算机科学与技术系西安710049

提出一种融合语义特征的移动对象轨迹预测方法．该方法首先将用户的地理位置轨迹转化成语义轨迹，挖掘出语义模式集，同时在语义轨迹中分析用户的移动行为和规律，将具有相似语义行为的用户进行聚类，并挖掘出每个聚类的地理模式集．然... 详细信息

提出一种融合语义特征的移动对象轨迹预测方法．该方法首先将用户的地理位置轨迹转化成语义轨迹，挖掘出语义模式集，同时在语义轨迹中分析用户的移动行为和规律，将具有相似语义行为的用户进行聚类，并挖掘出每个聚类的地理模式集．然后，基于挖掘到的用户个体语义模式集和相似用户地理模式集，构造用来索引和局部匹配的模式树STP-Tree和SLP-Tree．通过对STP-Tree和SLP-Tree的索引和局部匹配，引入一个加权函数实现给定对象运动的语义位置预测．此方法在传统的地理模式预测方法的基础上融合语义特征，可以有效地提取用户的语义活动行为，克服地理位置点特征的局限．在大量真实和人工轨迹数据集上的实验结果表明：该方法的预测准确率较传统方法均有显著提高．

关键词：轨迹预测模式挖掘语义特征移动对象模式树

来源：评论

学校读者我要写书评

暂无评论

一个移动应用个性化集成框架的研究及其在Android平台的实现

引用

计算机科学 2014年第11期41卷 63-68页

作者：张栋栋徐锋南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

随着互联网和智能手机的日益普及,移动应用数量呈现爆炸式增长,海量的移动应用既是机遇也是挑战。从开发者角度看,基于大量的已有移动应用快捷构造新的移动应用成为了可能,但当前大部分的开发工具对移动应用集成的支持仅停留在应用编程... 详细信息

随着互联网和智能手机的日益普及,移动应用数量呈现爆炸式增长,海量的移动应用既是机遇也是挑战。从开发者角度看,基于大量的已有移动应用快捷构造新的移动应用成为了可能,但当前大部分的开发工具对移动应用集成的支持仅停留在应用编程接口和底层运行机制上,尚未出现更高层次的面向执行流程的集成支持;从用户角度看,从众多移动应用中选择符合自己个性化需求的应用成为了可能,但目前大量的移动应用推荐系统集中在单个应用的个性化推荐问题上,未见面向用户个性化需求的移动应用执行序列推荐方法。为此,提出一个移动应用个性化集成框架,主要包括:1)定义了一套意图流程描述执行语言,以便开发者从更为自然的执行流程角度完成新移动应用的构造;2)给出了一个移动应用序列偏好度预测算法,用于解决移动应用执行序列的个性化推荐问题。在当前典型的移动应用平台Android上,实现了相应的移动应用个性化集成开发工具和运行支撑机制,并通过实例初步验证了上述方法的合理性。

关键词：移动应用集成框架序列推荐

来源：评论

学校读者我要写书评

暂无评论

分布式嵌入式系统的自适应能耗管理和分析

引用

软件学报 2014年第2期25卷 419-438页

作者：范贵生虞慧群陈丽琼刘冬梅华东理工大学计算机科学与工程系上海200237 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 上海应用技术学院计算机科学与信息工程系上海200235

以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系... 详细信息

以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系统的基本组件进行建模,根据组件间关系形成能耗模型,以刻画系统的执行流程和能耗属性.最后,利用CTL描述系统性质,并借助Petri网的操作语义来验证方法的正确性和有效性.具体实例应用及实验结果表明:该方法能够有效地降低分布式实时系统的能耗,正确描述能耗自适应调整过程,简化建模和分析过程,对开发具有低能耗DES具有重要的理论意义和实用价值.

关键词：分布式嵌入式系统多Agent 能耗自适应 Petri网

来源：评论

学校读者我要写书评

暂无评论

一种基于AADL的IMA系统配置信息的正确性检测方法

引用

南京航空航天大学学报 2014年第6期46卷 920-930页

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

综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC65... 详细信息

综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。

关键词：软件可靠性测试综合模块化航电系统 ARINC653配置信息 AADL REAL OSATE

来源：评论

学校读者我要写书评

暂无评论

一种面向信息物理融合系统安全攸关场景的测试用例自动生成方法

引用

计算机科学 2014年第11期41卷 124-127,161页

作者：姜鹏陈鑫李宣东南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

对信息物理融合系统中的安全攸关场景进行有效的测试是提高系统安全性的重要手段。如何对安全攸关场景进行建模以完整准确地刻画系统行为,如何有效地生成测试用例以提高测试覆盖度、降低测试成本,是面向安全场景测试技术需要解决的核心... 详细信息

对信息物理融合系统中的安全攸关场景进行有效的测试是提高系统安全性的重要手段。如何对安全攸关场景进行建模以完整准确地刻画系统行为,如何有效地生成测试用例以提高测试覆盖度、降低测试成本,是面向安全场景测试技术需要解决的核心技术问题。现有的场景建模与测试用例生成技术缺少对信息物理融合系统重要特性的描述和处理,其生成的测试用例不能满足系统安全攸关场景的测试需求。围绕信息物理融合系统的安全攸关场景建模以及测试用例自动生成方法展开研究,为UML活动图扩充了外部事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要;并研究了基于场景模型自动生成测试用例的方法。

关键词：信息物理融合系统安全攸关场景测试用例自动生成

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：