（美）Prakash Rashinkar，（美）Peter Paterson，（美）Leena Singh著；孙海平，丁健译2005 年出版263 页ISBN：7121005891
本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...
高岳，王霞，王吉晖等编著2009 年出版292 页ISBN：9787121087196
综合利用近代各种先进技术，采用光电方法对多种光的、非光的物理量进行检测是光电检测技术的基本内容。本书从基本原理到工程技术应用，系统地介绍了光电检测技术的组成，主要组成部分的功能，实际应用和当前发展的...
马云东，贾惠艳著2008 年出版202 页ISBN：9787502034245
本书运用流体力学、多孔介质渗流力学、湍流两相流和数值模拟等相关理论，对带式输送机输煤系统转载点的粉尘析出，逸散规律和风流场、浓度场分布规律开展了系统研究，提出了封闭负压控尘的新方案在准格尔选煤厂的...
陈宗海主编2018 年出版397 页ISBN：9787312045387
本书收录了中国自动化学会系统仿真专业委员会和中国系统仿真学会仿真技术应用专业委员会的学术会议论文78篇，是近年来系统仿真科学与技术在自然科学和社会科学各领域以及航空、航天、石油、化工、能源、国防...
周祖德，陈幼平主编2003 年出版229 页ISBN：7560929761
本书以机电一体化控制技术的基本理论与系统实现方法的阐述为主体，在综合介绍机电一体化控制技术与系统的产生与发展过程的基础上，系统介绍了机电一体化控制技术与系统的基本理论和相关技术，包括检测与传感技术...
邹逢兴主编；邹逢兴，张湘平编著1999 年出版430 页ISBN：7040079267
面向21世纪课程教材:本书系统介绍了计算机应用系统的故障诊断与可靠性分析、设计的基本理论和主要方法、技术，包括可靠性与可靠性技术概论、可靠性编码技术、故障屏蔽技术、失败安全设计等。...
姚敏，王海涛，赵敏编著；王欣海主审2013 年出版254 页ISBN：9787111435389
本书介绍了检测系统中电子电路的分析和设计方法，全书共分11章，主要内容包括运算放大器、信号调理电路、锁相环电路、模拟开关、采样／保持器、D/A转换器、A/D转换器以及抗干扰技术等内容。本书特别注重检测电路...
方华，许江淳编著（昆明理工大学信息工程与自动化学院）2009 年出版315 页ISBN：9787562448198
本书主要介绍单片微型计算机的原理和应用方法。重点介绍了嵌入式单片微型计算机的结构、指令系统、程序设计、系统扩展、应用系统配置及接口技术、串口及串行通信以及应用系统的设计。书中对新发展起来的嵌...
王平，何为，郭珂编著2011 年出版260 页ISBN：9787811237160
本书重点介绍了嵌入式计算机系统的基本组成，嵌入式ARM微处理器，基于ARM微处理器的硬件电路设计、ARM硬件体系下嵌入式操作系统的移植、面向ARM硬件体系的Linux驱动程序设计、ARM硬件体系下系统程序设计、基于...
韩炜编著2017 年出版529 页ISBN：9787516513231
本书比较详细的介绍了嵌入式软件的特点、可信嵌入式软件开发的方法、可信嵌入式软件的特点以及可信嵌入式软件在工程实际中的应用。用天脉操作系统的研发作为例证，从而详细的进行了佐证。该书主要读者群体为...
