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

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

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

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

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

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

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

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

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

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