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

软件学报 2015年第4期26卷 747-759页

作者：周宇黄延凯黄志球吴维刚南京航空航天大学计算机科学与技术学院江苏南京210016 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 中山大学信息科学与技术学院广东广州510006

一致性保障技术是开放环境下软件在线演化研究的热点问题.区别于传统的基于图文法或基于体系结构描述语言(architectural description language,简称ADL)对结构演化进行分析的途径,提出一种从行为角度采用层次式时间自动机对软件在线演... 详细信息

一致性保障技术是开放环境下软件在线演化研究的热点问题.区别于传统的基于图文法或基于体系结构描述语言(architectural description language,简称ADL)对结构演化进行分析的途径,提出一种从行为角度采用层次式时间自动机对软件在线演化进行分析的方法,可支持对软件的时间属性、层次特征等直接建模.提出了层次平展化算法,将层次模型等价地转化为若干并行时间自动机模型,从而可应用现有模型检测工具针对演化规约进行一致性验证,并通过实验验证了所提方法的有效性.

关键词：在线演化时间自动机一致性模型检验

来源：评论

学校读者我要写书评

暂无评论

小车远程控制及自主寻路系统的设计与实现

引用

计算机科学 2015年第12期42卷 98-101页

作者：李晓帆许畅南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

智能机器人可通过传感器获取周围的地形、温度等信息,并加以分析处理而采取对应策略。然而,机器人可能由于本身不具备定位功能而只能进行简单控制,也可能因为障碍物信息采样不足而导致避障算法失败。面对这一类问题,设计并实现了一套能... 详细信息

智能机器人可通过传感器获取周围的地形、温度等信息,并加以分析处理而采取对应策略。然而,机器人可能由于本身不具备定位功能而只能进行简单控制,也可能因为障碍物信息采样不足而导致避障算法失败。面对这一类问题,设计并实现了一套能对智能车进行远程控制并令其自主寻路的系统。该系统通过高效的图像处理与识别对智能车自动定位;对现有避障算法进行了改进,并建立了避让策略来保证智能车总能找到一条抵达目标的安全路径。实验结果表明,该系统定位精度较高,控制与寻路功能具有一定的可靠性与实用性。

关键词：远程控制自主寻路安卓平台

来源：评论

学校读者我要写书评

暂无评论

基于VMM的程序行为异常检测

引用

信息安全与通信保密 2016年第3期14卷 118-122页

作者：蒋传勇姚立红潘理上海交通大学电子信息与电气工程学院上海200240 上海市信息安全综合管理技术研究重点实验室上海200240 南京大学计算机软件新技术国家重点实验室江苏南京210093

虚拟机监视器(Virtual Machine Monitor,VMM)具有强隔离性、高透明性的特点,而程序行为具有稳定和易于检测的属性。提出了一种基于VMM的程序行为异常检测模型,该模型首先从VMM中捕获程序行为产生的底层数据,通过分析对进程行为视图重构... 详细信息

虚拟机监视器(Virtual Machine Monitor,VMM)具有强隔离性、高透明性的特点,而程序行为具有稳定和易于检测的属性。提出了一种基于VMM的程序行为异常检测模型,该模型首先从VMM中捕获程序行为产生的底层数据,通过分析对进程行为视图重构,然后结合防护检查点,采用基于C4.5决策树算法对所重构的程序行为视图数据进行动态综合分析和判定,以此检测异常并警告。最后基于QEMU对检测模型进行实现并分析,结果表明该模型能有效检测出程序的异常行为。

关键词：虚拟机监视器程序行为 C4.5决策树

来源：评论

学校读者我要写书评

暂无评论

一种面向PaaS的实例级应用动态更新技术

引用

计算机科学 2015年第12期42卷 60-64页

作者：张婕曹春余东亮南京大学计算机科学与技术系南京210023 南京大学计算机软件新技术国家重点实验室南京210023

云计算是当前信息技术的重要技术领域,而平台即服务(PaaS)已成为业界研究的热点之一。PaaS平台为用户提供高可用、高可扩展的应用开发、部署和运行环境。然而当部署到云端的应用需要不断更新以修复错误、增加功能时,当前主流PaaS平台却... 详细信息

云计算是当前信息技术的重要技术领域,而平台即服务(PaaS)已成为业界研究的热点之一。PaaS平台为用户提供高可用、高可扩展的应用开发、部署和运行环境。然而当部署到云端的应用需要不断更新以修复错误、增加功能时,当前主流PaaS平台却因缺乏对应用在线更新的有效支持而削弱了其自身的高可用特性。为解决该问题,提出一个面向PaaS平台的动态更新技术框架。基于现有软件动态更新技术的研究,通过对PaaS平台中应用的事务管理、动态依赖管理、版本管理等机制的扩展,为PaaS平台提供运行时实例级的应用动态更新支撑,并在Cloud Foundry上进行实现和实验,结果证明了该动态更新技术的有效性。

关键词： PaaS 动态更新 Cloud Foundry

来源：评论

学校读者我要写书评

暂无评论

联合梯度强度与方向信息的图像质量评价

引用

仪器仪表学报 2015年第12期36卷 2738-2746页

作者：崔子冠干宗良唐贵进刘峰朱秀昌南京邮电大学通信与信息工程学院南京210003 南京大学计算机软件新技术国家重点实验室南京210093 南京邮电大学教育科学与技术学院南京210003

为了进一步提高全参考图像质量评价(IQA)方法的准确性和高效性,基于人类视觉系统(HVS)的低层次视觉感知机理,在利用梯度强度信息的同时还巧妙地利用了梯度方向信息,更好地表达了图像局部结构信息的失真。在LIVE2图像数据库上的实验结果... 详细信息

为了进一步提高全参考图像质量评价(IQA)方法的准确性和高效性,基于人类视觉系统(HVS)的低层次视觉感知机理,在利用梯度强度信息的同时还巧妙地利用了梯度方向信息,更好地表达了图像局部结构信息的失真。在LIVE2图像数据库上的实验结果表明:对不同类型的图像失真,联合利用梯度强度与方向信息的全参考IQA方法相比之前著名的基于HVS以及仅利用梯度强度信息的IQA方法具有更高的预测单调性和准确性,而且计算复杂度更低。

关键词：图像质量评价人类视觉系统结构失真梯度信息

来源：评论

学校读者我要写书评

暂无评论

面向社交网络基于协作度协商的联盟形成机制

引用

湖南大学学报（自然科学版） 2015年第2期42卷 100-108页

作者：胡军张振兴邹立湖南大学信息科学与工程学院湖南长沙410082 湖南大学嵌入式与网络计算湖南省重点实验室湖南长沙410082 桂林电子科技大学广西可信软件重点实验室广西桂林541004 南京大学计算机软件新技术国家重点实验室江苏南京210093

分布式多Agent构成的社交网络通常表现出不同的特征,针对不同的社交网络和多Agent本身的异质性,提出了一种面向社交网络的基于协作度协商联盟形成机制.该机制依托多Agent构成的社交网络环境,建立面向分布式环境的分布式协商协议,并设计... 详细信息

分布式多Agent构成的社交网络通常表现出不同的特征,针对不同的社交网络和多Agent本身的异质性,提出了一种面向社交网络的基于协作度协商联盟形成机制.该机制依托多Agent构成的社交网络环境,建立面向分布式环境的分布式协商协议,并设计一种考虑到社交网络特征和Agent异质性的基于协作度的协商策略,采用分布式自动协商方式形成联盟.通过对全连通网络、层次网路和小世界网络的仿真实验结果表明,该机制能够有效地实现分布式环境下的联盟形成,并且在反应大多数实际应用环境的小世界社交网络中表现出相对较好的性能.

关键词：多Agent系统联盟形成分布式自动协商社交网络协作度

来源：评论

学校读者我要写书评

暂无评论

基于SparkR的分类算法并行化研究

引用

计算机科学与探索 2015年第11期9卷 1281-1294页

作者：刘志强顾荣袁春风黄宜华南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046 江苏省软件新技术与产业化协同创新中心南京210046

近几年来,大数据机器学习和数据挖掘并行化算法研究成为大数据领域一个较为重要的研究热点。Spark提供了一个称为Spark R的编程接口,方便一般应用领域的数据分析人员使用所熟悉的R语言在Spark平台上完成数据分析和计算。基于Spark R设... 详细信息

近几年来,大数据机器学习和数据挖掘并行化算法研究成为大数据领域一个较为重要的研究热点。Spark提供了一个称为Spark R的编程接口,方便一般应用领域的数据分析人员使用所熟悉的R语言在Spark平台上完成数据分析和计算。基于Spark R设计并实现了多种常用的并行化的机器学习分类算法,包括多项式贝叶斯分类算法、支持向量机(support vector machine,SVM)算法和Logistic Regression算法。对于SVM和Logistic Regression算法,在常规的并行化策略的基础上为了进一步提升训练速度,设计采用了并行化局部优化的迭代计算模式。实验结果表明,所设计实现的基于Spark R的并行化分类算法与Hadoop Map Reduce的方案相比,速度上提升了8倍左右。

关键词： SparkR 分类算法并行化局部迭代内存计算

来源：评论

学校读者我要写书评

暂无评论

基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究

引用

小型微型计算机系统 2015年第3期36卷 408-417页

作者：黄传林黄志球胡军徐丙凤曲长亮南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型... 详细信息

能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法;设计了一个基于AMMA平台的面向扩展Sys ML活动图的模型转换与验证框架;最后,给出了一个高铁控制系统设计模型的安全性验证的实例分析.

关键词：嵌入式系统安全性分析 SysML活动图 MARTE 模型转换形式化方法

来源：评论

学校读者我要写书评

暂无评论

直觉模糊逻辑的(α,β)-广义锁归结方法

引用

计算机科学与探索 2015年第8期9卷 1004-1009页

作者：邹丽刘迪郑宏亮辽宁师范大学计算机与信息技术学院辽宁大连116081 南京大学计算机软件新技术国家重点实验室南京210023

归结方法是定理自动证明的重要工具。为了简化直觉模糊命题逻辑的归结过程,基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(α,β)-可满足和(α,β)-归结式的概念。研究了广义子句与其归结式的可满足性。在直觉模糊命题逻辑系统中... 详细信息

归结方法是定理自动证明的重要工具。为了简化直觉模糊命题逻辑的归结过程,基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(α,β)-可满足和(α,β)-归结式的概念。研究了广义子句与其归结式的可满足性。在直觉模糊命题逻辑系统中给广义子句配锁,规定在做归结时各子句中被消去文字在该子句中的序号最小,由此建立了(α,β)-广义锁归结方法,并证明了该方法的可靠性和完备性。给出了直觉模糊逻辑的广义锁归结算法步骤,并通过实例说明了该方法的有效性。

关键词：自动推理直觉模糊逻辑 (α,β)-广义锁归结方法完备性定理

来源：评论

学校读者我要写书评

暂无评论

3D多尺度几何分析研究进展

引用

软件学报 2015年第5期26卷 1213-1236页

作者：宋传鸣赵长伟刘丹王相海辽宁师范大学计算机与信息技术学院辽宁大连116081 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 大连理工大学信息与通信工程学院辽宁大连116024

3D多尺度几何分析是图像、视频和几何模型等数字可视媒体处理的技术基础,其目的在于高效地表示这些媒体中存在的点、线、面奇异.为此,依据不同变换捕获奇异的能力演进及其非线性逼近效率的提高,从2D图像多尺度几何分析的研究进展切入,... 详细信息

3D多尺度几何分析是图像、视频和几何模型等数字可视媒体处理的技术基础,其目的在于高效地表示这些媒体中存在的点、线、面奇异.为此,依据不同变换捕获奇异的能力演进及其非线性逼近效率的提高,从2D图像多尺度几何分析的研究进展切入,着重阐述视频3D多尺度几何分析的发展,并将其归纳为3类:由2D基函数直接扩展的3D多尺度几何分析、基于3D基函数的3D多尺度几何分析和基于时空非局部相关性的3D多尺度几何分析,深入探讨了各种典型变换方法的主要思想、非线性逼近效率、计算复杂度、优势和不足.同时,概要介绍了数字几何模型的3D多尺度几何分析研究进展.在此基础上,对3D多尺度几何分析的未来发展趋势进行了展望.

关键词：多尺度几何分析稀疏表示综述视频图像几何模型

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：