大约有3,000项符合查询结果项。（搜索耗时：0.0266秒）
为您推荐： 线性控制系统计算机辅助分析 计算机监控系统 电力系统之计算机 计算机操作系统教程第 电力系统计算 电力系统计算机应用
-
模型论及其在计算机科学中的应用 【数理化】
北京师范大学数学科学学院主编；罗里波编著2012 年出版300 页ISBN：9787303136025本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书...
-
-
信息与计算科学丛书 扩散方程计算方法 【数理化】
袁光伟等著2015 年出版276 页ISBN：9787030463883本书介绍扩散方程的计算方法，重点介绍作者近十年来取得的研究进展。内容包括：简要介绍扩散方程几类常见的有限体积方法；扭曲网格上扩散方程的多种高精度有限体积格式，其中包括具有保正性的格式和保持离散极值原...
-
-
多项式系统的实根分离算法及其应用 【数理化】
陆征一等编著2004 年出版146 页ISBN：7030124278本书利用吴方法、一元多项式实根分离算法及多项式的单调性分解，提出了一般多元多项式组实零点的区间分离算法。将此算法应用于几类典型的微分方程定型性质的研究得到了一些新的结果：一类单调系统的全局稳定性...
-
随机系统数值方法的动力学分析及应用 【数理化】
蒋锋著2016 年出版144 页ISBN：9787030482518本书旨在介绍随机系统数值方法与其动力学行为以及作者近几年的研究成果。本书阐述了随机系统的各种数值方法，分析了中立型随机系统数值方法，Markov跳跃或Poisson跳跃随机系统数值方法，均值回归过程的随机系统...
-
-
现代控制工程基础 第2版 【数理化】
刘春生，吴庆宪主编；丁勇，张绍杰副主编2017 年出版304 页ISBN：9787030532886本书简明阐述了自动控制的基本理论与应用。全书共分7章。前6章着重以现代控制系统为背景，介绍系统建模、时域分析法、根轨迹法、频域分析法、离散系统分析。各章均有含有Matlab应用技术实例以及专为本教材研...
-
论可计算数 图灵与现代计算的诞生 【数理化】
（美）克里斯·伯恩哈特（Chris Bernhardt）著2016 年出版248 页ISBN：97875086661051936年，24岁的图灵发表了现代计算领域奠基性的论文《论可计算数及其在判定问题上的应用》。在本书中，作者还原了图灵是如何一步步对计算进行分解并构建现代计算机原型的。在作者看来，这堪称图灵一生中最重要的...
-
Kalman滤波理论及其在导航系统中的应用 【数理化】
付梦印，邓志红，闫莉萍编著2010 年出版218 页ISBN：9787030270412本书紧密结合Kalman滤波理论在导航、制导与控制领域的应用，系统介绍了Kalman滤波基础理论及其最新发展，主要内容涉及Kalman滤波基本理论、实用Kalman滤波技术和Kalman滤波理论的新应用；同时针对应用对象和环境...