电火花加工（EDM）是特种加工技术的一种自主研发出多轴联动EDM数控系统软件，研制出国产化的并可用于工业生产环境的多轴联动EDM数控机床，对于打破国外垄断，推动我国多轴联动电火花加工数控设备关键技术的进步，推动我国航空、航天事业的发展具有很好重要的意义。

本书把软件可信性与软件评价技术相结合，以跨越整个软件开发生存周期的软件可信性定量评估为主线，阐述了软件可信性定量评估所需的模型、技术和方法，主要包括：软件可信性定量评估模型，软件需求分析、软件设计、编码实现、软件测试等开发生存周期各阶段的可信性度量策略、度量指标和度量方法，软件可信性数据融合与推理技术等。本书主题明确、内容系统、可读性好，结合工程实例给出了软件可信性定量评估的实施指南，实用性和指导性强。 本书适合从事软件质量控制的项目管理人员、过程控制人员、质量管理人员使用，也可供软件开发人员、软件技术人员以及高等院校或科研机构相关专业的高年级学生和研究人员参考。

OpenCL(OpenComputingLanguage)是个面向异构通用目的并行编程的开放式、标准，也是一个统一的编程环境。OpenCL当前已经广泛应用于各种并行环境和不同行业领域。 《OpenCL实战》是OpenCL编程的实践指南，旨在介绍如何在实际的应用程序中使用OpenGL解决问题。全书共16章和4个附录。正文可以分为3个部分。部分是～10章，主要讨论的是OpenCL语言及其各项功能。第二部分是1～14章，展示如何用OpenCL来处理高性能计算领域会经常碰到的大规模任务。一部分，包括15章和16章，展示如何用OpenCL来加速OpenGL应用程序的执行。附录A介绍了SDK并演示如何安装AMD和Nvidia所提供的SDK。附录B讨论了OpenGL和着色器程序开发的基础知识。附录C介绍如何安装和使用MinGW。附录D讨论了嵌入式OpenCL标准。 《OpenCL实战》适合于需要在异构平台和并发环境下进行开发的人士阅读，要求读者有的C语言基础。《Op

自然语言处理(NaturalLanguageProcessing，NLP)是计算机科学领域与人工智能领域中的一个重要方向。它研究能够实现人与计算机之间用自然语言进行有效通信的各种理论和方法，涉及所有用计算机对自然语言进行的操作。《Python自然语言处理》是自然语言处理领域的一本实用入门指南，旨在帮助读者学习如何编写程序来分析书面语言。《Python自然语言处理》基于Python编程语言以及一个名为NLTK的自然语言工具包的开源库，但并不要求读者有Python编程的经验。全书共11章，按照难易程度顺序编排。章到第3章介绍了语言处理的基础，讲述如何使用小的Python程序分析感兴趣的文本信息。第4章讨论结构化程序设计，以巩固前面几章中介绍的编程要点。第5章到第7章介绍语言处理的基本原理，包括标注、分类和信息提取等。第8章到0章介绍了句子解析、句法结构识别和句意表达方法。1

《需求工程：实践者之路(原书第4版)》从系统角度对需求工程中的主要概念、方法、原理和技术进行全面介绍，涵盖了面向目标的需求工程、基于场景的需求工程、面向方案的需求工程以及需求抽取、文档化、协商、确认和管理等需求工程活动，是一本内容丰富、结构完整的需求工程教科书。 《需求工程：实践者之路(原书第4版)》不仅适合需求分析工程师阅读，而且适合产品经理/项目经理、系统分析师、架构师和开发人员以及质量和流程负责人阅读。

《需求工程：实践者之路(原书第4版)》从系统角度对需求工程中的主要概念、方法、原理和技术进行全面介绍，涵盖了面向目标的需求工程、基于场景的需求工程、面向方案的需求工程以及需求抽取、文档化、协商、确认和管理等需求工程活动，是一本内容丰富、结构完整的需求工程教科书。 《需求工程：实践者之路(原书第4版)》不仅适合需求分析工程师阅读，而且适合产品经理/项目经理、系统分析师、架构师和开发人员以及质量和流程负责人阅读。

本书是开源运动的独立宣言，它清晰、透彻和准确地描述了开源运动的理论与实际应用，对开源软件运动的成功和Linux操作系统的广泛采用都起到了至关重要的作用。本书在开源运动中的地位相当于基督教的，用黑客们的话说，这是“黑客藏经阁”的收藏。本书并不只是在讲开源和黑客，所有关心软件开发和IT发展的人都应该花些时间通读全书，书中给出了大量充满智慧的观点和经过验证的概念，如命令体系、礼物文化、以少成多、内部市场、竞次、反公地模型、委员会设计、同侪声誉、模因工程、SNAFU现象、进化不利条件、软件业是服务行业、组织结构决定产品结构、准入门槛越低稳定性越高、程序员是资产而非成本等，这些内容会给你带来新的启示和思考。

《需求工程：实践者之路(原书第4版)》从系统角度对需求工程中的主要概念、方法、原理和技术进行全面介绍，涵盖了面向目标的需求工程、基于场景的需求工程、面向方案的需求工程以及需求抽取、文档化、协商、确认和管理等需求工程活动，是一本内容丰富、结构完整的需求工程教科书。《需求工程：实践者之路(原书第4版)》不仅适合需求分析工程师阅读，而且适合产品经理/项目经理、系统分析师、架构师和开发人员以及质量和流程负责人阅读。

本书把软件可信性与软件评价技术相结合，以跨越整个软件开发生存周期的软件可信性定量评估为主线，阐述了软件可信性定量评估所需的模型、技术和方法，主要包括：软件可信性定量评估模型，软件需求分析、软件设计、编码实现、软件测试等开发生存周期各阶段的可信性度量策略、度量指标和度量方法，软件可信性数据融合与推理技术等。本书主题明确、内容系统、可读性好，结合工程实例给出了软件可信性定量评估的实施指南，实用性和指导性强。 本书适合从事软件质量控制的项目管理人员、过程控制人员、质量管理人员使用，也可供软件开发人员、软件技术人员以及高等院校或科研机构相关专业的高年级学生和研究人员参考。

如果你需要一些帮助来编写基于Python3的程序，或者想要更新老一些的Python2代码，这本书就是入场券。这本比兹利、琼斯所著的《PythonCookbook(第3版)》包含了用，Python3.3编写和测试过的实例，适合于那些希望专注于新工具和新方法的有经验的Python程序员。在这本《PythonCookbook(第3版)》里，你将找到十多个技术课题的完整实例，涵盖了核心Python语言和多种应用领域的常见任务。每种实例都包含了你可以直接使用在项目中的样例，以及关于这种解决方案如何和为什么可以奏效的讨论。

《时间序列InSAR技术与应用》结合作者多年来从事InSAR研究的成果和实际经验，兼顾基本原理、前沿发展和实际应用案例等方面给出较为全面的介绍。首先阐述《时间序列InSAR技术与应用》的学科背景，并对InSAR技术的发展、现状和存在的主要问题进行系统的评述和分析；然后在介绍SAR传感器基本知识和SAR影像主要特点的基础上，系统地论述InSAR的基本原理、数据处理关键技术和干涉相位特性等，帮助读者较为完整地理解常规InSAR的基础理论和方法，掌握相关的数据处理技术；针对时间与空间去相关及大气效应问题，《时间序列InSAR技术与应用》进一步论述了时间序列InSAR分析的基本原理及典型方法，并根据实际应用需求，将长时间序列相干点目标模型扩展至短时间序列准相干目标模型，同时给出相应的解算方法；最后在DEM更新、城市地表沉降检测、滑坡监测和人工地物

OpenCL(OpenComputingLanguage)是个面向异构系统通用目的并行编程的开放式、免费标准，也是一个统一的编程环境。OpenCL当前已经广泛应用于各种并行环境和不同行业领域。 《OpenCL实战》是OpenCL编程的实践指南，旨在介绍如何在实际的应用程序中使用OpenGL解决问题。全书共16章和4个附录。正文可以分为3个部分。部分是～10章，主要讨论的是OpenCL语言及其各项功能。第二部分是1～14章，展示如何用OpenCL来处理高性能计算领域会经常碰到的大规模任务。最后一部分，包括15章和16章，展示如何用OpenCL来加速OpenGL应用程序的执行。附录A介绍了SDK并演示如何安装AMD和Nvidia所提供的SDK。附录B讨论了OpenGL和着色器程序开发的基础知识。附录C介绍如何安装和使用MinGW。附录D讨论了嵌入式OpenCL标准。 《OpenCL实战》适合于需要在异构平台和并发环境下进行开发的专业人士阅读，要

《图像融合:算法与应用》包括图像融合研究领域进展的代表性成果，因此也促进了对图像融合发展做出贡献的多种学科间的协作。书中不仅展示了空间域上的融合方法，也包括变换域上的融合算法。《图像融合:算法与应用》还包括图像拼接、遥感应用以及性能评估等方面重要的参考资料。书中各章对图像融合的理论、算法设计和应用进行了重点论述，内容不仅包括图像融合方法基础的理论分析，也包括这些融合方法在现实应用过程中所遇到的各种相关问题。

丁欣硕、凌桂龙主编的《ANSYS Workbench14.5有限元分析案例详解(附光盘)》以ANSYS公司版本的有限元分析平台Workbench14.5为操作平台，详细介绍了软件的功能及应用。本书内容丰富，涉及领域范围广，使读者在掌握软件应用的同时，也能熟悉解决相关工程领域实际问题的思路与方法。全书共分为19章，首先以各个分析模块为基础，介绍ANSYSWorkbench14.5的建模、网格划分、分析设置、结果后处理，然后以项目范例为指导，主要讲解Workbench在结构静力学分析、模态分析、谐响应分析、响应谱分析、随面振动分析、瞬态动力学分析、接触分析、显示动力学分析、复合材料分析、疲劳分析、多体动力学分析、稳态热力学分析、瞬态热力学分析、流体动力学分析、电场分析、磁场分析及多物理场耦合分析中的应用。 《ANSYS Workbench14.5有限元分析案例详解(附光盘)》工程实例丰富，讲

《需求工程：实践者之路(原书第4版)》从系统角度对需求工程中的主要概念、方法、原理和技术进行全面介绍，涵盖了面向目标的需求工程、基于场景的需求工程、面向方案的需求工程以及需求抽取、文档化、协商、确认和管理等需求工程活动，是一本内容丰富、结构完整的需求工程教科书。 《需求工程：实践者之路(原书第4版)》不仅适合需求分析工程师阅读，而且适合产品经理/项目经理、系统分析师、架构师和开发人员以及质量和流程负责人阅读。

《SysML精粹》全书共12章：章介绍基于模型的系统工程（MBSE）的概念，并提供学习SysML的情境和业务案例；第2章讨论为什么创建SysML，并介绍可以创建的9种SysML图；第3~11章详细说明9种SysML图（模块定义图、内部模块图、用例图、活动图、序列图、状态机图、参数图、包图、需求图）的细节，介绍可以在其中显示的元素和关系；2章介绍分配的概念——它是可以用于横跨9种SysML图关联元素的一种关系。

领域驱动设计（DDD）是教我们如何做好软件的，同时也是教我们如何更好地使用面向对象技术的。它为我们提供了设计软件的全新视角，同时也给开发者留下了一大难题：如何将领域驱动设计付诸实践？VaughVerno的这本《实现领域驱动设计》为我们给出了全面的解答。 本书分别从战略和战术层面详尽地讨论了如何实现 DDD，其中包含了大量的实践、设计准则和对一些问题的折中性讨论。全书共分为 14 章。DDD 战略部分讲解了领域、限界上下文、上下文映射图和架构等内容；战术部分包括实体、值对象、领域服务、领域事件、聚合和资源库等内容。一个虚构的案例研究贯穿全书，这对于实例讲解 DDD 实现来说非常有用。本书在 DDD 的思想和实现之间建立起了一座桥梁，架构师和程序员均可阅读，同时也可以作为一本 DDD 参考书。

《可信嵌入式软件开发方法与实践/中航工业首席专家技术丛书》从广泛的角度介绍了可信嵌入式软件工程相关的概念、技术、方法和实践。全书共分为4个部分共23章。部分为概论，介绍了嵌入式系统和嵌入式软件的分类、特征和发展情况，并对可信性软件的相关基本概念、属性和需要关注的研究内容进行了描述；重点阐述了软件自身的特点、导致软件不可信的因素和软件开发遇到的困扰：描述了软件工程基础知识，包括软件工程基本概念、基本原则和研究内容。第2部分为通用的软件工程的阐述，分别对软件全生命周期模型、开发计划与策划、需求开发及管理、软件架构设计技术、机载软件的设计、软件验证技术、软件质量保证、软件可信性评估、软件可靠性评估和软件安全性评估等软件工程各个方面进行了详细论述。第3部分为机载软件及其工程化方法，重点介绍

王克伟编著的《小创客轻松玩转Arduino(微课视频版全彩印刷)》采用全彩图解+视频讲解的形式，通过丰富有趣的制作案例，介绍了利用Arduino进行创意设计的思路与技巧。全书共分为5章，靠前章和第2章分别介绍了Arduino硬件资源和Mixly软件开发环境的基础知识；第3章主要使用LED、按钮、旋转电位器和蜂鸣器进行创意设计制作；第4章主要使用声音传感器、光敏传感器、温度传感器、振动传感器、红外接近传感器和超声波传感器结合LED灯、蜂鸣器进行创意设计制作；第5章主要使用舵机、LCD液晶显示器、四位数码管、直流电机、红外遥控装置结合LED灯、蜂鸣器进行创意设计制作。 本书以STEAM教育为理念，在玩中学，在做中学，每个实例都按照“做-试-创”的思路设计，循序渐进。本书适合中小学生及教师、电子爱好者开展创客教育活动使用，也可以用作相关培训机构的教材

OpenCL(OpenComputingLanguage)是个面向异构系统通用目的并行编程的开放式、免费标准，也是一个统一的编程环境。OpenCL当前已经广泛应用于各种并行环境和不同行业领域。 《OpenCL实战》是OpenCL编程的实践指南，旨在介绍如何在实际的应用程序中使用OpenGL解决问题。全书共16章和4个附录。正文可以分为3个部分。部分是～10章，主要讨论的是OpenCL语言及其各项功能。第二部分是1～14章，展示如何用OpenCL来处理高性能计算领域会经常碰到的大规模任务。最后一部分，包括15章和16章，展示如何用OpenCL来加速OpenGL应用程序的执行。附录A介绍了SDK并演示如何安装AMD和Nvidia所提供的SDK。附录B讨论了OpenGL和着色器程序开发的基础知识。附录C介绍如何安装和使用MinGW。附录D讨论了嵌入式OpenCL标准。 《OpenCL实战》适合于需要在异构平台和并发环境下进行开发的专业人士阅读，要