基于椭圆曲线的代理多签名方案的安全性分析

在一个安全的代理签名方案中，只有指定的代理签名人能够代表原始签名人生成代理签名．基于椭圆曲线离散对数问题，纪家慧和李大兴提出了一个代理签名方案和一个代理多签名方案，陈泽雄等人给出了另外两个代理多签名方案．但是，在他们的方案中，原始签名人能够伪造代理签名私钥．为了抵抗原始签名人的伪造攻击，改进了代理签名密钥的生成过程，并对改进的方案进行了安全性分析．     

地铁线盾构区间穿越老建筑的保护

城市轨道交通建设中,盾构施工已越来越成熟,但对于盾构施工中穿越障碍物或近距离通过既有建(构)筑物的施工经验还相对较少。而目前我国城市轨道交通发展迅速,面临着越来越复杂周边环境和施工条件,因此,研究和制定相应的施工技术和应对措施十分必要。文章针对盾构施工过程中下穿市级保护老建筑的工程进行研究,提出相应的技术措施。     

安全协议的形式化分析技术与方法

对于安全协议的形式化分析方法从技术特点上做了分类和分析．对于安全协议分析技术的发展历史、目前的状况以及将来的趋势作了总体的介绍和总结．根据作者的体会，从纵向和横向两个角度进行了总结．纵向方面主要是从用于分析安全协议的形式化方法的出现和发展的历史角度加以总结．横向方面主要从所应用的技术手段、技术特点入手，进行总结分析．说明了目前协议形式化分析发展的主要方向．对于目前国际流行的方法和模型进行了例解．     

WWW的信息监控研究

WWW是Internet上进行信息交换的系统。面对WWW日益严重的信息污染问题．信息监控势在必行。本文给出了WWW的信息监控模型，分析了信息监控的各种技术，讨论了当前信息监控面临的问题。     

乳液法制备中间相炭微球的微观结构及其电化学性能

分别以石油渣油中间相沥青(FCC-MP)和萘系中间相沥青(AR-MP)为原料,采用乳液法制备出两种粒径分布窄、球形圆整的中间相沥青微球(MPMB-1和MPMB-2,粒径约25μm),再经预氧化、碳化、石墨化处理后得到中间相石墨微球(MGMB-1和MGMB-2);采用偏光显微镜、扫描电镜(SEM)、X射线衍射(XRD)等表征了乳液法微球的微观结构,结果显示MPMB-1和MPMB-2的内部稠环芳烃大分子片层排列复杂无规则;经2800℃石墨化处理后,MGMB-1和MGMB-2的石墨片层间距d002大于热缩聚法石墨微球(MGMB-3)的d002。对MGMB-1、MGMB-2和MGMB-3进行锂离子二次电池负极性能测试,发现乳液法石墨微球循环性能和库伦效率优于热缩聚法制备的石墨微球,MGMB-1和MGMB-2的首次放电容量分别为305mAh/g和302mAh/g。     

基于模糊控制实现采煤机的自动化调速控制

为进一步提升采煤机运行的可靠性和生产效率,实现采煤机控制系统根据实际工况达到自动化调速控制的功能尤为重要。在对采煤机自动化调速原理和模糊PID、PID控制原理分析的基础上,建立采煤机自动化调速控制仿真模型,并完成仿真参数的设置,对矢量PID和模糊PID控制的效果进行对比,为今后模糊PID的实践应用奠定基础。     

飞机战伤评估与修理决策支持系统研究

研究和探讨了建立飞机战伤评估与修理决策支持系统的可行性、有益性，以及飞机战伤评估与修理决策支持系统的总体结构和功能，知识表示方法，推理机制和过程等方面的问题。     

检验中焊缝无损探伤抽查的方法探讨

论述了压力容器及压力管道检验中，焊缝进行表面无损探伤，探伤抽查比例的确定以及抽查部位的选择。     

电力配网存在的不足与可靠性的提升策略

在电网正常运行的过程中,电网的安全性问题是作为电网能够运行的首要判定指标。但是在实际的电网运行过程中,一些配电网经常会存在各种各样的不足,其中,电网自身运行的可靠性问题最为严重。因此,文章通过对电力配电网中存在的不足进行研究,重点对电力配电网可靠性的提升策略进行了分析。