安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

北京:科学出版社,2023

ISBN及定价:

978-7-03-062206-8/CNY149.00

载体形态项:

286页:图;26cm

并列正题名:

Fractional order systems and higher order logic formal verification

个人责任者:

赵春娜 著

个人责任者:

蒋慕蓉 著

学科主题:

微积分-研究

学科主题:

非线性控制系统-系统分析

中图法分类号:

O172

中图法分类号:

O231.2

相关题名附注:

英文并列题名取自封面

书目附注:

有书目

提要文摘附注:

本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式, 即允许微积分方程中对函数的阶次选择分数, 而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具, 它的广泛应用也表明了实际系统动态过程本质上是分数阶的。高阶逻辑形式化验证是形式化验证方法的一种, 它是一种人机交互的定理证明方法。本书以分数阶微积分和高阶逻辑形式化验证为切人点, 系统性研究了分数阶系统的求解、近似化、控制器设计与高阶逻辑形式化分析验证等内容。

豆瓣简介：