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

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

用DCS顺控实现电除尘自动控制

介绍一种对电除尘工序进行远程自动控制的方法。使用DCS顺序控制图，通过模块组态和内部编程，实现多台设备的自动控制，优化工艺过程，提高该工序的自动化水平。     

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

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

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

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

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

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

烷基多苷合成技术概况

烷基多苷是一种重要的新型非离子表面活性剂，目前一些发达国家已经开始了初步规模的工业化生产，本文从烷基多苷的合成方法、催化剂及产品的后处理三个方面论述了其生产工艺与技术概况。     

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

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

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的生产能力。     

“2016·7”清江流域洪水调度方案分析

2016年7月,清江流域发生了特大洪水,湖北省防汛抗旱指挥部认真研究、贯彻、落实防洪决策部署,把保障人民群众生命财产安全放在首位,反应迅速、调度灵活。经过对汛情进行研究分析,制定出了相应的措施,即采取预泄腾库迎洪、汛中错峰拦洪、汛末适时收水等,取得了清江特大洪水防御的阶段性胜利。对"2016·7"清江洪水调度方案及措施的制定、落实情况进行了总结分析,可为今后清江流域防洪调度工作提供借鉴与参考。