扩展Meadows模型分析Ad Hoc网络路由协议安全性

目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法.通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力.使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析.     

化学配比对TiAl有序合金微观组织和变形特性的影响

本研究用三点弯曲实验测定了铝含量为43at·％～56at·％的Ti-Al二元合金的力学性能;利用光学显微镜、X射线衍射仪和透射电子显微镜研究了不同成分合金的微观组织和变形亚结构。实验结果表明:根据不同成分合金的微观组织可将其分成三类,即:γ-TiAl单相组织(52at·％～56at·％Al);双态组织(46at·％～50at·％Al)和全片层结构晶粒组织(43at·％～46at·％Al),其中以具有细晶双态组织的合金具有较好的塑性变形能力。本文从微观组织结构和变形位错组态的变化,探讨了合金成分对TiAl基有序合金塑性变形的影响机制。     

两类N参数σ—域族的刻划

证明了Ｎ参数左连续强增加σ－域族的（ＯＲＴ）性质等价于（ＳＴＲ）性质，对于具有（ＰＩＶ）性质的离散Ｎ参数σ－增域族，必存在单参数σ－增域族和关于它的停时族（Ｔｚ）ｚ∈Ｎ＾Ｎ。     

NiAl金属间化合物熔体旋转法制备工艺参数研究

研究了金属间化合物快速凝固薄带的成型过程和影响薄带质量的工艺参数。提出了熔体在喷嘴处进行层流流动的经验关系式，给出了金属间化合物快速凝固薄带制备的最佳工艺参数。     

点态化Fuzzy域及其性质

本文从点的角度重新定义了Ｆｕｚｚｙ域，并讨论了它的一些性质。     

集合系关于映射的不变性

将映射中关于σ域的命题推广到π系、半环、环、域、单调系、λ系、σ域，得到了这些集合系在映射下的不变性。     

VG和Dodds改良VG染色方法的比较分析

对20例间叶组织肿瘤分别用VG和Dodds改良VG方法染色的结果进行了分析。结果表明,Dodds改良VG法明显优于VG,表现为其染色特异性强,对比清晰,值得推广。     

两类N参数σ－域族的刻划

证明了Ｎ参数右连续强增加σ－域族的（ＯＲＴ）性质等价于（ＳＴＲ）性质，对于具有（ＰＩＶ）性质的离散Ｎ参数σ－增域族，必存在单参数σ－增域族和关于它的停时族（Ｔ＿ｚ）ｚ∈Ｎ￣Ｎ，使     

Smooth拓扑空间的Moore-Smith收敛理论

以远域为工具讨论了smooth拓扑空间的Moore-Smith收敛理论.