机译:构造两类非线性空间分布系统的积分数学模型。 Ⅱ。连续定义的外部动力扰动的情况*
机译:构造两类非线性空间分布系统的积分数学模型。 Ⅰ。离散定义的外部动力扰动的情况
机译:线性时间流的所有有限可公理化时态逻辑都是CoNP完全的
机译:有限模型的可公理化类别和线性阶数的可定义性
机译:复杂系统特殊类别(奇摄动,离散时间,线性化,两时标度系统)的灵敏度分析,识别和模型简化技术
机译:几类具有亚纯pq-阶亚纯系数的线性微分方程解的振动性
机译:一流的克莱波克框架非正常和准正常模态谓词逻辑的公理性