变换

实用Fourier变换及C++实现.pdf

本书介绍了基于Fourier变换的多种应用、C++代码和对应的调用程序示例,包括频谱分析、Hilbert变换、卷积计算、相关分析、时频分析等,同时介绍了计算连续Fourier变换等方法和作者的一些心得和积累。

复变函数与积分变换.pdf

本书共8章,内容包括:复数与复变函数、解析函数、复变函数的积分、级数、留数、共形映射、Fourier变换和Laplace变换,并附有部分习题参考答案。。

高级语言程序变换的机械化证明导论 何炎祥,江南 著.pdf

随着现代社会信息化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性,从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术,分析比较各类主流证明助手的设计特点,重点讨论在编译器验证领域取得的重要研究成果,并以实例详

重整化变换的复动力学.pdf

本书系统论述复解析动力系统的基本理论,并简要介绍重整化变换的统计物理学背景,在此基础上,介绍近年来关于重整化变换复动力系统的研究成果。

Bäcklund变换和Darboux变换: 几何与孤立子理论中的应用.pdf

本书大量介绍了曲面的经典微分几何同现代孤立子理论的联系.对于从十九世纪和二十世纪初著名的几何学家如Bianchi,Bäcklund,Eisenhart关于保持某些特殊类型的曲面的几何性质不变的变换,作者提供了大量文献.书中以大量的篇幅介绍了Bäcklund-Darboux变换、它