区块链-形式化表示与体系结构演进.pdfVIP

区块链—形式化表示与体系结构演进 . （浙江杭州 中国区块链技术大会） 斯雪明 复旦大学教授 中国计算机学会区块链专委会主任 目录 01 传统信息系统的数学模型与特征 02 区块链系统的形式化表示 03 典型区块链体系结构 04 区块链体系结构可能的演进方向 01 传统信息系统的 数学模型与特征 信息系统定义 信息系统是一个人造系统，它由人、硬件、软件和数据 资源组成，目的是及时、正确的收集、加工存储、传递 和提供信息，实现组织中各项活动的管理、调节和控制 信息系统形式化表示 一个信息系统 S 可以表示为：S={ U, A, V, f, g} • U={x , x , … , x } 称为论域,代表信息系统的不