本书全面系统地介绍了模型检验的一般原理、应用工具及软硬件系统的建模与验证方法，同时介绍了克服模型检验中“状态空间爆炸”问题的有效途径。

本书概述了信息隐藏技术的基本概念、主要分支等基本知识，全面阐释了图像可逆信息隐藏技术的基本模型、研究现状、评价指标、应用场景和常用方法，从空间域算法、压缩域算法、对称加密域算法、公钥加密域算法、生成式算法等不同类型出发，结合作者以及所在团队近年来在该领域取得的主要研究成果，对相关研究背景以及前沿算法进行了系统介绍与探讨

本书结合了新媒体文化发展特点，对Animate动画实践教学方法做了多项改革和创新。将Animate软件及其他数字设备相结合，达到培养学生实践动手能力的目的，并借助案例详解和逐步分析法，将所涉及的技术点和实验经验逐一阐述，具体涉及到以下两大部分：第一部分是Animate基本动画实践创作，包括第1章动画实验基础知识；第2章

在国家政策支持下，2020年我国网络可信身份服务业发展迅猛，规模持续增加，企业成长迅速，技术逐渐成熟。本书分析了国外相关经验和做法，研究了我国网络可信身份服务业的发展现状、特点和问题，追踪了行业最佳实践，明晰了网络可信身份战略的实施路径。本书共26章，包括综合篇、国际篇、政策法规篇、产业与应用篇、企业篇、热点篇和展望篇

本书系统地介绍了网络组建技术、管理技术以及网络系统维护技术等方面的相关内容，通过"画拓扑、做网线、组网络、装系统、配协议、接外网、会应用、懂防护、排故障”9个工作任务的展开将局域网、Internet到物联网最新和最实用的网络技术尽可能涵盖。各章节的实训内容采用任务流程明确的工作手册模式，每个章节知识点配有在线教学课件及

本书以教育部全国职业院校技能大赛“网络空间安全”赛项为主线编写，内容涵盖企业信息安全工程师所需岗位能力的要求。本书内容明确，操作步骤清晰，具有较强的实用性，适合作为职业院校及培训机构的实训教材和参考用书，也可作为参加全国职业院校技能大赛“网络空间安全”赛项教师和学生的参考用书。

本书为AutoCAD计算机辅助设计绘图员（机械类）技能实训教学的指导书，内容包括AutoCAD计算机辅助设计绘图员（机械类）技能训练的训练要求与题型说明、训练题详解、模拟训练题。本书既可作为技工院校、职业院校机械类、机电类或其他相近专业的教材使用，又可作为计算机辅助设计绘图人员及AutoCAD爱好者的自学参考资料。

本教材从初识虚幻引擎、材质系统、蓝图、粒子系统、动画系统、游戏UI、光效处理、VR硬件平台搭建8个方面详细讲解了虚幻引擎及相关设备的使用方法。项目1初识虚幻引擎，讲解如何获取并安装虚幻引擎，并以简单模型为例讲述使用虚幻引擎制作VR场景的流程。项目2材质系统，讲解基于物理的材质、贴图和视频材质的制作方式，以及材质实例和材

本书全面阐述了Cinema4D的材质与灯光设置方面的知识。全书分为两篇：第1篇，材质篇，主要介绍玻璃材质、布料材质、发光材质、化妆品材质、金属材质和矿石材质等多种材质的制作方法；第2篇，布光篇，主要介绍产品布光、室内外场景布光、各类灯光和阴影的设置方法。本书配套资源及作者在线教学服务如下。赠送2000分钟“C4D基础建

《中文版AutoCAD2021完全自学教程》是一本系统讲解AutoCAD2021软件的自学宝典。本书以“完全精通AutoCAD2021”为出发点，以“用好AutoCAD”为目标来安排内容。全书共4篇24章，详细讲解了AutoCAD2021软件的基本操作、AutoCAD制图规范及室内装饰设计、建筑设计、机械设计、园林景观