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

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

尿素醇解法合成氨基甲酸乙酯的研究

对尿素醇解法合成氨基甲酸乙酯工艺进行了系统地研究,全面考察了反应温度、原料配比、反应时间及搅拌速度等因素对反应性能的影响。研究发现在反应温度为140℃,乙醇与尿素的摩尔比为4∶1,反应3.5 h,氨基甲酸乙酯最高收率为79.2%。     

纳米尺寸硫化镍化学增感剂

本文发现了硫化镍纳米粒子对卤化银乳剂的化学增感作用，采用水不溶性的硫化镍纳米粒子作为化学增感剂，与水溶性的硫代硫酸钠增感剂相比，可以在乳剂灰雾增加不大的条件下明显提高乳剂的感光度和反差。     

浙江绍兴一药厂检修工人违规操作被毒气熏倒

2007年12月12日上午，在浙江省绍兴市袍江新区某药厂内。1名设备检修工人张某因操作不当，被有毒气体熏倒，所幸抢救及时，已经脱离危险。     

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

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

教学文化历史研究及启示

教学论的迷惘源于科学的研究方法层面,迷茫中寻希冀。文化作为一种教学存在,必然影响着教学论的研究。本文在以前研究的基础上,试纵向探讨教学文化研究的历史,以期获得对教学论研究的启示。     

膜分离活性污泥法在辣根废水处理中的应用

本文以处理辣根废水为例，介绍一种新的水处理方法-膜分离活性污泥法，并阐述了膜分离活性污泥法如何解决污泥膨胀问题以及传统活性污泥法所不具有的特性。     

基于Matlab和电容感应的室内定位系统

提出了一种基于Matlab和电容感应的室内三维定位系统的设计方法。该系统主要由三维电容极板、电容采集模块、信号频率采集模块、实时串口通信模块、Matlab显示模块等组成。系统依据电容感应原理,通过测量监测区域三维电容基板之间电容值的变化量,换算出被测物体相对极板的距离,并通过Matlab图像显示窗口显示被测物体对应的三维位置。该室内定位系统特别适用于对进入监测区域的活动物体进行实时定位监测。     

光波导加速度传感器中3dB耦合器设计

光波导加速度传感器是一种实用型加速度传感器,目前广泛应用制备光学加速度计的迈克尔逊、马赫—曾德等干涉仪的核心部件都包含3 dB耦合器。3 dB耦合器的设计对光波导加速度传感器的检测精度尤为重要。介绍了所设计的光波导加速度传感器的工作原理,设计了3 dB耦合器波导的结构和参数,并用光学模拟软件OptiBPM对3 dB耦合器进行模拟。结果表明:所设计的3dB耦合器具有良好性能,符合设计要求。     

"十五"期间我国橡胶助剂工业取得迅猛发展

2002￣2004年我国橡胶工业耗胶量分别为306万吨、364万吨和400万吨,均为世界第一耗胶大国,与之配套的橡胶助剂工业也取得了迅猛发展。“九五”末期即2000年,我国橡胶助剂总产量10.72万吨,至2004年已达24.6万吨,整整翻了一番多,预计2005年总产量接近30万吨。年平均增长速度约20%,成为世界橡胶助剂消耗量发展最快的国家。除个别特殊助剂尚需进口外,主要产品产量基本满足需求,且产品出口连年递增。2001年中国橡胶工业协会橡胶助剂专业委员会提出了“大力推进我国橡胶助剂工业的清洁生产”的意见,引起了企业的普遍关注,“十五”期间橡胶助剂产品…