本書系統(tǒng)地介紹了形式化驗證的概念和原理，通過豐富的實例生動地展示了形式化驗證所需的TCL和SVA語言語法規(guī)則。書中以目前廣泛采用的RISC-V架構(gòu)為例，借助新思科技的VCFormal形式化驗證工具，全面展示了該工具中常用應(yīng)用的使用方法、常見問題及其解決方案，為讀者提供了從基礎(chǔ)知識到高級應(yīng)用的學(xué)習(xí)途徑，幫助廣大的IC工程

本書將傳統(tǒng)的“電工電子技術(shù)”課程教學(xué)內(nèi)容分解整合為13個項目，即汽車信號燈電路的安裝與測試、電橋電路的安裝與測試、延時開關(guān)電路的設(shè)計與安裝、家庭配電線路的設(shè)計與安裝、變壓器的設(shè)計與制作、三相異步電動機控制電路的分析與測試、直流穩(wěn)壓電源的制作與檢測、擴音機電路的安裝與調(diào)試、電冰箱冷藏室溫控器的安裝與調(diào)試、三人表決器電路的

全書共9章，包括緒論、電化學(xué)儲能基礎(chǔ)、鋰離子電池、鈉離子電池、氧化還原液流電池、鉛酸電池、液態(tài)金屬電池、全固態(tài)電池和新型電化學(xué)儲能電源。

本書系統(tǒng)地介紹了血培養(yǎng)儀質(zhì)量控制的相關(guān)技術(shù)。其主要內(nèi)容包括血培養(yǎng)技術(shù)與血培養(yǎng)儀、血培養(yǎng)儀的使用與管理、血培養(yǎng)儀的校準(zhǔn)及性能驗證與期間核查、血培養(yǎng)儀的操作與異常情況分析。本書將血培養(yǎng)技術(shù)，血培養(yǎng)儀的構(gòu)成、應(yīng)用分析、使用、應(yīng)急管理、質(zhì)量控制、生物安全防護、維護保養(yǎng)與維修、校準(zhǔn)確認(rèn)、性能驗證、期間核查等內(nèi)容進行了有機融合，并

本書在介紹智能制造基本概念的基礎(chǔ)上，概要介紹了包含流程制造業(yè)與離散制造業(yè)智能制造中的自動化、安全與通信技術(shù)，重點闡述了PLC程序設(shè)計與人機界面開發(fā)技術(shù)，給出了具體的應(yīng)用案例。對羅克韋爾自動化公司的Micro800系列PLC的硬件與網(wǎng)絡(luò)、CCW編程軟件與編程語言、指令系統(tǒng)、PLC程序設(shè)計與人機界面進行了詳細(xì)介紹。通過對應(yīng)

本書分為液壓傳動和氣壓傳動兩個模塊，其中液壓傳動部分主要內(nèi)容包括液壓傳動概述，液壓傳動基礎(chǔ)知識，液壓動力元件，液壓執(zhí)行元件，液壓控制元件，液壓輔助元件，液壓基本回路，典型液壓系統(tǒng)分析，現(xiàn)代液壓技術(shù)，液壓系統(tǒng)設(shè)計與仿真，液壓系統(tǒng)的使用、維護與故障診斷等學(xué)習(xí)單元；氣壓傳動部分主要內(nèi)容包括氣壓傳動概述、氣動動力元件和輔助元件

本書主要內(nèi)容包括工程圖學(xué)的基本知識、正投影基礎(chǔ)、基本立體的視圖、截交線和相貫線、組合體的視圖、軸測圖、機械零件的表達(dá)方法、標(biāo)準(zhǔn)件與常用件、零件圖、機械圖樣的技術(shù)要求、裝配圖，內(nèi)容由淺入深、循序漸進，題型豐富、難易適當(dāng)，融理論與實踐于一體，注重繪圖基本功的訓(xùn)練、視圖投影規(guī)律的理解與應(yīng)用、零件表達(dá)方法的應(yīng)用，并結(jié)合工程實踐

全書分為四個部分：第一部分為幾何量精度設(shè)計基礎(chǔ)，包括緒論、尺寸精度、幾何精度和表面粗糙度；第二部分為典型零件幾何量精度設(shè)計，包括滾動軸承、普通螺紋、平鍵和花鍵、漸開線圓柱齒輪等；第三部分為幾何量檢測，包括測量技術(shù)基礎(chǔ)、幾何量檢測綜述和孔、軸尺寸檢驗及光滑極限量規(guī)設(shè)計；第四部分為幾何量精度設(shè)計與檢測的綜合示例。書中植入3

本書系統(tǒng)地介紹拋丸機現(xiàn)代制造技術(shù)的書籍。作者從拋丸機清理強化工藝要求、拋丸機部件構(gòu)成、種類與結(jié)構(gòu)設(shè)計、加工制造技術(shù)、控制系統(tǒng)、安裝與維護、典型拋丸機清理的解決方案、拋丸機結(jié)構(gòu)與工藝數(shù)據(jù)管理平臺等方面，分9章闡述了拋丸機技術(shù)的最新發(fā)展動態(tài)和實際應(yīng)用案例。通過閱讀此書，讀者可以全面了解拋丸機技術(shù)的理論知識和實踐經(jīng)驗。

本書介紹了作者團隊20余年來在激光定向能量沉積技術(shù)領(lǐng)域的研究成果，包括設(shè)備研制、工藝開發(fā)、材料表征與力學(xué)性能、檢測與控制、制造及應(yīng)用等內(nèi)容。書中介紹了激光定向能量沉積技術(shù)的原理、特點與作用，闡述了激光定向能量沉積的設(shè)備研制，按照工藝流程論述了激光定向能量沉積技術(shù)的前處理、工藝開發(fā)及后處理，闡明了激光定向能量沉積零件的組