基于LLVM的编译锁机制技术研究与实现 被引量：2

1

作者 巩令钦 沈莉 +1 位作者 周清雷 胡浩 《计算机应用与软件》 北大核心 2021年第11期11-17,97,共8页

基于申威处理器,在底层虚拟机(Low Level Virtual Machine, LLVM)编译器后端对锁机制提供编译支持,保证多线程环境下,对共享内存操作的原子性。锁机制研究与实现主要包括实现原子指令语义映射策略保证原子操作的原子性并在锁机制算法中... 基于申威处理器,在底层虚拟机(Low Level Virtual Machine, LLVM)编译器后端对锁机制提供编译支持,保证多线程环境下,对共享内存操作的原子性。锁机制研究与实现主要包括实现原子指令语义映射策略保证原子操作的原子性并在锁机制算法中加入对8位和16位数据类型的数据处理,实现锁机制在申威处理器上对小粒度数据类型的支持。基于并行计算机基准测试集NPB进行测试,在多线程环境下所有程序皆自校验通过。在16个线程下,Fortran语言程序平均加速比为11.91,最大加速比为15.73,C语言程序平均加速比为8.08,最大加速比为13.32。 展开更多

关键词 LLVM 锁机制 多线程 原子性 申威处理器

在线阅读 下载PDF 职称材料

求解Boltzmann模型方程高性能并行算法在航天跨流域空气动力学应用研究 被引量：9

2

作者 李志辉 蒋新宇 +2 位作者 吴俊林 徐金秀 白智勇 《计算机学报》 EI CSCD 北大核心 2016年第9期1801-1811,共11页

对Boltzmann方程碰撞积分物理分析与可计算建模,得到适于描述航天再入从外层空间到近地面各流域统一Boltzmann模型方程,提出求解Boltzmann模型方程统一算法高性能并行计算数学模型.发展离散速度空间区域分解大规模并行计算技术,分析统... 对Boltzmann方程碰撞积分物理分析与可计算建模,得到适于描述航天再入从外层空间到近地面各流域统一Boltzmann模型方程,提出求解Boltzmann模型方程统一算法高性能并行计算数学模型.发展离散速度空间区域分解大规模并行计算技术,分析统一算法变量依赖关系,建立可扩展并行计算方案;研究数据并行分布与并行执行特征,开展大规模并行化程序设计,并在小、中、大规模256-512、4096-20 625CPU及异构计算机500-45 000、3125-112 500进程并行算法测试,建立稳定运行于国产千万亿次超级计算机高性能可扩展大规模并行算法与航天器再入跨流域复杂气动力/热绕流问题并行化软件应用平台.通过对稀薄流到连续流再入飞行不同高度可回收返回式卫星飞行器、近空间大尺度机动飞行器跨流域绕流环境不同粒度高性能计算与验证,揭示大尺度复杂结构飞行器跨流区飞行稀薄过渡流区热流系数比连续、近连续流区热流系数随物面变化剧烈得多、大得多,发现该类飞行器后端面热流最大值发生在水平舵外侧拐角处,达驻点热流六分之一量级,提供了一个可靠求解航天器再入各流域高超声速绕流问题统一算法高性能并行计算应用研究方向. 展开更多

关键词 航天器 跨流域空气动力学 BOLTZMANN模型方程 统一算法 区域分解 高性能并行计算

在线阅读 下载PDF 职称材料

印制板实测阻抗反推介质介电常数的研究 被引量：1

3

作者 穆敦发 胡广群 +1 位作者 刘秋华 方庆玲 《绝缘材料》 CAS 北大核心 2014年第1期89-92,共4页

为实现印制板的阻抗精确设计,通过设计阻抗测试图形和借助阻抗模拟计算软件,用迭代分析反推出介电常数,然后用介电常数再计算出理论阻抗,并将其与实际阻抗测试结果进行比较分析。结果表明:将试验反推得出叠层结构中各不同介质的介电常... 为实现印制板的阻抗精确设计,通过设计阻抗测试图形和借助阻抗模拟计算软件,用迭代分析反推出介电常数,然后用介电常数再计算出理论阻抗,并将其与实际阻抗测试结果进行比较分析。结果表明:将试验反推得出叠层结构中各不同介质的介电常数用于阻抗设计,理论设计阻抗值与实测阻抗值吻合。 展开更多

关键词 介电常数 阻抗 反推 印制板

在线阅读 下载PDF 职称材料

虚拟计算环境中的协同功耗管理框架

4

作者 张鲁飞 秦芳 《信息网络安全》 2012年第6期61-65,共5页

功耗问题带来了难以解决的散热问题,虚拟化技术可以帮助计算系统提高能效比,而一些系统低功耗设计使得从软件上利用调度算法成为降低功耗的重要手段。文章介绍的虚拟环境中的协同功耗管理框架是以策略为中心的软件结构,其中包含的重要... 功耗问题带来了难以解决的散热问题,虚拟化技术可以帮助计算系统提高能效比,而一些系统低功耗设计使得从软件上利用调度算法成为降低功耗的重要手段。文章介绍的虚拟环境中的协同功耗管理框架是以策略为中心的软件结构,其中包含的重要要素有平台、状态、策略、约束、机制和通道。它们之间的关系是策略通过利用机制,改变平台的状态,通过通道,满足约束,在平台上实现预期的节能效果。 展开更多

关键词 功耗 协同管理框架 虚拟化

在线阅读 下载PDF 职称材料

一种基于特征矩阵的软件脆弱性代码克隆检测方法 被引量：13

5

作者 甘水滔 秦晓军 +1 位作者 陈左宁 王林章 《软件学报》 EI CSCD 北大核心 2015年第2期348-363,共16页

提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基本克隆类型细化拓展到更多类,通过... 提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基本克隆类型细化拓展到更多类,通过遍历代码片段对应的语法分析树中关键节点的数量,构造对应的特征矩阵.从公开漏洞数据库中抽取部分实例作为基本知识库,通过对代码进行基于多种克隆类型的聚类计算,达到了从被测软件代码中检测脆弱代码的目的.与基于单一特征向量的检测方法相比,对脆弱性特征的描述更加精确,更具有针对性,并且弥补了形式化检测方法在脆弱性类型覆盖能力上的不足.在对android-kernel代码的测试中发现了9个脆弱性.对不同规模软件代码的测试结果表明,该方法的时间开销和被测代码规模成线性关系. 展开更多

关键词 脆弱性检测 代码克隆 语法分析树 特征矩阵

在线阅读 下载PDF 职称材料

高频印制板基材发展概况和选型探讨 被引量：6

6

作者 方庆玲 吴小龙 +2 位作者 吴梅株 胡广群 徐杰栋 《绝缘材料》 CAS 北大核心 2014年第1期17-21,共5页

概述了高频基材的发展现状,重点探讨了其选型原则,并介绍了高频印制板对基材的介电常数(Dk)、介质损耗因数(Df)、铜箔表面粗糙度等方面提出的特殊要求,最后分析了全球主要高频基材供应商的相关产品材料组成及其介电性能。

关键词 高频 基材 介电常数 介质损耗 表面粗糙度

在线阅读 下载PDF 职称材料

三维水弹性软件并行化的初步实现 被引量：2

7

作者 叶永林 田超 张彦斌 《船舶力学》 EI CSCD 北大核心 2015年第1期182-190,共9页

为了满足超大型浮体尺寸巨大、结构复杂的分析需求,以及三维水弹性软件商用化的快速计算要求,文章通过对已有三维水弹性程序的分析,设计并实现了多参数并行化快速计算,为超大型浮体进一步水弹性分析奠定了良好基础。文中以常规船舶和超... 为了满足超大型浮体尺寸巨大、结构复杂的分析需求,以及三维水弹性软件商用化的快速计算要求,文章通过对已有三维水弹性程序的分析,设计并实现了多参数并行化快速计算,为超大型浮体进一步水弹性分析奠定了良好基础。文中以常规船舶和超大型浮式平台为例,测试了并行化软件的正确性与快速性。结果表明,并行化改造达到了快速计算的效果。 展开更多

关键词 三维水弹性 并行化 超大型浮体 主坐标响应

在线阅读 下载PDF 职称材料

采用硬件加脱密算法实现IPv6网关

8

作者 张俊 朱燕 沈亮 《系统工程与电子技术》 EI CSCD 北大核心 2008年第4期761-763,共3页

针对IPv6网络协议,提出了采用硬件加脱密算法的网关模型。该模型通过构建ESP安全隧道能够保证IPv6网络环境中数据的完整性和机密性。模型的实现技术采用软硬件相结合的方法,采用硬件方式提高加脱密处理速度。同时还针对预留的QoS字段探... 针对IPv6网络协议,提出了采用硬件加脱密算法的网关模型。该模型通过构建ESP安全隧道能够保证IPv6网络环境中数据的完整性和机密性。模型的实现技术采用软硬件相结合的方法,采用硬件方式提高加脱密处理速度。同时还针对预留的QoS字段探讨出一套利用密码网关来配合实施服务质量的方案。 展开更多

关键词 IPV6 服务质量 安全网关 ESP 硬件加脱密

在线阅读 下载PDF 职称材料

一个多重变形vbs木马解码分析

9

作者 金玉荣 谢亿鑫 +1 位作者 杨奕 张博 《信息网络安全》 2013年第12期67-70,共4页

脚本类木马为了提高其生存能力和反调试能力,多以转换数据的方式存储指令代码,使其变形的指令在内存中解码并运行,从而导致无法对其进行有效的分析。文章通过脚本调试技术,在对脚本进行充分分析的基础上,不断转储木马解码数据,同时修改... 脚本类木马为了提高其生存能力和反调试能力,多以转换数据的方式存储指令代码,使其变形的指令在内存中解码并运行,从而导致无法对其进行有效的分析。文章通过脚本调试技术,在对脚本进行充分分析的基础上,不断转储木马解码数据,同时修改木马相关执行参数和运行环境参数,分析了木马的完整解码过程和运行过程。 展开更多

关键词 木马 脚本 变形 解码

在线阅读 下载PDF 职称材料

M＆S中周期数据质量保证

10

作者 张明清 张艳 +1 位作者 王景会 赵楠 《火力与指挥控制》 CSCD 北大核心 2009年第3期119-122,共4页

数据的有效性与精确性在M&S全周期的校核、验证与确认过程中起着重要作用。从保证全生命周期的数据质量出发,说明了数据质量保证评估的体系结构,重点介绍了从数据采样到结论生成全周期中保证数据质量的基本原理和详细步骤。

关键词 数据校核 数据验证 数据质量评估

在线阅读 下载PDF 职称材料

稳定剂和催化剂对化学镀铜颜色的影响 被引量：2

11

作者 李成虎 刘秋华 +1 位作者 吴梅珠 吴小龙 《电镀与精饰》 CAS 北大核心 2014年第2期25-28,共4页

化学镀铜溶液中催化剂和稳定剂的变化会影响化学镀铜的沉积速率以及表观颜色。采用某公司化学镀铜溶液进行研究。结果表明,当溶液中稳定剂质量浓度较高时,化学镀铜层颜色变暗,沉铜速率降低;当溶液中催化剂质量浓度较高时,化学镀铜层颜... 化学镀铜溶液中催化剂和稳定剂的变化会影响化学镀铜的沉积速率以及表观颜色。采用某公司化学镀铜溶液进行研究。结果表明,当溶液中稳定剂质量浓度较高时,化学镀铜层颜色变暗,沉铜速率降低;当溶液中催化剂质量浓度较高时,化学镀铜层颜色变亮,沉铜速率升高;当溶液中稳定剂质量浓度为0.8mL/L、催化剂质量浓度为4mL/L时,化学镀铜可以获得理化性能较好的淡红色的化学镀铜层。 展开更多

关键词 化学镀铜 化学镀铜颜色 沉铜速率 催化剂 稳定剂

在线阅读 下载PDF 职称材料

清华大学CIESM模式及其参与CMIP6的方案 被引量：10

12

作者 林岩銮 黄小猛 +32 位作者 梁逸爽 秦怡 徐世明 黄文誉 徐芳华 刘利 王勇 彭怡然 王兰宁 薛巍 付昊桓 张广俊 王斌 李锐喆 张诚 卢麾 阳坤 罗勇 白玉琪 宋振亚 王敏琦 赵文婕 张峰 徐敬蘅 赵曦 陆春松 骆亦其 陈奕兆 胡勇 唐强 陈德训 杨广文 宫鹏 《气候变化研究进展》 CSCD 北大核心 2019年第5期545-550,共6页

世界气候研究计划(WCRP)组织实施第六次国际耦合模式比较计划(CMIP6),清华大学联合国内多家单位,通过多年的模式研发,完成联合地球系统模式(CIESM),除了CMIP6的气候诊断、评估和描述试验(DECK)和历史气候模拟试验(Historical),模式拟参... 世界气候研究计划(WCRP)组织实施第六次国际耦合模式比较计划(CMIP6),清华大学联合国内多家单位,通过多年的模式研发,完成联合地球系统模式(CIESM),除了CMIP6的气候诊断、评估和描述试验(DECK)和历史气候模拟试验(Historical),模式拟参与6个CMIP6子计划。通过介绍该模式的基本情况及其参与的试验子计划,为今后模式试验数据使用者提供参考。 展开更多

关键词 清华大学 联合地球系统模式(CIESM) CMIP6 气候系统模式 地球系统模式

在线阅读 下载PDF 职称材料

基于LLVM编译器的节点融合优化方法 被引量：3

13

作者 胡浩 沈莉 +1 位作者 周清雷 巩令钦 《计算机科学》 CSCD 北大核心 2020年第S01期561-566,595,共7页

LLVM是以C++编写的架构编译器的框架系统,支持多后端和交叉编译,用于优化程序的编译时间、链接时间、运行时间和空闲时间。节点融合是一种简单有效的优化方法,其基本思想为将多个节点优化为一个高效的融合节点,减少诸如指令、寄存器、... LLVM是以C++编写的架构编译器的框架系统,支持多后端和交叉编译,用于优化程序的编译时间、链接时间、运行时间和空闲时间。节点融合是一种简单有效的优化方法,其基本思想为将多个节点优化为一个高效的融合节点,减少诸如指令、寄存器、时钟周期和访存等开销,以达到减少程序运行时间,提升访存效率等目的。为了提升LLVM编译器的性能,文中在LLVM编译流程的中间表示阶段和DAG合并阶段、指令选择阶段提出了节点融合优化方法。在国产平台申威处理器下,以CLANG和FLANG为编译器前端,LLVM为编译器后端,基于SPEC CPU2006测试集进行了评估,实验结果表明,节点融合优化有利于提高编译器性能和减少程序运行时间,优化后最大加速比为1.59,平均加速比为1.13。 展开更多

关键词 LLVM 节点融合 中间表示 DAG合并 指令选择 国产平台

在线阅读 下载PDF 职称材料

海量数据驱动下的高分辨率海洋数值模式发展与展望 被引量：12

14

作者 宋振亚 刘卫国 +3 位作者 刘鑫 苏天赟 刘海行 尹训强 《海洋科学进展》 CAS CSCD 北大核心 2019年第2期161-170,共10页

海洋数值模式是定量描述海洋物理现象及其变化的数值模型,也是海洋与气候研究、预测的核心工具。随着海洋观测的不断投入与积累、对海洋认识的不断深入,特别是在高性能计算技术的支撑下,海洋数值模式已有了长足进步,正朝着高分辨率和多... 海洋数值模式是定量描述海洋物理现象及其变化的数值模型,也是海洋与气候研究、预测的核心工具。随着海洋观测的不断投入与积累、对海洋认识的不断深入,特别是在高性能计算技术的支撑下,海洋数值模式已有了长足进步,正朝着高分辨率和多物理过程的方向发展。随着分辨率的提高、物理过程的细化,海洋数值模式的发展面临着多个方面的挑战。当前,海洋数据数量和种类不断增多,同时超级计算机、高性能计算和深度学习等技术的快速发展,为海洋数值模式的突破提供了机遇与挑战。本研究回顾了海洋数值模式的发展现状,梳理和分析了其发展中遇到的大规模高效并行计算和参数优化这两个关键问题,探讨和展望了当前海量数据驱动下海洋数值模式的发展趋势。提出计算负载均衡、计算与I/O重叠的并行流水线设计以及降低全局交换的算法改进是当前突破高分辨率海洋模式大规模高效并行效率的关键。从海洋科学、高性能计算以及深度学习深度交叉融合的角度,提出了实现海洋科学与深度学习相结合的6个途径,在此基础上,探讨了基于深度学习的参数化优化可能实现的途径。 展开更多

关键词 海洋数值模式 海量数据 物理参数优化 高分辨率 深度学习 高性能计算

在线阅读 下载PDF 职称材料

基于卷积神经网络的手势识别方法 被引量：11

15

作者 郝禹哲 张玉金 +3 位作者 田海越 彭冬生 余洛 袁天夫 《传感器与微系统》 CSCD 2020年第5期48-50,共3页

使用手势图像作为输入,通过4个卷积层,每2个卷积层后接1个池化层。第一个卷积层利用64个3×3的3通道卷积核对128×128的原始手势图像进行特征提取,第二个卷积层利用32个3×3卷积核进行特征提取,并采用2×2的池化窗口进... 使用手势图像作为输入,通过4个卷积层,每2个卷积层后接1个池化层。第一个卷积层利用64个3×3的3通道卷积核对128×128的原始手势图像进行特征提取,第二个卷积层利用32个3×3卷积核进行特征提取,并采用2×2的池化窗口进行降维,第三和第四个卷积层分别利用32个3×3的卷积核和16个3×3的卷积核提取特征,再用2×2的池化窗口进行降维。网络经过全连接后,利用Dropout技术移除一些节点及其相关的输入、输出连接后,将其送入SoftMax层进行分类判决。实验结果表明:所提方法的手势识别准确率可达到97%左右,验证了该模型的有效性。 展开更多

关键词 手势识别 卷积神经网络 池化 深度学习

在线阅读 下载PDF 职称材料

基于RPCCA的无人机目标跟踪定位算法 被引量：4

16

作者 代淑娴 张玉金 +3 位作者 彭冬生 吴飞 马文锦 徐旸 《传感器与微系统》 CSCD 2019年第4期132-134,138,共4页

针对目前无人机(UAV)对于行人目标的识别准确度不高,数据传输不稳定并且易受干扰和现有无人机目标跟踪系统一般是利用卫星信号进行定位,传输数据成本较高且具有一定的局限性的问题,提出了基于正则化成对约束组件分析的无人机目标跟踪定... 针对目前无人机(UAV)对于行人目标的识别准确度不高,数据传输不稳定并且易受干扰和现有无人机目标跟踪系统一般是利用卫星信号进行定位,传输数据成本较高且具有一定的局限性的问题,提出了基于正则化成对约束组件分析的无人机目标跟踪定位算法,利用正则化成对约束组件分析实现了无人机对目标的准确识别,利用WiFi进行大数据稳定、实时的传输,与基于卫星的定位算法可以形成互补,在此基础上,利用扩频通信进行重要数据的准确传输,改善了系统的抗干扰性能。实验结果表明:该算法不仅可以有效地识别与跟踪目标,而且可以实时传输无人机的位姿参数与目标检测结果。 展开更多

关键词 无人机 正则化成对约束组件分析 目标识别 WIFI 扩频通信

在线阅读 下载PDF 职称材料

谱相关测向新算法及其在TMS320C25上的实现

17

作者 杨家兴 王晓春 《数据采集与处理》 CSCD 1995年第2期92-98,共7页

许多已调通信信号具有周期平稳性,在时域其自相关函数具有周期性,在频域同期频率具有谱相关特性。利用这种谱相关特性使许多信号处理技术具有了很多有用的新特点。本文介绍了两种测向新算法,它们通过谱相关理论的应用,使新算法具有信号... 许多已调通信信号具有周期平稳性,在时域其自相关函数具有周期性,在频域同期频率具有谱相关特性。利用这种谱相关特性使许多信号处理技术具有了很多有用的新特点。本文介绍了两种测向新算法,它们通过谱相关理论的应用,使新算法具有信号选择性,克服了当今流行的空间谱估计测向算法存在的不足。新算法开发了期望信号已知的谱相关特性,在多径和任意数目、任意接近于期望信号的干扰存在情况下,都能估计出期望信号的到达方向。计算机模拟证实了这一良好性能,并且在TMS320C25系统上实时实现了这种新算法。 展开更多

关键词 测向 谱相关理论 多径干扰 数字信号处理

在线阅读 下载PDF 职称材料