使用广义奇—超位Ⅱ的一阶定理证明

证明了使用奇－超位Ⅱ的证明系统是不完备的，造成这种不完备性的原因是忽略了幂等规则的使用，通过定义一阶多项式与零的超位，适当地拓广了奇－超位Ⅱ的定义，给出了一个使用这种拓广了的奇－超位Ⅱ的完备了证明系统，此外，这一证明系统也是余式方法的改进，它的完备性实质上也说明了使用语义策略的余式方法是完备的。     

AN ALGORITHM FOR DECOMPOSING HIGH DEGREE POLYNOMIALS

It is significant in mathematical problems to decompose a polynomial P(x)intoan irreducible representation as followsP(x)=P1(P2(…(Pn(x))…)).In this paper,we present an effective and efficient algorithm to do this work,which has beenimplemented on computer by using the computer algebraic system SAC-2.     

一种改进的基于身份和双线性对的环签名方案

Lin-Wu等人的使用双线性对构造的基于身份的环签名是不合理的,该文对Lin-Wu等人的签名方案进行修改,得到一个合理的使用双线性对构造的基于身份的环签名。     

基于DIIS理论的科技智库人才复合型知识需求分析以基础研究政策分析为例

根据我国一级学科目录,分析了数据-信息-研判-方案(Data-Information-Intelligence-Solution,DIIS)理论每一个环节与各学科的关联性,分析结果表明,大部分学科都与DIIS方法具有较强的关联性.此外,以科技智库研究中的基础研究政策分析为例,识别出其中所需要的背景知识,且据此提出了为我国科技智库培养复合型知识人才体系的建议.分析认为,智库人才需具有复合型特征,科技智库人才由于科学技术与经济社会的复杂互动,需具有更为多元的复合知识背景.     

改进Tseng-Jan的群签名方案

在1999年,Tseng和Jan基于离散对数提出了两个群签名方案,然而,Zichen Li等人证明了这两个方案都是不安全的．在这里,该文对Tseng和Jan的群签名方案进行了改进,得到了一个安全的群签名方案．     

集成电路验证技术

1994年,Intel开发的奔腾586处理器被发现在执行某个特定的浮点运算时出现错误。这种错误发生的几率虽然很小,27000年才可能出现一次,但Intel还是不得不为此付出4.75亿美元的巨额代价,召回了有缺陷的奔腾处理器。1996年6月4日,欧洲航天局研制的阿里亚娜5号火箭在发射后不到40s爆炸。事后调查研究发现,问题是在当一个很大的64位浮点数转换为16位带符号整数时出现了错误。细微的错误,使得10年的努力毁于一旦。上述两个事例表明,任何系统包括集成电路系统,设计的错误和缺陷一旦造成损失,结果常常是灾难性的。一、集成电路设计技术和产业现状全…     

基于离散对数的Blum整数的统计零知识证明

Blum整数(BL)已经被广泛应用在密码学领域中,它是形式为pk1qk2的整数,其中p和q是模4余3的不同素数,而k1和k2是奇数,这种整数通常被分为两种,即:I∶={M|M=pq}和II∶={M|M=pk1qk2} ,其中k1和k2至少有一个大于1的奇数.Bruce Schneier中提出了一个开问题:不知道是否存在一个证明整数M∈BL且M∈I的实用零知识证明系统.该文基于离散对数构造了两个具有如下基质的零知识证明系统:1)证明者能确信验者M∈BL;2)证明者能确信验者M∈I或M∈II.另外,也构造了证明一个秘密整数a不等于零的零知识证明系统.