动力系统的稳定性理论和应用 【数理化】

本书以李雅普诺夫函数、泛函法为主，辅以拉萨尔不变原理、比较原理及代数方法，用统一观点和近代手段介绍了各种方程所描述的动力系统的稳定性。全书共10章，第一章扼要地介绍了动力系统的概念及书中要用的主要数...

三部件串并联可修复系统的稳定性、可靠性和数值解 【数理化】

本书为了避免传统Laplace变换方法的某些不足，我们将利用算子半群理论和数值方法研究三部件串并联可修复系统的稳定性、可靠性和数值解。我们重点研究两类三部件串并联可修复系统，它们的共同点是修复率是一般...

基于MATLAB的小波分析应用 【数理化】

本书主要内容包括小波分析基础、小波工具箱简介、小波图形用户窗口、小波变换函数和小波函数、小波变换与信号处理、小波变换与图像处理、小波变换域机械故障诊断、小波变换与数字水印、小波变换与语音／生物...

基于重抽样Boosting算法研究 【数理化】

Boosting算法是近二十年来兴起的一种机器学习算法。它是组合算法中的一种。它通过自适应地抽样生成基学习器并将这些基学习器自适应地加权组合形成一个强的学习器。本书以Boosting算法为研究对象，首先对Boos...

拟线性双曲系统的能控性与能观性 英文版 【数理化】

本书是李大潜院士编写的一本专著。可控性和可观察性在理论和应用的研究方面都非常重要，线性双曲线方程上 (尤其是针对线性波动方程) 的完备理论已经建立起来，关于半线性波动方程也有了一些研究结果，但针对拟线...

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

可计算性项目的三次设计 【数理化】

优化试验设计法及其在化学中的应用 【数理化】

波动系统的定性分析与数值计算 【数理化】

全书共5章，主要介绍四类波动系统解的情况，刻画了解的各种性态。基于变分法与凹函数法找到了不同能量级别下各个系统相应的可解性条件，提出了可解性判定理论。第一章是概述，介绍四类波动系统的国内外研究现状。...

非线性系统的动力学行为及其数值分析 【数理化】

本书介绍非线性系统的动力学行为及其数值分析问题，第一章简单介绍了探讨混沌的几种方法与描述非线性系统混沌行为的几个指标等内容，介绍了混沌学研究的意义。第二章介绍了微分方程稳定性与定性理论，包括解的存...