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

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

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

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

兴隆庄煤泥电厂的经济效益与社会效益分析

<正> 兴隆庄煤泥试验热电厂规划设计最终装机容量为3×35t/h 煤泥流化床锅炉配2×6MW 凝汽式汽轮发电机组。其中一期工程建成为1×35t/h 煤泥流化床锅炉配1×6MW凝汽式汽轮发电机组,年发电能力3600万kWh,年供电量3168万 kWh,年供热量为458.66亿 kJ。二期工程投运后年发电量为7200万 kWh,年供热量为1859.46亿 kJ。本文在兴隆庄煤泥试验热电厂一期工程初步核算决算的基础上,对煤泥电厂工程经济进行定量分析论证,并根据电厂二期工程概算,预测了二期工程建成后煤泥电厂的工程经济效益,并分析了影响其经济性的因素,对其社会效益也进行了分析。     

炸药发电机

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

淄博市城乡社会养老保险制度衔接问题的调查与思考

介绍淄博市开展新型农村社会养老保险试点工作。针对制度衔接中存在的问题,提出从提高思想认识,消除体制障碍,加强政府责任,提高管理水平等方面来进一步做好两种制度的衔接工作。     

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

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

基于模块化模型的自适应预失真技术

系统地比较和分析了OFDM传输系统里高功率放大器（HPA）预失真方法的优缺点,提出一种基于模块化模型的有记忆高功率放大器自适应数字预失真方法,该方法分别基于Wiener、Hammerstein和Wiener-Hammerstein模型各自构成一个有记忆HPA的自适应预失真器。从而避免了因分别估计Wiener-Hammerstein模型各个环节特性参数所带来的复杂性。使得有记忆高功率放大器的预失真设计变得简单了。     

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

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

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

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

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

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