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

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

制备介孔复合环境材料的酸洗刻蚀工艺

探索了一种制备介孔复合环境材料的方法--破坏式造孔与有机复合相结合,使最终产品可大量吸附污染水体中的各种污染物并具有一定的杀菌功能.该方法通过酸洗刻蚀,达到了去除原材料中的杂质和刻蚀孔径的目的,所制备的中间产品24h吸湿率为原材料的2倍,染料吸附量为原材料的1.6倍.     

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

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

实现细粒煤深度脱硫产业化的研究

根据我国高硫煤的赋存特点,提出采用微细介质重介旋流器及细泥选择性絮凝组合工艺实现细粒煤的深度脱硫,无机硫脱除率可大幅度提高,分选下限明显降低,是实现煤炭深度脱硫降灰产业化的有效技术途径.     

早产合并胎膜早破96例分析

目的 :探讨早产合并胎膜早破的处理方法 ,减少围生儿死亡。方法 :对96例确诊为早产合并胎膜早破的产妇进行回顾性分析。结果 :未保胎51例 ,保胎45例 ,21例保胎成功 ,占46 7%。围生儿情况 :孕周≤34w 6 者 ,围生儿死亡率高于孕周>35周者 ,围生儿窒息率孕周≤34w 6者高于孕周>35w者。结论 :恰当处理早产合并胎膜早破是减少围生儿窒息和死亡的关键     

复杂背景下低信噪比点目标的实时检测算法及实现

为检测复杂背景中的低信噪比 (SNR)点目标 ,提出了一种局部自适应门限检测算法。该算法以低通滤波算法估计背景中的低频成分 ,及图像局部方差估计背景起伏 ,来计算出局部自适应的目标检测判决门限。该算法充分考虑了可实现性和实时性并采用现场可编程门阵列 (FPGA)设计实现该算法。理论分析和试验结果都表明 ,该算法可有效抑制云层、树木、地物等背景杂波、检测出复杂背景下的低信噪比点目标 ,具有恒虚警率和易于工程实现的优点。     

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

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

拟—幂零群的一组性质

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

关于I_3-半群(Ⅱ)

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