庞建民 作品数:115 被引量:241 H指数:8 供职机构: 中国人民解放军信息工程大学 更多>> 发文基金: 国家高技术研究发展计划 国家自然科学基金 河南省科技攻关计划 更多>> 相关领域: 自动化与计算机技术 电子电信 文化科学 自然科学总论 更多>>
自动并行化多级并行代价评估方法 本发明涉及计算机高性能计算技术领域,特别涉及一种自动并行化多级并行代价评估方法,首先进行粗粒度自动并行化代价评估,其次进行中粒度自动并行化代价评估,最后进行细粒度自动并行化代价评估,然后进行综合代价评估,针对共享存储的D... 赵荣彩 庞建民 韩林 徐金龙 傅立国文献传递 一种多线程动态二进制翻译优化系统的研究与实现 被引量:1 2015年 动态二进制翻译通过对程序的动态跟踪,实时对目标代码进行解码和翻译,被广泛地应用于软件跨平台移植等领域.但是动态二进制翻译仍然存在运行开销过大和翻译低效等问题,为解决这一问题,开发了一种基于QEMU的多线程动态二进制翻译优化系统.系统通过引入多线程技术,将翻译执行前端和热路径优化后端分别放置在不同的线程中,实现了前端翻译执行和后端热路径优化的多线程并行执行.系统前端利用局部预测算法进行热路径选择,后端通过超级块封装和条件跳转优化进行本地码优化.系统的cache管理采用了分层管理策略.整体性能测试实验表明,系统在低翻译执行开销的基础上,比现有二进制翻译平台QEMU整体性能提升了约5%. 崔韫楠 庞建民 岳峰 王银浩关键词:动态二进制翻译 QEMU 多线程 一种融合地表特征表示的嵌套几何误差度量算法 2013年 三维地形可视化处理中的一个关键问题是选取高效合理的误差度量算法,实现地形多分辨率层次细节模型的快速建立与地形构建高度逼真两者之间的平衡。在地表特征量化的基础上,计算地形局部熵,结合视距标准给出地形节点评价函数;提出基于顶点几何嵌套误差的地形节点分辨率阈值控制方法,结合地形逼真度计算,给出一种融合地表特征表示的嵌套几何误差度量算法SFNE。实验表明,SFNE算法在实现地形模型快速构建的同时保证了模型视觉质量,相较经典算法,SFNE对地表细节表达更为逼真。 郭浩然 庞建民 于锦涛关键词:地表特征 粗糙度 相似度 地形可视化 Haskell语言的惰性计算特性及其应用 被引量:6 2006年 Haskell的惰性计算特性使笔者在开发软件时解决了其它语言很难解决的一些问题,但如何在实际编程中充分利用这一特性,讨论的文章较少。该文详细介绍Haskell的惰性计算特性,并通过几个相关的简单例子,阐述如何利用惰性计算特性来编写简洁优美且功能强大的程序。 庞建民 赵荣彩 王倩关键词:函数式语言 HASKELL 高阶函数 基于证据推理的程序恶意性判定方法 被引量:7 2012年 针对可执行程序恶意性难以判定的情况,提出一种基于证据推理的程序恶意性判定方法.首先,建立程序恶意性判定模型;然后,通过对程序进行反编译,抽取影响程序安全性的特征,建立程序行为集合;使用BP神经网络对模型进行训练得到各个行为的概率分配函数BPAF(basic probability assignment functions),并使用加权和形式的合成法则对程序行为进行合成;最后,实现对程序恶意性的判定.实验结果表明了该方法的有效性. 张一弛 庞建民 赵荣彩关键词:恶意代码检测 神经网络 相似度 基于指标体系信息融合的恶意代码威胁程度评估方法研究 2018年 针对当前恶意代码威胁程度评估方法的局限性,研究基于信息融合的恶意代码威胁程度评估方法,提出针对恶意代码资源消耗、破坏能力、抗检测能力、自启动能力、扩散能力、隐蔽能力、自我保护能力等7个指标的评估体系,是一种融合上述7个指标的二进制恶意代码威胁性评估方法,实验表明,该体系可以用以判定可疑代码的威胁类别,量化危害程度,不仅可以使相应工作具有针对性,而且可以降低成本,提高效益. 师炜 庞建民 梁光辉 梁光辉关键词:恶意代码 指标体系 信息融合 基于指向更新的优先权指针分析算法 被引量:1 2014年 指针分析是数据流分析中的关键性技术,其分析结果是编译优化和程序变换的基础.在基于包含的指针分析算法研究的基础上,对Narse优先权约束评估算法中存在的冗余约束评估和优先权评估模型计算开销较大的问题进行分析,以指针的指向集更新信息确定约束评估的候选集,提出了基于指向更新的约束评估算法.采用约束语句间的解,引用依赖和标量依赖构建约束依赖图,通过依赖关系确定约束评估的优先权,提出了基于约束依赖图的优先权算法,简化了既有算法中复杂的优先权评估模型,进一步给出了优化后算法的整体框架.在基准测试集SPEC2000/SPEC 2006上进行实验,其结果表明,该算法与Narse优先权算法相比,在时间开销和存储开销上都有明显的性能提升. 刘鹏 赵荣彩 庞建民 姚远关键词:数据流分析 任务流计算模型 本发明公开了一种适用于可重构高效能计算机系统的任务流计算模型。以一个五元组{T,R,SC,EC,TS}的形式表述了在任务流的方式下求解问题的途径,其中T是任务的有穷集合,R是任务之间的关系集合,SC是任务的启动条件集合,... 庞建民 黄建华 罗军勇 姚远文献传递 融合知识的小片段代码相似性比较模型 2023年 二进制小片段代码指令序列较短,基本块逻辑调用图结构简单,有限语义信息影响代码相似性比较结果,为此提出一种融合知识表示学习的二进制代码小片段相似性比较模型(BSM)。分别提取小片段代码的函数知识和函数代码,利用注意力机制和双向长短记忆得到知识嵌入,使用序列学习模型或图神经网络得到函数嵌入,融合知识嵌入和函数嵌入作为小片段代码向量表示。实验结果表明,BSM模型在跨平台比较上优于其它对比模型,说明模型能提升小片段代码比较的准确度。 夏冰 夏冰 庞建民 庞建民 岳峰关键词:二进制代码 跨平台 神经网络 自然语言处理 SIMD自动向量化编译优化概述 被引量:30 2015年 SIMD扩展部件是集成到通用处理器中的加速部件,旨在发掘多媒体程序和科学计算程序的数据级并行.首先介绍SIMD扩展部件的背景和研究现状,然后从发掘方法、数据布局、多平台向量化这3个角度介绍了SIMD自动向量化的研究问题、困难和最新研究成果,最后展望了SIMD编译优化未来的研究方向. 高伟 赵荣彩 韩林 庞建民 丁锐关键词:自动向量化