本書(shū)幾乎涵蓋使用SystemVerilog在RTL層面對(duì)ASIC和FPGA進(jìn)行建模的所有方面，旨在為數(shù)字IC設(shè)計(jì)工程師提供全面的學(xué)習(xí)與參考資料。本書(shū)基于SystemVerilog-2017標(biāo)準(zhǔn)，首先闡述SystemVerilog與傳統(tǒng)Verilog的區(qū)別，以及其在仿真和綜合中的作用，并對(duì)RTL和門(mén)級(jí)建模等抽象級(jí)別進(jìn)行定

本書(shū)介紹面向任務(wù)的變胞機(jī)構(gòu)系統(tǒng)動(dòng)態(tài)性能設(shè)計(jì)理論與方法，基于變胞機(jī)構(gòu)的優(yōu)點(diǎn)，以自動(dòng)化生產(chǎn)線(xiàn)中碼垛機(jī)器人為應(yīng)用背景，將面向任務(wù)的變胞機(jī)構(gòu)運(yùn)動(dòng)學(xué)、尺度優(yōu)化、軌跡規(guī)劃、動(dòng)力學(xué)、動(dòng)態(tài)穩(wěn)定性、可靠性等方面的研究進(jìn)行有機(jī)整合。全書(shū)共8章，主要涉及變胞機(jī)器人機(jī)構(gòu)設(shè)計(jì)與尺度優(yōu)化、變胞機(jī)器人軌跡規(guī)劃、變胞機(jī)構(gòu)系統(tǒng)動(dòng)力學(xué)建模與模型解析、變胞

量子線(xiàn)路映射及優(yōu)化是量子算法部署到量子計(jì)算設(shè)備的關(guān)鍵環(huán)節(jié)。本書(shū)主要研究滿(mǎn)足量子計(jì)算設(shè)備物理約束的量子線(xiàn)路變換和映射問(wèn)題。在給出量子線(xiàn)路映射的發(fā)展歷史和相關(guān)預(yù)備知識(shí)的基礎(chǔ)上，把研究?jī)?nèi)容分為上下兩篇：上篇聚焦于量子線(xiàn)路邏輯變換，主要探討如何將可逆/量子線(xiàn)路轉(zhuǎn)換為滿(mǎn)足量子計(jì)算設(shè)備物理約束的低級(jí)量子線(xiàn)路，包括可逆/量子線(xiàn)路變換

本書(shū)從數(shù)據(jù)驅(qū)動(dòng)決策與最優(yōu)化角度出發(fā)，深入細(xì)致地闡述不確定環(huán)境下選址決策與優(yōu)化問(wèn)題中面臨的一系列挑戰(zhàn)，并提出相應(yīng)的數(shù)據(jù)驅(qū)動(dòng)魯棒選址優(yōu)化建模方法。主要內(nèi)容包括基于有限概率分布信息的數(shù)據(jù)驅(qū)動(dòng)（分布）魯棒選址優(yōu)化方法、基于決策依賴(lài)型結(jié)構(gòu)化數(shù)據(jù)驅(qū)動(dòng)（分布）魯棒選址優(yōu)化方法以及基于時(shí)間序列預(yù)測(cè)模型的多階段（分布）魯棒選址優(yōu)化方法等

本書(shū)依據(jù)IOI大綱編寫(xiě)，旨在提供一份全面的現(xiàn)代算法競(jìng)賽入門(mén)指南。本書(shū)介紹僅在論壇和博客文章中討論的算法競(jìng)賽技巧，內(nèi)容包括遞歸算法和位運(yùn)算、時(shí)間復(fù)雜度、排序算法和二分查找、數(shù)據(jù)結(jié)構(gòu)、動(dòng)態(tài)規(guī)劃、圖論算法、算法設(shè)計(jì)專(zhuān)題、區(qū)間查詢(xún)、樹(shù)上算法、數(shù)學(xué)專(zhuān)題、高級(jí)圖算法、計(jì)算幾何、字符串算法、根號(hào)分治技術(shù)、動(dòng)態(tài)規(guī)劃優(yōu)化、回溯技術(shù)、如何

本書(shū)系統(tǒng)性地介紹非線(xiàn)性系統(tǒng)事件觸發(fā)控制的理論和方法，涵蓋事件觸發(fā)采樣機(jī)制和事件觸發(fā)控制器設(shè)計(jì)兩個(gè)方面，兼顧自觸發(fā)控制和周期采樣控制的相關(guān)研究，并將數(shù)值仿真和物理實(shí)驗(yàn)驗(yàn)證相結(jié)合，涉及嚴(yán)格反饋型系統(tǒng)、輸出反饋型系統(tǒng)、非完整鏈?zhǔn)较到y(tǒng)以及移動(dòng)機(jī)器人等多種被控對(duì)象。本書(shū)大部分內(nèi)容是作者近年來(lái)的研究結(jié)果。作者在本書(shū)撰寫(xiě)過(guò)程中盡量降

本書(shū)主要論述自抗擾控制器設(shè)計(jì)方法、參數(shù)整定規(guī)則及其在能源動(dòng)力控制系統(tǒng)中的仿真模擬與現(xiàn)場(chǎng)試驗(yàn)。本書(shū)在理論分析的基礎(chǔ)上，通過(guò)大量仿真實(shí)驗(yàn)詳盡地討論了自抗擾控制的應(yīng)用，主要包括單變量與多變量系統(tǒng)的控制器設(shè)計(jì)與參數(shù)整定，氣化爐、鍋爐、汽輪機(jī)、發(fā)電機(jī)、飛行器、水輪發(fā)電機(jī)組、分布式能源系統(tǒng)等實(shí)際對(duì)象控制的仿真模擬，以及火電機(jī)組控制

本書(shū)介紹了Hadoop生態(tài)系統(tǒng)架構(gòu)功能與原理；分布式文件系統(tǒng)HDF-SHDFS；MapReduce編程模型及應(yīng)用開(kāi)發(fā)；YARN原理及配置；Hadoop偽分布式環(huán)境的搭建與配置測(cè)試；Hadoop完整分布式的集群配置搭建；Zookeeper分布式協(xié)作框架；HDFSHA原理功能與配置測(cè)試；ResourceManagerHA原

編譯系統(tǒng)是計(jì)算機(jī)系統(tǒng)中的系統(tǒng)軟件，是軟件開(kāi)發(fā)環(huán)境的核心組成部分。本書(shū)介紹編譯系統(tǒng)的結(jié)構(gòu)、工作流程及編譯程序各組成部分的設(shè)計(jì)原理和實(shí)現(xiàn)技術(shù)。作者遵循CDIO工程教育理念將全書(shū)內(nèi)容分為四篇，第1篇構(gòu)思（Conceive），包括編譯程序概論、文法和語(yǔ)言；第2篇設(shè)計(jì)（Design），包括詞法分析、自頂向下語(yǔ)法分析、自底向上語(yǔ)法