面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

DSP原理及应用技术 基于TMS320F2812的仿真与实例设计 【工业技术】

本书以TMS320F2812 DSP微处理器为研究对象，主要讲解其具体的应用及实例，书中附有详细的图表及操作过程、编程方法等。偏重于利用DSP微处理器实现中断、定时、SPI接口、GPIO、AD采样与转换、McBSP、经典的数字...

“十三五”普通高等教育规划教材 Multisim电路系统设计与仿真教程 【工业技术】

本书结合大量的实例由浅入深地介绍了利用Multisim 14软件进行电路设计与仿真的方法，并对音频功率放大器、正负电压跟随可调直流稳压源和5个数字电路进行了详细的分析。还详细地介绍了如何利用Multisim14和La...

计算机仿真技术与CAD 基于MATLAB的控制系统 第2版 【工业技术】

本书全面论述控制系统计算机仿真的基本概念和原理，系统介绍当前国际控制界最为流行的面向工程与科学计算的高级语言MATLAB及其动态仿真集成环境Simulink，并以最新版MATLAB为平台，详细地阐述控制系统的数学模型...

信号、电源完整性仿真设计与高速产品应用实例 【工业技术】

目前市面上信号与电源完整性仿真书籍的内容普遍偏于理论知识或分散的仿真样例，给读者的感觉往往是“只见树木不见森林”。针对这种情况，本书基于一个已成功开发的高速数据加速卡产品，从产品的高度介绍所有的接...

电路与电子技术实训及其仿真 【工业技术】

本书共分为6章，主要介绍电子测量基础知识、常用仪器仪表及其使用方法、Multisim 2001仿真软件介绍、电路部分实验、电子技术部分实验以及综合实训。其中电路部分共安排了6个实验，电子技术部分安排了4个实验，实...

建筑热桥多维传热模型与仿真 【工业技术】

本书是一本有关动态三维建筑热桥低阶模型及其与热模拟软件耦合的研究方面的专著。全书共分为5章。第1章主要介绍课题研究的国内外背景及现状分析和课题研究的重要性。第2章引入了线性系统中的状态空间模型，...

计算机仿真技术与CAD 基于MATLAB的控制系统 第3版 【工业技术】

本书全面介绍控制系统仿真的基本概念和原理，系统介绍了当前国际控制界最为流行的面向工程与科学计算的高级语言MATLAB及其动态仿真集成环境Simulink，并以MATLAB/Simulink为平台，详细地阐述了控制系统的数学模...

机载/弹载视觉导引稳定平台的建模与控制=MODELING AND CONTROL OF AIRBORNE/MISSILE-BORNE VISION-GUIDANCE STABILIZED PLATFO 【其他书籍】

系统实时仿真开发环境与应用 【工业技术】

本书由多年从事MATLAB软件教学、研究和开发的专家主编。RTW（Real-timeWorkshop，实时工作间）是MATLAB的重要组成部分，也是完成系统的技术实现、部件与系统性能测试的有效开发环境，可应用于实时系统的快速原型华、...