关键词： 智能合约   源代码摘要   特征融合   Transformer   摘要生成系统  

摘要： 随着世界互联网与软件产业的蓬勃发展,计算机软件系统复杂度快速上升。源代码摘要作为函数功能的自然语言描述,帮助软件开发人员更好地理解和复用代码,并促进软件开发中的协作和交流。尤其在当今数字化快速发展的时代,区块链技术凭借其去中心化、不可篡改等特性在众多领域展现出巨大的应用潜力。而智能合约作为区块链技术的核心要素之一,正发挥着关键的作用,加速我国迈步进入数字经济时代的进程。 然而,智能合约的源代码往往较为复杂且冗长,为了便于理解、审查以及后续的开发维护工作,高效且准确地生成智能合约源代码摘要显得尤为重要。以往的研究多采用人工模板或信息检索的方法,但这些方法存在泛化性不足、自动化程度不高、过于依赖检索库等问题。随后,深度学习方法因其能够训练模型生成高质量的代码摘要而备受关注,不过它们仍存在以下不足之处:(1)由于源代码具有高度的结构性,充分捕捉其结构信息对于理解源代码的功能至关重要。但是大多数模型采用的神经网络主要关注源代码的序列信息,对结构信息的关注相对不足;(2)为了更有效地学习源代码的深层次信息,越来越多的研究者开始将抽象语法树作为辅助信息引入模型训练中。由于源代码规模庞大,抽象语法树的深度也随之增加,导致模型难以有效学习深层次的树节点信息;(3)在构建深度学习模型时,研究者未能充分捕捉源代码的多模态特征信息,这使得模型在学习过程中忽略了关键信息,对生成的摘要结果产生显著影响。 为解决上述不足,本文主要研究如下: (1)针对忽略源代码结构信息、抽象语法树节点信息不足、多特征信息难以融合等问题,本文构建了一种基于多模态特征融合的Solidity源代码摘要模型(Fusing Multiple Code Features,FMCF)。该模型保留了自注意力机制,并构建了三层图注意力网络编码器、Code BERT编码器以及融合解码器。为了有效获取抽象语法树(Abstract Syntax Tree,AST)的深层次信息,本文采用基于结构的遍历方式(Structure-based Traversal,SBT)处理AST,提取出Solidity代码的层次结构信息,包括代码块、函数定义、控制流等。随后,通过这两个编码器分别提取智能合约代码中SBT序列模态的特征向量和AST模态的特征向量。最终,使用Transformer融合解码器对提取的特征进行计算整合并输出结果。 (2)在实验阶段,为了验证FMCF生成模型的可行性和可扩展性,本文收集了公开数据集进行处理,共获得342,931个〈方法,摘要〉对。随后,针对处理后的SBT序列和AST进行了多组对比实验、消融实验以及泛化性实验。实验结果表明,相对于标准的基线方法,FMCF在BLEU和METEOR指标都有相应的提升。而且人工评估的平均Kappa系数得分偏上,也说明FMCF生成的代码摘要能解决实际场景的问题,能够泛化到其他源代码领域。 (3)此外,为验证本文所构建的FMCF生成模型的实际应用价值,本文基于Spring Boot框架与FMCF生成模型开发了一个前后端分离的源代码摘要生成系统。该系统能够将用户在前端输入的源代码信息传输至后端,并通过RESTful API调用外部封装的FMCF模型以生成摘要。同时生成系统可根据不同用户的操作需求对生成的摘要进行管理。本系统实现了界面简洁清晰、用户需求导向、主要功能齐全的开发原则,提升了研究成果的应用性和实用性。

关键词： HACCP计划   区块链   布隆过滤器   溯源优化   Fabric  

摘要： HACCP体系是对食品安全危害加以识别、评估并加以控制的科学体系。建立规范水产品HACCP体系,对水产加工行业食品安全控制具有重要的意义。目前,基于HACCP计划的水产品溯源研究精确规范化了水产品质量溯源的数据结构,但传统的溯源方式常常导致信息不对称,从而形成信息孤岛问题,并不能有效的解决水产品供应链质量溯源问题,因此采用区块链作为水产品溯源的技术平台,充分利用了区块链技术的不可篡改性以及去中心化特点,解决了目前水产品溯源过程中的一系列问题。 结合水产品危害分析与关键控制点(Hazard analysis and critical control points,HACCP)计划的区块链可信溯源系统是目前水产品溯源研究的热点,HACCP计划保证水产品溯源数据的规范性,而如何利用HACCP计划下数据结构的特点以此优化区块链系统的效率是一个需要解决的问题。目前对于区块链查询效率的研究有着许多视角的研究,包括从内置索引,外联数据库以及多链的方式对区块链的查询效率以及查询关键词的丰富度方面进行优化。但目前这些研究多以理论技术层面为主,将之与区块链溯源实际应用环境作结合的研究相对较少,因此本文以巴氏杀菌蟹肉为例,结合HACCP计划和区块链技术,对传统水产品单链溯源系统与溯源机制进行优化。具体步骤如下: 首先,通过分析巴氏杀菌蟹肉HACCP计划中数据的安全风险分级特点,结合实际业务场景,从分析整个巴氏杀菌蟹肉所涉及的用户而言,考虑他们各自所需要的不同的溯源需求,将HACCP计划涉及数据按安全等级作分类,构建“私有链+联盟链”的区块链双链存储模型。双链的存储结构可以有效解决区块链负载问题以及对于某些数据溯源时需要遍历整条链带来的不必要查询请求。 其次,进一步围绕区块链查询效率较低问题,在智能合约中集成布隆过滤器以期提高区块链查询效率,通过集成布隆过滤器的方式,可以有效减少系统面对负查询时的处理速度,在系统处理查询请求时,首先通过布隆过滤器进行判断,将不存在的查询请求直接舍弃,从而减少了一定量对于区块链的遍历,以此提高查询速度。 最后基于Hyperledger Fabric环境完成系统的设计与开发。并对提出的双链存储结构以及集成布隆过滤器的优化作实验,与传统区块链溯源方式作对比,模拟的测试实验结果表明,集成布隆过滤器的查询合约相较传统智能合约效率提高约15%,同时优化改进后的区块链系统吞吐量达到305笔/s,达到区块链溯源系统的要求。该研究为基于HACCP计划的水产品区块链溯源研究具有重要意义。

关键词： 在线平台   区块链采用策略   分销模式   绿色产品竞争　　online platform   blockchain adoption strategy   distribution mode   green product competition  

摘要： 平台经济下，在线平台可通过区块链的实施降低消费者对绿色产品属性认知的模糊性，提升其竞争优势。但这会给绿色企业分销模式的选择带来不确定。基于绿色产品和非绿产品竞争背景，考虑区块链引起的隐私信息泄露问题，分别在代理和转售两种分销模式下建立区块链采用策略模型，探讨了各成员的区块链采用偏好及分销模式选择策略。研究发现，区块链始终有利于提升非绿产品价格，却不一定能提升绿色产品零售价和批发价。只有当绿色度隐私关注成本比率高于一定阈值，区块链才能促成三者经济利益的共赢，这一概率受到平台佣金率、环境友好型消费者比例的影响。从最大化区块链经济价值的角度，当绿色度隐私关注成本比率适中时，绿色企业和在线平台均将选择转售模式；否则双方分销模式选择将出现冲突。与完全区块链策略相比，代理模式下混合区块链策略会造成三者利润均下降。转售模式下，由于产品多样化分散了供应链双重边际效应，混合区块链策略可能会被绿色企业和在线平台所偏好。

关键词： 区块链技术   电子招投标   工程招投标   耦合分析  

摘要： 随着信息技术的发展，电子化招投标模式逐步取代传统模式，但电子招投平台主要为中心化系统，存在数据共享效率低、可靠性低、信息保密性低等问题。区块链技术所具有的突出特点，能够很好地应对工程电子招投标模式中存在的问题。本文基于区块链技术信息高度透明化、高保障性和去中心化的主要特征，进行区块链技术与工程电子招投标的耦合分析与应用研究，构建区块链技术耦合工程电子招投标的管理模式，提升效率、公平性和管理水平。

关键词： 智能合约   漏洞检测   xLSTM   注意力机制   知识蒸馏  

摘要： 智能合约代码漏洞指的是部署在区块链上运行的智能合约中存在的编程错误、逻辑缺陷或设计不当问题,这些漏洞能被恶意攻击者利用,导致非法资金转移、合约行为异常或系统安全性受损,进而影响整个区块链生态的信任度和稳定性。智能合约代码漏洞检测是解决上述问题最有效的方法。由于现有的漏洞检测方法应用在智能合约代码检测方面还存在效率低、部署困难等问题,本文结合深度学习和知识蒸馏技术,研究面向区块链的智能合约代码漏洞检测方法,主要研究内容如下: (1)针对目前漏洞检测手段难以全面捕捉复杂智能合约中长距离依赖和深层语义信息,导致检测结果出现误报和漏报的问题,提出基于扩展长短期记忆网络和注意力机制(Extended Long Short-Term Memory-Attention,xLSTM-ATT)的智能合约代码漏洞检测方法。该方法首先随机初始化嵌入层和位置编码将代码转为向量表示,然后采用交替组合的标量长短期记忆网络(Scalar Long Short-Term Memory,sLSTM)与矩阵长短期记忆网络(Matrix Long Short-Term Memory,mLSTM)构建xLSTM层,进而提取局部与全局特征,再利用注意力机制聚焦关键漏洞代码,最后通过全连接分类器输出存在漏洞概率。实验结果表明,该方法在准确率和F1分数上优于其他同类方法。 (2)由于现有的智能合约代码漏洞检测方法通常存在模型庞大且计算复杂,难以实现实时检测和大规模部署的问题,提出一种基于知识蒸馏的智能合约代码漏洞检测方法,该方法首先通过构建一个高精度的教师模型,提取复杂合约中深层语义与时序特征,其次利用软标签和联合优化任务损失与蒸馏损失将教师模型中的知识迁移至轻量化的学生模型,旨在保留深层模型的检测能力,且大幅降低参数量和推理时间。实验结果表明,该方法在保持高准确率和良好鲁棒性的同时,显著提升了模型的实时响应能力和部署效率。 (3)设计了一个面向区块链的智能合约代码漏洞检测系统。该系统模型由数据汇集模块、数据预处理模块、模型训练与检测模块以及可视化模块构成。系统验证了所提方法的有效性。

关键词： 云计算   计算机网络   信息安全防护  

摘要： 阐述云计算在计算机信息安全防护中的应用,通过零信任安全架构、智能威胁检测、数据安全保护和弹性安全服务编排等技术,构建了动态进化的集体防御机制,实现信息安全防护效能的全面提升。