数学理论

计算的数学理论

《计算的数学理论》,作者:(美)马纳(Manna, Z.)著;李玉茜译 出版社:科学出版社 ISBN:15031745。本书是一部以可计算性理论和数理逻辑为工具,讨论程序正确性验证的专著.著者Z.马纳教授是本领域中世界公认的著名学者.他的这部著作和译本所附的“程序的逻辑分析”(1977)及“计算机程序设计的逻辑方法”(1978)两篇论文是计算机程序设计方面的重要理论著作,为许多文献所引用.

医学图像中的数学理论与方法

《医学图像中的数学理论与方法》,作者:孔德兴、陈韵梅、董芳芳、楼琼著 出版社:科学出版社 ISBN:9787030406637。医学图像处理主要研究如何从医学影像中获取内在的信息,为临床医生提供更清晰、更精确的信息,以利于对疾病的进行准确的诊断、从而制定出合理的治疗方案。医学图像的特点是数据量大、种类多同时还有误差,这给医学图像的处理与分析带来很大困难,同时也使得医学图像处理这门新兴学科的研究内容

小波分析的数学理论

《小波分析的数学理论》,作者:李登峰 著 出版社:科学出版社 ISBN:9787030548832。  本书首先介绍空间Lp、Hilbert空间L2、Fourier变换和广义函数等基本内容,然后着重介绍小波的数学理论。第2章介绍空间L2上的基,包括Gabor基、局部正余弦基和小波基;第3章建立空间L2中元素成为小波的充要条件;第4章和第5章讨论构造小波的通用方法——多尺度分析;

可激励系统分析的数学理论

《可激励系统分析的数学理论》,作者:张锁春著 出版社:科学出版社 ISBN:9787030262578。本书分两篇,上篇是激励介质系统,介绍了激励介质的一般知识,定性和定量地刻画了各种波型解;下篇为可激励的常微分方程(ODE)系统,定性地分析了单个Oregonator的动力学,讨论了耦合Oregonator的同相波、反相波的性质以及论证了Tyson分歧图猜想等。

机器人学的现代数学理论基础

《机器人学的现代数学理论基础》,作者:丁希仑 编著 出版社:科学出版社 ISBN:9787030691842。本书全面深入地阐述了旋量理论与李群、李代数理论及其关联关系,反映了李群、李代数与机器人机构学相结合的最新理论研究成果。全书共9章:第1章为绪论;第2~4章主要讲述了旋量、李群、李代数等数学理论,揭示了刚体位移的固有特性以及与速度旋量和李代数的内在统一性;第5章介绍了旋量理论在机器

地球物理流体动力学数学理论导论

《地球物理流体动力学数学理论导论》,作者:S.弗里德兰德 出版社:科学出版社 ISBN:130312905。本书介绍的是地球物理流体动力学的数学理论。作者在简单论述流体动力学的基本概念之后,系统地论述了地球物理流体动力学的数学理论和物理概念,并介绍了有关理论的实验、应用和研究成果。全书共16章。第一至第三章是预备性知识;第四至第九章讨论均匀、旋转流体;第十至第十六章讨论层化、旋转流体。

非均匀气体的数学理论

《非均匀气体的数学理论》,作者:(英)查普曼(Chapman, S.),(英)考林(Cowling, T.)著;刘大有,王伯懿译 出版社:科学出版社 ISBN:130312960。本书阐述有关非均匀气体的粘性、热传导和扩散问题的数学理论.内容丰富,结构紧凑完整,论述严谨,是气体分子运动论方面的经典名著. 本书可供从事物理学、天体物理学、等离子体动力学、高速空气动力学、高层大气学以及物理化学和

电介质与标度数学理论

《电介质与标度数学理论》,作者:李景德 出版社:科学出版社 ISBN:9787030432711。本书共分为八章,主要阐述了介电极化的连续与断续数学分析、时间标度上的铁电动力学、统一分析中的δ微积分、统一分析中的统计热力学、统一分析的动力学方程、统一分析和量子化、电介质的时间标度实验研究以及域和标度的意义等内容。

病虫害防治的数学理论与计算

《病虫害防治的数学理论与计算》,作者:桂占吉,王凯华,陈兰荪著 出版社:科学出版社 ISBN:9787030401526。本书分为5章,第1章介绍病虫害防治的有关背景知识;第2章介绍非线性动力系统与计算方法,以及定性、稳定性理论和脉冲微分方程的相关知识;第3-5章介绍病虫害防治中各类化学控制、生物控制和综合控制模型。

自然边界元方法的数学理论

《自然边界元方法的数学理论》,作者:余德浩著 出版社:科学出版社 ISBN:7030031326。本书介绍了自然边界元方法的数学理论,包括椭圆边值问题的自然边界归化原理、强奇异积分的数值计算、对调和方程边值问题以及自然边界元与有限元耦合法等。