数学理论

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

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

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

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

计算的数学理论

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