本書面向不確定環境下離散制造企業的生產調度問題,系統闡述了不同類型魯棒機器調度的概念、模型及其求解算法。書中用盡量通俗簡潔的文字對大量概念給出了作者理解的定義,以方便讀者快速了解相關領域。
Altium Designer是深受廣大電路設計工程師喜愛的一款電路設計輔助工具。本書對Altium Designer 23的功能進行了全面翔實的解讀,重點介紹了如何利用Altium Designer 23進行電路原理圖設計、印制電路板(PCB)設計、信號完整性分析以及混合信號仿真。讀者通過閱讀本書不僅能了解Altium Designer 23的**功能,還能掌握EDA設計的通用流程和方法,最終能獨立完成電路設計。在項目實戰部分,本書列舉了三個實戰案例: 初級實戰案例實現了PWM
本書以“大眾創業萬眾創新”為時代背景,結合當前高等院校創新實踐課程,總結基于鴻蒙的開源應用程序的開發方法,給出系統開發鴻蒙應用程序的綜合實際案例。其主要開發方向為智能教育、財務管理、智慧管理、時間應用,案例從系統架構、系統流程、開發環境、開發工具、開發語言、開發實現、測試應用。本書內容由淺入深、先基礎后實踐,基礎知識與實踐案例相結合,以供不同層次的人員需求;同時,本書附贈實際項目的應用實現代碼、視頻講解、原圖、工程文件,供讀者自我學習和自我提高使用。
《Python數據分析與可視化項目實戰》由淺入深地講解了使用Python語言實現大型商業案例項目數據分析的知識,幾乎覆蓋了當今主流的數據分析行業。全書共9章,分別講解了電影產業市場數據分析和可視化系統,電商客戶數據分析和可視化系統,房產信息數據分析和可視化系統,城市智能交通數據分析和可視化系統,NBA球星技術統計信息數據分析和可視化系統,股票數據分析和可視化系統,民宿信息數據分析和可視化系統,足球數據可視化分析和機器學習預測系統,網絡輿情數據分析和可視化系統等。《Python數據分析與可
本書介紹了基于認知邏輯的密碼協議分析。從密碼協議的邏輯分析講起,介紹密碼學的基礎知識、認知邏輯基礎理論,到用認知中的行為、行為模型以及時態認知邏輯分析具體的密碼協議,以具體實例闡述了用動態認知邏輯的理論來分析密碼協議的安全性。本書內容的編排由淺入深層層展開,適合各層次的讀者參閱,可為密碼協議分析和網絡安全提供一定的理論與技術支撐。本書可供相關專業的教師、科研人員或工程技術人員參考,也可供高等院校計算機科學與技術、網絡空間安全、通信工程以及邏輯學等專業高年級本科生和研究生學習使用。
OpenHarmony輕量系統入門到精通50例是一門以案例驅動學習的教材,本書基本覆蓋了OpenHarmony輕量系統所有的知識點。由淺入深系統地講解了OpenHarmony所有的知識點。其中第1章是本書的準備階段,介紹OpenHarmony及開發環境的搭建、應用模塊開發及啟動流程分析;第二章以有趣的小案例講解OpenHarmony輕量系統中常用系統接口,如任務(可以理解為線程)、互斥鎖、軟件定時器、中斷機制、內存管理;第3章以豐富的外設案例講解OpenHarmony輕量級系統的設備接口,如GP
本書針對可逆信息隱藏技術存在的問題提出了解決信息隱藏過程中抗干擾的具體方法,建立了在信息隱藏過程中隱秘圖像發生嵌入失真的數學模型,分析了信息隱藏過程中出現的上溢和下溢機理,提出了相應的解決方法,構造出更為陡峭的誤差差分分布直方圖模型。書中主要介紹以下5方面內容:基于有效位差分擴展的可逆信息隱藏算法、基于左右平移的大嵌入容量可逆信息隱藏算法、基于雙向差分擴展的可逆信息隱藏算法、一種有效的無移位的多位可逆信息隱藏算法及基于二階差分的新型大嵌入容量可逆信息隱藏算法。
反應式和并發系統指實時運行的計算系統,如操作系統、控制系統、交互系統和并發系統。這些系統很難規約、實現和驗證,主要原因是系統與其環境之間及系統本身的并行進程之間交互的復雜性,在交互時間上的微小變化可能導致完全不同的行為。時序邏輯是一種形式化規約語言,可用于刻畫和分析反應式系統中有關時間和行為方面的屬性。它提供了一種簡單、自然但精確的方式來討論交互發生的順序,而無須采用絕對時間度量。本書全面介紹了時序邏輯和作者開發的反應式程序的計算模型。本書是國際著
本書聚焦深度學習算法的基礎理論和核心算法,全面系統地論述深度學習的基礎理論,兼顧人工智能數學基礎知識與領域**原創基礎理論,構建脈絡清晰的人工智能理論體系。本書首先介紹了深度學習的相關數學基礎,主要包括線性代數、概率論、信息論三部分;緊接著系統地介紹了深度學習的重點內容,主要分為五方面,即深度學習的逼近理論,深度學習的表征理論,深度學習的學習理論,深度學習的優化理論,深度學習的核心算法。
本課程系統地介紹了算法分析與算法設計的概念、方法和應用。課程共分12章,涵蓋的內容包括數據結構、串與序列、動態規劃、貪心算法、圖算法、概率算法、查找與排序算法等內容。課程采用工程問題導引、反向設計的方式組織教學內容,基于經典算法問題案例完成對算法基本理論、采用的基本數據結構、算法的性能等內容的學習與分析,并完成算法的實踐,突出對學生知識應用能力和工程實踐能力的培養。在課程每章的每小節提供練習題和思考題供課后復習,針對每章提供實驗和案例,供課后實踐和擴展提高,提供全套課程資源輔助教師教學和學生學習