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

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

桩距对陡岩河岸墩式码头群桩基础竖向承载特性影响研究

采用ABAQUS有限元软件建立陡岩群桩系统三维模型,通过改变桩距、桩嵌岩深度等参数,分析陡岩群桩(四边形四桩)的竖向承载特性.研究表明,不同桩距和桩嵌岩深度条件下陡岩群桩(四边形四桩)竖向承载能力,是群桩径向膨胀与桩前岩体缺失效应、桩后岩体增强效应、承台刚度综合作用的体现.当桩距S≥4D时,不宜将承台作刚性假设.当桩距S≥5D时,群桩竖向极限承载力减小幅度、竖向承载群桩效应系数减小幅度均已超过10%(与桩距S=3D的群桩相比).在竖向荷载作用下,随着桩距的增加,承台更易于受压变形,群桩体系空间效应增强,各桩桩顶沉降的差异亦逐渐明显.     

舰船辐射噪声的响度和音色特征模型

首先分析模拟舰船辐射噪声的归一化功率和Moore响度变化趋势,进一步用海试数据验证Moore响度的周期性变化特点,分析Moore响度周期性变化的原因,提取Moore响度均值作为一维特征.然后分析研究音色中有效的谱质心特征,根据谱质心的数学定义推导出谱质心带宽、谱质心斜度以及谱质心峰度的数学公式,举例分析其物理含义,并提出基于六分段频带的谱质心、谱质心带宽、谱质心斜度以及谱质心峰度共24维的音色特征模型.将Moore响度特征模型和音色特征模型相结合,从组合的25维特征的均值和方差分布可知特征具有一定的可区分性.最后设计3层BP神经网络分类器,海试数据表明基于Moore响度和音色的特征模型提取方法是有效的,且有利于提高分类识别率.     

围长为4的没有某些圈的平面图的3-可选择性

对于图G=(V,E),给G的每一顶点v一个颜色列表L(v),G称为L-可选择的,如果存在G的一个着色f,使得对于任意的uv∈E,都有f(u)≠f(v),而且f(v)∈L(v),对于任意的v∈V(G);G称为k-可选择的,如果G为L-可选择的对于任意的满足L(v)=k的L.本文我们证明围长为4的没有8-,9-和13-圈的平面图是3-可选择的.     

巴氏杀菌奶加工技术及质量控制现状

巴氏杀菌奶是国际上公认的由生鲜奶低热加工杀菌的风味新鲜纯正、营养全面的牛奶制品,欧美等发达国家和地区90%以上的液体乳产品为巴氏杀菌奶。我国巴氏杀菌奶近年来发展迅速,年增长率保持25%以上,是今后乳业产品结构调整的重要产品类别,将成为城市乳业的主导产品,成为乳品工业发展新的经济增长点。对适合巴氏杀菌奶加工的原料乳选择、加工主要技术、货架期、巴氏杀菌奶中主要腐败微生物及检测、巴氏杀菌奶的鉴别及使用微滤技术提高巴氏杀菌奶品质和货架期等研究进展进行了综述。     

与强度有关的双光子J—C模型中原子和光场的量子特性

用数值计算方法研究了与强度有关的双光子J-C模型中原子的粒子数反转特性和光子统计演化.结果表明:量子崩塌与复苏的性质只能维持很短的时间,然后将趋向混乱,且随着初始平均光子数万值的不断增加.场与原子的非线性耦合越来越强,崩塌与复苏周期越来越短.这显然跟与强度无关的双光子J-C模型中原子和光场的量子特性不同.     

非简谐振子的激光激发

应用李代数方法讨论了非简谐振子激光激发的统计性质。有关算符的统计平均值随时间的演化满足一个封闭的一阶线性微分方程组。得到一组力学量的解析解,显示出激光激发与激光频率及强度的关系。     

利用全息摄影测量结合面变形

机器是由若干构件和结合部组成的,确定结合面变形对分析机器性能和提高设计质量都是十分重要的。笔者已在有关文献中研究了通过理论解析确定结合面变形的方法。为了考核这种解析方法的正确性,本文利用全息摄影测量出构件和结合面的综合变形,再用解析计算的方法求出构件的变形,然后将结合面的变形从综合变形中分离出来,从而间接地测出结合面变形,并将测量值与解析值进行了对比。