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

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

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

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

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

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

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

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

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

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