本書按照教育部《高等學(xué)校非計(jì)算機(jī)專業(yè)計(jì)算機(jī)基礎(chǔ)課程教學(xué)基本要求》編寫，并結(jié)合師范類大學(xué)的教育特點(diǎn)，添加了旨在提高學(xué)生師范技能的內(nèi)容。全書分為三篇：實(shí)驗(yàn)篇、基礎(chǔ)測試篇和綜合測試篇。實(shí)驗(yàn)篇共含16個(gè)實(shí)驗(yàn)，基礎(chǔ)測試篇含六個(gè)部分共22套測試題，綜合測篇共含10套測試題，所有測試題均配有參考答案，綜合測試題的詳細(xì)解析以二維碼的形

本書通過扎實(shí)、詳細(xì)的內(nèi)容和清晰的結(jié)構(gòu)，從算法理論、算法源碼、實(shí)驗(yàn)結(jié)果等方面對(duì)深度學(xué)習(xí)算法進(jìn)行分析和介紹。本書共三篇，第一篇主要介紹深度學(xué)習(xí)在計(jì)算機(jī)視覺方向的一些卷積神經(jīng)網(wǎng)絡(luò)，從基礎(chǔ)骨干網(wǎng)絡(luò)、輕量級(jí)CNN、模型架構(gòu)搜索3個(gè)方向展開，介紹計(jì)算機(jī)視覺方向的里程碑算法；第二篇主要介紹深度學(xué)習(xí)在自然語言處理方向的重要突破，包括基

隨著云計(jì)算、大數(shù)據(jù)等的快速發(fā)展，越來越多的組織用信息化手段進(jìn)行流程管理。如何提升流程執(zhí)行的智能化程度、動(dòng)態(tài)性和柔性，以提高對(duì)非標(biāo)準(zhǔn)業(yè)務(wù)的管理效率，是流程管理面臨的一個(gè)重要問題。 本書基于流程管理系統(tǒng)積累的日志，提出了3種流程管理的工作流活動(dòng)推薦方法，分別為基于用戶類別近鄰的活動(dòng)推薦方法、基于Pearson相關(guān)系數(shù)的活動(dòng)

本書比較全面地介紹云數(shù)據(jù)管理中多維索引與復(fù)雜查詢、云環(huán)境下針對(duì)物聯(lián)網(wǎng)數(shù)據(jù)的多維索引技術(shù)、可擴(kuò)展的空間關(guān)鍵字查詢、基于MapReduce的概率集合相似性連接查詢、大規(guī)模高維向量相似性連接查詢、Top-k相似性連接查詢、基于隨機(jī)映射的相似性連接查詢、相似性連接查詢其他問題、大數(shù)據(jù)復(fù)雜查詢面臨的挑戰(zhàn)等內(nèi)容。力求向讀者系統(tǒng)展示

本書是為“數(shù)據(jù)結(jié)構(gòu)”課程編寫的教材，第1，2章介紹數(shù)學(xué)基礎(chǔ)和算法相關(guān)預(yù)備知識(shí)，第3章至第10章介紹常見數(shù)據(jù)結(jié)構(gòu)的抽象數(shù)據(jù)類型、算法實(shí)現(xiàn)、性能分析及其應(yīng)用。本書注重全面運(yùn)用數(shù)據(jù)結(jié)構(gòu)知識(shí)解決案例中的實(shí)際問題，也穿插了程序設(shè)計(jì)的技巧。全書采用JavaScript語言作為數(shù)據(jù)結(jié)構(gòu)和算法的描述語言，介紹了常見的數(shù)據(jù)結(jié)構(gòu)的實(shí)現(xiàn)原理

社交媒體虛假信息自動(dòng)檢測研究受到了計(jì)算語言學(xué)界和產(chǎn)業(yè)界的廣泛關(guān)注，并逐步成為研究熱點(diǎn)。本書基于自然語言處理視角，結(jié)合機(jī)器學(xué)習(xí)、神經(jīng)網(wǎng)絡(luò)、語料庫語言學(xué)等相關(guān)技術(shù)，以作者的一系列研究成果為內(nèi)容主線，系統(tǒng)介紹了社交媒體虛假信息檢測的基礎(chǔ)和模型。全書分為基礎(chǔ)篇和模型篇，共8章。在基礎(chǔ)篇中，作者首先給出虛假信息的定義及分類，接著

隨著現(xiàn)代社會(huì)信息化程度的提高，與計(jì)算機(jī)相關(guān)的各種系統(tǒng)故障足以造成巨大的經(jīng)濟(jì)損失。機(jī)械化的定理證明能夠建立更為嚴(yán)格的正確性，從而奠定系統(tǒng)的高可信性。本書闡述機(jī)械化定理證明的邏輯基礎(chǔ)和關(guān)鍵技術(shù)，分析比較各類主流證明助手的設(shè)計(jì)特點(diǎn)，重點(diǎn)討論在編譯器驗(yàn)證領(lǐng)域取得的重要研究成果，并以實(shí)例詳述驗(yàn)證編譯器的開發(fā)和實(shí)現(xiàn)。

本書是“十三五”江蘇省高等學(xué)校重點(diǎn)教材(編號(hào)：2019-1-063)。《BR》物聯(lián)網(wǎng)在制造領(lǐng)域的深度滲透和落地應(yīng)用催生了一種以“物物互聯(lián)、泛在感知”為特征的新型制造技術(shù)——制造物聯(lián)網(wǎng)。制造物聯(lián)技術(shù)為制造業(yè)生產(chǎn)要素的智能化識(shí)別、定位、跟蹤、監(jiān)控和管理提供了很好的解決方案。本書共由四篇構(gòu)成：第一篇介紹了制造物聯(lián)技術(shù)理論基礎(chǔ)

數(shù)據(jù)要素是新型生產(chǎn)要素之一，因其蘊(yùn)含著巨大價(jià)值，其重要性被提到了新的高度，但其理論體系尚未完全形成，全生命周期各個(gè)環(huán)節(jié)的理論和技術(shù)還在不斷探索中�！禕R》本書以數(shù)據(jù)要素知識(shí)體系構(gòu)建和數(shù)據(jù)要素價(jià)值的發(fā)掘應(yīng)用為主線，從理論和行業(yè)案例兩個(gè)方面，對(duì)數(shù)據(jù)要素生命周期涉及的基礎(chǔ)理論、概念和方法及數(shù)據(jù)要素驅(qū)動(dòng)業(yè)務(wù)發(fā)展行業(yè)應(yīng)用案例進(jìn)行

本書主要針對(duì)控制理論的一些重要分支，分析了當(dāng)前存在的瓶頸問題，展望了其發(fā)展趨勢(shì)和面臨的一系列挑戰(zhàn)。全書共分為17章，分別為：優(yōu)化控制研究的概述與關(guān)鍵問題分析、邏輯控制系統(tǒng)中的未解問題、系統(tǒng)與控制中優(yōu)化理論與應(yīng)用的挑戰(zhàn)與瓶頸、分布參數(shù)系統(tǒng)控制、數(shù)據(jù)驅(qū)動(dòng)控制系統(tǒng)、自抗擾控制中的若干未解問題、非線性控制的幾個(gè)瓶頸問題、時(shí)間與