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

《PremierePro2022視頻編輯實例教程(微課版)》采用“項目引導、任務驅動”的項目化教學編寫方式，從視頻制作中所遇到的實際問題出發(fā)，以軟件使用流程為主線、以案例制作為抓手，由淺入深、循序漸進地介紹Adobe公司經典非線性編輯軟件——中文版PremierePro2022的操作方法和使用技巧。全書體現(xiàn)了“基于工作過程”“教學做一體化”的教學理念和實踐特點。具體內容包括：熟悉PremierePro2022、采集與管理素材、編輯視頻素材、視頻過渡、設置運動效果、使用視頻特效、使用外掛濾鏡、視頻

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

本書是關于現(xiàn)代類型論的專著。與集合論類似，現(xiàn)代類型論是數(shù)學及諸多領域的基礎語言。本書介紹了現(xiàn)代類型論(及其元理論)，并以自然語言語義學和計算機輔助推理為例對以現(xiàn)代類型論為基礎的應用領域進行深入淺出的討論。作為基礎語言，現(xiàn)代類型論一方面提供了豐富的描述機制，另一方面便于理解與實現(xiàn)，因此與集合論相比有著多方面的優(yōu)勢。這些優(yōu)點在實際運用中展示出來：作為范例，書中深入研究了基于現(xiàn)代類型論的自然語言語義學，以加深讀者對此的理解。書中還介紹了以現(xiàn)代類型論為基礎的交互式證明技術在數(shù)學形式化、計算機程序驗證及自

圖神經網絡不僅能夠解決傳統(tǒng)機器學習方法無法解決的圖數(shù)據問題，而且能夠應用于許多實際場景，例如社交網絡、藥物發(fā)現(xiàn)、網絡安全、金融風控等�！秷D神經網絡基礎、模型與應用實戰(zhàn)》旨在為初學者和實踐者提供一個詳細、全面的入門指南，圍繞圖神經網絡基礎、模型、應用實戰(zhàn)（均采用Python+PyTorch實現(xiàn)）等方面進行介紹�！秷D神經網絡基礎、模型與應用實戰(zhàn)》配套示例源碼、數(shù)據集、PPT課件�！秷D神經網絡基礎、模型與應用實戰(zhàn)》共分9章，內容包括圖神經網絡概述、PyTorch開發(fā)環(huán)境搭建、數(shù)據集的獲取與加載、圖神經

工程教育事關國家的競爭力建設。本書是近年來國際工程教育中心承擔中國工程院有關國際工程教育改革與發(fā)展為主題研究的部分重要成果，對我國工程教育服務“一帶一路”倡議、對推動工程教育走向世界，對實施命運共同體建設和人文交流、對探討教育教學改革等具有重要的指導作用。可供高等工程教育研究工作者、大學校長及相關院系專業(yè)管理者、教育行政管理部門領導、高校工程學科和教育學科教師和研究生等專業(yè)人員，以及企業(yè)高層領導者研究與參考。

全球范圍內**程度的合作與共享是推動科技發(fā)展的共同需求。本書分析了科技治理需要的基本原則、制度和協(xié)議，探討了科技倫理治理規(guī)范，為緊密有效的國際合作和負責任地開發(fā)新興技術提供了指導。本書可供高等工程教育研究工作者、大學校長及相關院系專業(yè)管理者、教育行政管理部門領導、高校工程學科教師和研究生等專業(yè)人員，以及企業(yè)高層領導者研究與參考。

本書以智能制造產線為對象，介紹了智能制造產線運行優(yōu)化涉及的關鍵技術:產線狀態(tài)數(shù)據實時采集與云-邊協(xié)同計算技術、產線混合生產任務的集成規(guī)劃與優(yōu)化技術、產線生產物流的主動感知與協(xié)同調度技術、刀具磨損狀態(tài)智能監(jiān)控與壽命預測技術、工件加工質量的誤差分析/溯源與預測技術、復雜數(shù)控加工裝備的健康狀態(tài)綜合評價技術等。這些關鍵技術是實現(xiàn)智能制造產線的重要組成部分，是構建自組織、自學習、自適應、自優(yōu)化生產系統(tǒng)的核心技術。本書可以作為“智能制造類”研究生的選用教材，對學生了解智能車間和智能工廠具有重要的指導作用。

本書是“微處理器原理與接口技術”課程的教材。本書首先通過邏輯的、歷史的脈絡引入計算機系統(tǒng)和微處理器，然后以ARMCM0為對象介紹了微處理器的組成原理和指令集，并介紹了匯編語言編程方法等。在接口技術方面，本書介紹了內部總線AHB�睱ite和SoC的組成方法，并以RP2040芯片為例，介紹了接口常用的GPIO、UART、I2C、SPI、A/D、D/A、定時計數(shù)器等電路原理和編程方法，特別引入了觸摸按鍵、觸摸屏、COB液晶和圖形液晶等的原理介紹和接口方法。本書專辟一章介紹了實時操作系統(tǒng)，并以FreeR

《會計信息化原理與應用：用友U8+V15.0（微課版）》參考1+X“業(yè)財一體信息化應用”職業(yè)技能等級證書考試大綱，結合企業(yè)實際崗位的具體工作內容編寫。本書主要講述會計信息化概論、會計信息系統(tǒng)的建立與運行管理，以及會計軟件應用方法;采用用友新道U8+V15.0作為教學軟件，講述了系統(tǒng)管理與基礎設置、總賬業(yè)務、固足資產業(yè)務、新資亞分、不木購T-剛I)AANM若、記讀者可以業(yè)務、庫存與存貨核算業(yè)務、期末業(yè)務與報表編制的相關知識和操作方法。章末設置“即測即評”模塊，讀者可以通過掃描二維碼，輕松完成在線測