分析已经成为这十年来的技术驱动力。诸如IBM、SAP、SAS、Teradata、Oracle、Microsoft和Dell等公司正在创建专注于分析的新型组织单元,帮助企业更加有效和高效地运营。决策者也正在使用更多的计算机化工具来支持他们的工作。消费者甚至都在直接或间接地使用分析工具来对购物、健康或医疗保健、旅游和娱乐等日常活动做出决定。
电磁学是物理学的重要组成部分,是物理学、光电等本科专业的重要基础课,也是能源、微电子、光电子以及其他新学科不可缺少的基础。本书主要介绍了研究电磁学的基础,共分六章,分别介绍了数学方法、静电学、电位、静磁学、物质中的电场和物质中的磁场的相关理论。本书还在对应的知识点中添加了简要的理论注释和公式,提出了电磁学中的一些基础问题。本书关于电磁学问题和解决方法为大学本科生更深入地理解和掌握电磁学奠定了理论基础,为研究生阶段的学习做好准备。
本书将是关于分布式协调控制理论与应用的一部专著,系统地总结了网络化多机电系统分布式协调控制理论与应用技术,是作者多年来科研工作的总结。内容包括:基于无源性理论、终端滑模理论、以及观测器理论的网络多机电系统分布式协调控制器设计与分析;网络多机电系统的分布式自适应控制、分布式智能控制、以及分布式容错控制;多移动机器人编队控制;多发电系统的分布式优化调度与协调控制。
《抽水蓄能电站技术与发展(英文版)》作为“中国一东盟清洁能源能力建设计划”系列技术材料之一,全面梳理了国内外抽水蓄能电站的发展历程和中国的建设管理经验,从选点规划、前期技术、开发建设、投资模式、并网和运维等方面,总结了抽水蓄能电站开发、建设和运营等全生命周期的管理技术与方法,并提出了环境友好型抽水蓄能电站项目设计的经典案例,对构建抽水蓄能电站技术理论体系、促进能源的综合利用和可持续发展具有借鉴作用。 《抽水蓄能电站技术与发展(英文版)》可作为储能技术、水电工程等领域规划设计及管理人员的参考用书,也可供高等院校相关专业的本科生、研究生及教师参考。
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.
本书由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功能应用于对数据集的切片、分块和汇总;分析并操作规则和不规则的时间序列数据;利用完整的、详细的示例学习如何
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
该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。
本书是软件工程领域的经典著作,自第1版出版至今,近40年来在软件工程界产生了巨大而深远的影响。第9版在继承之前版本风格与优势的基础上,不仅更新了全书内容,而且优化了篇章结构。本书共四个部分,涵盖软件过程、建模、质量与安全、软件项目管理等主题,对概念、原则、方法和工具的介绍细致、清晰且实用。此外,书中还提供了丰富的扩展阅读资源和网络资源。本版基于原书第9版进行改编,保留基本的软件工程知识体系,删除面向研究生的高级话题、面向专门化的软件开发实践的内容、面向软件行业高级工程人员的参考内容、其他课程中应包含的知识和内容,从而更加适合作为高等院校计算机、软件工程及相关专业本科生的软件工程课程教材。
本书为《华北克拉通破坏》的英文版。本书集中我国在地球科学、数理科学和信息科学等领域的优势研究力量,突破传统学科界线的束缚,进行不同学科间有效的交叉融合;针对华北克拉通形成之后的破坏和再造作用及其构造、岩浆、成矿和古环境效应,呈现了突破性研究进展。本书将为我国在完善地球形成与演化的理论体系以及在地球系统科学理论框架的建立过程做出原创性贡献,为我国由地学大国变为地学强国提供切实可行的突破口。
本书是一部英文版的数学专著。早期的经典力学、微积分和常微分方程是不大区分的,其理想目标是求出运动方程的显式解,Newton关于二体问题的求积,从引力定律推出了Kepler通过观察发现的行星运动三定律,被认为是人类理性的伟大胜利,求显式解努力的顶点,是发现了一些以技巧著称的接近可积系统的范例,如Jacobi关于椭球面上测地线的积分,C.Neumann关于受二次位势力作用的球面谐振子,以及几种类型的可积陀螺。这些例子中的运动,多属于周期或概周期运动,Jacobi,Kovaleskage等出色地运用了椭圆积分及代数曲线工。本书属于天体力学范畴,天体力学研究在法国有优良的传统,以三L著称的法国有名数学家拉普拉斯、拉格朗日和勒让德都曾醉心于此。
本书是软件工程领域的经典著作,自第1版出版至今,近40年来在软件工程界产生了巨大而深远的影响。第9版在继承之前版本风格与优势的基础上,不仅更新了全书内容,而且优化了篇章结构。本书共四个部分,涵盖软件过程、建模、质量与安全、软件项目管理等主题,对概念、原则、方法和工具的介绍细致、清晰且实用。此外,书中还提供了丰富的扩展阅读资源和网络资源。本版基于原书第9版进行改编,保留基本的软件工程知识体系,删除面向研究生的高级话题、面向专门化的软件开发实践的内容、面向软件行业高级工程人员的参考内容、其他课程中应包含的知识和内容,从而更加适合作为高等院校计算机、软件工程及相关专业本科生的软件工程课程教材。
本书一书主要总结了算子集合的不变子空间性质,以及类紧算元的相关结果。在算子理论中,我们把紧的拟幂零算子称为Volterra算子。由Volterra算子组成的集合亦称为Volterra集合,如Volterra半群,Volterra代数等。在《公共不变子空间与紧型条件》的第一部分,我们主要讨论Volterra半群,Volterra李代数,Volterra约当代数的不变子空间问题,这些问题都曾经是算子理论、算子李代数中的经典公开问题,在1999-2005年左右得以解决,收录于《公共不变子空间与紧型条件》第一部分。在《公共不变子空间与紧型条件》的第二部分,我们讨论了幂零李代数生成Banach代数是否为Engel代数的这一公开问题,这也是算子李代数的经典问题,至今尚未接近解决,相关部分结果收录于第五章,随后我们把紧算子的相关性质向Banach代数中类紧元集合推广,给出了离散根的定义和性质,最后,我们给
该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。
本书为《单量子态的探测及相互作用》的英文版。单量子态,是指量子体系中的单光子、单电子、单原子、单分子、聚集体中的准粒子等单粒子量子态,以及聚集体中多粒子凝聚所形成的宏观量子态(如玻色-爱因斯坦凝聚态、超导或超流量子态)等。本书呈现了单量子态及其量子效应的研究,直接对单粒子量子态和宏观量子态等进行高精度的精密探测;结合理论,理解和掌握量子态的特性和量子过程的基本规律,在此基础上发展新的量子器件构筑技术和量子探测手段,以提升我国基础研究的水平,解决与我国信息和能源技术实现跨越式发展的一些重大需求相关的问题。
细分曲面造型技术是当前计算机辅助设计和制造业数字化领域的一项重要的曲面造型技术,在逆向工程中有着重要的应用,在高端制造业、三维(3D)打印中的复杂形体设计和制造起到积极和不可或缺的作用。
在全球城市化背景下,城市遥感技术在城市观测、监测、规划、建设和管理等方面发挥了重要作用。本书介绍了城市多源遥感大数据获取原理、城市遥感图像处理方法和城市遥感在相关行业的具体应用。具体内容涵盖城市遥感现状和发展趋势、城市遥感空天地多平台传感器的数据特性,重点包括城市遥感“时空谱角”观测模型、城市遥感图像解译原理和方法、城市遥感图像预处理和信息提取方法、基于深度学习模型的城市遥感图像处理方法、城市遥感变化检测和动态监测,以及城市生态环境遥感监测技术与实践。本书内容包括遥感基础知识和城市遥感当前研究方向,可以作为高等院校遥感、测绘、地理信息及相关专业本科生和研究生教材,也可供城市遥感领域的科学工作者参考。
于19世纪50年代的一个半世纪里,这是第一次有人从“形式逻辑”的基本框架出发,对这个经典理论体系所作的一次“体系性”反思、梳理、批判和重建。书中所出现不同于经典理论的所有材料、或者提出的独立研究结果,除了添加的与“数值分析”相关的研究结果以外,全部源自于笔者自担任上海交通大学自然科学基础研究组负责人的近20年来已经完成的独立研究工作。
本书着重讨论了齐次边值问题(BVPs),齐次意味着系统缺乏强制函数或源函数。本书中不仅仅有关于之前已经提到的相关主题的介绍,还有数学方法课程在物理课程中所起的作用以及相应的时间。本书的重点是解偏微分方程的方法及引入的特殊方程,解偏微分方程必须根据边界条件来进行,在系统的边界上需要满足一系列空间或时间上的附加约束。
《软件利润流(英文限量版)》主要介绍软件利润流、利润流画布及其应用。在分别阐述软件解决方案、利润流、系统思考和展望未来之后,聚焦于利润流画布,进入深水区,探讨利润流画布的应用,阐述如何运用画布来设计和演化利润流,比如开发新的解决方案、软件集成到硬件、分拆/剥离以及对软件生命周期进行管理。 如果要为智能设备开发软件,如果要做创新,如果要量化价值,如果要拉新或者促活,如果要打赢价格战,如果处于草创期不确定定价策略,如果想要持续创造利润,或许可以从《软件利润流(英文限量版)》中找到答案。
本书的第一部分涵盖了基本的计数工具,包括和与乘积的规则、二项式系数、递归、组合恒等式的双射证明、图论中的枚举问题、包含一排除公式、生成函数、评秩算法和后继算法。阅读这部分内容需要的数学先决条件最少,可用于本科高年级或研究生初级阶段的一个学期的组合学课程。这些材料对计算机科学家、统计学家、工程师、物理学家以及数学家来说都是有趣且有用的。 本书的第二部分包含了对代数组合学的介绍,讨论了群、群作用、排列统计、表格、对称多项式和形式幂级数。这里对对称多项式的表述比标准参考文献更具有组合性(希望更易于读者理解)。特别是一种基于反对称多项式和算盘的新方法对一些高级结果给出了基本组合证明,例如倍增的舒尔(Schur)对称多项式的皮耶里(Pieri)规则和利特尔伍德-理查森(Littlewood-Richardson)规则。第二部分假设读者拥
作为一名开发人员,您总是需要留心并做好准备以应对即将发生的事情,同时还要关注当前趋势。那么,有什么比学习现在和未来这两个世界的完美结合更好呢?人工智能(AI)被广泛认为是继移动之后的下一个大产业,而谷歌的TensorFlow是靠前的开源机器学习框架,也是人工智能很热门的分支。这本书涵盖了10多个完整的以TensorFlow为引擎、运行各种很酷的TensorFlow模型离线设备从头开始构建的IOS、Android和树莓派apps:从计算机视觉、语音和语言处理到生成对抗网络和AlphaZero之类的深度学习。您将学习如何使用或重新训练现有的TensorFlow模型,构建自己的模型,以及开发运行这些TensorFlow模型的智能移动apps。您将了解如何使用循序渐进的教程快速构建这样的app,以及如何利用大量来之不易的故障排除技巧来避免开发过程中的许多陷阱。