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

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

四棱豆“桂丰三号”主要性状观察初报

报道了“桂丰三号”的主要植物学特征、农艺性状和生长发育特性．“桂丰三号”是一个无限生长型的中晚熟品种,主蔓长３．５～４．５ｍ,其第１５～２０节开始着生花芽、第３～１０节上共长出３～７条侧蔓．３月１５日至６月３０日期间,从播种到开花约需７５天;７月１０日至２０日期间,从播种到开花约需５０天．３月至７月２０日期间,无论何时播种,其开花结荚盛期都在９月中旬至１０月中下旬。单株结荚数３０～５０荚,荚长１９ｃｍ,荚横断面呈正方型,每荚有１５粒种子,老熟种子黄褐色、圆形,千粒重３００ｇ。嫩豆荚淡绿色,成熟豆荚黑褐色．     

螺烯化合物邻接矩阵特征根与电离能的关系

考虑分子图顶点的性质,用分子拓扑学方法构建螺烯化合物新的邻接矩阵.研究发现新的邻接矩阵特征根与螺烯化合物的电离能有良好的相关性:Ipi(eV)=4.514 2.952OMOi,R=0.9897,s=0.154,n=129.用该方法计算共轭多环芳烃分子轨道能级,简便、无需占用大量机时.图1,表4,参11.     

电离子保健牙刷

牙病是一种常见病、多发病,其中尤以龋齿和牙周病最为严重,目前已被世界卫生组织列 为需要重点防治的三大疾病之一。为有效地预防龋齿和牙周病,世界各国口腔专家进行了大量的研究,发现牙菌斑是引发牙病的主要原因,而牙菌斑是细菌和唾液中的蛋白质共同作用而形成的,它像     

银边红雀珊瑚(Pedilanthus tithymaloides(L) Poir.var.cuculatus Hort.)快速繁殖研究

顶芽或腋芽在添加６－苄基氨基嘌呤（６－ＢＡ）３ｐｐｍ和萘乙酸（ＮＡＡ）０．５ｐｐｍ的ＭＳ培养基培养３０ｄ，长４－６ｃｍ，腋芽３－７个。此时，将它们分切成单芽切段，围到添加６－ＢＡ２ｐｐｍ的ＭＳ培养基，继代培养周期２１ｄ，繁殖系数５－８。芽长２－３ｃｍ时用添加吲哚丁酸（ＩＢＡ）１ｐｐｍ的ＭＳ培养基进行生根培养，培养２１ｄ，生根率８７％，移载成活率９３％。     

基于改进遗传算法的前向神经网络

针对遗传算法的主要算子———交叉算子 ,设计了新的交叉算子 ,使个体尽可能地分散在整个解空间 .在具体交叉操作中 ,产生随机个体参与交叉以更好地搜索新的解空间 .并提出了组合变异策略 ,假如对变异后个体隔代保护策略 ,构造了一个有效的改进遗传算法 .利用该改进遗传算法 ,构造了前向进化神经网络 .它综合了改进遗传算法优良的全局寻优性能和前向神经网络的非线性映射能力 .     

信号瞬变成分检测与提取及其在故障诊断中的应用

研究基于小波变换的信号瞬变成分检测与提取方法及其在机械故障诊断中的应用 .在分析信号的连续小波变换的模极大值理论的基础上 ,指出连续小波变换系数的模与信号瞬变成分的关系 ;通过分析小波函数的性质 ,分析小波函数对信号的连续小波变换的影响 ;在信号瞬变特征的提取过程中 ,提出基于门限值的特征重建方法 .将该方法应用于齿轮箱振动信号中瞬变成分的检测与重建 .结果表明基于连续小波变换方法能有效检测到信号中的瞬变成分 ,瞬变成分的重建结果有效地表示了机械的故障状态 .     

基于复杂网络的城市综合交通网络特征分析与优化研究

基于复杂网络理论与方法,结合高速公路、国省道路、铁路、水运等5个交通网络,构建南昌九江综合交通网络; 定量计算与分析除航空网络外共计5个交通网络的拓扑特征.在对各方式的交通复杂网络提出优化措施的基础上,探讨了南昌九江综合交通网络的优化设计,并给出了相应的改进建议.     

一个生化系统极限环的存在唯一性定理

文献给出了如下一个生化反应系统:dx/dt=a-bx-xy~2dy/dt=bx+xy~2-y其中a>0,b>0;x>0,g>0对于系统(1)的研究已发表了多篇文章.本文给出了一个极限环存在唯一性的充要条件为a~2-b>(a~2+b)~2,并画出了系统的全局结构图。从而完整了对该系统的研究.     

液固二相流润滑下活塞环/缸套摩擦特性研究

文章基于Reynolds方程及颗粒承载模型,引入颗粒直径及浓度等参数,建立一种分析液固二相润滑下活塞环/缸套摩擦副润滑状态的模型,分析了不同颗粒直径和浓度对承载、油膜厚度及摩擦力的影响。当粒径小于最小油膜厚度时,液固二相流体的粘度、膜厚及摩擦力增加;粒径大于膜厚时,颗粒由于承载使油膜压力减小,经粘压效应,降低了二相流体的粘度、膜厚及摩擦力。