基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

基于有载调压配变的移动巡查平台研究

在电力应用中,电压的稳定性是影响用电安全的重要因素.为了提高电压的合格率,电力公司在安装了20多台在线滤油有载调压配变基础上,进一步扩大安装规模.同时,在实践中我们发现有载调压配变的定期巡检工作难度较大,为了进一步确保设备使用的安全性和可靠性,对不同分布区域的调压配变进行巡查,有必要加强有载调压配变巡查系统的研发.论文首先介绍研发的背景,概括研发目标和进程,然后进一步对项目的具体开展、创新点进行细化分析,最后对研发成效和工作中的不足进行探讨,力求通过创新项目研发改善我们的有载调压配变工作效率.     

存储发展技术综述

本文根据存储介质产生的先后顺序,并结合实例介绍了各个阶段存储介质形式的发展,概括了当前存储技术的发展状况及方向,并重点介绍了网络存储及其相关的技术。     

工程材料的质量监理

工程材料的质量好坏，直接影响着整个建筑物的质量等级、结构安全、外部造型和建成后的使用功能等。因此，工程材料的质量监理无论在建筑、安装还是交通行业，均是项目监理工作中一个至关重要的内容。本文结合自己的监理实践，谈谈工程材料的监理与质量控制。     

闽西地区农产品应对绿色贸易壁垒的措施途径研究

当前在国际贸易中绿色壁垒问题已不可回避，并将随着时间的推移显得越来越突出。中国出口到发达国家的农产品，因农、兽药残留和重金属含量“超标”而遭拒收、扣留、中止合同或停止进口的现象屡屡发生。本文从分析闽西农业自然环境、农产品生产流通现状入手，指出了闽西农产品在应对绿色贸易壁垒方面存在的问题，同时结合实际，提出发展农产品生产必须以优质安全取胜，提高闽西农产品质量安全水平，必须走绿色 特色 标准化的路子，并给出了相应的对策。     

建筑分包安全管理

长期以来，建筑业一直是各国职业安全事故率较高的行业之一。据有关统计资料显示，英国平均每周有1名建筑工人死亡，建筑事故所造成的直接和间接经济损失达项目成本的3％～6％；美国平均每天有2名建筑工人死亡，经济损失高达项目成本的7．9％。我国目前虽然还没有关于建筑事故所造成经济损失的统计数据，但实际经济损失也不会低于其他国家。在竞争日趋激烈的建筑业市场上，这一比例已经超过了承包商的平均利润率。而且随着总分包制度的普遍应用，这种损失表现出逐渐上升的态势，已经引起了业内外诸多人士的关注。     

中国汽车工业的发展道路：回顾与展望——合作与自主问题

文章对中国汽车工业发展道路存在的重大分歧和争论——“合作与自主问题”进行了分析和阐述，提出了中国汽车工业发展的出路，并阐明通过主动争取双赢平等的国内外合作，创造自有知识的自主品牌，形成自己的核心技术；中国完全有能力也有条件走自主开发之路。     

Earthquake Resistant Engineering and Application of Seismic Zonation Map of China

China is a country with high seismieity. It is very important for industry and structure to fortify against earthquakes. In this paper the outline of seismicity in China, the criteria for fortification against earthquakes and the contents of seismic zonation map of China are described. The contents of seismic safety evaluation for major construction projects, such as large dams, large bridges, long distance pipe lines for transporting oil and natural gas, nuclear plants, petrochemical enterprises and so on, are presented. Some geological disasters caused by destructive earthquake, such as earthquake-caused collapse and landslide, liquefaction of saturated soll and earthquake fault and so on, are also presented. Preventive countermeasures for these disasters are discussed.     

青藏铁路电气绝缘问题的探讨

青藏铁路位于青藏高原腹地，海拔高、气压低。电气设备外绝缘强度降低，因此应用于青藏铁路的电气设备的外绝缘需进行修正，以满足供电设备的运行要求，提高整个电力供电系统的可靠性。