本書(shū)提出了一種基于形式化模型的嚴(yán)密的系統(tǒng)設(shè)計(jì)方法，闡述了嚴(yán)密系統(tǒng)設(shè)計(jì)方法的基本原理，介紹了嚴(yán)密系統(tǒng)設(shè)計(jì)框架BIP的建模語(yǔ)言、形式語(yǔ)義及其工具鏈。自主系統(tǒng)作為人工智能技術(shù)應(yīng)用落地的重要形態(tài)，討論了自主系統(tǒng)設(shè)計(jì)的趨勢(shì)和挑戰(zhàn)，闡述了一種集成模型驅(qū)動(dòng)方法與數(shù)據(jù)驅(qū)動(dòng)方法的思路，并提出了一種新的基于替換測(cè)試的智能測(cè)試方法，用以判斷

《線性系統(tǒng)的多級(jí)時(shí)間尺度反饋控制及其在燃料電池中的應(yīng)用》主要介紹了連續(xù)和離散時(shí)間域的兩級(jí)反饋控制器設(shè)計(jì)算法，包括一般線性時(shí)不變動(dòng)態(tài)系統(tǒng)的設(shè)計(jì)公式和代數(shù)方程，對(duì)雙時(shí)間尺度線性時(shí)不變動(dòng)態(tài)系統(tǒng)（奇異攝動(dòng)系統(tǒng)）進(jìn)行了簡(jiǎn)化和專門研究，對(duì)一般線性時(shí)不變動(dòng)態(tài)系統(tǒng)的連續(xù)時(shí)間域三級(jí)反饋控制器設(shè)計(jì)也作了相應(yīng)的介紹．《線性系統(tǒng)的多級(jí)時(shí)間尺度

隨著互聯(lián)網(wǎng)的普及，合作共贏成了一個(gè)越來(lái)越受重視的話題。一些成熟的互聯(lián)網(wǎng)企業(yè)，需要與眾多的第三方企業(yè)進(jìn)行合作，以便為自己的用戶提供豐富的個(gè)性化應(yīng)用。在這個(gè)過(guò)程中，企業(yè)需要將自身的一些能力(API)開(kāi)放給第三方合作企業(yè)，具體的實(shí)現(xiàn)形式一般是搭建一個(gè)專門的開(kāi)放平臺(tái)系統(tǒng)。無(wú)論企業(yè)通過(guò)何種方式來(lái)開(kāi)放自身的能力，授權(quán)都是一個(gè)繞不開(kāi)

本書(shū)由淺入深地介紹了如何快速搭建Airflow集群，包括不同操作系統(tǒng)的快速搭建方法、Airflow的安裝方法、Airflow集群的部署方法、Airflow中的核心概念和其他重要概念、Airflow的架構(gòu)和組件、Airflow的系統(tǒng)管理、實(shí)踐經(jīng)驗(yàn)以及其他常見(jiàn)的調(diào)度系統(tǒng)。附錄提供了Docker和Kubernetes的簡(jiǎn)介。

全球互聯(lián)網(wǎng)治理體系變革進(jìn)入關(guān)鍵時(shí)期，構(gòu)建網(wǎng)絡(luò)空間命運(yùn)共同體日益成為國(guó)際社會(huì)的廣泛共識(shí)。面對(duì)新形勢(shì)、新挑戰(zhàn)，針對(duì)我國(guó)網(wǎng)絡(luò)安全工作存在的諸多問(wèn)題等問(wèn)題，賽迪智庫(kù)網(wǎng)絡(luò)安全研究所開(kāi)展了全方位、多角度的研究。本書(shū)全面、系統(tǒng)、客觀地概括了2019年全球網(wǎng)絡(luò)安全戰(zhàn)略規(guī)劃、法律法規(guī)、安全管理、數(shù)據(jù)治理、新興技術(shù)應(yīng)用、國(guó)際合作等方面的發(fā)

本書(shū)詳細(xì)介紹了面向靜態(tài)數(shù)據(jù)庫(kù)、增量數(shù)據(jù)庫(kù)和數(shù)據(jù)流的高效用模式挖掘的理論和方法。本書(shū)主要內(nèi)容包括六個(gè)章節(jié)，前兩章介紹高效用模式挖掘的相關(guān)知識(shí)。第三章介紹面向靜態(tài)數(shù)據(jù)庫(kù)包含正、負(fù)效用的兩類精簡(jiǎn)高效用模式挖掘方法的研究與實(shí)現(xiàn)過(guò)程。第四章介紹針對(duì)增量數(shù)據(jù)庫(kù)的挖掘高效用模式全集和精簡(jiǎn)集合算法的研究。第五章介紹面向數(shù)據(jù)流的精簡(jiǎn)高效

本書(shū)從信息技術(shù)基礎(chǔ)知識(shí)+拓展提升模塊入手組織內(nèi)容，主要包括計(jì)算機(jī)基礎(chǔ)知識(shí)、Windows10操作系統(tǒng)的使用、計(jì)算機(jī)網(wǎng)絡(luò)基礎(chǔ)、辦公軟件、多媒體技術(shù)基礎(chǔ)知識(shí)、信息安全、新一代信息技術(shù)等。

本書(shū)詳細(xì)介紹了工業(yè)機(jī)器人精度補(bǔ)償?shù)幕�礎(chǔ)理論和關(guān)鍵技術(shù)，闡述了機(jī)器人精度及精度補(bǔ)償?shù)幕�本概念，主要�?nèi)容包括：機(jī)器人運(yùn)動(dòng)學(xué)建模、機(jī)器人采樣點(diǎn)規(guī)劃方法、基于定位誤差模型的機(jī)器人精度補(bǔ)償技術(shù)、基于誤差相似度的機(jī)器人精度補(bǔ)償技術(shù)、基于神經(jīng)網(wǎng)絡(luò)的機(jī)器人精度補(bǔ)償技術(shù)、基于關(guān)節(jié)空間閉環(huán)反饋的機(jī)器人精度補(bǔ)償技術(shù)以及基于笛卡兒空間閉環(huán)反饋

本書(shū)全面介紹了最新的因果推斷方法，并以實(shí)踐應(yīng)用為輔，方便讀者理解。本書(shū)化繁為簡(jiǎn)，層層深入地引導(dǎo)讀者了解因果推斷方法發(fā)展的歷程和現(xiàn)狀。通過(guò)本書(shū)，讀者可以獲得關(guān)于因果推斷方法的全局視角。本書(shū)共5章，以遞進(jìn)的方式展開(kāi)對(duì)因果推斷方法的介紹。第1章從廣泛熟悉的相關(guān)關(guān)系出發(fā)，通過(guò)介紹相關(guān)關(guān)系與因果關(guān)系的聯(lián)系與區(qū)別過(guò)渡到對(duì)因果關(guān)系的

本書(shū)基于Python編程語(yǔ)言，以實(shí)戰(zhàn)為導(dǎo)向，主要介紹中文自然語(yǔ)言處理的各種理論、方法及應(yīng)用案例，幫助讀者快速熟悉理論知識(shí)，理解相關(guān)技術(shù)原理，為讀者選擇自然語(yǔ)言處理相關(guān)的研究方向或從業(yè)領(lǐng)域提供參考。全書(shū)共分為三個(gè)部分：第一部分（第1～3章）是“基礎(chǔ)篇”，側(cè)重介紹自然語(yǔ)言處理的基礎(chǔ)知識(shí)，并在相應(yīng)的知識(shí)板塊中設(shè)置實(shí)驗(yàn)案例；第