第一讲、课程的总体教学安排、常微分方程和解的定义与例子 第二讲、微分方程解的几何解释、存在和唯一性、实际模型的推导 第三讲、初等积分法：恰当方程与积分因子 第四讲、初等积分法：积分因子的性质和例子 第五讲、初等积分法：几类可转化为恰当方程的方程 第六讲、线性微分方程的常数变易法与一阶隐式方程的解法-1 第七讲、一阶隐式微分方程-2、高阶微分方程的解法与Mathematica 第八讲、存在唯一性证明：距离空间和压缩映射原理 第九讲、压缩映射原理与存在唯一性证明 第十讲、解的存在性：Peano定理 第十一讲、Peano定理续、解对初值和参数的连续依赖性 第十二讲、释疑、探究与习题二 第十三讲、高阶微分方程和方程组：解的存在、唯一、连续可微性 第十四讲、解析微分方程的解析解 第十五讲、微分方程可积理论：首次积分的存在与判定 第十六讲、首次积分之间的关系、与通解的联系 第十七讲、前沿、探索与习题三 第十八讲、线性微分方程组：解的存在区间与通解的结构

前面讨论了参数的点估计,它是用样本算出的一个值去估计未知参数即点估计值仅仅 是未知参数的一个近似值,它没有给出这个近似值的误差范围 例如,在估计某湖泊中鱼的数量的问题中,若根据一个实际样本,利用最大似然估计法 估计出鱼的数量为50000条,这种估计结果使用起来把握不大实际上鱼的数量的真值可 能大于50000条,也可能小于50000条且可能偏差较大 若能给出一个估计区间,让我们能较大把握地(其程度可用概率来度量之)相信鱼的数量 的真值被含在这个区间内,这样的估计显然更有实用价值

本章前四节所介绍的各种检验法,是在总体分布类型已知的情况下,对其中的未知参数 进行检验,这类统计检验法统称为参数检验.在实际问题中,有时我们并不能确切预知总仁 服从何种分布,这时就需要根据来自总体的样本对总体的分布进行推断,以判断总体服从何 种分布.这类统计检验称为非参数检验.解决这类问题的工具之一是英国统计学家K.皮尔 逊在1900年发表的一篇文章中引进的一x2检验法,不少人把此项工作视为近代统计学 的开端

对应的思想与方法贯穿本节的核心基数的概念可数 集的讨论都要用的一一对应的方法证明两个不同的集对等,从而具有相 同的基数,特别地,要证明一个集是可数集,有时需要一定的技巧,因而 具有一定的难度,通过较多的例题和习题,使学生逐步掌握其方法和技巧 映射在数学分析课程中我们对函数已经很熟悉.在数学分析中函数的定义域通常是 R\的子集,值域是实数集或者复数集.若将函数的定义域和值域换成一般的集,就得到映 射的概念

在人们的生产实践中,经常会遇到如何利用现有资源来安排生产,以取得最大经济 效益的问题。此类问题构成了运筹学的一个重要分支一数学规划,而线性规划( Linear Programming简记LP)则是数学规划的一个重要分支。自从1947年G.B. Dantzig提出 求解线性规划的单纯形方法以来,线性规划在理论上趋向成熟,在实用中日益广泛与深 入。特别是在计算机能处理成千上万个约束条件和决策变量的线性规划问题之后,线性 规划的适用领域更为广泛了,已成为现代管理中经常采用的基本方法之一

在给定了一个测度空间以后,由定义在这个空间上的一个函数可以自然地产生出各 种各样的集.为用测度论的方法研究这个函数我们自然要求这些集是可测的.由此产生 了可测函数的概念在定义积分时候,对被积函数的一个基本要求就是这个函数必须是可 测的我们将看到可测函数是一类很广泛的函数.特别地,欧氏空间R上的 Lebesgue可 测函数是比连续函数更广泛的一类函数.而且可测函数类对极限运算是封闭的,这将使我 们在讨论积分的时候更加便利

为保持国家能源安全，我国油气开发领域在常规油气藏维持产量进行剩余油挖潜的基础上，积极推进非常规油气资源的勘探与开发.致密油藏地质勘探资源储量高，但储层条件差，油水关系复杂制约着其大规模高效开发.虽然我国已经在低渗-超低渗油藏的开发中积累了大量的经验并取得了丰硕的成果，但致密油藏无论从开发规模还是理论研究都处于起步阶段，急需借鉴和开展适用于致密油藏的开发方法与渗流机理研究.本文首先概述了致密油藏的资源分布、地质特点与开发现状.在此基础上介绍了致密油藏开发方法并抽提了4类基本科学问题，围绕基本科学问题系统论述了相应的流动规律以及数学模型理论研究进展，并针对各问题提出了未来发展趋势，为促进我国致密油开发提供一定的指导意义

为提高无法准确建立数学模型的非线性约束单目标系统优化问题的寻优精度,并考虑获取样本的代价,提出一种基于支持向量机和免疫粒子群算法的组合方法(support vector machine and immune particle swarm optimization,SVM-IPSO).首先,运用支持向量机构建非线性约束单目标系统预测模型,然后,采用引入了免疫系统自我调节机制的免疫粒子群算法在预测模型的基础上对系统寻优.与基于BP神经网络和粒子群算法的组合方法(BP and particle swarm optimization,BP-PSO)进行仿真实验对比,同时,通过减少训练样本,研究了在训练样本较少情况下两种方法的寻优效果.实验结果表明,在相同样本数量条件下,SVM-IPSO方法具有更高的优化能力,并且当样本数量减少时,相比BP-PSO方法,SVM-IPSO方法仍能获得更稳定且更准确的系统寻优值.因此,SVM-IPSO方法为实际中此类问题提供了一个新的更优的解决途径

为了解决飞机移动生产线中多并行作业物料的供给问题，构建了飞机移动生产线物料配送与线边存储集成决策的模型并设计了求解算法.在物料组批和小车调度的基础上，引入了物料在线边空间的存储决策，建立了以小车出行趟数最小化为目标的数学模型并设计了一种以免疫算法为框架的启发式算法.在免疫算法较优的全局搜索能力下，综合考虑小车的配送能力与线边空间的重复使用、共享等因素，使用反向动态小车调度算法和物料存储前瞻算法对物料的组批方式、配送时刻和在线边的存放位置三类变量联合进行决策.对提出的算法进行了数值实验，实验结果证明了模型与算法的有效性

将齿轮的轧制成形与传统的楔横轧原理相结合,在轧制成形轴类零件的同时实现齿形部分的轧制成形,不仅可以实现齿轮轴零件的近净成形,而且可以提高齿的承载能力及使用寿命.在轧制齿形部分的过程中,对轧件的进给采用分段阶梯式进给方式,轧件在模具的带动下以自由分度方式进行轧制.通过数学模型和实验,给出了轧制各阶段模具齿距的计算方法和变化规律、模具的齿形设计方法、模具对轧件首次分度时最小进给量的计算方法以及轧制各阶段进给量的变化规律.用De-form-3D数值模拟仿真软件模拟轧制过程,在H630轧机上轧制出模数m=2,齿数z=20,压力角a'=20°的齿轮轴上的齿形,实验证明在楔横轧机上轧制齿轮轴上的齿形是可行的