数学理论

计算的数学理论

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

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

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

现代数学理论与方法在动力学、振动与控制中的应用 : 全国一般力学与现代数学方法学术会议论文集

《现代数学理论与方法在动力学、振动与控制中的应用 : 全国一般力学与现代数学方法学术会议论文集》,作者:陈 滨主编 出版社:科学出版社 ISBN:70333787。本书收论文42篇,从分析力学、力学与振动系统的动力学及稳定性、控制与系统的动力学及稳定性等方面汇集了现代数学理论与方法应用与一般力学领域的部分成果。

电介质与标度数学理论

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

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

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

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

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

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

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

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

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

小波分析的数学理论

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

弹性结构的数学理论

《弹性结构的数学理论》,作者:冯康 出版社:科学出版社 ISBN:130311556。本书包括三方面的基本内容:一、线性弹性理论基础,这是经典性的内容.二、组合弹性结构的数学理论,作者提出了自己的数学体系.三、弹性结构问题的有限元方法.作者在统一的理论基础上把这三方面内容有机地结合起来进行论述,着重弹性结构问题的数学提法的准确性和完整性. 本书可供