• 森林害虫发生的空间模式研究进展

    分类: 生物学 >> 生态学 提交时间: 2018-05-29 合作期刊: 《生态学报》

    摘要: 森林昆虫种群表现出多样的时空模式,空间同步性是其中最常见的。回顾了森林昆虫空间同步性的特点、形成机制及研究方法方面的进展。森林害虫发生的同步性是广泛存在的,但不同昆虫种类的同步性大小不同。空间同步性常随距离的增大而下降,还与时间尺度有关。Moran效应和扩散是解释空间同步性的两种主要机制,通常Moran效应的影响要比扩散大。从虫害发生数据的获取、同步性的度量及成因3个方面介绍了空间同步性的研究方法方面的进展。利用树轮生态学原理重建森林虫害发生历史的方法可在事后获取可靠的数据,很值得国内研究者借鉴和应用。在空间自相关度量上,空间统计学方法和地统计学方法都是非常有力的手段,但由于不能处理多时间点数据而限制了其在同步性研究中的应用。在同步性成因研究中,利用变异分解将基于距离的Moran特征向量图(dbMEM)作为空间变量研究害虫发生的驱动力是比较新颖的研究方法。

  • Z2n上点集整系数线性不等式完全刻画

    分类: 数学 >> 应用数学 提交时间: 2022-11-09

    摘要: 近年来,混合整数线性规划(MILP)被广泛用到对称密码的自动化分析中,并逐渐成为一个强有力的工具。在MILP方法中,一个核心的数学问题就是:对给定的Z2n上的高维离散点集S,如何利用尽可能少的不等式刻画它,简称整系数线性不等式完全刻画问题(FLIIIC problem)。该问题是NP-hard的。在这个工作中,我们是首次针对该问题给出了完整的求解理论。我们的方法从Plain集合出发,即由单个线性不等式确定的解集,揭示了其一系列内在属性,包括型、稀疏度、第一类退化、第二类退化,序、极小元、极大元、范数和界。在此基础上我们进一步给出了刻画Plain集合的一个充分必要条件,即集合S是Plain集合的充分必要条件是S集合是good集合。基于上述知识,对任意给定的子集S,我们提出了一个求解S的全部极小闭包和最优线性不等式完全刻画的算法。我们的算法非常高效且实用,可以应用到密码学中各种常见的S盒的刻画。据我们所知,这是首次给出了各种常见S盒的全部极小闭包,且我们得到的所有刻画结果都是目前最好的结果,尤其时在高维S盒刻画方面,我们的结果远优于国内外同行的结果。