本书从程序员的视角详细阐述计算机系统的本质概念,并展示这些概念如何实实在在地影响应用程序的正确性、性能和实用性。全书共12章,主要包括信息的表示和处理、程序的机器级表示、处理器体系结构、优化程序性能、存储器层次结构、链接、异常控制流、虚拟存储器、系统级I/O、网络编程、并发编程等内容。书中提供了大量的例子和练习题,并给出部分答案,有助于读者加深对正文所述概念和知识的理解。
本《生产设备和设计-施工合同条件》(黄皮书)2017 年版,是1999 年版黄皮书的升级版。它继承了原有合同条件的优点,延续了菲迪克(FIDIC)平衡风险分担的基本原则,并在萃取过去近20 年使用中获得和总结的丰富经验的基础上编写。与1999 年版合同通用条件相比,本版合同通用条件的篇幅大幅度增加。此外,本书还具有以下特色: 1)通知和其他通信交流的要求更加详细和明确; 2)平等对待雇主和承包商的索赔,并将其与争端分别处理的规定; 3)争端避免的机制; 4)质量管理和承包商合同合规验证的详细规定。 本书内容包括生产设备和设计- 施工合同条件的通用条件和专用条件编写指南,附有争端避免/ 裁决委员会协议书一般条件,以及各担保函格式以及投标函、合同协议书和争端避免/ 裁决委员会协议书等格式。 本书推荐用于由电气和/ 或机械生产设备供货
本《设计采购施工(EPC)/交钥匙工程合同条件》(银皮书)2017年版,是1999年版银皮书的升级版。它继承了原有合同条件的优点,延续了菲迪克(FIDIC)平衡风险分担的基本原则,并在萃取过去近20年使用中获得和总结的丰富经验的基础上编写。与1999年版合同通用条件相比,本版合同通用条件的篇幅大幅度增加。此外,本书还具有以下特色: 1)通知和其他通信交流的要求更加详细和明确; 2)平等对待雇主和承包商的索赔,并将其与争端分别处理的规定; 3)争端避免的机制; 4)质量管理和承包商合同合规验证的详细规定。 本书内容包括设计采购施工(EPC)/交钥匙工程合同条件的通用条件和专用条件编写指南,附有争端避免/裁决委员会协议书一般条件,各担保函格式以及投标函、合同协议书和争端避免/裁决委员会协议书等格式。 本书推荐用于以交钥匙方式
《计算机视觉中的多视图几何(原书第2版)》是专著《Multiple View Geometry in Conputer Vision(Second Edition)》的中译本。给定多幅未标定视图,此书给出由图像点对应估计多焦点张量(特别是基本矩阵和三焦点张量)和由这些张量恢复摄像机矩阵并实现射影重构的理论和算法(第二版提供了更有效的搜索和匹配算法)。作者提供了综合性的背景材料,读者只要熟悉线性代数和基本的数值方法就能够理解书中给出的射影几何和算法,并能直接依据《计算机视觉中的多视图几何(原书第2版)》来实现有关算法。 《计算机视觉中的多视图几何(原书第2版)》可作为研究生教材,可供从事计算机视觉的科研人员参考。
为了应对当前老龄化问题的挑战,美国建筑师协会老年住宅设计中心选取了29个优秀的老年住宅设计案例编成本书,其中包括辅助生活设施、便于护理的退休老年人社区和养老院,这些案例均突出了项目特色,为读者介绍了各种可供选择的辅助设施,许多案例获得国际奖项的认可,并对老年住宅提出新的见解和创新的设计理念。本书旨在引领老年住宅的未来,通过这些案例为设计师们带来启迪,在未来的老龄生活社区的设计中融入更多新的可能性。
本《施工合同条件》(红皮书)2017年版,是1999年版红皮书的升级版。它继承了原有合同条件的优点,延续了菲迪克(FIDIC)平衡风险分担的基本原则,并在萃取过去近20年使用中获得和总结的丰富经验的基础上编写。与1999年版合同通用条件相比,本版的合同通用条件的篇幅大幅度增加。此外,本书还具有以下特色: 1)通知和其他通信交流的要求更加详细和明确; 2)平等对待雇主和承包商的索赔,并将其与争端分别处理的规定; 3)争端避免的机制; 4)质量管理和承包商合同合规验证的详细规定。 本书内容包括施工合同条件的通用条件和专用条件编写指南,附有争端避免/裁决委员会协议书一般条件,以及各担保函格式以及投标函、合同协议书和争端避免/裁决委员会协议书等格式。 本书推荐用于由雇主或其代表工程师设计的建筑或工程项目。这种合同的通
本书为"十三五"国家重点图书"中国少数民族服饰文化与传统技艺"系列丛书中的一册。土家族传统服饰具有浓郁的地域特征、多元的文化心理品格、独特的审美情趣和迷人的宗教色彩,成为我国少数民族服饰文化体系中一枝
《系统工程手册:系统生命周期流程和活动指南(原书第4版中英对照版)》中,建模和仿真已被定义为跨系统生命周期流程的系统工程共性方法,用以实现对系统概念的完整性表达,支持系统需求、设计、分析、验证与确认活动的开展,涉及建模目的、标准、范围、类型、语言等内容。建模与仿真都是用抽象在应对具体,再用形式描述物理,这是建模与仿真的核心。许多模型和仿真实践已被正规化为SE流程,且众多建模语言已成为标准,如SysML、UML等,在 基于模型的 背景环境下,支持SE学科的有关方法论、流程、方法和工具已日趋成熟,且在航空航天/防务领域已被证明。
本主要讲述了雷达对抗和光电对抗原理,并针对使用对象的要求编写了雷达原理和系统的基本知识。根据电子对抗技术在航空领域的发展和应用情况选取内容,以电子对抗基础理论和应用理论为主,讲述了雷达原理和雷达系统的基本知识,介绍了电子对抗的发展历史和突出战例,覆盖了雷达侦察、雷达侦察的信号处理、雷达有源无源干扰、光电侦察、光电干扰、侦察和干扰系统、雷达与光电隐身技术、电子攻击武器等内容,突出了基本理论和应用知识,适合本科生学习。在此基础上增加了反映航空电子对抗在这些领域内的新理论、新技术和新概念的知识,突出了电子对抗在航空领域的应用,以扩展学员的知识面和适应新知识的能力,符合空军航空机务系统培养电子对抗专业学员的要求。