杭州电子科技大学图书馆书目检索系统

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

相关题名附注:

英文题名取自封面

书目附注:

有书目

提要文摘附注:

本书从分数阶微积分基本理论入手, 研究了分数阶系统的求解方法和分数阶微积分算子的近似化, 为分数阶系统的深入研究提供基础; 进而研究成比例分数阶系统, 分数阶控制系统; 与整数阶控制系统对比研究, 凸显分数阶控制系统的优越性能; 利用分数阶控制器控制实际动态行为; 并在实际的风暴潮灾害、课程评估等方面引入分数阶方法; 对支持向量机中的序列最小优化算法进行分数阶拓展, 并提出分数阶C一支持向量机分类方法, 在工具箱中改进算法, 得到更好的分类结果。

豆瓣简介：