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

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

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

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

英汉翻译中词义的引申

不同的语言习惯反映着不同的民族文化历史背景、社会习惯、生活方式一在双语转换中将原语词义加以适当引申使之符合目的语的表达习惯，从而使译文越过可译性障碍，化梗阻为通顺，是翻译常用的手段或方法     

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

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

浅析词义认知中的石化现象

外语学习者在词义认知过程中，当词义水平达到一定程度后，对词义的认知不如像最初阶段那样稳步的提高，而是呈现一种停滞不前的徘徊状态，这就是词义认知过程中的石化现象。石化现象对学习者认知词义形成了极强的负面效应。     

城市化途径及其相关

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

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

基于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)).通过数值计算发现相同逼近阶的误差与结点的密集度、结点所在曲线的凹凸性有关.     

扩展裂纹缺陷评定方法的优化研究

裂纹扩展的缺陷评定方法,越益受到了人们的重视,美国ＥＰＲＩ提出的“裂纹 推力图”方法,虽然准确合理,但方法偏于繁复,尚难于向工程界推广。清华大学力学 研究所曾先后提出几种评定方法,以期使评定过程得以简化。在此基础上,文章提出 “相容应力增量”法作为优化方法,它将使全部评定过程大为简化,从而为扩展裂纹的 缺陷评定方法向工程界推广创造便利条件。     

FP—JTE终端扩展区注入剂量对击穿电压的影响

提出了一种无须进行电离积分的用于高压结终端模拟的边界元素法,分析了下ＦＰ－ＪＴＥ终端结构中扩展区注入剂量对击穿电压的影响,结果表明击穿电压与注入剂量呈线性关系,场板可减弱击穿电压注入剂量的第三性。