SystemC是被实践证明的的系统设计描述语言，它能够完成从系统到门级、从软件到硬件、从设计到验证的描述。SystemC 2.01已作为一个稳定的版本提交到IEEE，申请国际标准。 本书为配合清华大学电子工程系SystemC相关课程的教学而编写。全书分9章，内容包括：硬件描述语言的发展史；SystemC出现的历史背景和片上系统设计方法学概述；SystemC的基本语法；SystemC的寄存器传输级设计和SystemC的可综合语言子集，以及根据作者设计经历归结的RTL设计准则和经验；接口、端口和通道等SystemC行为建模的基础、交易级建模和通信细化；SystemC的Master－Slave通信库；一个SystemC TLM建模实例－片上总线系统；SystemC与VHDL/Verilog HDL的比较；SystemC的验证标准和验证方法学；SystemC开发工具SystemC_win、WaveViewer等，以及使用MATLAB进行SystemC算法模块的验证。每一章都精心编写了课后习题以配合教学

本书以详尽和丰富的资料，从理性智能体的角度，全面阐述了人工智能领域的核心内容，并深入介绍了各个主要的研究方向，是一本难得的综合性教材。全书分为八大部分：部分“人工智能” ，第二部分“问题求解” ，第三部分“ 知识与推理” ，第四部分“规划” ，第五部分“不确定知识与推理” ，第六部分“学习” ，第七部分“通讯、感知与行动” ，第八部分“ 结论” 。 本书既详细介绍了大量的基本概念、思想和算法，也描述了各研究方向的进展，同时收集整理了详实的历史文献与事件。因此本书适合于不同层次和领域的研究人员及学生，可以作为信息领域和相关领域的高等院校本科生和研究生的教材或教学辅导书目，也可以作为相关领域的科研与工程技术人员的参考书。

本书涵盖的内容有实时系统调度、资源访问控制、验证等，这些技术广泛应用于实时计算和通信系统中。章概述几个采样实时应用。第二章给出了强实时和弱实时系统的定义以及基本原理。第三章描述实时系统的一个参考模型。第四章至第九章描述了调度与验证实时系统的算法与协议。尤其是包含了时间驱动的方法、RMA技术以及动态级的方法。第四章简要概述了三种方法的调度：时钟驱动调度、加权的轮转调度以及级驱动的调度。第五章描述通常的时钟驱动算法和特定的循环执行程序。第六章、第七章、第八章主要描述一个处理器上针对调度和资源访问控制的算法。第九章是关于多处理器和分布式系统的。第六章至第九章一起描述了RMA方法的综合处理，这个方法在本质上与固定级调度是相同的。基于这种方法的大部分算法允许在运行时间添加并删除应用程序的成分

本书主要介绍SystemC的硬件建模方面，即SystemC的RTL可综合子集。采用该子集编写的模型可以综合成逻辑门电路，进而进入模型的硬件实现阶段。 本书专门面向那些希望学习和了解SystemC的设计工程师和系统工程师。本书适合于初学者，可以作为高校的体系结构、数字设计和系统设计等课程的教材。

本书系统地介绍了机器人的基本组成和工作原理。全书共分9章，其中第1章介绍必要的基础知识，如机器人的发展历史、机器人的组成与特点、机器人语言及机器人应用等。第2章和第3章分析机器人的运动学。第4章分析机器人的动力学。第5章讨论机器人在关节空间和直角坐标空间的路径和轨迹规划。第6章介绍机器人的各种驱动装置，如液压和气动装置、直流伺服电机及步进电机等。第7章讨论用于机器人的各种传感器。第8章介绍机器人视觉系统。第9章介绍用于机器人的模糊控制方法。同时，本书每章后面均附有参考文献和习题。 本书内容丰富，反映了机器人学的基础知识以及与其相关的先进理论和技术。该书可作为机械、自动化及计算机等专业本科高年级学生或研究生的教材，也可供从事机器人学研究的教师或其他人员学习和参考。