本書是關(guān)于非線性系統(tǒng)故障可診斷性評價與診斷方法的一本專著，主要匯集了作者近年來在故障可診斷評價與設(shè)計、非線性系統(tǒng)故障診斷及傳感器優(yōu)化配置等相關(guān)領(lǐng)域的新理論與新方法，并探索將相關(guān)研究成果應(yīng)用在電源車系統(tǒng)中，同時也集中介紹了近年來國內(nèi)外在安全控制研究領(lǐng)域的新的技術(shù)原理和主要方法。本書以分塊逐步遞進(jìn)的方法共分為三篇，分別包括

主要內(nèi)容●如何配置Go語言環(huán)境，并提供設(shè)計、開發(fā)和測試Go應(yīng)用程序的入門指南。●對基本數(shù)據(jù)結(jié)構(gòu)(如映射、切片和數(shù)組)的實際討論�！駁RPC和并發(fā)的基本原理�！裨贕o語言中設(shè)計和開發(fā)API的基礎(chǔ)知識。

本書是關(guān)于現(xiàn)代類型論的專著。與集合論類似，現(xiàn)代類型論是數(shù)學(xué)及諸多領(lǐng)域的基礎(chǔ)語言。本書介紹了現(xiàn)代類型論(及其元理論)，并以自然語言語義學(xué)和計算機(jī)輔助推理為例對以現(xiàn)代類型論為基礎(chǔ)的應(yīng)用領(lǐng)域進(jìn)行深入淺出的討論。作為基礎(chǔ)語言，現(xiàn)代類型論一方面提供了豐富的描述機(jī)制，另一方面便于理解與實現(xiàn)，因此與集合論相比有著多方面的優(yōu)勢。這些優(yōu)

圖神經(jīng)網(wǎng)絡(luò)不僅能夠解決傳統(tǒng)機(jī)器學(xué)習(xí)方法無法解決的圖數(shù)據(jù)問題，而且能夠應(yīng)用于許多實際場景，例如社交網(wǎng)絡(luò)、藥物發(fā)現(xiàn)、網(wǎng)絡(luò)安全、金融風(fēng)控等�！秷D神經(jīng)網(wǎng)絡(luò)基礎(chǔ)、模型與應(yīng)用實戰(zhàn)》旨在為初學(xué)者和實踐者提供一個詳細(xì)、全面的入門指南，圍繞圖神經(jīng)網(wǎng)絡(luò)基礎(chǔ)、模型、應(yīng)用實戰(zhàn)（均采用Python+PyTorch實現(xiàn)）等方面進(jìn)行介紹�！秷D神經(jīng)網(wǎng)

新編計算機(jī)基礎(chǔ)教程(微課版)》基于教學(xué)實踐編寫而成，在寫作過程中，根據(jù)“夯實基礎(chǔ)、面向應(yīng)用、培養(yǎng)創(chuàng)新”的指導(dǎo)思想，以介紹計算機(jī)基礎(chǔ)知識和基本應(yīng)用技能為主線，具有內(nèi)容豐富、層次清晰、通俗易懂、圖文并茂、易教易學(xué)的特色。新編計算機(jī)基礎(chǔ)教程(微課版)重點突出了教材的基礎(chǔ)性、應(yīng)用性和創(chuàng)新性，旨在提高大學(xué)生的計算機(jī)應(yīng)用能力，并為

《數(shù)字身份認(rèn)證技術(shù)與實踐》內(nèi)容涵蓋身份認(rèn)證的基礎(chǔ)理論，包括身份認(rèn)證與授權(quán)的區(qū)別、常見的認(rèn)證方式以及關(guān)鍵技術(shù)和協(xié)議，如SAML、OAuth2.0、OIDC等。除基礎(chǔ)概念外，《數(shù)字身份認(rèn)證技術(shù)與實踐》還展示如何在不同的環(huán)境中安全地接入和實現(xiàn)身份認(rèn)證，包括純前端應(yīng)用、BFF和后端領(lǐng)域服務(wù)。同時，《數(shù)字身份認(rèn)證技術(shù)與實踐》詳細(xì)

本書面向華為設(shè)備，以一個真實的企業(yè)網(wǎng)搭建項目貫穿全書，共分四篇。第一篇為教學(xué)項目準(zhǔn)備，通過引入教學(xué)項目，引導(dǎo)學(xué)生了解課程目標(biāo)，提高學(xué)生的學(xué)習(xí)興趣；第二篇為教學(xué)項目實施，緊緊圍繞引入的教學(xué)項目，按照一般網(wǎng)絡(luò)項目實施的工作流程，從企業(yè)總部內(nèi)網(wǎng)搭建，到企業(yè)內(nèi)外網(wǎng)路由連通，再到企業(yè)網(wǎng)絡(luò)安全控制，直至無線網(wǎng)絡(luò)配置4大步，分成11

本書較為全面地介紹了Cinema4D2023的基本操作和核心功能，選取了部分“1+X”數(shù)字創(chuàng)意建模考試真題與企業(yè)真實項目融合。全書共包括7個項目：初識Cinema4D、Cinema4D數(shù)字創(chuàng)意建�；�礎(chǔ)、卡通角色設(shè)計、虛擬數(shù)字人中國娃娃、Cinema4D動畫、Cinema4D與Arnold渲染器、“1+X”數(shù)字創(chuàng)意建模綜

本書以智能制造產(chǎn)線為對象，介紹了智能制造產(chǎn)線運(yùn)行優(yōu)化涉及的關(guān)鍵技術(shù):產(chǎn)線狀態(tài)數(shù)據(jù)實時采集與云-邊協(xié)同計算技術(shù)、產(chǎn)線混合生產(chǎn)任務(wù)的集成規(guī)劃與優(yōu)化技術(shù)、產(chǎn)線生產(chǎn)物流的主動感知與協(xié)同調(diào)度技術(shù)、刀具磨損狀態(tài)智能監(jiān)控與壽命預(yù)測技術(shù)、工件加工質(zhì)量的誤差分析/溯源與預(yù)測技術(shù)、復(fù)雜數(shù)控加工裝備的健康狀態(tài)綜合評價技術(shù)等。這些關(guān)鍵技術(shù)是實

本書共13章。第1～3章分別講解Go語言、基本數(shù)據(jù)類型和各種運(yùn)算符的使用；第4章主要講解選擇和循環(huán)兩種控制結(jié)構(gòu)；第5章講解函數(shù)與方法；第6章講解數(shù)據(jù)容器；第7章講解結(jié)構(gòu)體；第8章講解接口，這部分內(nèi)容難度稍大；第9章講解協(xié)程與通道；第10～12章分別講解異常處理、正則表達(dá)式、文件和文件夾；第13章講解常用的內(nèi)置包。本書立