本书共分为部分，以飞行员“心理选拔”、”心理能力提升”、“心理健康维护”和“航空灾难危机干预”为主线，系统阐述飞行员心理选拔的依据、指标特征和技术方法；阐述心理能力提升的理论基础、基本原理和技术方法步骤；通过论述航空心理健康和心理学检查的技术方法，论述飞行员心理健康维护理论与技术方法；针对航空灾难性事件，阐述应激反应理论模型，以及心理危机过程，进一步指导灾难心理危机干预。

本书围绕老字号品牌管理这一热点主题，以消费心理的视角对老字号品牌内涵及特征、老字号品牌怀旧、老字号品牌真实性、老字号品牌传承、老字号品牌文化认同、老字号品牌资产的评估与管理、老字号品牌创新管理等进行研究，结合丰富的商业案例以及严谨的实证等研究方法，探索了老字号特有的品牌变量影响消费者行为的反应机制，提出了品牌活化与复兴品牌涵义等方法，构建老字号品牌资产评价体系，并提出老字号创新管理的分析与建议。本书适合大专院校市场营销相关研究人员以及相关企事业单位特别是老字号品牌企业管理人员阅读参考。

本书主要介绍SystemC的硬件建模方面，即SystemC的RTL可综合子集。采用该子集编写的模型可以综合成逻辑门电路，进而进入模型的硬件实现阶段。 本书专门面向那些希望学习和了解SystemC的设计工程师和系统工程师。本书适合于初学者，可以作为高校的体系结构、数字设计和系统设计等课程的教材。

本书围绕老字号品牌管理这一热点主题，以消费心理的视角对老字号品牌内涵及特征、老字号品牌怀旧、老字号品牌真实性、老字号品牌传承、老字号品牌文化认同、老字号品牌资产的评估与管理、老字号品牌创新管理等进行研究，结合丰富的商业案例以及严谨的实证等研究方法，探索了老字号特有的品牌变量影响消费者行为的反应机制，提出了品牌活化与复兴品牌涵义等方法，构建老字号品牌资产评价体系，并提出老字号创新管理的分析与建议。本书适合大专院校市场营销相关研究人员以及相关企事业单位特别是老字号品牌企业管理人员阅读参考。

本书全面论述了供应链的起源、现状、具体的运作方法以及发展的趋势，给出了供应链管理的基本决策框架、关键管理要素以及实际运做方式。 概念明确、内容全面，视角宽广，案例丰富。可作为MBA以及其他管理类专业的教材，也可作为企业管理的培训教材，还可供有关从业人员作为专业参考书阅读。 本书作者通过潜心研究400多部专著及论文，并对50多位全球知名企业的高管进行访谈，总结出企业创造切实可行的竞争优势的12种驱动力，并清晰地告诉读者：供应链管理概念不是一种时尚，而是当今动态的全球市场环境下获得竞争优势不可或缺的战略。书中列举了全球众多企业的实践案例，帮助学生，业内人士有效地理解与实施供应链管理战略。

本书详细讲述了从单处理机到分布式和并行计算机系统的基本思想、原则及概念，内容包括进程管理与协作、内存管理、文件系统与输入输出、系统保护与安全等。本书不仅从商用操作系统和研究型操作系统中选用了大量的例子来阐述有关的概念，而且针对各部分内容，给出了相应的编程实验练习，以增强读者的实际动手能力。 本书适合作为计算机科学或计算机工程等相关专业的“操作系统”教科书，也可作为从事计算机工作的科技人员学习计算机操作系统的参考书。

许多新产品的开发往往不能成功，在少数成功范例之中，又只有更少数的产品能够重新定义其原本的、甚至创造全新的市场，并且最终发展成为突破性产品。本书作者总结多年的研究结果，指明了与产品创新相关的一系列因素，并提供了一套全新的开发突破性产品的理论与方法。该书旨在帮助企业、技术和设计人员： 获得对用户的需求和市场新的趋势的准确洞察力； 认识可以创造新市场的产品机会缺口； 指导产品“模糊前期”的构造； 正确地运用定性和定量的研究方法； 确立产品开发与企业整体策划和品牌管理之间的关系； 建立灵活、高效的团队。 本书是一本关于企业设计管理的专著，适用于企业产品开发和管理参考，也适合作为高等院校相应的设计管理专业的。

本书是一本关于Petri网的建模、验证与应用的优秀的教学与研究参考书。全书分为5个部分共27章，首先讲解了Petri网的基本概念，通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义。作者接着讨论了如何应用Petri网来构造系统，并给出了各种建模的方法。书中介绍了对Petri网模型进行验证的主要方法，其中包括基于状态空间的方法和模型检验、结构方法以及使用演绎和进程代数的一些高级方法；讲解了Petri网的确认和执行，其中不仅涉及到软件生命周期的相关内容，而且详细介绍了在复杂系统的开发过程中如何使用Petri网进行建模和分析。最后，作者对Petri网的三个不同应用领域（柔性制造系统、工作流管理系统和电信系统）进行了深入的研究。本书的内容全面，结构清晰，并通过大量实例讲解了各种概念、方法与应用。 本书可以作为计算机相关专业本科

本书收集并对比了所有有价值的焊接方法，以帮助读者选择自己产品的焊接方法，加深理解每种焊接方法的局限性和优点。主要体现在应用方面，如材料的可焊接性，焊接的优化设计，发现并解决焊接过程中的故障以及焊接质量的检测等，这就使本书成为从事焊接工作的每一个人不可缺少的工具。与此同时，手册还阐述了挤压流动、分子扩散和热传导原理等塑料焊接的基本理论原理。作者还提供了大量实例，帮助读者如何选择某一焊接方法的合适材料和焊件形状。 本书可供焊接工、焊接设备操作工、材料科学家以及研究工作者阅读和参考。

本书系统地介绍了机器人的基本组成和工作原理。全书共分9章，其中第1章介绍必要的基础知识，如机器人的发展历史、机器人的组成与特点、机器人语言及机器人应用等。第2章和第3章分析机器人的运动学。第4章分析机器人的动力学。第5章讨论机器人在关节空间和直角坐标空间的路径和轨迹规划。第6章介绍机器人的各种驱动装置，如液压和气动装置、直流伺服电机及步进电机等。第7章讨论用于机器人的各种传感器。第8章介绍机器人视觉系统。第9章介绍用于机器人的模糊控制方法。同时，本书每章后面均有参考文献和习题。

Best仍然是的。Roland E.Best博士这本经典参考书《锁相环设计、仿真与应用》也许是世界上使用最为广泛的PLL的参考书。如今，第5版终于面世了，本书系统地讲述了基本的锁相环理论、电路模块和锁相环系统结构以及详细的设计过程。包括锁相环的概况，混合信号锁相环，锁相环频率综合器，高阶锁相环路，混合信号频率综合器的计算机辅助设计和模拟，全数字锁相环，全数字锁相环的计算机辅助设计和仿真，软件锁相环，锁相环在通信中的应用，进的商业化集成锁相环，锁相环的参数测试等，涉及到控制理论，通信理论，信号处理理论等多个学科的内容。 第5版的特色是从实际应用的角度在锁相环系统的层次上解决理论方面的问题，给出了锁相环系统在实际设计中上具体过程和步骤，提供了全新的通信应用的案例，新增了PLL频率综合和计算机辅助设计方面的内容

类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用，本书将是读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在引入语言的语法对象时先举例，然后给出形式定义及基本证明，在对理论的进一步研究后给出了类型检查算法，并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述，为读者提供了一个进一步理论学习的基础。本书内容广泛，读者可以根据自己的需要有选择地深入阅读。 本书适合从事程序设计的研究人员