张雄、王天舒、刘岩编著的这本《计算动力学( 第2版)》将计算结构动力学、计算冲击动力学和计算 多体系统动力学内容有机整合，系统讲授工程结构 和机械系统在各类瞬态载简作用下动力学行为的数值 分析方法和程序实现技术。 全书分为3篇，共有16章和4个附录。章从加 权余量法出发，讲述达朗贝尔-拉格朗日原理、哈密 顿原理和广义变分原理。第2章以平面三结点三角形 单元为例，讲述有限元法的一般过程，详细讨论了 有限元法的程序实现方法，并给出了有限元法示例程 序STAP90。第3章详细讲述大型特征值问题的求解 方法及误差估计问题，给出了广义雅可比法、子空间 迭代法和Lanczos迭代法的FORTRAN 90程序。第4 章阐述大型离散系统运动方程的求解方法，给出了时 间积分示例程序TIP90。第5章讲述大型复杂系统动 力分析的有效方法——动态子结构法。第6章简

`

本书系统深入地总结了智能船舶自主航行非线性控制理论及作者多年来在船舶运动控制等方面取得的主要研究成果，涵盖了船舶运动数学模型、船舶简捷鲁棒自适应航向保持控制、欠驱动船舶有限时间轨迹跟踪控制、船舶简捷非线性神经网络自动靠泊控制、船舶运动控制物理测试平台等方面的内容，结合非线性反馈、非线性修饰、自适应自调节PID、Lyapunov 稳定性理论、Backstepping 控制理论、RBF神经网络逼近原理、有限时间自适应技术、参数学习法、动态面技术等先进理论和方法，设计智能船舶自主航行控制策略。本书可作为交通运输工程、船舶与海洋工程、交通信息工程及控制等学科的研究生和航运科学与技术、自动化等相关专业的高年级本科生的教材或参考书，也可供相关领域的学者和工程技术人员参考。

点云数据处理是三维重建领域的一项重要研究内容之一，涉及去噪、简化、配准、分割及检索等关键技术，已经在医学研究、文物虚拟复原及工程建设等领域得到日益广泛的应用。本书共14章，全面系统地介绍了点云数据的类型、特点和获取方法，以及常见点云数据处理技术的应用领域，重点提出了与点云去噪、点云简化、点云配准、点云分割、点云模型检索等相关的11种优化点云数据处理算法，并将其应用于实际领域中。本书强调理论创新，注重实验验证，并提供了样例示范，内容丰富多样，可供图形图像处理、测绘遥感、计算机视觉等专业研究生使用，对从事相关研究的科技人员及业余爱好者也有的参考价值。

本书介绍计算机视觉在智能车中的应用，分三个部分共13章。部分（、2章），供初学者学习，介绍计算机视觉的定义、研究内容、发展历程、在智能车中的主要应用，以及智能车视觉常用的图像预处理方法。第二部分（第3～5章），是智能车视觉技术的基础内容，介绍智能车视觉认知硬件平台和软件开发环境的搭建与配置，以及在实际应用中经常使用的摄像机标定方法和视觉测距技术。第三部分（第6～13章），介绍计算机视觉在智能车中的具体应用和问题解决，包括车道线的识别与跟踪、停止线检测与测距、斑马线、导向箭头、交通信号灯、交通标志牌等识别方法和视觉定位技术，使读者进一步了解智能车视觉的具体应用，以及解决问题的难点和思路。 本书适合从事计算机视觉、图像处理、智能车研究的人员学习，尤其适合从事无人驾驶智能车图像处理研究和开发

本书依托水利水电工程，以弹粘塑性势理论为基础，以有限单元法、块体单元法和复合单元法等具有代表性的数值分析方法为主线，对计算岩体力学的本构模型、力学参数、计算方法、安全指标以及可视化软件等关键问题展开讨论，形成了较为全面的科学研究体系。 本书介绍的理论、方法和软件在三峡、水布垭、龙滩、小湾等多个国家重点水利水电工程岩体边坡和大坝基础的稳定问题中进行了应用，解决了一批工程设计和施工技术难题，取得了较大的社会效益和经济效益。此外，本书还介绍了采用面向对象和可视化技术的有限单元法及块体单元法计算软件，并给出了主要的源程序。 本书可供水工结构工程和岩土工程领域从事计算岩体力学研究与应用的工程技术人员和科研人员阅读参考，也可作为该领域研究生相关课程的参考教材。

西门子公司的新款精简/精智系列触摸屏，连同新型S7-1200/1500 PLC，在博途自动化工程软件中集成，可以方便、高效、快捷地组态设计构建自动化、智能化控制系统，去完成中小型机电设备、大中型成套机械设备的工艺控制任务。本书面向实际项目应用，力求用通俗易懂的语言、大量的图表和操作案例，循序渐进，系统详细地讲解西门子精简系列和精智系列面板的性能参数和功能用法，用图表实例的方式，详细讲解如何用TIA Portal V13 SP1（博途集成组态设计软件）操作和开发精简/精智系列面板在控制系统中的应用。本书适合自动控制工程师，工厂等企事业单位电气设备研发、维护技术人员学习使用，同时也可用作大中专院校、职业院校相关专业的教材及参考书。

本书全面讲解嵌入式系统的基础知识，包括在信息物理系统和物联网中的应用。首先对嵌入式和CPS的规范模型和语言进行简单概述，然后介绍了相关的硬件设备和系统软件，包括实时操作系统。书中还讨论了嵌入式系统的评估和验证技术，并概述了将应用程序映射到执行平台(包括多核心平台)的技术。嵌入式系统必须在严格的约束下运行，因此，本书还讨论了优化技术。第3版进行了重要更新和修订，以反映新的趋势，例如：信息物理系统和物联网的重要性，从单核处理器到多核处理器的发展，以及能源效率和热量问题的重要性。

《孤立子系统的可积形变及应用》基于高阶约束流、Hamilton结构及Sato理论提出了构造孤立子系统的Rosochatius形变、Kupershmidt形变、带源形变及扩展的高维可积系统的一般方法,并以光纤通信及流体力学中的重要模型,如超短脉冲方程、Hirota方程、Camassa-Holm型方程及q-形变的KP方程等为例详细阐述了我们提出的方法.进而推广达布变换及穿衣法求解可积形变的孤子方程.由于可积形变的方程中增加了非线性项,所以相应方程的解具有更加丰富的特性和应用.

SDP 是零信任落地技术之一，主要解决终端到应用的访问安全问题。本书提出的 X-SDP 是 SDP 的扩展实现，将 SDP 的被动防御等级提升至主动防御，真正确保终端到应用场 景的访问安全。 本书介绍了终端到应用场景的现状及典型安全解决方案、零信任网络安全架构和主要流 派、SDP 与 ZTNA 架构的相关情况及 SDP 的演进路径、X-SDP 的核心能力、SPA 的演进、 全网终端认证、优异的接入体验、高可用和分布式多活，同时给出了 X-SDP 的应用案例并对其 后续发展进行了展望。

张雄、王天舒、刘岩编著的这本《计算动力学( 第2版)》将计算结构动力学、计算冲击动力学和计算 多体系统动力学内容有机整合，系统讲授工程结构 和机械系统在各类瞬态载简作用下动力学行为的数值 分析方法和程序实现技术。 全书分为3篇，共有16章和4个附录。章从加 权余量法出发，讲述达朗贝尔-拉格朗日原理、哈密 顿原理和广义变分原理。第2章以平面三结点三角形 单元为例，讲述有限元法的一般过程，详细讨论了 有限元法的程序实现方法，并给出了有限元法示例程 序STAP90。第3章详细讲述大型特征值问题的求解 方法及误差估计问题，给出了广义雅可比法、子空间 迭代法和Lanczos迭代法的FORTRAN 90程序。第4 章阐述大型离散系统运动方程的求解方法，给出了时 间积分示例程序TIP90。第5章讲述大型复杂系统动 力分析的有效方法——动态子结构法。第6章简

这是一部集经济管理与软件科技于一体的著作，也是在麻省理工、哈佛、芝加哥和伦敦大学执教的几位著名学者多年研究与教学成果的结晶。该书荣获2006年美国出版商协会经济管理类年度奖，它为从软件平台产业中发掘商机的企业家、寻找企业策略的管理者和探索研究思想的教育科研人士提供了丰富的专业知识。 在20世纪80年代兴起的第三次科技革命中，软件平台和以其为核心的商业生态系统的发展壮大，从根本上改变了人们的经济生活，创造、改变并摧毁了许多产业。本书从软件平台的双边策略人手，重点集中于以软件平台为基础的产业中企业的定价策略、产品设计和下游企业或上游供应商的一体化策略，融合经济、科技历史和企业战略分析，通过鲜活的案例，详细介绍了包括个人电脑、视频游戏主机、掌上电脑、智能电话和数字媒体等在内的软件平台产业，

本书采取“全景式”与“主题式”相结合的方式编写，围绕互联网网民群体、数字经济、互联网垂直应用、互联网公共服务、互联网基础资源、数字技术和网络安全七大领域，通过多维度、多层次的定性分析与定量比较，对我国互联网及相关领域的发展态势进行系统论述。一方面，以2019年至2020年为时间跨度，兼顾党的十八大以来我国在互联网领域的显著成绩，综合评估我国互联网的发展现状及突出作用，全面阐述互联网为我国经济社会发展提供的强大动能；另一方面，围绕互联网产业热点和科技前沿开展研究，描绘我国互联网的发展蓝图，助力推进制造强国和网络强国建设。