分子动力学模拟的理论与实践

分子动力学模拟是近年来飞速发展的一种分子模拟方法，它以经典力学、量子力学、统计力学为基础，通过计算机数值求解分子体系运动方程的方法，模拟研究分子体系的性质。目前，分子模拟已经成为继实验和理论研究方法...

算术基础 对于数这个概念的一种逻辑数学的研究

本书德国著名哲学家弗雷格的一部探讨数理逻辑的哲学著作。

纯粹数学与应用数学专著 典藏版 第24号 微分动力系统的定性理论

系统与控制中的矩阵理论

本书介绍了系统与控制中常用的矩阵理论、思想和方法。全书共分12章，包括：矩阵的列空间与核空间；矩阵的分解与标准形；矩阵对的分解和标准形；幂等矩阵与投影算子；向量范数；矩阵序列和极限与矩阵级数；函数矩阵的......

量子力学与经典力学之间的联系在原子、分子及电动力学系统建模中的应用

随机系统的稳定性分析与控制

主要内容包括：线性和非线性不确定随机系统的时滞相关稳定和鲁棒镇定；具有区间时变时滞的不确定随机系统的鲁棒H∞控制；非线性不确定随机系统的非脆弱鲁棒H∞控制；随机区间系统的时滞相关的鲁棒稳定性、鲁棒H∞...

数学多元表征学习的理论与实践

本书站在国际数学教育心理学最新理论研究成果的视角，诠释了数学多元表征学习的基本概念和本质内涵，从双重编码理论、变异学习理论、多元智能理论、具身认知理论、认知负荷理论等视角探寻数学多元表征学习的理...

逻辑、博弈与哲学践行

本文集的内容分为三个部分：第一部分，逻辑与哲学。本部分采用现代逻辑方法，从逻辑的形式技术上对偶然性、希望、怀疑等哲学概念构建形式系统，以得到相应的“哲学逻辑”。同时对归纳等哲学问题进行探讨。第二部分...

算术基础 对于数这个概念的一种逻辑数学的研究

本书德国著名哲学家弗雷格的一部探讨数理逻辑的哲学著作。

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

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