Software， as an important carrier of information technology， has penetrated all aspects of political， economic， military， cultural， and social lives. However，with the increasing scale of software， software development， integration， and continuous evolution have become increasingly complex. Software defects caused by complexity frequently result in various accidents and even serious disasters.Consequently， research into trustworthy software has become an urgent need for national economic development. In 2007， the National Natural Science Foundation of China （NSFC） began implementing the major research plan "The Fundamental Research for Trustworthy Software" (hereinafter referred to as the Plan） in response to the requirements of fundamental research on trustworthy software. It is one of the major research plans launched during the 11th Five-Year Plan (2006-2010）， led by the Department of Information Sciences and organized and implemented in collaboration with the Department of
本书是为《工程测量学》全英文教学出版的英文教材。工程测量学是测绘工程专业的一门核心必修课，本书根据工程建设中的规划设计、建筑施工、运营管理三个阶段对测量工作的不同要求展开叙述，共分为十二章。内容覆盖了工程测量学所涉及的工程建设规划设计阶段各类地形信息的获取与应用、工程控制网的质量分析与优化设计、工程建设中的施工测量与放样方法、工程建设与运营管理中的变形监测技术与数据处理等。具体章节为：第一章绪论；第二章工程建设规划设计阶段地形图的应用；第三章线路测量及土方量计算；第四章水下地形测量；第五章工程控制网质量分析及优化设计；第六章施工放样技术；第七章平面曲线测设；第八章桥梁和大坝测量；第九章隧道测量；第十章竖井联系测量与陀螺经纬仪；第十一章工程建筑物变形监测；第十二章变形监测数据
本册为第5卷：守恒定律与旋转运动：不变性的概念或守恒定律，是在典型的经典力学课程中被首先提出的。几乎在所有的物理课程中，这个概念对于培养解题技巧也是至关重要的，不论是什么内容或级别的解题技巧。守恒定律被用在物理课程的每一种类型中：力学、电学、磁学、热力学、电子学、量子力学、核能和粒子物理学等。这些守恒定律的前两个，能量守恒和动量守恒将在第5卷中讨论。最后，第5卷介绍了质心和旋转运动的概念。我们的运动没有在直线上，我们研究的物体现在可以旋转、自旋和翻滚。
本书共分八章，主要阐述了变分原理，即自然界静止（相对稳定状态）事物中的一个普遍适应的数学定律，也称最小作用定理，是物理学中的一条基本原理。书中内容包括变分法的表达方式、变分法的一些技巧、勒让德变换。在经典力部分，论述了拉格朗日形式导出哈密顿形式、哈密尔顿运动方程、正则变换方程、运动方程、曲面定义、测地线的法向性质、第二基本形式和点为脐点的紧凑表面。本书由浅入深，逻辑严谨，适合高等院校师生及相关专业研究者和爱好者参考阅读。
《抽水蓄能电站技术与发展（英文版）》作为“中国一东盟清洁能源能力建设计划”系列技术材料之一，全面梳理了外抽水蓄能电站的发展历程和中国的建设管理经验，从选点规划、前期技术、开发建设、投资模式、并网和运维等方面，总结了抽水蓄能电站开发、建设和运营等全生命周期的管理技术与方法，并提出了环境友好型抽水蓄能电站项目设计的经典案例，对构建抽水蓄能电站技术理论体系、促进能源的综合利用和可持续发展具有借鉴作用。《抽水蓄能电站技术与发展（英文版）》可作为储能技术、水电工程等领域规划设计及管理人员的参考用书，也可供高等院校相关专业的本科生、研究生及教师参考。
本书的第一部分涵盖了基本的计数工具，包括和与乘积的规则、二项式系数、递归、组合恒等式的双射证明、图论中的枚举问题、包含一排除公式、生成函数、评秩算法和后继算法。阅读这部分内容需要的数学先决条件最少，可用于本科高年级或研究生初级阶段的一个学期的组合学课程。这些材料对计算机科学家、统计学家、工程师、物理学家以及数学家来说都是有趣且有用的。 本书的第二部分包含了对代数组合学的介绍，讨论了群、群作用、排列统计、表格、对称多项式和形式幂级数。这里对对称多项式的表述比标准参考文献更具有组合性(希望更易于读者理解)。特别是一种基于反对称多项式和算盘的新方法对一些高级结果给出了基本组合证明，例如倍增的舒尔(Schur)对称多项式的皮耶里(Pieri)规则和利特尔伍德-理查森(Littlewood-Richardson)规则。第二部分假设读者拥
你是否曾经期盼过有那么一本关于jQuery的书籍，它不要求你一开始就懂得JavaScript?你是否听说过jQuery可以帮助你在网站和应用中增添交互性，但是你却不知道如何着手？ 《深入浅出jQuery》就是你的特快车票，它能带你实现外观接近真实应用程序、吸引人且交互性强的网站。
Linux内核是一种复杂、可迁移、模块化和广泛使用的软件，在全世界过半数设备的80%左右服务器和嵌入式系统中运行。设备驱动程序在Linux系统良好运行中起到很好重要的作用。随着Linux已成为很流行的操作系统之一，为专有设备开发驱动程序的兴趣也与日俱增。《Linux设备驱动程序开发》将帮助你理解驱动程序相关基础知识，并带你完成游览Linux内核的漫长旅程。本书涵盖基于多种Linux子系统的驱动程序开发，包括内存管理、PWM、RTC、IIO和IRQ管理。该书还提供直接内存访问和网络设备驱动程序的实用方法
复投影平面中代数曲线的研究是几何应用如密码技术研究的重要内容，也是线性几何研究向代数几何研究的自然过渡。本书论述了几何空间中的各种不同代数方法，给出了解析几何、仿射几何、欧几里得几何和投影几何研究的具体内容，并详尽地描述了各类几何空间和代数曲线的性质。
复杂介质中的弹性波理论在地球物理勘探、结构和材料无损检测以及医学超声成像等领域具有广泛应用。但系统介绍弹性波传播理论的著作并不多见。本书系统介绍了各向同性弹性固体介质中弹性波传播的基本理论，包括无限大固体介质中的弹性波传播；弹性波在界面处的反射和透射；弹性波通过有限厚度层状结构的反射和透射；半无限大体表面或覆盖层中传播的瑞利波和乐夫波；平板中的导波和漏波；圆柱杆中导波；对圆柱壳和圆球壳中的导波传播模式和传播特性也进行了介绍。关于弹性波散射和多重散射的相关内容，基于篇幅考虑没有纳入。作者长期给研究生讲授弹性波理论，同时进行复杂介质中弹性波传播及其应用研究。本书是作者在弹性波理论课程讲义基础上，结合自己科研工作编写而成。全书共分6章，侧重基础理论和分析方法的系统性。
