本書(shū)是關(guān)于非線性系統(tǒng)故障可診斷性評(píng)價(jià)與診斷方法的一本專(zhuān)著，主要匯集了作者近年來(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)的方法共分為三篇，分別包括：故障可診斷性評(píng)價(jià)與設(shè)計(jì)、非線性系統(tǒng)故障診斷方法以及故障可診斷性評(píng)價(jià)和診斷方法在電源車(chē)系統(tǒng)中的應(yīng)用。本書(shū)可作為控制科學(xué)與工程學(xué)科研究人員的參考書(shū)籍，同時(shí)對(duì)從事自動(dòng)化系統(tǒng)研究、設(shè)計(jì)、

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

主要內(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í)際討論。●gRPC和并發(fā)的基本原理。●在Go語(yǔ)言中設(shè)計(jì)和開(kāi)發(fā)API的基礎(chǔ)知識(shí)。

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

圖神經(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)行介紹。《圖神經(jīng)網(wǎng)絡(luò)基礎(chǔ)、模型與應(yīng)用實(shí)戰(zhàn)》配套示例源碼、數(shù)據(jù)集、PPT課件�！秷D神經(jīng)網(wǎng)絡(luò)基礎(chǔ)、模型與應(yīng)用實(shí)戰(zhàn)》共分9章，內(nèi)容包括圖神經(jīng)網(wǎng)絡(luò)概述、PyTorch開(kāi)發(fā)環(huán)境搭建、數(shù)據(jù)集的獲取與加載、圖神經(jīng)

工程教育事關(guān)國(guó)家的競(jìng)爭(zhēng)力建設(shè)。本書(shū)是近年來(lái)國(guó)際工程教育中心承擔(dān)中國(guó)工程院有關(guān)國(guó)際工程教育改革與發(fā)展為主題研究的部分重要成果，對(duì)我國(guó)工程教育服務(wù)“一帶一路”倡議、對(duì)推動(dòng)工程教育走向世界，對(duì)實(shí)施命運(yùn)共同體建設(shè)和人文交流、對(duì)探討教育教學(xué)改革等具有重要的指導(dǎo)作用�？晒└叩裙こ探逃�研究工作者、大學(xué)校長(zhǎng)及相關(guān)院系專(zhuān)業(yè)管理者、教育行政管理部門(mén)領(lǐng)導(dǎo)、高校工程學(xué)科和教育學(xué)科教師和研究生等專(zhuān)業(yè)人員，以及企業(yè)高層領(lǐng)導(dǎo)者研究與參考。

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

本書(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í)現(xiàn)智能制造產(chǎn)線的重要組成部分，是構(gòu)建自組織、自學(xué)習(xí)、自適應(yīng)、自優(yōu)化生產(chǎn)系統(tǒng)的核心技術(shù)。本書(shū)可以作為“智能制造類(lèi)”研究生的選用教材，對(duì)學(xué)生了解智能車(chē)間和智能工廠具有重要的指導(dǎo)作用。

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

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