张浩
- 作品数：8 被引量：0H指数：0
- 供职机构：江苏师范大学更多>>
- 相关领域：自动化与计算机技术农业科学理学文化科学更多>>
- SDLSD:基于状态图的智能合约描述语言
- 2024年
- 智能合约在区块链发展中扮演着重要角色,并广泛应用于各领域。然而,已有的智能合约语言均由专业的合约研发人员开发,使得相关应用领域的专家难以轻松地设计合约。为了便于领域专家进行智能合约设计,引入领域特定语言的概念,提出一种基于状态图的智能合约描述语言SDLSD。该语言使用状态图描述合约条款与行为之间的逻辑结构关系,并通过词法、语法及语义分析生成可执行的Solidity语言。SDLSD实时支持语法检查、合约库引用和合约模板使用,同时跨平台编译和运行。测试结果表明,该语言不仅具有自然语言的简单性与可读性,还展现出更高的抽象语义,相较于已有方法具有明显优势。
- 张浩吴胜张人娄
- 关键词：状态图词法分析语法分析代码生成
- 基于亚甲基参与的串联反应若干氮、氧杂化合物的合成研究
- 亚甲基参与的串联反应运用微波合成技术开发和研究具有潜在药物活性的氮、氧杂环化合物是本论文的研究重点。本论文共包括以下几部分：第一部分详细介绍国内外微波合成技术在串联反应中的发展现状及本论文的创新点、选题意义以及氮、氧杂环...
- 张浩
- 关键词：微波合成选择性氮
- 文献传递
- Slice-GCN:基于程序切片与图神经网络的智能合约漏洞检测方法
- 2025年
- 智能合约是一段由计算机代码构成的程序。随着智能合约数量的暴涨,如何利用漏洞检测方法来提升智能合约的安全性显得更加重要。已有的符号执行、模糊测试与形式化验证等漏洞检测方法自动化程度低,而基于序列模型的深度学习方法由于对智能合约源代码的特征挖掘不足导致检测结果的精度偏低。因此,本文提出一个基于程序切片与图神经网络的以太坊智能合约(简称智能合约)漏洞检测方法Slice-GCN。该方法先对程序进行代码预处理简化程序,再使用基于图可达性和数据流方程的程序切片方法对预处理后的程序进行切片,并将切片结果输入长短期记忆网络(LSTM)中提取智能合约的程序语义特征。接着,简化程序依赖图后将其输入图卷积神经网络中,并提取智能合约的程序结构特征。然后,将智能合约的程序语义特征和结构特征拼接后输入多层感知机(MLP)中,并对智能合约进行漏洞检测。在提出Slice-GCN方法的基础上,针对重入攻击、时间戳依赖及整数溢出三类漏洞,本文对Slice-GCN方法与Oyente、Osiris和Soliditycheck三款智能漏洞检测工具进行了对比实验,并且通过消融实验分析了程序切片、图神经网络及图收缩比例对实验结果的影响。实验结果表明本文提出的方法在各类指标上均有较大提升,能有效提升检测准确度和精度,降低误报率,同时在检测速度上也明显优于传统的智能合约漏洞检测工具。
- 张人娄吴胜张浩刘方宇
- 关键词：漏洞检测程序切片
- 一种快速精准制备甘薯专用微生物菌肥的方法及制得的微生物菌肥
- 本发明公开了一种快速精准制备甘薯专用微生物菌肥的方法及制得的微生物菌肥，该制备方法是：(1)先对甘薯种植地土壤进行取样，再从土壤样品中提取根际土壤细菌群落总DNA，对细菌群落DNA16S rRNA基因组成的V4‑V5高变...
- 温洪宇张浩泮佳佳
- 文献传递
- 基于区块链智能合约的高校三式记账法初探
- 2024年
- 基于区块链技术(含智能合约)复式记账法可以被发展成三式记账法,这将对我国高校会计工作产生深远的影响。文章先以报销为例说明高校三式记账法流程,三式记账法下可以实现信息几乎全流程的自动处理;再提出新的会计信息系统模型;接着,以科研费为例探讨高校三式记账法的记录方法,并对比复式记账法和三式记账法的计量特点;然后,探讨三式记账法下可供选择的智能合约描述语言,并在改进SPESC的基础上给出了用它描述智能合约的模板,提出了三式记账法的中介、多方、签收、代理、担保、跨链、多分支链等不同模式;最后,总结了三式记账法对高校会计工作中计量、智能合约、管理职能、业务流程、标准化等的影响,并提出了一些建议。
- 吴胜张浩苏琴
- 关键词：区块链高校
- 一株肺炎克雷伯菌及其在制备微生物燃料电池中的应用
- 一株肺炎克雷伯菌及其在制备微生物燃料电池中的应用，属于微生物燃料电池领域。本发明所述肺炎克雷伯菌（Klebsiella quasipneumoniae）SP.203菌株保藏于中国微生物菌种保藏管理委员会普通微生物中心，保...
- 温洪宇张浩郭雅婷王国振
- 文献传递
- 一株类肺炎克雷伯菌及其在制备微生物燃料电池中的应用
- 一株类肺炎克雷伯菌及其在制备微生物燃料电池中的应用，属于微生物燃料电池领域。本发明所述类肺炎克雷伯菌（Klebsiella quasipneumoniae）SP.203菌株保藏于中国普通微生物菌种保藏中心，保藏编号为CG...
- 温洪宇张浩郭雅婷王国振
- 文献传递
- 武术基本功训练对12-13岁青少年FMS水平影响的研究
- 研究目的:武术是我国的传统体育项目,武术基本功又是武术的基础。通过为期8周的武术基本功干预训练,探究武术基本训练功是否可以影响青少年学生功能性动作筛查(Functional Movement Screen,FMS)测试水...
- 张浩
- 关键词：武术基本功
