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

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

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

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

炸药发电机

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

脉冲放电高能转化制备纳米粉体

综合介绍了脉冲电流通过细金属丝放电(pulsed wire discharge,PWD)制备纳米粉体的方法.讨论了影响纳米粉体,特别是晶粒尺寸的因素,以防止形成亚微米颗粒.因为达到电压峰值的丝的沉积能相当于丝的汽化能,因此,能夠计算出沉积能.随着所施加的能量增加,气体压力降低,介质气体的热扩散率增大,晶粒尺寸变小.在惰性气氛中,采用PWD工艺,由金属蒸气急冷可制备金属粉体.如果介质气体变为氧气或者氨气,就能制备氧化物、氮化物纳米粒子.要制备双金属合金、双氧化物或氮化物纳米粒子就必需采用双金属丝和不同的介质气体.采用PWD工艺,在有机气体或烟气中,能制备电磁屏蔽和导电浆料和其它用途的钝化纳米粒子.采用丝输送器而实现大量生产纳米粉体的PWD工艺一个实例证明了PWD工艺生产纳米粉体的可行性.     

高校阳光体育工程的实施与校园体育文化活动的和谐发展

采用文献资料法着重探讨高校＂阳光体育＂工程的实施与校园体育文化活动发展的关系,以及如何推进校园＂阳光体育＂工程建设与校园体育文化建设.为更好地让＂阳光体育＂的理念贯穿整个校园体育文化实施的全过程,引导校园文化健康、和谐发展提供参考.     

数据挖掘在入侵检测技术中的应用研究

针对入侵检测系统的特点,分析了数据挖掘在入侵检测技术中应用的研究现状,并利用数据挖掘技术在处理海量警报数据方面的优势,提出了一个入侵警报分析系统模型,通过对入侵检测系统产生的警报进行分析,减少了警报数量,提高了系统的检测效率和实用性。     

晋南农民外出务工状况调查报告

通过对晋南地区外出务工农民问卷调查分析发现,晋南外出务工农民具有男性多、以青壮年为主、文化程度不高、依靠亲友介绍工作、本地就业多、兼业性减少、收入不高、在外安家少等特征.从这些特征可以看出晋南农民外出务工存在农民工素质较低、就业环境不宽松、务工地集中等问题.为了解决这些问题,必须提高外出务工农民的素质,改善外出农民的就业环境,拓展就业空间,推进农业产业化发展.     

断续节理岩体弹性断裂理论研究

针对节理裂隙断续切割且稀疏分布的工程岩体,进行了系统的弹性断裂分析理论研究.首先,基于能量等效原则,推导了裂隙岩体材料在压剪和拉剪作用下的各向异性本构方程.其次,同时计及远场应力及裂隙面上的压力和剪切力,给出了压剪作用下裂隙尖端区域的应力场和应力强度因子,并考虑材料单元的有限性对应力强度因子进行修正.最后,基于最大周向拉应力准则,推导了裂隙岩体单元的压剪断裂判据.     

基于Web的研究生管理信息系统的设计与实现

随着研究生招生规模的不断扩大和教育改革的不断推进,对研究生培养过程管理的规范化要求越来越高,针对研究生管理的特点,建立了一个基于Web的研究生管理信息系统,规范了研究生教育的整个培养过程,对提高研究生教育管理工作的水平和工作效率以及研究生的培养质量都起到了很好的促进作用。     

高效低泡净洗剂的研制与应用

对不同配方的发泡力、泡沫稳定性以及净洗效果的测试结果表明皂剂、烷基苯磺酸盐和平平加O按适当比例进行复配可以得到泡沫少、泡沫破灭快，净洗效果好的高效低泡净洗剂。