本書(shū)主要介紹Petri網(wǎng)的元展這一用于并發(fā)系統(tǒng)模型檢測(cè)的方法，利用元展檢測(cè)并發(fā)系統(tǒng)健壯性、兼容性與死鎖，并利用元展檢測(cè)能夠表達(dá)更多的并發(fā)系統(tǒng)設(shè)計(jì)需求的計(jì)算樹(shù)邏輯，同時(shí)還探討了健壯性、兼容性、死鎖等判定問(wèn)題的復(fù)雜度。全書(shū)共10章，具有嚴(yán)格的形式化定義、豐富的示例與圖文解釋、嚴(yán)謹(jǐn)?shù)亩ɡ砑捌渥C明，以及清晰的算法描述。

本書(shū)采用案例式學(xué)習(xí)方法，以喵小咪在戶外游玩一天的經(jīng)歷為主線，貫穿不同的場(chǎng)景，用Scratch3.0由淺入深地設(shè)計(jì)了16款互動(dòng)小游戲和小程序。案例循序漸進(jìn)、簡(jiǎn)明易懂，將抽象的編程思想巧妙地穿插在解決實(shí)際問(wèn)題的進(jìn)程中，讓編程的趣味性與知識(shí)性相結(jié)合，符合青少年學(xué)習(xí)的特點(diǎn)。 全書(shū)共17章。第1章帶領(lǐng)讀者認(rèn)識(shí)Scratch3.0

本教材以培養(yǎng)學(xué)生的數(shù)字化學(xué)習(xí)資源的設(shè)計(jì)與制作的相關(guān)知識(shí)和技能為核心，以設(shè)計(jì)實(shí)例為導(dǎo)向，講解圖文設(shè)計(jì)、動(dòng)畫(huà)設(shè)計(jì)和PPT頁(yè)面設(shè)計(jì)的方法和技巧，一共包括9章，分為上中下三篇。上篇是圖文設(shè)計(jì)，共4章，包括圖形圖像數(shù)字化基礎(chǔ)知識(shí)、數(shù)字圖像的設(shè)計(jì)與制作、數(shù)字圖形的繪制以及文字的設(shè)計(jì)與編排；中篇是二維動(dòng)畫(huà)設(shè)計(jì)，共3章，包括動(dòng)畫(huà)場(chǎng)景畫(huà)

本書(shū)共分十三章，以磁場(chǎng)驅(qū)動(dòng)的微納機(jī)器人為核心，從單個(gè)的微納機(jī)器人到微納機(jī)器人集群，涵蓋了當(dāng)前微納機(jī)器人領(lǐng)域的熱點(diǎn)問(wèn)題與最新研究成果。

全書(shū)由主教材和配套習(xí)題與實(shí)驗(yàn)指導(dǎo)組成，主教材三篇分12章，內(nèi)容包括；概述，數(shù)據(jù)類型、運(yùn)算符和表達(dá)式，順序結(jié)構(gòu)，選擇結(jié)構(gòu)，循環(huán)結(jié)構(gòu)，數(shù)組，函數(shù)，指針，編譯預(yù)處理，結(jié)構(gòu)體和共用體，位運(yùn)算，文件�！禕R》習(xí)題與實(shí)驗(yàn)指導(dǎo)分為兩部分，包括要點(diǎn)與例題解析、實(shí)驗(yàn)與指導(dǎo)。其中要點(diǎn)與例題解析包含本章要點(diǎn)、典型例題解析、測(cè)試練習(xí)、測(cè)試練習(xí)

對(duì)于大部分沒(méi)有編程基礎(chǔ)的職場(chǎng)人士來(lái)說(shuō)，在學(xué)習(xí)VBA時(shí)往往會(huì)有很大的畏難情緒。本書(shū)正是針對(duì)這樣的人群，用淺顯易懂的語(yǔ)言和生動(dòng)形象的比喻，并配以大量插畫(huà)，講解ExcelVBA中看似復(fù)雜的概念和代碼。從簡(jiǎn)單的宏錄制與運(yùn)行、VBA編程環(huán)境和基礎(chǔ)語(yǔ)法的介紹，到常用Excel對(duì)象的操作與控制、事件的靈活使用、設(shè)計(jì)自定義的操作界面、

本書(shū)是作者多年從事科研工作積累的成果，系統(tǒng)地介紹了無(wú)人機(jī)動(dòng)力學(xué)的基本理論和控制方法。全書(shū)共分為15章，內(nèi)容包括：緒論；預(yù)備知識(shí)；具有時(shí)變拓?fù)浣Y(jié)構(gòu)的多無(wú)人機(jī)姿態(tài)同步控制；紊流風(fēng)場(chǎng)下基于虛擬結(jié)構(gòu)的多無(wú)人機(jī)編隊(duì)控制；基于RBF神經(jīng)網(wǎng)絡(luò)的多無(wú)人機(jī)編隊(duì)控制；基于自適應(yīng)滑模的多無(wú)人機(jī)編隊(duì)控制；基于非奇異終端滑模的多無(wú)人機(jī)編隊(duì)控制；

SubstancePainter是一套PBR貼圖制作軟件，在這個(gè)軟件中我們可以非常便捷且快速的地通過(guò)PBR材質(zhì)的特性屬性設(shè)置來(lái)制作符合現(xiàn)實(shí)模型材質(zhì)規(guī)律的PBR材質(zhì)貼圖。本書(shū)具體介紹基于使用SubstancePainter/PS制作次時(shí)代場(chǎng)景模型材質(zhì)的實(shí)戰(zhàn)案例，全書(shū)選取了生動(dòng)的實(shí)例進(jìn)行逐步演示和講解。本書(shū)包含7章，分別介

這是一本以漫畫(huà)形式來(lái)展現(xiàn)深?yuàn)W理論的科普書(shū)。本書(shū)以卡通人物形象為主人公，通過(guò)講故事的形式串接內(nèi)容，以多格漫畫(huà)進(jìn)行展現(xiàn)，帶領(lǐng)大家走入神奇的人工智能世界。從印象篇、歷史篇、概念篇、技術(shù)篇、應(yīng)用篇、安全篇、未來(lái)篇、啟示篇多維視角全方位地探索人工智能的神奇與奧妙。人工智能本質(zhì)上是一個(gè)復(fù)雜、動(dòng)態(tài)、關(guān)聯(lián)、深?yuàn)W的知識(shí)體系，是用數(shù)學(xué)方程

本書(shū)提出和闡述集成地理元胞自動(dòng)機(jī)（CA）、多智能體系統(tǒng)（MAS）和群智能（SI）的地理模擬系統(tǒng)（GeographicalSimulationSystem），以解決復(fù)雜的地理格局和過(guò)程模擬的問(wèn)題。本書(shū)首先介紹地理模擬系統(tǒng)的基本概念和空間數(shù)據(jù)輸入的基本方法；接著闡述將CA與GIS結(jié)合起來(lái)對(duì)復(fù)雜資源環(huán)境系統(tǒng)進(jìn)行模擬的一般原理