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

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

混凝土构件的涂装保护

分析了自然环境对混凝土构件的影响，简述了混凝土构件涂装对防腐蚀涂料的要求及常规涂装保护措施。     

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

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

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

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

固相微萃取/气相色谱-质谱法分析小茴香挥发性成分

考察了萃取样品温度、萃取纤维吸附时间及解吸时间对于固相微萃取的影响,确定了固相微萃取小茴香挥发性成分较佳的实验条件为:萃取样品温度60℃,萃取纤维吸附时间40min,脱附温度250℃,脱附时间5min。用计算机谱库检索结合气相色谱保留指数二维定性方法,从小茴香的固相微萃取/气相色谱-质谱联用分析谱图中,鉴定出反式-茴香脑、顺式-茴香脑、爱草脑、葑酮、p-茴香醛、1,8-桉树脑、樟脑等35种小茴香挥发性成分,总质量分数98·70%。     

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

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

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

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

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倍,同时探讨分析了光催化反应机理。这将在太阳能光解水产氢领域有着广泛的应用前景。     

金属阳极生产氯酸盐

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

炸药发电机

一公斤高能炸药爆炸时能释放出10~6～10~7焦耳的能量。由于这些能量是在10~(-5)～10~(-6)秒的极短时间内释放的,因此功率可达10~(11)～10~(12)瓦,具有显著的破坏力。战后,随着光学、电子技术的发展,控制爆破技术的进步,特别是超过100个大气压的超高压技术的产生,以及金属的爆炸焊接、爆炸成形等,从而开创了炸药的和平用途新局面。