检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

向量化中数据依赖关系的强化分析

计算机学报 1987年第12期 758-761页

作者：郭强长沙工学院计算机科学系

1.强化的定义在依赖关系的分析中,常常由于某些因素使得数组出现(项)之间的依赖关系不确定,譬如受DO循环的执行区间的影响,或受限于循环体中某个变量在运行时的值。把这种不确定的依赖关系明朗化,才能给出依赖关系图,从而判别可否向量... 详细信息

1.强化的定义在依赖关系的分析中,常常由于某些因素使得数组出现(项)之间的依赖关系不确定,譬如受DO循环的执行区间的影响,或受限于循环体中某个变量在运行时的值。把这种不确定的依赖关系明朗化,才能给出依赖关系图,从而判别可否向量化,对于不存在依赖关系的数组出现对,有时为了提高运算效率,或是为了更多地挖掘隐匿的并行成份,强加依赖关系能起到辅助分析的作用。

关键词：向量化区间分割 DO 数据依赖关系关系集

SCG-Detector:基于图注意力网络的智能合约漏洞检测方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

电子学报 2024年第12期52卷 4101-4112页

作者：顾锡国王志伟陈翔何启帆崔展齐北京信息科技大学计算机学院北京100101 国家网信办数据与技术保障中心北京100048 南通大学信息科学技术学院江苏南通226019

随着智能合约被广泛使用,其处理的业务逻辑更加复杂,代码复杂度越来越高,引发了大量安全漏洞.为避免潜在安全漏洞造成的危害,研究人员提出了一系列智能合约漏洞检测方法.但现有方法对合约特征表征不完整,未将合约的语义及结构特征进行... 详细信息

随着智能合约被广泛使用,其处理的业务逻辑更加复杂,代码复杂度越来越高,引发了大量安全漏洞.为避免潜在安全漏洞造成的危害,研究人员提出了一系列智能合约漏洞检测方法.但现有方法对合约特征表征不完整,未将合约的语义及结构特征进行统一表征,难以准确、全面地检测和识别智能合约中的潜在漏洞和安全风险.为此,本文提出了基于图注意力网络的智能合约漏洞检测方法SCG-Detector(Smart Contract Graph Detector).首先,通过解析合约源代码构建抽象语法树(Abstract Syntax Tree,AST)以表征合约语法结构信息,并在AST上添加表示语义信息的数据依赖关系和控制依赖关系,以构建合约图(Smart Contract Graph,SCG)同时表征合约的语法结构及语义信息;然后,将SCG输入到图注意网络模型中进行训练,利用注意力机制学习合约中漏洞的特征;最后,利用训练好的图注意力网络模型检测合约中是否存在漏洞及所存在漏洞的类型.SCG-Detector在12616个智能合约上进行的实验结果表明,相比于sFuzz、Conkas、ConFuzzius、Mythril、Osiris、Slither、Oyente、MANDO-GURU等8种广泛使用的方法,SCG-Detector的Precision最高提升了26.46%,Recall最高提升了69.64%,F1最高提升了59.57%.

关键词：智能合约图注意力网络合约图抽象语法树数据依赖关系控制依赖关系

在线全文

学校读者我要写书评

暂无评论

计划驱动的合作

计算机科学 2001年第10期28卷 56-60页

作者：李颖陈跃新国防科技大学计算机学院长沙410073

Cooperation is an important mechanism for MultiAgent systems to work effectively. To real-ize it,a distributed plan is introduced in this paper. The constrained relations between subgoals, which have AND/OR relations, can be descrbed in a plan. After negotiating, a steady community will be formed,then the goal will be finished after distributively performing a plan. This kind of cooperation has been realized in the project MasBuilder(MultiAgent Systems Builder).

关键词：人工智能分布式计划合作数据依赖关系

SCO-GADL:一种用于科学计算的网格工作流描述语言

在线全文

学校读者我要写书评

暂无评论

计算机科学 2011年第6期38卷 28-30,34页

作者：黄震春清华大学计算机系北京100084

应用开发的难度一直是制约网格技术成为科学计算基础设施的主要因素之一。虽然网格工作流等诸多技术的使用能够在一定程度上降低网格应用开发的难度,但是大多数网格应用所采用的基于流程的应用描述模型仍然是网格应用开发的一个主要障... 详细信息

应用开发的难度一直是制约网格技术成为科学计算基础设施的主要因素之一。虽然网格工作流等诸多技术的使用能够在一定程度上降低网格应用开发的难度,但是大多数网格应用所采用的基于流程的应用描述模型仍然是网格应用开发的一个主要障碍——尤其是对那些通常情况下不擅长编程的科学家们。为了降低网格应用开发的难度,提出了一种基于数据依赖关系的网格应用描述模型,力图使网格应用的描述更加符合科学工作者的思维习惯。在此基础上,设计和实现了一种被称作SCO-GADL的工作流描述语言及其执行引擎。该引擎采用核心-插件体系结构,能够使用在多种网格平台之中,为科学工作者提供一种方便、易用和快捷的网格应用开发工具,以便使网格中聚集的各种资源更加高效地进行科学研究。

关键词：科学计算网格工作流应用描述语言数据依赖关系

在线全文

学校读者我要写书评

暂无评论

奇异数据类型的编译支持

计算机工程 2007年第3期33卷 29-31页

作者：胡定磊陈书明刘春林国防科技大学计算机学院长沙410073

专用处理器,如DSP等,因主要支持特定应用,其指令集往往只支持有限的数据类型。在采用高级语言为其编程时,若采用了处理器不支持的奇异数据类型,编译器必须在保持语义的前提下将其转化为处理器支持的一段指令。该文提出了一种在VLIW DSP... 详细信息

专用处理器,如DSP等,因主要支持特定应用,其指令集往往只支持有限的数据类型。在采用高级语言为其编程时,若采用了处理器不支持的奇异数据类型,编译器必须在保持语义的前提下将其转化为处理器支持的一段指令。该文提出了一种在VLIW DSP编译器中实现对奇异数据类型的处理的方法,包括对含有奇异数据类型的中间代码的注释、调度依赖关系的计算、寄存器分配的改进。该类方法对编译器的改动相对较小,效率较高。

关键词：数据类型代码注释数据依赖关系寄存器分配编译器