本書結合作者多年的工作與學習經驗,力求將TVM基礎理論與案例實踐融合在一起進行詳細講解。全書共9章,包括TVM基本知識,使用TVM開發,算子融合與圖優化,TVM量化技術,TVM優化調度,RelayIR,代碼生成,后端部署與OpenCL(Open Computing Language,開放運算語言),自動調度、自動搜索與成本模型。各章除了包含重要的知識點和實踐技能外,還配備了精心挑選的典型案例。
本書遵循理論與實踐相結合的原則,由淺入深地介紹了物聯網安全滲透測試技術。本書首先介紹物聯網的基礎知識,之后依次介紹Web應用安全、物聯網通信安全、物聯網終端設備安全、移動安全的知識。為幫助讀者更加透徹地理解物聯網安全滲透測試的原理與防御手段,每章均配合安全環境中運行的案例進行講解,并給出了對應的防御方案。
本書分為四部分:第一部分簡要介紹精益設計及其基本原則;第二部分介紹精益設計畫布,并用8章對畫布的8個步驟進行逐一說明;第三部分深入探討設計師與其他業務部門之間的合作,并介紹了一些工具和案例分析,將設計沖刺、設計系統和精益設計的合作研究等流行的工作方式結合起來;第四部分探討如何將精益設計融入組織。
本書共9章,利用易學易用的Stable Diffusion為繪畫設計從業者和愛好者提高生產力。一方面,提供350幅實操圖解,一步步拆解,讓讀者掌握接到不同需求時如何使用StableDiffusion出圖。另一方面,提供游戲、電商、插畫、建筑行業和頭像設計等副業領域的實操案例與技巧,滿足游戲角色、原畫、圖標、商品展示圖、插畫、室內設計和建筑設計的出圖需求。
本書共分為10章,主要介紹Redis的各種特性、核心技術及高級應用。第1章介紹了Redis 6.0的新特性和入門知識。第2章詳細分析Redis的基礎數據結構,包括對象、字符串、列表、字典、集合和有序集合。第3章介紹stream的底層實現。第4章介紹Redis啟動流程。第5章詳細介紹服務端處理客戶端命令請求的流程。第6章主要介紹持久化(RDB和AOF)的實現原理。第7章介紹Redis的主從復制功能的實現原理。第8章主要介紹Redis哨兵的原理與實現。第9章詳細介紹Redis高可用集群方案
本書主要介紹原型 Petri 網、知識 Petri 網、帶有優先級的時間 Petri網,用于對有限狀態并發系統控制流、安全多方計算協議、多處理器搶占式實時系統等在一定層級上的抽象建模,如刻畫并發、選擇、沖突、多方交互、多方認知過程、(搶占式)資源分配、事件的實時性約束等。本書介紹的計算樹邏輯、知識計算樹邏輯、時間計算樹邏輯等可以用于規約這些系統所關注的設計需求,如無死鎖、公平性、隱私性、可調度性、最壞執行時間等。本書重點介紹使用這些 Petri 網模型驗證以上時序邏輯的算法。另外,本書介紹簡化有
讓計算機自動處理文字一直以來都是我們工作中的重要訴求,而文字的表現形式是多樣的,目前,單純使用自然語言處理技術已無法滿足復雜的實際工作場景的需求。本書詳細介紹了達觀數據多年來在智能文本處理領域的實戰經驗,從核心技術、相關產品、行業場景案例等多角度出發,幫助讀者全面理解智能文本處理技術的意義和價值。全書分為三大部分:第一部分介紹智能文本處理的基礎知識、意義和相關核心技術;第二部分介紹智能文本處理項目實施經驗以及在不同場景和產品中的應用;第三部分總結達觀智能文本處理技術與不同行業場景的結合,供各行業
本書是全國計算機專業技術資格考試辦公室編寫的《系統集成項目管理工程師考試大綱》(2023年審定通過)。本書還包括人力資源和社會保障部、工業和信息化部的有關文件以及考試簡介。《系統集成項目管理工程師考試大綱》是針對全國計算機技術與軟件專業技術資格(水平)考試的中級資格制定的。通過本考試的考生,可被用人單位擇優聘任為工程師。
本書全面介紹了Cinema 4D各項核心技術及其實戰應用,共12章。首先講解了Cinema 4D的基礎操作,然后講解了多種建模技術,接著講解了Cinema 4D的燈光、環境、攝像機、材質、紋理和渲染技術等,之后講解了Octane Render的使用方法,最后通過16個商業實戰案例講解了海報設計、包裝設計、插畫設計、卡通角色與場景設計、產品渲染表現的技法。本書內容全面系統,適合平面設計師、電商設計師,以及使用Octane Render的設計師閱讀。同時,本書也可以作為相關培訓機構的教材。
本書主要從實戰角度講述了如何處理、分析和可視化數據,如何用數據建立各種統計學或機器學習模型。本書首先介紹如何使用Python代碼獲取、轉換和分析數據;接著講述如何使用Python中的數據結構和第三方庫;然后展示如何以各種格式加載數據,如何對數據進行分組與匯總,如何創建圖表和可視化數據;最后討論如何解決實際的問題。 本書適合希望使用Python處理和分析數據的開發人員閱讀,也可供計算機相關專業的師生參考。