随机模型检测理论与应用 【数理化】

本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑...

现代控制理论基础 英文版 【数理化】

现代控制理论是经典反馈控制理论的后续课程。本书对线性系统的状态空间法、离散系统控制理论和非线性控制系统的基本理论和方法进行论述。全文以英文写出，论述严谨，重点突出，符合理工科学生的认识规律。每章配...

统计物理学 第1分册 理论物理学教程 第5卷 【数理化】

素数分布方程理论与证明 【数理化】

本书是一本数学方面的学术专著。作者提出素数分布理论，总结、归纳了素数分布方程的特征与性质，证明了在八个等差数列中，素数的个数都是近似相等的，这一成果改进了埃氏筛法，建立了偶数的15种类型64个方程，为孪生.....

X射线晶体学 单晶体结构分析理论和实验导论 【数理化】

理论力学考研辅导 【数理化】

本书共分18章，每一章均由知识要点、本章内容总结、典型题分析、习题四部分组成。本书首先通过知识要点和内容总结对本章内容做了高度概括和叙述。典型例题解析中例题大都来自重点高校和科研院所历年考研真题...

最优化基础理论与方法 【数理化】

本书主要介绍最优化的相关的基础理论、无约束优化问题的最优性条件以及线性搜索技术、无约束最优化算法、约束优化问题的最优性条件、二次规划的求解算法、一般非线性约束最优化问题的罚函数法等，并给出了一...

理论物理学研随笔 【数理化】

本书整理了范洪义教授关于理论物理科研与教学的100余篇心得体会，以专题的形式，与广大读者分享，它们中多数已公开发表。范洪义教授文理兼修，不但学术成果丰硕，而且文学造诣颇高，引用的古文诗词信手拈来，原创的诗......

减振理论 第2版 【数理化】

本书系统介绍工程中的各种减振技术，从建立减振系统的力学模型开始，分析其运动规律，阐明其降低振动强度的基本原理，给出计算系统最优参数的算法。包括的内容有简谐振动和随机振动隔离，冲击防护，阻尼消振，动力消......

控制理论基础 【数理化】

本书是普通高等教育“十一五”国家级规划教材。主要讲述现代控制理论这一学科的基础理论,包括控制问题的来源与形成过程,以及基本的数学处理方法等。全书共分七章，包括：受控对象的数学描述；控制系统的分析；线性...