当前位置:首页 > 名称
大约有3,000项符合查询结果项。(搜索耗时:0.0439秒)
为您推荐: 数据中心运维管理 中国生态系统格局 质量 服务与演变 中国滨海湿地生态系统功能及服务评价 公共图书馆古旧文献管理与服务 中医健康管理服务规范团体标准 管理系统
-
-
-
-
-
-
-
线性系统可靠控制分析与设计 【数理化】
王福忠,姚波编著2012 年出版224 页ISBN:9787538176896本书在第1章绪论中介绍了控制理论和控制技术的发展历史,叙述了容错控制发展的主要过程,详细叙述了线性系统可靠设计的基本思想和方法。第2章给出了线性系统状态空间的一些理论内容。第3章根据本书需要,将线性...
-
拟线性双曲系统的能控性与能观性 英文版 【数理化】
李大潜等主编2010 年出版222 页ISBN:9787040241631本书是李大潜院士编写的一本专著。可控性和可观察性在理论和应用的研究方面都非常重要,线性双曲线方程上 (尤其是针对线性波动方程) 的完备理论已经建立起来,关于半线性波动方程也有了一些研究结果,但针对拟线...
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
软物质前沿科学丛书 复杂系统的涌现动力学 从同步到集体输运 下 【数理化】
(中国)郑志刚2019 年出版652 页ISBN:9787508855974由大量单元组成的复杂系统会产生丰富多彩的自组织与集体行为,近几年成为多交叉领域长盛不衰的研究热点。复杂系统的一个重要特征是涌现,即在整体层面会呈现出各种各样个体所不具备的行为。本书以复杂系统中普...
学科分类
