本书为《华北克拉通破坏》的英文版。本书集中我国在地球科学、数理科学和信息科学等领域的优势研究力量,突破传统学科界线的束缚,进行不同学科间有效的交叉融合;针对华北克拉通形成之后的破坏和再造作用及其构造、岩浆、成矿和古环境效应,呈现了突破性研究进展。本书将为我国在完善地球形成与演化的理论体系以及在地球系统科学理论框架的建立过程做出原创性贡献,为我国由地学大国变为地学强国提供切实可行的突破口。
There are nine chapters in this book. The first chapter gives some introduction. The second chapter gives some mathematical preliminaries for the convenience of the subsequent theoretical analysis. The third to sixth chapters focus on the formation flight objective; and the distributed control algorithms are proposed in the cases of switching topology, distance based topology, parametric uncertainties and actuator faults, respectively. The seventh to ninth chapters focus on the formation tracking objective, In the seventh and eighth chapters, two distributed control algorithms are developed over undirected and directed topologies, respectively. In the ninth chapter, an output-feedback distributed control algorithm is developed in the absence of velocity and angular velocity information. This book is written for the readers who are working on the areas of aviation, robotics, aircraft, etc.
多值映射理论作为数学中的一个单独领域形成于20世纪中期,并且很快在数学经济、微分方程理论、微分游戏理论、凸分析和极值问题理论、广义动力系统以及很多其他数学领域中得到了大量应用。目前,存在多种研究多值映射不动点的方法,例如度量法以及拓扑法。 在多值映射领域中同样也占有重要位置的是连续分割和逼近的存在问题。本书提出了解决这些问题的简单方法,并研究了所证明理论在非线性分析的各种问题中的部分应用。本书可供对多值映射理论感兴趣的数学家以及非线性分析领域的专业人士参考使用。
Java 9及其新特性丰富了Java语言的内涵,这是开发者们很广泛使用的语言之一。Java 9通过与Jigsaw集成,从而特别强调了模块化。本书是你精通该语言的一站式指南。你可以从中获得Java 9相关的概览和新特性解释,并了解新API和增强部分的重要性。某些Java 9的新特性是开创性的,如果是有经验的程序员,你将能够把企业级应用变得更精炼。本书提供了在Java平台开发上应用Java 9相关新知识以及更多信息的实用指南。该书有助于提高生产力,让你的应用变得更快。通过学习Java很好实践,你将成为组织里的百晓生。
本书为《单量子态的探测及相互作用》的英文版。单量子态,是指量子体系中的单光子、单电子、单原子、单分子、聚集体中的准粒子等单粒子量子态,以及聚集体中多粒子凝聚所形成的宏观量子态(如玻色-爱因斯坦凝聚态、超导或超流量子态)等。本书呈现了单量子态及其量子效应的研究,直接对单粒子量子态和宏观量子态等进行高精度的精密探测;结合理论,理解和掌握量子态的特性和量子过程的基本规律,在此基础上发展新的量子器件构筑技术和量子探测手段,以提升我国基础研究的水平,解决与我国信息和能源技术实现跨越式发展的一些重大需求相关的问题。
《石油精炼工艺手册:产品生产工艺与技术(影印版)(英文版)》由哈尔滨市石桥印务有限公司印刷,2017年3月靠前版,2017年3月靠前次印刷。《石油精炼工艺手册:产品生产工艺与技术(影印版)(英文版)》是美国McGraw—Hill Education公司2016年出版的Handbook of Civil Engineering Calculations Third Edition的影印版。《石油精炼工艺手册:产品生产工艺与技术(影印版)(英文版)》深入讲解了当今的炼油技术、工艺和方法,并介绍了复合环保要求的燃料和石化中间以及石油炼制工艺的发展成果。
本书讲述如何实现更快、更可靠、低成本的自动化软件交付,描述了如何通过增加反馈,并改进开发人员、测试人员、运维人员和项目经理之间的协作来达到这个目标。本书由三部分组成:部分阐述了持续交付背后的一些原则,以及支持这些原则的实践;二部分是本书的核心,全面讲述了部署流水线;第三部分围绕部署流水线的投入产出讨论了更多细节,包括增量开发技术、不错版本控制模式,以及基础设施、环境和数据的管理和组织治理。 本书适合所有开发人员、测试人员、运维人员和项目经理学习参考。
一本记录中国野生生物保护历史的科普摄影集,本书展示了过去百年来,中国人和生长在这块土地上的各种野生生物之间关系演进的过程。以时间、地域、物种为相互交叉的象限,通过摄影作品辅以文字的形式,从中国各个旗舰物种代表的地域出发,并穿插蚂蚁森林保护地、中国巡护员、牧民摄影师计划、科学观鲸和城市动物园五个小专题,系统梳理了中国野生动物的发现、认知、利用、保护的历程,以及保护观念的巨大转变,客观展现我们已经取得的成就和经验教训,同时思考和展望今后的保护工作。
时滞微分方程(DDE)是一个用于单个变量的函数的方程,通常称为时间。本书是一部英文版的数学专著,作者萨米尔·萨克尔教授,是曼苏尔大学和堪萨斯州大学的数学教授,并于2002年在波兰的亚当·米基维茨大学获得博士学位,其研究方向为泛函微分和微分方程的定性分析,以及它们在动力学方程振动中的应用,他单独发表及与他人合作发表论文150多篇。本著作分为六章,内容如下:第1章:二阶微分方程。第2章:二阶差分方程。第3章:二阶中立型微分方程。第4章:二阶中立型差分方程。第5章:三阶微分方程。第6章:三阶差分方程。
在全球城市化背景下,城市遥感技术在城市观测、监测、规划、建设和管理等方面发挥了重要作用。本书介绍了城市多源遥感大数据获取原理、城市遥感图像处理方法和城市遥感在相关行业的具体应用。具体内容涵盖城市遥感现状和发展趋势、城市遥感空天地多平台传感器的数据特性,重点包括城市遥感“时空谱角”观测模型、城市遥感图像解译原理和方法、城市遥感图像预处理和信息提取方法、基于深度学习模型的城市遥感图像处理方法、城市遥感变化检测和动态监测,以及城市生态环境遥感监测技术与实践。本书内容包括遥感基础知识和城市遥感当前研究方向,可以作为高等院校遥感、测绘、地理信息及相关专业本科生和研究生教材,也可供城市遥感领域的科学工作者参考。
一本记录中国野生生物保护历史的科普摄影集,本书展示了过去百年来,中国人和生长在这块土地上的各种野生生物之间关系演进的过程。以时间、地域、物种为相互交叉的象限,通过摄影作品辅以文字的形式,从中国各个旗舰物种代表的地域出发,并穿插蚂蚁森林保护地、中国巡护员、牧民摄影师计划、科学观鲸和城市动物园五个小专题,系统梳理了中国野生动物的发现、认知、利用、保护的历程,以及保护观念的巨大转变,客观展现我们已经取得的成就和经验教训,同时思考和展望今后的保护工作。
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Implementing Functional Languages, IFL 2000, held in Aachen, Germany in September 2000. The 15 revised full papers presented have gone through a thorough round of post-workshop reviewing and were selected from 33 workshop presentations. Among the topics covered are language concepts, type checking, compilation techniques, abstract interpretation, automatic program generation, abstract machine architectures, array processing, concurrent and parallel processing, heap management, runtime profiling, performance measurement, debugging and tracing, and tools and programming techniques.
随机动力系统是一个入门较难的新兴领域。本书是这个领域的一个较为通俗易懂的引论。在本书的第一部分,作者从简单的随机动力系统实际例子出发,引导读者回顾概率论和白噪声的基本知识,深入浅出地介绍随机微积分,然后自然地展开随机微分方程的讨论。
作为一名开发人员,您总是需要留心并做好准备以应对即将发生的事情,同时还要关注当前趋势。那么,有什么比学习现在和未来这两个世界的完美结合更好呢?人工智能(AI)被广泛认为是继移动之后的下一个大产业,而谷歌的TensorFlow是靠前的开源机器学习框架,也是人工智能很热门的分支。这本书涵盖了10多个完整的以TensorFlow为引擎、运行各种很酷的TensorFlow模型离线设备从头开始构建的IOS、Android和树莓派apps:从计算机视觉、语音和语言处理到生成对抗网络和AlphaZero之类的深度学习。您将学习如何使用或重新训练现有的TensorFlow模型,构建自己的模型,以及开发运行这些TensorFlow模型的智能移动apps。您将了解如何使用循序渐进的教程快速构建这样的app,以及如何利用大量来之不易的故障排除技巧来避免开发过程中的许多陷阱。
本书由Python pandas项目创始人Wes McKinney亲笔撰写,详细介绍利用Python进行操作、处理、清洗和规整数据等方面的具体细节和基本要点。你将在阅读过程中学习到新版本的pandas、NumPy、IPython和Jupyter。本书由Wes McKinney创作,他是Python pandas项目的创始人。本书是对Python数据科学工具的实操化、现代化的介绍,非常适合刚学Python的数据分析师或刚学数据科学以及科学计算的Python编程者。数据文件和相关的材料可以在GitHub上找到:使用IPython shell和Jupyter notebook进行探索性计算;学习NumPy(Numerical Python)的基础和高级特性;入门pandas库中的数据分析工具;使用灵活工具对数据进行载入、清洗、变换、合并和重塑;使用matplotlib创建富含信息的可视化;将pandas的groupby功能应用于对数据集的切片、分块和汇总;分析并操作规则和不规则的时间序列数据;利用完整的、详细的示例学
Facing more and more extreme environmental events, the whole human societyhas realized that more attention should be paid to protect this planet's environment.As a result, the United Nations Framework Convention on Climate Change(UNFCCC) had been settled as the first worldwide formal framework to settleproblems brought by climate changes. But two decades after the UNFCCC wasconstructed, the proposition on reducing global greenhouse gas (GHG) is still in a longgame. In this research, a Multi-Regional Computable General Equilibrium (MRCGE)was created to evaluate the possible energy resource tax's effect for different regionsof China. Furthermore, such a model could form a linkage to the Global TradeAnalysis Project (GTAP) model as a new analysis tool, which considered both theinner country regional division of China and world region division to evaluate thecarbon tax effectiveness in China and worldwide.
Robot Operating System是在机器人研究以及业界用于设计、仿真和打造原型机器人方面很为广泛使用的软件框架之一。运用ROS知识实现机器人比人们想象的要难得多,但是本书可以为创建你自己的机器人提供不时之需。该书包含14个ROS机器人项目,不需要太多硬件就可以做出原型。全书从ROS介绍和安装过程开始。讨论相关基础知识之后,你将被带入浏览伟大项目的旅程,比如构建自动驾驶汽车、自主移动机器人,以及运用深度学习和ROS相结合的图像识别等。你可以从中找到面向初学、中级和专家等各个层面的ROS机器人应用。
在这位为Microsoft .NET团队长期提供咨询服务的编程专家Jeffrey Richter的带领下,你将获得开发健壮、可靠和具有良好响应能力的应用和组件所需的实用知识。
本书是电子、计算机与自动化学科方向的专著,为使读者全面了解视频分析算法的背景、思想、原理、仿真及特点,本书详尽地介绍了多种算子、描述子、滤波、变换、方法等的基本原理,深入地阐述了视频分析算法的实验仿真,系统地总结了其优点和缺点,并提供配套的实验仿真源代码。
★ clara explicacidn de los fundamentos de la teoria de la medicina china. ★ guia paso a paso sobre lo que implica un tratamiento con medicina china. ★ instrucciones sobre la dieta, el ejercicio y las terapias que se pueden realizar en casa. ★ introduccion a los diversos tratamientos utilizados en medicina china como acupuntura, fitoterapia, tui na (masaje) yotros. ★ explicaciones claras e ilustraciones informativas que facilitan la comprension.
本书与时俱进,携近期新的库和最现代的编程思维为你丝丝入扣的介绍了专业数据科学必不可少的技能。不用再惧怕理论知识,书中提供了编写算法和处理数据所需的最关键的实用知识,只要有最基本的经验就可以了。你可以在书中找到洞悉复杂的数据所需的全部分析工具,还能学到如何选择正确的算法来解决特定的问题。通过与各种真实问题的亲密接触,你将学会如何应用机器学习方法来处理常见的任务,包括分类、预测、市场分析以及聚类。