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

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

电流变液的一类新型单链拉伸模型

本文通过对电流变液的边界层扩展研究，建立了一类新型单链拉伸模型，由此导出了系统屈服应力和等效单链力的计算公式，并将其计算结果与实验数据进行了比较。同时我们也给出了单链修理因子Ａｓ的计算结果与实验数据的比较。     

WindoWs操作系统主引导扇区程序剖析

通过对操作系统启动过程的深入研究，在WINDOWS98 DOS状态下，对当前大容量硬盘主引导扇区的引导过程进行了全面的剖析，导出扩展INT 13H读取大容量硬盘逻辑扇区的方法，这将对大容量硬盘的管理与维护十分有利。     

城市化途径及其相关

对城市化途径有关各要素作了综合的叙述,并且指出研究的手段──自人口的聚集至城镇形成发展这一历史的纵剖面及地域、产业结构等横向有关要素作整体系统的分析与比较,并指出应重点研究人口指标分析、产业可比关系、城市化和城市化设施,以及城市体系的研究问题。     

Feller—Trotter算子的局部饱和定理

利用Bajsanski-Bajanic抛物线引理建立Feller-Trotter算子的局部小“ο”饱和定理,进一步地应用所得到结论建立了(C_)类算子半群概率表示的局部饱和定理。     

中国建成区植被变绿趋势识别及对比分析

基于2001-2020年增强型植被指数(enhanced vegetation index,EVI),利用曼-肯德尔(Mann-Kendall,M-K)检验与泰尔指数,分析中国老城区(2000年已成为建成区)与扩展区(2000-2016年新增建成区)的植被变绿趋势,以及在不同气候变化区植被变绿趋势的差异.研究发现：1)中国约20%(17 290 km²)的建成区植被呈显著变绿趋势.其中华东-华中湿暖趋势带的建成区植被变绿面积,占中国建成区植被总变绿面积的46.61%,30个省级行政区10%以上的建成区植被呈显著变绿趋势. 2)在老城区与扩展区的植被变绿趋势的对比上,老城区的植被显著变绿,扩展区的植被微弱变绿,老城区的植被变绿面积(13 474 km²)是扩展区植被变绿面积(3 818 km²)的3.5倍多.不同气候变化区的植被变绿趋势差异表明,需要因地制宜地应对气候变化对城市建成区植被生长的影响,重视西南-华南干暖趋势带的供水设施建设,保证植被的生长需求.     

|x|在扩展的Chebyshev结点的有理插值

研究|x|在扩展的Chebyshev结点的有理插值,得到逼近阶为O(1/(nln n)).通过数值计算发现相同逼近阶的误差与结点的密集度、结点所在曲线的凹凸性有关.     

F?对熔融NaCl–KCl熔盐中钛离子配位结构的影响

本文采用电化学、数学分析和光谱分析相结合的方法,研究了氟离子(F?)对钛离子(Tin+)的电化学行为和配位性能的影响,以α表示F?和Tin+的摩尔浓度比。采用循环伏安法(CV)、方波伏安法(SWV)和开路电位法(OCP)研究了不同α条件下钛离子的电化学行为,并采用原位采样器制备了α = 0、1.0、2.0、3.0、4.0、5.0、6.0、8.0时的熔盐样品,然后用X射线光电子能谱(XPS)和拉曼光谱对样品进行分析。结果表明:熔盐中F?的加入缩短了钛离子的还原步骤,并极大地影响了价态钛离子的比例,使高价态钛含量增加且更加稳定,当α大于3.0时,Ti2+不再存在于熔盐中,最终转移到价态更高的钛离子中。研究发现,这些现象背后的机制是由于配合物(TiCl_jF_im?)的形成,这对揭示钛还原过程机理和电解质的选择具有重要意义。