基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

企业兼并的动机及其社会福利理论模型综述

从水平兼并和垂直兼并两个方面详细论述了企业兼并的动机及其社会福利理论模型研究发展状况 ,并对未来的研究方向提出了若干建议.     

MAPLE在微积分教学中的应用

极限是微积分的重点和难点。本文简述了数学软件MAPLE在极限教学中的应用。     

库所耦合网的T-不变量求解算法

首先定义了库所耦合网及相关概念,其次揭示了库所耦合网N中各个分支网的T-不变量同N的T-不变量之间的关系,然后给出了一个库所耦合网的T-不变量求解算法,最后将该算法实现并给出初步实验数据,以说明所提算法比现有算法节省计算时间和存储空间。     

阴极保护检查片评估西气东输苏浙沪管段的保护效果

依据2004年美国国家标准学会(ANSI)和腐蚀工程师协会(NACE)联合发布的阴极保护检查片新技术标准,于2005-2006年在西气东输管道苏浙沪管段沿线,开展检查片评估阴极保护效果的现场试验.经过检查片设计、试验方案实施以及数据处理分析,得到了管道沿线阴极保护度和土壤腐蚀性分布;获得该地区IR降误差的统计值为170mV,并修正了管道保护电位准则(以-1.02V替代-0.85V).研究结果表明:受杂散干扰的马鞍山、芜湖附近管道受到良好保护;东桥、无锡处管道保护电位衰减过快,存在接地的可能;该阴极保护系统容量至少覆盖试验中大、小检查片的面积变化;利用危险性矩阵可以分析管道外腐蚀危害的风险等级、危险来源等.     

邮票上的桥梁建筑

本文介绍了建国以来以中国桥梁为题材发行的一系列邮票．2003年3月29日发行的志号为2003-5T的《中国古桥——拱桥》1套4枚邮票．展现了枫桥、小商桥、卢沟桥、双龙桥的绰约风姿，文中追溯了这四座古桥的历史、建设进程和建筑风格。     

三维重构下整体形状参数的砂土渗透性分析

颗粒形状对砂土结构及其宏观性质有显著的影响。为探究颗粒形状对砂土结构及渗透性的影响规律,选取玻璃珠、石英砂及玻璃渣3种颗粒形状各异的砂土作为研究对象,首先采用高分辨率三维X射线显微镜(CT)进行精细扫描,重构了砂土三维结构模型。选取了颗粒伸长率、扁度、球度、孔隙比表面积等形状参数统计分析得出整体形状参数(OR),将OR引入Kozeny-Carman(K-C)方程得出考虑颗粒形状特征的砂土渗透系数的预测方程。室内柔性壁渗透试验表明砂土颗粒的整体形状参数(OR)越小(即颗粒形状越复杂),砂土的渗透性能越差,引入整体形状参数(OR)的K-C方程对砂土渗透性能的预测效果较好。     

基于T-S模糊模型的CNN混沌同步控制研究

研究了四元细胞神经网络(CNN)混沌系统的T-S模糊模型建立问题,用李雅谱诺夫法构建CNN混沌系统的同步控制器,并用遗传算法对控制参数进行优化,达到比较理想的同步效果.     

粉煤灰掺量对高性能混凝土收缩的影响

研究高性能混凝土的自生收缩和干燥收缩对于推广高性能混凝土在实际工程中的应用具有重要的理 论和现实意义．通过实验研究了不同掺量的粉煤灰对高性能混凝土的自生收缩和干燥收缩的影响．实验结 果表明,由于粉煤灰的滞后效应,用粉煤灰替代部分的水泥可以减少高性能混凝土的自生收缩和干燥收缩．     

2002年中国现代史若干问题研究的回顾与思考

在中国现代史研究领域，由于近年来新的历史资料的发掘和利用，学人在实证研究的基础上形成了新的学术观点，推动了史学研究的深入，也促进了史学思想和史学观念的解放。而由此．又进一步推动了中国现代史研究乃至整个史学研究领域的活跃和良性发展。