本書(shū)從知識(shí)系統(tǒng)構(gòu)建的支撐技術(shù)和制造企業(yè)的實(shí)際應(yīng)用出發(fā)，系統(tǒng)地介紹了知識(shí)工程的概念、方法和應(yīng)用。全書(shū)共7章，重點(diǎn)介紹了知識(shí)獲取、知識(shí)表示、知識(shí)推理及知識(shí)管理，在此基礎(chǔ)上，針對(duì)制造企業(yè)知識(shí)工程實(shí)施方法、工具展開(kāi)了介紹，最后介紹了知識(shí)系統(tǒng)的結(jié)構(gòu)、開(kāi)發(fā)，以及知識(shí)工程技術(shù)在機(jī)械制造領(lǐng)域的應(yīng)用。本書(shū)結(jié)合知識(shí)工程技術(shù)在制造業(yè)的應(yīng)用案

本書(shū)是理論計(jì)算機(jī)科學(xué)方面的經(jīng)典教材，主要討論形式語(yǔ)言與自動(dòng)機(jī)理論、可計(jì)算性理論和計(jì)算復(fù)雜性理論等內(nèi)容。本書(shū)強(qiáng)調(diào)定義和定理的準(zhǔn)確性和嚴(yán)謹(jǐn)性，但在形式化證明中又非常注重符合直覺(jué)的理解，避免多余的數(shù)學(xué)細(xì)節(jié)。本書(shū)分為理論和應(yīng)用兩個(gè)部分：理論部分主要介紹有窮自動(dòng)機(jī)、正則語(yǔ)言和文法、上下文無(wú)關(guān)語(yǔ)言和文法、下推自動(dòng)機(jī)、圖靈機(jī)、形式語(yǔ)

本書(shū)共分為7章，主要內(nèi)容包括緒論、知識(shí)圖譜表示學(xué)習(xí)的現(xiàn)有研究綜述、基于超平面機(jī)制的時(shí)態(tài)知識(shí)圖譜表示學(xué)習(xí)模型、基于張量分解技術(shù)的時(shí)態(tài)知識(shí)圖譜表示學(xué)習(xí)模型、利用隱式類型信息增強(qiáng)現(xiàn)有靜態(tài)模型的普適性方法、類型增強(qiáng)的時(shí)態(tài)知識(shí)圖譜表示學(xué)習(xí)模型、總結(jié)與展望。知識(shí)圖譜是一種新型數(shù)據(jù)管理模式，對(duì)原本分散的多專業(yè)、多來(lái)源、多結(jié)構(gòu)的專業(yè)知

這是一本專注于使用Python進(jìn)行數(shù)據(jù)分析的實(shí)用專著。本書(shū)從數(shù)據(jù)分析的基礎(chǔ)概念出發(fā)，系統(tǒng)論述了數(shù)據(jù)分析的完整流程，包括數(shù)據(jù)預(yù)處理、分析方法和可視化展示。書(shū)中首先通過(guò)Numpy庫(kù)講解科學(xué)計(jì)算的基礎(chǔ)知識(shí)，隨后深入探討了Pandas庫(kù)在數(shù)據(jù)預(yù)處理和數(shù)據(jù)分析中的強(qiáng)大功能。在數(shù)據(jù)可視化方面，Matplotlib庫(kù)被詳細(xì)闡述，幫助

算法設(shè)計(jì)與分析是計(jì)算機(jī)科學(xué)的核心問(wèn)題。計(jì)算機(jī)科學(xué)是一項(xiàng)創(chuàng)造性的思維活動(dòng)，其教育必須面向設(shè)計(jì)，而計(jì)算機(jī)算法設(shè)計(jì)與分析正是面向設(shè)計(jì)的、處于核心地位的教育課程。它立足于基礎(chǔ)課和專業(yè)基礎(chǔ)課的堅(jiān)實(shí)的基礎(chǔ)之上，通過(guò)對(duì)計(jì)算機(jī)領(lǐng)域的許多常見(jiàn)問(wèn)題和有代表性的算法的學(xué)習(xí)、研究，以及了解和掌握算法設(shè)計(jì)的一些主要方法，學(xué)會(huì)分析的基本技能和某些

本書(shū)將數(shù)據(jù)及其描述作為開(kāi)端，逐漸深入介紹和數(shù)據(jù)科學(xué)相關(guān)的參數(shù)估計(jì)、假設(shè)檢驗(yàn)、統(tǒng)計(jì)決策與貝葉斯方法、回歸分析、時(shí)間序列模型、空間數(shù)據(jù)模型、回歸模型的遷移學(xué)習(xí)及差分隱私統(tǒng)計(jì)推斷等知識(shí)。此外，結(jié)合數(shù)據(jù)科學(xué)的實(shí)際應(yīng)用，書(shū)中還講解了回歸模型的遷移學(xué)習(xí)、差分隱私統(tǒng)計(jì)推斷等熱門(mén)實(shí)用技術(shù)。

本書(shū)主要討論了機(jī)器視覺(jué)理論與應(yīng)用的相關(guān)問(wèn)題。在現(xiàn)代社會(huì)中，機(jī)器視覺(jué)技術(shù)逐漸發(fā)揮重要作用，在科技領(lǐng)域之中，機(jī)器視覺(jué)是當(dāng)前科學(xué)重點(diǎn)發(fā)展的實(shí)用性技術(shù)，對(duì)其理論與實(shí)際應(yīng)用的探索就顯得尤為重要，因此我們要對(duì)機(jī)器視覺(jué)這一技術(shù)進(jìn)行額外的關(guān)注和研究。書(shū)中首先闡述了機(jī)器視覺(jué)技術(shù)的主要概念，其次探討了人類視覺(jué)系統(tǒng)與機(jī)器視覺(jué)系統(tǒng)的相關(guān)內(nèi)容，

以算力為基礎(chǔ)的數(shù)字信息基礎(chǔ)設(shè)施越來(lái)越成為科技進(jìn)步、經(jīng)濟(jì)社會(huì)發(fā)展的底座，改變了人類的生產(chǎn)方式、生活模式和科研范式。要緊緊圍繞經(jīng)濟(jì)社會(huì)發(fā)展需求，統(tǒng)籌發(fā)展和安全，以智能化、綠色化、融合化為主攻方向，一體化推進(jìn)基礎(chǔ)設(shè)施建設(shè)、產(chǎn)業(yè)技術(shù)創(chuàng)新和深度融合應(yīng)用。本書(shū)聚焦算力中心設(shè)施、服務(wù)器、網(wǎng)絡(luò)、邊緣計(jì)算、存儲(chǔ)、安全和測(cè)試等領(lǐng)域，探討數(shù)

本書(shū)以教育部高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)教學(xué)指導(dǎo)委員會(huì)發(fā)布的《關(guān)于進(jìn)一步加強(qiáng)高等學(xué)校計(jì)算機(jī)基礎(chǔ)教學(xué)的意見(jiàn)暨計(jì)算機(jī)基礎(chǔ)課程教學(xué)基本要求》為指導(dǎo)，編寫(xiě)時(shí)充分考慮大學(xué)生的知識(shí)結(jié)構(gòu)和學(xué)習(xí)特點(diǎn)，在內(nèi)容編排上注重對(duì)計(jì)算機(jī)基礎(chǔ)知識(shí)的介紹和對(duì)學(xué)生動(dòng)手能力的培養(yǎng)。本書(shū)共分六章：計(jì)算機(jī)基礎(chǔ)知識(shí)，Windows10的使用，Word2016的使用

本書(shū)系統(tǒng)講解了JavaWeb應(yīng)用開(kāi)發(fā)的核心技術(shù)和實(shí)踐，涵蓋了從基礎(chǔ)到高級(jí)的各個(gè)方面。內(nèi)容包括JavaWeb概述、開(kāi)發(fā)環(huán)境配置、Servlet與JSP詳解、EL與JSTL標(biāo)簽庫(kù)、過(guò)濾器與監(jiān)聽(tīng)器、分頁(yè)技術(shù)和文件上傳等。書(shū)中通過(guò)豐富的實(shí)例和綜合案例“物流管理平臺(tái)”，引導(dǎo)讀者掌握MVC模式和實(shí)際項(xiàng)目的開(kāi)發(fā)流程。此外，還介紹了J