电磁场的多尺度变换理论及其应用 【数理化】

本书系统地研究了电磁场的多尺度理论及其应用。

高等代数理论与应用 【数理化】

高等代数是代数学发展到高级阶段的总称，主要包括线性代数和多项式两部分内容，线性代数主要讨论行列式、矩阵、向量、线性方程组、线性空间、线性变换、欧氏空间、二次型等；而多项式理论主要是利用代数方法和解...

随机模型检测理论与应用 【数理化】

本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑...

非帕斯卡概率逻辑的哲学基础与应用研究 【数理化】

帕斯卡概率与归纳逻辑的结合（即帕斯卡概率逻辑）是现代归纳逻辑发展的一个必然结果，但是帕斯卡概率逻辑有完全性预设假定：认知主体知道认知域的所有可能的态势，然而这种强假定并非是现实的科学认知主体的真实反映...

声学理论与工程应用 【数理化】

本书系统介绍了声学的基础理论和若干工程应用。全书共分四篇。第一篇介绍声学的基础理论；第二篇介绍噪声控制技术，主要是空气噪声控制技术，在吸声一章，附带介绍了消声瓦的设计与应用；第三篇介绍结构声原理及其控...

稳定性的理论、方法和应用 第2版 【数理化】

本书用现代数学工具介绍了经典的Lyapunov稳定性理论、方法及一些近代的应用。

非线性振动理论中的解析方法及工程应用 【数理化】

数理统计理论、应用与软件实现 【数理化】

本书共分五章，系统地介绍了数理统计的基本理论与基本方法，内容包括数理统计的基本概念、参数估计、假设检验、方差分析和回归分析以及典型案例的分析与软件实现。本书注重统计思想和方法的介绍，强调统计的实际...

符号计算在可积系统中的应用 【数理化】

本书主要基于李代数上的符号计算，用不同的方法研究可积与超可积系统的可积耦合，利用源生成理论研究其自相容源和守恒律，基于分数阶微积分理论研究分数阶的可积系统与超可积系统，最后研究孤子方程的拟周期解。本...

新世纪应用化学教学理论与实践 【数理化】

本书全面介绍国家教育部有关本科化学及应用化学专业规范，汇集了全国80多所高校、百余名教师有关应用化学专业教学的理论与实践、研究成果，涉及课程设置、基础化学教学、教学管理、实践教学、教材建设等方面。...