计算可靠的密码协议形式化分析综述

密码协议的描述和分析有两类截然不同的方法:一类以形式化方法为主要手段,另一类以计算复杂性理论为基础.Abadi和Rogaway首次试图将这两类不同的方法关联起来,证明一个协议在形式化模型下具有某种安全属性,那么在计算模型下也保持相应的安全属性.在这一工作的带动下,形式化方法的计算可靠性研究越来越受到关注,成为密码协议分析研究的一个重要内容.围绕这一热点问题,人们做了大量的工作.该文首先对两类分析方法做概要介绍;其次对形式化分析的计算可靠性研究成果进行分类和总结,并对各种方法的主要思想进行了介绍;最后对该领域未来的研究方向进行了展望.     

1，1，3-三甲基-3-苯基茚满的催化合成木

本文研究了在酸性离子液体的催化作用下α-甲基苯乙烯二聚合成1,1,3-三甲基-3-苯基茚满。实验结果表明,在无溶剂的条件下室温离子液体（CH3CH2）3NHCl-AlCl3对该反应具有很高的催化活性和目标产物的选择性,反应进行到5min即可达到100%的α-甲基苯乙烯转化率和97%的环状二聚物1,1,3-三甲基-3-苯基茚满的选择性。     

先驱体聚碳硅烷的合成研究进展

介绍了近年来先驱体聚碳硅烷(PCS)的制备、性能和应用的研究现状和进展。着重介绍了合成先驱体PCS的主要方法：常压循环热裂解法、高压法、常压催化法和常压高温裂解法。比较了这几种合成方法的优缺点：从用PCS制备陶瓷纤维的用途来说，高压法是一种较成熟的方法，所制备的陶瓷SiC纤维的性能也较好，但装置复杂、成本较高、安全性较差；常压高温裂解法合成装置简单、成本较小、安全性也好，但使用该法制得的陶瓷SiC纤维的性能较差。     

CDB推进剂的力学性能与弹道性能研究

一、绪言双基推进剂与复合推进剂相比,它具有平台燃烧特征和燃烧排出的气体无烟的优点;而与此相反,比冲小、低温下的力学性能差,这又是它的不足之处。后来,为了改善比冲添加了硝胺类,便开发出复合改性双基(CMDB)推进剂,但是低温下力学性能依然很差。于是又为了改善力学性能,便在DB 或CMDB 推进剂中添加粘合剂,在此基础上研究成功了CDB 推进剂。     

三氟氯氰菊酯与双甲脒混用对山楂叶螨和朱砂叶螨的增效作用研究

室内用浸玻片法测定了三氟氯氰菊酯与双甲脒混用对山楂叶螨和朱砂叶螨的增效作用。三氟氯氰菊酯与双甲脒以１：５和１：１０混用，对山楂叶螨共毒系数分别为１９０．９８和２９８．６５以１：５，１：１０，１：２０，１：５０混用，对朱砂叶螨共毒系数分别为２０００．７９，１０３１．７７，２７２．１２，１８７．０３。表明三氟氯氰菊酯与双甲脒适当混用，对山楂叶螨和朱砂叶螨均有明显的增效作用。     

橡胶加工中科学理论应用的进展

引言从生胶到最终制品的整个橡胶加工过程,一向被看作是工艺而不是科学。通常橡胶工艺的发展与其说是靠基本原理的运用,倒不如说是凭经验对因果关系进行研究的结果。但若欲在设备和工艺方面都取得重大改进,则必须从根本上了解各道有关的基本加工工序。     

6,7-二氢-6-甲基-3-甲硫基吡喃[4,3-c]吡唑-4-(2H)-酮衍生物的合成及生物活性

6-甲基-5,6-二氢吡喃-2,4-二酮和二硫化碳、碘甲烷缩合得到5,6-二氢吡喃-2,4-二酮的二硫缩醛化合物,然后和取代肼反应得到1位取代和2位取代6,7-二氢-6-甲基-3-甲硫基吡喃[4,3-c]吡唑-4-(2H)-酮衍生物。其化学结构通过单晶X衍射、1HNMR、13CNMR、元素分析证实。生物活性测试结果初步表明,该类化合物表现出一定的杀菌和对前列腺癌细胞PC3的抑制活性。     

WO3/TiO2光催化剂的制备及光催化产氢性能研究

针对催化剂TiO_2禁带宽度较宽、光响应范围较窄的问题,对TiO_2进行改性,采用溶胶凝胶法制备了不同复合比例的WO_3/TiO_2催化剂以提高TiO_2的光催化活性。应用SEM,BET,XRD,UV-Vis,FT-IR等方法对催化剂进行表征,分析了不同复合比对WO_3/TiO_2样品形貌、晶型、比表面积和产氢速率的影响。当入射波长为300~600 nm,2%WO_3/TiO_2的吸光度大于TiO_2的吸光度,吸收带边红移。通过300 W氙灯照射进行光解水制氢的测试,评价了不同WO_3/TiO_2样品的光催化分解水产氢活性。结果表明:复合比为2%时,WO_3/TiO_2的光解水产氢活性最佳,最高可达14 445.3μmol/(h·g),其产氢速率是TiO_2的10倍,同时探讨分析了光催化反应机理。这将在太阳能光解水产氢领域有着广泛的应用前景。     

陶瓷产业的信息化建设

在全球经济一体化和中国已经加入WTO的大背景下,企业间的国际竞争将日趋激烈,许多国际强势陶瓷品牌将逐步登陆我国市场,也将加剧本已激烈的国内市场竞争。作为劳动密集型和资源密集型的中国陶瓷工业先必须认识到自己的差距。除了技术工艺、产品质量、品牌意识等产品意识外,还必须重视管理策略、经营方略及发展战略,陶瓷产业的信息化管理势在必行。     

金属阳极生产氯酸盐

我厂于1974年学习上海桃浦化工厂金属阳极研制经验并在福州大学、华东物质结构研究所等有关单位配合下,开展了非钌金属涂层的金属阳极及钌钛涂层的金属阳极用于氯酸盐生产的试验工作,1977年10月份上了以钛为基体,RuO_2-TiO_2-SnO_2为活性涂层的金属阳极,有效面积2.4M~2的工艺试验电解槽二个,1980年元月份把全部石墨阳极都改成了金属阳极,至今已有有效阳极面积为4.48M~2的216个金属阳极电解槽投入正常运转,从而形成了年产KClO_3 4500ml的生产能力。