本書主要研究決策蘊涵的邏輯理論及形式概念分析中的知識表示與推理。具體內(nèi)容包括：決策蘊涵、模糊決策蘊涵和可變決策蘊涵的邏輯理論,決策蘊涵規(guī)范基和模糊決策蘊涵規(guī)范基的邏輯理論,決策蘊涵規(guī)范基的生成方法和性能分析,決策蘊涵的知識表示能力及其與概念規(guī)則和粒規(guī)則的比較,模糊屬性約簡等。

本書結(jié)合作者在數(shù)據(jù)安全領(lǐng)域的教學和科研實踐，提出了完整的數(shù)據(jù)安全概念與體系，介紹了數(shù)據(jù)安全理論與技術(shù)知識及其前沿研究進展。本書內(nèi)容包括基礎(chǔ)篇和高級篇。基礎(chǔ)篇介紹數(shù)據(jù)安全密碼技術(shù)基礎(chǔ)，數(shù)據(jù)保密性、完整性、認證性、訪問控制、可用性，以及數(shù)據(jù)庫安全和數(shù)據(jù)安全管理等內(nèi)容；高級篇介紹云數(shù)據(jù)存儲安全與訪問安全、數(shù)據(jù)計算安全、數(shù)據(jù)可

多智能體系統(tǒng)協(xié)調(diào)控制是控制領(lǐng)域的研究熱點，正滲透到社會系統(tǒng)、生物系統(tǒng)、軍事系統(tǒng)、經(jīng)濟系統(tǒng)等眾多領(lǐng)域中，其相關(guān)的研究已成為目前學術(shù)界一個具有挑戰(zhàn)性的研究課題。本書系統(tǒng)地介紹作者近年來在多智能體系統(tǒng)的協(xié)調(diào)分析與控制領(lǐng)域的研究成果，具體內(nèi)容包括線性多智能體系統(tǒng)的有限時間編隊跟蹤控制、包含控制、編隊包含控制，以及非線性**者-

ChatGPT顛覆了互聯(lián)網(wǎng)格局。本書緊跟技術(shù)前沿，是一本針對ChatGPT的超級實戰(zhàn)指南。本書介紹了ChatGPT的發(fā)展歷史與常用功能，剖析講授了其初階、進階、高階操作，枚舉解析了27個有趣的應(yīng)用例子、75個高級提示例子，以及100多條商業(yè)變現(xiàn)思路。本書摒棄繁雜理論，尤重實用性；又以內(nèi)容充實、案例豐富為特色；同時采用場

本書詳細介紹了PS圖像處理的操作技能，既注重理論知識的介紹，又注重典型案例的演示，實操性很強。 全書共8章，第1~6章介紹了圖像的基礎(chǔ)處理方法、圖像細節(jié)的修飾、圖像顏色的調(diào)整、圖像特效的應(yīng)用、圖像繪制的方法、圖像的摳取與合成；第7、8章通過實際案例，對圖像和人像的處理進行了專門講解，讓讀者能更好地掌握前面所學內(nèi)容，達到

本書以圖解的形式循序漸進地對剪映的應(yīng)用技巧進行了講解，幫助讀者快速掌握利用剪映進行短視頻剪輯與制作的要領(lǐng)。全書共8章，分別介紹了視頻的基礎(chǔ)剪輯操作，視頻信息的文字處理，音頻、音效的添加，高級大片濾鏡的應(yīng)用，爆款特效的制作，以及驚奇視覺效果的轉(zhuǎn)場，并結(jié)合案例講解不同類型短視頻的制作方法。書中重難點一目了然，案例安排貼近實

本書介紹Web應(yīng)用安全相關(guān)知識，包括Web應(yīng)用技術(shù)基礎(chǔ)和Web應(yīng)用安全技術(shù)兩部分，共13章。第1章為Web應(yīng)用概述，第2章為Web前端原理與編程，第3章為Web服務(wù)器原理與編程，第4章為HTTP原理，第5章為MVC模式，第6章為Web應(yīng)用安全簡介，第7章為Web應(yīng)用前端安全，第8章為Web應(yīng)用服務(wù)器端安全，第9章為HT

本書全面介紹了區(qū)塊鏈的基礎(chǔ)知識，包括區(qū)塊鏈概述、區(qū)塊鏈密碼學、P2P網(wǎng)絡(luò)、共識算法、智能合約、區(qū)塊鏈經(jīng)典應(yīng)用、區(qū)塊鏈應(yīng)用案例、區(qū)塊鏈技術(shù)生態(tài)等。此外，本書還涉及不少前沿知識技術(shù)的介紹，包括區(qū)塊鏈在數(shù)字經(jīng)濟、元宇宙、Web3.0和NFT中的應(yīng)用等，以便讀者加深對于區(qū)塊鏈技術(shù)的理解。本書既可以作為高等院校區(qū)塊鏈、計算機等信

本書以數(shù)字邏輯為中心展開，注重基礎(chǔ)概念，加強數(shù)字系統(tǒng)和VerilogHDL相關(guān)知識的介紹。主要內(nèi)容有：數(shù)字電路基礎(chǔ)、邏輯門、邏輯函數(shù)及組合邏輯電路、常用組合邏輯電路及層次化設(shè)計、VerilogHDL設(shè)計基礎(chǔ)、存儲記憶器件、常用時序邏輯電路、時序邏輯電路及數(shù)字系統(tǒng)、脈沖波形的產(chǎn)生和整形、數(shù)模轉(zhuǎn)換器和模數(shù)轉(zhuǎn)換器等。本書提供

越來越多的機器人正走向人們的生活及生產(chǎn)環(huán)境，機器人操作系統(tǒng)（RobotOperatingSystem，ROS）作為一種重要的軟件開發(fā)框架，提高了機器人系統(tǒng)的開發(fā)與部署效率，在分工協(xié)作、軟件維護和系統(tǒng)擴展中具有重要意義。本書以任務(wù)為驅(qū)動，按照工作導向的思路展開教學與實踐學習，通過“學中做、做中學”的方式，循序漸進地介紹機