本书是关于 17世纪科学革命和牛顿的经典研究，也是科学思想史学派的领袖人物亚历山大 柯瓦雷生前审订出版的后一部著作。书中的七篇文章从不同方面研究了牛顿的科学思想，深入剖析了牛顿在建立概念体系过程中所付出的巨大努力，以及这位科学巨人复杂性情的方方面面。其中篇文章《牛顿综合的意义》更是科学史领域的不朽名篇。

《王祯农书》由元代王祯编撰，中国科学院自然科学史研究所孙显斌研究员解读。《王祯农书》是我国农学史上承前启后的经典著作，它以代表北方农业的《农桑辑要》和代表南方农业的《陈旉农书》为主要蓝本，首次融合南北农业的内容，被后世《农政《王祯农书：节选》》《授时通考》等大量引用。原书分三个部分：《农桑通诀》《农器图谱》以及《谷谱》。其中《农桑通诀》阐述了一个完整的农学体系。《农器图谱》收录农具百余种，并辅以插图三百余幅，是我国古代农具的集大成者，为后世所宗。《王祯农书：节选》以孙显斌、攸兴超点校整理的《王祯农书》为底本，精选价值较高的若干章节，进行词语注解、随文旁批和篇末点评，全面阐释和解读原著的精义。

美国国家海洋和大气管理局于2019年出版了《U.S. Chart No. 1：Symbols, Abbreviations and Terms used on Paper and Electronic Navigational Charts》，详细罗列了INT纸质海图、NOAA/NGA纸质海图、ECDIS电子海图等不同规范之间所有符号的对照关系，国内海图图式符号与其略有不同。本书在前述美版标准基础上，对纸质海图和电子海图中存在的各类符号进行了分类、文字描述、图形展示等，增加了我国纸质海图符号对应内容，以中英文列表形式建立了不同规范符号之间的对应关系。本书可供广大从事海洋测绘、海洋开发与管理、航海等人员学习并使用。

激光雷达凭借其快速精确获取三维空间信息的优势，已成为遥感对地观测领域发展潜力的技术之一。本书首先介绍激光雷达遥感基本概念、特点、分类以及发展历程等；然后详细介绍激光雷达遥感原理、不同平台（星/机/地）激光雷达数据获取手段、多模态(全波形/离散点云/光子计数)激光雷达数据处理方法，同时结合实际案例介绍激光雷达在地形测绘、林业调查、电力测绘、建筑三维重建、无人驾驶、农作物生长监测和文化遗产保护等领域的应用，后展望了激光雷达遥感的未来发展。 本书适合激光雷达遥感基础研究以及林业、测绘、文物保护、数字城市等应用领域的研究者阅读，也可作为遥感、测绘、地理信息系统、林学、资源与环境保护等专业的教学参考书。

本书将从流行病传播研究的历史出发，重点介绍复杂网络理论提出后流行病传播研究飞速发展所取得的重要结果及研究前沿的*进展。具体包括：流行病传播的研究历史与现状，复杂网络上流行病传播的理论与模拟方法，基于反应-扩散模型的流行病传播，时变网络上的流行病传播，多层网络上的流行病传播，流行病的免疫策略与控制，流行病传播的一级相变模型，多种流行病的共演化传播，复发式流行病与迟滞现象，流行病传播的预测与还原问题及复杂社会传播动力学。 本书能帮助读者迅速进入前沿课题，找到合适的切入点。对从事复杂网络与非线性科学研究的工作者、理工科大学的教师及与复杂网络研究有关的交叉领域的研究人员也具有参考价值。

本书是机器人乃至一般自动化设备领域运动规划和轨迹规划的经典著作。作为机器人运动控制的核心技术之一，轨迹规划的算法大部分是离线的，无法使机器人在运动过程中面对不可预见传感器事件做出即时反应；在线规划及合理修正运动轨迹是当前机器人轨迹规划算法领域亟需解决的难题。针对上述难题，本书对外部传感器事件下的在线轨迹规划算法进行系统阐述。全书共10章，内容包括：机器人运动控制当前存在的问题、轨迹规划的研究进展、在线轨迹生成器的相关符号术语以及分类、单维空间和多维空间在线轨迹规划类型IV的通用变体A和变体B算法的分析与推导、机器人的混合切换控制与开环速度的在线轨迹算法及其实验、应用验证等。本书适合从事机器人和自动化设备或生产线等应用开发工作的研发人员阅读，也可供机器人专业的硕士生、博士生、教师等学

人们的生活通常是按照时间安排的；潮涨潮落、月盈月缺、斗转星移也是按照时间展开的。但是问问我们自己，时间是什么？却可能说不清楚。 本书系统讲述了人类千年来为计时(测量时间)、纪时(厘定历法)和认识时间所走过的曲折道路，其中不乏有趣的历史事件和重要历史人物的精彩故事。全书按时间顺序展开，由古代到现代，从东方到西方，为读者清晰呈现了人类文明的发展脉络，以及人类纪时与计时方法与手段的不断进步，后拓展到人们对生命与时间的理解，从而展现了人类对时间认识的 飞越 。 本书内容生动有趣、简洁易懂，相信从中学生到社会大众均会有所受益和启迪。

微电子封装中的互连键合是集成电路(integrated circuits，IC)后道制造中关键和难度的环节，直接影响集成电路本身电性能、光性能和热性能等物理性能，很大程度上也决定IC产品小型化、功能化、可靠性和成本。然而，随着封装密度增加，器件功率增加，Cu凸点面临尺寸大幅减小并且互连载流量大幅增加等现状，产业界成熟的Cu-Cu键合方法已很难适应高密封装的快速发展，研发更先进的Cu-Cu键合技术并推向产业化是当前迫在眉睫的需求。 针对电子封装行业中所面临的技术需求，本书系统介绍了国内外Cu-Cu键合技术的研究现状，结合作者及课题组全体研究人员长期在微电子封装领域的研究积累，梳理了基于表面活化的Cu-Cu键合、基于金属纳米焊料的Cu-Cu、基于自蔓延反应放热的Cu-Cu键合以及先进键合技术在Cu凸点互连中的应用等多个热点研究内容，并在实验方法、工艺优化、

本书描述了一种工程教育的方法，该方法将工程专业知识与个人能力、人际交往能力以及职业工程能力综合地整合在一起，从而更好地培养有创新精神、创业能力的工程师。本书强调工程师的培养以工程实践为背景环境，要将构思-设计-实施-运行(CDIO)贯穿于工程产品、过程系统的全生命周期。本书既是CDIO工程教育模式的发展与描述，也是全世界各地的工程专业寻求改进年轻工程师教育的指南。本书具有如下特色： (1)系统地介绍了CDIO方法，并根据CDIO标准逐一组织各章内容； (2)各章内容包括目标、问题讨论、案例分析以及关键概念与实施过程的详尽图表叙述； (3)一开始就清楚地阐释了相关教育术语，全书避免使用教育专家行话，通俗易懂。 本书适合所有身处工程教育改革和探索中的教师、学生以及广大读者阅读和参考。

本书较为全面、深入地介绍了信息安全体系中基础密码协议、高级密码协议及应用密码协议。按照由浅入深的原则，将全书分为13章，内容包括三大部分：基础密码协议、高级密码协议及应用密码协议。基础密码协议由引论、密钥协商、实体认证、比特承诺协议组成；高级密码协议部分包括高级签名协议、零知识、不经意传输、秘密分享和门限密码、安全多方计算协议；应用密码协议部分包括Keberos协议、IKE密钥管理协议、电子现金及无线安全通信。 本书对各类密码协议及其相关应用进行了详细的论述和分析，可作为高校计算机、信息安全、电子信息与通信、信息与计算科学等专业高年级本科生和研究生的教学参考书，也可作为相关工程技术人员学习信息安全知识的入门读物。通过阅读本书，读者不仅能够全面熟悉和了解各类密码协议的设计理念和安全机制，还可

本书是由联合国国际行动中心组织举办的一次专题会议报告集整理而成，收录了来自世界各国包括科学家、医疗工作者、法律专家、政策专家、平民大众等各方面代表在内的各界人士的专业文章，主要针对并分析了20世纪90年代以来西方国家使用贫铀武器的案例，揭露其对各国人民造成的危害，尤其是对环境造成的严重影响。与此同时，讨论如何运用法律手段来禁止其使用，并呼吁在全球范围内予以抵制和废除，呼吁人类的沟通交流与和平共处。

本书是一部经典的科学史名著，作者为科学思想史学派的创始人亚历山大 柯瓦雷。本书认为，人类的思想在16、17世纪经历了一场深刻的革命，这场革命彻底改变了我们的思维框架和模式，使古代那个秩序井然、有限封闭的世界（cosmos）最终变成了均一无限的宇宙（universe），也使价值世界同事实世界完全分离开来。近代科学和哲学既是这场革命的根源又是它的成果，近代科学史和哲学史必须相互参照来研究。

基于对隧道掘进机大数据挖掘技术的长期研究与积累，作者密切结合工程数据空间特征提取、时序特征提取、关键运行参数预测、隧道施工地质预测的实际需求，系统地阐述和总结了隧道掘进机大数据挖掘的关键技术、理论与方法。全书共分为四篇：第一篇介绍了隧道掘进机运行数据空间特征提取方法；第二篇进一步考虑运行数据序列关系，介绍了隧道掘进机运行数据时序特征提取方法；第三篇依次引入机理、地质等其他相关数据，介绍了隧道掘进机关键运行参数预测方法；第四篇重点关注隧道掘进机运行与地质数据的关联关系，介绍了隧道掘进机施工地质预测方法。本书可供从事隧道掘进机大数据分析及相关领域，如数据挖掘、算法设计、运行维护、管控平台开发的专业人员学习和参考，亦可作为高等院校相关专业师生的参考读物。

看颠覆性创新如何改变人类社会的格局，重新划定规则。 这本书告诉你： 今天的世界是如何形成的？ 一项技术如何催生新技术，它们如何相互影响？ 未来，科技将要去向何方 人类的历史建立在科技创新的基础之上，经济全球化的今天，历史上那些伟大的科学技术突破，能告诉我们关于未来的哪些信息？不论是在和平时期，还是战争年代，科技深刻影响着人类历史的发展，有时候甚至具有破坏性。人们越来越依赖科技，而反过来，科技对人又将产生什么影响？ 不论是战争时期还是和平年代，人类的创造力始终发挥着重要作用。每一个新阶段的技术都是建立在前一阶段的创新基础上的，新事物也开始呈指数级爆炸式增长。这本书讲的是一个多世纪以来，人类创新的故事。探索了隐秘的科技历史、塑造我们世界的秘密，以及以此为源动力，商业模式的变化、国家的

本书是Numerical Optimization，2nd edition中前11章，无约束优化章节的中文版，原著全面而及时地介绍了连续优化问题中最有效的方法，是一部经典的数值优化著作。本书既强调数学理论的严谨性与逻辑性，同时又十分注重理论源头的基本思想，重视对数学公式背后的物理概念的描述。本书以深入浅出的方式重点描述了数值优化中的无约束优化理论与计算方法，内容涉及优化问题的相关概念、无约束优化基础、线搜索方法、牛顿方法、信赖域方法、共轭梯度方法、拟牛顿方法、大规模无约束优化方法、导数的数值计算方法，无需求导的优化方法、最小二乘问题的求解方法、非线性方程组的求解方法以及相关数学基础知识。此外，本书还对各种经典的无约束优化算法的收敛性进行了理论分析。本书注重阐述算法背后的思想理念，知识循序渐进，信息量大，并配有高质量的理