本书在介绍计算复杂性理论基础的同时，融合了格计算复杂性理论和计算复杂性在密码学中的相关应用。本书首先介绍计算可行性和计算复杂性理论的发展历程，然后通过图论、逻辑以及格中经典计算问题的求解算法实例介绍计算复杂性研究方法，最后详细介绍了计算复杂性理论，主要包括计算模型、计算复杂类、归约与完备性理论、相对化方法、coNP、多项式谱系、概率算法、交互证明等，通过定理、习题、例题等让读者了解计算复杂性在密码学中的应用。

本书在深入了解工程信息化保障系统业务流程执行语言BPEL（businessprocess execution language）工作流的基础上，结合面向服务的计算和传统软件工程领域软件测试的相关技术，开展了面向动态环境的服务组合测试技术的研究工作。全书共包含9章，第1章绪论；第2到第7章对面向动态环境的服务组合测试技术关键技术点进行介绍，并在每章结尾进行实验验证和结果分析；第8章为测试支撑系统介绍；第9章为测试应用案例。本书可供从事面向服务的体系架构测试的技术和研究人员阅读。

本书主要包括高压物理学简介、有机-无机杂化钙钛矿概述、原位高压实验测量技术等内容，并以全无机钙钛矿铯铅碘CsPbI3 为对象，通过高压阻抗谱、变温高压四电极电阻测量、高压红外反射、拉曼、紫外-可见吸收、同步辐射X射线粉末衍射等实验和第一性原理计算，解释内部机理；通过二维有机杂化钙钛矿（PA）8Pb5I18的高压荧光、紫外-可见吸收、同步辐射XRD和时域荧光光谱实验，提出的自陷态模型很好的解释了荧光得增强；（PMA）2PbI4的结构和光学性质可以通过压力极大地调节，提出氢键增强导致PbI6八面体变形解释了光学和结构变化；发现EAPbI3的压致结构变化等具体内容。

本书针对综采工作面围岩控制与液压支架智能自适应支护难题，从智能化综采工作面开采模式、采场覆岩三项采动应力时空演化规律、采场围岩断裂失稳力学模型、液压支架参数优化与支护失效机理、液压支架支护状态感知与预测方法、液压支架智能自适应支护与评价方法等方面进行了详细介绍，对开展综采工作面智能化建设应用具有指导意义和推广价值。作者在过去十几年的时间内聚焦“采场围岩自适应支护”研究主题，以复杂采动应力诱发顶板与煤壁损伤破坏、围岩断裂失稳与液压支架耦合高效支护、液压支架支护质量解析与围岩支护策略自适应调控为研究主线，聚焦实现“采场围岩自适应支护”这一学术思想，初步形成了“采动应力演化与围岩损伤断裂基础理论、厚及特厚煤层采场围岩与支架耦合作用原理、液压支架服役特性与支护质量调控机制”三方面研究成果，并在厚及特厚煤层智能化综采（放）工作面围岩自适应控制进行了成功应用推广，取得了较好的应用效果。

本书系统性地介绍了我国污水管网提质增效的政策与技术背景，梳理了围绕污水管网为核心的检测、修复、清淤、诊断与评估等技术，并结合中国电建集团华东勘测设计研究院有限公司开展的工程项目作为案例，分析了污水管网提质增效工程实践中新技术的应用与实践。本书着重于本领域技术体系而非单一技术、理论的阐述，对国内管网系统提质增效的相关政策，管网系统检测、修复技术研究及应用现状进行了深度剖析，结合科研成果与工程案例，构建了污水管网提质增效的全过程技术体系，并经过了多项工程的应用实践，能够为后续工程实践与进一步的研究提供指导。

本书主要介绍了新能源汽车电子电气检查与维护的操作方法，采用模块任务式的编写体例，设置四个模块，针对线路图识读与电子元件检查、启动与充电系统检查保养、灯光与电气系统检查保养、新能源汽车空调与舒适系统检查保养进行了系统分析和操作方法讲解。本书可作为中等职业院校新能源汽车、汽车运用与维修、汽车制造与检修等相关专业教材用书，也可作为汽车行业培训用书或广大新能源汽车行业从业者学习参考用书。

本书主要以作者近年来对声呐水下目标成像研究的成果为基础，从成像声呐基础概念出发，有机结合声呐成像基本原理、声图特征、声图解译、声呐成像能力和具有代表性的国内外近期新研究成果，系统介绍声呐成像探测机理与图像解译等方面的知识。本书的撰写注重理论和实际应用的结合，不仅提供了丰富的声呐成像探测机理与图像解译知识，让读者更好地理解并掌握声呐技术的近期新发展趋势，也为科学、规范地开展海洋调查工作提供技术信息支撑，更便于读者系统掌握理论知识和开展实际应用。本书不仅适合声呐技术初学者，也非常适合声呐图像分析师及相关领域的专业人员阅读。

大多数企业，无论对管理者还是对员工来说，“差错”一词都带有负面含义。为了从差错中吸取教训，提高质量并节省成本，必须重新思考如何对待差错。本书采取一种积极应对差错的态度，在企业中创造信任和提高透明度，并采用金钱或非金钱的方式进行激励。本书展示了应该如何从差错中吸取教训，节省成本并提高过程质量；如何将控制质量管理差错和精益管理方法相结合;如何提供工作辅助工具、检查清单和实施指南。本书适合从事质量管理工作的人员参考。

本书在相控阵雷达前沿技术探索与工程实践经验的基础上，首次开创性提出“开放式相控阵”理论框架，并全面、系统地论述下一代开放式相控阵的系统架构、阵面技术、处理技术、资源调度技术、微系统技术等。本书可供从事雷达系统研究、设计的工程技术人员阅读，也可作为相关专业师生的参考书。

本书共七章，归纳和概括了各类电催化反应的反应机理、评价参数、电催化剂分类、结构与性能之间的关系，包括电催化析氢反应、电催化析氧反应、电催化氧还原反应、电催化氮气还原反应、电催化二氧化碳还原反应、甲醇电催化氧化反应和乙醇电催化氧化反应等，并介绍了其在相关领域的应用。本书适合电催化、电化学、催化化学、材料科学、新能源、储能等学科的研究生作为基础课程教材，也可供从事电催化及新能源相关领域科学研究和技术研发的科技工作者参考阅读。