功能共振分析方法 复杂社会技术系统建模

本书所介绍的功能共振分析方法及其应用，突破传统的如故障树等的安全性分析方法的局限性，并不是将重点放在寻找具体的故障和失效，而是着眼于大型系统在技术和管理方面的复杂性及其对于安全事故的影响；刻画功能耦...

非线性系统建模与滤波方法

本书是作者从事惯导系统基础理论，非线性最优滤波理论与算法研究的部分成果，以惯性导航系统为研究对象，开展了惯性导航系统基本理论与非线性误差模型设计，非线性传递对准系统误差模型研究，以Bayesian最优滤波理论...

非线性分布参数系统模糊PDE建模与分布控制方法

本书结合作者近年来的研究工作，系统地介绍了非线性分布参数系统(DistributedParameterSystems,DPSs)模糊偏微分方程(PartialDifferentialEquation,PDE)建模及分布控制设计方法，结合DPS的空间分布特征，重点阐述...

数学建模的思想和方法

本书内容主要分为三大模块：(1)科学计算的技术和方法；(2)数据处理的技术和方法；(3)数学建模的实例（利用这些技术和方法，通过实例，结合相关专业知识建立数学模型的若干方法与技巧）。其中科学计算部分主要介绍工程技....

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

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

经典和量子耗散系统的随机模拟方法

系统科学与系统管理丛书 延长的万物之尺 计算科学、经验主义与科学方法

“计算机模拟正在抢走固体物理学领域的诚实的实验家们的饭碗”——计算手段对科学的影响，使科学的很多分支进入了一个明显不同的发展阶段。这一变化的结果就是，在这个或那个领域，人类的能力不再是认识活动成功...

控制论和科学方法论

非线性科学的理论，方法和应用

数学考研考点精讲方法精练 2010版 数学一和数学二

本书是专门针对考研复习编写的数学教材，内容严格按教育部制订的“数学考研大纲”编写。本书包括数学一的内容。