本書(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è)試方法,用以判斷
本書(shū)主要介紹計(jì)算機(jī)控制系統(tǒng)的基礎(chǔ)理論、設(shè)計(jì)方法和工程實(shí)現(xiàn),基于典型案例來(lái)體現(xiàn)主要內(nèi)容,突出本課程理論聯(lián)系實(shí)際的特點(diǎn)。將MATLAB用于計(jì)算機(jī)控制系統(tǒng)的分析和控制器的設(shè)計(jì),引導(dǎo)讀者循序漸進(jìn)地進(jìn)行計(jì)算機(jī)控制系統(tǒng)的分析、設(shè)計(jì)和實(shí)現(xiàn)。本書(shū)供大量的設(shè)計(jì)及實(shí)現(xiàn)代碼,以及電子教案、PPT課件、習(xí)題解答、知識(shí)圖譜等電子材料,方便教師備
本書(shū)分為基礎(chǔ)篇、技術(shù)篇和應(yīng)用篇,分別介紹計(jì)算機(jī)控制系統(tǒng)的基本理論、主要技術(shù)和工程應(yīng)用;A(chǔ)篇介紹了計(jì)算機(jī)控制系統(tǒng)的理論基礎(chǔ)(包括控制系統(tǒng)的數(shù)學(xué)模型、連續(xù)系統(tǒng)的分析和設(shè)計(jì)、離散系統(tǒng)的描述方法)及數(shù)字控制器的設(shè)計(jì)與實(shí)現(xiàn)等內(nèi)容。技術(shù)篇介紹了控制系統(tǒng)中的計(jì)算機(jī)及其接口技術(shù)、過(guò)程通道技術(shù)、可靠性與抗干擾技術(shù)、控制系統(tǒng)中的軟件技術(shù)
《大數(shù)據(jù)處理與應(yīng)用(微課版)》以項(xiàng)目驅(qū)動(dòng)的方式詳細(xì)講解大數(shù)據(jù)生態(tài)體系架構(gòu)各方面的知識(shí)。主要涉及ETL的數(shù)據(jù)采集與清洗、離線(xiàn)數(shù)據(jù)倉(cāng)庫(kù)的構(gòu)建和實(shí)時(shí)數(shù)據(jù)倉(cāng)庫(kù)的構(gòu)建!洞髷(shù)據(jù)處理與應(yīng)用(微課版)》分為三個(gè)模塊:模塊一介紹大數(shù)據(jù)離線(xiàn)數(shù)據(jù)處理與分析,包含項(xiàng)目一和項(xiàng)目二,知識(shí)點(diǎn)覆蓋HDFS、Hive、Sqoop、MapReduce、
本書(shū)考慮到領(lǐng)導(dǎo)者將可預(yù)見(jiàn)參考軌跡通過(guò)網(wǎng)絡(luò)中的有向路徑回傳給部分跟隨者進(jìn)而從預(yù)見(jiàn)控制的視角出發(fā)系統(tǒng)研究多智能體系統(tǒng)的協(xié)同預(yù)見(jiàn)控制問(wèn)題,包括單個(gè)領(lǐng)導(dǎo)者下的分布式預(yù)見(jiàn)跟蹤(分布式編隊(duì)預(yù)見(jiàn)跟蹤)控制問(wèn)題、多個(gè)領(lǐng)導(dǎo)者下的分布式包圍預(yù)見(jiàn)控制問(wèn)題。利用預(yù)見(jiàn)控制中的狀態(tài)增廣技術(shù),原問(wèn)題可轉(zhuǎn)化為含有鄰居輸出誤差的增廣系統(tǒng)的狀態(tài)調(diào)節(jié)問(wèn)題,
本書(shū)的主要內(nèi)容包括:智能控制的基本概念、模糊控制的理論基礎(chǔ)、模糊控制系統(tǒng)、人工神經(jīng)元網(wǎng)絡(luò)模型、神經(jīng)網(wǎng)絡(luò)控制論等,后簡(jiǎn)單介紹了智能控制的集成技術(shù)等,最后分別介紹了深度學(xué)習(xí)和強(qiáng)化學(xué)習(xí)。
本書(shū)綜合了現(xiàn)有的數(shù)據(jù)采集和預(yù)處理技術(shù),按照實(shí)際工作中的順序,先介紹了大數(shù)據(jù)及數(shù)據(jù)采集的基礎(chǔ)知識(shí),然后介紹了使用爬蟲(chóng)技術(shù)進(jìn)行數(shù)據(jù)采集、使用傳感器進(jìn)行數(shù)據(jù)采集、使用Kettle進(jìn)行數(shù)據(jù)遷移和采集以及使用Python進(jìn)行數(shù)據(jù)存儲(chǔ)和處理,并以實(shí)訓(xùn)項(xiàng)目的形式,將技術(shù)與理論有機(jī)融為一體。
本書(shū)聚焦“啟發(fā)式方法”這個(gè)主題,分5個(gè)部分進(jìn)行介紹。第1部分概述了各種類(lèi)型的啟發(fā)式方法;第2部分側(cè)重于面向數(shù)據(jù)的啟發(fā)式方法及其在數(shù)據(jù)科學(xué)問(wèn)題中的應(yīng)用;第3部分詮釋了面向最優(yōu)化的啟發(fā)式方法,以及它們?nèi)绾谓鉀Q具有挑戰(zhàn)性的最優(yōu)化問(wèn)題;第4部分是講解如何設(shè)計(jì)和實(shí)施新的啟發(fā)式方法,以解決特定問(wèn)題的相關(guān)內(nèi)容;第5部分介紹了關(guān)于啟發(fā)
本書(shū)主要內(nèi)容包括智能入庫(kù)、智能出庫(kù)、智能倉(cāng)儲(chǔ)、AGV、光學(xué)尺寸檢測(cè)、平面度檢測(cè)等。本書(shū)結(jié)合工作崗位的實(shí)際需求,采用“項(xiàng)目導(dǎo)向、任務(wù)驅(qū)動(dòng)”的模式,是校企合作開(kāi)發(fā)編寫(xiě)的項(xiàng)目式教材。本書(shū)按照實(shí)際工作流程,遵循從簡(jiǎn)單到復(fù)雜、從單一到綜合的原則,將理論與實(shí)踐進(jìn)行有機(jī)結(jié)合,實(shí)現(xiàn)教、學(xué)、做一體化,注重吸收行業(yè)發(fā)展的新知識(shí)、技術(shù)工藝方
本書(shū)是一部通過(guò)提供一套易于遵守及操作的方法論來(lái)實(shí)現(xiàn)高質(zhì)量數(shù)據(jù)管理的實(shí)踐指南。內(nèi)容全面、詳細(xì),并有許多實(shí)用的建議和模板,第1版推出后,已成為全球信息質(zhì)量實(shí)踐者的書(shū)籍,甚至已成為美國(guó)阿肯色大學(xué)信息質(zhì)量研究生項(xiàng)目的教科書(shū)。本書(shū)共7章,內(nèi)容包括數(shù)據(jù)質(zhì)量和依賴(lài)于數(shù)據(jù)的世界、數(shù)據(jù)質(zhì)量實(shí)踐、關(guān)鍵概念、十步法流程、設(shè)計(jì)項(xiàng)目結(jié)構(gòu)、其他技