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

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

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

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

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

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

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

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

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

本書(shū)共13章。第1～3章分別講解Go語(yǔ)言、基本數(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)置包。本書(shū)立