本书介绍分组密码的自动化分析技术及应用，围绕团队提出的本源性概念——可追溯模式，介绍多种分组密码攻击方法的自动化技术，包括差分分析、中间相遇攻击、不可能差分分析、旋转异或差分分析、零相关线性分析、积分攻击等。在应用方面，本书以这些攻击方法的自动化技术作为基础，对大量分组密码算法的安全性进行分析，如韩国ISO国际标准HI

本书以半导体工艺和器件的仿真为主线，按照由简入繁、由低及高的原则循序深入，从仿真的数理基础及对TCAD/WebTCAD的认识出发、以半导体工艺基础及器件基础为知识储备，引出对基于WebTCAD的二维工艺仿真及二维器件仿真的详细介绍，并在此基础上介绍WebTCAD的实例库及具体应用，从而达到能熟练使用WebTCAD来进行

本书是作者多年静电防护工作经验的总结，全书共14章，分为4篇，第一篇从电子产品生产中常见的静电起电方式出发，介绍了静电起电、人体静电、静电放电，分析了静电的起电机理、消散过程和影响因素等，从而引出数字化静电防护；第二篇介绍了静电防护和测试的基本方法；第三篇详细介绍静电防护数字化方法及静电防护数字化平台；第四篇介绍静电防

本书基于作者多年的工作经验和对软件功能的深入理解，以快速学习套件和问答形式，系统讲解了Candence?Virtuoso?ADE产品套件知识和使用技巧，全书共9章。第1章为入门引导，介绍了产品套件及电路仿真设置、数据处理等操作，提及实时调校仿真与蒙特卡罗分析。第2章和第3章分别阐述了进阶仿真方式和实用电路分析工具。第4

在移动互联网浪潮席卷全球的今天，短视频以其独特的传播优势迅速成为信息传播与文化交流的重要载体。同时，AIGC技术的兴起为短视频创作带来了革命性的变化。本书系统地讲解了借助AIGC工具进行短视频创作的方法和技巧，共分为9章，分别是AIGC与短视频创作概述、AIGC工具与提示词的应用、AIGC+短视频策划、AIGC+短视频

本书以DeepSeek等AI工具为核心工具，以项目实战为主线，系统讲解AI助力新媒体全链路高效运营的方法和技巧。随书赠送149页教学PPT、107个素材效果文件、76组AI提示词、60集教学演示视频，全方位降低实操门槛，助力短视频运营经理及相关人员快速掌握AI短视频运营技能。 全书分为岗位与效率、多平台短视频账号运营实

本书系统研究基于李群状态表示的惯性基导航理论与方法，分别从惯性导航机械编排方案和李群状态表示两个角度开展研究，以构建具有群仿射特性的惯导编排为目标，推导独立于导航解算结果的惯导线性误差模型，实现惯性基高精度、一致性组合导航。全书共6章，内容包括惯性基导航传统误差模型性能分析、惯性系机械编排下基于李群状态表示的惯性基导航

古代人骑马、开船，现代人驱车、驾机，甚至乘火箭遨游太空，这些都需要导航。导航是确定当前位置、寻找前往目的地的技术和方法。导航发展的过程，也是人类认识世界的过程，其中充满了人类的智慧，但也不乏惨痛的教训。本书通过对各种导航方法发展过程的详细介绍，展现古代人和现代人把导航方面的一个个奇思妙想转为现实的曲折故事。 在我国独具

本书立足职业教育的教学要求，全面落实立德树人的根本任务，按照教育部专业目录的教学要求编写。教材系统介绍了短视频制作与运营的相关知识和操作技能，包括走进短视频、短视频选题与策划、短视频的拍摄、短视频的后期制作、短视频运营、短视频制作与运营综合实训等内容。本书通过项目任务讲解相关知识点，以任务驱动工作，化理论为实践、化抽象

本书作为AI短视频创作领域的实用指南，系统、全面地梳理了从创意构思到成片输出的全流程技术。全书以理论精讲实操落地双轨并行的逻辑架构，通过入门基础工具解析场景实战三大模块，帮助读者快速掌握AI短视频制作的核心技能。全书共11章，第1章介绍AI短视频创作的零基础入门知识，详细拆解AI短视频创作流程、技术优势与行业挑战，深入