本書主要介紹原型Petri網(wǎng)、知識(shí)Petri網(wǎng)、帶有優(yōu)先級(jí)的時(shí)間Petri網(wǎng)，用于對(duì)有限狀態(tài)并發(fā)系統(tǒng)控制流、安全多方計(jì)算協(xié)議、多處理器搶占式實(shí)時(shí)系統(tǒng)等在一定層級(jí)上的抽象建模，如刻畫并發(fā)、選擇、沖突、多方交互、多方認(rèn)知過(guò)程、（搶占式）資源分配、事件的實(shí)時(shí)性約束等。本書介紹的計(jì)算樹邏輯、知識(shí)計(jì)算樹邏輯、時(shí)間計(jì)算樹邏輯等可以

本書圍繞如何提高導(dǎo)彈打擊精度及如何評(píng)估導(dǎo)彈打擊精度兩個(gè)問(wèn)題，系統(tǒng)闡述了影響導(dǎo)彈打擊精度的各種誤差因素的特點(diǎn)、傳播規(guī)律及辨識(shí)方法，深入討論了精度評(píng)估中的具體問(wèn)題及解決方法。第1章為緒論；第2章介紹了精度指標(biāo)的定義與計(jì)算方法；第3章主要討論了各種誤差因素的特點(diǎn)及對(duì)彈道參數(shù)的影響規(guī)律；第4章主要討論了慣性導(dǎo)航系統(tǒng)地面測(cè)試標(biāo)定

本書以淮北煤田臨渙礦區(qū)許疃礦井新近系松散層底部含水層（簡(jiǎn)稱“底含”）為研究對(duì)象，采用理論分析、數(shù)理統(tǒng)計(jì)、室內(nèi)試驗(yàn)、數(shù)值模擬、相似材料模擬、現(xiàn)場(chǎng)實(shí)測(cè)等方法，系統(tǒng)研究了“底含”沉積特征，劃分了“底含”沉積（微）相及其沉積演化階段，建立了沉積控水模式，并對(duì)“底含”富水性進(jìn)行了精細(xì)分區(qū)與評(píng)價(jià)；開展了松散含水層下含斷層覆巖采動(dòng)破

本書從環(huán)境作用下的混凝土力學(xué)作用機(jī)理出發(fā)，重點(diǎn)闡述硫酸鹽和凍融循環(huán)作用下混凝土的物理/化學(xué)-等效轉(zhuǎn)化的基本理論、嚴(yán)酷環(huán)境下鋼筋混凝土壽命預(yù)測(cè)與耐久性設(shè)計(jì)方法。全書共6章，主要內(nèi)容涵蓋現(xiàn)代混凝土微結(jié)構(gòu)演變的量化、硫酸鹽在混凝土中的傳輸-反應(yīng)-填充-膨脹過(guò)程的規(guī)律演變、混凝土在硫酸鹽侵蝕下的化學(xué)-力學(xué)效應(yīng)等效轉(zhuǎn)化理論及方法

本書圍繞Kubernetes云原生數(shù)據(jù)基礎(chǔ)設(shè)施，介紹了如何通過(guò)Kubernetes管理數(shù)據(jù)存儲(chǔ)，如何通過(guò)Helm和Operator在Kubernetes上自動(dòng)部署和管理數(shù)據(jù)庫(kù)，闡述了數(shù)據(jù)流式傳輸和數(shù)據(jù)分析的過(guò)程，探討了在機(jī)器學(xué)習(xí)及其他新興用例中如何使用Kubernetes云原生數(shù)據(jù)等。本書不僅深入闡述了云原生基礎(chǔ)設(shè)施的

一圖勝千言，前沿科學(xué)可視化是科學(xué)研究自身表達(dá)的內(nèi)在需要，是促進(jìn)科學(xué)成果走向大眾的重要載體，也是科學(xué)技術(shù)與人文藝術(shù)交融的創(chuàng)新成果。本書基于作者十余年深耕于前沿科學(xué)可視化領(lǐng)域的120余項(xiàng)原創(chuàng)案例分析及系統(tǒng)研究，從計(jì)算機(jī)圖形學(xué)、認(rèn)知心理學(xué)、科技哲學(xué)、視覺(jué)傳達(dá)和新聞傳播等多學(xué)科交叉角度，深入探討前沿科學(xué)可視化的理論與應(yīng)用，內(nèi)容

本書是2020-2022年出版專著《電磁場(chǎng)廣義互易定理》《電磁場(chǎng)互易定理一般形式》的續(xù)集，借鑒電磁場(chǎng)領(lǐng)域的相關(guān)研究方法，提出并推導(dǎo)了聲場(chǎng)動(dòng)量型互易方程，繼而導(dǎo)出了聲場(chǎng)互易方程的一般形式，并將電磁場(chǎng)和聲場(chǎng)統(tǒng)一寫成四元數(shù)互易方程的一般形式。

本書系統(tǒng)闡述了風(fēng)力機(jī)空氣動(dòng)力性能的主流計(jì)算方法。首先介紹了與風(fēng)力機(jī)有關(guān)的空氣動(dòng)力學(xué)基礎(chǔ)理論，然后詳細(xì)論述了葉素動(dòng)量方法、渦尾跡方法和計(jì)算流體力學(xué)方法，給出了方法介紹、公式推導(dǎo)、計(jì)算流程和算例分析。這三種計(jì)算方法是風(fēng)力機(jī)空氣動(dòng)力學(xué)從工程計(jì)算到理論研究的重要工具，相關(guān)論述具有突出的理論和實(shí)踐意義。

本書首先對(duì)智能經(jīng)濟(jì)的反饋路徑以及發(fā)展脈絡(luò)進(jìn)行了總結(jié)梳理，借助價(jià)值創(chuàng)造理論進(jìn)行分析，總結(jié)出智能企業(yè)運(yùn)算智能、感知智能、認(rèn)知智能三個(gè)階段，并據(jù)此分析了人工智能技術(shù)應(yīng)用在智能經(jīng)濟(jì)中發(fā)揮的關(guān)鍵作用。其次，本書根據(jù)商業(yè)模式理論比較了互聯(lián)網(wǎng)時(shí)代和智能時(shí)代的商業(yè)邏輯，指出互聯(lián)網(wǎng)時(shí)代以流量變現(xiàn)的邏輯為主，而數(shù)據(jù)增值則是智能經(jīng)濟(jì)時(shí)代價(jià)值

Go語(yǔ)言"入門易，精通難”。想要用Go語(yǔ)言寫出優(yōu)質(zhì)的軟件，不僅要了解Go語(yǔ)言的語(yǔ)法，還需要對(duì)Go語(yǔ)言的特性、軟件的通用編寫方法、軟件項(xiàng)目的組織方法、并發(fā)程序設(shè)計(jì)、軟件測(cè)試、軟件性能優(yōu)化等方面都有一定的了解。本書既聚焦于Go語(yǔ)言，又不限于Go語(yǔ)言，介紹了開發(fā)者在使用Go語(yǔ)言時(shí)經(jīng)常犯的100個(gè)經(jīng)典錯(cuò)誤，內(nèi)容側(cè)重于語(yǔ)言核心和