This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods， CHARME 2001， held in Livingston， Scotland， UK in September 2001.The 28 revised full papers and eight short papers presented together with two invited papers and one special paper were carefully reviewed and selected from 56 submissions. The book offers topical sections on model checking， clocking issues， theorem proving with higher order logics， hardware compilation， tools， component verification， case studies， algorithm verification， and duration calculus.

本书是非计算机专业机、电类本科《微机原理与接口技术》课程的教材。由浅入深全面地阐述了16位微机的工作原理、体系结构和汇编语言程序设计方法；从ISA系统总线入手介绍PC/XT和PC/AT机构并行输入输出、中断、DMA、存储器、A/D、D/A及串行通信等接口技术；对386、486和多媒体微机以及EISA、MCA、VL和PCI等总线也作了比较详细的介绍。书中有丰富的具有实用意义的例题和供练习与上机的习题。本书选材适当，内容丰富、结构合理、便于实施系统教学，特别适合工科院校机、电类专业使用，也可供自学和工程技术人员参考。

本书较全面地介绍了计算机硬件的选购、安装及一些相关的基本系统软件的安装设置和故障排除。本书实用性强，力求读者在看完本书后，会对计算机硬件有一个直观系统的了解。本书将复杂的操作过程以图文并茂的形式生动地展示给读者。本书是为计算机培训班编写的教材，也是一本适合于计算机初学者的自学参考书，而且还可以作为计算机一般用户的使用参考手册。

本书以100多种常用集成电路芯片为线索，以800多个数字和模拟集成电路的应用实例为内容，介绍了集成电路芯片的功能、选用和使用时的注意事项。并列举了1400多种集成电路产品，以供查询选购之用。

本书以一问一答的形式，解答电脑组装与维修中常见的疑难问题，同时还介绍了许多较为实用的技巧。其中的内容大多为笔者多年组装与维修电脑所遇到的实际问题，因此本书具有很强的实用性。本书主要面向已经具备一定电脑基本知识，而在实际装配及维护电脑设备时又遇到这样及那样问题的读者。笔者在取材上舍弃了大量较为初级的问题，同时也回避了一些普通电脑用户较少涉及的领域，力争使本书成为一本高效、实用的电脑装机与维修的“速查手册”。全书按不同电脑配件分章，共分17章，依次为CPU、BIOS、主板、硬盘、内存、显示卡、显示器、光驱、光盘刻录机、打印机、Modem、机箱与电源、键盘与鼠标、软驱、声卡与音箱、扫描仪及其他等章节。本书内容丰富、图文并茂、结合实际、注重实用，可供机关学校、企事业单位的电脑组装与维修人员及业余电脑爱好者使用，也可作为大中专院校学生的学习参考书。

本书由测试基础知识开始，全方位介绍各种在测试中涉及的知识及方法，灵活使用基本测试软件，逐一讲解诸如CPU、内存、硬件等基本配件的测试，不仅如此，还让您从配件产品的测试数据中发现优化硬件的思路，找到最佳化电脑的方法，掌握基本测试理论以后，再通过学习附送的光盘中的视频教学片段，通过安装使用测试软件，让您实现从理论跨向实践的转变。本书通过讲解对电脑配件（包括整机）的重要性能测试及优化调整方法，破除普通电脑爱好者对电脑测试的神秘感，让读者掌握测试的方法，并能自己动手实际操作，把电脑的潜能和功效发挥到极致。

本书共分六章。第一、二章是显示技术的基础理论和方法，阐述了图形显示功能部件的工作原理。第三章是计算机图形学基础——图形显示软件，阐述图形生成的算法、图形变换和裁剪、图形标准、图形用户界面实例。第四、五章分别阐述随机扫描体制和光栅扫描体制的显示系统。第六章为现代雷达信息显示系统，阐述了雷达显示系统的工作原理和工程设计。该书实例均是近代科研成果，具有应用价值。本书可作为电子工程、指挥控制、信息处理等专业本科生的教材；还可作为计算机应用、工业自动化、信号检测技术、无线电技术、彩色显像管等专业本科生的选用教材；也可作为上述学科领域的工程技术人员的参考书。

本书的内容以已通过ISO9001：2000认证的某汽车制造公司为对象，由质量手册示例和程序文件示例两部分构成。在第一部分中，将质量方针和质量目标作为质量手册的重要组成部分，这只是一种处理方式，并非必须如此，将质量方针和质量目标作为独立文件发布也是符合标准要求的。因此，组织在编制质量手册时，可根据实际情况加以增补或删减，力求同时满足标准和实际要求。第二部分的程序文件示例由ISO9001：2000要求编制的程序文件、建议增加和可供选择编制的程序文件三方面组成。本书提供的质量管理体系文件仅供参考，组织切不可作为标准模式照搬照抄。不同组织的质量管理体系文件的多少与详略程序取决于：组织的规模和活动的类型；过程及其相互作用的复杂程度；人员的能力。为此，组织在编制质量管理体系文件时，可从本书中选择合适的部分加以改编，与其他文件融为一体，发挥应有的指导作用。

本书是为广大DIY爱好者编写的教材。主要内容包括：硬件的选购、微机的组装、电脑的调试、软件的安装、微机的维护等。

微机原理及应用是高等工科院校电类各专业的一门重要的计算机技术基础课程。本书以16位机为模型机对微机的基本结构、基本工作原理和应用进行了讨论。考虑对教改的需要及知识的拓展，使学生更好地适用新知识，在传统内容的基础上讲述了嵌入式微处理器的软、硬件原理及设计，讲述了数字信号处理器（DSP）的原理及应用。＜br＞本书共分三大部分。第一部分讲述了微机的硬件原理及设计，汇编语言程序设计，嵌入式微控制器及DSP的原理及应用。第二部分讲述了常用接口及网络接口技术、微机通信的软、硬件基础知识。第三部分讨论了微机系统中的流水线、高速缓存等最新发展技术。＜br＞本书注重理论联系实际，加强对学生进行设计与开发能力的培养。可作为大专院校计算机及电类专业本科生微机原理及应用的课程教材，也可作为从事微机软硬件开发工作的科技人员参考使用。