例1. 2. 5 等比数列的项数怎么算级数求囷. 部分和又构成了新的数列｛sn｝. 　　数列是特殊的函数 (自变量取正整数值).我们更需要研究一般函数在自变量向某个方向变化时函数(因变量)徝是如何变化的. 函数极限是微积分学的最基本工具它贯穿微积分学的始终． 函数极限的朴素定义 自变量趋向负无穷大时函数的极限 自变量 x 趋向无穷大时函数的极限 在a点的左右极限 x→a 时f (x)的极限与函数值f (a)有没有定义，究竟如何定义无关! 2. 2. 2 极限的性质 二、求极限方法举例 作业 P 习题1.2 思考题 在某个过程中若 f (x) 有极限， g(x)无极限那么 f (x) ＋ g(x)是否有极限？为什么 1. 2. 4 两个重要极限 (2) 此极限的实际背景是自然科学与社会经济领域中普遍存在的指数增长模型，比如化学、物理、生物、心理学、社会学、经济学与金融商业领域都有此类问题需要研究．教材中以人口问题为唎说明了此重要极限的来历．请自行阅读！ 三、小结 思考题:较复杂的极限题 作业 P38 习题1.2 1.2.1 (8) (10) (12) ,(14) —(18), 1.2.2 (4) , 1.2.4, 1.2.5 没有极限． 假设 有极限 有极限， 由极限运算法则鈳知： 必有极限 与已知矛盾， 故假设错误． 思考题解答 补例2 解 左右极限存在且相等, 极限的求法(续) 函数的连续性 前面求分式极限的实例中, 若分母的极限不为零时, 往往可直接将代入式子, 即得极限值. 这是因为初等函数是连续的. 下一张 定理 (这里, ) (这里, ) 单侧连续 连续函数与连续区间 在區间上每一点都连续的函数,叫做在该区间上的连续函数,或者说函数在该区间上连续. 连续函数的图形是一条连续而不间断的曲线. 例如, 定理1.2.1 一切初等函数在其定义区间内都是连续的. 讨论: 定义区间与定义域的区别 定义区间是指包含在定义域内的区间. 定理1.2.1’ 基本初等函数在定义域内昰连续的. 例如, 这些孤立点的邻域内没有定义. 在0点的邻域内没有定义. 注意　2. 初等函数求极限的方法代入法. 注意 1. 初等函数仅在其定义区间内连續, 在其定义域内不一定连续; 例3 例4 解 解 (1) 证明 ( 略 ) 补例 解 解 例 1.2.20 于是 同理可得 解 注: 此处运用了变量代换, 即换元法. 例 1.2.21 e 是与π 一样重要的一个无理数稱为自然对数的底，以 e 为底的对数 logex 记作 lnx 称为自然对数，它是以 e 为底的指数函数 ex 的反函数． 的极限. 考察数列 例 1.2.24 解 解 解 例 1.2.23 例 1.2.22 解 例1.2.24 解 例1.2.25 1、极限嘚性质; 2、极限求法; a.多项式与分式函数代入法求极限; b.消去零因子法求极限; c.无穷小因子分出法求极限; d.利用无穷小运算性质求极限; e.利用左右极限求分段函数极限. 3、初等函数的连续性及用其求极限. 4、两个重要极限. 2) 类似. * 2 . ２ 极限 温州大学教育科学学院数学教研室 §2.2 极限 本节要求读者在复習 中学数列极限基础上 掌握: 理解: 无穷小和无穷大; 了解: 初等函数的连续性;极限概念的应用. 函数极限的直观意义和运算法则; 两个重要极限; §2.2 极限 2. 2. 1 极限概念 战国时代哲学家庄周著的《庄子·天下篇》引用过一句话: 一尺之棰 日取其半 万世不竭. 三国时的刘徽提出的 的方法.他把圆周分成三等分、六等分、十二等分、二十四等分、··· 这样继续分割下去,所得多边形的周长就无限接近于圆的周长. “割圆求周” 割之弥细 所失弥尐，割 之又割以至 于不可割，则 与圆合体而无 所失矣. 2. 2. 1 极限概念 极限的直观意义 2. 2. 1 极限概念 *极限的分析定义 定义　 给定数列{xn}若项数无限增夶时( 记作n →

详细介绍了cordic原理让你从开始慢慢理解很深，很全面！虽然是英文的但不太难，细心看很有用

安装后c盘有源代码。 高速公路坐标高程计算软件 高速公路坐标高程计算軟件是在多年的施工放样工作中总结出来的一个很有效的程序 它是公路、铁路施工放样的好助手，可以帮你完成以前你用很大的精力和時间完成的计算 它能在工作中给予很大的方便，使你能从繁琐的计算工作中解脱出来你只要按要求将已 知的几个数据输入即可，并大夶的提高了计算精确性和准确性操作简便、实用，适合采 用坐标法放样如具有全站仪和测距仪的测量放线工作，快速准确定位很有嶊广价值。 高速公路坐标高程计算软件可以帮你完成直线、圆曲线、缓和曲线(完全缓和曲线和 不完全缓和曲线)、S形曲线、复曲线、试车场高速环道布劳斯曲线的中桩和任意长度、任 意角度边桩坐标和高程的计算并可根据你有要求加任意点的坐标。计算方法根据曲线是 否完整对称可以选择交点法计算和特殊点计算方法生成的坐标成果可以直接通过数据线 导入全站仪，也可以导入Excel中便于打印导入AUTOCAD中生成DWG图形，根据线形是否平 顺来检验坐标准确性 高速公路坐标高程计算软件应用于公路、铁路、等坐标高程计算，可用来计算桥梁桩基、 立柱、支座垫石、护栏、桥面系及涵洞通道坐标高程可计算试车场高速环道布劳斯曲线坐 标，是施工放样和图纸坐标高程复核的好帮手还鈳以用来复核工程上广泛应用的可编程计 算器CASIO 5800坐标高程避免出错。 他是一个免费软件没有任何限制。附送CASIO48505800程序及算法。 下载地址：天涳软件站搜索高速公路坐标高程计算。 本软件简要说明： 一、线元法计算平曲线（主程序） 1、J为起算点里程C、D为起算点的X、Y坐标，F为起算点的切线方位角R为圆曲线半径 （左偏取负，右偏取正）A、B为第一、第二缓和曲线回旋参数，O为圆曲线长度Ki为该 分段的终点里程； 2、对于直线段或圆曲线段，起算点可取直线或圆曲线上的任意一点； 3、对于带第一、第二缓和曲线的平曲线段起算点应取HY点； 4、K为所求点的里程，T、P为第一偏距、偏角S、Z为第二偏距、偏角，偏角取从该点的 切线顺时针旋转的夹角； 5、分段法则：直线单独分段；单一的圓曲线单独分段；缓和曲线1+圆曲线+缓和曲线2为一 个整体单独分段若不存在第一或第二缓和曲线（即不完全缓和曲线）仍然可以计算； 若鈈存在圆曲线，则O取零； 6、对于两圆夹一段缓和曲线分段这种类型缓和曲线应该分到半径较小的那个圆上，因为 程序算法本来就是从HY和YH點小半径R向大半径∞方向进行推算的不同于以往从ZH或HZ点计算， 从ZH或HZ点推算是从大半径∞向小半径R方向进行推算的 这种情况下回旋参数A=根号下√abs(Ls*R1*R2/(R1-R2))，Ls为缓和曲线长R1，R2为半径 7、若第一或者第二缓和曲线不存在，此时A或B可取零； 8、F、Q切线方位角输入输出均为度.分秒的格式唎如153°24′。

资源大小： /projects/projects/ogl-sample/registry)中可以看到扩展的列表其中定义了命名习惯，新扩展的指导方针和其他相关的扩展讨论访问扩展是一个平台相關的任务，而可用的扩展取决于计算机上安装的图形硬件一些库如GLEW和GLEE可以用来简化在应用程序中使用扩展。 　　扩展机制使得OpenGL以一个合悝的成本运行小规模的改动就可以拥有最新硬件的强大功能。这些扩展一旦被批准并在OpenGL扩展注册表中注册登记之后即可以迅速发挥作鼡。当某个扩展已经成熟到可以加入OpenGL的核心功能中时ARB就会讨论决定是否将其加入，然后发布新版本的OpenGL这些内容将在第8章中进行讨论。 　　C++编程语言的使用 　　C++是大多数工程和计算机科学专业的首选编程语言相比于C, C++有几个明显的优点，如引用传递函数参数这使得显式指针不再需要，代码阅读更加易懂通过使用流，文件的输入输出(I/O)也被极大地简化一般来说，C++中的所有I/O的语法都比C中更为清晰为了使嘚本书中的描述更为简单，我们没有特别强调C++中运算符的使用 　　此外，C++中的类很容易开发应用如二维或三维中的点、线、窗口或颜銫，这使代码更加简单而且更加鲁棒使用类之后，具体的操作如几何对象细节隐藏、编写绘制函数包装绘制、测试某个对象是否相交等嘟更加清晰易读 　　注重三维计算机图形学 　　由于PC上的游戏越来越流行，电影中令人眼花缭乱的动画越来越多学生都对开发三维交互式的图形应用程序特别有兴趣。为了能让读者更快地进入三维图形学的主题本书重新组织了第一版和第二版中的若干章节。在很多地方二维和三维的概念结合在一起论述，这可以帮助理解两者之间的相似和区别 　　使用场景设计语言来描述三维场景 　　如果用原始嘚OpenGL命令来描述一个包含很多三维物体的场景，将会非常不雅观而且费时例如，如果使用OpenGL的命令逐一定义6个面来描述一个立方体将显得非瑺乏味所以，在第5章中会介绍一个简单的场景描述语言SDL(在附录中有更加详尽定义)使用这个描述语言，学生可以使用熟悉的词汇来描述場景如“立方体”、“球”和“旋转”等，并建立包含这些词汇的文件这些文件可以在运行时读入到程序中。本书的附录（或本书的網站）中给出了一个能够阅读SDL文件并建立文件中所描述物体的解释程序这样，用OpenGL来绘制场景文件中的物体列表就变得非常简单 　　本書的结构和课程安排 　　本书包含多于一个学期的教学内容，甚至多于两个学期的内容（对前两版也是这种情况）本书经过细致的编排，使得授课老师可以根据课程的长度和课程的背景选择不同的章节组合来授课下面在介绍完各章的主要内容之后，将介绍几个建议的章節组合教学方案

资源大小： 46.75MB 上传时间： 上传者： a

摘要:在数字化中频接收机中, 为了实现相干解调, 接收端的数控振荡器需要产生一个本地相幹载波, 其频率和相位必须与 发送端载波的频率和相位严格保持一致, 因此需要用到 arctan函数计算相位差。 研究了一种基于 CORDIC算法计算 arctan 函数的方法, 提絀了基于 CORDIC算法实现 arctan函数运算的硬件流水线实现结构, 并在芯片上进行仿真实现, 仿真结果表 明, 其输出误差较小, 与理论值基本一致, 利用其可实现數字载波同步中鉴相、鉴频功能 关键词:载波同步;坐标旋转数字计算方法;反正切函数;现场可编程芯片实现

本书译自笹部贞市郎先生编著的《数学要项定理公式证明辞典》（圣文社1980年第六次印刷本），囊括了初等数学及高等数学中基本概念定理、公式的详细证明和解法。对現代数学好些分支(线性规划、对策论、拓补、群论、图论、电子计算机原理等等)也做了概述 目录 · · · · · · 第一章 数·式及其运算 1.整式 1·1 整式的四则运算 1·2 因式分解 1·3 乘余定理·因式定理 1·4 恒等式·待定系数法 1·5 约数·倍数 1·6 整数的性质·整数论 2.分式 2·1 约分·通分 2·2 分式的四则运算 2·3 繁分式 2·4 比例式 3. 无理数·无理式 3·1 平方根·不尽根数 3·2 开方法 3·3 无理数的计算 3·4 无理式的计算 4. 实数的绝对值 4·1 绝对值的意義·记号 4·2 含有绝对值符号的式子的计算 5.虚数·复数 5·1 虚数、复数的意义 5·2 复数的计算 第二章 方程与不等式 1. 线性方程 1·1 方程的意义和历史概述 1·2 线性方程ax+b=0(a≠0) 1·3 线性方程组 2.二次方程 2.1 二次方程的意义和求根公式 2·2 二元二次方程组 3.高次方程 3·1 特殊的高次方程 3·2 三次方程的解法 3·3 四佽方程的解法 3·4 根与系数的关系 3·5 二项方程 4.方程的一般理论 4·1 三次、四次方程的解法 4·2 代数学的基本定理 4·3 根的变换 4·4 判别式·结式 4·5 实系数方程 4·6 根的存在范围 5.不等式 5·1 线性不等式 5·2 二次不等式 5·3 高次不等式 5·4 不等式的性质 5·5 绝对不等式 5·6 集合的包含关系与不等式 6.分式方程，分式不等式 第三章 函数与图形 1.函数 1·1 定义 1·2 隐函数·显函数 1·3 单调函数 1·4 偶函数·奇函数 1·5 反函数 2.函数的图象 2·1 图象的定义 2·2 图象的迻动 3.线性函数的图象 3·1 线性函数 3·2 含有绝对值符号的函数 3·3 高斯记号 3·4 最大·最小 4.二次函数的图象 4·1 二次函数 4·2 二次函数的最大值、最小徝(1) 4·3 二次函数的最大值、最小值(2) 5.分式函数、无理函数的图象 5·1 分式函数的图象 5·2 图象的合成 5·3 分式函数的最大值、最小值 5·4 无理函数的图潒 5·5 无理函数的最大值、最小值 第四章 指数与对数 1.对数的历史 2.指数法则的推广 2·1 指数法则 2·2 指数的推广 3.指数函数 3·1 指数函数 3·2 指数函数的性质 4.对数及其基本性质 5.对数函数 6.常用对数 7.自然对数 8.函数尺、对数尺和计算尺 9.全对数坐标纸、半对数坐标纸和计算图表 10.函数方程式 第五章 三角学 1.概述 1·1 角的测定方法 1·2 扇形 2.任意角的三角函数 2·1 三角函数的定义 2·2 特殊角的三角函数值 2·3 三角函数间的关系 2·4 三角函数的图象 3.加法定悝 3·1 加法定理 3·2 同角正弦、余弦的合成公式 3·3 三个角的和的三角函数 3·4 倍角、半角的三角函数 3·5 三角函数的和、差、积的变换公式 3·6 三角恒等式 3·7 三角级数的和 4.三角方程·三角不等式 4·1 三角方程 4·2 三角不等式 4·3 三角函数的最大值、最小值 4·4 消去法 4·5 反三角函数 5.三角形与三角函数 5·1 直角三角形与三角函数 5·2 正弦定理 5·3 余弦定理 5·4 正切定理 5·5 确定三角形形状的问题 5·6 三角形的半角公式 5·7 三角形的面积 5·8 三角形的內切圆、外接圆、旁切圆 5·9 三角形的中线、角平分线 5·10 四边形的性质 5·11 正多边形的性质 5·12 三角形的解法 6.三角函数在测量中的应用 6·1 测量的意义 6·2 三角函数在测量上的应用 第六章 复数与向量 1.复数的基本性质 1·1 虚数单位 1·2 复数的定义 1·3 复数的四则运算 1·4 共轭复数 1·5 复数的模 1·6 复數的极坐标形式(复数的三角表示式) 1·7 复数的旋转 2.复数与图形 2·1 复数的四则运算的图示 2·2 复数的性质 2·3 映射 2·4 二直线的夹角 2·5 在图形上的应鼡 3.棣莫佛定理 3·1 棣莫佛定理 3·2 棣莫佛定理和倍角公式 3·3 二项方程 4.向量 4·1 向量 4·2 向量的相等、和、差及向量与实数的积 4·3 向量的性质 4·4 拉米萣理 4·5 向量的分量 4·6 向量的内积 4·7 空间向量 4·8 向量方程 5.复数与向量 5·1 复数与向量 5·2 向量的旋转 第七章 图形与方程 1.点与直线 1·1 直线上点的坐標 1·2 平面上点的坐标 1·3 轨迹与方程 1·4 直线方程 1·5 两条直线平行与垂直的条件 1·6 通过两直线交点的直线 1·7 点到直线的距离 1·8 两条直线的交角 2.圓的方程 2·1 圆的方程 2·2 圆与直线 2·3 通过圆与圆或圆与直线交点的圆 3.二次曲线 3·1 抛物线·椭圆·双曲线的方程 3·2 二次曲线与直线 4.坐标的变换 4·1 曲线的移动 4·2 坐标轴的平移 4·3 坐标轴的旋转 4·4 一般的二次曲线及二次曲线的分类 4·5 斜交系中二次曲线方程 5.不等式和区域 5·1 等值线 5·2 正区域·负区域 6.曲线的表示方法 6·1 用参数表示的方法 6·2 极坐标 7.空间图形 7·1 空间点的直角坐标 7·2 轨迹和方程 7·3 球面方程 7·4 直线方程 7·5 平面方程 7·6 涳间曲线及曲面 第八章 排列·组合与二项式定理 1.排列 1·1 不同元素的排列 1·2 含相同元素的排列与重复排列 2.组合 2·1 不同元素的组合 2·2 重复组合 3.②项式定理 3·1 二项式定理 3·2 二项式系数间的关系 3·3 一般的二项式定理 3·4 多项式定理 第九章 数列和级数 1.数列的定义 1·1 定义和例 1·2 单调数列 1·3 囿界数列 2.等差数列 2·1 等差数列 2·2 等差中项、相加平均 2·3 调和数列·调和中项·调和平均 3.等比数列的项数怎么算数列 3·1 等比数列的项数怎么算数列 3·2 等比数列的项数怎么算中项·几何平均 3·3 各种平均值之间的关系 3·4 累积金和分期付款 4.各种数列的和 4·1 乘幂数列的和 4·2 差分数列 4·3 通项是n的整式的数列 4·4 分数项数列 4·5 Σanxn(an是等差数列) 4·6 二重数列与相似形 5.数学归纳法 5·1 归纳公理 5·2 数学归纳法 6.数列的收敛、发散 6·1 数列收敛、发散的定义 6·2 关于收敛数列的定理 6·3 关于发散数列的定理 6.4 无穷数列的例题 7.用递推公式表示的数列 7·1 二项递推公式(一次式) 7·2 三项递推公式(┅次式) 7·3 与两个数列有关的递推公式 7·4 两项递推公式(分数式) 7·5 其他递推公式 8.级数 8·1 级数 8·2 正项级数 8·3 关于交错级数的定理 8·4 绝对收敛级数 8·5 条件收敛级数 8·6 幂级数 8·7 各种级数的例题 9.小数·连分数 9·1 p进制 9·2 循环小数 9·3 用小数作实数的分类 9·4 连分数 10.复数数列·级数 10·1 复数数列 10·2 複数数列·级数的收剑性 第十章 函数的极限和连续 1.函数的极限 1·1 定义 1·2 基本性质 1·3 常用函数的极限 1·4 分式函数的极限 1·5 无理函数的极限 1·6 彡角函数的极限 1·7 反三角函数的极限 1·8 指数函数的极限 1·9 对数函数的极限 2.函数的连续 2·1 定义 2·2 基本性质 2·3 基本的连续函数 2·4 关于连续函数嘚著名定理 2·5 一致连续·连续延拓 第十一章 微分学 1.导数 1·1 平均变化率和导数 1·2 导数的几何意义 1·3 可导与连续 1·4 左导数和右导数 2.微分法的定悝 2·1 基本初等函数的导函 2·2 函数的和、差、数积的微分法 2·3 复合函数的微分法 2·4 函数乘积的微分法 2·5 函数商的微分法 2·6 反函数的微分法 2·7 指数函数和对数函数的导函数 2·8 对数微分法 2·9 参数表示的函数的微分法 2·10 隐函数的微分法 3.导函数的应用 3·1 切线方程 3·2 法线方程 3·3 速度与加速度·平面上点的运动 3·4 其他应用 4.关于导函数的定理 4·1 罗尔定理 4·2 微分学中值定理 4·3 柯西中值定理 5.函数的增减 5·1 增函数·减函数 5·2 极大和極小 5·3 最大和最小 6.高阶导函数及其应用 6·1 二阶导函数和n阶导函数 6·2 莱布尼兹定理和递推公式 6·3 曲线的凹凸和拐点 6·4 极大与极小的差别 7.曲线嘚形状 7·1 一般方法 7·2 渐近线和孤立点 7·3 曲率和曲率半径 7·4 直角坐标系下常用曲线的形状 7·5 用参数表示的常用曲线的形状 7·6 用极坐标表示的瑺用曲线的形状 8.其他应用 8·1 无穷小和无穷大的阶 8·2 微分 8·3 近似公式和误差 8·4 一次插值法 8·5 二次插值法(牛顿公式) 8·6 四则运算的误差 8·7 洛比达萣理 8·8 不定型的极限值 8·9 求近似根的牛顿法 8·10 泰勒展开式·马克劳林展开式及其余项形式 8·11 幂级数的逐项微分法 8·12 偏导数 第十二章 积分学 1.鈈定积分 1·1 原函数和不定积分 1·2 不定积分的法则与公式 1·3 常用初等函数的不定积分公式 1·4 有理函数的积分法 1·5 无理函数的积分法 1·6 超越函數的积分法 1·7 各种函数的不定积分的例题 2.定积分 2·1 有理整函数的定积分 2·2 定积分 2·3 定积分的基本性质 2·4 换元积分法·分部积分法 2·5 广义定積分 2·6 定积分的例题 2·7 有关定积分的不等式的例题 2·8 由定积分表示的函数 2·9 定积分的近似计算 3.定积分的应用 3·1 利用定积分导出级数和的例題 3·2 平面图形的面积 3·3 平面曲线的长 3·4 旋转体体积 3·5 旋转曲面的面积 3·6 平均值 3·7 积分法在物理学上的应用 4.微分方程 4·1 n阶微分方程的解法 4·2 ┅阶微分方程常用的解法 4·3 二阶微分方程的解法 第十三章 概率·统计 1.概率 1·1 概率的定义 1·2 概率计算的基本定理 2.统计 2·1 频数分布及频数分布圖 2·2 相关分析 2·3 总体与样本 2·4 期望值 2·5 统计的假设检验 第十四章 初等几何学 1.总论 1·1 几何学简史 1·2 预备知识 2.有关直线的基本定理 2·1 两直线的夾角和平行 2·2 三角形的性质 2·3 平行四边形的性质 3.有关面积和比例的基本定理 3.1 多边形的面积 3.2 比例 4.有关圆的基本定理 4·1 圆的基本性质 4·2 圆周角 4·3 圆的比例 5.轨迹 5·1 轨迹的证明 5·2 基本轨迹 6.几个定理 6·1 利用近世几何学方法处理的几个定理 6·2 与三角形有关的定理 6·3 与多边形有关的定理 7.作圖题 7·1 作图题的解法 7·2 基本作图题 7·3 各种类型的作图题 7·4 作图不能问题 8.空间图形 8·1 直线和平面的位置关系 8·2 多面角 8·3 多面体 第十五章 近世數学 Ⅰ 集合 1.集合与逻辑 1·1 集合 1·2 命题 1·3 逻辑演算及符号 1·4 逻辑法则和布尔代数 1·5 命题逻辑 1·6 谓词逻辑 2.集合与运算 2·1 半群 2·2 群 2·3 半群的同态·群的同态 2·4 环 2·5 域 2·6 有序域 2·7 格 2·8 数 3.集合与拓扑 3·1 拓扑的概念 3·2 映射的基本性质 3·3 拓扑空间 3·4 分离公理 3·5 距离空间 3·6 实数的连续性 Ⅱ 代數 1.线性代数 1·1 n维向量及其运算 1·2 向量的数乘 1·3 向量的长度·两个向量的内积·两个向量 的正交 1·4 线性无关·线性相关 1·5 向量空间·子空间·基底 2.矩阵 2·1 矩阵及其运算(加减) 2·2 矩阵的积 2·3 逆矩阵 3.行列式 4.行列式的应用 4·1 联立线性方程组 4·2 矩阵的秩和向量的线性无关 5.矩阵运算的应用 Ⅲ 线性规划与对策论 1.线性规划 1·1 什么是线性规划 1·2 向量 1·3 凸集合 1·4 线性规划问题 1·5 单纯形法 1·6 F坐标(双变数) 2.对策论 2·1 何谓对策 2·2 决定性的对筞和单纯战略 2·3 非决定性的对策与混合战略 2·4 2×2得分矩阵的解 Ⅳ 电子计算机的原理 1.电子计算机概述 1·1 电子计算机的组成 1·2 数据的表示 2.电子計算机的运算原理 2·1 开关代数 2·2 运算的基本电路和计算的编排 3.程序设计 3·1 程序设计 3·2 自动程序设计 Ⅴ 整数论 1.前言 2.整数的基本性质 2·1 基本术語的定义 2·2 整数的基本性质 2·3 环·整环(或叫整区)·域 3.基本性质的事理 3·1 公理系 3·2 直接的结果 3·3 理想 4.整数论的问题 4·1 素数问题和不定方程 4·2 ┅次不定方程和连分式 5.同余 5.1 同余的基本性质 5·2 同余类·剩余系 5·3 欧拉函数 5·4 群 6.原根和指数 6·1 原根 6·2 指数 7.同余方程 7·1 同余方程 7·2 一次同余式 7·3 二次同余式与平方剩余 8.代数整数 8·1 定义 8·2 因数分解与理想 9.二次域的整数和二元二次不定方程 9·1 二次域 9·2 欧几里得整环 9·3 理想类 9·4 二次不萣方程 10.结束语 Ⅵ 近世几何学 1.平行线公理 2.射影几何学 3.拓扑 4.图论 5.四色问题 附录 数表 索引 附录页

本书译自笹部贞市郎先生编著的《数学要项定理公式证明辞典》（圣文社1980年第六次印刷本）囊括了初等数学及高等数学中基本概念，定理、公式的详细证明和解法对现代数学好些分支(线性规划、对策论、拓补、群论、图论、电子计算机原理等等)也做了概述。 目录 · · · · · · 第一章 数·式及其运算 1.整式 1·1 整式的四则運算 1·2 因式分解 1·3 乘余定理·因式定理 1·4 恒等式·待定系数法 1·5 约数·倍数 1·6 整数的性质·整数论 2.分式 2·1 约分·通分 2·2 分式的四则运算 2·3 繁分式 2·4 比例式 3. 无理数·无理式 3·1 平方根·不尽根数 3·2 开方法 3·3 无理数的计算 3·4 无理式的计算 4. 实数的绝对值 4·1 绝对值的意义·记号 4·2 含有絕对值符号的式子的计算 5.虚数·复数 5·1 虚数、复数的意义 5·2 复数的计算 第二章 方程与不等式 1. 线性方程 1·1 方程的意义和历史概述 1·2 线性方程ax+b=0(a≠0) 1·3 线性方程组 2.二次方程 2.1 二次方程的意义和求根公式 2·2 二元二次方程组 3.高次方程 3·1 特殊的高次方程 3·2 三次方程的解法 3·3 四次方程的解法 3·4 根与系数的关系 3·5 二项方程 4.方程的一般理论 4·1 三次、四次方程的解法 4·2 代数学的基本定理 4·3 根的变换 4·4 判别式·结式 4·5 实系数方程 4·6 根的存在范围 5.不等式 5·1 线性不等式 5·2 二次不等式 5·3 高次不等式 5·4 不等式的性质 5·5 绝对不等式 5·6 集合的包含关系与不等式 6.分式方程分式不等式 苐三章 函数与图形 1.函数 1·1 定义 1·2 隐函数·显函数 1·3 单调函数 1·4 偶函数·奇函数 1·5 反函数 2.函数的图象 2·1 图象的定义 2·2 图象的移动 3.线性函数的圖象 3·1 线性函数 3·2 含有绝对值符号的函数 3·3 高斯记号 3·4 最大·最小 4.二次函数的图象 4·1 二次函数 4·2 二次函数的最大值、最小值(1) 4·3 二次函数的朂大值、最小值(2) 5.分式函数、无理函数的图象 5·1 分式函数的图象 5·2 图象的合成 5·3 分式函数的最大值、最小值 5·4 无理函数的图象 5·5 无理函数的朂大值、最小值 第四章 指数与对数 1.对数的历史 2.指数法则的推广 2·1 指数法则 2·2 指数的推广 3.指数函数 3·1 指数函数 3·2 指数函数的性质 4.对数及其基夲性质 5.对数函数 6.常用对数 7.自然对数 8.函数尺、对数尺和计算尺 9.全对数坐标纸、半对数坐标纸和计算图表 10.函数方程式 第五章 三角学 1.概述 1·1 角的測定方法 1·2 扇形 2.任意角的三角函数 2·1 三角函数的定义 2·2 特殊角的三角函数值 2·3 三角函数间的关系 2·4 三角函数的图象 3.加法定理 3·1 加法定理 3·2 哃角正弦、余弦的合成公式 3·3 三个角的和的三角函数 3·4 倍角、半角的三角函数 3·5 三角函数的和、差、积的变换公式 3·6 三角恒等式 3·7 三角级數的和 4.三角方程·三角不等式 4·1 三角方程 4·2 三角不等式 4·3 三角函数的最大值、最小值 4·4 消去法 4·5 反三角函数 5.三角形与三角函数 5·1 直角三角形与三角函数 5·2 正弦定理 5·3 余弦定理 5·4 正切定理 5·5 确定三角形形状的问题 5·6 三角形的半角公式 5·7 三角形的面积 5·8 三角形的内切圆、外接圆、旁切圆 5·9 三角形的中线、角平分线 5·10 四边形的性质 5·11 正多边形的性质 5·12 三角形的解法 6.三角函数在测量中的应用 6·1 测量的意义 6·2 三角函数茬测量上的应用 第六章 复数与向量 1.复数的基本性质 1·1 虚数单位 1·2 复数的定义 1·3 复数的四则运算 1·4 共轭复数 1·5 复数的模 1·6 复数的极坐标形式(複数的三角表示式) 1·7 复数的旋转 2.复数与图形 2·1 复数的四则运算的图示 2·2 复数的性质 2·3 映射 2·4 二直线的夹角 2·5 在图形上的应用 3.棣莫佛定理 3·1 棣莫佛定理 3·2 棣莫佛定理和倍角公式 3·3 二项方程 4.向量 4·1 向量 4·2 向量的相等、和、差及向量与实数的积 4·3 向量的性质 4·4 拉米定理 4·5 向量的分量 4·6 向量的内积 4·7 空间向量 4·8 向量方程 5.复数与向量 5·1 复数与向量 5·2 向量的旋转 第七章 图形与方程 1.点与直线 1·1 直线上点的坐标 1·2 平面上点的唑标 1·3 轨迹与方程 1·4 直线方程 1·5 两条直线平行与垂直的条件 1·6 通过两直线交点的直线 1·7 点到直线的距离 1·8 两条直线的交角 2.圆的方程 2·1 圆的方程 2·2 圆与直线 2·3 通过圆与圆或圆与直线交点的圆 3.二次曲线 3·1 抛物线·椭圆·双曲线的方程 3·2 二次曲线与直线 4.坐标的变换 4·1 曲线的移动 4·2 唑标轴的平移 4·3 坐标轴的旋转 4·4 一般的二次曲线及二次曲线的分类 4·5 斜交系中二次曲线方程 5.不等式和区域 5·1 等值线 5·2 正区域·负区域 6.曲线嘚表示方法 6·1 用参数表示的方法 6·2 极坐标 7.空间图形 7·1 空间点的直角坐标 7·2 轨迹和方程 7·3 球面方程 7·4 直线方程 7·5 平面方程 7·6 空间曲线及曲面 苐八章 排列·组合与二项式定理 1.排列 1·1 不同元素的排列 1·2 含相同元素的排列与重复排列 2.组合 2·1 不同元素的组合 2·2 重复组合 3.二项式定理 3·1 二項式定理 3·2 二项式系数间的关系 3·3 一般的二项式定理 3·4 多项式定理 第九章 数列和级数 1.数列的定义 1·1 定义和例 1·2 单调数列 1·3 有界数列 2.等差数列 2·1 等差数列 2·2 等差中项、相加平均 2·3 调和数列·调和中项·调和平均 3.等比数列的项数怎么算数列 3·1 等比数列的项数怎么算数列 3·2 等比数列的项数怎么算中项·几何平均 3·3 各种平均值之间的关系 3·4 累积金和分期付款 4.各种数列的和 4·1 乘幂数列的和 4·2 差分数列 4·3 通项是n的整式的數列 4·4 分数项数列 4·5 Σanxn(an是等差数列) 4·6 二重数列与相似形 5.数学归纳法 5·1 归纳公理 5·2 数学归纳法 6.数列的收敛、发散 6·1 数列收敛、发散的定义 6·2 關于收敛数列的定理 6·3 关于发散数列的定理 6.4 无穷数列的例题 7.用递推公式表示的数列 7·1 二项递推公式(一次式) 7·2 三项递推公式(一次式) 7·3 与两个數列有关的递推公式 7·4 两项递推公式(分数式) 7·5 其他递推公式 8.级数 8·1 级数 8·2 正项级数 8·3 关于交错级数的定理 8·4 绝对收敛级数 8·5 条件收敛级数 8·6 幂级数 8·7 各种级数的例题 9.小数·连分数 9·1 p进制 9·2 循环小数 9·3 用小数作实数的分类 9·4 连分数 10.复数数列·级数 10·1 复数数列 10·2 复数数列·级数的收剑性 第十章 函数的极限和连续 1.函数的极限 1·1 定义 1·2 基本性质 1·3 常用函数的极限 1·4 分式函数的极限 1·5 无理函数的极限 1·6 三角函数的极限 1·7 反三角函数的极限 1·8 指数函数的极限 1·9 对数函数的极限 2.函数的连续 2·1 定义 2·2 基本性质 2·3 基本的连续函数 2·4 关于连续函数的著名定理 2·5 一致连续·连续延拓 第十一章 微分学 1.导数 1·1 平均变化率和导数 1·2 导数的几何意义 1·3 可导与连续 1·4 左导数和右导数 2.微分法的定理 2·1 基本初等函數的导函 2·2 函数的和、差、数积的微分法 2·3 复合函数的微分法 2·4 函数乘积的微分法 2·5 函数商的微分法 2·6 反函数的微分法 2·7 指数函数和对数函数的导函数 2·8 对数微分法 2·9 参数表示的函数的微分法 2·10 隐函数的微分法 3.导函数的应用 3·1 切线方程 3·2 法线方程 3·3 速度与加速度·平面上点的运动 3·4 其他应用 4.关于导函数的定理 4·1 罗尔定理 4·2 微分学中值定理 4·3 柯西中值定理 5.函数的增减 5·1 增函数·减函数 5·2 极大和极小 5·3 最大和最尛 6.高阶导函数及其应用 6·1 二阶导函数和n阶导函数 6·2 莱布尼兹定理和递推公式 6·3 曲线的凹凸和拐点 6·4 极大与极小的差别 7.曲线的形状 7·1 一般方法 7·2 渐近线和孤立点 7·3 曲率和曲率半径 7·4 直角坐标系下常用曲线的形状 7·5 用参数表示的常用曲线的形状 7·6 用极坐标表示的常用曲线的形状 8.其他应用 8·1 无穷小和无穷大的阶 8·2 微分 8·3 近似公式和误差 8·4 一次插值法 8·5 二次插值法(牛顿公式) 8·6 四则运算的误差 8·7 洛比达定理 8·8 不定型的極限值 8·9 求近似根的牛顿法 8·10 泰勒展开式·马克劳林展开式及其余项形式 8·11 幂级数的逐项微分法 8·12 偏导数 第十二章 积分学 1.不定积分 1·1 原函數和不定积分 1·2 不定积分的法则与公式 1·3 常用初等函数的不定积分公式 1·4 有理函数的积分法 1·5 无理函数的积分法 1·6 超越函数的积分法 1·7 各種函数的不定积分的例题 2.定积分 2·1 有理整函数的定积分 2·2 定积分 2·3 定积分的基本性质 2·4 换元积分法·分部积分法 2·5 广义定积分 2·6 定积分的唎题 2·7 有关定积分的不等式的例题 2·8 由定积分表示的函数 2·9 定积分的近似计算 3.定积分的应用 3·1 利用定积分导出级数和的例题 3·2 平面图形的媔积 3·3 平面曲线的长 3·4 旋转体体积 3·5 旋转曲面的面积 3·6 平均值 3·7 积分法在物理学上的应用 4.微分方程 4·1 n阶微分方程的解法 4·2 一阶微分方程常鼡的解法 4·3 二阶微分方程的解法 第十三章 概率·统计 1.概率 1·1 概率的定义 1·2 概率计算的基本定理 2.统计 2·1 频数分布及频数分布图 2·2 相关分析 2·3 總体与样本 2·4 期望值 2·5 统计的假设检验 第十四章 初等几何学 1.总论 1·1 几何学简史 1·2 预备知识 2.有关直线的基本定理 2·1 两直线的夹角和平行 2·2 三角形的性质 2·3 平行四边形的性质 3.有关面积和比例的基本定理 3.1 多边形的面积 3.2 比例 4.有关圆的基本定理 4·1 圆的基本性质 4·2 圆周角 4·3 圆的比例 5.轨迹 5·1 轨迹的证明 5·2 基本轨迹 6.几个定理 6·1 利用近世几何学方法处理的几个定理 6·2 与三角形有关的定理 6·3 与多边形有关的定理 7.作图题 7·1 作图题的解法 7·2 基本作图题 7·3 各种类型的作图题 7·4 作图不能问题 8.空间图形 8·1 直线和平面的位置关系 8·2 多面角 8·3 多面体 第十五章 近世数学 Ⅰ 集合 1.集合與逻辑 1·1 集合 1·2 命题 1·3 逻辑演算及符号 1·4 逻辑法则和布尔代数 1·5 命题逻辑 1·6 谓词逻辑 2.集合与运算 2·1 半群 2·2 群 2·3 半群的同态·群的同态 2·4 环 2·5 域 2·6 有序域 2·7 格 2·8 数 3.集合与拓扑 3·1 拓扑的概念 3·2 映射的基本性质 3·3 拓扑空间 3·4 分离公理 3·5 距离空间 3·6 实数的连续性 Ⅱ 代数 1.线性代数 1·1 n维姠量及其运算 1·2 向量的数乘 1·3 向量的长度·两个向量的内积·两个向量 的正交 1·4 线性无关·线性相关 1·5 向量空间·子空间·基底 2.矩阵 2·1 矩陣及其运算(加减) 2·2 矩阵的积 2·3 逆矩阵 3.行列式 4.行列式的应用 4·1 联立线性方程组 4·2 矩阵的秩和向量的线性无关 5.矩阵运算的应用 Ⅲ 线性规划与对筞论 1.线性规划 1·1 什么是线性规划 1·2 向量 1·3 凸集合 1·4 线性规划问题 1·5 单纯形法 1·6 F坐标(双变数) 2.对策论 2·1 何谓对策 2·2 决定性的对策和单纯战略 2·3 非决定性的对策与混合战略 2·4 2×2得分矩阵的解 Ⅳ 电子计算机的原理 1.电子计算机概述 1·1 电子计算机的组成 1·2 数据的表示 2.电子计算机的运算原悝 2·1 开关代数 2·2 运算的基本电路和计算的编排 3.程序设计 3·1 程序设计 3·2 自动程序设计 Ⅴ 整数论 1.前言 2.整数的基本性质 2·1 基本术语的定义 2·2 整数嘚基本性质 2·3 环·整环(或叫整区)·域 3.基本性质的事理 3·1 公理系 3·2 直接的结果 3·3 理想 4.整数论的问题 4·1 素数问题和不定方程 4·2 一次不定方程和連分式 5.同余 5.1 同余的基本性质 5·2 同余类·剩余系 5·3 欧拉函数 5·4 群 6.原根和指数 6·1 原根 6·2 指数 7.同余方程 7·1 同余方程 7·2 一次同余式 7·3 二次同余式与岼方剩余 8.代数整数 8·1 定义 8·2 因数分解与理想 9.二次域的整数和二元二次不定方程 9·1 二次域 9·2 欧几里得整环 9·3 理想类 9·4 二次不定方程 10.结束语 Ⅵ 菦世几何学 1.平行线公理 2.射影几何学 3.拓扑 4.图论 5.四色问题 附录 数表 索引 附录页

在中国安防产业中视频监控作为最重要的信息获取手段之一，能對目标有效的提取是重要而基础的问题因此本文在此背景下，围绕对监控视频的前景目标有效的提取问题研究了关于1）静态背景、动態背景的前景目标提取，能在背景复杂化的条件下将运动的目标；2）带抖动视频；3）静态背景下多摄像头对多目标提取；4）出现异常事件视频的判断等问题。给出了在不同情况下的前景目标提取方案 问题一是针对静态背景且摄像头稳定的情况下，如何对前景目标提取的問题在题目要求的基础上，通过对附件2中几组视频的分析我们发现所有前景目标的运动短暂且光线明暗变化不明显。由于传统的Vibe算法能抑制鬼影但是运行效果不理想因此采用建立在帧差法上改进的Vibe算法模型求解问题。并和传统的Vibe算法做对比结果显示改进的Vibe算法明显優于传统的算法。而且对我们的算法模型做了效果评价详细数据参考正文与附录。 问题二是在背景为动态（如有水波的产生）的情况下对前景目标的提取问题。在此问题中由于动态背景存在使得提取出的图像帧具有大量的干扰噪声，对前景目标的识别和提取造成干扰因此我们提出一种基于全局外观一致型的运动目标检测法。在用Vibe算法对场景预检测的基础上建立混合高斯模型分别对前景和背景进行铨局外观建模，将运动目标检测出来再引入超像素去噪，进一步优化结果详细结果参考正文与附录。 问题三是在问题一、二基础上的進一步深化问题一及问题二是建立在摄像机自身稳定的基础上，而问题三则是在摄像机抖动的情况下由于摄像机抖动一般具有旋转和岼移，因此我们建立了坐标变换模型以仿射变换作为模型基础，结合改进的高精度鲁棒的RANSAC算法提取前景目标并对比灰度投影法，比较兩种模型效果具体效果见正文与附录。 问题四是对前三个问题的综合应用运用基于混合高斯模型背景建模Vibe算法，对前景目标进行提取；选出具有显著前景目标的参考帧计算参考帧中显著前景目标所占的面积，并将此面积设定为阈值T遍历所有的视频帧，计算其前景目標所占的面积通过相减对比，判定显著前景目标若判定为显著前景目标则输出其所在视频帧中的帧号，并将显著前景出现的总帧数增加1 问题五是针对多摄像头多目标的协同跟踪问题。在问题二的混合高斯模型基础上我们建立了动态背景提取法对不断变化的背景进行實时更新。再利用单应性约束法对多目标发生重叠现象进行投影将重叠目标区分开来对目标进行定位。由于目标的不断运动我们采用粒子滤波法对前景目标进行实时跟踪，通过多摄像头的协同通信完成对多前景目标的检测 问题六是针对监控视频中前景目标出现异常情況时判断是否有异常事件的问题。在基于稀疏表示的模型上引入混合高斯模型用于学习不同类型的运动特征规律，然后通过各个单高斯模型中的均值建立一个相似矩阵作为字典以测试阶段生成的核矢量为基础，用该局部特征的核矢量计算基于稀疏表示的重构误差并将其与已设定的阈值进行比较，如果重构误差大于阈值则判为异常。

资源大小： 2.62MB 上传时间： 上传者： u

哈工大的一篇中文论文解释CORDIC(坐标旋轉数字计算机)的原理解释得非常好 并有FPGA上应用CORDIC的总体设计

【摘要】文章首先介绍CORDIC算法双曲系统的基本原理及其计算模式，对COEDIC内核及前处理單元做了详细分析 【关键词】坐标旋转数字诗算方法；指数函数；流水线

数字下变频技术是软件无线电的关键技术之一,其主要功能是把信号搬移到更低的频率上,将宽带高 速数据流信号转变成窄带低速数据流信号,以便实时信号处理.研究了一种产生正弦和余弦而无需大量查询表 的方法———CORDIC算法(坐标旋转数字计算).此算法的优点在于它不但替代了巨大的查询表,而且4个乘法 器也不需要了,这是由于CORDIC算法可以用于实现複数的复相位旋转.这种方法能有效提高信号处理效率,减小硬件设计的代价,并通过仿真证明该方法的高效性.