结构力学的电子计算机计算原理及程序设计 【数理化】

基于流形正则化的核方法研究与应用 【数理化】

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

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

大学物理导论 物理学的理论与方法、历史与前沿 上 【数理化】

大学物理导论 物理学的理论与方法、历史与前沿 下 【数理化】

最优控制的理论与方法 第2版 【数理化】

高等学校电子信息类规划教材:本书系原电子工业部1996～2000年全国电子信息类自动控制专业教材。介绍了问题的提法与数学模型，数学规划基本理论，最大值原理基本理论，动态规划基本理论等。 ...

应用随机过程 模型和方法 【数理化】

本书着重于给读者提供随机过程的基本概念、思想与规律，以及这些概念、思想在应用问题中的简化模型。进而，在较为广泛的各领域中给出一些简化的应用实例。本书首先介绍随机徘徊和泊松过程，以及这两种最简单、最...

基于切比雪夫－李兹法的结构元三维振动分析 【数理化】

本书的主要内容取材于作者于2002年1月～2003年5月在香港大学工作期间的研究成果，共293页。论文共由17章组成，其中，第一章为引言，介绍了结构动力学研究从1维振动到2维振动直至目前3维振动的研究历程。第二章介绍了...

微结构固体中的波模型及孤立波 【数理化】

本书根据Mindlin微结构弹性固体理论以及近年来的相关发展理论，主要论述了如何系统地建立微结构固体中波传播模型，以及怎样利用动力系统的定性分析理论和分岔理论来证明微结构固体中孤立波的存在性问题。本书...

运筹学方法与模型 【数理化】

《运筹学方法与模型》介绍了运筹学中线性规划、目标规划、整数规划、网络规划、网络计划技术、动态规划、排队论、存储论、博弈论、决策分析和排序问题等分支的基本概念和方法，并把各种运筹学求解方法归纳成...