本書主要介紹原型 Petri 網(wǎng)、知識(shí) Petri 網(wǎng)、帶有優(yōu)先級(jí)的時(shí)間 Petri網(wǎng)，用于對(duì)有限狀態(tài)并發(fā)系統(tǒng)控制流、安全多方計(jì)算協(xié)議、多處理器搶占式實(shí)時(shí)系統(tǒng)等在一定層級(jí)上的抽象建模，如刻畫并發(fā)、選擇、沖突、多方交互、多方認(rèn)知過(guò)程、（搶占式）資源分配、事件的實(shí)時(shí)性約束等。本書介紹的計(jì)算樹邏輯、知識(shí)計(jì)算樹邏輯、時(shí)間計(jì)算樹邏輯等可以用于規(guī)約這些系統(tǒng)所關(guān)注的設(shè)計(jì)需求，如無(wú)死鎖、公平性、隱私性、可調(diào)度性、最壞執(zhí)行時(shí)間等。本書重點(diǎn)介紹使用這些 Petri 網(wǎng)模型驗(yàn)證以上時(shí)序邏輯的算法。另外，本書介紹簡(jiǎn)化有
《Ansys Fluent中文版流場(chǎng)分析從入門到精通》將全面介紹通過(guò)Fluent進(jìn)行流場(chǎng)分析的各種功能和基本操作方法。全書共13章，第1～2章介紹流體力學(xué)基礎(chǔ)知識(shí)和流體流動(dòng)分析軟件，第3～6章介紹DesignModeler、Meshing、Fluent的使用操作，第7～13章結(jié)合實(shí)例介紹Fluent中常用的計(jì)算模型及其在求解流體和傳熱等工程問(wèn)題中的方法。本書配套的電子資源包含書中所有實(shí)例的源文件和素材、教學(xué)視頻，以方便讀者學(xué)習(xí)使用。本書可作為科研院所流體力學(xué)研究人員
本書從電氣從業(yè)人員熟悉的梯形圖入手,逐步引申,詳細(xì)介紹了基于IEC61131-3標(biāo)準(zhǔn)的可編程控制器(PLC)如何從使用梯形圖編程過(guò)渡到使用結(jié)構(gòu)化文本(ST)語(yǔ)言編程。本書講解由淺入深,以施耐德電氣基于 CODESYS的編程軟件 SoMachineV4.3為主要工具,介紹如何通過(guò)ST語(yǔ)言實(shí)現(xiàn)梯形圖最基本的功能,以及 ST 語(yǔ)言的基本運(yùn)算、基本語(yǔ)句、函數(shù)與功能塊的調(diào)用,并結(jié)合大量實(shí)例,詳細(xì)闡述 PLC基于ST語(yǔ)言的編程技術(shù)以及結(jié)構(gòu)化編程思想。同時(shí),本書以西門子博途和<
"本書以3ds Max 工業(yè)場(chǎng)景建模和人物制作的典型案例為主線，采用項(xiàng)目驅(qū)動(dòng)的編寫方式，通過(guò)大量案例介紹了3ds Max 工業(yè)場(chǎng)景設(shè)計(jì)方向的應(yīng)用技術(shù)。本書旨在讓學(xué)生通過(guò)案例的制作過(guò)程，逐漸熟悉3ds Max 軟件的功能和操作方法，掌握工業(yè)場(chǎng)景建模與人物制作的相關(guān)知識(shí)和技巧，從而全面提高學(xué)生的實(shí)踐能力和創(chuàng)新設(shè)計(jì)能力。全書分為10 個(gè)項(xiàng)目，內(nèi)容涵蓋了3ds Max 操作基礎(chǔ)、基本體建模、二維圖形建模、復(fù)合對(duì)象建模、多邊形建模、渲染器、燈光和攝像機(jī)、材質(zhì)與貼圖、人物建模和綜合實(shí)踐項(xiàng)目。本書適合
本書是全國(guó)計(jì)算機(jī)專業(yè)技術(shù)資格考試辦公室編寫的《系統(tǒng)集成項(xiàng)目管理工程師考試大綱》（2023年審定通過(guò)）。本書還包括人力資源和社會(huì)保障部、工業(yè)和信息化部的有關(guān)文件以及考試簡(jiǎn)介。《系統(tǒng)集成項(xiàng)目管理工程師考試大綱》是針對(duì)全國(guó)計(jì)算機(jī)技術(shù)與軟件專業(yè)技術(shù)資格（水平）考試的中級(jí)資格制定的。通過(guò)本考試的考生，可被用人單位擇優(yōu)聘任為工程師。
本書全面介紹了Cinema 4D各項(xiàng)核心技術(shù)及其實(shí)戰(zhàn)應(yīng)用，共12章。首先講解了Cinema 4D的基礎(chǔ)操作，然后講解了多種建模技術(shù)，接著講解了Cinema 4D的燈光、環(huán)境、攝像機(jī)、材質(zhì)、紋理和渲染技術(shù)等，之后講解了Octane Render的使用方法，最后通過(guò)16個(gè)商業(yè)實(shí)戰(zhàn)案例講解了海報(bào)設(shè)計(jì)、包裝設(shè)計(jì)、插畫設(shè)計(jì)、卡通角色與場(chǎng)景設(shè)計(jì)、產(chǎn)品渲染表現(xiàn)的技法。本書內(nèi)容全面系統(tǒng)，適合平面設(shè)計(jì)師、電商設(shè)計(jì)師，以及使用Octane Render的設(shè)計(jì)師閱讀。同時(shí)，本書也可以作為相關(guān)培訓(xùn)機(jī)構(gòu)的教材。
基于光纖光敏性原理制作的光纖光柵在光通信、光纖傳感器、光纖激光器和其他光電子領(lǐng)域都具有重要的應(yīng)用。本書探索性地把光纖光敏性的物理基礎(chǔ)、光纖光柵的傳輸理論、光纖光柵光譜特性以及光纖光柵的設(shè)計(jì)制作方法和主要應(yīng)用融為一體，為讀者提供光纖光柵成柵機(jī)理、光纖光柵特性和各種光纖光柵制作方法。
本書是主要講解如何用Photoshop處理圖片和做商業(yè)設(shè)計(jì)的教程，核心內(nèi)容包括摳圖、修圖、調(diào)色、合成和特效。 全書以案例為主導(dǎo)，這些案例均源自經(jīng)驗(yàn)豐富的設(shè)計(jì)師、商業(yè)修圖師，并由Adobe Photoshop產(chǎn)品專家根據(jù)讀者的學(xué)習(xí)習(xí)慣進(jìn)行優(yōu)化、潤(rùn)色，力求給讀者帶來(lái)最佳的學(xué)習(xí)體驗(yàn)。講解案例時(shí)注重從實(shí)際問(wèn)題出發(fā)，先講解決問(wèn)題的思路，再講如何通過(guò)Photoshop實(shí)現(xiàn)，這些問(wèn)題是通過(guò)大量的實(shí)際調(diào)研總結(jié)出來(lái)的，很有代表性。 隨書提供配套資源，包括書中案例所需要的素材文件和部分案例的PSD源文件，還包括配套
剪映是一款功能強(qiáng)大、易于使用的短視頻剪輯應(yīng)用程序。本書旨在教授讀者有關(guān)使用剪映電腦版進(jìn)行視頻剪輯的基本技巧和方法。 本書內(nèi)容涵蓋了軟件安裝及界面介紹，剪輯界面的分區(qū)和功能，視頻剪輯的基本流程，素材軌道和畫面裁切的基本操作，關(guān)鍵幀和畫面定格的相關(guān)操作，聲音的處理，利用文本和貼紙給視頻錦上添花，畫面調(diào)節(jié)和摳像，制作具有輪播效果的電子相冊(cè)，制作具有圖片匯聚效果的片頭，制作鋼琴曲卡點(diǎn)翻轉(zhuǎn)切換效果，制作線條切割轉(zhuǎn)場(chǎng)效果，等等。 本書適用于剪映電腦版用戶、短視頻制作初學(xué)者及有一定后期經(jīng)驗(yàn)的剪輯師。通過(guò)閱讀本
什么是 Stable Diffusion？簡(jiǎn)而言之，Stable Diffusion 是一款 AI 繪畫工具。本書從零開始講述了AI繪畫的基本知識(shí)具體講解Stable Diffusion這個(gè)開源繪畫引擎工具的本地部署使用和各種基本技巧。內(nèi)容包括Stable Diffusion 簡(jiǎn)介、Stable Diffusion 安裝和配置、Stable Diffusion 基礎(chǔ)功能、Stable Diffusion 高級(jí)技巧、Stable Diffusion 實(shí)戰(zhàn)案例。
新書資訊 新書推薦