SystemVerilog硬件設(shè)計

數(shù)據(jù)是數(shù)智時代的關(guān)鍵生產(chǎn)要素，通過高效有序的跨域流通過程可以實現(xiàn)其價值釋放。本書圍繞跨域數(shù)據(jù)治理，提出數(shù)據(jù)驅(qū)動的社會化信息系統(tǒng)構(gòu)建理論，梳理總結(jié)形成數(shù)據(jù)資源體系、服務(wù)支撐體系和業(yè)務(wù)應(yīng)用體系的三層體系框架。在此基礎(chǔ)上，介紹跨域數(shù)據(jù)治理的三層體系框架中的關(guān)鍵技術(shù)突破，其中，數(shù)據(jù)資源體系著眼于實現(xiàn)以數(shù)據(jù)資源對象化為基礎(chǔ)的數(shù)據(jù)

《生成式AI繪畫：StableDiffusion從基礎(chǔ)到實戰(zhàn)》一書用簡潔而又生動的語言，全方位地解讀了生成式人工智能繪畫的原理、歷史沿革、倫理道德等，同時，通過對StableDiffusion平臺的全面介紹，以經(jīng)典案例和典型行業(yè)應(yīng)用（建筑設(shè)計、動漫設(shè)計、平面設(shè)計）為載體，解讀了用人工智能進(jìn)行繪畫的思路與步驟，內(nèi)容包含了

人工智能是引領(lǐng)未來的新興戰(zhàn)略性技術(shù)，可以在推動新一輪科技革命和產(chǎn)業(yè)變革的過程中產(chǎn)生深刻影響。 本書深度解讀了人工智能的概念、技術(shù)架構(gòu)，以及生成式人工智能的邏輯與應(yīng)用；全面解析了人工智能在醫(yī)療、生活、金融、教育、媒體、安防、汽車、工業(yè)制造等行業(yè)的融合應(yīng)用與發(fā)展；同時深入剖析了人工智能的創(chuàng)業(yè)前景，以及人工智能時代的教育和自

本書全面介紹了圖神經(jīng)網(wǎng)絡(luò)的基礎(chǔ)和前沿內(nèi)容，以及圖表示學(xué)習(xí)的基本概念和定義，并討論了高級圖表示學(xué)習(xí)方法的發(fā)展，旨在幫助研究人員和從業(yè)者了解圖神經(jīng)網(wǎng)絡(luò)的基本問題。此外，本書探討了圖神經(jīng)網(wǎng)絡(luò)的幾個前沿主題，包括利用圖數(shù)據(jù)描述社會科學(xué)、化學(xué)和生物學(xué)等領(lǐng)域的真實數(shù)據(jù)的關(guān)系，還介紹了圖神經(jīng)網(wǎng)絡(luò)的若干前沿趨勢，能夠幫助讀者進(jìn)一步掌握

內(nèi)容提要 本書構(gòu)建了模塊化、層次化的課程結(jié)構(gòu)，全書共9個模塊，以真實工作任務(wù)為載體組織教學(xué)內(nèi)容，強化技能訓(xùn)練，能有效提升讀者的動手能力。全書圍繞“網(wǎng)上商城”數(shù)據(jù)庫和72項操作任務(wù)展開，采用任務(wù)驅(qū)動式的教學(xué)方法，全方位促進(jìn)讀者數(shù)據(jù)庫應(yīng)用與管理能力的提升。 本書以引導(dǎo)讀者主動學(xué)習(xí)、高效學(xué)習(xí)、快樂學(xué)習(xí)為目標(biāo)，選擇教學(xué)內(nèi)容與教

本書全面、系統(tǒng)地介紹3dsMax2020的基本操作方法和動畫制作技巧，包括3dsMax2020概述、創(chuàng)建常用的幾何體、創(chuàng)建二維圖形、編輯修改器、復(fù)合對象的創(chuàng)建、材質(zhì)與貼圖、創(chuàng)建燈光和攝影機、動畫制作技術(shù)、粒子系統(tǒng)、常用的空間扭曲、環(huán)境特效動畫、高級動畫設(shè)置和綜合設(shè)計實訓(xùn)等內(nèi)容。 本書以課堂案例為主線，通過案例操作，學(xué)生

內(nèi)容提要 本書全面、系統(tǒng)地介紹Illustrator2020的基本操作和核心功能，包括初識Illustrator、Illustrator基礎(chǔ)知識、常用工具、圖層與蒙版、繪圖、高級繪圖、圖表、特效和商業(yè)案例等內(nèi)容。 本書內(nèi)容以課堂案例為主線，每個案例都有詳細(xì)的操作步驟，學(xué)生通過實際操作可以快速熟悉軟件功能和設(shè)計思路。書中

本書介紹了ISO/IEC15026系列標(biāo)準(zhǔn)中的系統(tǒng)和軟件保證方法——軟件保證舉證。全書共6章，首先概述了軟件保證舉證的相關(guān)知識，接著詳細(xì)介紹了軟件安全性舉證、軟件可靠性舉證、軟件保密性舉證和軟件可信性舉證的基礎(chǔ)知識、舉證框架、論證模式及應(yīng)用實例，最后給出了基于非形式邏輯理論的軟件保證舉證信心評定方法。 本書適合從事軟件

本書倡導(dǎo)在計算機迅速發(fā)展、技術(shù)不斷革新的今天，回歸到計算機的基礎(chǔ)知識上。通過探究計算機的本質(zhì)，工程師將提升對計算機的興趣，在面對復(fù)雜的新技術(shù)時，能夠迅速掌握其要點并靈活運用。本書以圖配文，以計算機的三大原則為開端，相繼介紹了計算機的結(jié)構(gòu)、手工匯編、程序流程、算法、數(shù)據(jù)結(jié)構(gòu)、面向?qū)ο缶幊�、�?shù)據(jù)庫、TCP/IP網(wǎng)絡(luò)、數(shù)據(jù)加