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

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

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

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

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

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

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

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

丁香矮化的技术研究

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

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

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

无界报酬向量值折扣马氏决策规划—最优平稳策略及算法

本文主要讨论了无界报酬向量模型的平稳策略问题，给出了改进平稳策略的方法，建立起向量模型的最优方程，获得平稳策略为强最优策略的充要条件．指出最优平稳策略的期望报酬函数必为极大不动点，最后提出一种寻求最优平稳策略的策略迭代算法．     

边缘系统低级别胶质瘤的诊断与手术治疗

目的 :探讨边缘系统低级别胶质瘤的诊断、手术治疗及其效果。方法 :对1997年7月至2003年7月应用显微手术广泛性切除的13例边缘系统低级别胶质瘤作回顾性分析。结果 :13例均行肿瘤切除 ,9例全切除 ,4例次全切除 ,术后除2例出现暂时性失语外 ,均恢复良好 ,术后无严重的手术并发症和死亡。结论 :边缘系统低级别胶质瘤源于原始皮质 ,可通过手术广泛性切除肿瘤而不致损伤重要功能结构 ,可很好地控制癫痫。     

配电变压器经济运行方式研究

通过分析变压器损耗，采用某110kV变电站两台主变进行验证，提出一种新的配电变压器经济运行算法，使变压器达到降低损耗．节约能源和经济运行的目的。     

内照射小器官剂量计算中减方差技巧的比较和应用

在用人体模型计算内照射比吸收分数的Monte Carlo模拟中,对小尺寸、远距离器官的计算结果通常精度不够,可信度差,这就要求采用减方差技巧。该文采用一个简单模型比较了直接模拟和区域粒子分裂-轮盘赌、强迫碰撞与DXTRAN球、指向概率强迫碰撞3种减方差技巧的效果。结果表明指向概率强迫碰撞方法能更有效解决此类问题。利用中国人体数学模型,选择一组典型的源靶器官对,计算了一个实例,得到了可信度高的吸收分数值并体现了指向概率强迫碰撞方法的优越性。