本書旨在講述如何通過持續(xù)測試交付一個功能完善、質(zhì)量完美的系統(tǒng)，滿足測試人員快速交付、快速迭代的需求。本書首先概述了什么是持續(xù)測試，以及持續(xù)測試和自動化測試的異同，介紹了如何提升持續(xù)測試的效率和效果，然后討論了如何通過持續(xù)測試中的非功能性測試保障軟件的可靠性、可用性、可移植性、性能效率等質(zhì)量特性，如何通過建立質(zhì)量門禁保障

本書從實踐的角度對從FPGA軟件開發(fā)到FPGA軟件測試各階段的測試思想、方法、活動、案例進行詳細描述，并系統(tǒng)介紹FPGA軟件測試的各種方法，從不同的角度分析FPGA軟件測試的內(nèi)容及具體要求，通過在各個測試階段應用不同的測試方法來滿足不同的FPGA軟件測試需求。本書首先對FPGA器件及軟件進行概述，然后介紹FPGA軟件開

本書是根據(jù)“教育部非計算機專業(yè)計算機基礎(chǔ)課程教學指導分委員會”提出的《關(guān)于進一步加強高校計算機基礎(chǔ)教學的意見》要求，同時根據(jù)郵電高校的實際情況編寫的。本書密切結(jié)合“大學計算機基礎(chǔ)”課程的基本教學要求，結(jié)合計算機軟件和硬件的最新技術(shù)；結(jié)構(gòu)嚴謹，層次分明，敘述準確。全書共分9章，主要介紹了計算機的歷史、基本知識和基本概念；

本書系統(tǒng)深入地研究了辛幾何理論、哈密頓動力學的公理化體系，并以四自由度串聯(lián)機器人為例，研究了基于哈密頓動力學系統(tǒng)的形式化分析與驗證方法的應用，為機器人動力學的安全設計提供了形式化驗證理論和技術(shù)手段。全書主要內(nèi)容包括：哈密頓模型的幾何基礎(chǔ)——辛流形空間的形式化、哈密頓模型和拉格朗日模型的勒讓德映射關(guān)系的形式化、哈密頓方程

本書結(jié)合作者近年來在優(yōu)化理論、采樣理論和控制理論方面的研究工作，系統(tǒng)地介紹了自適應優(yōu)化控制問題中的強化學習設計方法，充分考慮了學習算法的收斂性和學習過程中閉環(huán)系統(tǒng)的穩(wěn)定性，重點闡述了基于數(shù)據(jù)驅(qū)動的優(yōu)化設計方案。針對魯棒控制問題、多玩家非零和博弈問題、多智能體分布式協(xié)同控制問題、事件觸發(fā)采樣機制設計與間歇反饋控制優(yōu)化問題

本書是腦-機接口（BCI）的經(jīng)典著作，旨在縮小BCI研究與實際應用之間的差距，推動BCI技術(shù)走出實驗室，走向?qū)嶋H應用。主要介紹和論述實用化BCI傳感器及其信號處理，實用化BCI的設備、應用及用戶群體，BCI實際應用接口和環(huán)境，實用化BCI基礎(chǔ)設施建設中新出現(xiàn)的問題。

當前，我國已進入數(shù)字中國建設新階段，數(shù)字化發(fā)展步伐不斷加快，數(shù)字經(jīng)濟高質(zhì)量發(fā)展為實現(xiàn)第二個百年奮斗目標奠定堅實基礎(chǔ)，持續(xù)推進我國網(wǎng)絡空間治理體系和治理能力現(xiàn)代化。與此同時，全球各國積極布局數(shù)字化領(lǐng)域，爭奪新時期戰(zhàn)略高地。網(wǎng)絡安全作為保障全社會數(shù)字化轉(zhuǎn)型、護航數(shù)字經(jīng)濟高質(zhì)量發(fā)展的關(guān)鍵核心，逐漸成為全球數(shù)字競合新格局的重中

控制技術(shù)是前三次工業(yè)革命的重要使能技術(shù)，分別實現(xiàn)了機械自動化、電氣自動化和信息自動化。面向第四次工業(yè)革命，實現(xiàn)知識自動化是本學科的重要使命，研究以工業(yè)人工智能為代表的新算法、研制以人參與的信息物理系統(tǒng)為代表的新型控制系統(tǒng)，成為本學科領(lǐng)域的兩個主要發(fā)展任務。新一代信息通信技術(shù)飛速發(fā)展，以感知、決策和執(zhí)行為代表的領(lǐng)域基本方

“十四五”規(guī)劃中，腦科學、認知科學、人工智能等相關(guān)領(lǐng)域研究被納入科技前沿攻關(guān)領(lǐng)域，并計劃實施一批具有前瞻性、戰(zhàn)略性的相關(guān)國家重大科技項目。其中，腦與認知啟發(fā)的人工智能研究既有利于突破人工智能前沿基礎(chǔ)理論，又有助于類腦計算與腦機融合技術(shù)研發(fā)實現(xiàn)根本突破，是實現(xiàn)“十四五”規(guī)劃目標的重要抓手。本書將圍繞腦科學、認知科學與人工

智能計算作為人工智能時代的核心生產(chǎn)力，已成為國際計算機科技發(fā)展的焦點，在計算理論、體系架構(gòu)、應用模式等方面迎來顛覆性變革。本書從全球發(fā)展態(tài)勢、我國發(fā)展現(xiàn)狀、未來展望和熱點亮點四個方面介紹智能計算取得的重要進展情況，對智能計算核心器件、關(guān)鍵軟件、計算設備、計算架構(gòu)等全球及我國態(tài)勢、關(guān)鍵技術(shù)產(chǎn)業(yè)進展進行深入研究，希望為我國