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

《Ansys Fluent中文版流场分析从入门到精通》将全面介绍通过Fluent进行流场分析的各种功能和基本操作方法。全书共13章，第1～2章介绍流体力学基础知识和流体流动分析软件，第3～6章介绍DesignModeler、Meshing、Fluent的使用操作，第7～13章结合实例介绍Fluent中常用的计算模型及其在求解流体和传热等工程问题中的方法。
本书配套的电子资源包含书中所有实例的源文件和素材、教学视频，以方便读者学习使用。
本书可作为科研院所流体力学研究人员

本书从电气从业人员熟悉的梯形图入手,逐步引申,详细介绍了基于IEC61131-3标准的可编程控制
器(PLC)如何从使用梯形图编程过渡到使用结构化文本(ST)语言编程。
本书讲解由浅入深,以施耐德电气基于 CODESYS的编程软件 SoMachineV4.3为主要工具,介绍如
何通过ST语言实现梯形图最基本的功能,以及 ST 语言的基本运算、基本语句、函数与功能块的调用,并
结合大量实例,详细阐述 PLC基于ST语言的编程技术以及结构化编程思想。同时,本书以西门子博途和<

"本书以3ds Max 工业场景建模和人物制作的典型案例为主线，采用项目驱动的编写方式，通过大量案例介绍了3ds Max 工业场景设计方向的应用技术。本书旨在让学生通过案例的制作过程，逐渐熟悉3ds Max 软件的功能和操作方法，掌握工业场景建模与人物制作的相关知识和技巧，从而全面提高学生的实践能力和创新设计能力。全书分为10 个项目，内容涵盖了3ds Max 操作基础、基本体建模、二维图形建模、复合对象建模、多边形建模、渲染器、灯光和摄像机、材质与贴图、人物建模和综合实践项目。
本书适合

本书是全国计算机专业技术资格考试办公室编写的《系统集成项目管理工程师考试大纲》（2023年审定通过）。本书还包括人力资源和社会保障部、工业和信息化部的有关文件以及考试简介。
《系统集成项目管理工程师考试大纲》是针对全国计算机技术与软件专业技术资格（水平）考试的中级资格制定的。通过本考试的考生，可被用人单位择优聘任为工程师。

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

基于光纤光敏性原理制作的光纤光栅在光通信、光纤传感器、光纤激光器和其他光电子领域都具有重要的应用。本书探索性地把光纤光敏性的物理基础、光纤光栅的传输理论、光纤光栅光谱特性以及光纤光栅的设计制作方法和主要应用融为一体，为读者提供光纤光栅成栅机理、光纤光栅特性和各种光纤光栅制作方法。

本书是主要讲解如何用Photoshop处理图片和做商业设计的教程，核心内容包括抠图、修图、调色、合成和特效。 全书以案例为主导，这些案例均源自经验丰富的设计师、商业修图师，并由Adobe Photoshop产品专家根据读者的学习习惯进行优化、润色，力求给读者带来最佳的学习体验。讲解案例时注重从实际问题出发，先讲解决问题的思路，再讲如何通过Photoshop实现，这些问题是通过大量的实际调研总结出来的，很有代表性。 随书提供配套资源，包括书中案例所需要的素材文件和部分案例的PSD源文件，还包括配套

剪映是一款功能强大、易于使用的短视频剪辑应用程序。本书旨在教授读者有关使用剪映电脑版进行视频剪辑的基本技巧和方法。 本书内容涵盖了软件安装及界面介绍，剪辑界面的分区和功能，视频剪辑的基本流程，素材轨道和画面裁切的基本操作，关键帧和画面定格的相关操作，声音的处理，利用文本和贴纸给视频锦上添花，画面调节和抠像，制作具有轮播效果的电子相册，制作具有图片汇聚效果的片头，制作钢琴曲卡点翻转切换效果，制作线条切割转场效果，等等。 本书适用于剪映电脑版用户、短视频制作初学者及有一定后期经验的剪辑师。通过阅读本

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