本书针对航空发动机关键部件如尾喷管、主轴轴承等对应的高温/高旋极端工况环境下温度、压力、转速等多参数在线精准测试需求，创新性地提出了耐高温敏感器件及测试系统的设计制备及验证方法，主要分析并设计了耐高温传感器件的敏感机理、制备工艺、转换电路、整体封装，集成信号采集、上位机软件补偿算法并实现耐高温高精度压力测试系统与旋转轴

本书共有8章，主要包括Python基础知识、基本数据类型、列表和元组、字典和集合、流程控制、文件、函数和模块、类。本书每一章都有明确的学习目标，每一节都按照“任务单→任务实施→相关知识→拓展任务→任务评价表”顺序编写。每节都有丰富的案例丰富，案例实用、富含思政元素，方便读者学练结合，提升程序开发能力，提升职业素养。在学

本书引入区块链技术构建种质资源数据安全共享模型，重点解决种质资源数据安全共享过程中的数据存储问题、安全问题和用户管理问题。主要工作内容如下：基于区块链的种质资源数据共享方案，针对用户身份数据和种质资源数据提出“IPFS+区块链”的链上链下协同存储模型，构建种质数据上链的合约及对应的上链交互函数，设计了链下存储种质数据的

本书分为9大任务，分别为搭建Spark开发环境、项目数据采集、探索Scala编程方法、揭秘弹性分布数据集、数据可视化、综合实践等。内容设计循序渐进，从Spark基础环境搭建开始，逐步引领读者步入spark的广阔世界。

本书共6个项目，内容涵盖信息素养与社会责任、WPS文档处理、WPS表格应用、WPS演示文稿制作、信息检索技巧以及新一代信息技术实践。本书紧扣教材内容、注重实践、题型多样、题量丰富，学生通过对信息技术技能的学习与应用实践，可增强信息意识，提升逻辑思维能力和解决问题能力。每个项目均设有明确的技能目标和思政目标，通过一系列精

本书重点介绍了基于矛盾体分离理论的一阶逻辑自动定理证明器的各个组成部分、系统构建、演绎过程验证和实验评估，设计实现了基于矛盾体分离演绎的一阶逻辑自动定理证明器、基于矛盾体分离演绎的一阶逻辑自动定理证明融合系统、基于矛盾体分离演绎的一阶逻辑自动定理证明验证检查工具，涵盖了用于一阶逻辑自动定理证明的整个体系。

本书针对信息内容安全对抗，阐述了信息内容安全相关的主要概念，通过项目组及国内外信息内容安全相关的重大研究项目，体系化地分析了攻守双方的对抗技术，并构建了主动认知安全的框架。第1章阐述了信息内容安全、认知对抗的概念和认知对抗的经典周期模型。第2章介绍了美国国防高级计划研究局、美国自然科学基金以及其他相关研究。第3-6章按

本教材以实际应用场景为导向，以短小精悍的案例为引领，培养学生综合运用OpenCV视觉库进行图像处理的能力。充分利用校企合作的优势，在真实的工作情境中突出工学结合，选择典型的工作任务为实训任务，实现实训与生产相结合。主要内容包括OpenCV简介、开发环境配置、数字图像基础、图像基本操作，图形绘制，几何变换，平滑滤波，阈值

本书主要研究退化视觉图像智能清晰化发展的理论、相关应用以及评价方法。本书首先系统梳理了图像清晰化技术的理论与发展，阐明神经网络、机器学习和深度学习等基本概念、模型、方法对图像清晰化理论的意义；然后针对主客观物体移动、非均质雾霭、雨痕以及雨水累积效应等诸多影响图像退化的干扰因素，着重研究“图像去雾”“图像去雨”和“图像去

全书共有11章，主要介绍了Python语言的程序设计方法，并按照循序渐进的原则，采用程序带动语法的方式，引导读者在实践中掌握核心编程思想，有助于读者提高编程及应用开发能力。本书各章内容前后衔接、深入浅出，选用了大量的程序设计语言经典实例来讲解程序设计的方法，每章配有课后习题供读者练习。