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

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

基于AGENT的G网及其在柔性装配系统建模中的应用

在G网的基础上,引进了知识库所、决策库所,从而用agent的相关理论和方法扩展了G网模型,形成了基于Agent的G网(AGN)。研究了AGN用于柔性装配系统(FAS)的建模的方法和步骤。该柔性装配系统模型具有结构清晰、实现了Petri网与Agent的结合、有良好的扩展性和便于分布式程序设计等特点,而且在模块的智能化,封装化以及模块之间的松耦合和规范接口方面更加完善。     

氨基二茂铁与酸酐的反应

在有机化学中胺与酸酐的反应已有详细广泛的研究,但在金属有机化学中,有关氨基二茂铁与酸酐的反应却未见文献报道。我们考察了环状有机酸酐与氨基二茂铁的反应,制得了二茂铁取代的酰胺酸,还获得了它们与一些金属离子形成的螯合物。初步证明了所得化合物的结构。例如,在室温下,搅拌氨基二茂铁和邻苯二甲酸酐的氯仿溶液,即有淀沉析出。过滤并用氯仿洗涤得到性质稳定的黄色粉末,产率90％。经鉴定为结构A,     

一类fuzzy子群的性质

利用Singh M.K.和Giri S.K.给出的fuzzy子群的新定义,进一步研究正规fuzzy子群以及群元素关于fuzzy子群的fuzzy阶等方面的性质,推广了Mordeson J.N.等人所著的《fuzzy群论》中的相关结果.     

序列递推关系与一类代数几何码的有效译码

对于一类代数几何码,在其错误向量的伴随式序列上引进了一种递推关系,运用广义Ｂｅｒｌｅｋａｍｐ－Ｍａｓｓｅｙ算法,结合大数表决方案,给出了一类代数几何码的一个达到 Ｆｅｎｇ－Ｒａｏ界的有效译码算法,这个算法的复杂度为Ｏ（ｒｏ１ｎ＾２）,对于不同的代数曲线,可通过适当选取基函数来降低算法的复杂度。     

中国东部气溶胶活化颗粒物浓度对区域气候影响的模拟研究

该工作利用区域模式(WRF),对我国东部三大城市群区域的气溶胶活化颗粒物浓度增加的气候效应进行了模拟研究.结果表明:增加气溶胶活化颗粒物后,我国东部许多地区的地表感热、潜热通量减少,华东大部分地区的地表2m气温降低;降水对气溶胶活化颗粒物浓度增加的响应较为复杂,缺乏一致的规律性,但增加活化颗粒物后,我国东部许多地区的降水明显减少;由气溶胶活化颗粒物浓度变化造成的大气水汽输送和水汽含量的变化,是气溶胶间接效应影响东亚夏季风降水的主要原因.从总体上来说,中国不同地区的气溶胶活化颗粒物浓度增加,使得中国东部大部分地区的低层气温降低、大气湿度降低、降水减少,呈现出干冷化的趋势.     

沙泳者

朱迪丝站在我对面的沙丘上,她的身影在暗色天空的衬托下很显眼.她用一只手遮住眼睛,观察着地平线,那儿正聚集着傍晚初现的云彩.     

两参数跳型随机微分方程解的存在性和唯一性

通过逐次逼近方法，讨论了由Ｐｏｉｓｓｏｎ过程驱动的随机微分方程，在系数满足非Ｌｉｐｓｃｌｈｔｚ条件下，得到非齐次强解的存在性和唯一性。     

促进转化 专题协作CHC深圳专家委员会积极探索高技术产业化之路

全国高协组织深圳专家委员会(英文缩写 CHC.SSC,以下简称深圳专家委员会),是由全国高协组织批准于1998年成立的在深圳地区(涵盖深、港、澳及周边地区)专门从事科技成果转化和高技术产业化的专家联合体。一年多来,在全国高协组织的领导