当前位置:首页 > 名称
大约有20,000项符合查询结果项。(搜索耗时:0.0178秒)
为您推荐: 动力学系统建模 仿真与控制 大型火电机组系统仿真与建模 仿真建模与分析 潜艇作战建模与仿真 航空搜潜建模与仿真 微电网建模与仿真
-
-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
控制原理与系统实验教程 【工业技术】
陈春俊,张洁,戴松涛编著2007 年出版218 页ISBN:7811047861本书内容包括:LabACT实验机的控制原理实验、计算机控制技术实验和控制系统实验、交流电机微机调速实验、A3000过程控制实验及控制系统的计算机仿真分析实验等。...
-
数字系统与自动控制系统设计 【工业技术】
高吉祥主编2007 年出版270 页ISBN:7121043858本书是针对全国大学生电子设计竞赛特点和需要,为高等学校电子信息工程、通信工程 、自动化、电气控制、计算机类专业学生编著的培训教材。本书共有3章(21~23章),内容 包括:数字系统与自动控制系统的设计基础、设....
-
自动控制原理:基于MATLAB仿真的多媒体授课教材 上 【工业技术】
师宇杰编著2007 年出版328 页ISBN:7118050849本书是自动控制原理——基于MATLAB仿真的多媒体授课教材上册。
-
网络化监督与控制系统 【工业技术】
任作新主编;任作新,温志明,刘长明编著2007 年出版302 页ISBN:7118048607本书介绍基于现场总线技术目前最为广泛的四种网络化监督与控制系统的概念、主要技术问题和应用等。
-
-
系统与控制中的近代数学基础 【数理化】
程代展编著2007 年出版375 页ISBN:7302148937本书内容包括:泛函分析,点集拓扑,抽象代数,代数拓扑,张量场,代数几何等近代代数的主要分支。
