机读格式显示(MARC)

• 000 01291nam0 2200289 450

• 001 0000914727

• 005 20240325092700.0

• 010 __ |a 978-7-03-062206-8 |d CNY149.00

• 100 __ |a 20231109d2023 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 分数阶系统高阶逻辑形式化验证 |A fen shu jie xi tong gao jie luo ji xing shi hua yan zheng |f 赵春娜,蒋慕蓉著

• 210 __ |a 北京 |c 科学出版社 |d 2023

• 215 __ |a 286页 |c 图 |d 26cm

• 312 __ |a 英文题名取自封面

• 320 __ |a 有书目

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

• 510 1_ |a Fractional order systems and higher order logic formal verification |z eng

• 606 0_ |a 微积分 |A wei ji fen |x 研究

• 690 __ |a O172 |v 5

• 701 _0 |a 赵春娜 |A zhao chun na |4 著

• 701 _0 |a 蒋慕蓉 |A jiang mu rong |4 著

• 801 _0 |a CN |b HDUL |c 20240325

• 905 __ |a HDUL |d O172/4541

• 920 __ |a 233030 |z 1