用多面立体拓扑结构码置换群法判定运动链同构 被引量：4

1

作者 刘川禾 杨廷力 《机械科学与技术》 CSCD 北大核心 1999年第2期180-185,共6页

提出了一种判定运动链同构的新方法——多面立体拓扑结构码置换群法。该法可在计算机上自动完成，且准确可靠，效率较高。用该法判定两运动链同构只需判断这两个链的ＴＳＣ之间是否存在一个置换，或判断两ＴＳＣ的伴随码是否相等，无须... 提出了一种判定运动链同构的新方法——多面立体拓扑结构码置换群法。该法可在计算机上自动完成，且准确可靠，效率较高。用该法判定两运动链同构只需判断这两个链的ＴＳＣ之间是否存在一个置换，或判断两ＴＳＣ的伴随码是否相等，无须构造对称群。本方法适用于任何无复铰的不可分闭式运动链。 展开更多

关键词 多面立体 拓扑结构码 置换群 运动链 同构判定

在线阅读 下载PDF 职称材料

改进的色彩结构码彩色分割算法在数字化虚拟人研究中的应用 被引量：3

2

作者 郑磊斌 庄天戈 《上海交通大学学报》 EI CAS CSCD 北大核心 2005年第10期1685-1688,共4页

对色彩结构码(CSC)算法做了改进,将图像边界信息结合进CSC算法的连接过程,并以色度、饱和度、亮度(HSV)色彩模型为基础确定色彩差别.通过设定颜色差别和边界梯度的容忍阈值控制分割的深度.实验用中国虚拟人(VCH)和虚拟人计划(VHP)数据... 对色彩结构码(CSC)算法做了改进,将图像边界信息结合进CSC算法的连接过程,并以色度、饱和度、亮度(HSV)色彩模型为基础确定色彩差别.通过设定颜色差别和边界梯度的容忍阈值控制分割的深度.实验用中国虚拟人(VCH)和虚拟人计划(VHP)数据集的彩色切片图像进行分割.结果表明,分割结果比原算法更准确,而且克服了原算法因分割结果对容忍阈值非常敏感而难于取得合适的容忍阈值的缺点. 展开更多

关键词 色彩结构码 彩色图像分割 色度 饱和度 亮度色彩模型 边缘提取 数字化虚拟人

在线阅读 下载PDF 职称材料

基于汉字结构码量化传统书法规则知识方法的实现 被引量：5

3

作者 樊建平 《中文信息学报》 CSCD 1990年第4期43-51,共9页

在[1.2]中我们提出基于汉字结构码量化传统书法规则知识方法来完成合体汉字字形的自动设计问题。本文详细介绍该方法的具体实现技术。主要包括整个问题模型建立、结构码树、总体控制过程、初始空间划分、修改算子设置、字形测试项设置... 在[1.2]中我们提出基于汉字结构码量化传统书法规则知识方法来完成合体汉字字形的自动设计问题。本文详细介绍该方法的具体实现技术。主要包括整个问题模型建立、结构码树、总体控制过程、初始空间划分、修改算子设置、字形测试项设置及相应的评价函数以及控制策略等问题。 展开更多

关键词 合体汉字字形 结构码 自动设计

在线阅读 下载PDF 职称材料

无结构码的快速最邻近模式搜索

4

作者 成德源 《深圳大学学报（理工版）》 EI CAS 1990年第1期21-26,共6页

本文提出二进制超平面试验(BHT)方法,使最邻近模式搜索复杂性随比特率线性增长,远低于传统的随比特率及空问维数均指数增长的 EFS 方法的搜索复杂性.BHT 方法已成功地应用于实时语音波形矢量量化编码.

关键词 无结构码 最邻近搜索 矢量量化 数据压缩 编码 BHT

在线阅读 下载PDF 职称材料

锂云母焙烧隧道窑不同码窑结构数值模拟分析

5

作者 陆琳 黄立宜 +2 位作者 冯青 张祺 江浩源 《陶瓷学报》 北大核心 2025年第1期175-184,共10页

隧道窑作为生产碳酸锂的主要热工设备之一,其在生产锂电池工艺流程中会消耗能源和产生大量污染物。如何优化隧道窑结构、降低能源消耗和减小污染物排放成为提锂行业发展的首要问题。通过数值模拟,对比分析了隧道窑中五种不同码窑结构下... 隧道窑作为生产碳酸锂的主要热工设备之一,其在生产锂电池工艺流程中会消耗能源和产生大量污染物。如何优化隧道窑结构、降低能源消耗和减小污染物排放成为提锂行业发展的首要问题。通过数值模拟,对比分析了隧道窑中五种不同码窑结构下窑内的流场和温度场。结果表明:每车3垛、每垛8排、横向垛间距为210 mm、每个砖垛内奇数层砖间距为60.5 mm、偶数层砖间距为174 mm、横向柱间距为60 mm、纵向柱间距为30 mm的结构为最佳码窑方式;该结构在奇数层和偶数层的平均速度不均匀系数和平均速度均值分别为:0.38、0.74,2.1 m·s^(−1)、1.2 m·s^(−1),其温度标准差最大波动幅度与无量纲过冷温度分别为:69.6%、0.122℃;相比于其他四种结构,该结构在横向上的流动阻力较小,横向堆叠通道间隙较大;五种砖垛码窑结构下纵向码放的奇数层的速度不均匀系数和温度标准差均小于其相邻横向码放的偶数层,两者平均值之间相差分别为50.9%、29.3%。 展开更多

关键词 隧道窑 数值模拟 温度场 速度场 码窑结构

在线阅读 下载PDF 职称材料

基于多重置换阵的满秩结构化LDPC码构造方法 被引量：3

6

作者 陈智雄 苑津莎 《电子学报》 EI CAS CSCD 北大核心 2012年第2期313-318,共6页

在多重置换阵的基础上,提出一种适用基于网络编码的协作中继策略的结构化LDPC码构造方法.首先定义了多重置换阵的概念,提出并证明了该方阵在秩和消元等方面的重要性质;给出具体的构造步骤,构造了列重为3和围长至少为6的满秩LDPC码;分析... 在多重置换阵的基础上,提出一种适用基于网络编码的协作中继策略的结构化LDPC码构造方法.首先定义了多重置换阵的概念,提出并证明了该方阵在秩和消元等方面的重要性质;给出具体的构造步骤,构造了列重为3和围长至少为6的满秩LDPC码;分析了该LDPC码的生成矩阵,具有稀疏和结构化的特点,适用基于网络编码的协作中继系统中进行联合网络编码和迭代译码.仿真结果表明,在相同码长、2/3码率和准循环矩阵Y结构条件下,相比阵列LDPC码、近似双对角形式的LDPC码和三对角形式的LDPC码,新构造的LDPC码具有相对较好的译码性能. 展开更多

关键词 网络编码 结构化LDPC码 多重置换阵 满秩

在线阅读 下载PDF 职称材料

对码本模型中码字结构的改进 被引量：2

7

作者 李文辉 李慧春 +2 位作者 王莹 姜园媛 孙明玉 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2012年第3期517-522,共6页

针对码本结构,提出一种简化算法.该算法通过将码字元组中判断该码字是否冗余的元素——最大未使用时间改为由元组的其他变量直接计算而不存储在码字中,去除了该变量所占用的空间,将6元组替换为5元组.实验结果表明,该改进不会对运动目标... 针对码本结构,提出一种简化算法.该算法通过将码字元组中判断该码字是否冗余的元素——最大未使用时间改为由元组的其他变量直接计算而不存储在码字中,去除了该变量所占用的空间,将6元组替换为5元组.实验结果表明,该改进不会对运动目标检测增加额外计算,准确性和实时性不受影响,并可减少码本模型占用的内存. 展开更多

关键词 运动目标检测 码本模型 码字结构 5元组码字

在线阅读 下载PDF 职称材料

图像区域边界抽取与链码树结构生成算法 被引量：3

8

作者 陈优广 张薇 黄穗 《华东师范大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第3期77-85,共9页

通过定义二值图像像素顶点的链码,构造像素顶点矩阵,给出了一个基于像素顶点的线性的图像区域边界追踪和链码树结构的生成算法,算法在追踪和抽取区域边界的顶点链码的同时生成区域边界的链码树结构.算法复杂度是线性的,且适用于任意复... 通过定义二值图像像素顶点的链码,构造像素顶点矩阵,给出了一个基于像素顶点的线性的图像区域边界追踪和链码树结构的生成算法,算法在追踪和抽取区域边界的顶点链码的同时生成区域边界的链码树结构.算法复杂度是线性的,且适用于任意复杂图像区域. 展开更多

关键词 顶点链码 像素顶点矩阵 边界追踪 链码树结构

在线阅读 下载PDF 职称材料

古筝弦-码结构的三维动力学分析与试验验证 被引量：1

9

作者 邓小伟 余征跃 +1 位作者 姚卫平 周力 《振动与冲击》 EI CSCD 北大核心 2022年第6期70-75,共6页

弦-码结构是古筝发声系统的重要组成部分,也是古筝发声机理研究的首要问题。将古筝琴码考虑为刚性双码脚,弦振动考虑为有界弦振动,建立了弦-码结构的三维动力学简化模型,给出了其对应各码脚法向作用力的解析表达式,通过该解析公式利用MA... 弦-码结构是古筝发声系统的重要组成部分,也是古筝发声机理研究的首要问题。将古筝琴码考虑为刚性双码脚,弦振动考虑为有界弦振动,建立了弦-码结构的三维动力学简化模型,给出了其对应各码脚法向作用力的解析表达式,通过该解析公式利用MATLAB软件数值计算分析了不同拨弦角度(γ=0°,γ=45°,γ=90°,γ=135°)时各码脚法向作用力的变化规律,并进行试验测量验证。结果表明:弦-码结构的三维动力学模型有效、可靠;水平拨弦(γ=0°)时,左码脚动态力的最小值接近于0,说明该码脚几乎脱离琴体表面,可见水平拨弦易造成跳码,与实际古筝演奏情况符合;竖直拨弦(γ=90°)时,左右码脚的作用力同相位,且合力最大;45°角拨弦(γ=45°)与135°角拨弦(γ=135°)琴码两码脚作用力反对称,且两种拨弦方式左右码脚的作用力相位均相反;研究结果优化了古筝弦-码结构的动力学模型,总结了不同拨弦方式下码脚作用力的变化规律,为古筝的进一步研究提供参考。 展开更多

关键词 古筝 弦-码结构 动力学模型 拨弦角度

在线阅读 下载PDF 职称材料

一种新的OCDMA二维码字结构及其实现方法 被引量：3

10

作者 辛雨 余重秀 +2 位作者 吴强 郑文潇 刘刚 《光通信研究》 北大核心 2003年第3期25-28,共4页

以一维 EQC码为例 ,研究了“不同时片不同波长”的二维码字结构的特点 ,分析了实现这种二维码字编码的光纤光栅编解码技术及其特点 ,并叙述了实现这种

关键词 OCDMA EQC码 二维码字结构 光纤光栅 光码分多址 光纤通信 多比特率编码

在线阅读 下载PDF 职称材料

基于源码结构和图注意力网络的以太坊蜜罐合约检测方法 被引量：2

11

作者 王友卫 侯玉栋 凤丽洲 《通信学报》 EI CSCD 北大核心 2023年第9期161-172,共12页

针对目前蜜罐合约检测方法准确率不高以及泛化性较差等问题,提出了基于源码结构和图注意力网络的以太坊蜜罐合约检测(CSGDetector)方法。首先,为了提取出智能合约Solidity源码的结构信息,对源码进行语法分析,将其转换为XML解析树;然后,... 针对目前蜜罐合约检测方法准确率不高以及泛化性较差等问题,提出了基于源码结构和图注意力网络的以太坊蜜罐合约检测(CSGDetector)方法。首先,为了提取出智能合约Solidity源码的结构信息,对源码进行语法分析,将其转换为XML解析树;然后,筛选出可以表达合约结构特征和内容特征的特征词集,并构造出合约源码结构图;最后,为避免数据集不平衡性带来的影响,在集成学习理论基础上引入教师模型和学生模型的概念,分别从全局和局部的角度训练图注意力网络模型,并融合所有模型的输出作为合约最终检测结果。实验表明,与已有方法KOLSTM相比,CSGDetector在二分类与多分类实验中的F1值分别提升了1.27%与7.21%,验证了其具有较高的蜜罐检测能力;与已有方法XGB相比,CSGDetector在掩蔽蜜罐检测实验中针对不同类型蜜罐合约的平均召回率提升了7.57%,验证了所提方法在提升算法泛化性能方面的有效性。 展开更多

关键词 以太坊 蜜罐合约 源码结构 图注意力网络 集成学习

在线阅读 下载PDF 职称材料

基于ELM的多结构变形QR码分类校正研究

12

作者 许刚 沈宇超 谈元鹏 《计算机应用研究》 CSCD 北大核心 2016年第11期3517-3520,共4页

针对不同曲面上QR码变形多样化、识别率低的问题,考虑到极限学习机(ELM)对大量数据的快速分类能力,提出了一种基于ELM的多结构变形QR码分类校正算法。在欧氏距离量化变形特征后,运用ELM算法把变形结构分为平面变形、半曲面变形和全曲面... 针对不同曲面上QR码变形多样化、识别率低的问题,考虑到极限学习机(ELM)对大量数据的快速分类能力,提出了一种基于ELM的多结构变形QR码分类校正算法。在欧氏距离量化变形特征后,运用ELM算法把变形结构分为平面变形、半曲面变形和全曲面变形三类,并利用不同分类系数改进QR码坐标透视变换算法,得到校正坐标值。实验结果表明,此方法不仅提高了QR码在曲面上的校正准确率,而且通过分类提高了曲面变形和平面变形QR码的校正速度。 展开更多

关键词 QR码多结构变形 极限学习机 分类校正

在线阅读 下载PDF 职称材料

视频编码标准H．263码流结构的分析

13

作者 敬伟 高丽 +1 位作者 王鹏 汤海 《现代电子技术》 2008年第23期135-138,共4页

视频编码标准H.263视频复用规定为四层分级结构,从顶向下依次为:图像层、块组层、宏块层和块层。视频编码标准H.263关键技术包含有:图像的帧结构、运动补偿加DCT的混合编码方法以及宏块统一使用同样的量化步长进行量化等。视频编码标准H... 视频编码标准H.263视频复用规定为四层分级结构,从顶向下依次为:图像层、块组层、宏块层和块层。视频编码标准H.263关键技术包含有:图像的帧结构、运动补偿加DCT的混合编码方法以及宏块统一使用同样的量化步长进行量化等。视频编码标准H.263标准的比特流功能、大小和语法在其协议中做了详细的规定,但是产生这些必选码流分支和可选码流分支的条件却很复杂。重点对H.263码流结构中比特流语法里面必选码流分支和可选码流分支的条件进行全面详细的分析。 展开更多

关键词 视频编码 H.263 码流结构 PB帧

在线阅读 下载PDF 职称材料

结构半随机LDPC码的递增冗余HARQ方案

14

作者 文红 符初生 靳蕃 《电讯技术》 2006年第4期18-21,共4页

提出了结构半随机LDPC码,分析了其在不同码率时,编、译码具有兼容性的特性。介绍了基于结构半随机LDPC码的递增冗余HARQ方案,给出了这种方案的吞吐量性能封闭解。在AWGN信道和Rayleigh衰落信道下,通过仿真将新方案的性能和随机LDPC码的... 提出了结构半随机LDPC码,分析了其在不同码率时,编、译码具有兼容性的特性。介绍了基于结构半随机LDPC码的递增冗余HARQ方案,给出了这种方案的吞吐量性能封闭解。在AWGN信道和Rayleigh衰落信道下,通过仿真将新方案的性能和随机LDPC码的性能进行了比较,结果显示,结构半随机LDPC码的递增冗余HARQ方案性能接近随机LDPC码,但编、译码更简单,参数选择范围更广。 展开更多

关键词 高速数据传输 差错控制 结构半随机LDPC码 HARQ 递增冗余

在线阅读 下载PDF 职称材料

结构化LDPC码的高速编译码器FPGA实现 被引量：2

15

作者 王文君 朱晓暄 +1 位作者 康桂霞 张平 《数据采集与处理》 CSCD 北大核心 2008年第B09期113-118,共6页

提出一种高吞吐量、低复杂度、可扩展的非正则低密度校验(Low density parity check,LDPC)码准并行编码结构及译码结构及其实现方案,该编码结构和译码结构针对不同码长的非正则结构化LDPC码可进行相应扩展。通过对编译码算法、优化编译... 提出一种高吞吐量、低复杂度、可扩展的非正则低密度校验(Low density parity check,LDPC)码准并行编码结构及译码结构及其实现方案,该编码结构和译码结构针对不同码长的非正则结构化LDPC码可进行相应扩展。通过对编译码算法、优化编译码结构进行调整,降低了编译码器硬件实现中的关键路径迟延,并采用Xilinx公司的Virtex-4 VLX80 FPGA芯片实现了一个码长10 240,码率1/2的非正则结构化LDPC码编码器和译码器。实现结果表明:该编码器信息吞吐量为1.878 Gb/s,该译码器在采用18次迭代情况下信息吞吐量可达223 Mb/s。 展开更多

关键词 结构化低密度校验码 非规则 FPGA实现 准并行编译码结构

在线阅读 下载PDF 职称材料

结构稀疏模型 被引量：6

16

作者 刘建伟 崔立鹏 罗雄麟 《计算机学报》 EI CSCD 北大核心 2017年第6期1309-1337,共29页

由于生物信息学、心理学诊断、计算语言与语音学、计算机视觉、门户网站、电子商务、移动互联网、物联网中处理高维和超高维数据的需求不断涌现,迫切需要研究具有变量选择和特征降维功能的回归和分类模型,所以以Lasso、自适应Lasso和ela... 由于生物信息学、心理学诊断、计算语言与语音学、计算机视觉、门户网站、电子商务、移动互联网、物联网中处理高维和超高维数据的需求不断涌现,迫切需要研究具有变量选择和特征降维功能的回归和分类模型,所以以Lasso、自适应Lasso和elastic net等为代表的稀疏模型近年来在机器学习领域中非常流行.然而,这些稀疏模型没有考虑变量中存在的组结构、重叠组结构、双层稀疏结构、多层稀疏结构、树结构和图结构等结构化信息.结构稀疏模型考虑了这些结构先验信息,改善了模型对特征选择的结果和稀疏模型在相应结构稀疏化数据背景下的统计特性.结构稀疏化模型是当前稀疏学习领域的研究方向,近几年来涌现出很多研究成果,文中对主流的结构稀疏模型,如组结构稀疏模型、结构稀疏字典学习、双层结构稀疏模型、树结构稀疏模型和图结构稀疏模型进行了总结,对结构稀疏模型目标函数中包含非可微、非凸和不可分离变量的结构稀疏模型目标函数近似转换为可微、凸和可分离变量的近似目标函数的技术如控制-受控不等式(Majority-Minority,MM),Nesterov双目标函数近似方法,一阶泰勒展开和二阶泰勒展开技术,对求解结构稀疏化模型近似目标函数的优化算法如最小角回归算法、组最小角回归算法(Group Least Angle Regression,Group LARS)、块坐标下降算法(block coordinate descent algorithm)、分块坐标梯度下降算法(block coordinate gradient descent algorithm)、局部坐标下降算法(local coordinate descent algorithm)、谱投影梯度法(Spectral Projected Gradient algorithm)、主动集算法(active set algrithm)和交替方向乘子算法(Alternating Direction Method of Multipliers,ADMM)进行了比较分析,并且对结构稀疏模型未来的研究方向进行了探讨. 展开更多

关键词 稀疏化模型 结构稀疏化模型 组结构稀疏模型 多层稀疏结构模型 树结构稀疏化模型 图结构稀疏化模型 结构稀疏字典 结构稀疏码 人工智能

在线阅读 下载PDF 职称材料

基于EXIT图的Turbo均衡LDPC码性能分析及优化研究 被引量：1

17

作者 徐华 徐澄圻 《信号处理》 CSCD 北大核心 2007年第3期388-393,共6页

EXIT图是用来分析级联系统中外信息迭代交换的重要工具,本文将Brink的基于EXIT图的优化MIMO信道LDPC码的思想推广到用于Turbo均衡的LDPC码性能分析及码结构设计优化中。文章首先给出了基于互信息的接收机具体分析模型,接着分别讨论了接... EXIT图是用来分析级联系统中外信息迭代交换的重要工具,本文将Brink的基于EXIT图的优化MIMO信道LDPC码的思想推广到用于Turbo均衡的LDPC码性能分析及码结构设计优化中。文章首先给出了基于互信息的接收机具体分析模型,接着分别讨论了接收机分析模型中两个单元的EXIT曲线:线性MMSE均衡器和VND(variable node decoder)的联合EXIT曲线,CND(check node variable)的EXIT曲线的详细计算步骤。进一步以获得的EXIT曲线为基础,提出了用于Tur- bo均衡的LDPC码的码结构优化算法,EQVAC-EXIT(EQVAC:equalizer VND and CND)算法,算法能够自动地进行码集噪声门限值计算及优化次数分布对的搜索。最后的数值仿真结果表明,(3,6)正则码及优化得到的非正则码的噪声门限值距离Narayanan的结果仅相差0．03dB左右,优化得到的边的次数分布及节点的次数分布与Narayanan的结果相比也很接近。 展开更多

关键词 EXIT图 码结构优化 MMSE均衡 EQVAC-EXIT算法

在线阅读 下载PDF 职称材料

对基于EXIT图的LDPC码优化算法的改进

18

作者 徐华 徐澄圻 《应用科学学报》 CAS CSCD 北大核心 2007年第2期134-140,共7页

就Brink方法不能自动搜索的不足,文中提出了一种基于EXIT曲线匹配的改进优化算法:DE-EXIT算法.该算法构造了衡量EXIT曲线匹配程度的代价函数,利用差分进化技术由初始的矢量集开始,迭代更新集合中的每一个矢量,直至监督矢量发现最优的代... 就Brink方法不能自动搜索的不足,文中提出了一种基于EXIT曲线匹配的改进优化算法:DE-EXIT算法.该算法构造了衡量EXIT曲线匹配程度的代价函数,利用差分进化技术由初始的矢量集开始,迭代更新集合中的每一个矢量,直至监督矢量发现最优的代价函数值.算法在给定码率的情况下,可以进行优化次数分布对的自动搜索,同时获得相应的码集噪声门限.仿真结果表明,提出的优化算法在码结构优化方面有着很好的性能,并且可以用于不同情况下的结构优化. 展开更多

关键词 外信息转移图 码结构优化 差分进化-外信息转移算法

在线阅读 下载PDF 职称材料

基于对象的精细可伸缩性编码

19

作者 刘翌勋 宋志坚 《中国生物医学工程学报》 EI CAS CSCD 北大核心 2005年第3期362-369,共8页

医学影像是医生用于诊断的重要工具,高质量的影像对于远程医学在Internet上的普及具有重要意义。然而,当影像在丢包网络如Internet上传输时,接收端有时需要经过长时间的等待才能获得整个码流来重建影像。对于需要实时获得影像的医生,这... 医学影像是医生用于诊断的重要工具,高质量的影像对于远程医学在Internet上的普及具有重要意义。然而,当影像在丢包网络如Internet上传输时,接收端有时需要经过长时间的等待才能获得整个码流来重建影像。对于需要实时获得影像的医生,这是无法忍受的。本研究提出一种基于对象的精细可伸缩性编码方法,该方法将对象编码与位平面编码相结合。一方面,这种方法具有精细增强图像质量的能力;另一方面,它又可以通过指定对象优先级和提升位平面来更为灵活地控制码流结构。首先描述整个编码框架,然后对该框架所涉及的位平面编码、选择性增强和码流结构等关键技术分别进行重点讨论,最后给出不同码流结构在不同断点处的重建图像之间的比较。 展开更多

关键词 基于对象的精细可伸缩性编码 图像对象 位平面编码 选择性增强 码流结构

在线阅读 下载PDF 职称材料

源码处理场景下人工智能系统鲁棒性验证方法 被引量：2

20

作者 杨焱景 毛润丰 +2 位作者 谭睿 沈海峰 荣国平 《软件学报》 EI CSCD 北大核心 2023年第9期4018-4036,共19页

人工智能(artificial intelligence, AI)技术的发展为源码处理场景下AI系统提供了强有力的支撑.相较于自然语言处理,源码在语义空间上具有特殊性,源码处理相关的机器学习任务通常采用抽象语法树、数据依赖图、控制流图等方式获取代码的... 人工智能(artificial intelligence, AI)技术的发展为源码处理场景下AI系统提供了强有力的支撑.相较于自然语言处理,源码在语义空间上具有特殊性,源码处理相关的机器学习任务通常采用抽象语法树、数据依赖图、控制流图等方式获取代码的结构化信息并进行特征抽取.现有研究通过对源码结构的深入分析以及对分类器的灵活应用已经能够在实验场景下获得优秀的结果.然而,对于源码结构更为复杂的真实应用场景,多数源码处理相关的AI系统出现性能滑坡,难以在工业界落地,这引发了从业者对于AI系统鲁棒性的思考.由于基于AI技术开发的系统普遍是数据驱动的黑盒系统,直接衡量该类软件系统的鲁棒性存在困难.随着对抗攻击技术的兴起,在自然语言处理领域已有学者针对不同任务设计对抗攻击来验证模型的鲁棒性并进行大规模的实证研究.为了解决源码处理场景下AI系统在复杂代码场景下的不稳定性问题,提出一种鲁棒性验证方法 (robustness verification by Metropolis-Hastings attack method, RVMHM),首先使用基于抽象语法树的代码预处理工具提取模型的变量池,然后利用MHM源码攻击算法替换变量扰动模型的预测效果.通过干扰数据和模型交互过程,观察攻击前后的鲁棒性验证指标的变化量来衡量AI系统的鲁棒性.以漏洞预测作为基于源码处理的二分类典型场景为例,通过在3个开源项目的数据集上验证12组AI漏洞预测模型鲁棒性说明RVMHM方法针对源码处理场景下AI系统进行鲁棒性验证的有效性. 展开更多

关键词 源码结构化分析 源码对抗攻击 AI系统鲁棒性验证

在线阅读 下载PDF 职称材料