本书主要介绍原型 Petri 网、知识 Petri 网、带有优先级的时间 Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、（抢占式）资源分配、事件的实时性约束等。本书介绍的计算树逻辑、知识计算树逻辑、时间计算树逻辑等可以用于规约这些系统所关注的设计需求，如无死锁、公平性、隐私性、可调度性、最坏执行时间等。本书重点介绍使用这些 Petri 网模型验证以上时序逻辑的算法。另外，本书介绍简化有

本书全面介绍了Cinema 4D各项核心技术及其实战应用，共12章。首先讲解了Cinema 4D的基础操作，然后讲解了多种建模技术，接着讲解了Cinema 4D的灯光、环境、摄像机、材质、纹理和渲染技术等，之后讲解了Octane Render的使用方法，最后通过16个商业实战案例讲解了海报设计、包装设计、插画设计、卡通角色与场景设计、产品渲染表现的技法。本书内容全面系统，适合平面设计师、电商设计师，以及使用Octane Render的设计师阅读。同时，本书也可以作为相关培训机构的教材。

什么是 Stable Diffusion？简而言之，Stable Diffusion 是一款 AI 绘画工具。本书从零开始讲述了AI绘画的基本知识具体讲解Stable Diffusion这个开源绘画引擎工具的本地部署使用和各种基本技巧。内容包括Stable Diffusion 简介、Stable Diffusion 安装和配置、Stable Diffusion 基础功能、Stable Diffusion 高级技巧、Stable Diffusion 实战案例。

本书共11个单元，用通俗易懂的语言和丰富的案例，详细讲解Vue.js 3的相关技术和知识，具体内容包括Vue.js 3入门基础、基础语法、组件基础、组件进阶、过渡和动画、组合式API、与后端交互——axios、路由管理——Vue Router、状态管理——Vuex、构建工程化的Vue项目，以及工程化项目实战：图片素材库网站。 本书配套丰富的教学资源，包括教学PPT、源代码、教案及习题等。 本书可作为高等教育本、专科院校计算机相关专业的教材，也可作为网站开发爱好者的自学读物。

《Spring Boot+Vue.js企业级管理系统实战》以一个完整的全栈微服务项目为主线，详细阐述项目的技术架构、开发流程和技术要点，包括Vue.js前端技术、Spring Boot后端技术和Spring Cloud Alibaba微服务技术和中间件技术。本书主要内容包括：项目技术架构，Vue.js实例和指令，Element-UI控件，Vue.js方法、监听器和事件处理，前端组件和前端布局，用Vuex实现组件间的交互，Spring Boot项目的基本框架，后端控制器和Swagger组件，后端业

新一轮科技革命和产业革命加速演进，算力为越来越多的行业数字化转型注入新动能，综合算力作为集算力、存力、运力于一体的新型生产力，成为支撑数字经济发展的重要力量。本书阐述了综合算力的内涵和定义，构建了涵盖算力、存力、运力、环境等关键因素的综合算力指数体系，多维度客观分析我国和31个省（自治区、直辖市）综合算力的发展情况，详细阐述了算力、存力、运力的发展现状、发展情况、技术创新、发展趋势等内容，聚焦智能算力、算力调度等重点领域，给出推动综合算力发展的建议，为我国综合算力的技术创新与基础设施建设提供参考

本书全面、深入地介绍NFT，不仅包含元宇宙与数字经济相关内容，还深入讲解NFT与数字化权益。全书共9章，第1章主要介绍NFT概念和发展史；第2章介绍NFT的创建与流通，包括创建NFT、发布和获取NFT以及NFT社群的相关内容；第3章主要介绍NFT与数字艺术，包括AI艺术和数字化设计的相关内容；第4章深入讲解NFT涉及的技术栈，如IPFS、区块链等；第5章介绍NFT的诸多应用，涉及音乐、游戏、数字藏品等方向；第6章探寻NFT的生态构建，包括技术生态、产业链等；第7章讲解NFT与数字经济，主要围绕数

本书不仅介绍了如何测量CPU、内存、磁盘/SSD、网络的性能，如何观察、记录、跟踪、汇总性能指标，还讨论了如何设计和创建性能测试工具KUtrace，以及如何对观察结果进行推理。 本书不仅适合软件开发人员阅读，还适合计算机相关专业的师生参考。

本书以Adobe After Effects软件为平台，以影视项目（商业案例）制作流程为主线，以影视制作职业能力培养为目标，以技能应用为切入点，详细讲解了该软件在影视编辑、合成、动画、特效制作中的典型应用和综合应用。本书主要内容包括2大部分，第一部分为Adobe After Effects软件基础篇，第二部分是商业案例实战篇，实战篇又分8个模块讲解该软件的综合运用。本书主要面向影视编辑与特效制作的初、中级读者，尤其适合高职院校数字媒体、动漫和多媒体技术等专业（电子信息大类）的教与学，同时也可作为

本书以国产MCGS嵌入版组态软件为例，介绍了MCGS触摸屏组态软件的构成及应用领域，其内容涵盖MCGS触摸屏组态控制技术的各个环节。