详细介绍MATLAB中进行视频处理的相关函数以及使用方法，包括AVIREAD和AVIINFO等！

导航系统接收机抗干扰技术文献综述。卫星导航系统有一个缺点，就是卫星信号的功率比较低，信道容易受到其他形式的各种干扰，导致卫星导航接收机的性能下降，无法正常工作[1]。因此，对GPS信号进行抗干扰处理是GPS接收机的重要组成部分，抗干扰性能的好坏直接影响到后续的信号捕获与跟踪的效果，如果抗干扰性能太差，甚至有可能导致捕获失败。本文主要对卫星导航系统接收机抗干扰技术进行介绍。

有搞容灾的朋友么，或者对容灾感兴趣的朋友，可以看看这些文献作为入门，了解一下容灾的基本概念以及现有技术～

生物识别技术主要是指通过可测量的身体或行为等生物特征进行身份认证的一种技术；而生物特征是指唯一的可以测量或可自动识别和验证的生理特征或行为方式。生物特征分为身体特征和行为特征两类。身体特征包括：指纹、掌型、视网膜、虹膜、人体气味、脸型、手的血管和DNA等；行为特征包括：签名、语音、行走步态等。目前部分学者将视网膜识别、虹膜识别和指纹识别等归为高级生物识别技术；将掌型识别、脸型识别、语音识别和签名识别等归为次级生物识别技术；将血管纹理识别、人体气味识别、DNA识别等归为“深奥的”生物识别技术。

区块链是一项新技术，它将对我们作为全球网络社会交换信息和货币的未来产生重大影响。 它是如此之新，以至于在学术上所做的工作相对较少，但是这种情况正在Swift改变。 对于本文献综述，我们首先收集了主要经过同行评审的资源样本，以及来自其他各种渠道的文章的信息性概述。 我们选择的文章使我们能够提供三个主要主题的代表性视图。 首先，目前正在讨论有关区块链技术的一些主要主题。 第二，代表主题的代表性类别。 第三，区块链发展的潜在未来及其对社会和技术的影响。

这是一篇英文的，只要你能看下去，写的挺好的，供大家参考

离散数学 上海科学技术文献出版社 左孝凌等编著

题解,答案,例题,一般都是这个版本, 上海科学技术文献出版社左孝凌 刘永才

第-篇　数理逻辑 　第-章　命题逻辑 　　1-1　命题及其表示法 　　1-2　联结词 　　1-3　命题公式与翻译 　　1-4　真值表与等价公式 　　1-5　重言式与蕴含式 　　1-6　其他联结词 　　1-7　对偶与范式 　　1-8　推理理论 　　1-9　应用 　第二章　谓词逻辑 　　2-1　谓词的概念与表示 　　2-2　命题函数与量词 　　2-3　谓词公式与翻译 　　2-4　变元的约束 　　2-5　谓词演算的等价式与蕴含式 　　2-6　前束范式 　　2-7　谓词演算的推理理论 第二篇　集合论 .　第三章　集合与关系 　　3-1　集合的概念和表示法 　　3-2　集合的运算 　　3-3　包含排斥原理 　　3-4　序偶与笛卡尔积 　　3-5　关系及其表示 　　3-6　关系的性质 　　3-7　复合关系和逆关系 　　3-8　关系的闭包运算 　　3-9　集合的划分和覆盖 　　3-10　等价关系与等价类 　　3-11　相容关系 　　3-12　序关系 　第四章　函数 　　4-1　函数的概念 　　4-2　逆函数和复合函数 　　4-3　特征函数与模糊子集 　　4-4　基数的概念 　　4-5　可数集与不可数集 　　4-6　基数的比较 第三篇　代数系统 　第五章　代数结构 　　5-1　代数系统的引入 　　5-2　运算及其性质 　　5-3　半群 　　5-4　群与子群 　　5-5　阿贝尔群和循环群 　　5-6　置换群与伯恩赛德定理 　　5-7　陪集与拉格朗日定理 　　5-8　同态与同构 　　5-9　环与域 　第六章　格和布尔代数 　　6-1　格的概念 　　6-2　分配格 　　6-3　有补格 　　6-4　布尔代数 　　6-5　布尔表达式 第四篇　图论 　第七章　图论 　　7-1　图的基本概念 　　7-2　路与回路 　　7-3　图的矩阵表示 　　7-4　欧拉图与汉密尔顿图 　　7-5　平面图 　　7-6　对偶图与着色 　　7-7　树与生成树 　　7-8　根树及其应用 第五篇　计算机科学中的应用 　第八章　形式语言与自动机 　　8-1　串和语言 　　8-2　形式文法 　　8-3　有限状态自动机 　　8-4　两类自动机的转换 　　8-5　有限状态机的简化 　　8-6　有限状态机与正则语言 　第九章　纠错码初步 　　9-1　通讯模型和纠错的基本概念 　　9-2　线性分组码的纠错能力 　　9-3　海明码 　　9-4　查表译码法 符号表 附录　名词索引 参考文献

基于计算机视觉的三维测量技术(文献翻译).doc