關(guān)于我們
書單推薦
新書推薦

分?jǐn)?shù)階系統(tǒng)高階邏輯形式化驗(yàn)證

分?jǐn)?shù)階系統(tǒng)高階邏輯形式化驗(yàn)證

定  價(jià):149 元

        

  • 作者:趙春娜,蔣慕蓉
  • 出版時(shí)間:2023/9/1
  • ISBN:9787030622068
  • 出 版 社:科學(xué)出版社
  • 中圖法分類:O172 
  • 頁(yè)碼:296
  • 紙張:
  • 版次:01
  • 開本:16
9
7
6
8
2
7
2
0
0
3
6
0
8

讀者對(duì)象:本書可作為控制類應(yīng)用研究型人才培養(yǎng)的本科院校研究生的教科書參考書,還可供其他有興趣的學(xué)生、科技工作者和教師作為控制理路、仿真建模、高階邏輯形式化驗(yàn)證等課程的實(shí)驗(yàn)輔助教材。

本書是分?jǐn)?shù)階系統(tǒng)與高階邏輯形式化驗(yàn)證的基礎(chǔ)理論研究著作。分?jǐn)?shù)階系統(tǒng)是建立在分?jǐn)?shù)階微積分方程理論上實(shí)際系統(tǒng)的數(shù)學(xué)模型。分?jǐn)?shù)階微積分方程是擴(kuò)展傳統(tǒng)微積分學(xué)的一種直接方式,即允許微積分方程中對(duì)函數(shù)的階次選擇分?jǐn)?shù),而不僅是現(xiàn)有的整數(shù)。分?jǐn)?shù)階微積分不僅為系統(tǒng)科學(xué)提供了一個(gè)新的數(shù)學(xué)工具,它的廣泛應(yīng)用也表明了實(shí)際系統(tǒng)動(dòng)態(tài)過(guò)程本質(zhì)上是分?jǐn)?shù)階的。高階邏輯形式化驗(yàn)證是形式化驗(yàn)證方法的一種,它是一種人機(jī)交互的定理證明方法。本書以分?jǐn)?shù)階微積分和高階邏輯形式化驗(yàn)證為切入點(diǎn),系統(tǒng)性研究了分?jǐn)?shù)階系統(tǒng)的求解、近似化、控制器設(shè)計(jì)與高階邏輯形式化分析驗(yàn)證等內(nèi)容。

更多科學(xué)出版社服務(wù),請(qǐng)掃碼獲取。
 你還可能感興趣
 我要評(píng)論
您的姓名   驗(yàn)證碼: 圖片看不清?點(diǎn)擊重新得到驗(yàn)證碼
留言內(nèi)容