完整版全国大学生数学建模竞赛常用建模方法探讨毕业论文.docx
《完整版全国大学生数学建模竞赛常用建模方法探讨毕业论文.docx》由会员分享,可在线阅读,更多相关《完整版全国大学生数学建模竞赛常用建模方法探讨毕业论文.docx(19页珍藏版)》请在冰豆网上搜索。
完整版全国大学生数学建模竞赛常用建模方法探讨毕业论文
邯郸学院本科毕业论文
题目全国大学生数学建模竞赛常用建模方法探讨
学生柴云飞
指导教师闫峰教授
年级2009级
专业数学与应用数学
二级学院数学系
(系、部)
邯郸学院数学系学院(系、部)
2013年5月
郑重声明
本人的毕业论文(设计)是在指导教师闫峰的指导下独立撰写完成的。
如有剽窃、抄袭、造假等违反学术道德、学术规范和侵权的行为,本人愿意承担由此产生的各种后果,直至法律责任,并愿意通过网络接受公众的监督。
特此郑重声明。
毕业论文(设计)作者(签名):
年月日
全国大学生数学建模竞赛常用建模方法探讨
摘 要
关键词:
数学建模竞赛初等方法建模方法微分方程图论线性规划
CommonlyusedmodelingmethodoftheNationalMathematicalContestinModeling
ChaiyunfeiDirectedbyProfessorYanfeng
Abstract
KEYWORDS:
mathematicalcontestelementarymethodmodelingmethoddifferentialequationsgraphtheorylinearprogramming
目录
全国大学生数学建模竞赛常用建模方法探讨I
前 言1
1初等数学建模方法2
1.1走路问题2
1.2银行复利问题3
2微分方程建模方法5
2.1微分方程建模原理和方法5
2.2人才分配问题模型7
3差分和代数建模方法8
3.1Malthus人口模型8
3.2线性差分方程的解法9
4数据差值与拟合方法10
4.1拉格朗日插值法11
4.2最小二乘法12
5线性规划建模方法14
5.1线性规划的一般理论14
5.2合理下料问题16
6图论建模方法17
6.1图论的基本概念和简单的图论模型17
6.2最短轨道问题18
6.3求最小生成树18
6.4模拟退火法原理19
6.5应用举例19
参考文献21
附 录22
致 谢23
前 言
全国大学生数学建模竞赛创办于1992年,每年一届,目前已成为全国高校规模最大的基础性学科竞赛,也是世界上规模最大的数学建模竞赛。
竞赛题目一般来源于工程技术和管理科学等方面经过适当简化加工的实际问题,不要求参赛者预先掌握深入的专门知识,只需要学过高等学校的数学课程。
题目有较大的灵活性供参赛者发挥其创造能力。
参赛者应根据题目要求,完成一篇包括模型的假设、建立和求解、计算方法的设计和计算机实现、结果的分析和检验、模型的改进等方面的论文。
赛题一般涉及面宽--有社会,经济,管理,生活,环境,自然现象,工程技术,现代科学中出现的新问题等。
一般都有一个比较确切的现实问题。
本文将主要介绍一些常用的数学建模方法,包括初等数学建模方法、微分方程建模方法、差分和代数建模方法、数据差值与拟合方法、线性规划建模方法、图论建模方法等。
1初等数学建模方法
在数学建模竞赛中,常会涉及到初等数学建模方法。
对于一些机理简单的问题,常常应用静态、线性或逻辑的方法即可建立模型,使用初等数学方法或简单的微积分知识即可求解,此类模型称之为初等数学模型。
初等数学建模方法很多,有比例关系、状态转移、量纲分析、类比建模等。
本章主要列举了走路问题与银行复利问题,问题中涉及到了一些方法,通过这些知识方法的巧妙应用,可以开拓思路,提高分析解决实际问题的能力。
1.1走路问题
人在匀速行走时,步行多大最省劲?
把人行走时做的功看作是人体重心的势能和两脚运动的动能之和。
试在此基础上,建立数学模型并对所得结果进行评价。
设人体重M,腿重为,腿长为,步长为,速度为,单位时间内步数为n.则
由已知,人行走时所作的功是抬高人体重心所需势能与两腿运动所需动能之和。
①计算人体重心升高的势能
将人的行走简化,设重心升高为h,则
当较小时,取泰勒公式展开式前两项,得
于是单位时间内重心升高所需势能为
②计算腿运动的动能
如果将行走视为腿(均为直径)绕腰部的转动,则单位时间的动能为
E=In
其中I为转动惯量,I===l=l
为角速度,=,m≈l.所以
E=·l·=mv=
于是单位时间行人行走所作的功为
P=E+E=+
这是一个数学模型,问题转化为欲求:
x为多大时,P最小。
在⑴中,求P的驻点,令=0,解得x=v·。
由nx=v,得
n=
若取M:
m=4:
1,代入且近似取l=1(米),可得n≈5,即每秒5步,显然太快了,
模型修改:
是腿重集中在脚上,人行走所需动能为脚的直线运动的动能,则有=mv·n=,
其中=+,
同上解得=≈3.这比较符合实际。
1.2银行复利问题
一个人为了积累养老金,他每月按时到银行存100元,银行的年利率2﹪,且可以任意分段按复利计算。
试问此人5年后共积累了多少养老金?
如果存款和复利按日计算,则他又有多少养老金?
如果复利和存款连续计算呢?
试建立数学模型并求解。
①按月存款和利息时,每月的利息为×=
记x为第k月末时的养老金数,则由题意得
x=100
x=100+100·(1+)
x=100+100·(1+)+100·(1+)
………
x100+100·(1+)+…+100·(1+)
五年末养老金为
x=100×=60000-1元≈6629.9元
②当复利和存款按日计算时,记y为第k天的养老金数,则每天的存款额为a=,每天的利率为r=.第k+1天的养老金数量与第k天的养老金数量的关系为
y=+y·(1+r)=+y(1+)
从第一天开始递推为
y=a
y=a+a(1+r)
y=a+a(1+r)+a(1+r)
………
y=a+a(1+r)+a(1+r)+…+a(1+r)=a=-1
在5年末时的养老金数为:
(5年=5×365=1825)
y=-1=××-1≈6614.68元
③当存款和复利连续计算时,将1年分成m个相等的时间区间,则在每个时间区间中,存款为,每个区间的利息为,记第k个区间养老金的数目为z,类似与前面分析,5年后养老金为
z=·=·
=60000(元)=60000
令m,即得连续存款和利息时,5年后的养老金为:
Z=60000=60000(e-1)元≈6642.08元
观察这三种不同情况下复利的计算问题,可以看出,将1年份为m等份,得出的计算公式⑴具有一般性。
当m分别取12和365时,就是前两种情况下的计算公式。
另外,是m的单调函数,所以计算间隔越小,5年后的养老金数就越多,但不会超过连续存款和计息的极限值。
由于存款和计息的间隔越小时,收益越大,且不需要一次到银行存较多的现金而是分批逐渐存入,对投资者的资金周转有利,所以在银行按复利计算时,建议存款者尽量采用小间隔的策略。
2微分方程建模方法
在大多赛题中,要直接找出某些量之间的关系往往比较困难,但有时考虑其微小增量或变化率与这些变量之间的关系确是容易的,这种情形下我们常常采用微分关系式去描述其关系。
2.1微分方程建模原理和方法
一般来说,任何事变问题中随时间变化发生变化的量与其它一些量之间的关系经常以微分方程的形式来表现。
看这样一个问题:
有一容器装有某种浓度的溶液,以流量v注入该容器浓度为c的同样溶液,假定溶液立即被搅拌均匀,并以v的流量流出混合后的溶液,试建立反映容器内浓度变化的数学模型。
注意到
溶液浓度=
因此,容器中溶液浓度会随溶质质量和溶液体积变化而发生变化。
不妨设t时刻容器中溶质质量为s(t),初始值为s,t时刻容器中溶液体积为V(t),初始值为V,则这段时间内有
(1)
其中,c表示单位时间内注入溶液的浓度,c表示单位时间内流出溶液的浓度,当△t很小时,在内
c≈=
(2)
对式
(1)两端同除以,令→0,则有
(3)
此即问题的数学模型。
它是针对液体溶液变化建立的,但它对气体和固体浓度变化同样适用。
实际中,对面许多时变问题都可取微小的时间段去考察某些量之间的变化规律,从而建立问题的数学模型,这是数学建模中微分建模常用手段之一。
通过对上述例子的了解,下面介绍几种常用微分方程建模方法。
(1)按实验定律或规律建立的微分方程模型。
刺激按摩充分依赖于各个学科领域中有关实验定律或规律以及某些重要的已知定理。
此法建模要求建模者有宽广的知识视野才能对耨写具体问题采用某些熟知的实验定律。
(2)分析微元变化规律建立微分方程模型。
求解某些实际问题时,寻求一些微元之间的关系可以建立问题的数学模型。
如上述问题中考察时间微元,从而建立的反应溶液浓度随时间变化的模型。
此建模方法的出发点是考察某一变量的微小变化,即微元分析,找出其他一些变量与该微元间的关系式,从微分定义出发建立问题的数学模型。
(3)近似模拟法。
在许多实际问题中,有些现象的规律性并非一目了然,或有所了解亦是复杂的,这类问题常用近似模拟方法来建立问题的数学模型。
一般通过一定的模型假设近似模拟实际现象,将问题做某些规范化处理后建立微分方程模型,然后分析,求解再与实际问题作比较,,观察模型能否近似刻画实际现象。
近似模拟法建模思路是建立能够近似刻画或反映实际现象的数学模型,因此在建模过程中经常做一些较合理的模型假设使问题简化,然后通过简化建立近似反映实际问题的数学模型
2.2人才分配问题模型
每年大学毕业生中都要有一定比例的人员留在学校充实教师队伍,其余人员将分配到国民经济其他部门从事经济和管理工作.设t年教师人数为科学技术和管理人员数目
为又设1外教员每年平均培养个毕业生,每年人教育、科技和经济管理岗位退休、死亡或调出人员的比率为表示每年大学生毕业生中从事教师职业所占比率于是有方程
(1)
(2)
方程
(1)有通解
(3)
若设则于是得特解
(4)
将(4)代入
(2)方程变为
(5)
求解方程(5)得通解
(6)
若设则于是得特解
(7)
(4)式和(7)式分别表示在初始人数分别为情况,对应于的取值,在t年教师队伍的人数和科技经济管理人员人数.从结果看出,如果取即毕业生全部留在教育界,则当时,由于必有而说明教师队伍将迅速增加.而科技和经济管理队伍不断萎缩,势必要影响经济发展,反过来也会影响教育的发展.如果将接近于零.则同时也导致说明如果不保证适当比例的毕业生充实教师选择好比率,将关系到两支队伍的建设,以及整个国民经济建设的大局.
3差分和代数建模方法
在一些问题中,许多数据都是以等间隔时间周期统计的。
例如,银行中的定期存款是按设定的时间等间隔计息,外贸出口额按月统计,国民收入按年统计,产品的产量按月统计,等等。
这些量是变量,通常这些变量为离散型变量。
描述离散型变量之间的关系的数学模型为离散型模型。
对取值是离散化的经济变量,差分方程是研究他们之间变化规律的有效方法。
3.1Malthus人口模型
1798年.英国人口学家和政治经济学家马尔萨斯以两个假设为前提:
第一,食物为人类生存所必须;第二,人的性本能几乎无法限制,提出了闻名于世的人口指数增长模型,即Malthus人口模型:
人口总数为,人口的出生率为b,死亡率为d。
任取时段【,+】,在此时段中的出生人数为b,死亡人数为d。
假设出生数及死亡数与及均成正比,而且以矩形取代了曲边梯形的面积。
在时段【,+】中,人口增加量为-≈d,它应等于此时段中的出生人数与死亡人数之差,即
d=b-d=,
其中=b-d称为人口的净增长率。
于是满足微分方程
=.
(1)
若已知初始时刻=0时的人口总数为p0,那么还满足初始条件
=0时,=p0.
(2)
可以求得微分方程
(1)满足初始条件
(2)的解为(设是常数)
=p0e,(3)
即人口总数按指数增长。
模型参数的意义和作用:
0为初始时刻(初始年度),p0为初始年度0的人口总数,为每年的人口净增长率,b为人口出生率,d为人口死亡率。
Malthus人口模型所说的人口并不一定限于人,可以是认可一个生物群体,只要满足类似的性质即可。
3.2线性差分方程的解法
方程
(1)
其中为常数,称方程
(1)为常系数线性方程。
又称方程
(2)
为方程
(1)对应的齐次方程。
如果
(2)有形如的解,带入方程中可得:
(3)
称方程(3)为方程
(1)、
(2)的特征方程。
显然,如果能求出(3)的根,则可以得到
(2)的解。
基本结果如下:
① 若(3)有k个不同的实根,则
(2)有通解:
,
② 若(3)有m重根,则通解中有构成项:
③若(3)有一对单复根 ,令:
,,则
(2)的通解中有构成项:
④若有m重复根:
,,则
(2)的通项中有成项:
综上所述,由于方程(3)恰有k个根,从而构成方程
(9)的通解中必有k个独立的任意常数。
通解可记为:
如果能得到方程
(1)的一个特解:
,则
(1)必有通解:
+ (11)
(1) 的特解可通过待定系数法来确定。
例如:
如果为n的多项式,则当b不是特征根时,可设成形如形式的特解,其中为m次多项式;如果b是r重根时,可设特解:
,将其代入(8)中确定出系数即可。
4数据差值与拟合方法
在生产实践和科学研究中,常常有这样的问题:
由实验或测量得到变量间的一批离散样点,要求由此建立变量之间的函数关系或得到样点之外的数据。
与此有关的一类问题是当原始数据精度较高,要求确定一个初等函数(一般用多项式或分段多项式函数)通过已知各数据点(节点),即,或要求得函数在另外一些点(插值点)处的数值,这便是插值问题。
4.1拉格朗日插值法
数据建模有两大方法:
一类是插值方法,另一类是拟合函数一般的说,插值法比较适合数据准确或数据量小的情形。
然而Lagrange插值有很多种,1阶,2阶,…n阶。
我们可以利用拉格朗日插值求方程,根据它的程序求原方程的图像。
下面我具体介绍分析一下拉格朗日插值的算法设计及应用。
已知函数y=f(x)在若干点的函数值=(i=0,1,,n)一个差值问题就是求一“简单”的函数p(x):
p()=,i=0,1,,n,
(1)
则p(x)为f(x)的插值函数,而f(x)为被插值函数会插值原函数,,,,...,为插值节点,式
(1)为插值条件,如果对固定点求f()数值解,我们称为一个插值节点,f()p()称为点的插值,当[min(,,,...,),max(,,,...,)]时,称为内插,否则称为外插式外推,特别地,当p(x)为不超过n次多项式时称为n阶Lagrange插值。
①线性插值公式:
设已知,及=f(),=f(),为不超过一次多项式且满足=,=,几何上,为过(,),(,)的直线,从而得到
=+(x-).
(2)
为了推广到高阶问题,我们将式
(2)变成对称式
=(x)+(x).
其中,
(x)=,(x)=。
均为1次多项式且满足
(x)=1且(x)=0。
或(x)=0且(x)=1。
两关系式可统一写成=。
(3)
②n阶Lagrange插值公式:
设已知,,,...,及=f()(i=0,1,.....,n),为不超过n次多项式且满足(i=0,1,...n).
易知=(x)+....+.
其中,均为n次多项式且满足式(3)(i,j=0,1,...,n),再由(ji)为n次多项式的n个根知=c.最后,由
c=,i=0,1,...,n.
总之,=,=式为n阶Lagrange插值公式,其中,(i=0,1,...n)称为n阶Lagrange插值的基函数。
4.2最小二乘法
在两个观测量中,往往总有一个量精度比另一个高得多,为简单起见把精度较高的观测量看作没有误差,并把这个观测量选作x,而把所有的误差只认为是y的误差。
设x和y的函数关系由理论公式
y=f(x;c1,c2,……cm)(0-0-1)
给出,其中c1,c2,……cm是m个要通过实验确定的参数。
对于每组观测数据(xi,yi)i=1,2,……,N。
都对应于xy平面上一个点。
若不存在测量误差,则这些数据点都准确落在理论曲线上。
只要选取m组测量值代入式(0-0-1),便得到方程组
yi=f(x;c1,c2,……cm)(0-0-2)
式中i=1,2,……,m.求m个方程的联立解即得m个参数的数值。
显然N在N>m的情况下,式(0-0-2)成为矛盾方程组,不能直接用解方程的方法求得m个参数值,只能用曲线拟合的方法来处理。
设测量中不存在着系统误差,或者说已经修正,则y的观测值yi围绕着期望值摆动,其分布为正态分布,则yi的概率密度为
式中是分布的标准误差。
为简便起见,下面用C代表(c1,c2,……cm)。
考虑各次测量是相互独立的,故观测值(y1,y2,……cN)的似然函数
.
取似然函数L最大来估计参数C,应使
(0-0-3)
取最小值:
对于y的分布不限于正态分布来说,式(0-0-3)称为最小二乘法准则。
若为正态分布的情况,则最大似然法与最小二乘法是一致的。
因权重因子,故式(0-0-3)表明,用最小二乘法来估计参数,要求各测量值yi的偏差的加权平方和为最小。
根据式(0-0-3)的要求,应有
从而得到方程组
(0-0-4)
解方程组(0-0-4),即得m个参数的估计值,从而得到拟合的曲线方程。
然而,对拟合的结果还应给予合理的评价。
若yi服从正态分布,可引入拟合的x2量,
(0-0-5)
把参数估计代入上式并比较式(0-0-3),便得到最小的x2值
(0-0-6)
可以证明,服从自由度v=N-m的x2分布,由此可对拟合结果作x2检验。
由x2分布得知,随机变量的期望值为N-m。
如果由式(0-0-6)计算出接近N-m(例如),则认为拟合结果是可接受的;如果,则认为拟合结果与观测值有显著的矛盾。
5线性规划建模方法
线性规划建模方法主要用于解决生活、生产中的资源利用、人力调配、生产安排等问题,它是一种重要的数学模型。
线性规划是运筹学中研究较早、发展较快、应用广泛、方法较成熟的一个重要分支,它是辅助人们进行科学管理的一种数学方法,研究线性约束条件下线性目标函数的极值问题的数学理论和方法。
5.1线性规划的一般理论
一般的优化问题是指用“最好”的方式,使用或分配有限的资源即劳动力、原材料、机器、资金等,使得费用最小或利润最大。
优化模型的一般形式为:
min(或max)z=f(x)
(1)
s.tg(x)≤0.(i=1,2,…,m)
(2)
(x=(x,x,…,x))
由
(1)、
(2)组成的模型属于约束优化。
若只有
(1)式就是无约束优化。
f(x)称为目标函数,g(x)≤0称为约束条件。
在优化模型中,如果目标函数f(x)和约束条件g(x)都是线性函数,则该模型称为线性规划。
实际问题的线性规划模型的步骤:
第一步:
设置要求解的决策变量。
决策变量选取得当,不仅能顺利地建立模型而且能方便地求解,否则很可能事倍功半。
第二步:
找出所有的限制,即约束条件,并用决策变量的线性方程或线性不等式来表示。
当限制条件多,背景比较复杂时,可以采用图示或表格形式列出所有的已知数据和信息,从而避免“遗漏”或“重复”所造成的错误。
第三步:
明确目标要求,并用决策变量的线性函数来表示,标出对函数是取极大还是取极小的要求。
决策变量的非负要求可以根据问题的实际意义加以确定。
需要特别说明的是:
要使用线性规划方法来处理一个实际问题,必须具备下面的条件:
1.优化条件---问题的目标有极大化或极小化的要求,而且能用决策变量的线性函数来表示。
2选择条件---有多种可供选择的可行方案,以便从中选取最优方案。
3限制条件---达到目标的条件是有一定限制的(比如,资源的供应量有限度等),而且这些限制可以用决策变量的线性等式或线性不等式表示出来。
此外,描述问题的决策变量相互之间应有一定的联系,有可能建立数学关系,即这些变量之间是内部相关的,这一点自然是不言而喻的。
为了便于研究线性规划问题的理论与一般解法,人们需要将任意一个线性规划问题化为标准形式。
n个变量的线性规划问题的标准形式为:
Max
(1)
(2)
≥0(是的常数) (3)
线性规划问题的标准形式:
简记“LP”问题
可通过以下手段将线性规划问题的一般形式转化为标准形式:
1、目标函数转化若问题的目标函数是求其极小值,即求:
Minz=cx+cx+…+cx
则可转化为求极大值问题,即求:
max=-z=-(cx+cx+…+cx)
2、约束条件转换如果某一约束条件是线性不等式
或(),
则通过引入松弛变量x0,将它转化为
(或,其中的也称为剩余变量)0
反之,若有必要,也可等式约束
等价的转化为两个不等式约束,即或
3、变量的转换若某个变量的约束条件为(或)则可令
(或),变为非负变量
若某个变量无非负限制(称为自由变量),则可令
代入原问题,将自由变量替换掉。
5.2合理下料问题
假定有一批某种型号的圆钢长8厘米,需要截成2.5厘米的毛坯100根,长1.3厘米的毛坯200根,问应该怎样选择下料方式才能既满足需要又使总用料最少?
根据经验,可将各种可能的方案列出来,
解设决策变量()表示第种方式所用的原材料根数,则问题的数学模型可归结为:
求(),使得
结果为:
注:
此问题结果不唯一,即可有多种方案,将结果应用到实际,由实际情况所限(根数为整数)也有多种选择,但最少用67根。
考虑:
还有没有其他标准?
可以使切割后剩余的总余料最少。
此时,相应的模型应为什么?
这类问题的一般提法是:
设某种原材料截取零件为的毛坯,由以往的经验,在一件原材料上可以有种不同的下料方式,每种下料方式可截得各种毛坯的个数以及每种零件的需要量已经给出。
问应如何下料,才能既满足需要又使原材料消耗最少?
另外,还有“合理配料问题”、“食谱问题”等也可归结为类似形式。
6图论建模方法
图论作为离散数学的一个重要分支,在工程技术、自然科学和经济管理中的许多方面都能提供有力的数学模型来解决实际问题,所以吸引了很多研究人员去研究图论中的方法和算法。
应该说,我们对图论中的经典例子或多或少还是有一些了解的,比如,哥尼斯堡七桥问题、中国邮递员问题、四色定理等等。
图论方法已经成为数学模型中的重要方法。
许多难题由于归结为图论问题被巧妙地解决。
而且,从历年的数学建模竞赛看,出现图论模型的频率极大,比如:
AMCM90B-扫雪问题;
AMCM91B-寻找最优Steiner树;
AMCM92B-紧急修复系统的研制(最小生成树)
AMCM94B-计算机传输数据的最小时间(边染色问题)
CMCM93B-足球队排名(特征向量法)
CMCM94B-锁具装箱问题(最大独立顶点集、最小覆盖等用来证明最优性)
CMCM98B-灾情