国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。

📙 相关书籍

  1. 《控制系统仿真》高清PDF 21世纪全国高等院校自动化系列实用规划教材十一五规划教材:本书以MATLAB语言及其Simulink仿真模块为主要工具，对控制系统建模、仿真、分析与设计进行了较全面的介绍。...
  2. 《机械控制工程基础》高清PDF 普通高等学校机械设计制造及其自动化专业新编系列教材:本书着重介绍了工程上广泛应用的经典控制论原理及其应用，包括控制系统的数学模型建立、时域分析、频域分析、误差分析，同时还介绍了采样控制系统的初步知识。...
  3. 《计算机控制系统基础》高清PDF 高校计算机教学系列教材:本书内容包括：引论、连续控制系统、离散时间系统、数字滤波器的基本原理与设计、计算机控制系统设计等。...
  4. 《微型计算机控制新技术》高清PDF 本书系统地介绍了微机控制系统的基本概念和应用技术。全书共11章，主要内容包括：微机控制系统的组成、分类与发展趋势；接口技术与输入输出通道；开环数字程序控制等内容。...
  5. 《自动检测技术》高清PDF 普通高等教育“九五”部级重点教材 普通高等专科教育机电类规划教材 :本书内容包括检测技术的基本知识，常用传感器的工作原理、基本结构、主要性能、测量电路和应用方法，介绍了检测系统中的信号处理、干扰抑制技术和若干新型传感器。...
  6. 《过程监控技术及其应用》高清PDF 本书是关于故障过程监控技术的专著，系统阐述了过程突发性故障的离线/在线检测、故障幅度辨识、故障时间推断和故障容错处理的理论、方法及算法。...
  7. 《过程控制系统及工程》高清PDF 本书主要内容包括：单回路反馈控制系统；串级控制系统；比值控制系统；均匀控制系统；前馈控制系统；选择性控制系统等。...
  8. 《英汉·汉英自动控制与仪表词汇》高清PDF 本书收集了自动控制和仪表专业以及与之相关的电气、计算机专业词汇、词组、缩略语共11000多条，分为英汉部分和汉英部分。所收词条覆盖该专业的基本词、常用词和新词。...
  9. 《自动检测技术与装置》高清PDF 普通高等教育“十五”国家级规划教材 自动化·信息工程类系列规划教材:本书反映最新的传感技术、仪表技术及信息传输和处理技术，并叙述软测量、图像检测和虚拟检测等现代检测技术，围绕信息的获取、信息的变换、信息的处理、信息的传输和信息的显示来讨论检测技术与检测系统。...
  10. 《MATLAB 7辅助控制系统设计与仿真》高清PDF 本书通过介绍MATLAB7软件及其控制系统工具箱的使用方法，结合控制系统的设计流程及实际应用，全面系统地介绍了控制系统设计与仿真的全过程。...

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。