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

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

最优控制理论与系统 【数理化】

本书从理论及工程应用的角度，系统地介绍了最优控制理论及最优控制系统的各个基本方面。全书共分10章。第2～4章介绍变分法、极小值原理及动态规划的基本内容、方法及应用；第5～6章对状态调节器、输出调节器以及跟...

混沌系统模糊建模、同步与反控制 【数理化】

本书系统地研究了基于模糊理论的混沌系统的精确化建模及在此基础上的混沌系统抑制、同步及混沌反控制问题。内容包括：第1章介绍混沌的基本理论、研究现状及混沌控制的分类；第2章主要研究了基于模糊理论的混沌...

计算技术 珠算及等级考核与计算器使用方法 【数理化】

化学基本操作技术实验 【数理化】

本教材适应化学实验教学改革的发展需要，构建“基本操作—物质合成—物性测试及表征 —综合与设计实验”为主线的项目化实验教学体系，将大学化学实验课程体系、实验内容等整合为化学基本操作技术实验、化学合...

纯粹数学与应用数学专著 典藏版 第19号 随机服务系统 第2版 【数理化】

数据科学与工程技术丛书 计算机时代的统计推断 算法、演化和数据科学 【数理化】

本书以丰富的案例介绍了计算机时代下的统计推断的发展脉络，从理论的角度剖析统计推断的各类算法、证据等，揭示统计推断如何推动当今大数据、数据科学、机器学习等领域的快速发展并引领数据分析的变革，最后展望...

约束Hamilton系统对称性及应用 【数理化】

本书对约束与对称性关系及应用作了研究，逻辑性强，学术性强，资料丰富。本书对约束与对称性关系及应用作了研究，逻辑性强，学术性强，资料丰富。本书对约束与对称性关系及应用作了研究，逻辑性强，学术性强，资料丰......

孤立子理论与可积系统 【数理化】

本书详尽介绍了非线性演化方程的生成及其可积性问题，主要内容包括：1.非线性演化方程的相似性；2.可积性与展格式；3.可积耦合等。该书作者长期从事孤立子理论及其可积系统的研究工作，并取得了一定的成绩。书中的内...

建材技工学校水泥专业系列教材 化验室基本知识及操作习题册 【数理化】