【摘 要】
：
为减少在公链上基于哈希的工作量证明中无意义计算消耗,合理利用区块链网络算力,创建一个促进可满足性问题(SAT)研究的有用工作社区环境,基于SAT问题求解,开发一种有用工作量
【机 构】
：
广州大学数学与信息科学学院,广州大学广东省信息安全技术省市共建重点实验室
【基金项目】
：
国家重点研发计划项目(2018YFB0803604)
论文部分内容阅读
为减少在公链上基于哈希的工作量证明中无意义计算消耗,合理利用区块链网络算力,创建一个促进可满足性问题(SAT)研究的有用工作社区环境,基于SAT问题求解,开发一种有用工作量证明共识机制,通过竞争解决困难SAT问题的方法获得区块链中区块构造权,并使各节点间达成共识。实验证明,基于该共识算法的区块链系统性能稳定,且各算法在系统中运行平稳,基于SAT求解的工作量证明共识机制有助于解决基于哈希计算工作量证明的无意义消耗问题,更好创造SAT问题的研究环境。
其他文献
【正】 内蒙哲盟人民法院于1992年共受理盗窃牲畜案件132件,占全部盗窃案件的47％多,被盗牲畜934头(只),总价值达56万余元。通过审判实践看,其主要特点是: 1.团伙犯罪突出。这
为提高园林绿植地被植物引种成功率,在高维数据聚类中采用相似性度量算法分析地被植物引种气候指标间相似度。选取原产于我国新疆维吾尔自治区的皱叶剪秋罗作为地被植物引种
为了改善传统基于聚类的图像分割算法对噪声敏感以及仅使用单一特征无法精确描述目标特性等问题,提出了一种基于区域的多特征图像分割算法。首先,使用Meanshift算法对原图像进行预分割,获得一组区域块;其次,提取每个区域块的颜色特征和纹理特征,使用FCM算法分别对每个特征进行聚类,针对每个特征获得一个类标签邻接矩阵;再次,将多个邻接矩阵叠加,形成多特征邻接矩阵;最后,使用NCUT算法对叠加邻接矩阵进行
近年来群体性事件频发,文章在对其概念进行梳理之后,重点对其发生的原因进行分析,包括利益格局失衡、社会资源分配不公、公民权利意识的觉醒以及利益诉求渠道不畅等。对应的
南瓜不仅营养丰富,而且是低脂、低钠和高膳食纤维食品。以南瓜为原料制作的果酱风味独特,营养价值丰富。为了制作风味独特的低糖南瓜果酱,对制作低糖南瓜果酱的工艺参数进行
环境与健康问题关系到广大人民群众的切身利益，是环境保护工作的重中之重。近年来，环境污染导致的人体健康损害现象越来越突出，“癌症村”和重金属污染致健康损害事件频频见诸报
超速引发的交通事故数量急剧增加,为了提高道路驾驶安全性,提出一种基于维纳复原的道路限速交通标志检测方法。首先,对原始街景进行维纳滤波复原图像预处理;然后,根据道路限速标志牌轮廓形状和颜色等特征,在HSI彩色空间进行红色阈值分割、Canny边缘检测和Hough圆检测,对图像中的道路限速交通标志进行检测,定位出可能是道路限速交通标志的区域;最后,根据限速标志的内部特征排除定位出的非限速交通标志区域。实
为减少人车冲突及其带来的交通安全隐患问题,对不同用地类型的交叉口右转机动车与行人之间的冲突进行研究。基于视频得到人车冲突数据,通过模糊C均值聚类方法分析不同交叉口
为厘清Hyperledger Fabric的两级证书系统设计思路,深入理解与运用Fabric项目的身份管理模块,依据“Fabric协议规范”内容整理并简要阐述Fabric两级证书体系设计方案,着重分