自然科学
-
解析函数空间上算子的相似性李玉成不变子空间和约化子空间问题是泛函分析中的一个基本问题。算子的交换子和相似度可以帮助理解算子的结构。Toplitz算子是算子理论中一类重要的算子。算子的相似性是泛函分析中与不变子空间和约化子空间问题相关的一个有趣的话题。该书总结了Bergman空间、Dirichlet空间等解析函数空间中的相似和约化子空间问题。研究方法包括算子理论与无穷矩阵操作相结合的技术。本书主要面向泛函分析算子理论方向研究生以及相关方向的科研人员。 -
贝叶斯压缩水下阵列信号处理郭企嘉《贝叶斯压缩水下阵列信号处理》以水下阵列信号高分辨处理方法为主题,从披束形成模型、求解方法和性能分析等方面系统地介绍了近年来贝叶斯压缩感知技术在水声阵列信号处理中的应用.《贝叶斯压缩水下阵列信号处理》共7章,包括矩阵和贝叶斯理论基础、阵列信号处理基础、压缩波束形成、贝叶斯压缩披束形成基础、贝叶斯压缩波束形成快速实现、贝叶斯压缩波束形成与稀疏表示以及动态系统求解与非法代贝叶斯压缩披束形成。 -
量子线路映射与优化管致锦,程学云,朱鹏程量子线路映射及优化是量子算法部署到量子计算设备的关键环节。《量子线路映射与优化》主要研究满足量子计算设备物理约束的量子线路变换和映射问题。在给出量子线路映射的发展历史和相关预备知识的基础上,把研究内容分为上下两篇:上篇聚焦于量子线路逻辑变换,主要探讨如何将可逆/量子线路转换为满足量子计算设备物理约束的低级量子线路,包括可逆/量子线路变换与优化、分解变换与优化、线性*近邻量子线路变换等问题;下篇针对当前量子计算设备普遍存在的多种物理局限性,提出相应的解决方案,包括量子线路初始映射、量子比特近邻化及路由、噪声约束的量子线路映射及优化、分布式映射及优化等。《量子线路映射与优化》试图站在计算机工程技术视角对量子线路映射与优化工作进行系统阐述,为读者提供该领域较为全面的基本知识、研究思路和研究方法。 -
高分子粗粒化模型的蒙特卡罗模拟方法王强,张朋飞,李宝会本书的主题是高分子粗粒化模型的蒙特卡罗(Monte Carlo)模拟,侧重于研究高分子体系平衡态行为的Monte Carlo方法。本书共分八章。第1章为绪论。第2章介绍一些对高分子体系进行分子模拟时常用的粗粒化模型,包括非格点(即连续空间)和格点模型。第3章介绍Monte Carlo模拟中常用的各种统计系综以及Monte Carlo模拟的基本原理。第4章讲述一些对高分子体系的粗粒化模型进行MonteCarlo模拟的基本操作方法。对于刚进入高分子模拟领域的研究人员,在读完第1~4章后就可以着手进行编程和模拟操作了。第5章和第6章更适合于在这个领域中的研究人员进一步提高他们的模拟水平。第5章讲述一些传统的、专用于高分子体系粗粒化模型的Monte Carlo模拟方法。第6章讲述一些自由能计算和高等Monte Carlo模拟方法。第7章介绍由作者之一提出的快速Monte Carlo模拟,其基本思想是使用允许粒子重叠的软势。快速Monte Carlo模拟对构型空间的抽样比使用硬排除体积作用的Monte Carlo模拟要快/好至少几个数量级,并且其结果可以与实验中所用的高分子体系达到定量吻合。第8章讲述两个独立的专题,包括计算格点高分子体系的压强,以及一级和二级相变的有限尺寸标度理论。 -
北京林业昆虫图谱膜翅目虞国跃,王合《北京林业昆虫图谱(IV)膜翅目》收录了作者在调查中发现的北京膜翅目昆虫56科683种,其中102种仅鉴定到属。《北京林业昆虫图谱(IV)膜翅目》含北京新记录266种(书内用“北京*”表示),包含55个中国新记录种,1个新异名。每种均配以精美的生态图片(部分为室内图片和特征图),共1300余张(均列出拍摄时间、拍摄地点)。《北京林业昆虫图谱(IV)膜翅目》是积累北京昆虫多样性的基础性资料,也是认识北方昆虫的重要工具书。 -
气固两相流动参数电学检测技术及应用许传龙等《气固两相流动参数电学检测技术及应用》基于作者多年从事气固两相流检测技术领域的研究及研究生教育工作,并结合其学术成果整理而成,全面系统地介绍了气固两相流电学检测方法,重点论述了静电、电容、静电耦合电容、电容层析成像等检测原理与技术,此外还介绍了电学检测技术在燃煤电站锅炉、湍动流化床、密相气力输送等典型场景下的应用案例,为读者提供了学以致用的成功示范。 -
中国古典数学理论奠基者郭书春本书分五章,第一章是“刘徽与辩难之风——古典数学理论的奠基”,分别介绍庄园经济、门阀士族制度、辩难之风与魏晋数学,刘徽与《九章算术注》、《海岛算经》。第二章是刘徽对出入相补原理的应用,分别介绍出入相补原理在面积、体积中的应用,对开方术的几何解释与求微数,勾股、测望和重差解法的证明。第三章是刘徽对率的理论的发展,分别介绍率与齐同原理,勾股相与之势不失本率原理及其应用,对方程术阐释与方程新术。第四章是刘徽的无穷小分割和极限思想,分别介绍割圆术(包括刘徽对《九章算术》圆面积公式的证明、求圆周率程序等),刘徽多面体体积理论的基础——刘徽原理,圆体体积与截面积原理,刘徽的极限思想和无穷小分割方法在世界数学史上的地位。第五章是刘徽的逻辑思想和数学理论体系,分别介绍刘徽使用的辞与理、类、故,刘徽的演绎推理,刘徽的数学证明,刘徽的数学理论体系及其数学之树。 -
不可压缩 Navier-Stokes 方程的吸引子问题韩丕功,刘朝霞无限维耗散动力系统是数学的一个重要分支,与其他数学分支均有广泛的联系,而且在自然科学与工程技术中有广泛的应用。《不可压缩Navier-Stokes方程的吸引子问题》主要介绍无限维耗散动力系统并应用于不可压缩Navier-Stokes方程。主要内容包括无限维系统的全局吸引子、指数吸引子和惯性流形的基本概念、存在性、构造原理和稳定性,Lyapunov指数和吸引子的Hausdorff维数、分形维数等**结论。所用的研究方法主要是算子半群理论、球覆盖定理、弱收敛方法和Fiber吸引压缩定理等。这些研究内容和研究方法可以为读者进一步学习、研究无限维耗散动力系统做必要的理论准备。《不可压缩Navier-Stokes方程的吸引子问题》的主要特点是介绍基本概念和重要理论的来源和背景,强调培养读者运用数学方法解决问题的能力,注重可读性,叙述深入浅出、涉及面广,有利于读者进一步学习。 -
半导体结构张彤,李国兴,徐宝琨本书是普通高等教育电子科学与技术特色专业系列教材之一,主要介绍半导体的晶体结构以及缺陷理论。全书的主要内容包括晶体的性质,晶体的构造理论,晶体的对称性理论,晶体的晶向和晶面,半导体材料及电子材料晶体结构的特点及性质,半导体中的点缺陷、线缺陷和面缺陷,以及半导体结构的表征技术。 -
计算多物理场及其应用高杰,叶天贵,何丰硕《计算多物理场及其应用》紧紧围绕多物理场耦合技术在近年来的发展和实际应用,详细介绍了多物理场耦合的基本理论知识,包括基本方程、网格生成、离散方法以及多物理场耦合分析方法与实践,讨论了热流耦合、流固耦合、热弹耦合、声振耦合、力电耦合、电磁耦合等不同学科间耦合的基本理论及其计算方法,《计算多物理场及其应用》内容难易适中,同时兼顾深度和广度,可满足不同层次和领域读者的需求。
