本書以拉格朗日力學(xué)理論與自動(dòng)定理證明思想為指導(dǎo)，系統(tǒng)深入地研究了泛函變分、拉格朗日力學(xué)和機(jī)器人動(dòng)力學(xué)之間的天然關(guān)系，從而構(gòu)建了以泛函變分的形式化為形式化數(shù)學(xué)基礎(chǔ)、以拉格朗日力學(xué)的形式化為中心、以機(jī)器人動(dòng)力學(xué)形式化分析為應(yīng)用依托的定理證明體系。內(nèi)容涵蓋了自動(dòng)定理證明、泛函變分、拉格朗日力學(xué)、形式化驗(yàn)證等領(lǐng)域�！禕R》全書

本書介紹了復(fù)雜系統(tǒng)與復(fù)雜網(wǎng)絡(luò)的動(dòng)力學(xué)演化過程，如網(wǎng)絡(luò)通信的延時(shí)、網(wǎng)絡(luò)帶寬、數(shù)據(jù)丟包概率等因素與網(wǎng)絡(luò)模型的解析關(guān)系；復(fù)雜網(wǎng)絡(luò)系統(tǒng)中存在的動(dòng)力學(xué)行為(如分叉、混沌等)對網(wǎng)絡(luò)性能的影響，分析復(fù)雜網(wǎng)絡(luò)動(dòng)態(tài)演化的特性與動(dòng)力學(xué)行為的內(nèi)在聯(lián)系。解決一些復(fù)雜系統(tǒng)與復(fù)雜網(wǎng)絡(luò)，如互聯(lián)網(wǎng)擁塞控制系統(tǒng)和基因調(diào)控網(wǎng)絡(luò)的建模、動(dòng)力學(xué)分析及其控制等

Thisbooksystematicallypresentsthemostrecentprogressinstabilityandcontrolofimpulsivesystemswithdelays.Impulsivesystemshaverecentlyattractedcontinuedhighresearchi

隨著人工智能的飛速發(fā)展，人工智能賦能教學(xué)取得長足發(fā)展。本書通過對國內(nèi)外人工智能教育應(yīng)用案例的分析，闡明多模態(tài)學(xué)習(xí)分析、適應(yīng)性反饋、人機(jī)協(xié)同等正成為當(dāng)下人工智能教育的主要應(yīng)用范疇。人工智能依據(jù)學(xué)情感知對學(xué)習(xí)做出智能評估和預(yù)測，可為學(xué)習(xí)者的適應(yīng)性學(xué)習(xí)提供技術(shù)性支持與保障。本書還以IBMWatson系統(tǒng)的應(yīng)用為例，闡述了人工

本書突出船舶控制工程技術(shù)特點(diǎn)，既力求掌握控制理論的相關(guān)理論知識，又立足于實(shí)踐與應(yīng)用。結(jié)合筆者多年來夯實(shí)的前期研究工作積累，系統(tǒng)地總結(jié)了船舶智能航行制導(dǎo)與控制的基本理論和方法。本書共8章，主要內(nèi)容為：緒論、基本概念與基礎(chǔ)理論、最小參數(shù)化條件下的船舶智能制導(dǎo)與魯棒控制、考慮執(zhí)行器配置約束的船舶智能制導(dǎo)與魯棒控制、海洋工程環(huán)

本書系統(tǒng)介紹兩種參數(shù)靈敏度理論，定量分析系統(tǒng)各類參數(shù)的變化對足式機(jī)器人腿部液壓驅(qū)動(dòng)系統(tǒng)控制性能的影響程度，為足式機(jī)器人腿部驅(qū)動(dòng)系統(tǒng)的結(jié)構(gòu)優(yōu)化和補(bǔ)償控制奠定基礎(chǔ)。全書共6章，第1章主要介紹足式機(jī)器人腿部液壓驅(qū)動(dòng)系統(tǒng)靈敏度分析的意義與發(fā)展現(xiàn)狀；第2章主要為足式機(jī)器人腿部液壓驅(qū)動(dòng)系統(tǒng)機(jī)械結(jié)構(gòu)與腿部關(guān)節(jié)液壓驅(qū)動(dòng)單元數(shù)學(xué)建模、阻

頂點(diǎn)覆蓋問題是經(jīng)典的組合優(yōu)化問題，在交通規(guī)劃、設(shè)施選址等多個(gè)領(lǐng)域有著重要的應(yīng)用。其關(guān)鍵性子問題如最小加權(quán)頂點(diǎn)覆蓋問題、泛化頂點(diǎn)覆蓋問題和最小分區(qū)頂點(diǎn)覆蓋問題有著更廣泛的應(yīng)用領(lǐng)域。在實(shí)際應(yīng)用中，頂點(diǎn)覆蓋子問題所需要處理的問題規(guī)模往往較大，使用精確求解方法很難進(jìn)行有效求解。因此，本書對最小加權(quán)頂點(diǎn)覆蓋問題、泛化頂點(diǎn)覆蓋問題

三支決策是一種基于人類認(rèn)知過程的粒計(jì)算研究方法與不確定決策理論，主要采用“三”的思維方式進(jìn)行“分-治-效”進(jìn)程的智能計(jì)算與知識發(fā)現(xiàn)，其三層結(jié)構(gòu)化思維誘導(dǎo)出三層分析方法論。三支決策與三層分析已經(jīng)成為人工智能研究與應(yīng)用的重要工具與有效方法。本書介紹三支決策與三層分析相關(guān)的理論、技術(shù)、算法、應(yīng)用等的**研究進(jìn)展。全書共11章

本書首先研究JESD204B協(xié)議的基本內(nèi)容，整理了其關(guān)鍵技術(shù)，分析了204B控制器的確定性延遲機(jī)制，探討了收發(fā)器PHY的系統(tǒng)結(jié)構(gòu)和重要的參數(shù)設(shè)置。然后，本書分別針對發(fā)送端和接收端，詳細(xì)分析和描述JESD204B控制器的協(xié)議和數(shù)字電路設(shè)計(jì)實(shí)現(xiàn)。其次，本書基于55納米1p7m_RF工藝，采用數(shù)模混合設(shè)計(jì)完成了JESD204

本書從物聯(lián)網(wǎng)技術(shù)發(fā)展現(xiàn)狀、體系架構(gòu)及演進(jìn)趨勢入手，設(shè)計(jì)物聯(lián)網(wǎng)安全架構(gòu)；在對物聯(lián)網(wǎng)典型安全事件進(jìn)行回顧的基礎(chǔ)上，梳理物聯(lián)網(wǎng)安全問題分類，提煉安全威脅和安全需求，提出物聯(lián)網(wǎng)安全體系框架，引出物聯(lián)網(wǎng)身份安全的重要性；深入介紹物聯(lián)網(wǎng)安全認(rèn)證技術(shù)，從傳統(tǒng)身份認(rèn)證機(jī)制、物聯(lián)網(wǎng)身份認(rèn)證方法入手，對基于生物特征的物聯(lián)網(wǎng)身份認(rèn)證方法和基