期刊文献+
共找到83篇文章
< 1 2 5 >
每页显示 20 50 100
面向YOLO神经网络的数据流架构优化研究 被引量:2
1
作者 穆宇栋 李文明 +5 位作者 范志华 吴萌 吴海彬 安学军 叶笑春 范东睿 《计算机学报》 北大核心 2025年第1期82-99,共18页
YOLO目标检测算法具有速度快、精度高、结构简单、性能稳定等优点,因此在多种对实时性要求较高的场景中得到广泛应用。传统的控制流架构在执行YOLO神经网络时面临计算部件利用率低、功耗高、能效较低等挑战。相较而言,数据流架构的执行... YOLO目标检测算法具有速度快、精度高、结构简单、性能稳定等优点,因此在多种对实时性要求较高的场景中得到广泛应用。传统的控制流架构在执行YOLO神经网络时面临计算部件利用率低、功耗高、能效较低等挑战。相较而言,数据流架构的执行模式与神经网络算法匹配度高,更能充分挖掘其中的数据并行性。然而,在数据流架构上部署YOLO神经网络时面临三个问题:(1)数据流架构的数据流图映射并不能结合YOLO神经网络中卷积层卷积核较小的特点,造成卷积运算数据复用率过低的问题,并进一步降低计算部件利用率;(2)数据流架构在算子调度时无法利用算子间结构高度耦合的特点,导致大量数据重复读取;(3)数据流架构上的数据存取与执行高度耦合、串序执行,导致数据存取延迟过高。为解决这些问题,本文设计了面向YOLO神经网络的数据流加速器DFU-Y。首先,结合卷积嵌套循环的执行模式,本文分析了小卷积核卷积运算的数据复用特征,并提出了更有利于执行单元内部数据复用的数据流图映射算法,从而整体提升卷积运行效率;然后,为充分利用结构耦合的算子间的数据复用,DFU-Y提出数据流图层次上的算子融合调度机制以减少数据存取次数、提升神经网络运行效率;最后,DFU-Y通过双缓存解耦合数据存取与执行,从而并行执行数据存取与运算,掩盖了程序间的数据传输延迟,提高了计算部件利用率。实验表明,相较数据流架构(DFU)和GPU(NVIDIA Xavier NX),DFU-Y分别获得2.527倍、1.334倍的性能提升和2.658倍、3.464倍的能效提升;同时,相较YOLO专用加速器(Arria-YOLO),DFU-Y在保持较好通用性的同时,达到了其性能的72.97%、能效的87.41%。 展开更多
关键词 YOLO算法 数据流架构 数据流图优化 卷积神经网络 神经网络加速
在线阅读 下载PDF
基于源代码迁移的编译器优化方法研究
2
作者 周放 刘茂福 李珊枝 《计算机工程与科学》 北大核心 2025年第10期1890-1900,共11页
编译器优化旨在通过在中间代码IR语言上进行一系列变换,提高代码在目标平台上的运行效率。传统方法通常依赖机器学习来分析IR特征,并预测LLVM编译器优化通道的最佳组合。然而,这些方法因受限于编译器现有优化策略和对全局信息的有限利用... 编译器优化旨在通过在中间代码IR语言上进行一系列变换,提高代码在目标平台上的运行效率。传统方法通常依赖机器学习来分析IR特征,并预测LLVM编译器优化通道的最佳组合。然而,这些方法因受限于编译器现有优化策略和对全局信息的有限利用,其扩展性受限。采用深度学习自动将函数级IR从未优化状态转换至O2级别优化,并将此优化过程视为翻译任务。通过引入密集数据流图DDFG,能够提取IR代码的全局结构信息,从而引导模型更全面地学习代码语义。使用Transformer模型进行的实验表明,所提方法的模型能在O2级别有效训练IR,且86.15%的函数级优化代码能在保证语义完整性的同时,在编译器上正确执行。 展开更多
关键词 编译器优化 代码翻译 密集数据流图 数据流预测
在线阅读 下载PDF
基于时空动态图的交通流量预测方法研究
3
作者 孟祥福 谢伟鹏 崔江燕 《智能系统学报》 北大核心 2025年第4期776-786,共11页
为改进现有交通流量预测方法在建模时空数据和捕捉动态空间相关性方面的不足,提出了一种时空动态图卷积网络(spatio-temporal dynamic graph network,STDGNet)。该模型采用带嵌入层的编码器–解码器架构,通过动态图生成模块从数据驱动... 为改进现有交通流量预测方法在建模时空数据和捕捉动态空间相关性方面的不足,提出了一种时空动态图卷积网络(spatio-temporal dynamic graph network,STDGNet)。该模型采用带嵌入层的编码器–解码器架构,通过动态图生成模块从数据驱动的角度挖掘潜在的时空关系,并重构每个时间步的节点动态关联图。嵌入层使用时空自适应嵌入方法建模交通数据的内在时空关系和时间信息;编码器部分利用时空记忆注意力机制,从全局视角对时空特征进行建模;解码器部分将图卷积模块注入循环神经网络中,以同时捕捉时间和空间依赖关系,并输出未来流量情况。实验结果表明,所提模型与最优基线模型解耦动态时空图神经网络(decoupled dynamic spatial-temporal graph neural network,D2STGNN)相比,平均绝对误差降低了1.63%,模型训练时间缩短了近2.5倍。本研究有效提升了交通流量预测的准确性与效率,为智能交通系统的建设提供了有力支撑。 展开更多
关键词 交通流量 时空数据 混合模型 注意力机制 时空动态图 图卷积神经网络 循环神经网络 深度学习
在线阅读 下载PDF
基于增强型语义程序依赖图的智能化二进制分析方法
4
作者 薛磊 张际灿 杜平心 《信息网络安全》 北大核心 2025年第9期1357-1366,共10页
在软件安全分析领域,二进制程序分析技术正面临编译器优化复杂化与结构信息缺失带来的双重挑战,传统工具链普遍存在分析流程割裂、依赖人工操作、语义表达不足等问题,难以满足结构化、自动化漏洞挖掘任务的需求。文章提出一种基于增强... 在软件安全分析领域,二进制程序分析技术正面临编译器优化复杂化与结构信息缺失带来的双重挑战,传统工具链普遍存在分析流程割裂、依赖人工操作、语义表达不足等问题,难以满足结构化、自动化漏洞挖掘任务的需求。文章提出一种基于增强型语义程序依赖图的智能化二进制分析方法,通过统一建模控制流、数据依赖与符号路径约束信息,实现对程序语义的三维结构化表达。在实验评估中,增强型语义程序依赖图展现了显著的性能优势,在OpenSSL项目无优化级别下,SPDG恢复的基本块数比Ghidra提升了60.5%,控制边数提升了42.5%;SPDG在数据依赖追踪上也比Ghidra提升了287.1%,恢复了超过13万条数据依赖链。此外,在符号执行覆盖率方面,SPDG在OpenSSL的无优化级别下达到64.7%,优于Angr的60%。在漏洞检测任务中,SPDG成功识别了9个漏洞样例,仅误报1次,准确率达90.0%,显著高于其他工具。 展开更多
关键词 二进制分析 控制流 数据流 符号执行 程序依赖图
在线阅读 下载PDF
基于时空图神经网络的电力系统碳排放流快速计算方法
5
作者 陈娟 汪洋 +2 位作者 汪钢 龚赟 翁同洋 《电测与仪表》 北大核心 2025年第9期26-36,共11页
为应对电力系统碳排放计算中效率和精度不足的问题,文章提出一种基于时空图神经网络(spatiotemporal graph neural network,ST-GNN)的数据驱动方法,旨在高效计算节点碳排放因子以及支路碳流和碳流损耗。文章首先分析电力系统碳排放流计... 为应对电力系统碳排放计算中效率和精度不足的问题,文章提出一种基于时空图神经网络(spatiotemporal graph neural network,ST-GNN)的数据驱动方法,旨在高效计算节点碳排放因子以及支路碳流和碳流损耗。文章首先分析电力系统碳排放流计算的复杂性及传统方法的局限性,进而设计以有功-无功(active and reactive power,PQ)节点、有功-电压(active power and voltage,PV)节点和平衡节点特征为输入的ST-GNN模型,实现碳排放因子及支路碳流的直接计算,并确定支路碳流损耗。其中PQ节点的特征有功功率和无功功率,来源于电力系统运行数据,PV节点的发电功率和电压来自发电机的运行特性,平衡节点的输入包括电压和相位角,确保系统的功率平衡。通过IEEE 9节点、IEEE 57节点和IEEE118节点系统的实验,验证了所提方法的有效性。结果表明,ST-GNN模型在碳排放因子、支路碳流和碳损耗的计算精度上显著优于线性回归、决策树、长短期记忆网络和多层感知机,特别在复杂电力网络中表现突出。该研究为电力系统碳排放监测和优化提供了精准高效的技术支持。 展开更多
关键词 碳排放流 深度学习 时空图神经网络 电力系统 数据驱动 碳排放因子 支路碳流 碳损耗
在线阅读 下载PDF
面向代码搜索的函数功能多重图嵌入 被引量:1
6
作者 徐杨 陈晓杰 +1 位作者 汤德佑 黄翰 《软件学报》 EI CSCD 北大核心 2024年第8期3809-3823,共15页
如何提高异构的自然语言查询输入和高度结构化程序语言源代码的匹配准确度,是代码搜索的一个基本问题.代码特征的准确提取是提高匹配准确度的关键之一.代码语句表达的语义不仅与其本身有关,还与其所处的上下文相关.代码的结构模型为理... 如何提高异构的自然语言查询输入和高度结构化程序语言源代码的匹配准确度,是代码搜索的一个基本问题.代码特征的准确提取是提高匹配准确度的关键之一.代码语句表达的语义不仅与其本身有关,还与其所处的上下文相关.代码的结构模型为理解代码功能提供了丰富的上下文信息.提出一个基于函数功能多重图嵌入的代码搜索方法.在所提方法中,使用早期融合的策略,将代码语句的数据依赖关系融合到控制流图中,构建函数功能多重图来表示代码.该多重图通过数据依赖关系显式表达控制流图中缺乏的非直接前驱后继节点的依赖关系,增强语句节点的上下文信息.同时,针对多重图的边的异质性,采用关系图卷积网络方法从函数多重图中提取代码的特征.在公开数据集的实验表明,相比现有基于代码文本和结构模型的方法,所提方法的MRR提高5%以上.通过消融实验也表明控制流图较数据依赖图在搜索准确度上贡献较大. 展开更多
关键词 代码搜索 控制流图 数据依赖图 函数功能多重图
在线阅读 下载PDF
基于混合图表示的软件变更预测方法 被引量:1
7
作者 杨馨悦 刘安 +2 位作者 赵雷 陈林 章晓芳 《软件学报》 EI CSCD 北大核心 2024年第8期3824-3842,共19页
软件变更预测旨在识别出具有变更倾向的模块,可以帮助软件管理者和开发人员有效地分配资源,降低维护开销.从代码中提取有效的特征在构建准确的预测模型中起着重要作用.近年来,研究人员从利用传统的手工特征进行预测转向具有强大表示能... 软件变更预测旨在识别出具有变更倾向的模块,可以帮助软件管理者和开发人员有效地分配资源,降低维护开销.从代码中提取有效的特征在构建准确的预测模型中起着重要作用.近年来,研究人员从利用传统的手工特征进行预测转向具有强大表示能力的语义特征,他们从抽象语法树(abstract syntax tree,AST)的节点序列中提取语义特征构建模型.但已有研究忽略了AST的结构信息以及代码中丰富的语义信息,如何提取代码的语义特征仍然是一个具有挑战性的问题.为此,提出一种基于混合图表示的变更预测方法.该模型首先结合AST、控制流图(control flow graph,CFG)、数据流图(data flow graph,DFG)等结构信息构建代码的程序图表示,接着利用图神经网络学习出程序图的语义特征,根据该特征预测变更倾向性.所提模型能够融合各种语义信息以更好地表征代码.在多组变更数据集上开展与最新变更预测方法的对比实验,验证了所提方法的有效性. 展开更多
关键词 软件变更预测 图神经网络 AST 控制流图 数据流图
在线阅读 下载PDF
基于图神经网络的源代码漏洞检测研究综述 被引量:2
8
作者 陈子雄 陈旭 +1 位作者 景永俊 宋吉飞 《计算机工程与科学》 CSCD 北大核心 2024年第10期1775-1792,共18页
随着开源软件在各个领域的广泛应用,源代码漏洞已经导致了一系列严重的安全问题。鉴于这些漏洞对计算机系统的潜在威胁,检测软件中的源代码漏洞以防止网络攻击已成为一个重要的研究领域。为了实现自动化检测并降低人力成本,研究人员提... 随着开源软件在各个领域的广泛应用,源代码漏洞已经导致了一系列严重的安全问题。鉴于这些漏洞对计算机系统的潜在威胁,检测软件中的源代码漏洞以防止网络攻击已成为一个重要的研究领域。为了实现自动化检测并降低人力成本,研究人员提出了许多基于传统深度学习的方法。然而,这些方法大多将源代码视为自然语言序列而没有充分考虑代码的结构信息,因此其检测效果受到了限制。近年来,基于代码图表示和图神经网络的源代码漏洞检测方法应运而生。全面综述了图神经网络在源代码漏洞检测中的应用,并提出了一个基于图神经网络的源代码漏洞检测通用框架。从文件级别、函数级别和切片级别3种漏洞检测粒度出发,系统地总结和阐述了现有的方法和相关数据集。最后,讨论了该领域所面临的挑战,并对未来可能的研究重点进行了展望。 展开更多
关键词 图神经网络 漏洞检测 数据集 数据流图 控制流图
在线阅读 下载PDF
基于阵列处理器的HEVC数据流图可重构实现
9
作者 胡传瞻 蒋林 +3 位作者 朱筠 谢晓燕 杨坤 崔馨月 《计算机应用与软件》 北大核心 2024年第3期240-245,257,共7页
提出一种基于阵列处理器的HEVC算法数据流图可重构实现方法。基于动态重构机制完成不同的划分方式、算法间的灵活切换,采用深度优先贪婪对数据流图划分后子任务时域流水的并行方式对HEVC中典型编码算法的数据流图重新划分后设计合理映... 提出一种基于阵列处理器的HEVC算法数据流图可重构实现方法。基于动态重构机制完成不同的划分方式、算法间的灵活切换,采用深度优先贪婪对数据流图划分后子任务时域流水的并行方式对HEVC中典型编码算法的数据流图重新划分后设计合理映射方案,以Sobel算子值为重构依据在阵列处理器上进行帧内预测算法验证。实验结果表明,与块间流水方案实现相比加速比可达14.97,各算法资源利用率及计算速度均有提升,与帧内预测模式选择快速算法相比每个时钟周期可多处理7.1个像素。 展开更多
关键词 数据流图 HEVC 深度优先贪婪 可重构阵列处理器
在线阅读 下载PDF
动态可重构系统任务时域划分算法 被引量:7
10
作者 潘雪增 孙康 +2 位作者 陆魁军 王继民 平玲娣 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2007年第11期1839-1844,共6页
为提高动态可重构系统的执行效率,提出了一种多目标优化的动态可重构系统任务时域划分方法.在可重构硬件资源约束条件下,将任务的数据流图划分成数个子模块.使用加权方法将子模块中的操作执行时间和模块间数据通信引起的延时统一为划分... 为提高动态可重构系统的执行效率,提出了一种多目标优化的动态可重构系统任务时域划分方法.在可重构硬件资源约束条件下,将任务的数据流图划分成数个子模块.使用加权方法将子模块中的操作执行时间和模块间数据通信引起的延时统一为划分代价,根据每种延时在总代价中所占比例来选取优化的方向.通过建立就绪列表的方法,避免了划分过程中出现死锁问题,保证了各个操作正常的执行顺序.实验结果表明,该方法能够有效地提高应用算法在动态可重构结构上的执行速度.算法的时间复杂度为O(|V|2+|V||E|)(其中|V|为数据流图节点数,|E|为边数). 展开更多
关键词 动态可重构系统 时域划分 数据流图
在线阅读 下载PDF
基于组件的嵌入式软件开发方法 被引量:9
11
作者 黄新生 吴百锋 朱琦 《计算机工程与设计》 CSCD 2004年第3期327-331,共5页
根据嵌入式软件的特点,提出一种以模型为中心、基于组件的嵌入式软件开发方法。它以动态数据流图为系统模型对嵌入式软件的功能和性能需求进行了描述,由此提供了强大的描述和分析能力;通过基于特定组件模型的实现结构和实现代码框架的... 根据嵌入式软件的特点,提出一种以模型为中心、基于组件的嵌入式软件开发方法。它以动态数据流图为系统模型对嵌入式软件的功能和性能需求进行了描述,由此提供了强大的描述和分析能力;通过基于特定组件模型的实现结构和实现代码框架的自动生成,以DDF定义的系统可以被有效地分解为一系列独立的组件,合适的DDF调度算法一致地表示了系统组件的执行语义,使得并发开发的组件具有良好的可集成性。该方法充分考虑了嵌入式开发的特点,能有效地降低系统复杂性和支持系统组件的并发开发和复用,从而提高了开发效率并降低了开发成本。 展开更多
关键词 嵌入式软件 组件模型 动态数据流图 软件工程 体系结构 DDF模型 嵌入式系统
在线阅读 下载PDF
用于二维RCA跨层数据传输的旁节点无冗余添加算法 被引量:5
12
作者 陈乃金 冯志勇 江建慧 《通信学报》 EI CSCD 北大核心 2015年第4期35-51,共17页
针对二维可重构单元阵列(RCA)硬件任务的跨层数据传输问题,提出了一种前序遍历回溯旁节点添加算法。该算法针对跨层输入树、跨层输出树2种类型的数据流图,保持了原有运算节点之间的逻辑关系,实现了旁节点的无冗余添加。给出了动态可重... 针对二维可重构单元阵列(RCA)硬件任务的跨层数据传输问题,提出了一种前序遍历回溯旁节点添加算法。该算法针对跨层输入树、跨层输出树2种类型的数据流图,保持了原有运算节点之间的逻辑关系,实现了旁节点的无冗余添加。给出了动态可重构系统划分映射的量化评估指标体系和流水化模型,给出了添加旁节点映射的临界条件。实验结果表明,基于相同的系统结构和划分映射算法,在满足临界条件的情况下,与不加旁节点映射算法相比,加旁节点映射在划分模块数,非原始输入输出次数、配置时间、总执行周期、功耗等方面均获得了较好的改进;与已有的先进算法相比,文中算法平均执行总周期降低了23.3%(RCA5×5)和30.5%(RCA8×8),平均消耗功耗降低了15.7%(RCA5×5)和18.6%(RCA8×8),从而验证了所提方法的合理性和有效性。 展开更多
关键词 可重构单元阵列 数据流图 旁节点 临界条件 时域划分与映射
在线阅读 下载PDF
一种基于异常传播分析的数据流分析方法 被引量:14
13
作者 姜淑娟 徐宝文 史亮 《软件学报》 EI CSCD 北大核心 2007年第1期74-84,共11页
异常处理是一种用来检测异常并对其进行处理的技术.异常传播改变了程序原来的执行路线,从而改变了程序中的数据流.在进行数据流分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.在分析C++异常传播机制和异常传播对... 异常处理是一种用来检测异常并对其进行处理的技术.异常传播改变了程序原来的执行路线,从而改变了程序中的数据流.在进行数据流分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.在分析C++异常传播机制和异常传播对数据流分析影响的基础上,提出一种包含异常传播信息的函数间控制流图的构建方法.该控制流图可以清晰地表示出异常的隐式控制流和异常的传播路径;然后提出了基于异常传播分析的数据流分析方法,并给出相应的算法.该方法既克服了因忽略异常传播对数据流影响而造成分析结果不准确的不足,又有助于实现异常传播数据流分析的自动处理;最后用一个实例验证了该方法的可用性.该方法可以为结构测试、回归测试、程序切片等软件工程任务提供相关信息. 展开更多
关键词 异常处理 程序分析 异常传播 控制流图 数据流分析
在线阅读 下载PDF
采用数据流图的故障模型生成算法及其应用 被引量:4
14
作者 王胜文 张凤斌 郑纬民 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2009年第1期118-121,共4页
为有效地解决系统级故障注入试验建模困难问题,提出语言级生成数据流图,并以此构造动态故障树的故障模型建立方法.通过对故障过程数据流分析,找出数据依赖关系并构造了故障模型生成算法.与其他方法比较,本算法具有动态性,提高了故障覆盖... 为有效地解决系统级故障注入试验建模困难问题,提出语言级生成数据流图,并以此构造动态故障树的故障模型建立方法.通过对故障过程数据流分析,找出数据依赖关系并构造了故障模型生成算法.与其他方法比较,本算法具有动态性,提高了故障覆盖率,减少了系统开销,使故障注入试验更易实现. 展开更多
关键词 数据流图 故障模型 故障注入 故障覆盖率
在线阅读 下载PDF
一种基于数据流图的审计分析模型构造方法 被引量:9
15
作者 冯国富 刘军 《审计研究》 CSSCI 北大核心 2009年第4期30-34,共5页
基于审计分析模型计算机审计的本质就是验证相关数据项之间的实际关联关系对理论关联关系的符合一致性。但缺乏系统的审计分析模型构造方法已成为制约当前计算机审计发展的瓶颈。基于此背景,本文论述了审计分析模型的工作原理,提出了一... 基于审计分析模型计算机审计的本质就是验证相关数据项之间的实际关联关系对理论关联关系的符合一致性。但缺乏系统的审计分析模型构造方法已成为制约当前计算机审计发展的瓶颈。基于此背景,本文论述了审计分析模型的工作原理,提出了一种基于数据流图的审计分析模型构造方法及其审计工作指南,并提供了一个实际审计案例,用以演示其工作过程、验证其可行性和有效性。 展开更多
关键词 数据流图 审计分析模型 逻辑一致性 计算机审计
在线阅读 下载PDF
嵌入式系统在资源争用条件下的软硬件划分 被引量:2
16
作者 吴百锋 彭澄廉 +1 位作者 朱琦 孙晓光 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第4期671-676,共6页
以一种具有时间约束的数据流图DFG的可调度性分析为基础,提出一种软硬件划分算法该算法将由共享资源争用引起的性能影响考虑在内,使得软硬件划分能依据更为精确的性能分析结果,由此将缩小软硬件划分中性能估计同实际运行状况之间的差异... 以一种具有时间约束的数据流图DFG的可调度性分析为基础,提出一种软硬件划分算法该算法将由共享资源争用引起的性能影响考虑在内,使得软硬件划分能依据更为精确的性能分析结果,由此将缩小软硬件划分中性能估计同实际运行状况之间的差异,提高划分的合理性。 展开更多
关键词 嵌入式系统 软硬件协同设计 数据流图 软硬件划分
在线阅读 下载PDF
一种支持SIMD指令的表驱动的代码选择技术 被引量:2
17
作者 赵常智 刘春林 +1 位作者 胡定磊 陈书明 《计算机应用研究》 CSCD 北大核心 2006年第6期45-48,共4页
代码选择在编译器的代码产生阶段是一个十分重要的任务,它的目标就是在与机器无关的中间表示代码和与处理器相关的机器指令之间寻找一种高效的映射方法。为了支持DSP处理器的SIMD指令,在传统的基于数据流树中间表示的代码选择算法的基础... 代码选择在编译器的代码产生阶段是一个十分重要的任务,它的目标就是在与机器无关的中间表示代码和与处理器相关的机器指令之间寻找一种高效的映射方法。为了支持DSP处理器的SIMD指令,在传统的基于数据流树中间表示的代码选择算法的基础上,提出一种基于数据流图(DFG)的代码选择技术,它能在最大限度地挖掘和利用SIMD指令的基础上寻求对整个DFG的最优覆盖。 展开更多
关键词 代码选择 树匹配和动态规划 数据流图 整数线性规划
在线阅读 下载PDF
基于控制流和数据段分析的反汇编策略研究 被引量:4
18
作者 蒋烈辉 陈亮 +3 位作者 吴金波 何红旗 费勤福 赵荣彩 《计算机工程》 CAS CSCD 北大核心 2007年第2期94-96,共3页
反汇编策略大体可以分为线性扫描策略和基于控制流的递归扫描策略,该文通过对基于控制流的递归扫描策略以及多款处理器指令系统的研究,提出了一种基于程序静态流程遍历图的反汇编策略,使用6种策略将隐匿于数据段中的程序段提取出来,提... 反汇编策略大体可以分为线性扫描策略和基于控制流的递归扫描策略,该文通过对基于控制流的递归扫描策略以及多款处理器指令系统的研究,提出了一种基于程序静态流程遍历图的反汇编策略,使用6种策略将隐匿于数据段中的程序段提取出来,提高了反汇编结果的精确度。 展开更多
关键词 反汇编 流程遍历图 数据段 程序段 控制流
在线阅读 下载PDF
动态可重构系统的时域划分及其行为级算法的定量分析 被引量:1
19
作者 陈乃金 江建慧 +3 位作者 陈昕 周洲 徐莹 潘诚 《小型微型计算机系统》 CSCD 北大核心 2011年第2期328-332,共5页
对近20年来可重构系统的时域划分算法进行了分析,把它们分为网表级和行为级算法两大类.网表级时域划分算法主要采用网络流方法,使电路的面积、割网的个数等最小化,并使电路获得较小的时延和通信代价.我们对层划分、簇划分、增强静态列... 对近20年来可重构系统的时域划分算法进行了分析,把它们分为网表级和行为级算法两大类.网表级时域划分算法主要采用网络流方法,使电路的面积、割网的个数等最小化,并使电路获得较小的时延和通信代价.我们对层划分、簇划分、增强静态列表调度、多目标时域划分等四种行为级时域划分算法进行了定量分析和比较,评价指标体系包括划分后的模块数、跨模块的输入/输出边数、划分后所有模块的执行总延迟.实验结果表明,层划分是四个算法划分后所有模块执行总延迟最小的;簇划分算法获得较少的跨模块的输入/输出边数;增强的静态列表调度和多目标时域划分两个算法在三个指标之间获得了一个好的折中.然而,这四个算法均没有考虑划分后的模块形状及模块的跨层映射成本. 展开更多
关键词 可重构计算 控制/数据流图 粒度 时域划分 测试基准
在线阅读 下载PDF
新的结构化测试数据自动生成方法 被引量:1
20
作者 马建红 辛政华 +1 位作者 王磊 徐敏 《计算机工程与设计》 CSCD 北大核心 2008年第10期2581-2586,共6页
针对模拟退火算法,遗传算法应用于测试数据的自动生成的局限性,提出了一种基于GEMGA(基因表达散乱遗传算法)的结构化测试数据的自动生成的方法。讨论了路径的选择,提出了将控制流图与数据流图结合起来生成测试路径,通过TriType的分析结... 针对模拟退火算法,遗传算法应用于测试数据的自动生成的局限性,提出了一种基于GEMGA(基因表达散乱遗传算法)的结构化测试数据的自动生成的方法。讨论了路径的选择,提出了将控制流图与数据流图结合起来生成测试路径,通过TriType的分析结果说明了该方法的可行性。根据得到的测试路径将GEMGA应用到测试数据的自动生成,TriType的实验结果表明,GEMGA能生成更高质量的数据,并适用于较大规模的程序。 展开更多
关键词 数据流图 控制流图 结构测试 测试数据 基因表达散乱遗传算法 黑盒优化 搜索被构想为按级别排列的联系和类的框架 串链方法
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部