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

计算机科学 2017年第11期44卷 98-103页

作者：徐同同刘曲涛郑晓梅潘敏学张天南京大学计算机软件新技术国家重点实验室南京210023 南京中医药大学信息技术学院南京210023

多平台开发是移动应用软件开发的一个重要特点,同时还具有版本演化快和开发周期短的要求,这给移动开发带来了巨大的挑战。由于目前主流的移动平台大多采用MVC架构模式,并且在开发上体现出了UI驱动和事件驱动的特点,因此不同平台(如iOS和... 详细信息

多平台开发是移动应用软件开发的一个重要特点,同时还具有版本演化快和开发周期短的要求,这给移动开发带来了巨大的挑战。由于目前主流的移动平台大多采用MVC架构模式,并且在开发上体现出了UI驱动和事件驱动的特点,因此不同平台(如iOS和Android等)之间的UI控件具有较强的对应性,这给移动应用的开发人员在多平台开发时提供了重要的参考。提出了一种基于文档来理解不同平台之间UI控件对应性的方法,该方法以iOS和Android两种移动平台为研究对象,通过自然语言处理技术来分析从官方文档中抓取的UI控件描述文字,基于空间向量模型计算控件之间的相似度,并针对移动应用的特点设计了同义词集来保证匹配的准确性。基于所提方法,对iOS和Android平台上的典型UI控件进行了具体实验,结果表明,在单控件对应性方面,该方法能找到大部分的控件对应性,具有较高的准确度。

关键词：自然语言处理移动开发 UI控件

来源：评论

学校读者我要写书评

暂无评论

基于一般化斜投影的异策略时序差分学习算法

引用

南京大学学报（自然科学版） 2017年第6期53卷 1052-1062页

作者：吴毓双陈筱语马静雯陈兴国南京邮电大学贝尔英才学院南京210023 南京邮电大学计算机学院南京210023 南京大学计算机软件新技术国家重点实验室南京210023

在强化学习的值函数线性估计问题中,时序差分不动点解和贝尔曼残差的方法都是对真实值函数的斜投影,然而这两种解经证明都不是最优解.通过对两种投影进行加权平均,提出了一种一般化的斜投影算子.基于此推导出两种残差时序差分学习算法,... 详细信息

在强化学习的值函数线性估计问题中,时序差分不动点解和贝尔曼残差的方法都是对真实值函数的斜投影,然而这两种解经证明都不是最优解.通过对两种投影进行加权平均,提出了一种一般化的斜投影算子.基于此推导出两种残差时序差分学习算法,并给出了这两种算法在异策略下的收敛性证明.在著名的Baird的异策略反例实验上,与相关算法进行了对比,实验结果验证了所提算法的正确性和有效性.

关键词：强化学习线性函数估计斜投影异策略时序差分学习

来源：评论

学校读者我要写书评

暂无评论

顶点带属性网络链接预测的参数选择方法

引用

小型微型计算机系统 2017年第6期38卷 1278-1283页

作者：姜卯生葛剑飞陈崚扬州大学信息工程学院江苏扬州225127 南京大学软件新技术国家重点实验室南京210093

链接预测问题在社会学、人类学、信息科学以及计算机科学等各个领域都受到了广泛的关注.在基于相似度的链接预测的方法中,Katz指标是一种重要的顶点相似度指标.鉴于Katz指标中参数的可选择性,提出了一种基于参数选择的顶点带属性网络的... 详细信息

链接预测问题在社会学、人类学、信息科学以及计算机科学等各个领域都受到了广泛的关注.在基于相似度的链接预测的方法中,Katz指标是一种重要的顶点相似度指标.鉴于Katz指标中参数的可选择性,提出了一种基于参数选择的顶点带属性网络的链接预测算法.Katz相似度指标是基于路径相似性链接预测结果评价指标,Katz相似度指标中参数的取值会直接影响到Katz指标预测的结果.由于顶点带属性网络含属性和拓扑双重信息,算法思想是结合顶点属性信息进行参数选择,可以通过调节Katz相似度指标中参数的值,使Katz相似度尽可能和属性相似度靠近,将顶点属性相似度信息融入Katz相似度之中,以期达到属性信息和结构信息的有机融合.实验结果证明了该算法可以得到较高质量的预测结果.

关键词：链接预测复杂网络参数选择顶点属性

来源：评论

学校读者我要写书评

暂无评论

基于空间映射的顶点带属性网络的链接预测

引用

计算机科学 2017年第7期44卷 257-261页

作者：姜卯生葛剑飞陈崚扬州大学信息工程学院扬州225127 南京大学软件新技术国家重点实验室南京210093

提出了基于空间映射的顶点带属性网络的链接预测算法。顶点带属性网络包含拓扑及顶点属性两种信息,为了综合考虑这两种信息,将二者同时映射到另一空间。完成空间映射后,在新的空间计算顶点的相似度,并以此来预测链接存在的可能性。提出... 详细信息

提出了基于空间映射的顶点带属性网络的链接预测算法。顶点带属性网络包含拓扑及顶点属性两种信息,为了综合考虑这两种信息,将二者同时映射到另一空间。完成空间映射后,在新的空间计算顶点的相似度,并以此来预测链接存在的可能性。提出分步交叉迭代的方法来取得最优的映射矩阵,以在新的空间中有效融合拓扑信息与顶点属性信息。实验结果证明了空间映射方法的正确性,所提出的基于空间映射的方法能够取得较高质量的预测结果。

关键词：空间映射链接预测复杂网络顶点属性

来源：评论

学校读者我要写书评

暂无评论

采用可编程逻辑控制器的大型物体三维扫描重建

引用

光学精密工程 2017年第4期25卷 1044-1050页

作者：白素琴史金龙钱强王直江苏科技大学电气与信息工程学院江苏张家港215600 江苏科技大学计算机科学与工程学院江苏镇江212003 南京大学计算机软件新技术国家重点实验室江苏南京210023

本文提出了一种新颖且实用的三维重建系统,以获取大型物体的三维数据。文中对该系统的组成以及所采用的方法和原理进行了研究。该系统由一个基于红外的三维扫描仪、两个导轨和一个基于PLC(可编程逻辑控制器)模块的高精度运动控制系统组... 详细信息

本文提出了一种新颖且实用的三维重建系统,以获取大型物体的三维数据。文中对该系统的组成以及所采用的方法和原理进行了研究。该系统由一个基于红外的三维扫描仪、两个导轨和一个基于PLC(可编程逻辑控制器)模块的高精度运动控制系统组成。运动控制系统控制安装在导轨上的三维扫描仪做匀速运动;三维扫描仪向物体投射红外线,并重建物体上所投射的红外线段;接着,系统根据三维扫描仪的运动速度,拼接局部重建数据,最终获得大型物体完整的三维重建数据。实验结果表明:与基于激光测距拼接的方法相比,该方法的测量速度约提高了7倍,测量精度约提高了2.5倍。基本满足工业生产中大型物体自动三维重建的稳定可靠、精度高、速度快等要求。

关键词：大型扫描三维重建测量

来源：评论

学校读者我要写书评

暂无评论

VSOS-HAM:基于Isabelle/HOL的OS内核硬件抽象模型和形式化验证方法研究

引用

南京大学学报（自然科学版） 2017年第3期53卷 577-578页

作者：钱振江黄皓宋方敏常熟理工学院计算机科学与工程学院苏州215500 南京大学软件新技术国家重点实验室南京210023

形式化方法是保证操作系统设计和实现的正确性的可靠方法.操作系统的形式化设计和验证过程仍然是一个极其复杂的过程.由于汇编语言过于底层,对其进行形式化验证的难度较大,如何有效地对汇编语言代码进行建模,便于对其语义和功效的正确... 详细信息

形式化方法是保证操作系统设计和实现的正确性的可靠方法.操作系统的形式化设计和验证过程仍然是一个极其复杂的过程.由于汇编语言过于底层,对其进行形式化验证的难度较大,如何有效地对汇编语言代码进行建模,便于对其语义和功效的正确性进行验证成为操作系统形式化领域的研究热点.在汇编级提出对操作系统的设计和实现的正确性进行形式化验证的方法.通过建立操作系统内核硬件抽象模型,形式化地描述指令的操作语义,在此内核硬件抽象模型的基础上界定影响系统状态变化的数据对象,建立系统状态空间,结合指令的操作语义的定义来描述系统的状态转换函数.在Isabelle/HOL定理证明器环境中描述该内核硬件抽象模型,以实现的可信操作系统VSOS为例,在汇编级对系统设计和实现的正确性进行验证.结果表明,该方法是可行的和高效的.

关键词：操作系统内核硬件抽象模型形式化验证 Isabelle/HOL 定理证明

来源：评论

学校读者我要写书评

暂无评论

认知无线AdHoc网络干扰约束和能量高效路由算法

引用

计算机工程与应用 2017年第17期53卷 112-116页

作者：刘立军花丽周爱平泰州学院计算机科学与技术学院江苏泰州225300 软件新技术国家重点实验室(南京大学) 南京210023

为了减少认知无线Ad Hoc网络的传输中断概率,实现频谱和能量高效,提出一种干扰约束和能量高效(Interference Constraints and Energy-Efficient,ICEE)的路由算法。信道检测除了基于认知节点(Cognitive Radio,CR)对主用户(Primary Users,PU)的干扰约束外,还增加了CR节点的数据传输所需持续时间约束,以保证CR节点在有效利用空闲信道的同时减少传输中断事件的发生,减少故障重传所损耗的能量。在设计路由算法时采用了链路能耗和节点寿命作为度量,通过联合最优的链路选择方程实现网络能量高效,并延长网络的生命周期。实验仿真结果表明,相比较认知Ad hoc网络的自适应路由协议,基于联合信道分配和自适应功率控制的路由协议,ICEE算法在数据包平均能耗上分别减少了41.2%和24.5%,并且有效地延长了网络生命周期。

关键词：认知无线AdHoc网络干扰约束能量高效传输中断概率

来源：评论

学校读者我要写书评

暂无评论

一种基于Kalman滤波和粒子群优化的测试数据生成方法

引用

电子学报 2017年第10期45卷 2473-2483页

作者：薛猛姜淑娟张争光钱俊彦张艳梅曹鹤玲中国矿业大学计算机科学与技术学院江苏徐州221116 桂林电子科技大学广西可信软件重点实验室广西桂林541004 南京大学计算机软件新技术国家重点实验室江苏南京210093 河南工业大学信息科学与工程学院河南郑州450001

为减少进化代数,提高路径覆盖成功率,提出了多邻域Kalman滤波PSO测试数据生成方法.在该方法中将粒子固定划分到不同邻域中,各邻域内指定一个粒子向全局最优粒子学习,其余各粒子向所在邻域中最优粒子学习,而全局最优粒子利用无速度项的简... 详细信息

为减少进化代数,提高路径覆盖成功率,提出了多邻域Kalman滤波PSO测试数据生成方法.在该方法中将粒子固定划分到不同邻域中,各邻域内指定一个粒子向全局最优粒子学习,其余各粒子向所在邻域中最优粒子学习,而全局最优粒子利用无速度项的简化PSO进化.在此过程中,除全局最优粒子外的各粒子利用Kalman滤波方程更新粒子的位置.实验表明,相较于基本PSO和其他PSO方法,即使是覆盖困难的路径,本文方法也具有进化代数少、路径覆盖成功率高及性能稳定的特点.

关键词：测试数据生成粒子群优化 Kalman滤波邻域拓扑

来源：评论

学校读者我要写书评

暂无评论

基于内容的图像分割方法综述

引用

软件学报 2017年第1期28卷 160-183页

作者：姜枫顾庆郝慧珍李娜郭延文陈道蓄计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京理工大学泰州科技学院移动互联网学院江苏泰州225300 南京工程学院通信工程系江苏南京211167

图像分割是指将图像分成若干具有相似性质的区域的过程,是许多图像处理任务的预处理步骤.近年来,国内外学者主要研究基于图像内容的分割算法.在广泛调研大量文献和最新成果的基础上,将图像分割算法分为基于图论的方法、基于像素聚类的... 详细信息

图像分割是指将图像分成若干具有相似性质的区域的过程,是许多图像处理任务的预处理步骤.近年来,国内外学者主要研究基于图像内容的分割算法.在广泛调研大量文献和最新成果的基础上,将图像分割算法分为基于图论的方法、基于像素聚类的方法和语义分割方法这3种类型并分别加以介绍.对每类方法所包含的典型算法,尤其是最近几年利用深度网络技术的语义图像分割方法的基本思想、优缺点进行了分析、对比和总结.介绍了图像分割常用的基准数据集和算法评价标准,并用实验对各种图像分割算法进行对比.最后进行总结,并对未来可能的发展趋势加以展望.

关键词：图像分割图论聚类语义分割深度神经网络

来源：评论

学校读者我要写书评

暂无评论

设备自动巡检控制逻辑的层级时间自动机建模与验证

引用

计算机科学 2017年第4期44卷 66-71,78页

作者：孙程邢建春杨启亮韩德帅解放军理工大学国防工程学院南京210007 计算机软件新技术国家重点实验室南京大学南京210093

地下建筑工程中的设备系统经常处于静止状态,为保证其在需要时能安全可靠地运行,需对设备进行定期的自动巡检。在自动巡检的过程中,设备自动巡检控制逻辑起到了举足轻重的作用。为了解决复杂的设备自动巡检控制逻辑造成的一系列问题,之... 详细信息

地下建筑工程中的设备系统经常处于静止状态,为保证其在需要时能安全可靠地运行,需对设备进行定期的自动巡检。在自动巡检的过程中,设备自动巡检控制逻辑起到了举足轻重的作用。为了解决复杂的设备自动巡检控制逻辑造成的一系列问题,之前提出了一种层级有限自动机(HFA)的形式化模型,并利用HFA对设备自动巡检控制逻辑实现了行为建模,但并未添加时间属性,也未验证其正确性与可靠性。现提出一种层级时间自动机形式化模型,并利用它对设备自动巡检控制逻辑进行建模,再利用UPPAAL对其进行分析与形式化验证,分别验证其安全性、可达性、活性及时间约束,以此来确保其时效正确性与可靠性。这种建模与形式化验证方法弥补了之前无时间约束的漏洞,有效确保了设备自动巡检控制逻辑的正确性与可靠性。最终,该模型通过了模拟和验证,这充分证明了设备自动巡检控制逻辑是正确可靠的。

关键词：自动巡检层级时间自动机 UPPAAL 模型检测

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：