NP问题的3轮零知识证明系统的存在性

研究NP问题的3轮零知识证明的存在性.O.Goldreich与H.Krawczyk在1996年证明BBP以外的语言不存在（欺骗概率可忽略的）3轮黑箱模拟零知识协议,但是否存在3轮非黑箱模拟零知识证明仍然是一个尚未解决的问题.采用一种新的交互证明模式,在标准的DDH假设下,对图的3着色问题构造了一个3轮零知识证明.由于对零知识性的证明采用了一种特殊的方法,文中的协议实际上是非黑箱模拟意义下的零知识证明,从而证明了在DDH假设下,所有的NP语言都有3轮零知识证明系统.     

CAD/CAPP/CAM集成技术原理与应用

对CAD/CAPP/CAM集成技术进行了分析和讨论，将特征造型技术方法应用于实际，并详细地阐述了CAD/CAPP/CAM集成系统的总体设计方案及运行过程。     

短正合列的弱可裂

把短正合列的可裂推广到短正合列的弱可裂，并对弱可裂进行了等价刻画，最后还运用左弱可列证明了平坦模的一个充要条件。     

方程f″—zf=0解的零点

首先于实数域内，用ｓｔｕｒｍ比较定理证得ｆ″－ｘｆ＝０的非平凡解的零点集含有可列个负数；尔后延拓到复数域内，把特解Ａｉｒｙ积分Ａｉ（ｚ）用Ｍａｃｄｏｎａｌｄ函数表示。通过复围线积分计算证得Ａｉ（ｚ）仅有负数的零点，从而获得了ｆ″－ｚｆ＝０的非平凡解有且仅有可列个负数零点的结论。     

拟—幂零群的一组性质

我们引入拟－幂零群的概念，主要得到了拟－幂零群Ｇ的中心Ｚ（Ｇ０与极小正规子群之间的关系。     

关于I_3-半群(Ⅱ)

本文利用半群代数理论及偏序集理论、方法,继续讨论了I_3-半群的若干性质及其幂零性问题。给出了I_3-半群为幂零的若干充要条件,特别是给出了幂零的I_3-半群的序结构特征,完全确定了全序幂零的I_3-半群的结构。     

有限群为ρ-幂零群的一些充要条件

在文献[1]研究Ⅱ-超中心的基础上,取Ⅱ={p},即利用p-超中心得到了ρ-幂零群的另外一些充要条件,并推广了文献[2]介绍的ITo定理.     

激光引起金属靶层裂的实验研究

激光引起金属靶的层裂,目前国外只有少量文献有报道,并主要集中在铝、铜材料。由于脉冲强激光能产生10~7s~(-1)以上的超高应变率,它为在实验室内研究这样极端条件下的材料的断裂行为和机理,提供了几乎唯一的加载手段。本文简要报道我们在中国科技大学“华光”10~(10)W钕玻璃激光器上所做的铝和铁靶层裂实验的初步结果。这是我国首次利用强激光装置实现金属层裂的尝试,为强激光破坏效应的研究提供了现实的前景。     

NCD—环的直积与亚直积

本文定义了NCD-环的直积与亚直积,并定义了相关的概念,给出了几个基本性质。     

卷积型积分微分方程解的渐近稳定性

研究了一类卷积型积分微分方程，利用李雅普诺夫方法，给出了判定n维系统中卷积型积分微分方程的零解一致渐近稳定性的定理以及其Volterra方程的零解渐近稳定性的定理，推广了已有的结果。