基于配送时间及节点流量约束的快递网络优化
作者:
杨从平;郑世珏;党永杰;崔建群
期刊:
系统工程 ,2015年33(11):53-59 ISSN:1001-4098
作者机构:
[杨从平; 郑世珏; 党永杰; 崔建群] 华中师范大学.计算机学院
关键词:
快递网络;路径优化;Floyd算法;Dijkstra算法
摘要:
通过Floyd算法求出快递网络节点间的最短路径长度和需要中转的次数,根据节点间的最短路径和需要中转的次数算出配送时间;通过Dijkstra算法对边介数、节点介数进行加权求和得出快递网络边的货物流量和节点的货物中转量,根据运费率、边的货物流量和边的长度算出边的运输成本,根据节点货物中转量算出中转费用和存储费用;以快递网络总配送成本最小化为优化目标,构建带有配送时间约束和节点最大流量约束的快递网络优化模型,并设计从全连通网络逐渐删除网络边至总配送成本最小为止的算法进行求解,最后通过算例验证了模型和算法的有效性。
语种:
中文
展开
基于分层程序频谱的软件故障定位方法研究
作者:
叶俊民;何印标;陈曙;董威;舒绍娴
期刊:
小型微型计算机系统 ,2015年36(9):1953-1957 ISSN:1000-1220
作者机构:
[叶俊民; 何印标; 陈曙] 华中师范大学计算机学院;[董威; 舒绍娴] 国防科技大学计算机学院
关键词:
多层次频谱;软件故障定位;故障可疑值
摘要:
基于语句程序频谱的软件故障定位方法,通常利用搜集程序在运行测试用例集合产生的语句覆盖信息来实现故障语句定位,但这种定位技术缺乏语句块筛选机制,从而使定位精度受限. 为此,提出一种基于分层程序频谱的软件故障定位方法,其具体思想是将故障定位分为函数故障定位和语句故障定位两个层次,在函数故障定位层次上使用函数调用对程序频谱对程序中的函数发生故障的可疑值进行计算,主动筛选“最有可能”发生故障的函数; 在语句故障定位层次上优先处理可疑值较大的函数,计算函数中每条语句发生故障可疑值,根据可疑值大小定位语句故障. 实验表明,提出的方法能快速地找到故障语句,缩小故障代码审查区域.
语种:
中文
展开
人眼视觉感知驱动的梯度域低照度图像对比度增强
期刊:
计算机辅助设计与图形学学报 ,2014年26(11):1981-1988 ISSN:1003-9775
通讯作者:
Xie, Wei
作者机构:
[张菲菲; 秦前清; 石强] State Key Laboratory of Information Engineering in Surveying, Mapping and Remote Sensing, Wuhan University, Wuhan, 430079, China;[谢伟] Computer School, Central China Normal University, Wuhan, 430079, China
通讯机构:
Computer School, Central China Normal University, Wuhan, China
关键词:
亮度掩蔽;超阈值对比度;亚阈值;梯度场
摘要:
针对传统的对比度增强方法在对低照度图像进行处理时不能同时顾及压缩动态范围、调整亮度以及增强或保持细节等问题,提出一种基于人眼视觉感知特性的、从全局亮度映射到局部细节补偿的低照度图像对比度增强方法.首先通过非线性全局亮度映射模型压缩图像的动态范围,提高图像的整体亮度水平;然后结合人眼视觉系统的亮度掩蔽特性和超阈值对比度感知特性,非线性地调整图像的局部梯度场增强和恢复图像的局部细节;最后在目标梯度场上通过快速求解泊松方程获取增强后的图像.实验结果表明,该方法能够有效地增强低照度图像的全局和局部对比度,提升了低照度图像的视见度.
语种:
中文
展开
基于SzAPSO算法的无线传感器网络节点定位
作者:
张清国;王敬华;金聪
期刊:
小型微型计算机系统 ,2014年35(12):2598-2602 ISSN:1000-1220
作者机构:
[张清国; 王敬华; 金聪] 华中师范大学计算机学院
关键词:
无线传感器网络;节点定位;半定规划
摘要:
针对无线传感器网络节点定位问题,提出一个基于空间缩放和吸引子的粒子群优化SzAPSO算法的定位算法. 算法的思想是将节点定位问题转化为距离约束函数优化问题,用SzAPSO 算法求函数的最优解,从而实现节点定位. 算法的特点是除了利用相邻锚节点和未知节点之间的距离约束进行定位外,还利用了相邻未知节点之间的距离约束进行定位. 算法的优点是: 定位精度高,效果较好,在锚节点比例为10%,节点无线通信半径R = 1. 8r 的情况下平均定位误差不超过6%. 仿真试验表明: 相同条件下本文提出的定位算法比基于标准粒子群优化的定位方法以及带梯度搜索的半定规划定位算法的定位精度都要高.
语种:
中文
展开
自调整混合树RFID多标签防碰撞算法
作者:
宋建华;郭亚军;韩兰胜;王志皓
期刊:
电子学报 ,2014年42(4):685-689 ISSN:0372-2112
通讯作者:
Song, J.-H.(sjhhubu@126.com)
作者机构:
[宋建华] School of Computer Science and Information Engineering, Hubei University, Wuhan, Hubei 430062, China;[王志皓] China Electric Power Research Institute, Beijing 100192, China;[韩兰胜] School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, Hubei 430074, China;[郭亚军] School of Computer Science, Central China Normal University, Wuhan, Hubei 430079, China
通讯机构:
School of Computer Science and Information Engineering, Hubei University, China
关键词:
射频识别;混合树;防碰撞算法
摘要:
在 RFID 系统中,阅读器读取标签的效率与解决标签发生碰撞的方法密切相关。目前采用多叉树查询是一种较好的多标签防碰撞方法。它能减少碰撞时隙,再通过额外的查询来减少空闲时隙。但额外的查询也增加了新的开销。本文提出了一个自调整混合树 RFID 多标签防碰撞算法,该算法根据最高两个碰撞位的特征,在不增加额外查询的条件下,自调整搜索树的叉数,从而避免了一些碰撞时隙和空闲时隙。通过对算法的性能分析和仿真结果可以看到,自调整混合树 RFID 多标签防碰撞算法具有较少的时间复杂度和通信复杂度,识别效率也明显高于其他多叉树算法。
语种:
中文
展开
基于句法语义特征的中文实体关系抽取
期刊:
中文信息学报 ,2014年28(6):183-189 ISSN:1003-0077
作者机构:
[郭喜跃; 陈前军] 华中师范大学;[何婷婷; 胡小华] 华中师范大学计算机学院
关键词:
句法特征;语义特征;实体关系抽取
摘要:
实体关系抽取的核心问题是实体关系特征的选择。以往的研究通常都以词法特征、实体原始特征等来刻画实体关系,其抽取效果已难再提高。在传统方法的基础上,该文提出一种基于句法特征、语义特征的实体关系抽取方法,融入了依存句法关系、核心谓词、语义角色标注等特征,选择SVM作为机器学习的实现途径,以真实新闻文本作为语料进行实验。实验结果表明该方法的F1值有明显提升。
语种:
中文
展开
一种基于Android平台的图像加密方案
作者:
王伟;金聪
期刊:
计算机科学 ,2014年41(8):94-96,108 ISSN:1002-137X
作者机构:
[王伟; 金聪] 华中师范大学计算机学院
会议名称:
2013年全国理论计算机科学学术年会
会议时间:
2013-10-11
会议地点:
天津
会议论文集名称:
2013年全国理论计算机科学学术年会论文集
关键词:
移动平台;图像加密
摘要:
智能手机等移动终端在现实生活中已经被广泛使用,由其引发的图像安全性问题也越来越突出,保护智能手机等移动平台中的图像信息安全迫在眉睫。传统计算机平台下的图像加密技术已经得到了广泛的研究和应用,但移动平台受限于当前的硬件架构,无法直接继承传统平台的安全性技术。针对智能手机等移动平台中的图像信息安全问题,提出了一种基于Android移动平台的图像加密方案,该方案创新了灰度变换和图像置乱的结合方法。实验研究表明,所提出的方案在图像加密上具有更高的效率,能有效保护移动平台中图像信息的安全性,具有广泛的应用价值。
语种:
中文
展开
参数化运行时监控研究
作者:
王珍;叶俊民;陈曙;辜剑;金聪
期刊:
计算机科学 ,2014年41(11):146-151,174 ISSN:1002-137X
作者机构:
[王珍; 叶俊民; 陈曙; 辜剑; 金聪] 华中师范大学计算机学院
关键词:
运行时监控;参数化性质规约;参数化运行时监控
摘要:
随着计算机软件广泛应用于各类安全关键系统以及软件日趋复杂,软件可靠性变得越来越重要。作为一种广泛使用于各种平台的软件解决方案,运行时监控是提高软件可靠性的最灵活的解决方案之一。但随着运行时监控技术以及软件技术的发展,人们希望通过运行时监控技术来验证系统的动态属性,从而提出参数化性质的运行时监控技术。由于其在面向对象系统中的适用性,参数化性质的运行时监控已经受到了越来越多的关注。综述了参数化运行时监控的研究进展,提出了参数化运行时监控的问题定义,介绍了这一领域的主要研究内容:参数化运行时监控方法、减少参数化监控开销的技术、多属性规约的参数化运行时监控。
语种:
中文
展开
一种源程序级软件验证方法研究
作者:
叶俊民;王珍;戴跃庭;金聪
期刊:
小型微型计算机系统 ,2014年35(3):543-548 ISSN:1000-1220
作者机构:
华中师范大学计算机学院,武汉,430079;[王珍; 叶俊民; 金聪; 戴跃庭] 华中师范大学
关键词:
模型验证;Kripke结构;控制流图
摘要:
软件质量对使用软件的各行各业有很深的影响,因此验证软件是否满足某些关键性质成为一个重要的问题.提出一种基于C语言的源程序级验证方法,其主要思想是将C源程序转换为与控制流图等价的Kripke结构,将这一Kripke结构作为程序的抽象模型,用CTL描述期望程序具备的性质,然后利用NuSMV模型验证工具检验该模型是否满足所期望的性质公式,从而达到检验程序是否满足该性质的目的.基于这种思想,设计并实现了一个自动将C源程序和其待检验的性质转换为NuSMV的输入文件并对其进行验证的环境原型.
语种:
中文
展开
Bulk viscosity of hot dense Quark matter in the PNJL model
作者:
Xiao Shi-Song* ;Guo Pan-Pan;Zhang Le;Hou De-Fu
期刊:
中国物理C ,2014年38(5): 054101-1-054101-5 ISSN:1674-1137
通讯作者:
Xiao Shi-Song
作者机构:
[Xiao Shi-Song] Cent China Normal Univ, Dept Comp Sci, Wuhan 430079, Peoples R China.;[Guo Pan-Pan; Zhang Le; Hou De-Fu] Cent China Normal Univ, Inst Particle Phys, Wuhan 430079, Peoples R China.
通讯机构:
[Xiao Shi-Song] C;Cent China Normal Univ, Dept Comp Sci, Wuhan 430079, Peoples R China.
关键词:
bulk viscosity;Kubo formula;PNJL model
摘要:
Starting from the Kubo formula and the QCD low energy theorem, we study the the bulk viscosity of hot dense quark matter in the PNJL model from the equation of state. We show that the bulk viscosity has a sharp peak near the chiral phase transition, and that the ratio of bulk viscosity over entropy rises dramatically in the vicinity of the phase transition. These results agree with those from the lattice and other model calculations. In addition, we show that the increase of chemical potential raises the bulk viscosity.
语种:
英文
展开
一种文本分割技术的多文档文摘方法研究
期刊:
计算机应用与软件 ,2014年31(9):40-44 ISSN:1000-386X
作者机构:
[王萌] 广西工学院计算机学院;[唐新来] 广西工学院鹿山学院;[何婷婷] 华中师范大学计算机学院
关键词:
文本分割;自动文摘
摘要:
提出一种基于文本分割技术的多文档自动文摘方法。该方法使用HowNet作为概念获取工具,通过建立句子概念向量空间模型和利用改进的DotPlotting模型来进行文本分割。利用建立的句子概念向量空间模型计算句子重要度,并根据句子重要度、文本分割结果和文摘句相似度等因素产生文本。使用ROUGE-N评测方法和F_Score作为评测指标对系统产生的文摘进行评测,结果显示使用文本分割技术进行多文档是有效的。
语种:
中文
展开
可证明安全的RFID群标签识别与认证协议
作者:
任小娟;郭亚军;张维
期刊:
武汉大学学报(理学版) ,2014年60(5):453-458 ISSN:1671-8836
作者机构:
[任小娟] 山东英才学院信息工程学院;[郭亚军; 张维] 华中师范大学计算机学院
关键词:
无线射频识别;群认证;防冲突
摘要:
为了克服RFID系统的标签识别中存在的安全性问题和识别死循环问题,提出了一种群标签的识别与认证协议GIA.GIA协议在识别过程中采用假名进行防冲突识别,防止标签敏感信息的泄露,在认证过程中只用伪随机数发生器实现了阅读器和标签之间的相互认证,解决了中间人攻击、前向安全、重放攻击和克隆等安全问题,同时也满足了低成本标签的要求.用可证明安全模型证明了GIA满足了安全性目标.与现有的相关研究进行比较,GIA在存储开销、计算代价和通信开销上具有较好的性能.
语种:
中文
展开
基于分块KPCA集成的人脸民族特征提取研究
作者:
刘文辉;许瑞;刘华咏;马光春
期刊:
计算机科学 ,2014年41(9): 294-296,319 ISSN:1002-137X
作者机构:
[刘文辉; 刘华咏] 华中师范大学计算机学院;[许瑞] 新疆教育学院信息科学与技术分院;[马光春] 新疆喀什师范学院信息工程技术系
关键词:
民族脸特征;特征提取;分块核主元分析;民族识别;径向基神经网络
摘要:
为了实现人脸图像民族特征提取,提出了一种分块集成KPCA的特征提取方法。考虑到利用全局特征与局部特征的互补性能够更好地反映信息的本质,先以KPCA提取整体图像特征,然后使用KPCA对各个分块进行局部特征提取,再组合为民族特征,最后使用设计的Boosting-RBF分类器进行民族分类识别。实验以构建的少数民族人脸样本库为研究对象,对维吾尔族、柯尔克孜族、蒙古族、塔吉克族的人脸图像进行民族特征提取。实验结果表明:提取的人脸民族特征,可以对人脸图像进行较准确的民族分类识别。
语种:
中文
展开
基于贝叶斯后验模型的局部社团发现
期刊:
华东理工大学学报. 自然科学版 ,2014年40(5):619-624 ISSN:1006-3080
通讯作者:
Cheng, H.
作者机构:
[杨进才; 郭凯凯; 沈显君; 胡金柱] 华中师范大学计算机学院
通讯机构:
School of Information Science and Engineering, East China University of Science and Technology, Shanghai, China
关键词:
社团发现;贝叶斯后验模型;局部社团;BS模块度
摘要:
基于节点的局部社团发现在大数据社会网络分析中非常重要。针对Newman模块度在社团发现中的局限性,基于贝叶斯后验模型提出了BS模块度度量法。该方法结合节点的模块度和推荐概率进行建模,并以邻接并入为框架得到了一种新的局部社团发现算法。该方法克服了Newman模块度在稀疏网络中区分度低的问题以及社团结构差异大的分辨率问题,有效地寻找大规模网络中的局部社团。通过与Newman模块度在真实社团中的比较,验证了该度量方法的有效性。
语种:
中文
展开
基于Tf-Idf和网页链接的PageRank改进算法
作者:
戴上平;郑波荣
期刊:
计算机应用与软件 ,2013年30(5):301-302,330 ISSN:1000-386X
作者机构:
[戴上平; 郑波荣] 华中师范大学计算机科学学院
关键词:
查全率;搜索引擎;网页连接;主题漂移
摘要:
提出基于Tf-Idf和网页链接对传统的PageRank算法不足之处进行改进。该算法不仅较好地解决了PageRank主题漂移问题,而且在查准率和查全率方面也有较大的提高。通过实验证明,该算法可以获得优于传统PageRank算法的查询结果集。
语种:
中文
展开
基于更贪心策略的快速正交核匹配追踪算法
作者:
付丽华;李宏伟;张猛
期刊:
电子学报 ,2013年41(8):1580-1585 ISSN:0372-2112
通讯作者:
Li, H.-W.(hwli@cug.edu.cn)
作者机构:
[李宏伟; 付丽华] School of Mathematics and Physics, China University of Geosciences, Wuhan, Hubei 430074, China;[张猛] Department of Computer, Central China Normal University, Wuhan, Hubei 430079, China
通讯机构:
School of Mathematics and Physics, China University of Geosciences, China
关键词:
更贪心策略;正交;核匹配追踪;稀疏
摘要:
为了得到信号的稀疏表达结果, 正交核匹配追踪采用贪婪算法, 在逐步回归建模过程中, 每步只寻求当前最优原子, 这使得计算效率大大降低. 针对此局限性, 提出了一种新的更加贪心的策略:在每次回归时, 选择超过阈值的一个或者多个原子. 为了更好的提高算法精度和稀疏度, 再利用原子相似度对所挑选的原子做进一步筛选. 实验结果和计算复杂度的分析说明:较传统的方法, 新的基于更贪心策略的方法不仅能够提高计算效率, 而且所得到的模型具有稀疏性好, 泛化能力高等优点.
语种:
中文
展开
校园教学手机报模式研究与设计
作者:
郑世珏;王敬华;杨三平
期刊:
计算机工程与科学 ,2013年35(7):186-190 ISSN:1007-130X
作者机构:
[郑世珏; 王敬华; 杨三平] 华中师范大学计算机学院
关键词:
校园教学手机报;微型移动管理;手机微教务管理;彩信服务
摘要:
校园教学手机报是为大学生提供的一种顺应新媒体发展潮流的信息传播模式,是为大学生量身定制的手机报纸。大学生受众作为一个独特群体,校园教学手机报能及时、准确地为他们第一时间传递学校的教务、校务通知,大学生所需的就业、讲座、竞赛、考研等所有服务资讯内容,并将逐步成为大学生了解校园时事的新窗口。本文主要对校园教学手机报的服务功能设计、校园教学手机报的系统功能模块、技术方案进行了探讨和阐述。
语种:
中文
展开
一种自动机学习和符号化执行的软件自动测试方法
作者:
陈曙;叶俊民;张帆
期刊:
计算机科学 ,2013年40(8):161-164 ISSN:1002-137X
作者机构:
华中师范大学计算机学院 武汉430079;杭州电子科技大学通信工程学院 杭州310018;[张帆] 杭州电子科技大学;[陈曙; 叶俊民] 华中师范大学
关键词:
自动机;自动测试;符号化执行;抽象机
摘要:
针对高可信软件提出一种软件脆弱性自动测试方法。与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件与环境交互的抽象机模型,在符号化执行迭代过程中利用抽象机模型指导符号化执行,并动态生成测试数据,同时精化交互抽象机用于后继的符号化迭代测试。解决了传统符号化执行测试技术中缺乏指引、具有较高盲目性的问题,同时也提高了符号化执行测试的效率和代码覆盖率。
语种:
中文
展开
基于差分演化的无线传感器网络节点定位
作者:
张清国;王敬华;张维
期刊:
计算机工程 ,2013年39(11):78-82 ISSN:1000-3428
作者机构:
华中师范大学计算机学院,武汉,430079
关键词:
无线传感器网络;差分演化;节点定位;基于测距;定位精度;半定规划
摘要:
针对无线传感器网络(WSN)节点的定位问题,提出一种基于差分演化的WSN节点定位算法。根据相邻节点间估计距离和测量距离之间的偏差构造目标函数,利用差分演化算法求出函数的最优解,达到最优解时的节点坐标即为未知节点的估计坐标。实验结果表明,该算法在锚节点比例为10%,节点无线通信半径R为1.8r的情况下,平均定位误差不超过5%,与带梯度搜索的半定规划定位算法相比,其定位精度更高。
语种:
中文
展开
基于耦合系数的无标度网络模型(BA-S)的中心化研究
作者:
刘玉华;郑梅容;许凯华;徐翠
期刊:
计算机科学 ,2013年40(5): 70-73,102 ISSN:1002-137X
作者机构:
华中师范大学计算机学院 武汉430079;华中师范大学物理科学与技术学院 武汉430079;[许凯华; 郑梅容; 徐翠; 刘玉华] 华中师范大学
关键词:
无标度网络;耦合系数;中心化指标;中心化程度;效率
摘要:
针对基于耦合系数的无标度网络演化模型中的节点进行中心化研究,首先对常用的中心化指标进行了分析,接着对经典的无标度(BA)模型和演化的BA-S模型中各节点的几种指标进行了累积概率分布研究,最后对两种模型的中.心化程度和效率进行了中心化测试对比研究,结果证明,演化的BA-S模型较BA模型具有更强的鲁棒性以及抗故障的能力.
语种:
中文
展开