用PTA模型形式化分析基于Gossip协议的发布/订阅系统

在研究传统的发布/订阅消息中间件系统的基础之上,结合Gossip协议的特点来研究发布/订阅消息中间件,最后运用形式化方法,通过PRISM仿真工具,对仿真的模型进行形式化分析.实验结果表明,发布/订阅消息中间件系统的实时性受消息产生速度的影响,在各个订阅者订阅相同消息和不同消息两种情况之下网络特性展现不同的变化,但最终都是随着消息产生速度的增加而减小.可靠性随着消息产生速度的增加而减小,并且订阅者的接收缓存越大可靠性越高,但增幅率会越来越小.该实验模型和实验方法对于发布/订阅消息中间件系统的研究,以及在现实环境中配置系统的相关参数有一定的帮助.

黄土高原生物结皮对地表粗糙度和灌草植物种子二次扩散的影响

生物结皮是黄土高原常见的地表覆被物,在灌草群落下方及植被间空地上广泛发育,深刻影响着灌草植物种子的二次扩散和定居,但目前针对生物结皮对种子二次扩散影响的研究较少,且种子二次扩散的主导因素尚不明确。该研究以风沙土和黄绵土上的生物结皮(藻结皮和藓结皮)为对象,以无结皮为对照,利用倾斜摄影测量法测定了地表粗糙度,并通过风力扩散实验测定地表粗糙度对6种不同形态灌草植物种子的移位率、损失率和扩散距离的影响,继而结合Spearman相关性分析,研究灌草种子在生物结皮表面扩散的主导因素。研究结果表明:(1)与无结皮相比,风沙土藻结皮和藓结皮的地表粗糙度分别增加了6.69倍和6.13倍,黄绵土上分别增加了2.52倍和1.45倍。(2)风沙土上,干燥条件下的地表粗糙度比湿润条件下增加了26.56%,而在黄绵土上则降低了9.42%。(3)在干燥条件下,风沙土生物结皮的地表粗糙度比黄绵土上增加了16.84%,湿润条件下则降低了16.38%。(4)风沙土上,种子在生物结皮表面的移位率、损失率和扩散距离分别比无结皮降低了77.1%、95.4%和72.2%,在黄绵土上则分别降低了76.5%、93.8%和66.8%。土壤类型和干湿条件对生物结皮上种子扩散特征的影响不显著。(5)种子移位率、损失率和扩散距离与地表粗糙度极显著负相关,种子移位率和损失率与土壤含水量显著负相关,种子损失率和扩散距离均与种子密度显著负相关。综上,黄土高原生物结皮主要通过增加地表粗糙度阻碍种子扩散,增强种子聚集,进而影响黄土高原灌草植被的空间分布特征与群落动态。