检索结果-南通市图书馆

基于数据流传播路径学习的智能合约时间戳漏洞检测

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

软件学报 2024年第5期35卷 2325-2339页

作者：张卓刘业鹏薛建新鄢萌陈嘉弛毛晓光广州商学院信息技术与工程学院广东广州510700 国防科技大学计算机学院湖南长沙410073 上海第二工业大学计算机与信息工程学院上海200127 重庆大学大数据与软件学院重庆401331 中山大学软件工程学院广东珠海519082

智能合约是一种被大量部署在区块链上的去中心化的应用.由于其具有经济属性,智能合约漏洞会造成潜在的巨大经济和财产损失,并破坏以太坊的稳定生态.因此,智能合约的漏洞检测具有十分重要的意义.当前主流的智能合约漏洞检测方法(诸如Oye... 详细信息

智能合约是一种被大量部署在区块链上的去中心化的应用.由于其具有经济属性,智能合约漏洞会造成潜在的巨大经济和财产损失,并破坏以太坊的稳定生态.因此,智能合约的漏洞检测具有十分重要的意义.当前主流的智能合约漏洞检测方法(诸如Oyente和Securify)采用基于人工设计的启发式算法,在不同应用场景下的复用性较弱且耗时高,准确率也不高.为了提升漏洞检测效果,针对智能合约的时间戳漏洞,提出基于数据流传播路径学习的智能合约漏洞检测方法Scruple.所提方法首先获取时间戳漏洞的潜在的数据传播路径,然后对其进行裁剪并利用融入图结构的预训练模型对传播路径进行学习,最后对智能合约是否具有时间戳漏洞进行检测.相比而言,Scruple具有更强的漏洞捕捉能力和泛化能力,传播路径学习的针对性强,避免了对程序整体依赖图学习时造成的层次太深而无法聚焦漏洞的问题.为了验证Scruple的有效性,在真实智能合约的数据集上,开展Scruple方法与13种主流智能合约漏洞检测方法的对比实验.实验结果表明,Scruple在检测时间戳漏洞上的准确率,召回率和F1值分别可以达到0.96,0.90和0.93,与13种当前主流方法相比,平均相对提升59%,46%和57%,从而大幅提升时间戳漏洞的检测能力.

关键词：智能合约时间戳漏洞漏洞检测数据流传播路径预训练

基于BVMD-Attention-GRU的中长期干旱预测

在线全文

学校读者我要写书评

暂无评论

水电能源科学 2024年第4期42卷 25-29页

作者：谢颂扬马廷淮南京信息工程大学计算机学院江苏南京210044 江苏海洋大学计算机工程学院江苏连云港222005

干旱是一种由长期缺水导致的现象,及早发现干旱现象并预测其程度,对于科学防旱抗旱至关重要。为此,提出一种基于变分模态分解算法(VMD)和融合注意力机制(Attention)的门控循环单元(GRU)的干旱指数预测方法。首先使用蝴蝶优化算法(BOA)对... 详细信息

干旱是一种由长期缺水导致的现象,及早发现干旱现象并预测其程度,对于科学防旱抗旱至关重要。为此,提出一种基于变分模态分解算法(VMD)和融合注意力机制(Attention)的门控循环单元(GRU)的干旱指数预测方法。首先使用蝴蝶优化算法(BOA)对VMD进行参数寻优,将标准化降水蒸散发指数(SPEI)数据分解为一组波动性较小的子序列;然后将注意力机制引入GRU模型,对各子序列进行预测;最后将各子序列预测结果加和得到SPEI预测值。使用BVMD-Attention-GRU模型对乌鲁木齐市SPEI进行预见期为6个月的中长期预测,并构建GRU、VMD-GRU、BVMD-GRU模型进行对比试验。试验结果表明,BVMDAttention-GRU模型具有更高的预测精度,适用于中长期干旱预测。

关键词：干旱预测蝴蝶优化算法变分模态分解注意力机制门控循环单元

在线全文

学校读者我要写书评

暂无评论

编译型嵌入式Python的设计与实现

计算机工程与设计 2024年第1期45卷 79-87页

作者：李春亭王宜怀施连敏张露苏州大学计算机科学与技术学院江苏苏州215000 武夷学院认知计算与智能信息处理福建省高校重点实验室福建武夷山354300

针对面向微控制器的解释型MicroPython具有实时性弱、占用存储空间大和可移植性较差等问题,提出一种将Python语言转化为C++语言并将构件层与应用层分离的编译型嵌入式Python方案,设计基于抽象语法树及类型注释的源码映射机制。在此基础... 详细信息

针对面向微控制器的解释型MicroPython具有实时性弱、占用存储空间大和可移植性较差等问题,提出一种将Python语言转化为C++语言并将构件层与应用层分离的编译型嵌入式Python方案,设计基于抽象语法树及类型注释的源码映射机制。在此基础上,设计嵌入式Python编译器,实现集成开发环境AHL-GEC-IDE(for Python版),完成Python源文件的编辑、编译、链接和下载。实践结果表明,该编译型Python方案可行,为嵌入式人工智能领域提供了一种实时性较高、编辑编译方便、可移植性较强的编译型Python集成开发环境。

关键词：编译型嵌入式Python 微型Python解释器微控制器抽象语法树类型注释混合编程可移植性

融合深度强化学习和图卷积神经网络的类集成测试序列生成方法

在线全文

学校读者我要写书评

暂无评论

计算机科学 2024年

作者：王晨源张艳梅袁冠中国矿业大学计算机科学与技术学院中国矿业大学矿山数字化教育部工程研究中心

类集成测试确保软件系统中多个类之间正常交互和协作，合理的类集成测试序列可以降低测试成本。因此，为了降低程序中类集成测试序列的测试成本，国内外研究人员提出了多种类集成测试序列生成方法，但已有的方法生成的类集成测试序列的... 详细信息

类集成测试确保软件系统中多个类之间正常交互和协作，合理的类集成测试序列可以降低测试成本。因此，为了降低程序中类集成测试序列的测试成本，国内外研究人员提出了多种类集成测试序列生成方法，但已有的方法生成的类集成测试序列的测试成本过高。针对上述问题，提出一种融合深度强化学习和图卷积神经网络的类集成测试序列生成方法。该方法首先将图卷积神经网络作为深度强化学习中的神经网络部分，并对智能体的网络结构和环境状态等方面进行改进，使环境和智能体可以基于图结构的数据进行交互，然后通过设计强化学习中的动作空间和奖励函数等基本要素，完成类集成测试序列的生成场景，最终实现智能体在不断地学习和尝试中得到最佳的类集成测试序列。实验结果表明，在以总体测试桩复杂度作为度量指标时，该方法能够在一定程度上降低生成类集成测试序列所需的测试桩代价。

关键词：类集成测试序列深度强化学习图卷积神经网络测试桩测试桩复杂度

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

多模态健身运动知识图谱构建

首都体育学院学报 2024年第5期36卷 481-489页

作者：余卓成刘心怡李素建赵冰婵罗文杨彤晨丁立祥宋继鹏北京大学计算机学院北京100871 北京世纪坛医院北京100038

构建健身运动知识图谱可以为人们科学运动提供直观便捷的指导,对推动健身研究领域的发展和促进人们身体健康具有重要意义。而如何全面获取科学健身运动的多模态知识,并进行系统的关联和集成以及形成多模态知识图谱,目前相关研究较少,且... 详细信息

构建健身运动知识图谱可以为人们科学运动提供直观便捷的指导,对推动健身研究领域的发展和促进人们身体健康具有重要意义。而如何全面获取科学健身运动的多模态知识,并进行系统的关联和集成以及形成多模态知识图谱,目前相关研究较少,且面临着诸多挑战。针对上述问题,利用自然语言处理、深度学习技术、视觉识别技术等,以人机结合的方式探索构建多模态科学健身运动知识图谱。具体步骤包括:1)数据选择和处理,确保知识图谱的基础数据可靠且全面;2)设计多模态知识体系,以整合文字、图像等多种信息形式;3)运用关键技术获取知识,特别是将运动视频转换为细粒度运动文本进行描述;4)构建可视化平台,使知识图谱更加直观和易于使用。通过系统地关联和集成多模态的健身知识,构建了一个包含丰富信息的健身运动知识图谱。该图谱系统不仅能够有效地将运动视频转换为详细的文本描述,还能可视化地直观展示图片、视频等信息,为用户提供易于理解和使用的科学运动指导。多模态科学健身运动知识图谱的构建,为其在健身方面的应用提供了重要参考。这表明,多模态知识的获取和集成是实现科学健身指导的重要途径,能够有效推动健身研究领域的发展以及促进人们的身体健康。

关键词：多模态知识图谱知识获取科学运动

在线全文

学校读者我要写书评

暂无评论

多关系下图自注意机制增强的知识表示学习

计算机工程与应用 2024年第12期60卷 136-143页

作者：刘冬帅安敬民孟繁琛李冠宇大连东软信息学院计算机与软件学院辽宁大连116023 大连海事大学信息科学技术学院辽宁大连116026

知识图谱为表示多关系型数据的异构图。已有知识表示学习方法通过增加实体和关系嵌入之间的交互提高知识三元组表达能力,但无法使其蕴含多层次语义,即特定关系下实体具有的多重关联属性。图神经网络利用结构信息为实体的邻居节点分配权... 详细信息

知识图谱为表示多关系型数据的异构图。已有知识表示学习方法通过增加实体和关系嵌入之间的交互提高知识三元组表达能力,但无法使其蕴含多层次语义,即特定关系下实体具有的多重关联属性。图神经网络利用结构信息为实体的邻居节点分配权重,但无法对实体和邻居之间的复杂交互进行更精准的消息传递。为此,提出了基于自注意机制的知识表示学习模型(CompESAT),为聚合了邻居信息的复合实体引入自注意机制,依据不同邻居贡献度的变化动态更新实体表示。该模型编码器定义了多个图注意机制层来处理复合实体的多重局部特征,自适应地学习复合实体嵌入。解码器补充解码三元组的全局特征。链接预测任务中该模型在FB15k-237数据集上各项评价指标均有提升,MRR和Hit@10分别提升了0.042和0.045;在WN18RR数据集上,Hit@10提升了0.069。

关键词：知识表示学习图结构自注意机制多层次语义邻域聚合异构链接

基于UMCS树的UML类图的混合相似性度量

在线全文

学校读者我要写书评

暂无评论

计算机应用 2024年第3期44卷 883-889页

作者：袁中臣马宗民沈阳工业大学化工过程自动化学院辽宁辽阳111004 南京航空航天大学计算机科学与技术学院南京211106

软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含... 详细信息

软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含语义和结构信息。目前,UML类图的相似性研究主要集中在语义,也有个别讨论结构相似性,但没有考虑将语义和结构相结合。因此,提出一种结合语义和结构的混合相似性度量。鉴于UML类图的非形式化特征,将UML类图转换成图模型,搜索最大公共子图列表,构建了最大公共子图树,提出一个基于最大公共子图序列的混合相似性度量方法。针对概念公共子图和结构公共子图分别定义了语义匹配和结构匹配,并开展了相似性对比和基于相似性的分类质量比较实验,实验结果验证了所提出方法的优势。

关键词： UML类图模型转换混合相似性最大公共子图树语义匹配结构匹配

基于改进RetinaNet的轻量化钢材表面缺陷检测算法

在线全文

学校读者我要写书评

暂无评论

模式识别与人工智能 2024年第8期37卷 692-702页

作者：王伟家张宇王京华徐勇哈尔滨工业大学(深圳)计算机科学与技术学院深圳518055 河钢数字技术股份有限公司智能装备事业部石家庄053099

相对实际应用需求而言,现有的钢材表面缺陷检测算法存在检测速度较慢、准确率较低等问题.因此,文中提出基于改进RetinaNet的轻量化钢材表面缺陷检测算法.首先,将原有的骨干网络替换为轻量化网络,引入跨阶段局部结构,实现梯度的有效传播... 详细信息

相对实际应用需求而言,现有的钢材表面缺陷检测算法存在检测速度较慢、准确率较低等问题.因此,文中提出基于改进RetinaNet的轻量化钢材表面缺陷检测算法.首先,将原有的骨干网络替换为轻量化网络,引入跨阶段局部结构,实现梯度的有效传播和轻量化.然后,采用深度可分离卷积替换传统卷积层,进一步降低参数量,提高检测速度.为了弥补轻量化导致的算法精度下降问题,提出基于跨阶段局部结构的空间金字塔池化机制,融合不同尺度的特征,有效提升算法的检测精度.在NEU-DET数据集和自建的HBIS数据集上的实验表明,相比已有的缺陷检测算法,文中算法在精度更高的同时,达到更快的检测速度,相应的软硬件系统满足生产线的实时在线检测要求并已上线运行.

关键词：轻量化建模目标检测跨阶段局部结构钢材表面缺陷检测

在线全文

学校读者我要写书评

暂无评论

知识服务目标下的智慧图书馆系统建设

图书馆学刊 2024年第9期46卷 81-85页

作者：沈奎林邵波陈力军南京大学图书馆南京大学计算机科学与技术系

知识服务是智慧图书馆建设的核心。信息社会发展催生了图书馆管理系统的更新换代，在介绍下一代图书馆服务平台的基础上，探讨从图书馆服务平台向知识服务平台的转变，介绍知识服务目标下智慧图书馆建设的总体思路、保障体系和效能评估... 详细信息

知识服务是智慧图书馆建设的核心。信息社会发展催生了图书馆管理系统的更新换代，在介绍下一代图书馆服务平台的基础上，探讨从图书馆服务平台向知识服务平台的转变，介绍知识服务目标下智慧图书馆建设的总体思路、保障体系和效能评估等，提出知识服务视域下智慧图书馆建设的目标。

关键词：知识服务智慧图书馆图书馆服务平台知识服务平台