认证协议的安全性保证

提出了保证认证协议安全性的2个条件:主体的活现性和会话密钥的保密性、新鲜性和关联性,并形式化证明了2个条件满足基于不可区分性的安全性定义.以Needham-Schroeder认证协议和SSL协议为例,说明分析认证协议是否满足2个条件的方法,以及如何根据安全属性的缺失直接构造攻击.基于2个条件的安全性分析方法不仅能用于证明协议正确,也能用于查找协议漏洞.该分析方法与攻击者的具体行为描述和多协议运行环境无关,是安全性的精确量化指标,其简单、有效,能帮助研究人员分析和改善认证协议设计.     

基于第一性原理计算固氖单原子对体系结合能的贡献

基于第一性原理,运用多体展开理论和原子团簇理论,通过拟合两体相互势能和总的相互势能,提出了一种计算fcc固氖结合能的简便新公式,并利用新公式的结果对固氖结合能和高压压缩特性与实验值做了比较。结果表明:这个新公式能够简单、准确地描述固氖的结合能和高压物态特性,且在整个实验压强范围内(0~238 GPa)与DAC实验值完全吻合,误差在3%以内。这个公式对各种状态的所有惰性元素结合能和高压压缩特性的研究具有重要意义。     

N维势箱函数量子特性的可视化研究

运用量子理论推导和数值计算相结合的方法,本文首先得到了一维势箱函数的示意图及其模型.接着,全面、系统地研究了量子理论中N维势箱函数的波函数、能级和概率密度.最后,运用MATLAB软件对势箱函数的所有特性进行了仿真模拟.我们发现:N维势箱中粒子的能量是量子化的、不连续;量子数n不能为零,且n越大对应的能级越高,而质量m越大,对应的能级越低.一般条件下,一维势箱长度a越大(粒子运动范围越大),对应的能级越低;节点数为n-1,节点越多,波长越短,频率越高,能级越高.二维势箱函数波函数的峰值个数为n x 0x0E?SymboltB@0x0Fn y,且与Ψ=0平面的交线数也为n x 0x0E?SymboltB@0x0Fn y;概率密度分布的极大值个数也为n x 0x0E?SymboltB@0x0Fn y.对于简并度,一般情况下,二维势箱模型下的粒子的简并度是不确定的;但对于二维正方势箱函数模型,其箱内微观粒子的能级简并度分为特殊和一般两种情况.三维势箱函数的简并度为n x+n y+n z.最后,首次借助MATLAB软件的色彩实现了四维表现,得到了三维势箱函数的四维空间切片图.这种可视化的结果与理论结果完全一致,这对于抽象性概念的理解具有重要意义.     

以模拟计算的制造成品率为最终评价指标的光学薄膜自动设计

本文提出了一种自动设计思想,即在多层膜设计过程中考虑监控误差对多层膜光学特性的影响。在自动设计的评价函数中不仅包含了膜系的光学特性,而且还包含了计算机模拟的制备成品率,并以最高的生产成品率作为最终的优化目标。用这种方法设计出的膜系不仅满足光学特性要求,而且具有较大的制造允差,便于最经济地组织生产。以宽带减反射膜,可见光加1.06μm的双波段减反射膜为例进行了自动设计,设计结果是令人满意的。     

一种用于制定有组织撤离计划的算法

在某些大型灾害事件发生之前或之后,需要对受影响人员进行大规模地疏散.本文在最短路径算法的基础之上,提出了一种新型的有组织撤离算法.实验表明,此算法能有效地缩短平均等待时间和总疏散时间,从而为有关部门在防灾减灾规划中提供决策支持.