欢迎来到优发表,学术咨询:400-888-9411 订阅咨询:400-888-1571 商务:086-024-31128100

关于我们 注册 购物车(0)

Spark环境下基于SMT的分布式限界模型检测

任胜兵; 张健威; 吴斌; 王志健 中南大学; 软件学院; 嵌入式系统与网络实验室; 长沙410075

在基于可满足性模理论(SMT)的限界模型检测中,限界深度对于程序验证结果的可信性和程序验证效率具有重要影响。传统串行检测方法由于单机处理性能和内存的限制,不能在限界较深的条件下进行验证。针对该问题,在Spark环境下提出一种分布式限界模型检测方法。将源程序的LLVM中间表示(LLVM-IR)构造为Spark内置的数据结构PairRDD,利用MapReduce算法将PairRDD转化为表示验证条件的弹性分布式数据集(VCsRDD),VCsRDD转化为SMT-LIB并输入SMT求解器进行验证。实验结果表明,与传统串行检测方法相比,该方法提高了验证过程中的限界深度和验证结果的正确率,并且对于复杂度较高的程序在限界相同的情况下其验证速度也有所提升。

  • 面向MPI集合操作的定制化片上网络

    关键词:片上网络    片上多核处理器    消息传递接口    集合操作    定制化    

    根据计算趋近数据的原则,提出面向MPI集合操作的定制化片上网络设计方法,通过增强现有片上路由器的硬件功能实现MPI集合操作在网络层的加速。设计MPI归约操作,将其扩展至多种集合操作,并与一种针对确定性路由算法且可动态学习消息传输路径的自适应方法相结合,使集合操作可在扩展后的片上路由器上完成,加速处理过程并减少处理器核负载。此...

  • Spark环境下基于SMT的分布式限界模型检测

    关键词:软件验证    限界模型检测    弹性分布式数据集    可满足性模理论求解器    spark框架    

    在基于可满足性模理论(SMT)的限界模型检测中,限界深度对于程序验证结果的可信性和程序验证效率具有重要影响。传统串行检测方法由于单机处理性能和内存的限制,不能在限界较深的条件下进行验证。针对该问题,在Spark环境下提出一种分布式限界模型检测方法。将源程序的LLVM中间表示(LLVM-IR)构造为Spark内置的数据结构PairRDD,利用MapRedu...

  • 基于时间Petri网的嵌入式系统构件建模与能耗分析

    关键词:嵌入式系统    软件能耗    petri网    能耗模型    状态可达图    

    现有软件能耗分析方法主要研究算法级和指令级能耗,对于软件体系结构级的能耗研究较少。为此,从嵌入式系统的软件体系结构出发,在传统Petri网的基础上加入价格和时间标签,建立价格时间Petri网。通过价格时间Petri网构建软件构件和连接子能耗模型分析系统软件能耗,并提出最小能耗可达路径算法降低系统执行能耗。实验结果表明,该模型测得的...

  • 面向车辆轨迹数据的违法取证分析系统

    关键词:大数据    数据挖掘    交通监控    取证分析    并行处理    

    针对现有公安违法取证分析系统存在效率低下、功能单一的问题,提出基于云平台和大数据的违法取证分析系统。利用MongoDB存储原始海量的车辆轨迹数据,采用MapReduce分布式计算对轨迹数据进行挖掘与筛选,通过大数据平台上的系统调度器对系统各层资源进行有效调度并监控系统运行状态。基于提取的离散轨迹数据对违反规定时间行驶、违法规定路线行...

  • 基于载客数据的出租车热门区域功能发现

    关键词:时空特性    区域功能    热门区域发现    主题模型    乘客出行模式    

    根据出租车行驶载客数据中提取的乘客出行模式和上下客热门区域,提出一种出租车热门区域功能发现方法。采用基于交通数据时空特性的出租车行驶数据聚类算法,实现热门区域划分。建立基于潜在Dirichlet分配的热门区域乘客出行特征发现模型,对具有相似乘客出行模式的出租车热门区域进行聚类。通过总结各热门区域的具体功能,发现在不同客流时间...

  • 基于显著图与傅里叶描述子的交通标志检测

    关键词:交通标志检测    显著图    轮廓    凸壳    傅里叶描述子    

    在交通标志检测过程中,存在标志尺寸变化、旋转失真、投影失真以及部分被遮挡等问题。为此,提出一种基于显著图和傅里叶描述子的交通标志检测算法。采用频率调谐方法得到显著图并将其二值化,初步定位交通标志区域。通过提取区域外层轮廓,利用轮廓周长和长宽比特征滤除干扰信息,对合格轮廓进行凸壳处理,得到归一化凸壳傅里叶描述子,并与标...

  • 基于RAPL的机群系统功耗限额控制

    关键词:高性能计算    分布式数据中心    峰值功耗    功耗限额    差额测量    rapl技术    

    功耗管控是高性能计算系统和分布式数据中心管理的热点问题。当机房供电受限时需要对机群系统的功耗上限进行控制,使有限的电力适应供电容量的动态变化。为此,设计并实现一个基于RAPL的功耗限额控制系统。建立机群系统功耗模型,利用RAPL对CPU功耗限额的控制能力并结合功耗差额测量方法,将机群系统功耗上限控制在设定限额内,在此基础上尽可...

  • 基于图模型的克隆代码演化痕迹构建及模式识别

    关键词:图模型    克隆跟踪    演化模式    克隆家系    克隆代码    

    针对克隆跟踪不精确、演化模式识别繁琐以及克隆群合并现象处理困难等问题,提出一种改进的克隆代码演化痕迹构建及模式识别方法。在相邻版本使用主题概率模型实现克隆群初步映射,计算代码位置重叠率及文本相似度完成克隆片段映射,修复克隆群映射得到精确的相邻版本克隆映射结果。依据相邻版本间建立映射的克隆群数量关系及交叉程度识别短期演...

  • 影像数据分布并行计算处理平台体系架构研究

    关键词:大数据    hadoop架构    hadoop分布式文件系统    mapreduce框架    gpu并行计算    

    遥感影像数据并行处理系统大多依赖于国外商用产品,而国内自主化并行计算处理系统的任务流程化支撑能力以及并行计算性能难以适应规模化生产。为此,基于Hadoop的HDFS,MapReduce集群并行架构、CPU和GPU协同并行处理、内存映像、BMP等技术,提出流程驱动执行的高性能分布式并行计算处理平台体系架构。实验结果表明,工作站集群和工作站内多粒度...

  • 一种基于历史相遇信息的容迟网络地理路由算法

    关键词:容迟网络    地理路由算法    局部信息    移动方向    历史信息    

    为使消息在容迟网络中更有效地传输,将节点的地理位置、移动方向等地理信息与节点间的历史相遇频繁程度相结合,提出一种新的容迟网络地理路由算法。该算法将移动节点间的历史相遇信息作为分配消息副本的依据,从而减少复制策略路由算法中的副本数量。利用邻居节点移动方向所构成的夹角对中继节点的选择进一步优化,得到较高的投递率以及较低的...

  • 基于竞价机制的认知无线蜂窝网D2D功率分配方法

    关键词:无线蜂窝网    认知无线电    数据流    竞价机制    功率分配    

    针对用户资源利用率低的问题,为保障用户服务质量,采用竞价机制,面向无线蜂窝网络,将认知无线电(CR)技术与D2D技术结合,提出一种分布式D2D功率分配方法。该方法基于CR技术感知到可用频谱资源并对其进行标价,通过更改标价的方式达到新的纳什均衡,迭代优化之后使得存在的纳什均衡可以最大化地增加D2D对的获利,从而高效地使用可用频谱资...

  • 6LoWPAN中基于Mesh-under的中继缓存与重传机制

    关键词:适配层    中继缓存    缓存管理    分片重传    

    在基于Mesh-under路由的6LoWPAN网络中,链路丢失的分片采用端到端的方式进行重传,从而保证数据包的可靠重组,但端到端的重传会造成较多的数据传输时延和网络能耗,降低目的端的分片重组成功率,影响网络中其他数据的有效传输。针对上述问题,提出一种基于中间节点缓存与重传分片机制,通过中间节点缓存和管理所转发分片,目的端检测到有分片...

  • 基于双重验证的抗重放攻击方案

    关键词:重放攻击    存储空间    时间戳    时钟同步    服务器    

    当前Web应用采用的HTTPS协议为客户端与服务器端之间的消息请求提供良好的加密机制,但HTTPS协议无法对应用层消息进行选择性处理,因而在消息请求交互的过程中并未全过程加密,使Web应用无法避免重放攻击。为此,提出一种基于动态校验子与计数器双重验证的抗重放攻击方案。利用服务器端的当前时间作为动态校验子,以该动态校验子作为消息请求的...

  • 一种面向MANET的启发式恶意节点发现与隔离策略

    关键词:移动自组织网络    路由    恶意节点    启发式计算    序列号    

    为适应网络拓扑结构的不断变化并增强路由协议的安全性,面向移动自组织网络安全应用,提出一种启发式恶意节点发现与隔离策略。计算接收到的数据包中的目的序列号以及路由表中目的序列号的差异,将该差异与启发式计算得到的差异阈值进行比较来判别节点是否可疑。对可疑节点进行诱饵检测,发现和确认恶意节点,并对恶意节点实施隔离,构建安全、...

  • 微博文本的句向量表示及相似度计算方法研究

    关键词:微博文本    相似度计算    词向量    高维词库    句向量    

    在Word2vec框架内,针对微博文本的特点,提出采用词向量或高维词库映射计算句向量的方法。以3种算法构造句向量,即采用Word2vec对微博文本进行扩展后以TF.IDF方法表示句向量;将句子中每个词的词向量相加形成句向量;构建高维词库,将句子中的每个词映射到高维词库形成句向量。对比3种训练句向量的方法,选出最适合微博领域的模型。实验结果...

  • 基于不平衡支持向量数据描述的故障诊断算法

    关键词:故障诊断    数据驱动    支持向量数据描述    不平衡数据    secom数据集    

    分析无监督和监督故障诊断方法的特点,提出一种能够结合两者优势的不平衡支持向量数据描述(ISVDD)算法。该算法具有无监督故障诊断方法的优势,通过描述正常工况样本的边界分布状况,寻找最能代表正常工况特点的特征。借鉴监督故障诊断方法,引入故障工况样本中蕴含的判别信息,更准确地描述正常工况样本的真实边界。针对故障诊断中常见的类...

  • 基于SVM-LeNet模型融合的行人检测算法

    关键词:行人检测    权重模板    支持向量机    非极大值抑制算法    卷积神经网络    

    在方向梯度直方图(HOG)联合支持向量机(SVM)算法(HOG—SVM)和LeNet网络模型基础上,提出了HOG与卷积神经网络(CNN)融合的行人检测算法(SVM—LeNet)。采用多尺度滑动窗口提取HOG特征并送入SVM分类器,根据后验概率判断候选区,随后运用CNN算法剔除误检窗口。为解决单个目标被多个候选区域框定的问题,使用非极大值抑制算法(NMS)进行...

  • 微博环境下基于用户行为与主题相似度的改进PageRank算法

    关键词:pagerank算法    相似度权值    时间反馈因子    用户行为    随机游走模型    

    针对传统PageRank算法存在主题漂移、网页权值均分等问题,提出一种改进的PageRank算法。为提高用户查询效率和搜索质量,结合时间反馈因子对用户转发、用户评论和微博提及行为进行综合分析,采用统计分析方法对用户行为在微博用户影响力排序中的贡献进行度量,并利用改进的TF—IDF算法计算主题相似度权值使用户能够选择相关度较高的网页,从而...

  • 基于动态选择性集成学习的供应链产销协商优化策略

    关键词:动态选择性集成学习    动态协商环境    agent产销协商    自适应学习    熵值法    

    针对当前Agent产销协商自适应学习效果差及协商环境动态变化的现状,考虑动态协商环境中的冲突水平、合作可能性、协商剩余时间对谈判的影响,利用熵值法确定3个影响因素的权重并进行线性加权。结合当前协商议题的差异性,构建基于动态选择性集成学习的让步幅度预测模型,并提出供应链产销协商优化策略。实验结果表明,与单学习机协商策略相比,...

  • 基于词袋模型聚类的异常流量识别方法

    关键词:词袋模型    机器学习    聚类    数据挖掘    异常流量识别    

    针对现有异常流量检测方法的识别准确率低且快速识别需要确定阈值等问题,基于词袋模型聚类,提出一种改进的网络异常流量识别方法。通过对已有的异常流量和正常流量进行K—means均值聚类,得到网络流量中的流量关键点,将网络流量转化映射到相应流量关键点后建立直方图,并采用半监督学习方式对异常流量进行检测。实验结果表明,与基于朴素贝叶...

  • 基于颜色基元共生矩阵的旋转图像检索

    关键词:基元    基元过渡矩阵    基元平均矩阵    颜色基元共生矩阵    旋转不变性    

    为提高旋转图像的检索准确率,引入颜色基元共生矩阵,提出一种新的旋转图像检索方法。设计8种具有旋转不变性的基元结构描述符,得到基元过渡矩阵(MEM)和基元平均矩阵(MAM)用于描述图像的纹理和颜色特征,并在MEM和MAM的基础上,运用统计学方法获取基元序列和对应颜色值出现的频数,最终得到8×8×72的颜色基元共生矩阵作为原始图像和旋转图...

  • 基于超像素显著性的视频偏色检测方法

    关键词:偏色检测    超像素    显著性    支持向量机    偏色程度    

    针对传统偏色检测方法存在的局限性,基于超像素显著性,提出一种视频偏色检测方法。将视频图像分割为超像素块,提取超像素块的亮度显著性和颜色显著性。使用亮度显著性权值系数对颜色显著性进行贝叶斯融合处理,得到综合显著的超像素块特征信息。将块特征向量作为训练样本,使用支持向量机进行分类和回归训练,检测出偏色视频并实现视频的偏色...

  • 异构计算平台图像边缘检测算法优化研究

    关键词:图像边缘检测    异构计算平台    向量化访存    数据本地化    条件分支优化    

    随着实际应用中图像数据规模的增大和分辨率的提高,图像边缘检测算法的性能成为制约图像实时处理的关键。从向量化访存、数据本地化以及条件分支优化3个方面出发,结合算法特性和底层硬件架构特征,研究Canny边缘检测算法在NVIDIATegraK1异构计算平台上的GPU性能优化。实验结果表明,与基于OpenCV3.0CPU的Canny边缘检测算法相比,优化后的Cann...

  • 频域内基于邻域特征学习的单幅图像超分辨重建

    关键词:协方差矩阵    方向方差    傅里叶特征    插值    核回归    超分辨重建    

    针对图像重建过程中待插值点灰度估计不准确的问题,提出一种基于邻域特征学习的单幅图像超分辨回归分析方法。在输入低分辨率图像后,利用图像特征从低分辨率图像及其对应高分辨率图像的几何相似结构中学习局部协方差。对于邻域中的每一个图像块,估计4个方向的方差以适应插值像素。实验结果表明,该方法既能保证重建的高分辨率图像均匀区域的...

  • 改进模糊C均值算法在民族服饰图像分割中的应用

    关键词:民族服饰    块截断编码    图像分割    空间邻域    模糊c均值算法    

    以少数民族服饰图像为分割对象,结合块截断算法设计思想,提出一种基于空间邻域的模糊c均值图像分割算法。利用方块截断编码理论将图像RGB颜色空间分量截断为6个分量,通过六维特征向量对民族服饰图像进行特征表示,将其作为算法输入进行聚类分割。实验结果表明,该算法在分割精度、划分系数和划分熵3个量化指标上的性能均优于FCM,FCM_S1和FCM...

  • 基于生长模型的苗期大豆植株三维重建

    关键词:三次样条曲线    gabor滤波器    纹理能量    局部特征    边缘检测    

    为实现大豆植株的三维模型重建,以苗期的中黄13号大豆植株为研究对象,利用三次参数样条曲线方程拟合叶片轮廓,基于Delaunay三角剖分的逐点插入思想实现不规则多边形的网格化,在叶脉纹理能量测量的研究方面,考虑到现有方法对纹理的方向和尺度信息表现不构充分,提出基于Gabor滤波器的纹理能量特征提取方法,并采用空间金字塔匹配算法进行纹...

  • 基于Adaboost算法的汉语儿向语音检测

    关键词:儿向语音    语音检测    特征提取    adaboost算法    决策树    

    儿向语音对早期儿童成长有较大影响,正确检测并充分利用儿向语音具有现实意义。为此,构建一种基于Adaboost算法的汉语儿向语音检测模型,以提高检测准确率。使用决策树作为弱分类器对提取的汉语儿向语音特征进行学习,并组成弱分类器元组,同时对该弱分类器组的分类结果进行加权,区分待测语音的类别。实验结果表明,汉语儿向语音的元音持续时...

  • 微博谣言免疫策略的研究

    关键词:网络谣言    出度    微博    传播模型    免疫策略    

    当前网络谣言控制策略的研究大多考虑高连接度对消息传播的影响,即节点自身邻居数,忽略了其邻居信息产生的间接影响。为此,提出一种SDND谣言免疫策略,该策略只需了解网络局部信息,在选取免疫节点时综合考虑节点自身出度及其邻居最大出度。在新浪微博数据集上,借助SEIR谣言传播模型仿真谣言传播,对比分析目标免疫、熟人免疫、重要熟人免疫...

  • 两级供应链联合成本三角模糊需求随机过程模型

    关键词:两级供应链    模糊需求    交货时间    需求率    随机过程    

    根据影响两级供应链系统库存控制及决策过程的随机与模糊特性,基于联合成本提出两级供应链三角模糊需求随机过程模型。对两级供应链系统进行研究,给出其联合成本优化模型。针对交货时间和需求率的模糊特性,分情况利用三角模糊函数设计缺货数量模糊模型,基于此对两级供应链联合成本优化模型进行改进,建立三角模糊需求随机过程模型,并给出该...

  • 基于节点排序的贝叶斯网络结构学习算法

    关键词:贝叶斯网络    结构学习    mmpc算法    k2算法    广度优先搜索    

    针对K2算法学习贝叶斯网络结构时需要确定节点顺序的问题,提出一种混合贝叶斯网络结构学习算法。在给定数据集的情况下,利用MMPC算法获得网络的初始结构图,应用广度优先搜索的方式对此初始结构图进行搜索,从该图中入度为0的节点出发,按层次依次访问图中的邻接点,获得优化的节点顺序。将该节点顺序作为K2算法的初始节点顺序,再利用K2算法...

  • 基于中国观鸟数据的移动对象周期模式发现

    关键词:移动对象    数据挖掘    数据预处理    周期模式    中国观鸟数据    

    移动对象的轨迹数据中包含大量时空信息,挖掘时空信息背后隐藏的周期模式对掌握移动对象变化规律具有重要作用。为此,提出一种三阶段移动对象周期模式检测算法,通过研究轨迹点的时空特征识别并剔除重复数据,利用密度聚类算法发现轨迹点密集区域并找出密集区域中每一类移动对象的周期模式,解决移动对象轨迹周期模式挖掘中轨迹数据重复、采样数据...

  • 一种动态实时高校建筑能耗异常检测方法

    关键词:动态实时    高校建筑能耗    异常检测    自适应识别    增量更新    

    针对静态建筑能耗异常检测方法在动态高校建筑能耗环境中容易出现误判的问题,提出一种改进的高校建筑能耗异常检测方法。采用SA-DBSCAN算法根据能耗数据的统计特性自适应识别建筑能耗模式,利用C4.5算法构建能耗模式判定树,依据判定树得到实时能耗数据的相应类别后使用LOF算法进行离群分析检测异常。将判定正常的能耗增量地更新到建筑能耗模式中,...

  • 基于时空相似度感知的Web服务QoS协同过滤推荐

    关键词:时空相似度感知    web服务    服务质量    协同过滤    相似权重    

    在Web服务推荐过程中,Web服务缺失服务质量(QoS)值的预测精度会对服务推荐合理性产生重要影响。为此,结合时空相似度感知,提出一种新的Web服务QoS协同过滤推荐算法。从QoS协同预测角度对Web服务推荐系统框架进行设计,并给出相关参数集合定义。针对传统top-K算法中部分服务与目标服务不相似的问题,利用时空相似度感知结合相似权重的方式预测缺...

  • 功耗受限情况下多核处理器能效优化方案

    关键词:功耗控制    功耗分配    能效优化    动态电压频率调整    计算访存比    线程关键度    

    将处理器功耗控制在预算以下有助于降低散热成本和提升系统稳定性,但现有功耗优化方案大多依赖线下分析得到的先验知识,影响实用性,而集中式搜索最优策略的算法也存在复杂度过高的问题。为此,提出功耗优化方案PPCM。利用动态电压频率调整(DVFS)技术控制CPU功耗在预算内以提高处理器能效。同时,将功耗控制和功耗分配解耦合以提高灵活性。采用动...

  • 浮点与整数资源区别分配的SMT处理器取指策略

    关键词:同时多线程    取指策略    资源分配    线程级并行    浮点    整数    

    在同时多线程处理器中,各线程对于浮点和整数资源需求不同,合理分配线程的共享资源是提升处理器整体性能的重要因素。为此,提出一种浮点与整数资源区别分配的取指策略,合理分配各个线程对于浮点和整数资源的使用情况。实验结果表明,与ICOUNT,STALL等策略相比,该策略在算术平均IPC和调和平均IPC方面均取得一定的性能提升,同时其在处理浮点和整数...

  • 基于总线负载的自适应频率调节系统

    关键词:动态预测    总线频率管理    片上系统    低功耗    动态频率调节    

    系统总线是片上系统中承载IP通信的模块,现有研究多通过静态预设的方法使总线频率在满足最高性能的需求下保持不变,造成性能浪费。针对该问题,提出一种动态功耗管理策略,实现自适应频率调节系统。通过监测总线主设备的负载状态,根据程序运行的历史结果预测下一时间段的总线负载需求,并对预测结果自适应配置最佳总线频率,从而在达到性能要求的前...

  • 基于Ceph文件系统的元数据缓存备份

    关键词:ceph文件系统    元数据    热数据    缓存    备份    

    针对Ceph文件系统元数据写操作响应时间较长的问题,提出一种对元数据缓存进行备份的方案。该方案采用多个元数据服务器之间互相备份写缓存数据的方法,保证元数据的可靠性,并设计基于元数据热度的多队列缓存组织结构,以及相应的缓存预取与倒盘算法。实验结果表明,与原始的Ceph系统相比,该方案的元数据访问性能提升15.7%。

  • 基于ZigBee通信的微电网监控网络

    关键词:微电网    分布式发电    监控网络    zigbee通信    虚拟地址    

    为实现分布式发电微电网的灵活组网,将ZigBee应用到微电网监控网络中进行信息传输,提出一种将通信地址采用动态分配短地址附加虚拟短地址的方法,以进行微电网各单元地址唯一性识别。通过网络节点优先接入能量峰值高的信道方式,提高通信链路的可靠性。实验结果表明,动态分配短地址与虚拟短地址相结合能够正确识别现场设备的地址,与ZigBee设备出厂...

  • 内容中心网络中基于K核分解的缓存决策策略

    关键词:内容中心网络    缓存决策    介数    k核分解    缓存命中率    

    内容中心网络(CCN)默认采用的处理缓存方式存在严重的缓存冗余,而基于介数的缓存决策虽然降低了缓存冗余,但其计算复杂度较高,不适合部署在CCN网络层。为此,提出基于K核分解的缓存决策策略。给出基于K核分解方法的K核值指标定义,将数据对象缓存到请求路径上K核值最高的节点,并给出当K核值相同时依据剩余缓存空间和请求跳数的决策策略。仿真实...

  • 一种基于反馈调节的无线体域网功率控制算法

    关键词:无线体域网    无线模块    链路质量评估    传输能耗    传输功率    

    无线体域网中节点功率控制需要根据当前链路状况动态调节,信号强度反映的链路状况和固定的函数模型在人体环境变化下能耗较大。针对上述问题,提出一种反馈调节算法,以合理选择功率等级。采用链路质量均值表征链路状况,用比例、积分、微分算法进行反馈控制。实验结果表明,与传统乘增加减算法和动态姿势推测算法相比,在保证97.6%包接收率的前提下,...

  • 稀疏互质阵列的迭代加权l1范数约束来波方向估计

    关键词:波达方向估计    稀疏互质阵列    稀疏重构    加权l1范数    阵列孔径    

    在阵元数确定的情况下,稀疏互质阵列能增大阵列孔径。为利用阵列的互质关系形成具有更多自由度的互质差合成阵列,采用稀疏重构方法,提出一种迭代加权l1范数约束波达方向(DOA)估计算法。通过矢量化对稀疏互质阵列进行孔径扩展,进而在相应的过完备基下获得观测模型的l0范数约束稀疏重构,再用加权l1范数约束代替l0范数约束重构方法,采用多次迭代...

  • 星地量子密钥分发中的数据协调方法

    关键词:量子保密通信    星地量子密钥分发    数据协调    turbo码    模型仿真    

    量子密钥分发是基于量子物理基本定律来确保通信双方的安全性。低交互次数的数据协调是星地量子密钥分发数据后处理阶段的关键,依据星地量子密钥分发中数据协调的特性和要求,提出一种基于Turbo码的星地量子密钥分发数据协调模型。该模型重新修改和设计Turbo码的编解码模型及其译码算法,可解决星地量子密钥分发的数据协调过程需多次信息交互的问...

  • 基于规范的贪婪边界无状态路由入侵检测方法

    关键词:移动自组织网络    贪婪边界无状态路由协议    入侵检测    检测规则    典型攻击    

    贪婪边界无状态路由(GPSR)协议在移动自组织网络中的应用较多,而相应的入侵检测技术则不够完善。为此,在分析移动自组织网络入侵检测技术的基础上,根据GPSR协议的特点和面临的典型攻击,提出一种GPSR入侵检测方法,制定5条检测规则,并根据规则设计入侵检测算法的基本框架和运行流程。仿真结果表明,该方法对典型攻击具有较高的检测率和较低的误报...

  • 基于组策略的SDN多粒度流量检测系统

    关键词:软件定义网络    基于组策略    模块链    安全检测模块    流量检测    

    为提升软件定义网络(SDN)的网络控制力和安全性,通常利用SDN集中管控及流表控制特性开发大量安全应用,但此类安全应用实现功能单一、防护粒度粗,无法对整个网络形成综合防护。针对该问题,设计多粒度流量检测系统。借鉴组策略(GBP)的分组思想对基础设施层进行分组管理,基于模块链实现安全检测功能由硬件设备向软件服务的转型,定义安全检测模...

  • 一种增强的差分隐私数据发布算法

    关键词:差分隐私    数据发布    决策树    基尼系数增益    指数机制    拉普拉斯机制    

    为在同等隐私保护强度下提高发布数据的分类准确率,在Diff Gen算法基础上提出一种改进的差分隐私数据发布算法Gini Diff。该算法将原始数据集完全泛化,在每轮迭代中通过指数机制选择特化方案,并以构建决策树的方式将特化后的记录划归到新的等价类,使用拉普拉斯机制为等价类计数添加噪声并生成发布数据集。运用基尼系数增益衡量不同特化方案的可...

  • 基于身份的服务器辅助验证代理重签名方案

    关键词:服务器辅助验证代理重签名    双线性对    多线性映射    合谋攻击    计算复杂度    

    在现有的多数基于身份代理重签名方案中,签名验证过程包含有复杂的双线性对运算,由于执行耗时较长,使其在计算能力较弱的低端计算设备上适用性较低。为提高签名验证效率,结合服务器辅助验证签名和基于身份的代理重签名,引入基于身份的服务器辅助验证代理重签名体制,并给出其安全性定义。设计一个新的服务器辅助验证代理重签名方案,在合谋攻击、...

  • 基于LDA模型的多角度个性化微博推荐算法

    关键词:微博    个性化推荐    隐含狄利克雷分布模型    推荐算法    评分预测    

    通过基于概率的主题挖掘模型隐含狄利克雷分布(LDA)挖掘用户兴趣主题,是目前最常用的用户兴趣主题挖掘方法。为进一步改善用户体验,推荐其感兴趣且质量好、新鲜度高的微博,提出一种新的多角度个性化微博推荐算法。通过微博发布时间、转发数、评论数等特征计算微博重要度,利用LDA模型生成的用户-主题矩阵以及主题-词汇矩阵计算用户对微博的兴趣...

  • 基于词向量的产品评论有用度评估方法

    关键词:产品评论    词向量    有用度    深度学习    神经网络语言模型    

    产品评论的快速增长以及质量的参差不齐,使得消费者获得有用的产品评论变得困难。为此,提出一种新的产品评论有用度评估方法。引入词向量作为评论文本的深度特征表示,结合结构特征、情感特征、元数据特征等训练回归模型,自动地对评论进行有用度评估并基于有用度对评论进行排序。在Amazon真实数据集上的实验结果表明,该方法在回归性能和排序性能...

  • 在线社交网络的自适应UNI采样方法

    关键词:在线社交网络    采样方法    uni方法    自适应方法    区间划分    

    在线社交网络采样方法常作为其他采样方法的评估基准,但是该方法采样命中率和采样效率较低,影响了其应用。为此,提出一种自适应UNI采样方法。该方法将用户ID系统空间划分为若干区间进行采样,根据各区间命中率自适应地调节在各区间的采样概率,以提高采样命中率和效率。设定采样概率下限阈值解决冷启动问题,同时利用区间的采样率调节区间采样概率,...

  • 基于社会化标签和历史价格曲线的网络结构个性化推荐方法

    关键词:社会化标签    历史价格曲线    网络结构    个性化推荐    二部图    三部图    

    社会化标签包含商品丰富的内容,体现用户对商品的个性偏好,而商品的历史价格曲线影响用户的购买倾向。为此,提出社会化标签和历史价格曲线的个性化推荐方法。将用户-标签-商品的三部图网络结构分解为用户-标签、标签-商品的二部图网络结构。在用户-标签二部图中,利用商品历史价格曲线的权重,基于商品历史价格曲线求得用户对标签的评分,并区分用...

  • 基于隐结构感知的并列名词短语识别研究

    关键词:并列名词短语    隐结构感知    条件随机场    序列识别    边界识别    

    针对现有并列名词短语识别不能处理短语序列隐含信息的情况,提出一种新的并列名词短语识别方法。采用隐结构感知模型与条件随机场模型,识别并列名词短语序列以及序列中用于连接并列名词短语的连词和标点。针对并列名词短语序列进行任务描述,建立语料库并选择典型的并列名词短语识别特征进行实验。结果表明,隐结构感知模型由于加入序列中的隐含信...

  • 第四方物流多到多弹复性网络设计

    关键词:物流网络    多到多网络设计    网络系统    决策变量    人工蜂群算法    

    为了使第四方物流(4PL)能够提供安全、有效的物流服务,提出多个供需点对之间物流配送任务下的4PL弹复性网络设计模型。建立以总物流成本最小化为目标的优化模型,考虑物流服务节点和运输线路的中断,通过构建备用路径实现弹复性,以主路径和备用路径共用的服务节点和运输线路的数量作为弹复性指标,设计人工蜂群算法对模型进行求解,并对问题模型中...

  • 具有Hub聚集特性的分形网络优化模型分析

    关键词:优化模型    分形网络    重整化    复杂网络    盒子覆盖法    

    针对一种双目标优化网络模型具有Hub节点聚集行为的现象,提出分形的涌现与Hub节点的聚集行为有关的结论。采用盒子覆盖法对该模型的3种优化网络进行重整化,验证该模型存在分形性和尺度不变性。进一步比较一些真实网络和优化网络的平均最短路径,分析骨架结构的分形临界条件。实验结果表明,分形网络只要满足结构平衡,就具有确定比例的Hub节点聚集...

  • 基于先验色彩协方差约束的彩色图像分割

    关键词:先验色彩协方差    sigmoid函数    背景区域处理    二次分割    

    利用矢量活动轮廓C-V模型分割背景亮度高、目标区域亮度低且目标色彩不连续的彩色图像时,目标区域分割效果不理想。针对该问题,构建一种先验色彩协方差与C-V模型相结合的彩色图像分割模型。设计局部Sigmoid函数对曲线演化时的内外部区域能量进行局部处理,提升分割速度。给出先归级后精细的二次分割框架和背景区域处理机制以保证彩色图像的精细分...

  • 基于局部结构张量的图像三边滤波器

    关键词:图像去噪    三边滤波    局部结构张量    奇异值分解    图像结构特征    相似性度量    

    针对双边滤波器灰度相似权函数易受噪声影响且在图像细节区域滤波存在盲目性的问题,提出一种新的图像三边滤波器用以过滤高斯噪声。通过局部结构张量奇异值分解估计图像的几何结构信息,获得能够刻画图像内容差异的特征信息。在此基础上,设计基于图像特征分类的灰度相似权函数,同时通过引入结构相似权的方式将鲁棒的特征信息耦合到双边滤波器框架...

  • 基于行间留白的文档图像校正方法

    关键词:卷积    最小二乘多项式拟合    二遍扫描法    区域生长法    图像拉直    

    基于2D图像处理的文档图像校正技术通常先进行单词或字符分割,会导致算法复杂、耗时。针对该问题,提出一种改进的校正算法。运用向上优先区域生长法搜索行间留白,实现行间分割得到弯曲行图像。对弯曲行图像采用改进二遍扫描法标记字符四连通区域获得行基点,对行基点使用最小二乘法拟合三次多项式,并将多项式曲线拉直拼接出全图。OCR应用和对比实...

  • 轮式移动机器人单目视觉的目标测距方法

    关键词:轮式移动机器人    摄像机标定    单目测距    立体物体    小孔平面成像    

    为减小特征匹配以及摄像机光轴倾斜对单目测距造成的误差,提出一种基于单目视觉的轮式移动机器人目标测距方法,将测距目标从平面物体推广到立体物体,在无须校正的情况下提高测量精度。通过对摄像机进行标定测量其内外参数,建立小孔平面成像模型得到世界坐标系与像素坐标系的对应关系。针对坐标变换矩阵奇异的情况,引入面积这一特性进行求解,推导...

  • 基于模态参数识别的ITD算法改进

    关键词:固有时间尺度分解算法    模态参数    模型阶次    稀疏优化    相对误差    

    固有时间尺度分解(ITD)算法在前处理和系统定阶方面存在一定的人为因素,对模态参数的提取会造成误差,且对噪声较为敏感。针对上述问题,提出一种改进的ITD算法。利用基于数据驱动的随机子空间算法对原始数据进行处理,将正交三角分解得到的数据作为ITD法的输入数据,采用稀疏优化正交匹配追踪算法求出特征矩阵,并通过特征矩阵计算特征值、模态频...

  • WSN集群报告预测及三次折叠压缩转发方法

    关键词:无线传感器网络    数据预测    集群    压缩    时空相关性    网络寿命    

    针对无线传感器网络中无法构建数据相似的集群以及数据交换通信成本高的问题,提出一种使用数据预测来减少集群开销的方法,节约节点能量以延长无线传感器网络寿命。利用最小通信成本构建数据相似且均匀分布的集群,并基于自适应归一化最小均方根的预测框架减少集群内通信。使用三次折叠压缩方法压缩编码流内的浮点数,利用数据的时空相关性进行压缩...

  • 基于观测器的多智能体系统自适应跟踪控制

    关键词:多智能体系统    一致性    观测器    自适应控制    跟踪控制    

    基于带有非线性动态的二阶多智能体系统,研究在有参考领导者条件下的跟踪一致性问题。假设跟随者之间的网络拓扑为有向图。针对跟随者不能得到自己的速度信息,为每个跟随者设计分布式观测器来估计自己的速度,在网络拓扑为有向图且在切换拓扑图的情况下给出基于观测器的自适应控制协议。利用Lyapunov稳定性理论和矩阵理论分析,得到使系统实现一致...

  • 基于内存与文件共享机制的Spark I/O性能优化

    关键词:分布式计算    spark平台    shuffle过程    任务调度    

    通过对Spark采用的弹性分布式数据集及任务调度等关键技术进行分析,发现数据处理I/O时间是影响Spark计算性能的主要瓶颈。为此,研究Spark合并文件运行模式,该模式能够减少缓存文件数量,提高Spark的I/O效率,但存在内存开销较高的缺点。在此基础上,给出改进的Spark Shuffle过程,即通过设计一种使每个Mapper只生成一个缓存文件的运行模式,并且每个M...

  • 基于信息网模型的Web实体语义信息搜索平台

    关键词:语义表示和建模    信息网模型    语义关系    推理规则    inm查询语言    语义信息搜索    

    Web上实体信息过于分散且缺乏语义,传统基于关键词匹配的搜索引擎往往因缺少上下文等语义信息,无法搜索到精确的结果。为了对Web数据进行精确查找,使用信息网模型(INM)对Web数据进行语义表示和建模,将实体的所有语义信息组织在一个对象中,快速获取实体完整的语义信息。基于INM构建复杂语义数据库,设计实现一个可对教育领域相关实体信息进行精...

  • 基于蚁群平台的大规模分布式XML数据库

    关键词:原生xml数据库    蚁群    软硬协同设计    查询    并发度    

    为解决现有原生XML数据库查询效率不高、查询并发度低、数据库规模小及可扩展性不足等问题,基于蚁群高效多用计算平台设计一个大规模分布式原生XML数据库原型系统。采用软硬协同设计思想,在硬件部分设计多并行、全流水、可配置的查询过滤结构,以实现高效查询。利用软件平台的通用性,实现数据库的灵活配置和查询结果排序、筛选等复杂处理,并针对...

  • 基于局部线性嵌入算法的流量矩阵流形结构分析

    关键词:流量矩阵    局部线性嵌入算法    本征维度    流形结构    骨干网络    

    利用经典流形学习算法研究流量矩阵中的流形结构,能够获得流量矩阵的本征维度。然而局部线性嵌入(LLE)算法依赖于近邻点的选取,传统近邻选取个数往往通过实验试凑法得到最优解,不能完全揭示流量矩阵的流形结构。针对上述缺点,提出一种改进的局部线性嵌入算法,该算法利用改进的LLE算法探索流量矩阵的流形结构,并对实际骨干网络中的流量矩阵进行...

  • 三维数字沙盘标准模块的设计与实现

    关键词:三维数字沙盘    硬件误差    电擦除可编程只读存储器    可靠控制    数据保护    

    为完成对三维数字沙盘机械装置的控制,设计基于嵌入式的三维数字沙盘标准模块,并针对机械装置自身硬件误差导致的行程中断异常以及突发性断电后数据丢失等问题,提出从软件角度弥补硬件行程中断误差以及预防断电的数据保护方案。硬件行程中断误差的弥补方案通过模拟中断过滤层,设计消抖机制和中断合法性机制,过滤杂波并判断中断的合法性,保留正确...

  • 基于北斗卫星的可靠远程通信系统设计

    关键词:北斗短报文通信    丢包反馈重传机制    粘包机制    分包机制    系统通信协议    

    为构建稳健的远程数据传输系统,设计并实现一种基于北斗短报文协议的可靠远程通信系统。针对北斗短报文通信不可靠和通信容量有限的局限性,采用丢包反馈重传机制完善数据传输的可靠性,运用粘包机制提高小数据传输效率,根据分包机制实现大数据的正确传输。将北斗短报文通信协议的电文内容进行扩充,自定义系统通信协议,设计开发一款嵌入式通信接口...

  • 基于删边提高网络容量的方法

    关键词:网络容量    介数    删边    无标度网络    节点转发能力模型    

    考虑到网络静态拓扑对网络动态流量的影响,提出一种提高网络容量的方法。通过删除高介数的边,使数据包绕开网络中的中枢节点,从而平衡网络负载。根据边介数排序,在保证网络连通的前提下循环删边,并在不同的节点转发能力模型下进行仿真实验,结果表明,该方法操作简单、高效,不仅能提高网络容量,而且节省了维护成本。

  • 基于模代数预编码的MIMO室内可见光通信系统

    关键词:可见光通信    多输入多输出    模代数预编码    格基规约    信噪比    鲁棒性    

    针对基于模代数预编码(THP)的多用户多输入多输出(MIMO)室内可见光通信系统存在误码率高、功率利用率低的问题,提出一种基于格基规约THP的多用户MIMO(MU-MIMO)通信系统。通过改进的格基规约THP对信道矩阵进行优化使其满秩,在此基础上,设计多用户接收信号均衡分配方案。仿真结果表明,在信噪比较高且信道不稳定的情况下,MU-MIMO通信系统具有...

  • 无线认知网络中的选择触发协作频谱感知

    关键词:协作频谱感知    无线认知网络    能量消耗    检测概率    通信成本    

    在无线认知网络中,常规协作频谱感知算法用于增强频谱感知的准确性,但是该算法增加了通信成本以及认知用户的能量消耗。为此,提出一种选择触发协作频谱感知算法(STCSS)。该算法基于当前频谱感知能量阈值判定是否触发二次协作频谱感知,使得协作频谱感知仅在必要时被触发从而降低能量消耗与通信成本。仿真结果表明,对比协作频谱感知算法与精细快...

  • 基于代数决策图的路由查找算法

    关键词:路由表    路由查找    代数决策图    符号算法    最长前缀匹配    伪布尔函数    

    为解决路由查找过程中路由表项数不断增加导致存储冗余大和查找效率低的问题,在代数决策图(ADD)的基础上,提出一种改进的路由查找算法。根据符号算法的特性对路由表项进行伪布尔函数表示,综合考虑路由表结构特征和符号算法的优势,基于ADD结构构建基于前缀的路由表,并给出路由表更新、删除、查找算法。通过国际项目管理协会提供的开源路由表进...

  • 基于GDOP加权的TOA/AOA混合定位算法

    关键词:无线传感器网络    定位    到达时间    到达角度    几何精度因子    

    现有基于无线传感器网络(WSN)的到达时间/到达角度(TOA/AOA)定位算法在锚节点位置存在误差的条件下定位精度不高。针对该问题,融合几何精度因子(GDOP)加权,提出一种改进的TOA/AOA混合定位算法。根据单个锚节点对定位参量的测量误差及其自身位置误差,得出基于单节点的TOA/AOA混合定位算法的GDOP计算公式。依据WSN中所有锚节点的测量误差及...

  • 一种延迟偏移的二进制正交线性调频信号调制方法

    关键词:线性调频信号    互干扰    旁瓣抑制    时间带宽积    延迟偏移    

    在低时间带宽积条件下,二进制正交键控(BOK)匹配检测存在正负调频斜率互干扰和自匹配旁瓣幅度大的问题。为此,提出一种新的延迟偏移Chirp-BOK调制方法。通过在正负调频斜率符号间加入延迟偏移量,减少正负调频斜率信号间的互干扰,从而抑制旁瓣,提高峰值旁瓣比。对该调制方法的最佳延迟偏移量进行工程求解和仿真分析,结果表明,与窗函数加权旁瓣...

  • 分子序列压缩算法在卫星IP网络中的应用

    关键词:冗余消除    分子序列压缩    历史同步    卫星ip网络    时延波动    

    以冗余消除技术中的分子序列压缩算法(MSR)为例,分析卫星链路高误码率和长时延对MSR算法压缩性能的影响,提出一种基于确认的历史同步机制(PAS)。将PAS机制与MSR算法相结合,把接收端确认收到的数据包作为收发两端的历史数据并使历史数据始终保持同步,从而确保接收端能对所有数据包进行解压,避免数据包丢失。实验结果表明,MSR-PAS在高误码率和...

  • 低空多无人机自组网数据可靠传输的跨层方法

    关键词:低空多无人机    跨层    中断概率    拥塞控制    路由选择    

    低空多无人机自组织网络由于数据传输容易被地形或建筑物等遮挡,通信中断时有发生,同时传统拥塞处理体系已不能满足无人机间通信的质量要求。针对以上问题,提出一种数据可靠传输的跨层方法。运用该方法在物理层根据信道条件得出3种通信方式的中断概率,在MAC层根据数据包进入缓存队列时间,进行拥塞等级划分,在传输层根据拥塞情况控制滑动窗口大小...

  • 一种结合动态与静态分析的函数调用图提取方法

    关键词:恶意程序    函数调用图    控制流图    静态分析    动态分析    

    完整准确地提取函数调用图是基于函数调用图进行恶意程序相似性分析的基础。为此,提出一种动静结合的恶意程序函数调用图提取方法。在对程序进行静态反汇编的基础上抽取恶意程序的可执行路径,使用隐藏信息主动发现策略找出恶意程序中隐藏的指令和函数调用,采用动态反馈机制完成动静结合分析过程中的信息同步。实验结果表明,该方法能够有效应对各...

  • 通用可组合的群签名协议

    关键词:群签名    理想函数    并发执行    安全性    不可伪造性    

    目前群签名协议大多只局限于单个协议执行的安全性,在多协议环境下安全性减弱。为此,研究通用可组合模型框架下的群签名在多个协议并发执行时的安全性。由于在通用可组合的模型框架下可以模块化地分析协议,因此利用此框架定义群签名协议的理想函数,提出可以实现此理想函数的群签名协议,并证明此协议的安全性和不可伪造性。基于离散对数问题给出...

  • 基于字符级循环网络的查询意图识别模型

    关键词:查询意图    字符级    循环神经网络    记忆网络    词向量    

    以特征模板为主的查询意图识别方法存在人工抽取特征繁琐,并且难以捕捉文本语义信息的问题。为此,基于字符级循环网络,提出一种新的查询意图识别模型。为能有效提取句子深层次语义特征,减少长距离信息依赖的限制,使用长短时记忆网络(LSTM)作为神经网络线性变换层,同时增加一层反向LSTM抽取字符的将来信息特征。使用原始汉字直接作为模型的输入...

  • 基于文本加权KNN算法的中文垃圾短信过滤

    关键词:垃圾过滤    关联规则    特征选择    k最近邻算法    向量空间模型    

    针对K最近邻(KNN)算法在文本分类决策规则上由于样本重要性相同而导致分类效果不佳的问题,提出一种基于文本加权的KNN文本分类算法,并将其应用于垃圾短信的分类问题。在提取出特征词之后,考虑到特征词在文本中出现的频率对文本重要性的影响,引入第1个加权公式,同时针对垃圾短信数据集,采用关联规则算法挖掘出在垃圾短信中频繁出现的共现词组,...

  • 一种数学表达式检索结果相关排序算法

    关键词:数学表达式    犹豫模糊集    检索    相似度    相关排序    

    针对数学表达式符号种类繁多、结构复杂多变、语法语义丰富等特点,提出一种检索结果相关排序算法,利用犹豫模糊集在处理多特征、多隶属度模式方面的优势,计算数学表达式间的相似度,实现基于相似度的数学表达式检索结果的相关排序。通过归纳数学表达式的符号、结构、语法、语义方面的特征,建立数学表达式的相似度函数,对数学表达式检索系统中用户...

  • 基于噪声分类与补偿的车载语音识别

    关键词:语音识别    噪声鲁棒性    噪声补偿    支持向量机    特征提取    

    针对现有车载语音识别系统在实际应用环境下噪声鲁棒性较差的问题,提出一种基于支持向量机(SVM)的噪声分类与补偿方法。采集各应用场景下的噪声构建SVM噪声分类器,利用SVM对待测语音静音段中的噪声进行分类,根据噪声类型选择相应的带噪训练模板进行噪声补偿,并将差分频谱倒谱系数作为特征参数进一步抑制语音段中的噪声,从而实现车载语音识别。...

  • 基于邻域和变异算子组合优化的MOEA/D算法

    关键词:邻域范围    变异算子类型    候选池    基于分解的多目标进化算法    多目标优化    

    考虑到在基于分解的多目标进化算法(MOEA/D)中,邻域大小与变异算子类型对算法进化过程中的探索模式有不同的影响,提出优化的MOEA/D算法。4种不同大小的邻域范围和4个特性不同的变异策略两两组合构成候选池,利用负反馈原则,在进化过程中以较高概率从候选池中选择表现更优的组合。实验结果表明,该算法鲁棒性较强,在保证收敛性的同时具有较好的多...

  • 改进的热传导和物质扩散混合推荐算法

    关键词:协同过滤    物质扩散    用户活跃度    混合推荐    推荐算法    

    针对经典的热传导推荐算法准确度低以及物质扩散推荐算法多样性低的问题,提出一种基于热传导和物质扩散的混合推荐算法。考虑用户活跃度对推荐算法的影响,通过引入可调参数θ调节用户活跃度对推荐效果的影响,实现资源的重新分配,进而获得更好的推荐结果。实验结果表明,当θ取得最优值时,相比改进前的热传导和物质扩散混合算法,该算法在Netflix数据...

  • 基于编码稀疏表示的柔索机器人监测图像去噪算法

    关键词:混合噪声    噪声检测    稀疏表示    非局部相似    图像去噪    柔索机器人    

    在柔索机器人实际工作环境中,获取到的监测图像通常夹杂了混合噪声。为去除该混合噪声,给出一种混合噪声图像去噪算法,监测图像由加性高斯白噪声和脉冲噪声所组成。针对脉冲噪声,提出用2个阈值对噪声进行检测,在现有基于加权编码的算法上将图像稀疏表示以及非局部相似先验融入到去噪模型,最终得到去噪图像。实验结果表明,该算法在不同的噪声比率...

  • 基于联合支持向量机的目标跟踪算法

    关键词:模式识别    目标跟踪    联合支持向量机    外观模型    目标函数    

    为得到包含目标与背景的区分度以及目标自身特性的外观模型,给出一种联合支持向量机。结合一类支持向量机和二类支持向量机的特点,设计优化的目标函数,利用拉格朗日乘子法给出其对偶形式,实现求解步骤,并基于此提出目标跟踪算法,以加强目标外观模型表达的鲁棒性,提高对目标和背景的鉴别能力。在公开的测试视频集上的实验结果表明,该算法能够准确...

  • 一种面向局部神经反应的模板选取算法

    关键词:目标识别    特征提取    局部编码    描述子    模板选取    

    为提高目标识别的精确度和速度,提出一种模板选取算法。利用训练样本图像的标记信息,使属于不同类的局部神经反应尽量分开,属于同一类的局部神经反应尽量靠近,以减少模板集合中的冗余,并得到数目较少且具有较强判别能力的模板。实验结果表明,与随机选取算法相比,该模板选取算法可以在保证精确度的前提下明显提高目标识别的效率。

  • 基于K近邻法的WiFi定位研究与改进

    关键词:wifi定位    机器学习    位置指纹识别    k近邻法    聚类    箱形图    

    在分析位置指纹识别算法的基础上,研究K近邻(KNN)法在室内定位中的应用。为提高定位精度,设计新的相似度计算公式。针对K近邻法计算量大问题,将聚类算法与KNN相结合,提出一种新的WiFi定位算法。实验结果表明,该算法在WiFi定位上与KNN精度基本一致,但定位时间相应缩短,可以满足室内和室外的定位要求。

  • 基于RFID覆盖扫描的标签定位方法

    关键词:无线射频识别阅读器    参考标签    优化分析    聚类分析    室内定位    

    为提高接收信号强度指标室内定位精度,提出一种基于参考标签和旋转无线射频识别(RFID)阅读器的定位方法。在室内环境下手动旋转阅读器建立读写区域,将2个区域交点作为目标定位点的坐标估值。利用优化分析或聚类分析算法对估值点进行处理,从而得到精确定位值。实验结果表明,在2.8 m×2.8 m,5.6 m×5.6 m,8.4 m×8.4 m的室内环境下,该方法的定位误...

  • 一种模糊森林学习方法及其行人检测应用

    关键词:行人检测    随机森林    高斯隶属度函数    模糊决策    方向梯度直方图    

    针对随机森林学习方法训练数据时存在的过拟合问题,通过改进各决策节点的决策函数设计一种模糊森林学习方法。利用高斯隶属度函数构建决策树上各节点的决策函数,将确定决策路径转换为模糊决策路径。根据样本从根节点到叶节点所经过的所有决策节点的模糊决策值乘积生成模糊路径。结合各模糊路径与相应叶节点预测参数得到预测结果。将模糊森林学习...

  • 任意输电线路的DEM快速裁剪算法

    关键词:输电线路    带状大目标    数字高程模型裁剪    空间分析法    矩形拼接法    

    传统获取带状目标数字高程模型(DEM)数据的包围盒方法存在效率低、数据下载量大的问题。为此,提出基于空间分析的平滑缓冲区DEM裁剪提取算法和基于矩形拼接的DEM裁剪拼接算法,利用空间分析和矩形拼接的优势,实现带状DEM数据高效、轻量级的提取。采用电力行业三维输电线路的DEM工程数据进行实验,结果表明,所提算法在提取效率、算法复杂度和提取...

计算机工程

CSCD核心期刊 审稿

关注 31人评论|1人关注
相关热门期刊
  • 电子商务
    1个月内审稿
    影响因子: 0.75
    中国电子学会;中国信息产业商会;中电新...
  • 计算机科学
    1-3个月审稿
    影响因子: 0.94
    国家科技部西南信息中心
  • 机电一体化
    1-3个月审稿
    影响因子: 0.41
    上海科学技术文献出版社
  • 中国管理信息化
    1个月内审稿
    影响因子: 0.70
    吉林科学技术出版社有限责任公司
  • 计算机工程与科学
    1-3个月审稿
    影响因子: 0.787
    国防科技大学计算机学院
  • 计算机工程
    1-3个月审稿
    影响因子: 0.58
    华东计算技术研究所;上海市计算机学会
  • 新媒体研究
    1个月内审稿
    影响因子: 0.439
    中国科技新闻学会
  • 信息化建设
    1个月内审稿
    影响因子: 0.15
    浙江省工业经济研究所
  • 数码世界
    1个月内审稿
    影响因子: 0.00
    天津电子信息应用教育中心;天津市科学...
  • 计算机工程与应用
    1-3个月审稿
    影响因子: 0.683
    华北计算技术研究所
  • 电子科技
    1个月内审稿
    影响因子: 0.367
    西安电子科技大学
  • 计算机技术与发展
    1个月内审稿
    影响因子: 0.621
    中国计算机学会微机专委会;陕西省计算...
  • 计算机工程与设计
    1-3个月审稿
    影响因子: 0.62
    中国航天科工集团第二研究院706所
  • 信息与电脑
    1个月内审稿
    影响因子: 1.143
    北京电子控股有限责任公司
  • 电子测试
    1个月内审稿
    影响因子: 0.332
    北京自动测试技术研究所
  • 电子技术
    1个月内审稿
    影响因子: 0.296
    上海市电子学会;上海市通信学会
  • 记者观察
    1个月内审稿
    山西文化艺术传媒中心
  • 科学与信息化
    1个月内审稿
    天津科学技术出版社有限公司;天津北洋...
  • 计算机与数字工程
    1个月内审稿
    影响因子: 0.355
    中船重工集团公司七院第七0九研究所
  • 系统工程与电子技术
    1-3个月审稿
    影响因子: 0.847
    中国航天科工集团公司二院;中国宇航学...

81747已注册会员

9743已收录期刊

35896已服务客户

29743用户好评

ICP许可证/备案号:辽ICP备19013545号-3 086-024-31128100

学术顾问

免费咨询 发表服务 文秘服务 订阅服务 客服电话 免费咨询电话400-888-9411