本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与SAT问题、符号计算与模型检验。书中汇集大量设计验证的基本概念与技术，内容深入浅出，叙述详尽，既讨沦一般的测试原则又展示具体的实践方法，包含作者多午实践经验，实用性强。每章最后还配有各类习题，渎者可用来巩固所学的知识。. 本书可作为高等院校电子科学与技术、计算机科学与技术等专业高年级本科生或低年级研究生教材，也可供相关专业工程师参考。.. 随着数字逻辑设计的规模越来越大，复杂度越来越高，功能验证已经成为设计过程中的首要瓶颈。缩短验证时间是项目取得成功的关键。本书系统地阐述了当今最具价值的基于模拟和形式方法的验证技术，帮助测试工程师和设计工程师为每个项目选择最佳的解决方法，最快地在设计中建立起自信，并将它移植到更快的制造过程中。 本书作者William K．Lam是设计验证方面的世界级一流专家，书中汇聚了作者广博的实践经验，既讨论一般的测试原则，也展示具体的实践方法，有些内容还提供了伪代码形式的算法，读者只需简单地改写为具体的程序设计语言，即可上机调试。无论高校学生还是企业的验证工程师都可以从本书获益。...

《计算机组成原理（第三版）》按基础、组成、系统3个层次介绍计算机组成原理。基础部分的内容包括绪论、常用进位制、机器数的表示、机器数的运算方法、编码及校验码、逻辑代数与逻辑门、组合逻辑电路的解析与设计；组成部分包括基本器件、总线、主存储器、运算器、指令系统、控制器；系统部分包括存储体系结构、外部存储器、输入输出设备、主机与外设的数据传送方式。《计算机组成原理（第三版）》内容充实，结构合理，重点突出，深入浅出，通俗易懂，例题丰富，图文并茂，每章后都附有习题。为便于教学，还出版了配套教材《计算机组成原理题解与实验指导》，以及电子教案。《计算机组成原理（第三版）》是计算机及其相关专业的“计算机组成原理”课的教材，适用于理工科大学、师范类院校、电视大学、高等职业技术大学、高等教育自学考试，还可以作为软件水平考试的硬件辅导教材和考研参考书。

《可编程控制器应用》主要内容有：可编程控制器的特性及I/O编址，STEP 7指令系统，程序设计与测试，故障诊断与现场维护，以及多点接口（MPI），现场总线 （PROFIBUS-DP）和工业以太网（Industrial Ethernet）等常见的S7工业网络。《可编程控制器应用》以德国西门子公司的SIMATIC S7-300/400为参考机型，适当兼顾 S7-200以及S5系列PLC。根据当前高职学生的特点，借鉴德国职业教育的教学模式，理论联系实际，强化型号，注重实用。突出PLC控制技术的核心知识和技能训练。《可编程控制器应用》适应面广，强调实践，技术针刘性强，突出程序设计与测试，故障诊断与维护。可作为高职高专，高等工科院校电气工程，机电一体化以及数控类专业学生的教学用书，也可供从事PLC设计开发及现场维护的工程技术人员的参考。

本书以32位微机接口为主要对象，从微机系统的角度深入地阐述了现代微机接口技术的原理及应用。其内容包括32位微处理器、PCI总线、存储器管理、设备驱动程序和Windows内核等深层次的技术问题。既有常用外设接口，也有新型接口；既考虑了接口技术的共性，也考虑了各类接口的特点；既有上层应用程序，又有底层设备驱动程序。全书共18章，前12章集中分析了接口的共性技术，后6章分别讨论了各种典型接口的电路及控制程序，特别是对PCI总线接口、USB总线接口和WDM设备驱动程序的设计进行了详细的讨论。.本书技术先进，内容全面，实用性强，符合人的认识规律。便于自学，在内容的组织与安排等方面具有特色。本书既可作为高等院校工科有关专业本科、研究生教材或专业技术培训教材，也是广大从事微型计算机应用与开发人员的自学参考书。...

本书是作者（国家半导体公司总工程师）凭多年工作经验和学术造诣全面概括开关电源设计与优化技术的结晶。书中系统论述了开关电源电路（设计）的功率变换、EMI滤波器、各功率变换器器件的参数选择和变换器各部分波形、PCB设计、电源温度控制、电源安全、可靠性及检测等内容。书中将开关电源设计的重点方程整理归纳形成1章，并将电源设计常见问题列出并一一作答。它不是含复杂数学推导的教科书，也不是针对某些特定电源设计细节的文献，而是介于两者之间的实用、通俗、严谨且很有价值的工程技术指导书。本书可供广大从事开关电源设计、开发的工程师作为设计参考书，也可作为高等院校电力、电子专业的教材或参考书。

The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available.The scope of LNCS，including its subseries LNAI，spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes.—proceedings （published in time for the respective conference）—post-proceedings （consisting of thoroughly revised final full papers）—research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）.

《微机原理、汇编与接口技术学习指导》是同作者所编著的《微机原理、汇编与接口技术》的配套用书，是为了配合“微机原理与接口技术”课程的教学而编写的辅导教材。《微机原理、汇编与接口技术学习指导》对该课程教学中的重点和难点进行了较详细的论述，并通过典型的例题对该课程中较难理解的内容作了详细的分析，同时还对精选的习题作了较详细的解答。旨在帮助读者拓宽思路，掌握解题方法，从而加深理解，灵活运用。《微机原理、汇编与接口技术学习指导》可作为大专院校的本科和专科学生学习微型计算机原理、汇编语言程序设计、微机接口技术等课程的辅助教材，也可以作为报考研究生的人员系统复习上述课程的参考书。

本书从简明、实用、易学、能解决实际问题的角度出发，结合作者多年的电脑主板维修经验和大量案例，将理论知识、电脑主板维修方法及实际案例相结合，循序渐进，由浅入深，较为完整地讲解了电脑主板的结构、接口电路、CMOS电路、开机电路、供电电路、时钟电路、复位电路等几大电路的工作原理、故障诊断方法及故障检修流程等，为完全掌握电脑主板维修技能提供了完善的解决方法。本书内容重点突出，操作步骤清晰，可操作性强，易学实用。本书结合大量图解与实例，循序渐进地讲解了主板的结构和电路组成，常用维修工具，元器件好坏的判定方法，总线插槽和测试点，以及接口电路、CMOS电路、开机电路、供电电路、时钟电路、复位电路等主板几大电路的电路分析、检测、维修等内容。本书针对专业培训学校、电脑用户和电脑主板维修人员编写，内容深入浅出，易学实用，强调动手能力和实际操作技能的培养，无论你是初学者，还是有一定维修基础的爱好者，相信本书都会使你快速成长为专业维修人员。

本书从简明、实用、易学、能解决实际问题的角度出发，结合作者多年的显示器维修经验和大量案例，将理论知识、显示器维修方法及实际案例相结合，循序渐进，由浅入深，较为完整地讲解了CRT显示器的结构，显示器的电源电路、行扫描电路、场扫描电路、视频电路、系统控制电路等几大电路的工作原理、故障诊断方法及故障检修流程等，为完全掌握显示器维修技能提供了完善的解决方法。另外，还特别介绍了液晶显示器的结构、维护、保养和故障检修。本书内容重点突出，操作步骤清晰，可操作性强，易学实用。本书讲解了显示器的结构和工作原理、常用维修工具、元器件好坏的判定方法，重点介绍了CRT显示器的电源电路、行扫描电路、场扫描电路、视频电路、系统控制电路等几大电路的电路分析、检测与维修方法，以及液晶显示器的结构、维护、保养和故障检修。书中精心设计了大量实训内容，便于读者提高技能。本书针对专业培训学校、显示器维护人员和显示器维修人员编写，内容深入浅出，案例丰富，步骤清晰，易学实用，无论你是初学者，还是一位对计算机有一定维修基础的爱好者，相信本书都会使你快速成长为专业维修人员。

本书主要讲解硬盘的结构组成、常用维修工具、元器件好坏的判定方法、硬盘的低级格式化、硬盘坏道修复方法、硬盘控制电路及检修、硬盘盘体及检修等内容，其中结合维修案例，介绍了常用硬盘维修软件以及专业级维修工具PC-3000的使用，可对硬盘进行近乎工厂级别的维修。此外，还介绍了硬盘数据恢复技术，可解决包括病毒破坏、误格式化、误分区、误删除、逻辑锁以及硬盘电路板和盘体损坏等造成的数据丢失故障。.本书针对专业培训学校、电脑用户和电脑硬盘维修人员编写，内容深入浅出，案例丰富，操作步骤清晰，易学实用，无论你是初学者，还是有一定维修基础的爱好者，相信本书都会助你快速成长为专业维修人员。...