本书内容包括数理逻辑，集合论，代数结构和图论以及形式语言与自动化。
本书内容包括数理逻辑，集合论，代数结构和图论以及形式语言与自动化。
本书全面、系统地讲解了32位嵌入式系统中各组成部分的原理和相关设计。书中对包括ARM、PowerPC在内的RISC处理器，常用嵌入式操作系统，以及嵌入式系统中常用的接口电路（如SDRM、DDR内存、各类Flash、硬盘、液晶、网络接口等）设计做了详细介绍。本书还结合硬件设计，给出了大量用于硬件调试的代码和驱动程序的编写方法。 本书适合于从事嵌入式系统硬件开发及嵌入式系统驱动软件编写的工程师。
![微积分教程：计算机代数方法：第2版[美]安申尔、哥德费尔德|主 编高等教育出版社9787040173888](http://img3m1.ddimg.cn/27/34/11980594521-1_l.jpg)
本书是根据高等理工科院校电子通信工程、自动化、机电一体化等非计算机专业和计算机专业的《微型计算机原理与接口技术》的教学大纲编写的。本书以Intel 80X86寻址方式和指令系统、汇编语言程序设计、半导体存储器、中断的处理技术、输入输出接口、定时计数技术、并行/串行通信、数/模和模/数转换器。 该书选材新颖，内容系统，结构清晰，概念准确，通俗易懂。可作为高等理工科院校本、专科生的教材，也适合高职、高专自考人员使用，还可供广大科技人员自学参考。
本书介绍了线声源在水平、圆形液_固界面和点声源在圆柱形液_固界面激发的声波和声波导，给出了声波在液体和固体中传播时，不同时刻声场的空间分布(声波传播过程)的计算结果和实验结果。给出了阵列接收波形及其二维谱。针对实际应用的需要，分析了换能器频带对接收波形及其二维谱的影响；用大量的数值计算结果，直观地显示了发射换能器尺寸对阵列接收波形及其二维谱的影响；介绍了声波换能器导纳及其频谱的测量方法，给出了实际测量结果。 在声场计算中，实轴积分法曾被广泛使用，二维谱来自于实轴积分法的中间结果，是连接理论计算、声波波形处理和实际应用的有效工具。本书首先建立声波传播的物理图像，在此基础上，讨论与这些物理图像对应的声波波形及其二维谱，然后结合实际应用讨论具体的测量技术和波形处理方法，后，根据工程勘
