2024年8月21日
星期三
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
陈志东
作品数:
12
被引量:27
H指数: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页
<
1
2
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张