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

本書按照新時期“雙一流”學(xué)科建設(shè)課程的教學(xué)大綱要求編寫而成，在簡要介紹C++程序設(shè)計語言和測量平差數(shù)學(xué)模型的基礎(chǔ)上，討論各種平差方法的程序設(shè)計原理、編程思路、編程技巧，并給出完整的程序代碼和應(yīng)用算例。本書以自編能夠?qū)崿F(xiàn)水準(zhǔn)網(wǎng)、平面控制網(wǎng)、GNSS向量網(wǎng)、攝影測量數(shù)據(jù)處理及點(diǎn)云數(shù)據(jù)處理等通用平差計算程序?yàn)橹骶�，完整、系統(tǒng)

本書共14章，涵蓋了深度學(xué)習(xí)中的大部分學(xué)習(xí)網(wǎng)絡(luò)方法。第1～2章介紹開發(fā)環(huán)境軟件安裝和深度學(xué)習(xí)相關(guān)的軟件包，第3～4章是鳶尾花多分類全連接神經(jīng)網(wǎng)絡(luò)識別案例與實(shí)現(xiàn)，第5～6章是MINIST手寫數(shù)字識別案例，第7章是FashionMNIST服裝識別案例，可以加深對卷積神經(jīng)網(wǎng)絡(luò)的認(rèn)識，第8章介紹CIFAR-10數(shù)據(jù)集彩色圖片識

重要度是保持系統(tǒng)可靠性和提高系統(tǒng)性能的主要手段，其貫穿于裝備全壽命周期，是裝備保障工程的重要內(nèi)容之一。本書以系統(tǒng)優(yōu)化設(shè)計為背景，以識別系統(tǒng)關(guān)鍵組件、提升系統(tǒng)性能、延長系統(tǒng)壽命為目標(biāo)，綜合考慮組件狀態(tài)分布概率、組件狀態(tài)轉(zhuǎn)移率及其對系統(tǒng)的影響，提出一種綜合重要度計算方法，該方法可以定量計算帶有狀態(tài)轉(zhuǎn)移特征的組件可靠性變化對

本書全面系統(tǒng)地介紹了離散制造過程的批間控制理論及其設(shè)計方法，側(cè)重于介紹混合制程批間控制研究的近期新進(jìn)展。全書共7章，分為三大部分，一部分針對混合制程的控制問題，闡述了基于JADE、ANOVA、G＆P-EWMA、貝葉斯估計及擴(kuò)張狀態(tài)觀測器的批間控制理論與設(shè)計方法；二部分針對帶測量時延的制程控制問題，給出系統(tǒng)穩(wěn)定性分析、測

機(jī)器視覺技術(shù)作為當(dāng)前的熱門技術(shù)之一，在智能制造領(lǐng)域得到了廣泛的應(yīng)用。 本書從機(jī)器視覺的基本概念到機(jī)器視覺算法，從機(jī)器視覺核心部件到可配置的純嵌入式視覺系統(tǒng)，從2D視覺技術(shù)到3D視覺技術(shù)，從黑白視覺技術(shù)到彩色視覺技術(shù)，從傳統(tǒng)視覺技術(shù)到深度學(xué)習(xí)技術(shù)，從視覺系統(tǒng)設(shè)計方案到各行業(yè)的應(yīng)用場景，從視覺檢測、測量、定位、讀碼與識別四

本書以UGNX12.0為基礎(chǔ)，全面系統(tǒng)地介紹三維CAD工程設(shè)計知識，重點(diǎn)介紹建模思路、建模方法、建模技巧。全書共分UGNX基礎(chǔ)知識、平面草圖繪制、三維實(shí)體建模、空間曲線繪制、曲面建模、零部件裝配以及工程圖設(shè)計7個方面的內(nèi)容。本書特色鮮明，每章的入門引例、大量應(yīng)用案例、綜合實(shí)例，能使學(xué)習(xí)更加趣味生動，幫助讀者開拓思路，快

本套項(xiàng)目化教程圖例分十五個項(xiàng)目，分別是:AutoCAD2020基礎(chǔ)知識、繪制平面圖形（一）、繪制平面圖形（二）、繪制平面圖形（三）、繪制平面圖形（四）、繪制三視圖、繪制剖視圖、書寫文字、圖塊、外部參照與設(shè)計中心、繪制傳動軸零件圖、繪制圓柱齒輪零件圖、繪制箱體零件圖、三維繪圖、組合體三維建模、根據(jù)零件圖拼裝裝配圖、圖紙布

"本書系統(tǒng)地闡述了基于單片機(jī)的智能儀器的組成、硬件/軟件設(shè)計和實(shí)現(xiàn)方法。該書共分為七章，第1章闡述了智能儀器的典型結(jié)構(gòu)、特點(diǎn)，設(shè)計原則和發(fā)展趨勢；第2章闡述智能儀器數(shù)據(jù)采集系統(tǒng)的組成與設(shè)計方法；第3章闡述智能儀器人機(jī)接口設(shè)計，主要講述鍵盤、LED、LCD、打印機(jī)與CPU的接口設(shè)計；第4章闡述智能儀器通信接口設(shè)計，考慮到

本書提供了相關(guān)工具和算法的全面覆蓋,并能指導(dǎo)讀者實(shí)現(xiàn)分析和可視化圖像處理。本書給出了60余個示例的解決方法,采用菜譜式方式組織內(nèi)容,以期指導(dǎo)讀者能快速實(shí)踐圖像的分析和可視化處理,解決圖像處理中的常見挑戰(zhàn),并學(xué)習(xí)如何執(zhí)行復(fù)雜的任務(wù),如對象檢測、圖像分割和使用大型混合數(shù)據(jù)集的圖像重建,以及各種圖像增強(qiáng)和圖像恢復(fù)技術(shù),如卡通