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

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

周期信号的孔径抖动及其去除

孔径抖动是指模数转换器采样周期之间出现的相位抖动 ,是由各时钟周期边沿出现时刻的不确定性导致的。当输入信号频率较高时孔径抖动是模数转换器信噪比下降的一个重要原因。对数据采集系统中的孔径抖动进行了仿真实验 ,介绍了反卷积算法 ,并利用反卷积算法对周期信号的孔径抖动进行了去除。仿真结果表明该方法是有效可行的     

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

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

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

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

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

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

丁香矮化的技术研究

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

AFM对壳聚糖富集银离子的分形学研究

利用原子力显微镜(AFM)对壳聚糖吸附银离子进行研究，从形貌学的角度探测壳聚糖络合银离子的机理特性．主要方法是将溶液滴加在新解离的云母片上，应用原子力显微镜对自然风干后的样品在非接触模式下成像．AFM图像显示：壳聚糖分子和加过金属银离子的壳聚糖分子在聚集生长过程呈现为传统的具有分形特征的正态分布和奇异分布；由单一的壳聚糖分子形成的分形结构为“星”形结构，而加过银离子的壳聚糖分子形成的结构为“圆”形．产生这些图形差别的根本原因是由于生长界面的表面张力及其各向异性起了重要作用．这两种结构都具有典型的自相似性，且实验结果与计算机模拟的分形模式拟合得很好．     

浅析商务英语中的某些翻译误区及其原因

随着我国加入世界贸易组织，商务英语作为对外经济交流的工具，其作用日见重要。本文就商务英语翻译中由于语法理解错误，英语一词多义，专业知识模糊等原因所造成的翻译误区进行归纳分析。     

大学体育是培养优秀公民的重要手段

通过对体育对人的生物性素质和人素质培养的分析，阐述了大学体育在人才培养工程中的重要作用：塑造人的健全性格，培养拥有健康身心、智育、德育、高尚品质为一身的综合素质性人才。     

文献信息检索网络教学系统的制作

阐述了基于Web技术的文献信息检索网络教学系统的制作，重点介绍了系统内容和结构，指出文献信息检索课程网络化是我国高校教学改革和图书馆事业发展的体现，对实现优化教育资源、完善教学手段起到了非常重要的作用。