【摘 要】
：
智能合约是运行在区块链上的数字协议,智能合约的开发涉及计算机、金融、法律等多个领域,近年来高级智能合约语言已被提出用于解决不同领域人员阅读、交流与协同开发难的问题
【机 构】
：
北京科技大学计算机与通信工程学院,北京市经济和信息化局
【基金项目】
：
国家科技部重点研发计划(2018YFB1402702),国家自然科学基金(61972032)
论文部分内容阅读
智能合约是运行在区块链上的数字协议,智能合约的开发涉及计算机、金融、法律等多个领域,近年来高级智能合约语言已被提出用于解决不同领域人员阅读、交流与协同开发难的问题,然而上述语言与可执行智能合约语言之间仍缺少有效的转化方法.针对这一问题,本文设计了一种SPESC到目标程序语言(Solidity)的转化规则,并提出了一种包括高级智能合约层、智能合约层和机器代码执行层的三层智能合约系统框架.首先,转化规则给出了根据SPESC合约当事人定义生成目标语言当事人子合约、以及SPESC其余部分生成目标语言主体子合约之间
其他文献
目的探讨Prader-Willi综合征(Prader-Willi syndrome,PWS)误诊为单纯隐睾的原因及治疗方法。方法收集2016年1月—2020年8月我院收治曾误诊的2例PWS患儿临床资料。结果2例患儿
我国的油气田采出天然气多采用气液混输,但天然气中常含有CO2和H2S腐蚀性气体,若管内存在大量凝析水,会加剧天然气管道腐蚀。由于大多数集输管道口径较小,不宜采用内检测。结
福建省莆田市木兰溪2019年11月入选第一批水利部示范河湖建设名单。莆田市按照示范河湖建设要求,坚定不移贯彻新发展理念,传承创新升级木兰溪治理模式,一张蓝图绘到底,统筹持
数字化建设方案作为推进油田地面工程数字化建设的切入点和着力点,对数字化建设至关重要。大庆油田在数字化建设示范工程中,通过优化数字化建设方案、固化数字化建设模式,为
利用高光谱技术检测大曲发酵品质时,获取的水分等高含量物质的高光谱数据可能掩盖对大曲质量评价至关重要的微量物质高光谱数据。为方便后续更微量物质的光谱曲线分解,需先排除水分等高含量物质的数据干扰,该文通过建立无监督的深度自编码模型,可实现大曲水分高光谱曲线分解。通过实验设计,采集与水混合后的成品曲粉光谱数据。首先编码部分,将混合大曲光谱曲线压缩为低维表示,即端元;解码部分,将光谱的低维表示解压重构为原
含水合物沉积物的渗透性很大程度影响水合物的分解过程以及产气速率和效率。由于试验条件和试验程序等多种因素的影响,所报道的渗透率值普遍存在很大的差异。利用数值模拟含
目的:研究大鼠出生后早期大气细颗粒物(PM2.5)吸入暴露对其部分免疫指标及卵清蛋白(OVA)致敏原反应性的影响及机制。方法:SD妊娠大鼠随机分为过滤空气-生理盐水(FA-NS)组、FA
随着国家的环保和安全法规越来越严格,企业对取样分析的严格要求,密闭取样器已广泛应用于各大石化企业。但是,密闭取样器的种类繁多,如何选择合适的取样器,关系到能否取到有
为了研究食用植物酵素中酵母菌及其耐高糖和低pH的能力,以紫苏酵素、火龙果酵素、茶叶酵素、乌饭树叶酵素以及铁皮石斛花酵素原液为原料分离酵母菌,通过形态学特征、生理生化
<strong>Objective: </strong>The aim of the study is to identify whether Atypical Lymphocyte (AL), liver transaminases, and Glutathione Reductase (GR) can be use