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

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

软物质前沿科学丛书 复杂系统的涌现动力学 从同步到集体输运 下 【数理化】

由大量单元组成的复杂系统会产生丰富多彩的自组织与集体行为，近几年成为多交叉领域长盛不衰的研究热点。复杂系统的一个重要特征是涌现，即在整体层面会呈现出各种各样个体所不具备的行为。本书以复杂系统中普...

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

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

实验误差原理与控制 【数理化】

化学是以实验为基础的科学。化学实验中的所有测量，无论是直接还是间接测量，最根本的目的都是为求得与物质性质有关的某一物理量的真值。如溶液的浓度、与反应热有关的温度等。但是，严格来讲，任何物理量的真值是...

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

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

Continuous Dynamical Systems=连续动力系统 英文版 【数理化】

本书极具创新特色，首次揭示了混沌不只是可以通过数字模拟实现而且可以用解析形式来表示。书中提出了关于连续动力系统的稳定性和分叉理论的一种新的、清晰简明的观点，能够帮助读者更好地理解动力系统中规则性...

第七届全国非线性动力学学术会议和第十届全国非线性振动学术会议论文集 非线性动力学、振动和控制研究 【数理化】

分形几何与动力系统讲义 【数理化】

分形几何与动力系统具有漫长的发展历史，它们为许多伟大的数学家和更高深且重要的数学提供了肥沃的土壤。这两个领域互相影响并以基本的方式影响混沌理论：许多动力系统（甚至一些非常简单的系统）都会产生分形集，这...

食饵系统的动力学分析 具有Allee效应捕食 【数理化】

本书主要内容为三个方面：1.以正平衡点的第一个分量为参数，得到了两个全局分支值：异宿轨道环分支值和Hopf分支值，刻画了常微分系统详细的全局双稳定动力学分析，2.通过构造上、下解，能量估计等方法研究了具强Allee...

数学物理学百科全书 可积系统和经典、正形与拓扑场论 【数理化】

Encyclopedia of Mathematical Physics是Elsevier公司于2006年6月推出的大型工具图书，由法国巴黎居里大学Jean-Pierre Fran?oise教授，美国费城Drexel大学的 Gregory L. Naber教授和英国牛津大学的Tsou Sheung...