于洪涛
- 作品数：9 被引量：18H指数：3
- 供职机构：中国人民解放军信息工程大学更多>>
- 发文基金：河南省自然科学基金国家自然科学基金更多>>
- 相关领域：电子电信自动化与计算机技术医药卫生艺术更多>>
- 大规模软硬协同哈希表设计与实现
- 2023年
- 哈希表在网络报文处理,尤其是带状态的报文处理中发挥着重要作用.伴随着网络流量的快速增长,传统软件哈希表难以满足网络性能需求,而查找是影响哈希表性能的关键之一,如何提升哈希表的查找速率也一直是一个难点问题.经研究表明,现有的网络流量呈现Pareto分布特征,即存在少数的大流量数据——大象流.基于当前数据中心广泛采用的软硬协同计算模式,提出了一种基于DPDK+FPGA的大规模软硬协同哈希表架构.根据现有网络流量特征,将流量分成大象流与背景流.同时也将哈希表分成硬件表与软件表.在FPGA中构造小规模硬件表,卸载所有报文的哈希计算,以及大象流的哈希查找.在软件中基于DPDK构建大规模软件表,利用FPGA卸载哈希计算,加速背景流的查找.软件拥有所有流信息,利用采样法识别大象流并将大象流的键值对信息(key-value)更新到FPGA的硬件表中,以加速软件中大规模软件表的查找速率.采用Xilinx U200加速卡和通用服务器作为硬件平台,实现了软硬协同的大规模哈希表,并利用测试仪构造了符合当前网络特征的流量数据,以DPDK精确转发为例,验证了软硬协同哈希表的性能.结果表明,在大象流哈希查找完全卸载的情况下,其性能相较DPDK原有的精确转发提升了64%–75%;在大象流未卸载的情况下,其性能提升了5%–48%.
- 杨文韬张士军张进唐寅于洪涛
- 关键词：哈希表FPGA
- 拟态路由器BGP代理的设计实现与形式化验证被引量：1
- 2023年
- 为确保拟态路由器中协议代理等“拟态括号”关键组件的安全性和功能正确性,设计实现了边界网关协议(BGP)代理,并采用形式化方法对BGP代理的安全性和功能正确性进行了验证。BGP代理通过监听邻居路由器与主执行体之间的BGP会话报文,模拟邻居路由器与从执行体展开BGP会话,实现各执行体的BGP状态一致。采用VeriFast定理证明器,编写基于分离逻辑的形式化规约,证明程序不会出现空指针引用等内存安全问题,并验证了BGP代理各功能模块实现的高级属性符合功能规约。BGP代理实现与验证代码量之比约为1.8:1,程序设计实现和程序验证所耗费的时间之比约为1:3。经过形式化验证的BGP代理处理100000条BGP路由所花费的时间为0.16 s,约为未经过验证的BGP代理的7倍。研究工作为应用形式化方法证明拟态防御设备与系统中关键组件的安全性和功能正确性提供了参考。
- 张进葛强徐伟海江逸茗马海龙于洪涛
- 关键词：边界网关协议路由器形式化验证
- 基于Office OCR组件的文档图象检索研究被引量：3
- 2009年
- 文档图像的检索主要用于对文档图像进行管理。文章对文档检索技术进行了研究,提出了使用微软office内嵌的光学字符识别(OCR)组件对文档图像进行识别,获得了一种快速对文档图像检索的方法;另外,对类似发票图样的文档图像提出了定位识别的方法。实验证明,这些方法对文档图像的检索是有效的。
- 范兵吉立新于洪涛
- 关键词：文档图像OCR
- 基于单边自相关线性预测的语音去噪声算法被引量：1
- 2005年
- 提出了一种在自相关域上,以相关函数值为参数,利用单边自相关序列的线性预测误差去除语音中加性噪声的方法。该方法首先对含噪语音进行单边自相关处理,以语音信号的单边自相关序列替代语音信号序列,进而对该序列进行线性预测分析后,获得线性预测分析系数,并求得线性预测误差。根据误差能量与信号能量的比例关系,确定减因子μ,从含噪语音中根据减因子μ的大小减去预测误差,即可抑制噪声误差能量。实验表明:上述方法在低信噪比时,仍能较好地保留语音信号的频谱结构,使音质不至于下降。
- 徐静波于洪涛冉崇森
- 基于图注意力网络字词融合的中文命名实体识别被引量：5
- 2022年
- 命名实体识别指识别文本中具有特定意义的实体,是自然语言处理诸多下游任务的重要基石。在命名实体识别任务中,协同图网络(CGN)模型通过引入多个图注意力网络获得较强的知识整合能力及较高的处理速度,但CGN模型在嵌入层中没有充分利用词边界信息,且采用的传统静态图注意力网络影响了图注意力的表达能力。在对CGN模型的图注意力网络进行改进的基础上,提出一种中文命名实体识别新模型,在嵌入层融入词语的分词信息,以生成包含词边界信息的字向量,从而充分利用词边界信息。通过在编码层使用BiLSTM模型获取文本的上下文信息,采用改进后的图注意力网络提取文本特征,并通过优化传统图注意力网络中相关系数的计算方式,增强模型的特征提取能力。最后,利用条件随机场对文本进行解码,从而实现对实体的标注。实验结果表明,该模型相比CGN模型在MSRA、OntoNotes4.0、Weibo数据集上的F1值分别提升了0.67%、3.16%、0.16%,验证了其在中文命名实体识别任务上的有效性。
- 宋旭晖于洪涛李邵梅
- 关键词：自然语言处理中文命名实体识别
- 建立以岗位需求为牵引的专业学位考核评估机制
- 分析了当前军队研究生教育的现状，提出建立研究生培养的新模式以适应新时期部队建设的需要，从培养方案的设计、军政素质的训练以及创新能力的培养三个方面给出建议，通过全面的考核评估机制来保障军队院校研究生培养的质量。
- 黄雅静于洪涛
- 关键词：军队研究生教育考核评估机制
- 基于二维空间的语音分形处理算法被引量：3
- 2006年
- 提出了一种二维空间的语音分形增强算法。算法对已加窗、模块化的语音数据进行二维傅里叶变换。以分形维数构成自适应滤波器,降低噪声,增强语音,得到清晰的信号。研究表明,分形算法可以弥补传统线性分析方法的不足,二维自适应滤波前后语音的包络形状较好地保持了原始语音信号的特征,算法减小了由于非平稳噪声的影响,并有效抑制了音乐噪声。
- 徐静波于洪涛冉崇森
- 关键词：语音数据自适应滤波器非平稳噪声分形维数降低噪声
- 子带频谱分析的语音增强被引量：4
- 2006年
- 提出一种有效的语音增强算法,该算法使用重叠相加FFT滤波器进行谱幅度估计,给出噪声估计的两个均值参数,此参数适用于任何噪声.而且进行噪声估计无需检测语音间隙,无需VAD的运算过程,克服了单信道噪声压缩算法的缺点.
- 徐静波于洪涛冉崇森
- 关键词：噪声估计语音激活检测
- 语音噪声压缩新算法被引量：1
- 2006年
- 本文提出了一种基于VAD的语音噪声抑制方法。这种新算法源于VAD技术及谱减法,它先对含噪声信号进行VAD处理,而后是基于感知掩蔽阈值的谱减法运算,降低噪声,获得清晰的增强信号。与其它算法相比,其效果更好,语音听测试证明了这一点。
- 于洪涛徐静波冉崇森
- 关键词：VAD噪声抑制谱减
