本書論述了水下機器人先進導航技術，主要內容包括水下機器人導航系統(tǒng)關鍵參數(shù)標定、聲學跟蹤、單信標導航、主從式UUV群體導航、長基線導航、多信標導航技術以及計算機仿真與應用實驗結果。同時為方便讀者，給出代碼實例供讀者使用和參考。

傳統(tǒng)的軟件理論研究是形式語法和形式語義分離，語義研究成果沒有實用性,測試一直是軟件開發(fā)的必要步驟。本書是統(tǒng)一研究語法與語義的成果，包括程序模型（OE），語義公理（A），語義謂詞（SP），語義謂詞演算，是一套全新的完整的實用的程序理論。實例證明用OESPA可以用于程序開發(fā)各步驟，程序驗證及程序驗證自動化（符號演算）。測試

本書是Linux入門書，旨在介紹在Linux操作系統(tǒng)上開發(fā)軟件所需具備的知識。本書共分四部分，主要內容包括：開源軟件簡介；Linux操作系統(tǒng)基礎知識介紹，包括文件系統(tǒng)、Linux基本命令、文本編輯器、系統(tǒng)管理等內容；Linux編程語言概述，內容涵蓋BASHshell腳本、Perl腳本、Python腳本，以及C、C++和

本書從CINEMA4D的基礎知識和工作流程開始講起，再圍繞各種模型（文字模型、卡通模型和特效模型等）的制作、材質的調節(jié)和綜合應用案例進行講解，全流程記錄了每個案例的詳細制作過程。本書對CINEMA4D的建模、燈光、材質和渲染這幾大核心技術進行了提煉，并從實際工作的角度出發(fā)，讓讀者掌握不同項目的制作過程和技巧。在閱讀本書

深度學習是當前人工智能的引領技術，是引發(fā)新一輪人工智能熱潮的原動力。本書從模型、算法、原理等角度全面介紹深度學習技術，包括近兩年最新成果。全書由三大部分組成。第一部分是機器學習和神經(jīng)網(wǎng)絡基礎，包括機器學習問題、淺層機器學習、早期神經(jīng)網(wǎng)絡等；第二部分是深度學習模型及算法，包括深度生成模型、卷積網(wǎng)絡、循環(huán)和遞歸網(wǎng)絡、表示學

全書共分8章，主要內容包括計算機基礎知識、Windows7操作系統(tǒng)、使用Word2010制作文檔、使用Excel2010制作電子表格、使用PowerPoint2010制作演示文稿、計算機網(wǎng)絡與Internet基礎、數(shù)據(jù)庫設計基礎、常用工具軟件。內容和主教材配套，具有通俗易懂、實用性、操作性強的特點。

本書共分10章，內容包括信息社會與計算技術、計算機系統(tǒng)與工作原理、操作系統(tǒng)與資源管理、計算機網(wǎng)絡、文檔制作與數(shù)字化編輯、數(shù)據(jù)庫技術、多媒體技術、網(wǎng)頁制作與信息發(fā)布、信息安全與網(wǎng)絡維護、問題求解與算法設計。本書將理論與實踐相結合，圍繞教學內容精心設計了15個貼近實際的上機實驗。

本書全面講述龍芯電腦操作系統(tǒng)的使用方法。全書分為3篇，共13章，分別介紹龍芯電腦和龍芯桌面系統(tǒng)入門，龍芯電腦系統(tǒng)環(huán)境，文件和文件夾管理，應用商店，文字輸入，上網(wǎng)，辦公軟件，光盤刻錄，打印和掃描，多媒體應用軟件，實用工具軟件，系統(tǒng)配置，系統(tǒng)管理等內容。 本書面向龍芯電腦的用戶，以實例講解為主，旨在幫助讀者快速上手龍芯電腦

本套書由碼高少兒編程項目組編著，教孩子循序漸進地學習Scratch編程知識。書中以小故事為背景，并設計了角色，用豐富的人設和故事把Scratch所要表達的計算思維展現(xiàn)出來。每節(jié)課還搭配線上教學視頻和課件，幫助孩子形成提出問題、分析問題和解決問題的邏輯思維。本套書非常適合孩子閱讀和使用。全書共2篇，主題分別為宇宙大冒險和

全書共分8章，主要內容包括概論、計算機基礎知識、操作系統(tǒng)基礎、常用Office軟件、多媒體技術及應用、計算機網(wǎng)路基礎、Internet應用基礎、數(shù)據(jù)庫基礎等。本書內容詳實，結構合理，注重理論和實踐相結合，具有通俗易懂、實用性、操作性強的特點。

本書旨在討論人工智能領域未來的發(fā)展方向，即通用人工智能和奇點現(xiàn)象。本書涵蓋了奇點理論提出以來該領域取得的一系列研究進展，剖析了實現(xiàn)通用人工智能所面臨的問題并分析了各種實現(xiàn)途徑。作者不僅展開了天馬行空的想象，思考未來技術，比如意識上傳、飛米技術等如何為通用人工智能提供可行性，還將現(xiàn)有的通用人工智能技術落地，在生物學領域進

本書是一本關于交互設計的入門教程。交互設計分為三大領域，分別是基于屏幕的界面設計、交互產(chǎn)品設計以及服務設計中的交互設計。本書主要關注基于屏幕的交互界面設計。在本書的第一部分中，介紹了交互設計的概念、發(fā)展歷程、類型、流程等，以及進行交互設計研究與分析的一些基本方法。在第二部分中，講解了制作交互界面原型，包括低保真與高保真

本習題集是依據(jù)職業(yè)院校教學要求，結合《全國計算機等級考試一級MSOffice考試大綱（2018年版）》編寫而成的，全書包括計算機基礎知識、計算機網(wǎng)絡基礎及應用、Windows7操作系統(tǒng)及其操作、Word2010的使用、Excel2010的使用和PowerPoint2010的使用6個方面的知識要點和習題，供讀者練習。通過

計算機圖形學和數(shù)字化快速成型技術相結合,實現(xiàn)了計算機建模、CAD數(shù)據(jù)直接制造模型或零件,更加快速而精密地制造出任意復雜的模型和零件。本書講解了計算機圖形學和數(shù)字化快速成型技術的基本原理和方法,著重介紹了OpenGL編程、算法、曲線曲面、仿射變換,銜接計算機圖形學和數(shù)字化快速成型的關鍵技術——數(shù)字化快速成型的前處理,以及

本書結合實際案例介紹了PMML語言的各個組成元素，包括數(shù)據(jù)字典、挖掘模式/架構、數(shù)據(jù)轉換、模型定義、輸出、目標、模型解釋、模型驗證等元素，并介紹了表述數(shù)據(jù)挖掘模型的PMML實例文檔創(chuàng)建流程；同時也對各種PMML元素中涉及的一些統(tǒng)計知識做了必要介紹。通過學習，讀者可以完整地了解和掌握PMML語言，將其應用于數(shù)據(jù)挖掘建模。

網(wǎng)絡安全是一場無休止的攻防戰(zhàn)。十幾年前，網(wǎng)絡安全工作者們普遍關注的是木馬、病毒、掛馬、釣魚等純粹的民用安全問題。之后是移動互聯(lián)網(wǎng)、商業(yè)網(wǎng)站、商業(yè)系統(tǒng)的安全性問題(入侵、篡改、拖庫、撞庫、個人信息泄露、DDoS攻擊等)。而到了2015年，網(wǎng)絡安全工作者們最愛談論的前沿話題是“APT(高級持續(xù)性威脅)攻擊”。這是一種針對性

系統(tǒng)集成項目管理工程師屬于軟考的中級資格，通過本考試的合格人員能夠掌握系統(tǒng)集成項目管理的知識體系；具備管理系統(tǒng)集成項目的能力；能根據(jù)需求組織制訂可行的項目管理計劃；能夠組織項目實施，對項目進行監(jiān)控并能根據(jù)實際情況及時做出調整，系統(tǒng)地監(jiān)督項目實施過程的績效，保證項目在一定的約束條件下達到既定的項目目標；能分析和評估項目管

本書講述了開發(fā)者使用JavaScript在各種Web開發(fā)場景下所需要掌握的重點知識和概念。從最基礎的開發(fā)工具講起，再到開發(fā)思維方式和前端頁面開發(fā)，然后擴展到小程序開發(fā)和開發(fā)工具的混合應用，再講解前后端交互最常用的網(wǎng)絡協(xié)議及API設計，最后講解了使用Node.js開發(fā)服務器端應用程序所需要掌握的核心概念。全書以數(shù)據(jù)鏈為線

本書采用體系化的思維來詮釋和構建微服務體系，從整體上講述微服務體系的技術、架構、框架、管理整合和規(guī)劃實施等內容。本書不針對某個微服務技術或框架用法進行細節(jié)說明，而是對微服務的整體領域進行概述，同時說明如何實踐、如何驗證、如何落地。本書脈絡清晰，內容翔實，引導讀者不僅“知其然”，而且還“知其所以然”。本書適合希望從初級技

本書介紹了互聯(lián)網(wǎng)環(huán)境下文本類型數(shù)據(jù)的分析方法，探討了當前主流的文本挖掘技術，以及這些技術在商業(yè)環(huán)境中的具體應用。本書從算法原理和應用場景兩方面分別對在線文本分析技術進行了介紹：從算法原理的角度，以數(shù)據(jù)挖掘和機器學習的相關知識為基礎，介紹了以文本建模、文本分類、文本聚類、序列標注為主要任務的文本分析方法，并對當前主流的深