张浩
- 作品数:6 被引量:0H指数:0
- 供职机构:江苏师范大学更多>>
- 相关领域:自动化与计算机技术农业科学理学经济管理更多>>
- SDLSD:基于状态图的智能合约描述语言
- 2024年
- 智能合约在区块链发展中扮演着重要角色,并广泛应用于各领域。然而,已有的智能合约语言均由专业的合约研发人员开发,使得相关应用领域的专家难以轻松地设计合约。为了便于领域专家进行智能合约设计,引入领域特定语言的概念,提出一种基于状态图的智能合约描述语言SDLSD。该语言使用状态图描述合约条款与行为之间的逻辑结构关系,并通过词法、语法及语义分析生成可执行的Solidity语言。SDLSD实时支持语法检查、合约库引用和合约模板使用,同时跨平台编译和运行。测试结果表明,该语言不仅具有自然语言的简单性与可读性,还展现出更高的抽象语义,相较于已有方法具有明显优势。
- 张浩吴胜张人娄
- 关键词:状态图词法分析语法分析代码生成
- 基于亚甲基参与的串联反应若干氮、氧杂化合物的合成研究
- 亚甲基参与的串联反应运用微波合成技术开发和研究具有潜在药物活性的氮、氧杂环化合物是本论文的研究重点。 本论文共包括以下几部分: 第一部分详细介绍国内外微波合成技术在串联反应中的发展现状及本论文的创新点、选题意义以及氮、氧...
- 张浩
- 关键词:微波合成选择性氮
- 文献传递
- 一种快速精准制备甘薯专用微生物菌肥的方法及制得的微生物菌肥
- 本发明公开了一种快速精准制备甘薯专用微生物菌肥的方法及制得的微生物菌肥,该制备方法是:(1)先对甘薯种植地土壤进行取样,再从土壤样品中提取根际土壤细菌群落总DNA,对细菌群落DNA16S rRNA基因组成的V4‑V5高变...
- 温洪宇张浩泮佳佳
- 文献传递
- 一株类肺炎克雷伯菌及其在制备微生物燃料电池中的应用
- 一株类肺炎克雷伯菌及其在制备微生物燃料电池中的应用,属于微生物燃料电池领域。本发明所述类肺炎克雷伯菌(Klebsiella quasipneumoniae)SP.203菌株保藏于中国普通微生物菌种保藏中心,保藏编号为CG...
- 温洪宇张浩郭雅婷王国振
- 文献传递
- 基于区块链智能合约的高校三式记账法初探
- 2024年
- 基于区块链技术(含智能合约)复式记账法可以被发展成三式记账法,这将对我国高校会计工作产生深远的影响。文章先以报销为例说明高校三式记账法流程,三式记账法下可以实现信息几乎全流程的自动处理;再提出新的会计信息系统模型;接着,以科研费为例探讨高校三式记账法的记录方法,并对比复式记账法和三式记账法的计量特点;然后,探讨三式记账法下可供选择的智能合约描述语言,并在改进SPESC的基础上给出了用它描述智能合约的模板,提出了三式记账法的中介、多方、签收、代理、担保、跨链、多分支链等不同模式;最后,总结了三式记账法对高校会计工作中计量、智能合约、管理职能、业务流程、标准化等的影响,并提出了一些建议。
- 吴胜张浩苏琴
- 关键词:区块链高校
- 一株肺炎克雷伯菌及其在制备微生物燃料电池中的应用
- 一株肺炎克雷伯菌及其在制备微生物燃料电池中的应用,属于微生物燃料电池领域。本发明所述肺炎克雷伯菌(Klebsiella quasipneumoniae)SP.203菌株保藏于中国微生物菌种保藏管理委员会普通微生物中心,保...
- 温洪宇张浩郭雅婷王国振
- 文献传递