哈密顿系统的指标理论及其应用

交互式马尔可夫链 并发系统的设计、验证与评价

本书主要研究了IMC的理论及其在性能评价与层次化分析方面的应用。主要包括三个方面的内容：1. IMC上的分支时间等价和前序关系；2. 基于IMC的模型检验；3. IMC上的动作细化理论。...

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

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

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

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

指标定理与热方程方法

电路中的混沌与故障诊断

本书介绍电路中的混沌理论与故障诊断方法、应用等。

指标量化、序化的理论和方法

摩擦学系统状态辨识及船机磨损诊断

本书较全面地介绍了摩擦学系统状态辨识的研究背景、研究范畴、研究方法，摩擦学系统状态特征的提取及描述方法，状态辨识与预测模型，摩擦学系统状态知识的获取与表达，在线监测系统优化设计方法，以及它们在我国船舶...

磷脂膜色谱用于评价药物与有序磷脂膜的相互作用

天然产物多糖结构与功能研究：基于大粒车前子多糖与黑灵芝多糖的深入解析

本书综述天然产物活性多糖结构和功能最新研究进展；系统阐述有关大粒车前子多糖结构和功能活性最新研究成果：包括大粒车前子多糖的结构特征、高粘性特征内在机理、肠道功能活性和免疫功能活性；系统阐述有关黑灵...