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

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

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

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

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

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

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

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

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

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

人民胜利渠引水现状及解决引水问题的思路

人民胜利渠是新中国成立后在黄河下游兴建的第一个大型引黄灌溉工程,渠首位于小浪底水库下游113 km处京广铁路黄河铁路桥上游北岸1.50 km的秦厂大坝上,受小浪底水库持续"蓄浑排清"以及连年"调水调沙"的影响,黄河主河槽不断刷深,仅2011-2015年,在相同流量下,人民胜利渠引水口处水位较"调水调沙"前下降了3 m左右,引水已远远不能满足灌区实际需要,缺水成为制约灌区生存和发展的突出问题。本文针对渠首引水困难的问题,结合以往已采取措施的经验,提出了一些意见和建议,旨在破解灌区引水难题,为灌区的可持续发展奠定基础。     

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个大气压的超高压技术的产生,以及金属的爆炸焊接、爆炸成形等,从而开创了炸药的和平用途新局面。