北航云南数字经济研究中心 浏览量 22.0万 获赞数 1 粉丝数 8
中心围绕数字经济国家和地方战略,依托于北航计算机学院,在区块链、大数据、分布式能源监控、物联网金融等方面有自主知识产权的成熟技术和系列产品,拥有发明专利和软著30余项。
  • 文章10
  • 收到的评论
  • 最新
  • 热门
区块链入门 | 智能合约移动业务应用设计 海盗号

区块链入门 | 智能合约移动业务应用设计

北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院  孙赫,张学瀚   移动公司业务在计费、支付、积分等领域存在大量账户管理及账户交易需求,这些需求通常通过集中化的服务器来管理账户和记...
北航云南数字经济研究中心 2019-12-12 智能合约 区块链入门
11291
区块链入门 | 智能合约金融应用设计 海盗号

区块链入门 | 智能合约金融应用设计

北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院   黄洁华,王思远   P2P互联网金融模式是一个典型的区块链应用场景,对金融众筹这种需要非常高的可信度的行业来说,使用区块链技术是非...
北航云南数字经济研究中心 2019-12-10 智能合约 区块链入门
13485
区块链入门 | 智能合约的并行执行 海盗号

区块链入门 | 智能合约的并行执行

北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院   余维 胡 凯 性能问题一直是困扰区块链领域的大问题,其中智能合约性能是整个区块链性能的瓶颈之一,智能合约在1994年由尼克萨博首次提出,但受...
北航云南数字经济研究中心 2019-12-05 区块链 智能合约
14229
区块链入门 | 智能合约微服务:如何将云上现有的技术与智能合约相结合? 海盗号

区块链入门 | 智能合约微服务:如何将云上现有的技术与智能合约相结合?

作者:北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院  余维 胡 凯 随着云计算与区块链的快速发展,BaaS(Blockchain as a Service,区块链即服务)逐火热了起来。与早期云上的IaaS、PaaS...
北航云南数字经济研究中心 2019-12-03 智能合约 区块链入门
15543
区块链入门 | 智能合约的形式化验证案例 海盗号

区块链入门 | 智能合约的形式化验证案例

作者:北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院  白晓敏,周楚涵 本文将介绍基于模型检测形式化方法应用于智能合约辅助生成和验证的一个案例,便于大家了解相关的技术路线。作为形式化方法...
北航云南数字经济研究中心 2019-11-28 区块链 智能合约
25477
区块链入门 | 智能合约的形式化验证工具 海盗号

区块链入门 | 智能合约的形式化验证工具

作者:北京航空航天大学分布式实验室 北京航空航天大学云南创新研究院  白晓敏,段张博    在智能合约的形式化验证过程中,总是需要专业的编程人员对不同模板的智能合约进行特征分析、模型建立和模型验...
北航云南数字经济研究中心 2019-11-26 智能合约 区块链入门
15164
智能合约入门系列 | 智能合约工程重要环节:形式化验证方法 海盗号

智能合约入门系列 | 智能合约工程重要环节:形式化验证方法

深入浅出,一文读懂智能合约中的形式化验证。
北航云南数字经济研究中心 2019-11-21 智能合约 形式化验证
40823
智能合约系列 | 一种基于区块链的法律代码载体 海盗号

智能合约系列 | 一种基于区块链的法律代码载体

正如前文所述尼克.萨博对智能合约的定义:“智能合约就是执行合约条款的可计算交易协议”,即智能合约是反映契约的算法合同(Algorithmic Contract)和可执行代码合同,即当事人同意依据一定的计算机算法来确定合同...
北航云南数字经济研究中心 2019-11-19 法律 智能合约
18438
智能合约系列 | 智能合约工程简述:Smart Contract Engineering 海盗号

智能合约系列 | 智能合约工程简述:Smart Contract Engineering

智能合约是数字社会活动的基础保障。
北航云南数字经济研究中心 2019-11-14 智能合约
20717
智能合约系列1:数字社会的基石——智能合约 海盗号

智能合约系列1:数字社会的基石——智能合约

智能合约是什么?它有什么作用?它的本质是什么?它的意义在哪里?它存在什么问题?它如何落地应用?它的发展之路在哪里?本系列文章将给出答案。
北航云南数字经济研究中心 2019-11-12 智能合约 区块链技术
45307