Efficient 4-round zero-knowledge proof system for NP

A 4-round zero-knowledge interactive proof system for NP (Non-deterministic Polynomial) is presented when assuming the existence of one-way permutations and collision-free hash functions. This construction is more efficient than the original construction of 5-round zero-knowledge proof system for NP. The critical tools used in this paper are: zap, hash-based commitment scheme and non-interactive zero-knowledge.     

带约束边的最优树问题

本文给出了求解一个赋权图中含有约束边的最优树的两种算法和证明。并在此基础上,给出了关于含有约束边最优树的一些推广问题的算法和证明。     

可任意花费的可传递电子现金系统

针对现有的可传递电子现金系统在传递协议中传递花费顺序固定以及传递次数受限制的问题,利用Groth-Sahai证明系统、对承诺的承诺和Ghadafi群盲签名,在标准模型下构建一个具有最优匿名性的可任意花费的等长可传递电子现金系统,该系统中电子现金的花费不受任何花费顺序限制,传递次数是任意次.基于对承诺的承诺,可以对所传递的序列号进行压缩,从而保证用户传递电子现金的长度是常量;基于Ghadafi群盲签名,实现了电子现金花费用户的任意性;在标准模型下,证明了新系统的安全属性,该系统具有不可伪造性、最优匿名性、不可重复花费性和不可诬陷性.      

卡尔达诺几何证明的构造性

为分析与探索《大术》中几何证明的特点,对《大术》第13章中三次幂加上常数等于一次项方程解法法则的证明原文运用简单易懂的数学表达式作以说明;基于对此法则的证明,分析了卡尔达诺几何证明构造性特点,总结了卡尔达诺的构造思路.     

基于ElGamal的有序多重数字签名方案

基于ElGamal数字签名算法为基础设计了一种基于离散对数问题的有序多重数字签名方案,将该方案用于文件的多个用户顺序签名.实验表明,该方案在密钥生成部分采用零知识证明以防止内部成员的欺诈行为,更具安全性.此外简化了签名者之间的验证过程,提高了签名的效率.     

高等数学中的辅助函数设计

函数是描述变量之间关系的重要工具,是微积分学研究的主要对象.因此,微积分中许多问题都离不开函数,适当地构造辅助函数,可以达到事半功倍的效果.在理工科院校高等数学课程教学过程中,洛尔定理、Language中值定理是教学的重点和难点,学生很难理解和掌握利用中值定理解决的证明问题.通过规律性地构造辅助函数,加深了学生对于这个难点问题的理解和应用.另外不等式的证明也是高等数学课程中的常见问题之一,运用单调性及Lagrange中值定理结合辅助函数是解决此类问题比较常用的方法.在利用单调性证明不等式问题中,通常情况下是将不等式两边相减之后的函数作为辅助函数,在利用Lagrange中值定理证明不等式问题中一般采用逆推法,适当选取辅助函数可使问题迎刃而解.     

基于有向无环图的高效区块链共识算法

针对传统区块链共识算法存在效率低和大量资源浪费的问题, 提出一种使用基于ID分类的有向无环图数据结构取代传统区块链链式数据结构的算法, 解决了 传统区块链项目无法在短时间内确认大量交易的问题. 该算法使用基于ID分类的有向无环图数据结构能更简单地达成共识, 适用于多用户在同一时间进行交易确认. 该共识算法与传统区块链项目相比能在更短的时间内确认交易, 从而可节省大量的硬件资源, 且提升区块链对交易的处理效率.     

影响专业期刊质量的几个因素及对策

针对投稿查抄、编校和编辑人员自身因素对科技期刊的影响,提出了应采取的应对措施.     

关于对原子的同一电子组态无论LS耦合还是Jj耦合都给出相同数目的原子态的简单证明

关于对原子的同一电子组态,无论LS耦合还是Jj耦合都给出相同数目的可能状态的证明,现行的教材都是以特例加以证明,本文给出两种普遍适合的证明方法.     

预应力碳纤维片材在结构加固中的应用研究——以其对钢筋混凝土梁力学性能的增强为例

文章通过大型商业有限元软件 ANSYS/Civil 对预应力碳纤维片材增强钢筋混凝土梁的抗弯性能进行了数值模拟,分析了普通 RC 梁、碳纤维布增强 RC 梁、预应力碳纤维布增强 RC梁的抗弯承载力、受力钢筋应力历程、RC 梁挠度历程等力学性能.结果表明,粘贴预应力碳纤维布能够更好的改善钢筋混凝土梁的受力,提高增强 RC 梁的承载能力