本书着重讨论了齐次边值问题(BVPs),齐次意味着系统缺乏强制函数或源函数。本书中不仅仅有关于之前已经提到的相关主题的介绍,还有数学方法课程在物理课程中所起的作用以及相应的时间。本书的重点是解偏微分方程的方法及引入的特殊方程,解偏微分方程必须根据边界条件来进行,在系统的边界上需要满足一系列空间或时间上的附加约束。
本书的第一部分涵盖了基本的计数工具,包括和与乘积的规则、二项式系数、递归、组合恒等式的双射证明、图论中的枚举问题、包含一排除公式、生成函数、评秩算法和后继算法。阅读这部分内容需要的数学先决条件最少,可用于本科高年级或研究生初级阶段的一个学期的组合学课程。这些材料对计算机科学家、统计学家、工程师、物理学家以及数学家来说都是有趣且有用的。 本书的第二部分包含了对代数组合学的介绍,讨论了群、群作用、排列统计、表格、对称多项式和形式幂级数。这里对对称多项式的表述比标准参考文献更具有组合性(希望更易于读者理解)。特别是一种基于反对称多项式和算盘的新方法对一些高级结果给出了基本组合证明,例如倍增的舒尔(Schur)对称多项式的皮耶里(Pieri)规则和利特尔伍德-理查森(Littlewood-Richardson)规则。第二部分假设读者拥
本书的第一部分涵盖了基本的计数工具,包括和与乘积的规则、二项式系数、递归、组合恒等式的双射证明、图论中的枚举问题、包含一排除公式、生成函数、评秩算法和后继算法。阅读这部分内容需要的数学先决条件最少,可用于本科高年级或研究生初级阶段的一个学期的组合学课程。这些材料对计算机科学家、统计学家、工程师、物理学家以及数学家来说都是有趣且有用的。 本书的第二部分包含了对代数组合学的介绍,讨论了群、群作用、排列统计、表格、对称多项式和形式幂级数。这里对对称多项式的表述比标准参考文献更具有组合性(希望更易于读者理解)。特别是一种基于反对称多项式和算盘的新方法对一些高级结果给出了基本组合证明,例如倍增的舒尔(Schur)对称多项式的皮耶里(Pieri)规则和利特尔伍德-理查森(Littlewood-Richardson)规则。第二部分假设读者拥
多值映射理论作为数学中的一个单独领域形成于20世纪中期,并且很快在数学经济、微分方程理论、微分游戏理论、凸分析和极值问题理论、广义动力系统以及很多其他数学领域中得到了大量应用。目前,存在多种研究多值映射不动点的方法,例如度量法以及拓扑法。 在多值映射领域中同样也占有重要位置的是连续分割和逼近的存在问题。本书提出了解决这些问题的简单方法,并研究了所证明理论在非线性分析的各种问题中的部分应用。本书可供对多值映射理论感兴趣的数学家以及非线性分析领域的专业人士参考使用。
本书共分七章,主要介绍了微信群中的数学题,数值逼近论中的切比雪夫多项式及其性质,数值积分,特殊函数与切比雪夫多项式,平方逼近与均匀逼近中的切比雪夫多项式,关于苏联科学院数学研究所在函数逼近论方面的工作,圆上的Weissler对数不等式与Stieltjes矩量的极值问题等。 本书适合大学师生及数学爱好者参考使用。
This book provides a greater understanding of KT and IS theories from the following perspectives: Presenting the role of changing national policy contexts in the process of transnational KT and proposing a knowledge-based approach to study KT based on the finding; Proposing a model conceptualising transnational knowledge management and KT processes; Summarising major ISD policy tools utilised by countries such as the UK and China; Providing a deeper understanding of an IS network facilitation approach which has been widely cited as an ISD exemplar. Hopefully, the book can be read by those conducting intemational cooperations and young researchers initiating qualitative research, enlightening their work in their area.
本书系国家自然科学基金重大研究计划“视听觉信息的认知计算”的出版成果。本书为《视听觉信息的认知计算》的英文版。本书从人类的视听觉认知与神经机理出发,围绕认知过程的“表达”与“计算”的基本科学问题,重点开展“感知的基本特征、表达与整合”“感知数据的机器学习与理解”“多模态信息协同计算”等三个核心科学问题的研究,发展和构建新的计算模型与算法,为提高计算机对非结构化感知信息和海量异构信息的理解能力及计算效率提供科学支撑。
本书结合我国生态文明建设的国家战略需求,依托国家重点研发计划“场地土壤污染成因与治理技术”重点专项(2019YFC1804303),紧密结合科研育人的内在要求,从培养高层次创新型人才知识结构需求出发,注重内容的理论性、系统性、前沿性和完整性。 主要内容包括裂隙介质概念、结构与特性、裂隙介质水动力学基础、裂隙介质中污染物基本传质过程、裂隙介质中污染物传质的数学模型、裂隙介质中污染物传质的数值模拟方法、裂隙孔隙双重介质传质过程、裂隙介质中污染物传质界面的演化规律等内容。 本书可作为地质、水利、矿山、土木、环境、交通、石油、人防、国防等专业教学用书,也可作为相关专业科技人员的参考用书。
本书共三章,包括引言和序言、ITO积分与随机微分方程和动力系统与随机稳定性。本书详细介绍了随机过程及其分布与线性算子的半群,ITO积分的随机微分方程及其解,最后详细地论述了随机动力系统及Koopman和Frobenius-Perron算子。随机微分方程这一相对较新的学科在理论和应用上都有着越来越重要的意义。本书的目的是从微分方程动力系统的角度,提出一个简明但大部分是自成体系的随机微分方程理论,主要结合半群理论和泛函分析技术来研究解。本书根据需要开发概率随机过程的先决条件,利用Fokker-Planck方程研究了密度的演化,并应用于含噪声系数的捕食者-食饵模型。
本书共分为10章,详细介绍了 Lagrange 内插公式的概念及多种内插方法,讲述了插值法和数值微分、插值的误差估计、反内插法、多变量函数的内插法、分片拉格朗日多项式等内容。本书适合高等数学研究爱好者及大学教师、数学等相关专业的学生研读。
本书针对基于高层语义的图像检索的关键技术环节进行了介绍和论述。主要内容:(1)基于语义的图像检索技术的研究背景,以及图像特征提取,图像相似度度量,图像语义学习等各关键环节经典和现有算法的综述介绍;(2)基于作者提出的一个基于区域的语义图像检索算法,阐述了如何实现基于语义的图像检索,如何提取有效的图像数字特征,如何从图像数字特征提取图像语义,(3)将将所提出的基于语义的图像检索算法用于网络图像检索的改进,描述了其应用价值。
本书针对基于高层语义的图像检索的关键技术环节进行了介绍和论述。主要内容:(1)基于语义的图像检索技术的研究背景,以及图像特征提取,图像相似度度量,图像语义学习等各关键环节经典和现有算法的综述介绍;(2)基于作者提出的一个基于区域的语义图像检索算法,阐述了如何实现基于语义的图像检索,如何提取有效的图像数字特征,如何从图像数字特征提取图像语义,(3)将将所提出的基于语义的图像检索算法用于网络图像检索的改进,描述了其应用价值。
本书共分七章,主要介绍了微信群中的数学题,数值逼近论中的切比雪夫多项式及其性质,数值积分,特殊函数与切比雪夫多项式,平方逼近与均匀逼近中的切比雪夫多项式,关于苏联科学院数学研究所在函数逼近论方面的工作,圆上的Weissler对数不等式与Stieltjes矩量的极值问题等。 本书适合大学师生及数学爱好者参考使用。
本书为《华北克拉通破坏》的英文版。本书集中我国在地球科学、数理科学和信息科学等领域的优势研究力量,突破传统学科界线的束缚,进行不同学科间有效的交叉融合;针对华北克拉通形成之后的破坏和再造作用及其构造、岩浆、成矿和古环境效应,呈现了突破性研究进展。本书将为我国在完善地球形成与演化的理论体系以及在地球系统科学理论框架的建立过程做出原创性贡献,为我国由地学大国变为地学强国提供切实可行的突破口。
于19世纪50年代的一个半世纪里,这是第一次有人从“形式逻辑”的基本框架出发,对这个经典理论体系所作的一次“体系性”反思、梳理、批判和重建。书中所出现不同于经典理论的所有材料、或者提出的独立研究结果,除了添加的与“数值分析”相关的研究结果以外,全部源自于笔者自担任上海交通大学自然科学基础研究组负责人的近20年来已经完成的独立研究工作。
本书是在“高等微积分”的水平上阐述数学分析中的论题,提供了从初等微积分向实变函数论及复变函数论中的高等课程的一种过渡,而且介绍了某些涉及现代分析的抽象理论.内容既涵盖我国大学的数学分析课程的内容,又包括勒贝格积分及柯西定理和留数计算等.本书条理清晰,内容精练,言简意赅,适合作为高等院校本科生数学分析课程的教材.
本书是电子、计算机与自动化学科方向的专著,为使读者全面了解视频分析算法的背景、思想、原理、仿真及特点,本书详尽地介绍了多种算子、描述子、滤波、变换、方法等的基本原理,深入地阐述了视频分析算法的实验仿真,系统地总结了其优点和缺点,并提供配套的实验仿真源代码。
本书着重讨论了齐次边值问题(BVPs),齐次意味着系统缺乏强制函数或源函数。本书中不仅仅有关于之前已经提到的相关主题的介绍,还有数学方法课程在物理课程中所起的作用以及相应的时间。本书的重点是解偏微分方程的方法及引入的特殊方程,解偏微分方程必须根据边界条件来进行,在系统的边界上需要满足一系列空间或时间上的附加约束。
本专著拟介绍黎曼流形有界连通区域上几类自伴随椭圆算子的特征值问题。通过进一步地拓展黎曼几何里经典的体积比较定理,导出了线性Laplace算子与非线性p-Laplace算子的Dirichlet特征值问题下第一非零特征值的比较定理,对于Steklov特征值问题,同样可以得到第一非零特征值的比较定理,这些结论极大地推广了已有的经典结果;通过更好地构造指定流形上的测试函数,对于紧致完备流形上p-Laplace算子的第一闭特征值以及乘积流形上平面夹板(特征值)问题的第一非零特征值的下界给出了较好的估计,另外,对于满足特定条件的乘积Ricci孤立子上的Buckling(特征值)问题,我们可以给出涉及低阶特征值的万有不等式,这些新颖的结果对已有的经典结论做了很好的拓展。
《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
本书共分七章,主要介绍了微信群中的数学题,数值逼近论中的切比雪夫多项式及其性质,数值积分,特殊函数与切比雪夫多项式,平方逼近与均匀逼近中的切比雪夫多项式,关于苏联科学院数学研究所在函数逼近论方面的工作,圆上的Weissler对数不等式与Stieltjes矩量的极值问题等。 本书适合大学师生及数学爱好者参考使用。
本书共分为10章,详细介绍了 Lagrange 内插公式的概念及多种内插方法,讲述了插值法和数值微分、插值的误差估计、反内插法、多变量函数的内插法、分片拉格朗日多项式等内容。本书适合高等数学研究爱好者及大学教师、数学等相关专业的学生研读。
本书为《华北克拉通破坏》的英文版。本书集中我国在地球科学、数理科学和信息科学等领域的优势研究力量,突破传统学科界线的束缚,进行不同学科间有效的交叉融合;针对华北克拉通形成之后的破坏和再造作用及其构造、岩浆、成矿和古环境效应,呈现了突破性研究进展。本书将为我国在完善地球形成与演化的理论体系以及在地球系统科学理论框架的建立过程做出原创性贡献,为我国由地学大国变为地学强国提供切实可行的突破口。
本书旨在介绍先进的托卡马克稳定性理论,从求导的格拉多—沙弗拉诺夫方程和各种环形通量坐标的构造开始讲起,用解析托卡马克平衡理论证明了沙弗拉诺夫位移以及环形箍力是如何通过托卡马克的垂直磁场应用被平衡的,还介绍了各种托卡马克约束模式的原理分类,如低约束模式、高约束模式和改进之后的能量约束模式等内容。本书的最后还讨论了各种核心和边缘稳定性(运输现象)的物理解释,如输运垒、非局域输运、边缘局域模式、团迹输运和边缘谐波振荡。
本书针对基于高层语义的图像检索的关键技术环节进行了介绍和论述。主要内容:(1)基于语义的图像检索技术的研究背景,以及图像特征提取,图像相似度度量,图像语义学习等各关键环节经典和现有算法的综述介绍;(2)基于作者提出的一个基于区域的语义图像检索算法,阐述了如何实现基于语义的图像检索,如何提取有效的图像数字特征,如何从图像数字特征提取图像语义,(3)将将所提出的基于语义的图像检索算法用于网络图像检索的改进,描述了其应用价值。