注:聚类是指系统发育分析中显示的 S . vulgaris 种群的遗传聚类关系(图 2)。显著影响以粗体表示。对于二元数据(发芽、开花、存活),采用二项分布;对于计数数据(花、叶、枝的数量),采用泊松误差分布。
摘要 — 随着对网络物理系统的攻击日益复杂,欺骗已成为一种有效的工具,通过混淆攻击者的感知来提高系统安全性。在本文中,我们提出了一种欺骗性博弈的解决方案,其中控制代理要在对手存在的情况下满足由共同安全时间逻辑公式指定的布尔目标。代理故意引入不对称信息来创建收益误解,表现为对博弈模型中标记函数的误解。因此,对手无法准确确定博弈的给定结果满足哪个逻辑公式。我们在图上引入了一个称为超博弈的模型来捕捉具有单边收益误解的不对称信息。基于该模型,我们给出了这种超博弈的解决方案,并使用该解决方案来合成隐秘的欺骗策略。具体来说,通过将超博弈简化为具有可达性目标的双人博弈和单人随机博弈,可以开发出欺骗性必胜和欺骗性几乎必胜策略。引入一个运行示例来演示博弈模型和用于策略综合的解决方案概念。索引术语——基于形式化方法的控制;线性时间逻辑;图上博弈;超博弈论。
微生物物种似乎具有世界性分布。对于真核微生物,在过去的约 150 年中,埃伦伯格、达尔文、谢维亚科夫、卡尔等人反复提出了这一观察结果。大约一个世纪前,贝耶林克对细菌也提出了类似的主张;他基于选择性培养基的使用,这种培养基使得从几乎任何地方分离不同功能类型的细菌成为可能。“万物无处不在——环境选择”(Baas Becking 1934)这句话更简洁地表达了这一思想。只要满足特定的栖息地要求,任何特定的微生物物种都会出现在地球表面的任何地方。微生物的分布并不取决于进化或生态时间尺度上发生的偶然事件(如动物和植物),而只取决于栖息地的特性(有关历史参考,请参阅 Finlay 2002)。当然,并非所有原生生物都是世界性的。一些物种(例如某些纤毛虫、有孔虫和甲藻)仅限于特定的气候区。然而,在这种情况下,暖水物种似乎是泛热带的,而冷水物种似乎是双极的(例如 Dragesco 1968、Montresor 等人 2003)。虽然承认大多数原生生物具有世界性分布,但一些作者也认为某些物种,尤其是(陆地)有壳变形虫和纤毛虫,确实具有真正的生物地理学,即局限于某些大陆或特定
