赵春娜

分数阶系统高阶逻辑形式化验证 赵春娜,蒋慕蓉 著.pdf

《分数阶系统高阶逻辑形式化验证》是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式,即允许微积分方程中对函数的阶次选择分数,而不仅是现有的整数。分数阶微积分不仅为系统科学