机读格式显示(MARC)

• 000 01481nam0 2200301 450

• 001 0000476687

• 005 20241017153100.0

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

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

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

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

• 606 0_ |a 非线性控制系统 |A fei xian xing kong zhi xi tong |x 系统分析

• 690 __ |a O172 |v 5

• 690 __ |a O231.2 |v 5

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

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

• 801 _0 |a CN |b 湖北三新 |c 20231028

• 905 __ |a AUSTL |d O172/Z225