長時間以來人們在處理布爾網(wǎng)絡(luò)方面一直缺乏一個有效的分析和計算工具。自從2000年初程代展等人將半張量積引入到布爾網(wǎng)絡(luò)研究之后,人們對布爾網(wǎng)絡(luò)的認(rèn)識得到了有意義的深入和進(jìn)步。然而,布爾網(wǎng)絡(luò)理論還需要豐富和擴展,有些問題還沒有得到有效解決,例如耦合布爾網(wǎng)絡(luò)的同步化問題。因為在現(xiàn)有的文獻(xiàn)中,關(guān)于帶外部輸入的主-從布爾網(wǎng)絡(luò)同步

本書的主旨是讓讀者掌握IDL語言編程方法，并將其靈活應(yīng)用到具體的遙感問題中去，力求通俗易懂、簡潔明了，注重理論聯(lián)系實際。書中以IDL8.8為基礎(chǔ)，系統(tǒng)地介紹了IDL編程語言及其在遙感相關(guān)領(lǐng)域的實際應(yīng)用。全書分“基礎(chǔ)篇”和“實戰(zhàn)篇”兩篇，共12章，涵蓋了IDL語言概述，IDL語法基礎(chǔ)，IDL編程基礎(chǔ)，數(shù)據(jù)的讀寫操作，圖形

本書基于Python語言，系統(tǒng)地介紹了Selenium與Appium自動化測試的相關(guān)知識及應(yīng)用。 本書共10章，第1章主要講解自動化測試的基礎(chǔ)知識，第2～4章主要講解SeleniumWebDriver的應(yīng)用與App自動化測試；第5～9章主要講解了單元測試框架、PO模式、數(shù)據(jù)驅(qū)動、日志和持續(xù)集成；第10章通過測試一個黑馬

當(dāng)前，大數(shù)據(jù)不僅是推進(jìn)網(wǎng)絡(luò)強國建設(shè)的重要領(lǐng)域，更是新時代加快實體經(jīng)濟(jì)質(zhì)量變革、效率變革、動力變革的戰(zhàn)略依托。《BR》本書首先簡要闡述了大數(shù)據(jù)的概念、特征和主要發(fā)展階段，并對我國的國家和地方大數(shù)據(jù)產(chǎn)業(yè)政策進(jìn)行了詳細(xì)的梳理。在大數(shù)據(jù)技術(shù)章節(jié)，按照數(shù)據(jù)的生命周期對數(shù)據(jù)采集、存儲、計算、管理、應(yīng)用和安全技術(shù)進(jìn)行了簡要的介紹。針

工程控制系統(tǒng)普遍存在干擾現(xiàn)象，這里的干擾不僅包括控制系統(tǒng)的外環(huán)境干擾，也包括控制系統(tǒng)的內(nèi)環(huán)境干擾。本書主要針對控制系統(tǒng)存在的內(nèi)外干擾研究其抗干擾及容錯控制的相關(guān)理論與應(yīng)用，主要從隨機分布系統(tǒng)基于觀測器的概率密度函數(shù)形狀被動容錯控制、主動容錯控制、故障和干擾同時估計，火星探測器進(jìn)入段的姿態(tài)容錯控制，含恒功率負(fù)載的降壓變換

本書為作者多年來在多智能體系統(tǒng)分布式協(xié)同控制領(lǐng)域的研究成果，系統(tǒng)闡述了一致性理論框架下的分布式安全協(xié)同控制與優(yōu)化理論和技術(shù)。全書共9章，以分布式一致性理論作為貫穿全書的核心脈絡(luò)，在給出多智能體系統(tǒng)一致性理論、分布式編隊控制、分布式優(yōu)化博弈問題的研究背景（第一章）以及基礎(chǔ)數(shù)學(xué)知識（第二章）的基礎(chǔ)上，詳細(xì)闡述了全局通信圖信

本書圍繞網(wǎng)絡(luò)社團(tuán)分析方法在情報分析，特別是在合作網(wǎng)絡(luò)和引文網(wǎng)絡(luò)兩大科學(xué)計量學(xué)研究熱點領(lǐng)域的應(yīng)用這一核心問題，對相關(guān)理論、方法和實踐應(yīng)用進(jìn)行了研究，具體包括：網(wǎng)絡(luò)社團(tuán)的概念、典型社團(tuán)劃分算法的理論基礎(chǔ)及其在科學(xué)結(jié)構(gòu)和科研范式研究等方面的應(yīng)用。

本書是作者開展基于工業(yè)大數(shù)據(jù)分析的故障診斷算法設(shè)計及其應(yīng)用研究成果的總結(jié)。全書主要內(nèi)容包括基于統(tǒng)計特征提取的故障檢測方法設(shè)計、知識導(dǎo)引的統(tǒng)計特征抽取和故障診斷方法設(shè)計、基于深度學(xué)習(xí)的頻率類故障診斷、基于多源異構(gòu)數(shù)據(jù)融合的深度學(xué)習(xí)故障診斷算法設(shè)計、基于分級深層神經(jīng)網(wǎng)絡(luò)的多模態(tài)故障診斷算法設(shè)計、基于全局優(yōu)化GAN的非均衡數(shù)

本書以人工智能方法解決博弈對抗問題為主線，介紹策略搜索與機器博弈、機器學(xué)習(xí)與數(shù)據(jù)對抗、強化學(xué)習(xí)與對抗決策、博弈論與均衡策略計算等理論基礎(chǔ)以及其在求解博弈對抗問題中的應(yīng)用，探討人工智能對軍事博弈對抗的影響。

面對數(shù)量龐大、但質(zhì)量參差不齊的云服務(wù)時，如何從中選擇一個滿足應(yīng)用需求并可信的服務(wù)，成為了當(dāng)前可信研究的重要問題。為此，本書圍繞云服務(wù)的可信評估及服務(wù)選擇兩個方面的內(nèi)容展開了研究。主要內(nèi)容包括：①建立云服務(wù)可信評估體系，包括云服務(wù)的可信屬性模型、可信證據(jù)、以及云服務(wù)的分級規(guī)范；②以云服務(wù)可信評估體系為基礎(chǔ)，提出了基于FA