基于节点权重的DPoS共识算法

针对委托权益证明（delegated proof of stake,DPoS）共识机制中节点作恶以及如何降低恶意节点成为代表节点可能性的问题,结合埃欧塔（IOTA）共识机制在安全性和稳定性方面的优势建立了节点之间的信任关系,提出了一种基于节点权重的DPoS（delegated proofof stake based on node weight,NW-DPoS）共识算法。将节点历史行为信息、自身权重值和在线状态作为计算认可度的因素,选取累积认可度高的节点作为区块生产者;根据节点行为表现并以降低节点累积认可度的方式惩罚有恶意行为的节点。仿真实验和分析表明： NW-DPoS共识算法能够明显降低恶意节点成为代表节点的概率,并且在抵御双花攻击和贿赂攻击方面比DPoS共识机制更可靠,从而提高了系统的安全性。     

基于联盟链的微电网身份认证协议

目前,微电网电力交易存在着身份认证协议不安全、交易中心化、数据无法追踪溯源、节点之间缺乏共识等问题,而区块链具有分布式存储、去中心化、数据不可篡改等优势.为此,基于联盟链的微电网身份认证协议,将区块链应用于微电网的身份认证以解决上述问题.首先,使用零知识证明解决了新节点的身份认证问题.其次,将其ID写入Merkle树并在整个联盟链中广播,利用区块链可以保证数据不被篡改的原理确保了数据的安全性和可追溯性,解决了传统电力交易的中心化、数据存储不安全、电力交易无法追踪溯源等问题.最后,凭借着瑞波共识协议所具有的安全高效的优势有效地解决了节点之间的共识问题.通过方案对比可知:该方案采用的零知识证明在身份认证中具有计算开销小及瑞波共识机制算法具备共识速率快的优点.经过安全性分析及性能分析可知:该方案在解决微电网的身份认证安全性问题的同时又能保证节点的运行性能最优.     

基于区块链的图书侵权记录存证平台

针对越来越频繁的音频阅读图书内容对图书构成侵权行为而未能及时有效存证的困境,提出一种以区块链技术对图书版权侵权记录进行自动存证的方案.首先,将网络爬取的音频信息进行处理,与图书内容查重比对后将结果存入私有区块链结构;其次,在基于工作量证明共识的基础上设计实现了复杂度可行的共识算法;最后,结合密码学的摘要信息认证与数字签名验证机制对区块数据进行安全性检查.系统测试结果验证了平台的效率和可靠性.     

命题逻辑中几种常见的推理证明方法

数理逻辑是《离散数学》的难点之一．其主要原因是内容比较抽象且方法较独特，加之题型以知识较广的证明题居多．而命题逻辑又是数理逻辑的基础，熟练而灵活地掌握好命题逻辑中推理证明的方法既是学习命题逻辑的重点，又会为进一步学习谓词逻辑打下良好的基础．本文结合适当的例题总结了命题逻辑中几种常见的推理证明方法，以期在帮助学生掌握命题逻辑的推理证明方法的同时，又能对学生进行逻辑思维能力的训练，培养学生分析问题和解决问题的能力．     

增压式真空预压法加固海相吹填土现场试验研究

为进一步推动真空预压法在海相吹填土地基中的应用,克服其自身的局限性,探讨增压在真空预压法中所起到的作用,依托温州某吹填工程开展现场试验研究,包括增压式真空预压法和常规真空预压法的现场对比试验,对现场的膜下真空度、表层沉降进行了分析,重点研究加固后增压式真空预压处理后的地基承载力的变化规律和加固效果,并与常规真空预压法进行对比。结果表明显:增压式真空预法加固效果明显,土体深层次承载力有一定程度提高,尤其在吹填面以下1.5~3 m的范围内增压区比常规真空预压区土体强度高。     

基于概率模型下施惠同恒等式的证明

对较为重要的组合恒等式—施惠同恒等式,本文构造了一个古典概型,用概率方法非常简捷地完成了施惠同恒等式的证明.     

直线参数方程中参数的应用

通过求直线参数方程中的参数,利用参数的几何意义证明空间点到平面、点到直线及异面直线间的距离公式,其证法相对较为简便.     

指数场下定数截尾步加试验的优化设计

本文对指数场合下定数截尾上加试验的优化设计进行了研究，并得到了优化设计的方案。     

A Study of Value‐at‐Risk Based on M‐Estimators of the Conditional Heteroscedastic Models

In this paper, we investigate the performance of a class of M‐estimators for both symmetric and asymmetric conditional heteroscedastic models in the prediction of value‐at‐risk. The class of estimators includes the least absolute deviation (LAD), Huber's, Cauchy and B‐estimator, as well as the well‐known quasi maximum likelihood estimator (QMLE). We use a wide range of summary statistics to compare both the in‐sample and out‐of‐sample VaR estimates of three well‐known stock indices. Our empirical study suggests that in general Cauchy, Huber and B‐estimator have better performance in predicting one‐step‐ahead VaR than the commonly used QMLE. Copyright © 2011 John Wiley & Sons, Ltd.