基于Proteus的单片机可视化软硬件仿真

本书作者结合大量实例和以往非富的开发经验，介绍如何运用Proteus来进行实际开发，分别从现实生活中常用的发光二极管显示屏、数字电压表、八音盒、多机通讯系统、电子书、AVR单片机日历系统、国际象棋系统等方...

硬件设计验证 基于模拟与形式的方法

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

工学结合·基于工作过程导向的项目化创新系列教材 国家示范性高等职业教育机电类“十三五”规划教材 AUTOCAD工程制图基础教程 第3版

ARDUINO&乐高创意机器人制作教程

本书是以授课的方式，通过大量的机器人实例制作和搭建图片让学生学习机器人知识，本书适用于中小学教师将它作为校本课程的教材进行课堂教学，同样，本书也适用于初学者学习Arduino的使用方法和智能机器人的制作。...

电子政务系统的设计与实现 基于国产软硬件的区县级系统开发

本书主要阐述了国产基础软硬件的发展现状、应用范围和前景，并在基于国产软硬件的区县级电子政务应用示范项目中实现。

数据场效应 基于硬件、算法与体验的未来商业

Code Halo（数据场）是围绕在人们、设备、企业和行业周围的数据，通过破译这些数据所提供的信息和洞见，我们能够创造出新的商业模型，抓住此次基于Code Halo实现的技术变革所带来的巨大机遇，以在Code Halo时代立于不...

FPGA硬件软件设计及项目开发

本教材以FPGA为中心，详细阐明所有重要外围元器件的连接线路，及原理，还包括线路板的PCB设计技巧。其中元件全部介绍SMT(表面贴装型)的。元件和它的连接包括：大容量的DRAM, NAND-FLASH, NOR-FLASH, 24位TFT彩色液...

智能变电站的二次设备硬件开发

本书主要从可靠性、电磁兼容性、最优化、一致性方面，采用项目管理知识架构，总结智能变电站二次设备硬件开发在理论分析、软件仿真、原理图与PCB设计、实验验证等方面的输入、工具与技术和输出，归纳硬件开发的...

虚拟现实案例教程 基于Quest3D/VR-Platform/Virtools项目

本书是以Step by Step方式讲解，让读者在短时间内即可学会虚拟现实的专门技巧，是一本从入门到精通的书籍。由浅入深，循序渐进地介绍国内外主流虚拟现实制作软件Quest3D、Virtools、VRP。全书以案例为贯穿，通过大...

ARM快速嵌入式系统原型设计 基于开源硬件mbed

本书旨在通过mbed介绍嵌入式系统设计的所有主要议题，便于读者快速掌握嵌入式系统的设计方法。本书共15章。第1～10章从基本的原理和简单的工程入手，使用mbed工程示例提供一套完整的嵌入式系统设计入门课程，旨在...