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

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

一种考虑补偿信用风险资本要求的算法

基于现行法定资本体制不考虑信用投资组合的多样化和限制空头信用风险头寸的补偿能力，设计了一种考虑补偿的信用风险资本要求的计算方法．该算法根据信用等级决定风险权重，可以更精确地测定信用风险资本．采用期限分段方法建立一个期间结构，区分当前和远期信用风险，考虑多头与空头信用风险头寸间的补偿．     

在实践教学中系统培养学生的创新意识

随着高校毕业生就业压力的增大,部分专业的毕业生实际动手能力弱、创新意识较差的问题不同程度地暴露了出来,并在一定程度上影响了他们的竞争力.如何通过加强实践教学环节,通过实验教学内容及方法的改革,全面提高学生的素质,培养出具有创新意识、实践能力强的复合型人才,亟待我们高等工科教育工作者去认真地研究和探讨.本文讨论了在专业实验教学中怎样通过实验教学环节的改革和开设创新性实验增强学生的创新意识和实践能力.     

混凝土中钢筋锈蚀及其可靠性分析

本文介绍了混凝土中钢筋锈蚀的机理，分析了钢筋锈蚀的主要影响因素，对钢筋锈蚀造成的截面损失破坏的可靠性进行了分析，并推导出了钢筋锈蚀可靠性分析的相应计算公式。     

发挥高校后勤服务教育功能提升学生就业创业能力

在高校后勤社会化改革向纵深推进的过程中，应该更加理性地思考、分析高校后勤社会化的地位和功能。我们应从更广远的视野来认识高校后勤社会化的教育属性，力求以市场经济为纽带，把后勤社会化与学生就业、创业能力的培养结合起来，以充分发挥后勤社会化的育人功能。     

PZT溶胶液静电雾化雾场模拟

通过对商用计算流体力学软件FLUENT进行功能扩展，实现了空气流场、空间电场和离散雾场多场耦合过程的数值模拟．由实验数据确定雾滴的滴径和电量，采用拉格朗日模型计算雾滴在重力、空气阻力、外部电场力及雾滴间相互库伦排斥力作用下的运动轨迹，并得到雾滴的速度与其空间分布密度，由此计算雾滴在衬底上的沉积通量．     

基于人均GDP与劳动生产率的城市分级与趋势分析

根据2000年到2004年中国城市统计年鉴数据,从人口、人均GDP、劳动生产率角度运用指标分级技术、空间聚类、空间统计学方法来对全国城市进行等级划分,对各等级城市的空间布局及其异质性进行分析。研究各等级城市与地理位置、区域特性之间的关系,并根据这5年的统计数据,从空间和时间的角度对全国各等级城市的布局与发展进行趋势分析。     

丁香矮化的技术研究

采取不同的试验方法,明确适宜盆栽的丁香品种为蓝丁香、什锦丁香和紫叶重瓣丁香,通过研究确定丁香盆栽矮化的技术要点,同时对盆栽矮化的进一步研究提出建议.     

关于“流体静力学矛盾”作用机制的定量分析

在充满液体的等底等高的各种异型容器内,液体对容器底部压力相等,但对支承容器的面的压力(不计容器质量)并不相等。这是著名的“流体静力学矛盾”。对其作用机制作了具体的定量分析,得出了比较令人满意的解释。     

介观并联RLC电路的量子化及其量子涨落

从电阻产生的物理机制即电子与品格振动的相互作用出发，对并联电路RLC进行了量子化，并计算了相应物理量的量子涨落．