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

物理学报 2015年第2期64卷 1-11页

作者：苏晓萍宋玉蓉南京工业职业技术学院计算机与软件学院南京210046 南京邮电大学自动化学院南京210003

识别复杂网络中的关键节点对网络结构优化和鲁棒性增强具有十分重要的意义.经典的关键节点测量方法在一定程度上能够辨识网络中影响力节点,但存在一定局限性:局部中心性测量方法仅考虑节点邻居的数目,忽略了邻居间的拓扑关系,不能在计... 详细信息

识别复杂网络中的关键节点对网络结构优化和鲁棒性增强具有十分重要的意义.经典的关键节点测量方法在一定程度上能够辨识网络中影响力节点,但存在一定局限性:局部中心性测量方法仅考虑节点邻居的数目,忽略了邻居间的拓扑关系,不能在计算中反映邻居节点间的相互作用;全局测量方法则由于算法本身的复杂性而不能应用于大规模社会网络的分析,另外,经典的关键节点测量方法也没有考虑社会网络特有的社区特征.为高效、准确地辨识具有社区结构的社会网络中最具影响力节点,提出了一种基于节点及其邻域结构洞的局部中心性测量方法,该方法综合考虑了节点的邻居数量及其与邻居间的拓扑结构,在节点约束系数的计算中同时体现了节点的度属性和"桥接"属性.利用SIR(易感-感染-免疫)模型在真实社会网络数据上对节点传播能力进行评价后发现,所提方法可以准确地评价节点的传播能力且具有强的鲁棒性.

关键词：复杂网络结构洞社团结构节点中心性测量

来源：评论

学校读者我要写书评

暂无评论

XML路由技术在分布式虚拟环境中的应用

引用

计算机辅助设计与图形学学报 2007年第9期19卷 1223-1228页

作者：陈继明贝佳鞠时光潘金贵江苏大学计算机科学与通信工程学院南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件新技术国家重点实验室

在对XML路由技术进行研究和分析的基础上,提出一种基于XML路由的分布式虚拟环境系统构建方法.该方法将XML路由技术与主动兴趣管理相结合,采用双向共享组播树作为通信拓扑结构,根据发布-订购模式实现了数据包的主动过滤和转发.不仅减少... 详细信息

在对XML路由技术进行研究和分析的基础上,提出一种基于XML路由的分布式虚拟环境系统构建方法.该方法将XML路由技术与主动兴趣管理相结合,采用双向共享组播树作为通信拓扑结构,根据发布-订购模式实现了数据包的主动过滤和转发.不仅减少系统的网络通信量,而且可以快速、动态地改变通信关系,有效地提高了分布式虚拟环境的可扩展性.最后通过原型系统的实现验证了该方法的可行性和有效性.

关键词：分布式虚拟环境 XML路由主动兴趣管理发布-订购模式主动过滤

来源：评论

学校读者我要写书评

暂无评论

随机模型检验研究

引用

计算机学报 2015年第11期38卷 2145-2162页

作者：刘阳李宣东马艳王林章南京大学计算机软件新技术国家重点实验室南京210093 新加坡国立大学计算学院计算机科学系新加坡117417 南京航空航天大学计算机科学与技术学院南京210016

随机模型检验作为模型检验理论的延伸和推广,可用于验证分析系统模型的定性或定量性质,其已经应用到随机分布式算法验证、通信协议性能分析甚至是系统生物学等跨学科领域.从20世纪90年代末至今,随机模型检验引起了形式验证等领域的广泛... 详细信息

随机模型检验作为模型检验理论的延伸和推广,可用于验证分析系统模型的定性或定量性质,其已经应用到随机分布式算法验证、通信协议性能分析甚至是系统生物学等跨学科领域.从20世纪90年代末至今,随机模型检验引起了形式验证等领域的广泛关注,并取得了很大的进展.该文追溯了随机模型检验的渊源,系统地概括了其最基本的原理及几类典型的PCTL、概率的LTL、PCTL*和CSL模型检验随机系统的算法框架.然后归纳总结了随机模型检验的主要研究方向及其进展,分析了基于随机模型检验的验证过程及其优势与劣势,并分类列出了目前出现的随机模型检验工具.最后介绍了随机模型检验的应用领域并指出了其未来的应用挑战.

关键词：形式验证马尔可夫随机过程随机模型检验定量分析

来源：评论

学校读者我要写书评

暂无评论

人类面部属性估计研究:综述

引用

软件学报 2019年第7期30卷 2188-2207页

作者：曹猛田青马廷淮陈松灿南京信息工程大学计算机与软件学院江苏南京210044 南京航空航天大学计算机科学与技术学院江苏南京210016

近年来,人脸属性估计因其广泛的应用而得到了大量的关注和研究,并且很多估计方法被提了出来。主要对现有相关工作进行归纳总结,为研究者提供相关参考。首先,根据是否考虑人脸性别、年龄、人种等不同属性间的内在关联,将现有的人脸面部... 详细信息

近年来,人脸属性估计因其广泛的应用而得到了大量的关注和研究,并且很多估计方法被提了出来。主要对现有相关工作进行归纳总结,为研究者提供相关参考。首先,根据是否考虑人脸性别、年龄、人种等不同属性间的内在关联,将现有的人脸面部属性研究方法划分成朴素的研究方法和自然的研究方法这两大类进行总结介绍。然后,从单一人脸数据库标记不完备、现有方法未能完备利用多属性联合估计、现有方法未能很好地利用各面部属性间关系这3个方面阐述当前方法的不足。最后,给出关于人脸面部属性估计进一步的研究方向。

关键词：面部属性估计人脸面部估计年龄估计性别判别人种识别多属性联合估计

来源：评论

学校读者我要写书评

暂无评论

PCRAM损耗均衡研究综述

引用

计算机学报 2018年第10期41卷 2295-2317页

作者：何炎祥陈木朝李清安何静沈凡凡帅子琦徐超武汉大学计算机学院武汉430072 广东交通职业技术学院信息管理中心广州510650 肯尼索州立大学计算机科学系玛丽埃塔美国30060 南京审计大学工学院南京210029

随着半导体工艺的高速发展,计算机系统中处理器与主存之间性能差距的不断增大,传统存储器件的集成度已接近极限,能耗问题也日益突出,当前传统的主存技术面临挑战.相变随机存储器(PCRAM)具有集成度高、功耗低、非易失、字节级编址等优良... 详细信息

随着半导体工艺的高速发展,计算机系统中处理器与主存之间性能差距的不断增大,传统存储器件的集成度已接近极限,能耗问题也日益突出,当前传统的主存技术面临挑战.相变随机存储器(PCRAM)具有集成度高、功耗低、非易失、字节级编址等优良特性,是最有发展潜力的、最有可能完全取代DRAM主存的非易失性存储器之一.首先介绍了PCRAM的发展与应用现状,指出T型结构是当前学术界和产业界广泛采用的器件结构,目前已经有PCRAM产品逐步开始量产并投入商业应用.然后,介绍了PCRAM当前面临的挑战,指出PCRAM面临的写耐久性局限是限制期发展与应用的主要障碍之一,分布不均匀的写操作会使PCRAM快速失效.接着,从硬件辅助和软件辅助两个角度分别介绍了当前研究人员所提出的一些具有代表性的PCRAM损耗均衡技术,在分析和归纳当前研究现状的基础上,指出了现有方案的优点和亟待完善之处.最后,展望了未来PCRAM损耗均衡技术的研究方向,为该领域今后的发展提供参考.

关键词：相变随机存储器非易失存储器损耗均衡硬件辅助软件辅助

来源：评论

学校读者我要写书评

暂无评论

一种基于改进CRNN的轻量化乐谱识别方法

引用

电子学报 2023年第11期51卷 3167-3175页

作者：蒋凌云鞠金恒徐佳肖甫南京邮电大学计算机学院、软件学院、网络空间安全学院江苏南京210003

基于深度学习的乐谱识别方法提高了识别精度,但存在模型训练单次迭代耗时长、总迭代轮数多的问题.本文提出了一种改进卷积循环神经网络的轻量化乐谱识别方法CRNN-lite(lightweight Convolutional Recurrent Neural Networks),该方法在... 详细信息

基于深度学习的乐谱识别方法提高了识别精度,但存在模型训练单次迭代耗时长、总迭代轮数多的问题.本文提出了一种改进卷积循环神经网络的轻量化乐谱识别方法CRNN-lite(lightweight Convolutional Recurrent Neural Networks),该方法在卷积层引入残差式深度可分离卷积,减少计算量并加速特征图的提取;在循环层使用双向简单循环单元,采用并行计算避免了串行计算的强依赖问题;在转录层调节交叉熵函数参数,针对性地学习不均衡样本数据.实验结果表明,该方法提高训练速度,单次迭代耗时为基准网络的43%,在失真图像数据上符号错误率为1.12%,序列错误率为14.5%,错误率指标均优于对比方案.

关键词：光学乐谱识别序列识别卷积循环神经网络深度可分离卷积简单循环单元不均衡样本学习

来源：评论

学校读者我要写书评

暂无评论

一种经验库制导的浮点程序优化加速策略

引用

计算机学报 2022年第9期45卷 2014-2028页

作者：肖安祥张硕骁汤恩义陈鑫王林章南京大学计算机软件新技术国家重点实验室南京210023 南京大学软件学院南京210093

为了保障数值程序的准确与高效,浮点程序自动优化成为了近年来学术界关注的一项新兴技术.该技术的核心思想是将经典的数值分析理论总结成程序转换规则,并利用规则将浮点程序以计算过程更为稳定的算法进行自动重写,从而使数值程序稳定高... 详细信息

为了保障数值程序的准确与高效,浮点程序自动优化成为了近年来学术界关注的一项新兴技术.该技术的核心思想是将经典的数值分析理论总结成程序转换规则,并利用规则将浮点程序以计算过程更为稳定的算法进行自动重写,从而使数值程序稳定高效且易于维护.然而,现有浮点程序自动优化方法的优化效率是其主要瓶颈.随着越来越多的数值程序转换规则被发现与总结,自动优化框架的规则库会越来越大,传统优化方法在规则库中遍历所有优化规则的过程也变得越来越困难.本文提出了一种经验库制导的浮点程序优化加速策略,该策略基于浮点误差成因的相似性原理,将已成功优化浮点程序对应的符号与结构特征抽取出来,并以散列的方式将优化该程序涉及到的规则序列保存在一个优化经验库中.当新的浮点数值程序需要进行自动优化时,本文算法首先计算其符号结构特征与经验库中各记录的相似度.符号结构相似度较高的记录所对应的规则序列会被优先用于浮点程序重写,从而得到优化程序.随着优化程序的增多,经验库的规模会逐渐增大,经验库的散列化分区存储设计保证了其检索与匹配效率.在浮点程序优化基准用例集FPBench和开源物理引擎OpenRelativity上的实验表明,在优化后浮点程序精度与传统方法类似的前提下,本文的加速策略能使平均优化速度相对于传统浮点程序优化方法提升6.04倍,显著提高了浮点数值程序自动优化技术的可用性.

关键词：加速策略程序优化浮点数值程序经验库

来源：评论

学校读者我要写书评

暂无评论

一种基于高阶函数摘要的依赖簇检测方法

引用

电子学报 2024年第4期52卷 1337-1348页

作者：杨嘉毅张迎周李俊锋马锐汪全盛薛渝川南京邮电大学计算机学院、软件学院、网络空间安全学院江苏南京210023

依赖簇是相互依赖的程序组件的最大集合,依赖簇中任意一点产生变动都会引起其他组件的连锁反应.在实际生产环境中,依赖簇检测对于软件理解、测试、维护具有非常重要的意义.传统的依赖簇检测方法基于系统依赖图(System Dependence Graph,... 详细信息

依赖簇是相互依赖的程序组件的最大集合,依赖簇中任意一点产生变动都会引起其他组件的连锁反应.在实际生产环境中,依赖簇检测对于软件理解、测试、维护具有非常重要的意义.传统的依赖簇检测方法基于系统依赖图(System Dependence Graph,SDG)实现过程间依赖关系的计算.但是SDG的构建过程比较复杂,时间空间的占用比较大.为提高依赖簇检测的效率并减少空间占用,本文提出了一种有效的轻量级依赖簇检测方法.该方法通过构建每个过程高阶函数形式的函数摘要,将形参和全局变量的数据依赖作为摘要参数,并用函数摘要的参数初始化过程内依赖信息.通过在调用点处对高阶函数形式的摘要进行实例化,即可将调用过程的依赖关系通过摘要参数进行传递,从而获取过程间的依赖信息.为了进一步提升检测效率,我们还提出了基于自适应计算的依赖簇检测优化策略,该策略可以减少因函数的递归调用产生的相关冗余计算.本文选取了不同规模不同领域的工程项目和基准测试集进行相关对比实验,结果表明:基于高阶函数的依赖簇检测方法相比系统依赖图的检测方法,能够提升2.689倍的分析效率并减少35.7%的空间占用;基于自适应计算的依赖簇检测优化策略在高阶函数方法的基础上能够减少56.7%的冗余计算,提升23.9%的分析效率.

关键词：依赖簇高阶函数自适应计算系统依赖图形式概念分析

来源：评论

学校读者我要写书评

暂无评论

利用自监督卷积网络估计单图像深度信息

引用

计算机辅助设计与图形学学报 2020年第4期32卷 643-651页

作者：孙蕴瀚史金龙孙正兴江苏科技大学计算机学院镇江212003 南京大学计算机软件新技术国家重点实验室南京210046

为了提高利用深度神经网络预测单图像深度信息的精确度,提出了一种采用自监督卷积神经网络进行单图像深度估计的方法.首先,该方法通过在编解码结构中引入残差结构、密集连接结构和跳跃连接等方式改进了单图像深度估计卷积神经网络,改善... 详细信息

为了提高利用深度神经网络预测单图像深度信息的精确度,提出了一种采用自监督卷积神经网络进行单图像深度估计的方法.首先,该方法通过在编解码结构中引入残差结构、密集连接结构和跳跃连接等方式改进了单图像深度估计卷积神经网络,改善了网络的学习效率和性能,加快了网络的收敛速度;其次,通过结合灰度相似性、视差平滑和左右视差匹配等损失度量设计了一种更有效的损失函数,有效地降低了图像光照因素影响,遏制了图像深度的不连续性,并能保证左右视差的一致性,从而提高深度估计的鲁棒性;最后,采用立体图像作为训练数据,无需目标深度监督信息,实现了端到端的单幅图像深度估计.在TensorFlow框架下,用KITTI和Cityscapes数据集进行实验,结果表明,与目前的主流方法相比,该方法在预测深度的精确度方面有较大提升,拥有更好的深度预测性能.

关键词：卷积神经网络单图像深度估计深度估计

来源：评论

学校读者我要写书评

暂无评论

基于One-test-at-a-time策略的可变力度组合测试用例生成方法

引用

计算机学报 2012年第12期35卷 2541-2552页

作者：王子元钱巨陈林徐宝文南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 南京邮电大学计算机学院南京210006 上海市计算机软件评测重点实验室上海201112 南京航空航天大学计算机科学与技术学院南京210016

组合测试可以有效地检测软件系统中由各个因素间交互作用所引发的软件故障.但传统的组合测试方法对系统中各因素之间的实际交互关系考虑不足,难以有效处理交互力度不统一的情况,进而可能导致测试用例的冗余和检错能力的降低.针对该问题... 详细信息

组合测试可以有效地检测软件系统中由各个因素间交互作用所引发的软件故障.但传统的组合测试方法对系统中各因素之间的实际交互关系考虑不足,难以有效处理交互力度不统一的情况,进而可能导致测试用例的冗余和检错能力的降低.针对该问题,应在充分考虑因素间实际交互关系的基础上,使用可变力度组合测试方法,从而实现对于因素间实际交互关系的覆盖.为此,文中针对一种新的可变力度组合测试模型,提出了两种基于one-test-at-a-time策略的可变力度组合测试用例集生成算法.实验表明,相对于已有的具备类似功能的测试用例生成算法和工具,文中提出的算法在测试用例集规模和算法运行时间上均具备一定优势,并可适用于固定力度组合测试、可变力度组合测试等不同测试模型.

关键词：软件测试可变力度组合测试测试用例生成交互关系

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：