Schr?der数列（rn）n≥0=（1,2,6,22,90,394,…）是组合数学中重要的组合序列之一,它的组合意义为:rn表示在第一象限内从（0,0）到（2n,0）允许的步......

模型检测方法是最近二十年来最成功的自动验证技术之一,目前已经广泛应用于有穷状态系统(包括通信协议和电路设计)的分析和验证。......

时间序列作为一种重要的复杂类型数据，它普遍存在于现实生活中，诸如气象、股市、金融、天文等领域。因此对时间序列的相似性研究也逐......

物流服务业在我国的地位越来越高，而传统的模糊决策方法无法解决复杂的不确定情境下物流服务的评估与优化问题。需要结合决策者有限......

Lukasiewicz 路是一种拥有上步 U(1, 1), 水平步 H(1, 0)和下步Ds=(1,-s)的格路, 其中s∈{1, 2, 3 ...}. 本文研究了 Lukasiewicz ......