大约有3,000项符合查询结果项。（搜索耗时：0.0180秒）
为您推荐： 线性控制系统计算机辅助分析 计算机监控系统 电力系统之计算机 计算机操作系统教程第 电力系统计算 微型计算机控制技术
-
-
优化与控制中的软计算方法研究 【数理化】
王攀，张健，郭四海，陶崇园，刘星星著2017 年出版220 页ISBN：9787535293176本书开展了优化、决策与控制领域中的若干软计算方法与应用研究，提出了一些能有效解决不确定环境下信息不完全复杂系统的优化、决策与控制的研究思路、方法，进行了实验与应用研究，并就其中的一些理论问题进行了...
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
-
系统科学与系统管理丛书 延长的万物之尺 计算科学、经验主义与科学方法 【数理化】
应国光著2017 年出版171 页ISBN：9787010181097“计算机模拟正在抢走固体物理学领域的诚实的实验家们的饭碗”——计算手段对科学的影响，使科学的很多分支进入了一个明显不同的发展阶段。这一变化的结果就是，在这个或那个领域，人类的能力不再是认识活动成功...
-
状态空间控制理论与计算 【数理化】
钟万勰，吴志刚，谭述君著2007 年出版358 页ISBN：7030191951状态空间控制与结构力学模拟关系的数学基础是Hamilton体系理论。在这个公共体系下，二者成果可以交叉运用。本书内容主要分两部分。第一部分是对状态控制线性体系理论的求解，将结构力学中成熟的区段合并消元、...
-
符号计算在可积系统中的应用 【数理化】
魏含玉著2019 年出版246 页ISBN：9787030592194本书主要基于李代数上的符号计算，用不同的方法研究可积与超可积系统的可积耦合，利用源生成理论研究其自相容源和守恒律，基于分数阶微积分理论研究分数阶的可积系统与超可积系统，最后研究孤子方程的拟周期解。本...
-
非线性最优控制计算方法及其应用 【数理化】
张雷，曾蓉，陈聆编著2015 年出版281 页ISBN：9787030452900本书含6篇18章，内容包括泛函极值与变分原理；无约束及约束变分方法；离散及连续系统动态规划等。预算：基础知识；第1-4篇：方法研究（解析方法，数值方法，线性二次型问题求解）；第五篇：应用模型及实际案例。本书着......
-
-
