本书是在“高等微积分”的水平上阐述数学分析中的论题,提供了从初等微积分向实变函数论及复变函数论中的高等课程的一种过渡,而且介绍了某些涉及现代分析的抽象理论.内容既涵盖我国大学的数学分析课程的内容,又包括勒贝格积分及柯西定理和留数计算等.本书条理清晰,内容精练,言简意赅,适合作为高等院校本科生数学分析课程的教材.
该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。该专著主要包括了分数阶泛函微分方程、分数阶抽象常微分方程、分数阶抽象发展方程、基于临界点理论的分数阶边值问题、分数阶偏微分方程解对初值的连续依赖性、存在性、正则性、专享性、多解性等。
这是当今偏微分方程(PDE)教材的第二版。它给出了PDE理论学习中现代技术的总览,特别注重非线性方程。《偏微分方程(第二版)(英文版)》内容广泛、阐述清晰,已经是PDE方面经典的研究生教材。在本版中,作者做了大量改动,包括: ·新增非线性波动方程的一章。 ·超过80个新习题。 ·许多新的小节。 ·大大扩充了参考文献。
《一些流体模型的整体适定性(英文)》旨在介绍一些关于整体适定性的*新结果,包括一些流体模型整体解的渐近行为,如辐射气体燃烧模型、辐射流体力学模型、Navier-Stokes方程和p次方牛顿流体模型。这些模型具有相似的结构,由Navier-Stokes方程与其他方程或其他效应耦合而成。《一些流体模型的整体适定性(英文)》的大部分材料都基于作者及其合作者近年来进行的研究。有些以前只在原始论文中发表,有些直到现在才发表。
本书围绕如何构建高性能Web站点,从多个方面、多个角度进行了全面的阐述,几乎涵盖了Web站点性能优化的所有内容,包括数据的网络传输、服务器并发处理能力、动态网页缓存、动态网页静态化、应用层数据缓存、分布式缓存、Web服务器缓存等等。在这些内容中充分抓住本质并结合实践,让读者充分并深入理解高性能架构的真相。
本书针对基于高层语义的图像检索的关键技术环节进行了介绍和论述。主要内容:(1)基于语义的图像检索技术的研究背景,以及图像特征提取,图像相似度度量,图像语义学习等各关键环节经典和现有算法的综述介绍;(2)基于作者提出的一个基于区域的语义图像检索算法,阐述了如何实现基于语义的图像检索,如何提取有效的图像数字特征,如何从图像数字特征提取图像语义,(3)将将所提出的基于语义的图像检索算法用于网络图像检索的改进,描述了其应用价值。
《软件利润流(英文限量版)》主要介绍软件利润流、利润流画布及其应用。在分别阐述软件解决方案、利润流、系统思考和展望未来之后,聚焦于利润流画布,进入深水区,探讨利润流画布的应用,阐述如何运用画布来设计和演化利润流,比如开发新的解决方案、软件集成到硬件、分拆/剥离以及对软件生命周期进行管理。 如果要为智能设备开发软件,如果要做创新,如果要量化价值,如果要拉新或者促活,如果要打赢价格战,如果处于草创期不确定定价策略,如果想要持续创造利润,或许可以从《软件利润流(英文限量版)》中找到答案。
本书系世界学术研究前沿丛书之一,采用全英文出版,主要选择近三年出版的世界各国研究学者在肿瘤研究领域的很新科研理论与成果,本书的出版将对该领域研究起到一定的参考借鉴作用。本书选文,放眼优选,着眼科研能力成熟的发达国家的知名高校及科研院所,在选文上专业性和科研水平均较高。选取近3年学术研究成果,紧跟优选学术热点,着眼科研能力成熟的发达国家,保证了本书的非常不错性,文章甄选一般采用四个标准:作者的单位,作者在相应科研领域的科研资历,相关领域专家的认可与推荐,作者已发表文章的影响因子及引用次数高。同时注重理论性与实践性并重,力争达到理论与实践的完美结合。及时捕捉跟进各个领域的突破性研究进展,便于读者掌握学科靠前手资料。
本书系世界学术研究前沿丛书之一,采用全英文出版,主要选择近三年出版的世界各国研究学者在计算机网络安全领域的很新科研理论与成果,本书的出版将对该领域研究起到一定的参考借鉴作用。本书选文,放眼优选,着眼科研能力成熟的发达国家的知名高校及科研院所,在选文上专业性和科研水平均较高。选取近3年学术研究成果,紧跟优选学术热点,着眼科研能力成熟的发达国家,保证了本书的非常不错性,文章甄选一般采用四个标准:作者的单位,作者在相应科研领域的科研资历,相关领域专家的认可与推荐,作者已发表文章的影响因子及引用次数高。同时注重理论性与实践性并重,力争达到理论与实践的完美结合。及时捕捉跟进各个领域的突破性研究进展,便于读者掌握学科靠前手资料。
本书是Java语言的经典教材,中文版分为基础篇和进阶篇,主要介绍程序设计基础、面向对象程序设计、GUI程序设计、数据结构和算法、不错Java程序设计等内容。本书以示例讲解解决问题的技巧,提供大量的程序清单,每章配有复习题和编程练习题,帮助读者掌握编程技术,并应用所学技术解决实际应用开发中遇到的问题。进阶篇主要介绍列表、栈、队列、排序、二分查找树、AVL树、散列、图及其应用、并行程序设计、网络、Java数据库程序设计以及JSF等内容。本书可作为高等院校相关专业程序设计课程的基础教材,也可作为Java语言及编程爱好者的参考资料。
本书为《华北克拉通破坏》的英文版。本书集中我国在地球科学、数理科学和信息科学等领域的优势研究力量,突破传统学科界线的束缚,进行不同学科间有效的交叉融合;针对华北克拉通形成之后的破坏和再造作用及其构造、岩浆、成矿和古环境效应,呈现了突破性研究进展。本书将为我国在完善地球形成与演化的理论体系以及在地球系统科学理论框架的建立过程做出原创性贡献,为我国由地学大国变为地学强国提供切实可行的突破口。
复杂介质中的弹性波理论在地球物理勘探、结构和材料无损检测以及医学超声成像等领域具有广泛应用。但系统介绍弹性波传播理论的著作并不多见。本书系统介绍了各向同性弹性固体介质中弹性波传播的基本理论,包括无限大固体介质中的弹性波传播;弹性波在界面处的反射和透射;弹性波通过有限厚度层状结构的反射和透射;半无限大体表面或覆盖层中传播的瑞利波和乐夫波;平板中的导波和漏波;圆柱杆中导波;对圆柱壳和圆球壳中的导波传播模式和传播特性也进行了介绍。关于弹性波散射和多重散射的相关内容,基于篇幅考虑没有纳入。作者长期给研究生讲授弹性波理论,同时进行复杂介质中弹性波传播及其应用研究。本书是作者在弹性波理论课程讲义基础上,结合自己科研工作编写而成。全书共分6章,侧重基础理论和分析方法的系统性。
非线性算子不动点理论是非线性控制理论的重要组成部分,尤其是非线性算子方程( 组 )解的迭代逼近问题一直是非线性控制理论领域活跃的研究课题。近年来,在图像处理与强度可调辐射疗法的实际应用背景下,分裂可行性问题成为近期非线性分析的研究热点之一。本专著从三个方面研究分裂可行性问题与广义分裂可行性问题(分裂公共不动点问题、分裂变分不等式问题和分裂公共零点问题)解的迭代逼近。主要体现在新算法设计、空间扩展和参数减弱条件等方面。对于丰富和扩展分裂可行性问题相关理论有重要价值。
《精通嵌入式Linux编程(影印版)(英文)》带领你检视整个产品周期,深入讲解每个产品阶段用到的组件和选项。首先学习的是工具链、bootloader、Linux内核以及根文件系统的配置方法。然后学习使用两种很常用的构建系统(Buildroot和Yocto Project)来加快和简化开发过程。打下了坚实的基础之后,接下来要讲述如何发挥出raw NAND/NORflash memory(闪存)和managed flash(管理闪存)。MMC芯片的效用,其中包括延长设备生存期以及执行可靠性in—field更新的机制。随后要讲到POSIX线程的用法,这对于很终设备的响应性以及性能有着极大的影响。很后会介绍一些性能分析技术以及使用perf和ftrace跟踪应用程序和内核代码。
web访问方式的不断变化意味着屏幕尺寸和用户体验永远没有上限,响应式页面使得页面内容得以适应于现在和将来的设备。学习使用“响应和移动优先”的方法构建网站,使其能够轻松地呈现在所有的访问设备之上。通过大量的示例以及对于现代流行技术和语法的详细讲解,本书可以作为一切“响应式”实现的全面参考资料。第二版涵盖了所有最前沿的技术和工具,足以让你实现杰出的响应式设计,确保项目能够经受住未来的考验。
本书系世界学术研究前沿丛书之一,采用全英文出版,主要选择近三年出版的世界各国研究学者在材料科学领域的近期新科研理论与成果,本书的出版将对该领域研究起到一定的参考借鉴作用。本书选文,放眼优选,着眼科研能力成熟的发达国家的知名高校及科研院所,在选文上专业性和科研水平均较高。选取近3年学术研究成果,紧跟优选学术热点,着眼科研能力成熟的发达国家,保证了本书的性,文章甄选一般采用四个标准:作者的单位,作者在相应科研领域的科研资历,相关领域专家的认可与推荐,作者已发表文章的影响因子及引用次数高。同时注重理论性与实践性并重,力争达到理论与实践的完美结合。及时捕捉跟进各个领域的突破性研究进展,便于读者掌握学科靠前手资料。
本书为《华北克拉通破坏》的英文版。本书集中我国在地球科学、数理科学和信息科学等领域的优势研究力量,突破传统学科界线的束缚,进行不同学科间有效的交叉融合;针对华北克拉通形成之后的破坏和再造作用及其构造、岩浆、成矿和古环境效应,呈现了突破性研究进展。本书将为我国在完善地球形成与演化的理论体系以及在地球系统科学理论框架的建立过程做出原创性贡献,为我国由地学大国变为地学强国提供切实可行的突破口。
震颤是常见的运动障碍性疾病.表现为手、头部及身体其他部位不自主性、节律性、振动性运动。由震颤疾病产生的能障碍会长期困扰着震颤患者行走以及和计算机、家用电器等设备的交互.严重影响患者的生活质量。震颤的发生机理至今尚未明确,病因难以确定。且面临着临床低、副作用大等问题。使用阻尼器能电刺激来物理地肢体震颤的手段,在使用中易引起身体疲劳和疼痛等问题。本书提出并验证了AR技术对辅助震颤患者在键盘和环境交互方面的有效性和可行性。相较于传统和物理抑颤手段,本书提出的技术手段具有对震颤患者身体。且支持人机交互的优势。
如何考虑岩土工程的设计、施工和运营中存在大量的不确定性因素是岩土工程的关键难点之一,也是国内外岩土工程领域的研究热点。本教材系统讲述了岩土工程可靠度原理、方法和算法,包括概率基础、一阶可靠度算法、抽样方法、响应面方法、土体空间变异性、基于可靠度设计理论、贝叶斯方法等七章内容。教材包含大量的实例、算法和实现代码,可作为高年级本科生和研究生的教材,也可做为岩土工程和地质工程等相关从业人员的参考书。教材包含了岩土工程可靠度领域诸多学者(包括编者)的重要研究成果。
于19世纪50年代的一个半世纪里,这是第一次有人从“形式逻辑”的基本框架出发,对这个经典理论体系所作的一次“体系性”反思、梳理、批判和重建。书中所出现不同于经典理论的所有材料、或者提出的独立研究结果,除了添加的与“数值分析”相关的研究结果以外,全部源自于笔者自担任上海交通大学自然科学基础研究组负责人的近20年来已经完成的独立研究工作。
本册为第5卷:守恒定律与旋转运动:不变性的概念或守恒定律,是在典型的经典力学课程中被首先提出的。几乎在所有的物理课程中,这个概念对于培养解题技巧也是至关重要的,不论是什么内容或级别的解题技巧。守恒定律被用在物理课程的每一种类型中:力学、电学、磁学、热力学、电子学、量子力学、核能和粒子物理学等。这些守恒定律的前两个,能量守恒和动量守恒将在第5卷中讨论。最后,第5卷介绍了质心和旋转运动的概念。我们的运动没有在直线上,我们研究的物体现在可以旋转、自旋和翻滚。
本书提出了一个替代的方法来证明,在一组一般点上满足一定多重性条件的多项式空间的维数计算的一般问题可以用任何维数表示。关于函数逼近或数值格式的定理,几乎都是通过多项式化简为局部插值的。本书共分为五章,主要包括代数几何方法、近似理论方法、亚历山大-赫肖维茨定理、环面及进一步的工作。书中详细介绍了拉格朗日插值、标准二元埃尔米特插值、一般环面中的曲线线性系统等内容。本书适合高等院校相关专业师生以及数学爱好者参考阅读。
本书系国家自然科学基金重大研究计划“视听觉信息的认知计算”的出版成果。本书为《视听觉信息的认知计算》的英文版。本书从人类的视听觉认知与神经机理出发,围绕认知过程的“表达”与“计算”的基本科学问题,重点开展“感知的基本特征、表达与整合”“感知数据的机器学习与理解”“多模态信息协同计算”等三个核心科学问题的研究,发展和构建新的计算模型与算法,为提高计算机对非结构化感知信息和海量异构信息的理解能力及计算效率提供科学支撑。
一本记录中国野生生物保护历史的科普摄影集,本书展示了过去百年来,中国人和生长在这块土地上的各种野生生物之间关系演进的过程。以时间、地域、物种为相互交叉的象限,通过摄影作品辅以文字的形式,从中国各个旗舰物种代表的地域出发,并穿插蚂蚁森林保护地、中国巡护员、牧民摄影师计划、科学观鲸和城市动物园五个小专题,系统梳理了中国野生动物的发现、认知、利用、保护的历程,以及保护观念的巨大转变,客观展现我们已经取得的成就和经验教训,同时思考和展望今后的保护工作。