本书是在“高等微积分”的水平上阐述数学分析中的论题,提供了从初等微积分向实变函数论及复变函数论中的高等课程的一种过渡,而且介绍了某些涉及现代分析的抽象理论.内容既涵盖我国大学的数学分析课程的内容,又包括勒贝格积分及柯西定理和留数计算等.本书条理清晰,内容精练,言简意赅,适合作为高等院校本科生数学分析课程的教材.
全长黏结锚索支护是煤矿和金属矿支护中的一种常见方式。由于锚索具有承载力大、可靠性高等优点,在矿山有着广泛的应用。但全长黏结锚索支护仍然存在失效的问题,常见的失效方式包括锚索与锚固剂接触面的粘结失效等。为了揭示全长黏结锚索支护的力学传递机理,预防锚索支护发生失效,本专著提出采用物理试验、理论分析和数值计算相结合的方法,研究全长黏结锚索在轴向加载条件下的力学传递性能及失效方式,从而为揭示锚索支护的力学传递原理提供了理论依据。
一本记录中国野生生物保护历史的科普摄影集,本书展示了过去百年来,中国人和生长在这块土地上的各种野生生物之间关系演进的过程。以时间、地域、物种为相互交叉的象限,通过摄影作品辅以文字的形式,从中国各个旗舰物种代表的地域出发,并穿插蚂蚁森林保护地、中国巡护员、牧民摄影师计划、科学观鲸和城市动物园五个小专题,系统梳理了中国野生动物的发现、认知、利用、保护的历程,以及保护观念的巨大转变,客观展现我们已经取得的成就和经验教训,同时思考和展望今后的保护工作。
《软件利润流(英文限量版)》主要介绍软件利润流、利润流画布及其应用。在分别阐述软件解决方案、利润流、系统思考和展望未来之后,聚焦于利润流画布,进入深水区,探讨利润流画布的应用,阐述如何运用画布来设计和演化利润流,比如开发新的解决方案、软件集成到硬件、分拆/剥离以及对软件生命周期进行管理。 如果要为智能设备开发软件,如果要做创新,如果要量化价值,如果要拉新或者促活,如果要打赢价格战,如果处于草创期不确定定价策略,如果想要持续创造利润,或许可以从《软件利润流(英文限量版)》中找到答案。
本书的第一部分涵盖了基本的计数工具,包括和与乘积的规则、二项式系数、递归、组合恒等式的双射证明、图论中的枚举问题、包含一排除公式、生成函数、评秩算法和后继算法。阅读这部分内容需要的数学先决条件最少,可用于本科高年级或研究生初级阶段的一个学期的组合学课程。这些材料对计算机科学家、统计学家、工程师、物理学家以及数学家来说都是有趣且有用的。 本书的第二部分包含了对代数组合学的介绍,讨论了群、群作用、排列统计、表格、对称多项式和形式幂级数。这里对对称多项式的表述比标准参考文献更具有组合性(希望更易于读者理解)。特别是一种基于反对称多项式和算盘的新方法对一些高级结果给出了基本组合证明,例如倍增的舒尔(Schur)对称多项式的皮耶里(Pieri)规则和利特尔伍德-理查森(Littlewood-Richardson)规则。第二部分假设读者拥
《特殊钢中碳化物控制:英文》由李晶,史成斌著
如果你需要构建一个具有高可用性需求的可扩展容错系统,请了解为什么Erlang/OTP平台因其功能的广度、深度和一致性而脱颖而出。《Erlang\OTP可扩展性设计指南(影印版 英文版)》演示如何使用Erlang编程语言及其OTP框架的可重用库、工具和设计原则来开发复杂的根本不会失败的商业级系统。 在《Erlang\OTP可扩展性设计指南(影印版 英文版)》的靠前部分中,你将学习如何使用Erlang/OTP设计和实现进程行为与监督树,并将它们捆绑到独立节点中。第二部分涉及整体系统设计中的可靠性、可扩展性和高可用性。如果你熟悉Erlang,《Erlang\OTP可扩展性设计指南(影印版 英文版)》将帮助你了解系统持续运行所需的设计选择和权衡。
Camassa-Holm方程是一类十分重要而又特别的新型浅水波方程,有广泛的应用背景。该类方程存在一类尖峰孤立子,并且它是完全可积的,具有双哈密顿结构和Lax对。本书给出该类方程的物理背景并阐述它的完全可积性。对该类方程的行波解作分类,获得多种奇异孤立波解;给出该类方程的谱图理论和散射数据;利用反散射方法,给出该类方程的多孤立子解。获得该类方程的整体强解的存在性及整体弱解的存在性;得到该类方程柯西问题的局部适定性;研究它们的blow-up问题以及尖峰孤立子解的轨道稳定性。本书同时研究含尖峰孤立子的Degasperis-Procesi方程及b族方程,研究前一类方程激波的形成及动力学分析,给出b族方程的水波结构和非线性平衡关系,对Degasperis-Procesi方程的适定性给出具体证明。
工程科技是改变世界的重要力量,工程前沿是工程科技未来方向的重要指引。把握全球工程科技大势,瞄准世界工程科技前沿,大力推动工程科技创新发展,有效地应对全球性重大挑战,实现人类社会可持续发展,巳经成为世界各国的战略选择。2017年以来,中国工程院连续组织开展"全球工程前沿"重大咨询研究项目,旨在按年度分析全球工程研究前沿和工程开发前沿,研判全球工程科技演进变化趋势。本书为2020年度"全球工程前沿"项目研究成果,由两部分组成一一研究概况和领域报告,描述和分析了机械与运载工程、信息与电子工程、化工冶金与材料工程、能源与矿业工程、土木水利与建筑工程、环境与轻纺工程、农业、医药卫生和工程管理9个领域的工程研究前沿和工程开发前沿概况,并对重点前沿进行详细解读。 本书为"全球工程前沿"系列丛书之一,适合各相关
时滞微分方程(DDE)是一个用于单个变量的函数的方程,通常称为时间。本书是一部英文版的数学专著,作者萨米尔·萨克尔教授,是曼苏尔大学和堪萨斯州大学的数学教授,并于2002年在波兰的亚当·米基维茨大学获得博士学位,其研究方向为泛函微分和微分方程的定性分析,以及它们在动力学方程振动中的应用,他单独发表及与他人合作发表论文150多篇。本著作分为六章,内容如下:第1章:二阶微分方程。第2章:二阶差分方程。第3章:二阶中立型微分方程。第4章:二阶中立型差分方程。第5章:三阶微分方程。第6章:三阶差分方程。
在全球城市化背景下,城市遥感技术在城市观测、监测、规划、建设和管理等方面发挥了重要作用。本书介绍了城市多源遥感大数据获取原理、城市遥感图像处理方法和城市遥感在相关行业的具体应用。具体内容涵盖城市遥感现状和发展趋势、城市遥感空天地多平台传感器的数据特性,重点包括城市遥感“时空谱角”观测模型、城市遥感图像解译原理和方法、城市遥感图像预处理和信息提取方法、基于深度学习模型的城市遥感图像处理方法、城市遥感变化检测和动态监测,以及城市生态环境遥感监测技术与实践。本书内容包括遥感基础知识和城市遥感当前研究方向,可以作为高等院校遥感、测绘、地理信息及相关专业本科生和研究生教材,也可供城市遥感领域的科学工作者参考。
本书将是关于分布式协调控制理论与应用的一部专著,系统地总结了网络化多机电系统分布式协调控制理论与应用技术,是作者多年来科研工作的总结。内容包括:基于无源性理论、终端滑模理论、以及观测器理论的网络多机电系统分布式协调控制器设计与分析;网络多机电系统的分布式自适应控制、分布式智能控制、以及分布式容错控制;多移动机器人编队控制;多发电系统的分布式优化调度与协调控制。
本书是软件工程领域的经典著作,自第1版出版至今,近40年来在软件工程界产生了巨大而深远的影响。第9版在继承之前版本风格与优势的基础上,不仅更新了全书内容,而且优化了篇章结构。本书共四个部分,涵盖软件过程、建模、质量与安全、软件项目管理等主题,对概念、原则、方法和工具的介绍细致、清晰且实用。此外,书中还提供了丰富的扩展阅读资源和网络资源。本版基于原书第9版进行改编,保留基本的软件工程知识体系,删除面向研究生的高级话题、面向专门化的软件开发实践的内容、面向软件行业高级工程人员的参考内容、其他课程中应包含的知识和内容,从而更加适合作为高等院校计算机、软件工程及相关专业本科生的软件工程课程教材。
本书是电子、计算机与自动化学科方向的专著,为使读者全面了解视频分析算法的背景、思想、原理、仿真及特点,本书详尽地介绍了多种算子、描述子、滤波、变换、方法等的基本原理,深入地阐述了视频分析算法的实验仿真,系统地总结了其优点和缺点,并提供配套的实验仿真源代码。
本书由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功能应用于对数据集的切片、分块和汇总;分析并操作规则和不规则的时间序列数据;利用完整的、详细的示例学习如何
《石油精炼工艺手册:石油化工基础理论(影印版)(英文版)》是美国McGraw—Hill Education公司2016年出版的Handbook of Civil Engineering Calculations Third Edition的影印版。《石油精炼工艺手册:石油化工基础理论(影印版)(英文版)》深入讲解了当今的炼油技术、工艺和方法,并介绍了复合环保要求的燃料和石化中间以及石油炼制工艺的发展成果。
在使用 Apache Hadoop 设计端到端数据管理解决方案时,获得专家级指导。当其它很多渠道还停留在解释 Hadoop 生态系统中该如何使用各种纷纭复杂的组件时,这本专注实践的书已带领您从架构的整体角度思考,这样的角度对于您的特别应用场景而言,是必不可少的。它将所有组件紧密结合在一起,形成完整有针对性的应用程序。为了增强学习效果,本书第二部分提供了各种详细的架构案例,涵盖部分很常见的 Hadoop 应用场景。无论您在设计一个新的 Hadoop 应用,或者正计划将 Hadoop 整合到现有的数据基础架构中,本书都将在整个过程中提供技巧性的导引。
作为一本综合指南,本书将带领你探究TensorFlow 1.x的不错特性。深入了解TensorFlow Core、Keras、TF Estimators、TFLearn、TF-Slim、Pretty Tensor以及Sonnet。通过TensorFlow和Keras的强大功能,利用转移学习、生成式对抗网络、深度强化学习等概念构建深度学习模型。在本书中,你将获得各种数据集(如MNIST、CIFAR-10、PTB、text8、COCO-Images)的实践经验。你将学习到TensorFlow1.x的不错特性,例如带有TF-Clusters的分布式TensorFlow、使用TensorFlow Serving部署生产模型、在Android和iOS平台上为移动和嵌入式设备构建和部署TensorFlow模型。你还会看到如何在R统计软件中调用TensorFlow和Keras API,了解在基于TensorFlow API的代码无法按预期工作时所需的调试技术。
《Complexes and the Cohen-Macaulay Property(复形与Cohen-Macaulay性质)》共分为7章。第一章包含了关于深度、Krull维数以及CM性质等的一些核心结果或者基本事实;其中关于标准代数的CM性与分次CM性的等价性、序列CM性的代数描述两部分内容十《Complexes and the Cohen-Macaulay Property(复形与Cohen-Macaulay性质)》的特色和贡献。第二章是讨论单纯复形的基本事实,特别是描述了两个代数不变量(由复形构造的面环的深度、Krull维数)与复形的拓扑不变量之间的确切关系)。第三章讨论复形的shellable性质,特别是详细推出其用restrictionmap进行的等价刻画、与d-可分性之间的等价关系,是对于shellable性质的深刻描述和讨论。第四章介绍了如何由拓扑复形构造代数链复形,介绍相应的导出同调群,并重点介绍了近代文献中有较多应用的Koszul复形以及三种常用复形的详尽构造。第五章是《Complexes and
本书针对基于高层语义的图像检索的关键技术环节进行了介绍和论述。主要内容:(1)基于语义的图像检索技术的研究背景,以及图像特征提取,图像相似度度量,图像语义学习等各关键环节经典和现有算法的综述介绍;(2)基于作者提出的一个基于区域的语义图像检索算法,阐述了如何实现基于语义的图像检索,如何提取有效的图像数字特征,如何从图像数字特征提取图像语义,(3)将将所提出的基于语义的图像检索算法用于网络图像检索的改进,描述了其应用价值。
本系列图书是美国McGraw-Hill Education公司2016年出版的Handbook of Civil Engineering Calculations Third Edition的影印版,是目前近期新的有关土木工程技术问题的指导手册,提供了与近期新的实践、规范和标准相一致的3000多种计算方法,可以帮助读者准确地进行复杂的设计和施工计算。本册介绍了钢结构设计,包括钢梁和板梁、钢柱和张力构件、负载阻力系数法、应力应变分析、受弯构件应力、梁的变形、超静定结构、动载荷和影响线、铆接和焊接连接、钢结构塑性设计;吊架、连接器和风应力分析。