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算法模块的验证。每一章都精心编写了课后习题以配合教学
人工智能逻辑是用逻辑方法和成果研究智能主体如何处理知识的学问，主要研究主体的常识推理。这种推理具有非单调性和信息不完备性。 本讲义分别介绍了三种主要的人工智能逻辑：缺省逻辑、非单调模态逻辑和限定逻辑。缺省逻辑的主要思想是在经典逻辑中增加刻画常识推理的缺省推理规则，由此形成的扩张概念刻画了主体的信念集及其变化。非单调模态逻辑是用“知”和“信”那样的认识论算子研究主体的认知状态，用具有反思性质的稳定集概念刻画主体的认知状态。限定逻辑的主要思想是合理限定通常的谓词逻辑所描述的谓词，从而合理限定这样的谓词指称的类的外延以排除反常的对象，因此限定逻辑在形式上提供一般的方法来极小化任意选出的谓词或者由谓词构成的公式，从而在直观上刻画了主体常识推理的能力。 本讲义内容丰富，知识面广，表
本书分为上下两篇，共12章。上篇根据蓝牙国际组织发布的蓝牙核心协议规范详细介绍了蓝牙技术的原理，包括蓝牙的体系结构、工作原理以及几种重要的剖面结构。下篇是本书的重点，详细介绍了蓝牙技术的开发与应用，包括蓝牙模块介绍、蓝牙开发工具使用说明、蓝牙嵌入式开发的方法和典型蓝牙产品的软、硬件开发实例等。书中通过多种蓝牙产品的设计实例分析，读者可以熟练掌握蓝牙的开发与应用。 蓝牙技术是一种短距离无线通信技术，在短短的几年内得到了迅速发展，在消费电子等各领域应用前景广阔。本书对蓝牙技术的原理、开发与应用做了详细而深入的介绍。 全书分为上下两篇，共12章。上篇根据蓝牙国际组织发布的蓝牙核心协议规范详细介绍了蓝牙技术的原理，包括蓝牙的体系结构、工作原理以及几种重要的剖面结构。下篇是本书的
本书涵盖的内容有实时系统调度、资源访问控制、验证等，这些技术广泛应用于实时计算和通信系统中。章概述几个采样实时应用。第二章给出了强实时和弱实时系统的定义以及基本原理。第三章描述实时系统的一个参考模型。第四章至第九章描述了调度与验证实时系统的算法与协议。尤其是包含了时间驱动的方法、RMA技术以及动态级的方法。第四章简要概述了三种方法的调度：时钟驱动调度、加权的轮转调度以及级驱动的调度。第五章描述通常的时钟驱动算法和特定的循环执行程序。第六章、第七章、第八章主要描述一个处理器上针对调度和资源访问控制的算法。第九章是关于多处理器和分布式系统的。第六章至第九章一起描述了RMA方法的综合处理，这个方法在本质上与固定级调度是相同的。基于这种方法的大部分算法允许在运行时间添加并删除应用程序的成分
本书可作为大学数学、力学和计算机等专业的“计算方法”教材以及理工科硕士研究生的“数值分析”教材。本教材介绍计算机上常用的数值计算方法，主要包括非线性方程求根、线性代数方程组直接法和迭代法、插值逼近、拟合逼近、数值微积分和常微分方程数值解等内容。全 书深入浅出，层次分明，部分理论证明和全书内容独立，便于根据不同学时和要求进行取材和教学。
本书全面系统地介绍了由香农于1948年提出的信息论与编码理论的主要内容，以及近几十年来该领域的一些重要研究成果。作者首先在引言中向读者简单介绍了信息论与编码理论的基本思想；部分讲解了香农信息论与编码理论的主要内容，如熵和信息量的基本概念与性质，以及信道编码定理和信源编码定理；第二部分介绍了一些基于香农编码理论的信道和信源编码方法，具体包括线性码、循环玛、BCH和RS码、卷积码等信道纠错编码，以及变长信源编码等。本书内容丰富翔实，对基本概念和基础理论的阐述清晰明了，同时也充分反映了相关领域的研究进展情况。 本书适合作为高等院校信息与通信工程专业研究生或本科生的教材或参考书。书中提供的几十道例题和几百道习题也有助于具有概率论和线性代数知识的人自学。
本书系统地介绍了太空物理学的研究对象、研究方法、发展历史和21世纪的瞻望。具体内容包括：太阳上层大气和行星际物理、磁层物理、中高层大气物理、太空环境对飞行器的影响和预报方法以及太空物理观测等。本书可作为从事太空研究方面的业务人员、科研、教学人员、大学生和研究生以及对太空物理感兴趣的广大非专业人员的参考读物。
本书主要阐述微机电系统中微器件的微弱信号检测技术，本书先由微机电系统入手，然后介绍了微弱信号检测的一些背景知识，重点阐述了微弱信号检测的方法与技术,以及针对微器件不同的检测方式详述其检测原理与检测方法，最后选取典型的微器件介绍了其微弱信号检测的实用电路。 本书可作为微电子、自动化、电子工程、物理、生物医学工程、测试技术与仪器等专业的研究生和高年级本科生教材，也可作为涉及电子噪声、低噪声设计、电磁兼容性、微弱信号检测的工程技术人员参考读物。
本书介绍以实现受控核聚变为目的的环形等离子体装置的基本原理和研究方法，也适用于一般的磁约束等离子体装置。内容包括聚变研究概观磁约束聚变装置的类型、主要工程问题、等离子体诊断方法及数据处理环形等离子体的基本物理性质、宏观不稳定性、微观不稳定性及输运、辅助加热及边界区物理。着重基本概念的陈述、物理意义的阐发和实验方法的探讨，并介绍一些前沿领域的热点问题和研究现状。
本书介绍以实现受控核聚变为目的的环形等离子体装置的基本原理和研究方法，也适用于一般的磁约束等离子体装置。内容包括聚变研究概观磁约束聚变装置的类型、主要工程问题、等离子体诊断方法及数据处理环形等离子体的基本物理性质、宏观不稳定性、微观不稳定性及输运、辅助加热及边界区物理。着重基本概念的陈述、物理意义的阐发和实验方法的探讨，并介绍一些前沿领域的热点问题和研究现状。
本书共13章。系统地介绍了毛油的来源及组成、毛油的初步处理、油脂脱胶、油脂脱酸、油脂脱色、油脂脱臭、油脂脱蜡、油脂分提、油脂氢化、酯交换、油脂深加工产品和油脂产品的包装及储存等内容。阐述了精炼和加工过程的基本原理、工艺流程及相关参数、设备结构及操作方法。 本书是食品科学与工程专业的本、专科教材，也可作为相近专业师生和从事油脂加工科学研究、生产技术人员的参考书。
本书系统地介绍了机器人的基本组成和工作原理。全书共分9章，其中第1章介绍必要的基础知识，如机器人的发展历史、机器人的组成与特点、机器人语言及机器人应用等。第2章和第3章分析机器人的运动学。第4章分析机器人的动力学。第5章讨论机器人在关节空间和直角坐标空间的路径和轨迹规划。第6章介绍机器人的各种驱动装置，如液压和气动装置、直流伺服电机及步进电机等。第7章讨论用于机器人的各种传感器。第8章介绍机器人视觉系统。第9章介绍用于机器人的模糊控制方法。同时，本书每章后面均附有参考文献和习题。 本书内容丰富，反映了机器人学的基础知识以及与其相关的先进理论和技术。该书可作为机械、自动化及计算机等专业本科高年级学生或研究生的教材，也可供从事机器人学研究的教师或其他人员学习和参考。
本书介绍以实现受控核聚变为目的的环形等离子体装置的基本原理和研究方法，也适用于一般的磁约束等离子体装置。内容包括聚变研究概观磁约束聚变装置的类型、主要工程问题、等离子体诊断方法及数据处理环形等离子体的基本物理性质、宏观不稳定性、微观不稳定性及输运、辅助加热及边界区物理。着重基本概念的陈述、物理意义的阐发和实验方法的探讨，并介绍一些前沿领域的热点问题和研究现状。
本书分为上下两篇，共12章。上篇根据蓝牙国际组织发布的蓝牙核心协议规范详细介绍了蓝牙技术的原理，包括蓝牙的体系结构、工作原理以及几种重要的剖面结构。下篇是本书的重点，详细介绍了蓝牙技术的开发与应用，包括蓝牙模块介绍、蓝牙开发工具使用说明、蓝牙嵌入式开发的方法和典型蓝牙产品的软、硬件开发实例等。书中通过多种蓝牙产品的设计实例分析，读者可以熟练掌握蓝牙的开发与应用。 蓝牙技术是一种短距离无线通信技术，在短短的几年内得到了迅速发展，在消费电子等各领域应用前景广阔。本书对蓝牙技术的原理、开发与应用做了详细而深入的介绍。 全书分为上下两篇，共12章。上篇根据蓝牙国际组织发布的蓝牙核心协议规范详细介绍了蓝牙技术的原理，包括蓝牙的体系结构、工作原理以及几种重要的剖面结构。下篇是本书的
数学物理方程是理科物理类专业及工科某些专业的基础课。本书共五章，即数学物理方程的导出和定解问题；分离变量法；勒让德多项式和球函数；贝塞尔函数；傅里叶变换与初值问题。本书的内容是根据有关专业的需要确定的，全书以本征值问题为核心，讲解详尽贴切，例题丰富，学习要求明确，每一节附有思考题，每一章有小结及自我检查题。由于采取了这样一系列措施，使得本书更符合有关专业的教学需要，更便于读者自学。凡具有高等数学及普通物理基础的读者，都可独立地学好本书。 本书特别适于做师范院校及成人教育的教材，适于读者自学。也可供有关专业的教师与学生参考。
有关光与物质相互作用的现象和规律性主要是通过光谱学方法获得的。固体光谱学包括固体的吸收、反射、发光和散射光谱等。本书主要论述固体光谱学的基本理论、基本方法和实际应用。章是关于固体宏观光学常数的基本概念；第二章介绍反射光谱测量固体光学常数的几种方法；第三章描述固体中价带到导带之间的吸收和发射过程及其光谱；第四章是关于固体中一种重要的无激发态——激子的光谱；固体中通过杂质和缺陷态的吸收和发射以及低维和无序体系的光谱学性质分别在第五章和第六章中论述；第七章针对固体中微弱吸收的测量，给出光电导谱和光热偏转光谱的原理和测量方法；第八章到第十章是关于晶格振动的红外吸收和喇曼散射光谱以及红处吸收和喇曼散射的选择定则。 本书可作为凝聚态物理和材料科学研究生和大学生专业课的教学用书或教学参
