您的位置: 专家智库 > >

黄洁华

作品数:10 被引量:39H指数:1
供职机构:北京航空航天大学更多>>
发文基金:国家重点实验室开放基金国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 9篇专利
  • 1篇期刊文章

领域

  • 2篇自动化与计算...

主题

  • 6篇合约
  • 5篇交易
  • 4篇私有
  • 4篇区块链
  • 3篇状态机
  • 2篇代码
  • 2篇代码执行
  • 2篇动态模型
  • 2篇中继
  • 2篇自动生成
  • 2篇文档
  • 2篇链系统
  • 1篇业务链
  • 1篇用户
  • 1篇用户界面
  • 1篇元组
  • 1篇账户
  • 1篇中间层
  • 1篇三元组
  • 1篇树根

机构

  • 10篇北京航空航天...
  • 1篇北京中电普华...

作者

  • 10篇胡凯
  • 10篇黄洁华
  • 7篇陈志东
  • 6篇白晓敏
  • 1篇李洁
  • 1篇李江
  • 1篇高灵超

传媒

  • 1篇信息安全研究

年份

  • 2篇2024
  • 2篇2019
  • 2篇2018
  • 3篇2017
  • 1篇2016
10 条 记 录,以下是 1-10
排序方式:
一种私有区块链的智能合约异步执行存储系统与实现方法
本发明提供了一种私有区块链的智能合约异步执行存储系统,包括:私有区块链的执行状态机、交易处理器执行状态机,能够支持SCAM的存储结构模块。还提供了一种私有区块链的智能合约异步执行存储系统的实现方法。通过以上系统和实现方法...
胡凯黄洁华白晓敏陈志东孙赫
一种基于区块链的智能合约的实现方法
本发明提供了一种智能合约的实现方法,包括步骤:建立智能合约,其中,合约C为三元组:C=(I,M<Sup>*</Sup>,{M<Sub>1</Sub>,M<Sub>2</Sub>,…,M<Sub>m</Sub>}),包括:...
胡凯黄洁华蔡维德白晓敏陈志东
文献传递
一种智能合约工程方法
本发明提供了一种智能合约生成方法,其特征在于包括以下步骤:将非形式化的智能合约说明文档转变为形式化规格的说明文档;根据对所述智能合约形式化规格的说明文档,建立智能合约的动态模型;实现不同的智能合约动态模型之间的转换;验证...
胡凯白晓敏黄洁华陈志东
文献传递
一种基于P2P金融的区块链机制与共识算法
本发明提供了一种基于P2P金融区块链机制的共识算法,包括如下步骤:(1)准备阶段:选取leader且当leader收到足够多的交易之后由leader开始计算区块;(2)计算区块,最后将计算好的区块广播;(3)区块的状态根...
胡凯陈志东黄洁华孙赫许玉壮
文献传递
一种智能合约工程方法
本发明提供了一种智能合约生成方法,其特征在于包括以下步骤:将非形式化的智能合约说明文档转变为形式化规格的说明文档;根据对所述智能合约形式化规格的说明文档,建立智能合约的动态模型;实现不同的智能合约动态模型之间的转换;验证...
胡凯白晓敏黄洁华陈志东
文献传递
一种私有区块链的智能合约异步执行存储系统与实现方法
本发明提供了一种私有区块链的智能合约异步执行存储系统,包括:私有区块链的执行状态机、交易处理器执行状态机,能够支持SCAM的存储结构模块。还提供了一种私有区块链的智能合约异步执行存储系统的实现方法。通过以上系统和实现方法...
胡凯黄洁华白晓敏陈志东孙赫
文献传递
一种基于中继链的跨链系统
本发明涉及一种基于中继链的跨链系统,包括跨链模块、中继链和接入链,接入链通过对应的跨链模块与中继链通信连接,各跨链模块之间通信连接,中继链作为一个中间层,连接不同的区块链网络,各个组成部分之间协同工作,使不同的区块链能够...
胡凯夏鹏凯任旖航黄洁华郭一晨
一种基于中继链的多方跨链系统
本发明涉及一种基于中继链的多方跨链系统,包括业务链、中继链和跨链网关,先确定跨链请求执行顺序,然后跨链网关从中继链上监听跨链触发条件的更新,开始监听链交易,跨链网关将满足跨链触发条件的应用链交易发送到中继链上生成跨链请求...
胡凯黄洁华任旖航夏鹏凯李江李洁郭一晨
众筹区块链上的智能合约设计被引量:39
2017年
P2P众筹是一种基于互联网金融技术的热点模式,目前的众筹平台还存在公信力不足、无法监管等问题,新兴的区块链和智能合约技术提供了解决问题的新技术途径.区块链作为分布式账本数据库,记录了不可更改的资产数据,存储在区块链上的智能合约可以直接控制数字资产的交易,从而构造了基于智能合约的可信众筹业务计算环境,为完全数字化资产的记录和转移奠定了基础.众筹项目的规则制定成智能合约代码后,把代码与项目状态全部记录在众筹区块链(crowdfunding private blockchain,CPBC)上,并由区块链执行交易代码,这样不仅保证了众筹项目的真实性、可靠性与强制性,还使得项目的执行具有可信性,极大地提升了众筹平台的公信力,还可减少众筹业务在第三方审核上的人工花费与计算成本.给出了众筹区块链的智能合约设计,包括智能合约的执行模型和存储模型,分别给出了Java的具体实例说明.研究结果表明,众筹区块链上的智能合约设计已能够满足80%的众筹业务需求,目前已经得到了初步的应用,取得了较好效果.
黄洁华高灵超许玉壮白晓敏胡凯
关键词:区块链众筹
一种私有链节点的集群交易处理方法
本发明提供了一种私有链节点的集群交易处理方法,包括如下步骤:(1)负载均衡,区块链集群节点接收上层应用层发来的交易,将其负载到不同的交易处理机上;(2)交易校验和交易执行,每个交易处理机接收负载均衡机发送来的交易对其校验...
胡凯许玉壮黄洁华孙赫陈志东
文献传递
共1页<1>
聚类工具0