人工智能是研究解釋和模擬人類智能、智能行為及其規(guī)律的一門學科。本書共16章：第1～6章討論人工智能的認知問題和自動推理，論述邏輯基礎(chǔ)、約束推理、定性推理、基于案例的推理、概率推理；第7～14章重點討論機器學習和知識發(fā)現(xiàn)，包括歸納學習、支持向量機、解釋學習、強化學習、無監(jiān)督學習、關(guān)聯(lián)規(guī)則、進化計算、知識發(fā)現(xiàn)；第15章闡述

本書為《普通高等教育信息安全類國家級特色專業(yè)系列規(guī)劃教材》之一。全書共分為10章，圍繞著信息安全基礎(chǔ)、系統(tǒng)安全、網(wǎng)絡安全、內(nèi)容安全和安全管理五個主題展開，涵蓋了信息安全概述、密碼學基礎(chǔ)、物理安全、身份認證、訪問控制、網(wǎng)絡威脅、網(wǎng)絡防御、網(wǎng)絡安全協(xié)議、內(nèi)容安全、信息安全管理等內(nèi)容。本書力求對信息安全各個層面的概念和內(nèi)涵進

量子信息學是20世紀80年代以量子物理學為基礎(chǔ)，融人計算機科學、經(jīng)典信息論形成的新興交叉學科，主要包括量子通信和量子計算兩個分支。本書是關(guān)于量子計算機研究，分上、下兩冊出版。上冊是關(guān)于量子計算機原理和物理實現(xiàn)，下冊是關(guān)于量子糾錯和容錯量子計算。 由李承祖和陳平形等編著的《量子計算機研究（上）——原理和物理實現(xiàn)》為上冊

本書較為系統(tǒng)地介紹了P2P的理論基礎(chǔ)，對P2P的基礎(chǔ)路由，如DHT算法、DHT性能作了深入介紹，對最新的理論成果網(wǎng)絡編碼也作了深入淺出的分析。同時，本書對P2P傳送過程進行了建模，從模型的高度抽象提取了傳送過程中的幾個核心參數(shù)，并分析核心參數(shù)之間的依賴關(guān)系，為P2P傳送優(yōu)化和播放器緩存設(shè)計提供了有價值的理論參考。在此基

《生產(chǎn)自動化》著重從工業(yè)工程的角度，吸收了當前生產(chǎn)自動化科學領(lǐng)域的最新成果，全面介紹了工業(yè)生產(chǎn)自動化系統(tǒng)所涉及的基本理論與技術(shù)方法，及其在實際生產(chǎn)系統(tǒng)中的應用�！渡�產(chǎn)自動化》共有7章：第1章生產(chǎn)自動化緒論，第2章設(shè)計自動化系統(tǒng)，第3章工藝自動化系統(tǒng)，第4章設(shè)備自動化技術(shù)，第5章生產(chǎn)物料搬運自動化技術(shù)，第6章裝配自動化技

《可信計算技術(shù)原理與應用》討論可信計算的相關(guān)原理及應用，介紹國際可信計算組織（TCG）和中國可信計算聯(lián)盟的可信計算相關(guān)知識，以及理論基礎(chǔ)、技術(shù)規(guī)范、技術(shù)原理、編程和實踐應用相結(jié)合的內(nèi)容，同時引入最新的研究成果等。 《可信計算技術(shù)原理與應用》總體上分為三大部分：“背景知識”部分闡述可信計算相關(guān)的概念、密碼學基礎(chǔ)知識、可

《擬人雙臂機器人技術(shù)》全面介紹了與冗余度擬人雙臂機器人系統(tǒng)相關(guān)的基礎(chǔ)理論和前沿技術(shù)，書中內(nèi)容是根據(jù)作者丁希侖所帶領(lǐng)的研究團隊近十年來依托國家863計劃和北京市科技新星計劃等課題以及211和985學科建設(shè)經(jīng)費支持所取得的學術(shù)研究及技術(shù)實踐成果整理撰寫而成的。主要內(nèi)容包括：擬人雙臂機器人系統(tǒng)平臺方案設(shè)計、冗余度機器人運動靈

《成像衛(wèi)星任務規(guī)劃技術(shù)》圍繞成像衛(wèi)星任務規(guī)劃問題展開，以成像衛(wèi)星任務規(guī)劃模型和算法為核心對成像衛(wèi)星任務規(guī)劃技術(shù)進行了詳細闡述。介紹了成像衛(wèi)星任務規(guī)劃問題的研究背景，詳細闡述了成像衛(wèi)星任務規(guī)劃問題，總結(jié)了成像衛(wèi)星任務規(guī)劃技術(shù)的理論基礎(chǔ)，給出了成像衛(wèi)星任務規(guī)劃的預處理技術(shù)，研究了單星全球普查任務規(guī)劃技術(shù)、多星一體化任務規(guī)劃

《普通高等教育“十一五”規(guī)劃教材：AutoCAD2011基礎(chǔ)教程》以AutoCAD2010的實際應用的角度出發(fā)，從軟件的基本界面入手，系統(tǒng)地介紹軟件的基本繪制圖形、編輯圖形的命令，并附以大量精選的實例，使讀者能用正確的方式較輕松上手，學以致用。

《CPLD/FPGA與ASIC設(shè)計實踐教程（第2版）》以大規(guī)模可編程邏輯器件為基礎(chǔ)，詳細介紹了PLD、CPLD/FPGA器件的原理和開發(fā)技術(shù)。第1～3章介紹EDA技術(shù)和可編程邏輯器件的原理，CPLD/FPGA器件的性能指標與選型、編程方法和下載電路，以及常用EDA設(shè)計軟件的使用。第4～6章先詳細介紹VerilogHDL