是一本讲述公理集合论的好书，也是北航计算机学院高等数理逻辑课的指定教材。

本书以十分直观和近乎谈话的方式，以信号处理的问题为背景，叙述了小波的理论和应用，使读者可以透过复杂的数学公式来窥探小波的精髓，而又不致陷入小波纯数学理论的迷官。本书是按研究生教材的要求编写的，既可以让应用数学系的学生了解数学公式的工程意义，也可以让计算机及电子工程系的学生了解工程问题的数学描述。对于小波理论与应用的研究人员，本书更是一本极具价值的参考书

基于msp430单片机的声音导引智能车.rar

反舰雷达导引头抗拖引干扰技术研究.pdf

Introduction to the theory of computation 是由MIT教授MICHAEL SIPSER 写的经典教材，通俗易懂。

计算理论导引课后题答案，欢迎大家来交流学习，好好学习！

模曲线导引 第二版 出版时间：2014年版 内容简介 　　《模曲线导引（第2版）》的目的在于介绍模形式的几何理论的背景知识。本书可供数学系的研究生作为教材，也可以供从事数论、代数几何等专业的数学工作者使用。作者在2002年出版本书第一版之后，近些年又做了大量的修订，使得该书的内容更完善更前沿。 目录 第一章 范畴 第二章 模空间 第三章 层 第四章 叠 第五章 Hilbert函子 第六章 Picard函子 第七章 模曲线 第八章 微分形式 第九章 TATE曲线 第十章 模形式 参考文献 索引

本书由计算理论领域的知名权威Michael Sipser所撰写。他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。绝大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。同样，对子算法描述，均以直观的文字而非伪代码给出，从而将注意力集中子算法本身，而不是某些模型。新版根据多年来使用本书的教师和学生的建议进行了改进，并对课堂测试题进行了全面的......

本书讲述交换代数的基本理论和方法,在介绍经典的Noether 环和Dedekind整环理论的同时,重点突出了模与范畴以及局部化方法,这些内容都是学习代数几何和代数数论的公共代数基础,同时也为学习同调代数等其他数学学科打下基础。

为了提高巡航导弹的穿透能力和杀伤力，在目标制导中施加具有特定冲击角的机动轨迹。本文提出了一种创新的终端制导在线方法，该方法可以将巡航导弹沿着拟定的曲线和目标理论上的动态曲线沿着目标的爬升和散布制导的方向引导至静止目标。根据导弹的当前状态，目标位置和冲击角约束，机动轨迹由三阶贝塞尔曲线形成。基于导弹的逆动力学，可以得到由攻击角α表示的实时引导命令。可以通过调整边界条件b1和b2来改变贝塞尔参数b2和b2的要求，从而调整直弹道的形状。仿真结果证明了该方法在巡航导弹终端制导中的有效性。