书目详细信息
： 分数阶系统高阶逻辑形式化验证
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-03-062206-8:CNY149.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 分数阶系统高阶逻辑形式化验证/.赵春娜,蒋慕蓉著 |
| 出版发行项： | 北京:,科学出版社:,2023 |
| 载体形态项： | 286页:;+图:;+26cm |
| 相关题名附注： | 封面英文题名:Fractional order systems and higher order logic formal verification |
| 提要文摘： | 本书从分数阶微积分基本理论入手,研究了分数阶系统的求解方法和分数阶微积分算子的近似化,为分数阶系统的深入研究提供基础;进而研究成比例分数阶系统,分数阶控制系统;与整数阶控制系统对比研究,凸显分数阶控制系统的优越性能;利用分数阶控制器控制实际动态行为;并在实际的风暴潮灾害、课程评估等方面引入分数阶方法;对支持向量机中的序列最小优化算法进行分数阶拓展,并提出分数阶C一支持向量机分类方法,在工具箱中改进算法,得到更好的分类结果。 |
| 并列题名： | Fractional order systems and higher order logic formal verification eng |
| 题名主题： | 微积分 研究 |
| 中图分类： | O172 |
| 个人名称等同： | 赵春娜 著 |
| 个人名称等同： | 蒋慕蓉 著 |
| 记录来源： | CN 91MARC 20231220 |