函数方程与微分方程的解析解

本书系统地介绍了复域上的幂级数与解析函数的有关知识，并在深刻论述方程解析解的幂级数求法的基础上，全面综述了函数方程、不含偏差变元的微分方程、偏差变元不依赖于未知函数的泛函微分方程以及偏差变元依赖...

格子BOLTZMANN方法在非线性偏微分方程中孤波领域的应用

本书综述了格子Boltzmann方法的基本理论，阐述了格子Boltzmann方法的起源，格子Boltzmann方程及Chapman分析.格子Boltzmann方法在流体力学方面的应用，以及格子Boltzmann方法在非线性偏微分方程中的应用等。...

微分方程数值解 有限差分理论方法与数值计算

该书将系统介绍用有限差分法数值求解微分方程的基本理论和方法。内容包括常微分方程的数值方法，偏微分方程中的椭圆型方程、双曲型方程和抛物型方程的有限差分方法，重点介绍差分格式的构造及稳定性分析的基本...

随机微分方程及其在汇流计算中的应用

本书借助于随机微分方程理论和随机系统的概念，对汇流过程中的各种不确定性因素进行了分析，并以Nash模型为基础，针对具有随机输入项、随机参数项和两者结合情况下对汇流过程进行数学描述和分析，建立了随机汇流模...

硬件设计验证 基于模拟与形式的方法

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

西方最新语言学理论译介丛书 走近形式语用学

本书是《西方最新语言学理论译介》丛书的一种，系统介绍了当前国际语言学界关于形式语用学的最新进展，内容包括语用推理的实用逻辑观念；言语行为理论的形式语用学；博弈语用学；量化、数量和形式潜伏语用分析条件句...

偏微分方程的非标准混合有限元方法

本书首先简单介绍了混合有限元方法发展状况，并给出常用的基本空间、范数和不等式。讨论一些偏微分方程的非标准混合有限元方法的先验误差理论和数值模拟结果，主要包括双曲波方程、积分微分方程的正定混合有限...

大学生形式与政策 教师参考书

本教材从经济、政治、文化、教育、社会等方面，用多个专题分析了当前国际国内形势，涵盖了2016年以来的国内外重大时事热点问题，特别是社会热点、焦点问题。本书分六个专题对其进行阐释。结合当代大学生心理特点...

礼物 古式社会中交换的形式与理由

本书既很容易读，又很难读。同样，这一点，可能也就解释了这本书名满天下、但事实上又很少有人读懂的奇特命运。很容易读，是因为莫斯对具体事实情有独钟，而对抽象视若仇雠，其表述总是十分简单透彻，无半点斧凿之痕......

关于《消除对妇女一切形式岐视公约》执行情况第五次和第六次定期报告