基于动态切片与预训练模型的代码漏洞检测 被引量：4

1

作者 嵇友晴 卢跃 +2 位作者 潘世文 张迎周 谢金言 《小型微型计算机系统》 CSCD 北大核心 2024年第6期1529-1536,共8页

当前大部分基于深度学习的漏洞检测模型,通常以整个文件或函数作为输入,检测粒度较粗,存在准确率低下、可扩展性差等挑战.为了应对这些挑战并提升漏洞检测技术的性能,同时针对静态切片方法在发现特定执行条件下的漏洞存在不足的问题,提... 当前大部分基于深度学习的漏洞检测模型,通常以整个文件或函数作为输入,检测粒度较粗,存在准确率低下、可扩展性差等挑战.为了应对这些挑战并提升漏洞检测技术的性能,同时针对静态切片方法在发现特定执行条件下的漏洞存在不足的问题,提出了一种基于动态切片与预训练模型的代码漏洞检测方法.通过动态切片获取包含路径特征的语句块,借助CodeBERT预训练模型的语义提取能力将具有语义特征和路径特征的动态切片结果表示成二维张量;将代码结构和语义特征编码成灰度图像中的像素值,借助Swin Transformer的特征提取能力,以此更准确地进行漏洞检测.实验数据表明本文的方法取得了较好的效果,可降低误报率和漏报率,同时提高漏洞检测的准确性和可靠性. 展开更多

关键词 代码缺陷检测 动态切片 预训练模型 Swin Transformer

在线阅读 下载PDF 职称材料

基于小样本学习的源码漏洞检测 被引量：2

2

作者 陈洪森 方勇 +2 位作者 郝城凌 杨运涛 张棋 《信息安全研究》 CSCD 北大核心 2024年第5期440-445,共6页

源码漏洞检测是发现及定位关键系统威胁的重要手段.目前,将深度学习技术应用于源码漏洞检测已经成为研究热点.然而,由于源码漏洞样本缺失,有限的数据条件资源导致现有的源码漏洞检测方法在小样本场景下效果不佳.提出了一种基于小样本学... 源码漏洞检测是发现及定位关键系统威胁的重要手段.目前,将深度学习技术应用于源码漏洞检测已经成为研究热点.然而,由于源码漏洞样本缺失,有限的数据条件资源导致现有的源码漏洞检测方法在小样本场景下效果不佳.提出了一种基于小样本学习的源码漏洞检测方法,其目标在于为有限样本量的源码漏洞检测场景提供解决方案.该方法由4个关键部分组成:源码切片和编码、基于元学习的数据集处理、基于动态路由算法的漏洞类向量生成和基于神经张量网络的漏洞类向量匹配.该方法和卷积神经网络、原型网络、关系网络进行了对比,实验结果表明,该方法在准确率方面优于其他的方法,可以有效应对源码漏洞样本稀疏问题.在2-way 5-shot和2-way 10-shot的情况下,该方法分别达到93.92%和95.08%的准确率. 展开更多

关键词 小样本学习 漏洞检测 归纳网络 代码切片 元学习

在线阅读 下载PDF 职称材料

基于贪婪算法的MGS编码优化方法 被引量：1

3

作者 柳伟 陈旭 +1 位作者 梁永生 张基宏 《计算机工程》 CAS CSCD 北大核心 2011年第15期208-211,共4页

提出一种基于贪婪算法的MGS可伸缩编码的码率控制优化方法。该方法以较低的计算复杂度优化MGS编码,根据不同帧类型和质量层类型的统计特性分别建立不同的率失真模型,并基于贪婪算法确定MGS的片层优化分配方案。实验结果表明,该方法在相... 提出一种基于贪婪算法的MGS可伸缩编码的码率控制优化方法。该方法以较低的计算复杂度优化MGS编码,根据不同帧类型和质量层类型的统计特性分别建立不同的率失真模型,并基于贪婪算法确定MGS的片层优化分配方案。实验结果表明,该方法在相同码率下明显提高解码图像的质量,平均峰值信噪比可提高0.5 dB。 展开更多

关键词 MGS编码 片层 码率控制 率失真模型 贪婪算法

在线阅读 下载PDF 职称材料

一种基于分层切片模型思想的源程序信息分析方案 被引量：3

4

作者 朱平 谭毅 +1 位作者 李必信 郑国梁 《计算机工程》 CAS CSCD 北大核心 2001年第12期32-34,共3页

作为软件理解的手段之一,程序切片技术通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的分析和理解。程序切片算法必须建立在对源程序信息正确、完整分析的基础上。详细地描述了一种基于分层切片模... 作为软件理解的手段之一,程序切片技术通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的分析和理解。程序切片算法必须建立在对源程序信息正确、完整分析的基础上。详细地描述了一种基于分层切片模型思想的程序信息提取方案。该方案已成功运用到一种Java程序切片工具模型JSTM(Java Slicing Tools Model)中。 展开更多

关键词 程序切片 分层切片模型 源程序信息分析 软件理解 软件工程

在线阅读 下载PDF 职称材料

基于代码片段的无线传感器网络密钥更新方案 被引量：1

5

作者 朱凌志 王建新 马行坡 《计算机应用研究》 CSCD 北大核心 2011年第6期2212-2214,共3页

针对当前无线传感器网络密钥更新技术存在的安全隐患,提出了一种基于代码片段的密钥更新方案(简称CSKUS方案)。CSKUS首先为传感器节点预分配初始密钥以及代码片段,相邻节点之间通过交换代码片段获得相同的代码片段集;然后利用代码片段... 针对当前无线传感器网络密钥更新技术存在的安全隐患,提出了一种基于代码片段的密钥更新方案(简称CSKUS方案)。CSKUS首先为传感器节点预分配初始密钥以及代码片段,相邻节点之间通过交换代码片段获得相同的代码片段集;然后利用代码片段集所组成的更新程序完成密钥更新。理论分析表明,CSKUS不仅具有很高的安全性,同时具有计算、通信开销低的特点,完全支持大规模无线传感器网络。 展开更多

关键词 初始密钥 代码片段 密钥更新

在线阅读 下载PDF 职称材料

均质土坡稳定性分析的图解法探究 被引量：6

6

作者 孙树林 秦鲜玮 +1 位作者 朱明杰 时冬冬 《科学技术与工程》 北大核心 2015年第8期214-218,共5页

在边坡稳定性分析中,极限平衡方法是以安全系数Fs作为判别标准,而现有确定安全系数的方法需要复杂的迭代计算,不能快速地确定不同工况的安全系数。基于极限平衡Spencer法与有限元的强度折减法,建立一种快速的初步确定边坡稳定性安全系... 在边坡稳定性分析中,极限平衡方法是以安全系数Fs作为判别标准,而现有确定安全系数的方法需要复杂的迭代计算,不能快速地确定不同工况的安全系数。基于极限平衡Spencer法与有限元的强度折减法,建立一种快速的初步确定边坡稳定性安全系数的方法,该方法可以弥补计算复杂和判断失准的缺点。首先,在考虑天然条件、地下水条件和地震烈度等主要因素情况下,利用计算机中的Spencer(1967)边坡稳定性分析程序中的切片编码方法,得到非线性破坏包络线稳定性分析图,对非线性边坡破坏包络线进行了详细分析。其次,通过试验数据,分析地震烈度、孔隙水压力系数等对安全系数的影响。结果表明,利用非线性破坏包络线建立的稳定分析图能快速准确地确立边坡的安全系数。 展开更多

关键词 边坡稳定性 稳定性图解法 切片编码方法 非线性破坏包络线

在线阅读 下载PDF 职称材料

一种精简二进制代码的程序理解方法 被引量：4

7

作者 李卷孺 谷大武 陆海宁 《计算机应用》 CSCD 北大核心 2008年第10期2608-2612,共5页

精简二进制代码形式的软件是软件分析和程序理解需要处理的一类具有代表性的对象,基于高级语言源代码和调试符号信息的传统分析方法在处理此类软件时受到了极大限制。提出一种精简二进制形式软件的理解方法,首先将分析对象转变为运行期... 精简二进制代码形式的软件是软件分析和程序理解需要处理的一类具有代表性的对象,基于高级语言源代码和调试符号信息的传统分析方法在处理此类软件时受到了极大限制。提出一种精简二进制形式软件的理解方法,首先将分析对象转变为运行期进程,引入实际运行中的进程信息;然后引入程序的行为特征,以程序表现出的外在行为和对外接口作为辅助信息,将此类外部特征映射到程序代码;最后基于切片思想和调试技术,获得程序切片并分析。这种方法为分析理解过程扩展了信息量,降低了复杂度,解决了分析此类软件时信息缺失和难以建立理解模型的问题。 展开更多

关键词 精简二进制代码 程序理解 二进制分析 代码反向工程 程序切片

在线阅读 下载PDF 职称材料

新型的多路径匿名通信系统 被引量：1

8

作者 周彦伟 杨波 张文政 《电子学报》 EI CAS CSCD 北大核心 2017年第5期1234-1239,共6页

本文基于信息分割理论和网络编码技术提出一种高效的多路径匿名通信模型—ACM-MP,发送者将通信消息经信息分割技术产生分片信息,并对其进行编码处理后沿编码匿名转发网络中不同的匿名通信链路发往接收者,编码匿名转发网络中各节点通过... 本文基于信息分割理论和网络编码技术提出一种高效的多路径匿名通信模型—ACM-MP,发送者将通信消息经信息分割技术产生分片信息,并对其进行编码处理后沿编码匿名转发网络中不同的匿名通信链路发往接收者,编码匿名转发网络中各节点通过编码地址信息可获知其直接后继节点的具体位置,确保接收者可接收到所有的编码信息.理论分析与仿真结果表明,本文模型具有较高的匿名性、安全性和抗合谋攻击的能力. 展开更多

关键词 匿名通信 网络编码 信息分割 多路径传输 合谋攻击

在线阅读 下载PDF 职称材料

一种基于条带划分的低延迟帧内编码方法 被引量：1

9

作者 姚春莲 阮秋琦 +1 位作者 姜东 万丽莉 《计算机科学》 CSCD 北大核心 2014年第11期187-191,共5页

现有编解码系统所产生的固有延迟比较大,例如对于标清视频,系统延迟要大于260ms,因此难以用于对延迟有严格要求的系统中。为此,研究了一种新的低延迟帧内编解码结构,在该结构中,将输入的视频划分成若干个条带,在采集端以条带为单位进行... 现有编解码系统所产生的固有延迟比较大,例如对于标清视频,系统延迟要大于260ms,因此难以用于对延迟有严格要求的系统中。为此,研究了一种新的低延迟帧内编解码结构,在该结构中,将输入的视频划分成若干个条带,在采集端以条带为单位进行采集,以有效降低采集延迟;同时,给出了以条带为基本单位的I帧编码方法,对每一编码条带下采样,将其分成4个子图,以子图为单位进行预测,以提高预测的精度,进而降低编码延时。实验表明,新的编码结构在采集和编码过程中能有效降低帧内编码延迟,在保证恢复图像质量的同时,可以将延迟降低到150ms。 展开更多

关键词 低延迟 条带 采集 编码 帧内 视频

在线阅读 下载PDF 职称材料

喷泉码纠错的无线网络切片传输时间分析 被引量：3

10

作者 任雁鹏 管武 梁利平 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2018年第11期167-170,184,共5页

为了提高无线通信中网络切片传输的吞吐率,避免引入大量的反馈延时,将无重传的喷泉码机制用于无线网络切片的纠错传输.在该方案中,采用基于喷泉码的前向纠错机制代替传统的自动重传请求机制,实现网络切片的无线传输;并针对喷泉码纠错机... 为了提高无线通信中网络切片传输的吞吐率,避免引入大量的反馈延时,将无重传的喷泉码机制用于无线网络切片的纠错传输.在该方案中,采用基于喷泉码的前向纠错机制代替传统的自动重传请求机制,实现网络切片的无线传输;并针对喷泉码纠错机制,优化了网络切片的切片方案.这种方案,通过喷泉码无重传以及低冗余度的纠错特性,可以降低网络切片传输协议的复杂度和传输延时;尤其在丢包率较大的网络环境下,单位时间内喷泉码方案可以传输更多的有效切片数据,提高无线网络切片的传输吞吐率.在此基础上,分别构建了基于喷泉码的无线网络切片传输系统和基于自动重传请求方案的无线网络切片传输系统,并对这两个系统的传输时间进行了分析和比较.仿真结果表明:当网络丢包率超过5×10-2时,网络切片采用喷泉码方案具有比自动重传请求方案更低的传输时间;当丢包率为10-1时,喷泉码方案的传输时间比自动重传请求方案可降低22%以上;随着丢包率的增大,喷泉码方案在传输时间上的优势更加明显. 展开更多

关键词 数据通信 无线通信 网络切片 喷泉码 自动重传

在线阅读 下载PDF 职称材料

基于脉冲切片编码的反欺骗干扰波形设计 被引量：1

11

作者 刘冬利 王英杰 兰慧 《现代雷达》 CSCD 北大核心 2021年第8期22-27,共6页

基于数字射频存储的转发式欺骗干扰技术逐渐成熟,而传统的对抗措施尚显不足。基于波形分集原理,文中提出了一种脉冲切片编码的波形设计方法。首先,对发射的线性调频信号进行切片编码;在接收处理时,根据编码规则解码,通过判断解码后接收... 基于数字射频存储的转发式欺骗干扰技术逐渐成熟,而传统的对抗措施尚显不足。基于波形分集原理,文中提出了一种脉冲切片编码的波形设计方法。首先,对发射的线性调频信号进行切片编码;在接收处理时,根据编码规则解码,通过判断解码后接收信号与发射信号的相关性大小,区分出干扰信号。仿真结果表明:文中设计的波形解码后经匹配滤波满足互相关函数峰值与自相关函数峰值差值大于3 dB的分析准则,能够有效抑制转发式欺骗干扰。 展开更多

关键词 波形分集 转发式欺骗干扰 脉冲切片编码

在线阅读 下载PDF 职称材料

基于切片的深度学习SDN恶意应用程序的检测方法

12

作者 池亚平 余宇舟 陈颖 《计算机应用与软件》 北大核心 2020年第1期320-325,共6页

SDN是一种新型网络架构,其核心技术是通过将网络设备控制面与数据面分离。然而目前针对SDN网络架构的恶意应用程序研究还较少。针对这一问题,在总结分析现有恶意应用检测方法的基础上,采用代码切片技术并基于深度学习框架提出一种面向SD... SDN是一种新型网络架构,其核心技术是通过将网络设备控制面与数据面分离。然而目前针对SDN网络架构的恶意应用程序研究还较少。针对这一问题,在总结分析现有恶意应用检测方法的基础上,采用代码切片技术并基于深度学习框架提出一种面向SDN恶意应用程序的检测方法。它旨在对样本进行模块化分割并提取特征后,将特征向量以矩阵形式重组。在TensorFlow深度学习环境Keras下对SDN恶意样本进行学习和检测,实验数据表明,该方法对恶意应用程序检测率可以达到93.75%,证明了方案的可行性和科学性。 展开更多

关键词 SDN 恶意应用程序 代码切片 深度学习

在线阅读 下载PDF 职称材料

一种基于前向计算的动态程序切片方法 被引量：3

13

作者 王兴亚 姜淑娟 +1 位作者 鞠小林 邵浩然 《计算机科学》 CSCD 北大核心 2014年第1期250-253,278,共5页

动态程序切片技术是一种重要的程序分析技术,在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方法,该方法首先在对当前执行语句进行定义使用分析的基础上计算该语句定义变量的影响集,其次计算该语句... 动态程序切片技术是一种重要的程序分析技术,在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方法,该方法首先在对当前执行语句进行定义使用分析的基础上计算该语句定义变量的影响集,其次计算该语句的直接动态依赖关系,最后计算当前执行语句中变量的动态切片。根据该方法设计并实现了一个Java动态程序切片系统,基于一组基准测试程序开展了切片实验,并与已有的切片方法进行了比较。实验结果表明,该方法可以得到比较精确的动态程序切片结果。 展开更多

关键词 动态切片 前向计算 程序依赖性 三地址码

在线阅读 下载PDF 职称材料

MGS片层重要性分析及其应用

14

作者 陈旭 柳伟 《计算机应用研究》 CSCD 北大核心 2011年第1期381-384,共4页

基于中粒度质量可伸缩(medium grain scalable,MGS)编码在可伸缩编码(scalable video coding,SVC)应用中的广泛性,在分析了MGS编码结构特点和问题的基础上,利用DCT系数分布特性提出MGS片层数据重要性的估计方法实现对MGS编码各片层重要... 基于中粒度质量可伸缩(medium grain scalable,MGS)编码在可伸缩编码(scalable video coding,SVC)应用中的广泛性,在分析了MGS编码结构特点和问题的基础上,利用DCT系数分布特性提出MGS片层数据重要性的估计方法实现对MGS编码各片层重要性的估计。在此重要性估计方法的前提基础上,将之应用于指导可伸缩编码中的码流提取和容错编码。实验测试结果表明,MGS片层数据重要性估计方法的准确性和应用有效性,保障了视频码流质量,提高了码流提取效率。 展开更多

关键词 视频编码 中粒度质量可伸缩 片层 码流提取 容错编码

在线阅读 下载PDF 职称材料

Ray-space数据片内和片间相关性压缩分析

15

作者 邵枫 蒋刚毅 +1 位作者 郁梅 陈偕雄 《光电工程》 EI CAS CSCD 北大核心 2006年第2期85-89,共5页

Ray-space数据特征分析表明,其片内和片间均存在很大相关性,并且其数据有明显的方向性特征。通过最优宏块分割、不同精度的块匹配和多参考片预测结果分析,讨论了适合Ray-space数据特点的片内和片间预测技术。与传统的只利用片内相关性... Ray-space数据特征分析表明,其片内和片间均存在很大相关性,并且其数据有明显的方向性特征。通过最优宏块分割、不同精度的块匹配和多参考片预测结果分析,讨论了适合Ray-space数据特点的片内和片间预测技术。与传统的只利用片内相关性的压缩技术相比,利用上述两类相关性,并结合Ray-space数据方向性特征,能进一步提高编码压缩效率。在获得相同重建图像质量下,可使基于H.264的Ray-space压缩方法比基于H.263的方法在码率上节省50%,比JPEG的方法节省75%左右。 展开更多

关键词 Ray—space 片内相关 片间相关 编码效率

在线阅读 下载PDF 职称材料

复杂断层轮廓集分段分面三角化表面重构 被引量：4

16

作者 张舜德 卢秉恒 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2011年第2期339-349,共11页

针对多嵌套、多分支任意复杂断层轮廓集的三角化表面重建,提出一种基于轮廓拓扑分类编码和结构识别的分段分面表面重构方法(DS-P).通过设计一种拓扑编码方案,提出确定轮廓匹配关系、分支及分支类型的准则;讨论了多轮廓合并、单轮廓分裂... 针对多嵌套、多分支任意复杂断层轮廓集的三角化表面重建,提出一种基于轮廓拓扑分类编码和结构识别的分段分面表面重构方法(DS-P).通过设计一种拓扑编码方案,提出确定轮廓匹配关系、分支及分支类型的准则;讨论了多轮廓合并、单轮廓分裂及嵌套分支、连通分支处理方法;设计了任意复杂断层轮廓集表面重建的软件系统架构和工作流程.实验结果表明,该方法应用简单、运算效率高、可靠性强.与经典方法和BPLI方法相比,文中方法不仅能更好地处理轮廓匹配中的二义性及分支问题,还能有效地解决导致BPLI方法失效的投影面内边重叠和多重交叉、轮廓嵌套、轮廓严重偏置、轮廓线释放等情况下的表面重构问题. 展开更多

关键词 断层测量 三维重构 轮廓嵌套 拓扑编码 分支处理 三角剖分

在线阅读 下载PDF 职称材料

针对扫描阻塞结构的测试数据压缩方案

17

作者 蔡烁 杨致远 +1 位作者 刘铁桥 王伟征 《计算机应用研究》 CSCD 北大核心 2012年第4期1378-1380,共3页

分析了集成电路测试面临的测试数据量大、测试应用时间长等问题,对常用的测试压缩方法进行了介绍,并在扫描阻塞测试结构基础上,提出了对数据进行部分编码压缩的方案。在附加硬件开销很小的情况下,进一步压缩了测试数据。理论分析和实验... 分析了集成电路测试面临的测试数据量大、测试应用时间长等问题,对常用的测试压缩方法进行了介绍,并在扫描阻塞测试结构基础上,提出了对数据进行部分编码压缩的方案。在附加硬件开销很小的情况下,进一步压缩了测试数据。理论分析和实验结果都表明了本压缩方案的可行性和有效性。 展开更多

关键词 扫描阻塞结构 确定位 测试片段 泊松分布 编码压缩

在线阅读 下载PDF 职称材料

基于工业CT图像的数控代码直接生成方法研究 被引量：6

18

作者 段黎明 罗胜 《计算机集成制造系统》 EI CSCD 北大核心 2008年第7期1392-1398,共7页

以曲面形状简单、可直接仿制的产品为对象,提出了由工业计算机断层成像技术图像直接生成数控代码的方法。该方法首先对产品的切片图像进行边缘提取与轮廓跟踪,再采用B样条曲线进行轮廓拟合,然后引入平面任意区域加工填充技术,逐层生成... 以曲面形状简单、可直接仿制的产品为对象,提出了由工业计算机断层成像技术图像直接生成数控代码的方法。该方法首先对产品的切片图像进行边缘提取与轮廓跟踪,再采用B样条曲线进行轮廓拟合,然后引入平面任意区域加工填充技术,逐层生成刀具路径并进行有序连接,最后生成数控代码。在B样条曲线拟合中,为了提高拟合精度,提出了一种基于特征点提取与线段类型识别的型值点选取法;在数控代码生成步骤中,改进了单层切片轮廓岛屿关系判别方法,提高了判别正确率。开发了软件系统,将该软件生成的数控代码输入到加工仿真软件中,仿真结果验证了数控代码生成方法的正确性。 展开更多

关键词 逆向工程 工业计算机断层成像技术 切片图像 图像处理 数字控制代码 B样条 曲线拟合

在线阅读 下载PDF 职称材料

新型汽车钥匙齿形码打标设备的研发

19

作者 倪峥 《组合机床与自动化加工技术》 北大核心 2014年第8期28-30,共3页

针对企业现有打标设备有一定的齿形码读取出错率、效率低的状况,研究了一种汽车钥匙齿形码识别的方法,并完成了打标设备的开发。根据待识别钥匙的具体情况,设计和制造了齿形间接识别组合夹具,通过该夹具可将齿形高度的测量转化为检测片... 针对企业现有打标设备有一定的齿形码读取出错率、效率低的状况,研究了一种汽车钥匙齿形码识别的方法,并完成了打标设备的开发。根据待识别钥匙的具体情况,设计和制造了齿形间接识别组合夹具,通过该夹具可将齿形高度的测量转化为检测片高度的测量,从而采用间接方法获得汽车钥匙的齿形码,提高了设备获取齿形码的准确性。应用多线程技术同时完成齿形码的识别和打标,提高了设备的效率。应用表明,设备获取齿形码的准确性高,打标效率也得到了大大的提高。 展开更多

关键词 齿形码 组合夹具 检测片 间接识别 多线程技术

在线阅读 下载PDF 职称材料

基于自适应参考帧模式选择的多视点视频编码方法 被引量：3

20

作者 贺人龙 蒋刚毅 +1 位作者 符冉迪 郁梅 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第9期1132-1137,共6页

基于多视点视频序列相关性,提出独立片的概念,进而提出一种采用自适应参考帧模式选择的多视点视频编码方法.在保证高率失真性能的前提下,应用独立片、自适应算法有效地降低了多视点视频编码计算复杂度,将多种性能进行有机结合,可以根据... 基于多视点视频序列相关性,提出独立片的概念,进而提出一种采用自适应参考帧模式选择的多视点视频编码方法.在保证高率失真性能的前提下,应用独立片、自适应算法有效地降低了多视点视频编码计算复杂度,将多种性能进行有机结合,可以根据用户外部设置的参数调整自适应模式.实验结果表明,该方法在保证高压缩效率的前提下,能有效地降低计算复杂度,并改善随机访问性能. 展开更多

关键词 多视点视频编码 独立片 多视点序列相关性 计算复杂度 参考帧模式

在线阅读 下载PDF 职称材料