您的位置： 专家智库 > >

陈志东

作品数：12 被引量：27H指数：1
供职机构：北京航空航天大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 5篇交易
  • 5篇合约
  • 4篇私有
  • 4篇区块链
  • 3篇区块
  • 3篇状态机
  • 2篇代码
  • 2篇代码执行
  • 2篇动态模型
  • 2篇形式化
  • 2篇形式化建模
  • 2篇形式化建模与...
  • 2篇银行
  • 2篇银行业
  • 2篇银行业务
  • 2篇账户
  • 2篇自动生成
  • 2篇文档
  • 2篇架构
  • 2篇P2P

机构

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

作者

  • 12篇胡凯
  • 12篇陈志东
  • 7篇白晓敏
  • 7篇黄洁华
  • 1篇董爱强
  • 1篇孙赫

传媒

  • 1篇信息安全研究

年份

  • 1篇2022
  • 1篇2021
  • 2篇2019
  • 4篇2018
  • 3篇2017
  • 1篇2016
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种区块链系统形式化建模与验证方法
本发明提供了一种区块链系统形式化建模与验证方法，包括：步骤1：根据有限状态机利用分层建模的方式建立单个节点的SDL(Specification and Description Language，规范描述语言)模型；步骤2...
胡凯段张博白晓敏陈志东
文献传递
一种私有区块链的智能合约异步执行存储系统与实现方法
本发明提供了一种私有区块链的智能合约异步执行存储系统，包括：私有区块链的执行状态机、交易处理器执行状态机，能够支持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)区块的状态根...
胡凯陈志东黄洁华孙赫许玉壮
文献传递
一种智能合约工程方法
本发明提供了一种智能合约生成方法，其特征在于包括以下步骤：将非形式化的智能合约说明文档转变为形式化规格的说明文档；根据对所述智能合约形式化规格的说明文档，建立智能合约的动态模型；实现不同的智能合约动态模型之间的转换；验证...
胡凯白晓敏黄洁华陈志东
文献传递
一种区块链系统形式化建模与验证方法
本发明提供了一种区块链系统形式化建模与验证方法，包括：步骤1：根据有限状态机利用分层建模的方式建立单个节点的SDL(Specification and Description Language，规范描述语言)模型；步骤2...
胡凯段张博白晓敏陈志东
文献传递
一种私有区块链的智能合约异步执行存储系统与实现方法
本发明提供了一种私有区块链的智能合约异步执行存储系统，包括：私有区块链的执行状态机、交易处理器执行状态机，能够支持SCAM的存储结构模块。还提供了一种私有区块链的智能合约异步执行存储系统的实现方法。通过以上系统和实现方法...
胡凯黄洁华白晓敏陈志东孙赫
文献传递
一种私有链节点的集群交易处理方法
本发明提供了一种私有链节点的集群交易处理方法，包括如下步骤：(1)负载均衡，区块链集群节点接收上层应用层发来的交易，将其负载到不同的交易处理机上；(2)交易校验和交易执行，每个交易处理机接收负载均衡机发送来的交易对其校验...
胡凯许玉壮黄洁华孙赫陈志东
文献传递
全选 清除 导出
共2页<12>
聚类工具0