模型檢測是一種用于自動(dòng)驗(yàn)證有限狀態(tài)并發(fā)系統(tǒng)的技術(shù)，與基于模擬、測試和演繹推理的傳統(tǒng)技術(shù)相比，具有許多方面的優(yōu)勢。本書共分18章，涵蓋的主要內(nèi)容包括模型檢測的基本知識(shí)、模態(tài)邏輯、符號(hào)化技術(shù)、SATSolver、限界模型檢測、自動(dòng)機(jī)上的模型檢測、抽象解釋、程序分析、實(shí)時(shí)系統(tǒng)驗(yàn)證，同時(shí)介紹NuSMV和UPPAAL兩個(gè)流行的模

本書主要探討數(shù)據(jù)挖掘中的項(xiàng)集挖掘問題，詳細(xì)介紹了頻繁項(xiàng)集、高可用項(xiàng)集、最大頻繁項(xiàng)集、頻繁閉項(xiàng)集的定義、挖掘算法、搜索空間剪枝技術(shù)、性能優(yōu)化等方面的內(nèi)容。

自動(dòng)化生產(chǎn)線控制系統(tǒng)設(shè)計(jì)與實(shí)踐

本書是教育部互聯(lián)網(wǎng)中國制造2025產(chǎn)教融合創(chuàng)新基地建設(shè)配套教材。全書有3篇，共7個(gè)項(xiàng)目，包括工業(yè)機(jī)器人認(rèn)知、ABB機(jī)器人使用準(zhǔn)備、搬運(yùn)工作站操作編程、焊接工作站操作編程、碼垛工作站操作編程、帶附加軸的焊接工作站操作編程、視覺分揀工作站操作編程。 本書以紙質(zhì)教材數(shù)字課程的方式，配有數(shù)字化課程資源，內(nèi)容豐富，功能完善。書中

這是一個(gè)大數(shù)據(jù)爆發(fā)的時(shí)代。面對信息的激流、多元化數(shù)據(jù)的涌現(xiàn)，大數(shù)據(jù)為個(gè)人生活、企業(yè)經(jīng)營，甚至國家與社會(huì)的發(fā)展帶來了機(jī)遇和挑戰(zhàn)，大數(shù)據(jù)已經(jīng)成為IT信息產(chǎn)業(yè)中具潛力的藍(lán)海�！按髷�(shù)據(jù)導(dǎo)論”是一門理論性和實(shí)踐性都很強(qiáng)的課程。本書是為高等職業(yè)院校相關(guān)專業(yè)“大數(shù)據(jù)導(dǎo)論”課程全新設(shè)計(jì)編寫的，具有豐富的實(shí)踐特色。針對高等職業(yè)院校學(xué)生的

本書圍繞氣體保護(hù)焊的相關(guān)工藝知識(shí)，對工業(yè)機(jī)器人焊接系統(tǒng)的構(gòu)件組成、機(jī)器人焊接示教方法、行業(yè)應(yīng)用案例以及焊接系統(tǒng)維護(hù)方法進(jìn)行詳細(xì)闡述。

宇宙飛船的使用大大增加了我們對周圍宇宙的了解。太空艙和太空站使宇航員能夠在太空中生活和工作。本書介紹了科學(xué)家正在努力開發(fā)的未來太空機(jī)器人，它們可以在太空中建造大型結(jié)構(gòu)就像我們看見過的蜘蛛織網(wǎng)。-------------------

本書基于作者對并聯(lián)機(jī)器人機(jī)構(gòu)學(xué)基礎(chǔ)理論20余年的持續(xù)研究，緊緊圍繞并聯(lián)機(jī)構(gòu)的“型(構(gòu)型)”、“性(性能)”、“度(尺度)”，建立了系統(tǒng)的并聯(lián)機(jī)器人設(shè)計(jì)理論與方法。全書總共分為3篇：構(gòu)型分類與綜合、性能評價(jià)與優(yōu)化設(shè)計(jì)以及綜合設(shè)計(jì)實(shí)例。第1-2章為構(gòu)型分類與綜合篇，主要圍繞并聯(lián)機(jī)構(gòu)的“型”來展開描述。第1章基于現(xiàn)有構(gòu)型系統(tǒng)

SLAM（同時(shí)地圖創(chuàng)建與自定位）與VSLAM（視覺SLAM）是近年來機(jī)器人理論與技術(shù)研究的核心問題，是移動(dòng)無人平臺(tái)真正實(shí)現(xiàn)自主導(dǎo)航的關(guān)鍵。本書簡要描述了SLAM方法的基礎(chǔ)，重點(diǎn)對近幾年以來迅速發(fā)展的VSLAM方法進(jìn)行了較為全面的介紹，并對其前端視覺里程計(jì)、優(yōu)化估計(jì)、閉環(huán)檢測、建圖的方法與技術(shù)進(jìn)行了深入而具體的講解。本書

本書集合了工業(yè)機(jī)器人技術(shù)專業(yè)教學(xué)資源庫建設(shè)成果，教材編寫組由沈陽師范大學(xué)、北京博創(chuàng)智聯(lián)科技有限公司、中國電子學(xué)會(huì)嵌入式系統(tǒng)與機(jī)器人分會(huì)組成。本書第一章至第六章為工業(yè)機(jī)器人應(yīng)用基礎(chǔ)，介紹了ABB工業(yè)機(jī)器人基本操作、工業(yè)機(jī)器人I\O通訊、工業(yè)機(jī)器人基本編程、工業(yè)機(jī)器人離線仿真，第七章至第十章為機(jī)器人工裝平臺(tái)設(shè)計(jì)，第八章至十