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

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

工业有机废水高级处理的方法与技术

本文详细叙述了工业有机废水高级处理中的几种新兴的技术与方法：湿式空气氧化法、光助催化氧化法、电催化氧化法、超声波-生物氧化法和生物化学氧化法。叙述了其原理、应用和特点。     

BNF体系镍铁合金电镀工艺在电筒工业中的应用研究

一、前言本文是研究BNF体系镍铁合金电镀工艺在电筒工业中的应用,该体系是湖南大学等单位于一九八三年研究成功的,已经投产三年多了。近年来,镍铁合金电镀的应用日渐广泛。如广州某电筒厂引进美国M＆T公司的镍铁合金工艺,以代替原有的氰化锌铜合金工艺和亮铜亮镍的工艺,既降低了成本,又提高了电镀产品的合格率,取得了明显的经济效益和环境效益。但是我国大多数电筒厂现仍采用氰化镀锌铜套铬或铜镍铬工艺。为了扩大BNF体系镍铁合金电镀工艺的应用范围和提高我国电筒行业的经济和环境效益,本文针对电筒行业的特殊要求——电镀时间短(镀镍铁合金10分钟),光亮度高,复盖能力好等进行了研究,在原BNF体系镍铁合金电镀工艺的基础上,提高了主盐浓度、改变了硫酸镍和氯化镍的比例,变更了各种添加剂的用量,满足了电筒行业的要求,现将研究结果报告如下。     

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

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

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

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

基于SOA的建筑设备物联网体系架构研究

为解决建筑设备物联网系统集成异构的建筑自动化子系统（如：中央空调系统、恒压供水系统、门禁系统等）和整合数据信息资源等问题,文中针对建筑设备物联网系统的自身特点,提出一种基于SOA的建筑设备物联网体系架构模型。重点阐述了该模型的架构组成和层次结构,并将该架构模型应用于建筑用电设备的物联网系统中。实验结果表明,基于SOA架构的建筑设备物联网能够有效整合物联网系统异构平台,且能够提高系统的安全性、可扩展性和互操作性。     

LD31铝合金在常规硫酸体系中阳极氧化膜的研究

本文研究了 LD31铝合金在15%硫酸中阳极氧化行为。测定了恒电流密度下氧化电压与时间的关系和氧化膜厚度与时间的关系。比较了 LD31铝合金与纯铝阳极氧化的一些异同点。用超薄切片技术配合TEM 观察分析氧化膜截面形貌,由此得到氧化膜的结构模型。通过用 STEM 配合 EDAX 测定了 LD31铝合金氧化膜的组成,并得出了氧化膜主要组成元素在氧化膜截面上的线分布。用超薄切片技术配合选区电子衍射方法测定了氧化膜的物相组成。提出了 LD31铝合金在15%硫酸溶液中阳极氧化膜的生成机理模型。对 LD31铝合金阳极氧化膜的一些性能如耐蚀性、耐磨性等进行了测定,并与纯铝进行了比较。     

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

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

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

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

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