摘要：量子科技有望赋能区块链技术,提升区块链共识机制的安全性能.根据是否存在诚实独立的量子源设备,本文提出了两种可用于多个节点的高成功率的数字列表分发方法,并进一步提出了一种新的基于数字列表分发的量子检测拜占庭协议. 4个节点的共识示例验证了提出的协议符合检测拜占庭协议的条件.最后通过分析和比较说明了提出的协议具有较好的实用性和安全性.与其他协议相比,本文提出的共识协议不仅能用于解决包含多个节点的区块链系统对多比特数据进行共识的问题,并能在共识过程中应对任意多恶意节点的攻击,提高了区块链系统的安全性.

摘要：逻辑系统指自变量只取有限个值的动态系统.包括2值的经典逻辑(或布尔逻辑)、k值逻辑、(一般)有限值逻辑.近年来,利用矩阵半张量积发展起来的逻辑动态系统的代数状态空间方法得到长足的进展和普遍的重视.同时,它被广泛应用于许多工程问题或理论研究中.它类似于Rn上由微分或差分方程描述的动态系统的Kalman状态空间方法,为逻辑系统的分析与控制设计提供了一个便捷的平台.本文首先对该方法作一简要介绍,然后,对该新兴学科分支的现状作一评述.最后,详细介绍该方法目前的应用以及其更广泛的应用前景.