《数学建模简明教程(党林立)lf0912第1章》由会员分享,可在线阅读,更多相关《数学建模简明教程(党林立)lf0912第1章(57页珍藏版)》请在金锄头文库上搜索。
1、,第一章 数学模型概论,1.1 数学与数学模型 1.2 数学建模的方法与步骤 1.3 数学建模示例 1.4 数学建模竞赛,我们生活在丰富多彩、千变万化的现实世界里,而世界上一切事物都是按照一定的客观规律运动、变化着.事物之间彼此相互联系和制约,其间必然蕴涵着一定的数量关系.数学是研究现实世界的空间形式和数量关系的科学.随着科技的迅猛发展,数学应用已从传统的物理、力学、电磁学等工程技术领域,深入到科技、经济、金融、信息、材料、环境等社会生活的各个领域,,1.1 数学与数学模型,特别是并行计算、网络等计算机技术与数学的结合,使数学如虎添翼,由一门理论学科发展成为一种数学技术,成为高新技术的基础,在
2、各领域发挥着越来越重要的作用. 从小学、中学到大学,我们做过的很多数学应用题,已让我们体会到数学和它的应用,但实际问题远比数学应用题复杂,如气象工作者要根据气象资料准确预报天气;生理医学家要确定药物在体内的浓度分布,进而评价药物的疗效;公司经理要根据产品需求、生产条件、生产成本等信息,决策生产经营计划,以获取较高经济效益;甚至我们日常出行路线的优化等都涉及数学问题.,要用数学方法解决这些实际问题,就必须架设实际问题与数学之间的桥梁,将实际问题转化为一个相应的数学问题,然后对这个数学问题进行分析和计算,最后用所得的结果来解答实际问题. 日常生活中,我们参观展览会、博览会,看到精美的汽车模型、建筑
3、模型、火箭模型、飞机模型、人造卫星模型等,这些是反映实物形态的直观模型.在我们每个人的头脑中也存储着不少模型,如认识的人的形象、社会活动规范、某项技术方法等,这些是供人们思维决策的抽象模型.数学模型这个概念并不是新名词,,公元前三世纪,欧几里德建立的欧氏几何学,就是对现实世界的空间形式提出的一个数学模型,该模型十分有效,一直沿用至今.近代力学、物理学的重要微分方程,也是抓住这些学科的本质的数学模型,成为相关学科的核心内容和基础. 什么是数学模型(MathematicalModel)?数学模型是用数学符号、公式、图表等刻画现实对象数量规律的数学表达式、图形或算法,是一种理想化、抽象化的方法,是用
4、数学解决实际问题的典型方法.一般地,数学模型实际上就是对于现实问题中的某一特定对象,为了某个特定目的,做出一些必要的简化和假设,,运用适当的数学工具得到的一个数学结构.它或者能解释特定现象的现实性态,或者能预测对象未来状况,或者能提供处理对象的最优决策或控制. 在现实问题中,由于特定对象系统形形色色、千差万别,描述它们的模型也就种类繁多.常见的数学模型分类有: (1)按照模型所使用的数学方法可分为确定性模型、随机性模型和模糊性模型.,确定性模型:模型相应的实际对象具有确定性和固定性,对象间又具有必然的关系,这类模型的表示形式可以是各种各样的方程式、关系式、逻辑关系式、网络图等,所使用的方法是经
5、典的数学方法. 随机性模型:这类模型的实际对象具有随机性,数学模型的表示工具是概率论、过程论及数理统计等. 模糊性模型:这类模型相应的实际对象及其关系具有模糊性,数学模型的基本表示工具是Fuzzy集合理论及Fuzzy逻辑等.,(2)按照对研究对象的了解程度,可分为白箱模型、灰箱模型和黑箱模型. 白箱是指可以用像力学、电路理论等一些机理(指数量关系方面)清楚的学科来描述的现象,其中需要研究的主要内容是优化设计和控制方面的问题.灰箱主要是指应用领域中机理尚不清楚的现象,对于这类问题,在建立和改善模型方面还有许多工作要做.至于黑箱,主要包括的是在应用领域中一些机理完全不清楚的现象.,(3)按照数学模
6、型的结构可分为分析的模型、非分析的模型和图论的模型. 分析的模型是以无穷小量概念为基础,研究函数中变量之间的依赖关系,如常微分方程、偏微分方程、积分变换、无穷级数和积分方程等.非分析的模型是用符号系统来表示方程或表达式中变量和常数的运算关系(如代数),或者研究它们的坐标关系(如几何),集合论、群论、抽象几何均属此类型.图论的模型是以点和点的连线(有向的或无向的)来表示各种关系的图形,这类图形既能表达分析的问题,又能表达非分析的问题,具有独特的运算形式,如结构树图、决策树图、状态图等.,(4)按照模型研究变量特性,可分为离散模型和连续模型,或者线性模型和非线性模型,或者参数定常模型和参数时变模型
7、,或者单变量模型和多变量模型,或者静态模型和动态模型,或者集中参数模型和分布参数模型等. (5)按照模型应用领域可分为工程模型、人工模型、交通模型、生态模型、生理模型、经济模型、社会模型等.,在了解了数学模型的概念之后,如何建立数学模型,是本教程的核心,本节我们给出建立数学模型的一般方法和步骤.,1.2 数学建模的方法与步骤,1.明确问题 要建立现实问题的数学模型,第一步是对要解决的问题有一个明确清晰的提法,通常我们碰到的某个实际问题,在开始阶段是比较含糊不清的,又带有实际背景,因此在建模前必须对问题进行全面、深入、细致的了解和调查,查阅有关文献,同时要着手收集有关数据,收集数据时应事先考虑好
8、数据的整理形式,例如利用表格或框图形式等.在这期间还应仔细分析已有的数据和条件,使问题进一步明确化,即从数据中可得到什么信息,数据来源是否可靠,所给条件有什么意义,哪些条件是本质的,,哪些条件是可以变动的等.对数据和条件的分析会进一步增强我们对问题的了解,使我们更好地抓住问题的本质及特征,为建立数学模型打下良好的基础.,2.合理假设 建立数学模型的主要目的在于解决现实问题.然而现实问题不经过理想化、简单化处理就很难转变成数学问题,即使建立了模型,也会因过于复杂而很难求解.因此,做出合理的假设在数学建模中起着至关重要的作用.所谓合理的假设,是指这些假设既能抓住问题的本质特征,又能使问题得到简化,
9、便于进行数学描述,我们称这样的假设为简化问题的假设.这里要提醒注意的是:对于一个假设,最重要的是它是否符合实际情况,而不是为了解决问题的方便.,如何对问题提出合理的假设是一个比较困难的问题,这是因为假设做得过于简单,则使模型远离现实,无法用来解决现实问题;假设做得过于详细,试图把复杂对象的各方面因素都考虑进去,模型就会十分复杂甚至难以建立.通常做出合理假设的依据一是出于对问题内在规律的认识,二是来自对数据或现象的分析,也可以是两者的综合.做假设时既要运用与问题相关的物理、化学、生物、经济等方面的知识,又要充分发挥想象力、洞察力和判断力,善于辨别问题的主次,抓住主要因素,舍弃次要因素,尽量使问题
10、简化(比如线性化、均匀化等),经验在这里也常起重要作用.最后要指出,有些假设在建模过程中才能确定,因此在建模中要注意调整假设,使模型尽可能地接近实际.,3.建立模型 在已有假设的基础上,利用合适的数学工具,描述问题中变量之间的关系,确定其数学结构,就得到了实际问题的数学模型. 这里有两点要注意:一是构造一个具体问题的模型时,首先应构成尽可能简单的数学模型,然后把构造的简单模型与实际问题进行比较,再考虑将次要因素归纳进去,逐渐逼近现实来修改模型,使之趋于完善.也就是说,数学建模是一个不断精确化的过程,切忌建模之初就把问题复杂化.二是要善于借鉴已有问题的数学模型,,许多实际问题,尽管现象和背景不同
11、,但却具有相同的模型,例如力学中描述力、质量和加速度之间关系的牛顿第二定律Fma,经济学中描述单价、销售金额和销售量之间关系的公式Cpq等,数学模型都是ykx.一个数学模型应用于多个实际问题是屡见不鲜的.要学会观察和分析,透过现象,抓住问题的本质特征,利用已有模型或在已有模型上进行修正,以此提高我们的建模水平.,4.模型求解 不同的模型要用到不同的数学工具来求解.可以采用解方程、画图形、证明定理、逻辑运算、数值计算等各种传统的和近代的数学方法,但多数场合模型必须依靠计算机的数值求解、模拟.熟练利用数学软件包将会为我们求解模型带来方便.,5.模型的检验与修正 建立数学模型的目的在于解决实际问题,
12、因此必须把模型所得的结果返回到实际问题,如果模型结果与实际状况相符合,表明模型经检验是符合实际问题的.如果模型结果很难与实际相符合,表明这个模型与所研究的实际问题不符合,不能直接将它应用于实际问题.这时数学模型的建立过程如果没有问题,就需要考察建模时关于问题所做的假设是否合理,检查是否忽略了某些重要因素.再对假设给出修正,重复前面的建模过程,直到使模型能反映所给的实际问题.数学建模就是这样一个不断循环上升,不断优化模型的过程. 建立数学模型的步骤可以用下面的框图(图1-1)表示.,图 1-1,本节我们通过一些简单例子来说明如何应用上面所给出的过程来建立数学模型,重点是如何做出合理的、简化的假设
13、,用数学语言确切地表述实际问题,以及如何用模型的结果解释实际现象.,1.3 数学建模示例,1.3.1 椅子的放稳问题 在日常生活中我们知道:椅子在一块不平的地上放不稳,但只需挪动几次,就可使四条腿同时着地,放稳了.试用数学方法证明能否找到一个适当的位置而将一把椅子的四条腿同时着地. 对于这个与数学似乎毫不相干的问题,我们将建立一个简单的数学模型给予解答.,假设: (1)椅子的四条腿着地点构成平面上的严格正方形; (2)地面高度是连续变化的,不会出现间断,亦即不会出现台阶式地面或裂缝; (3)椅子在任何位置至少有三条腿着地. 该问题的核心是用数学语言将椅子四条腿同时着地的条件和结论表示出来. 如
14、图1-2所示,设正方形的中心为坐标原点,每条腿的着地点分别为A、B、C、D.,图 1-2,AC和BD的连线为坐标系中的x轴与y轴.对角线AC转动后与x轴夹角为.A、C两腿与地面距离之和为g(),B、D两腿与地面距离之和为f(). 由假设条件(2)知,g()、f()是的连续函数.显然椅子的三条腿总能同时着地,即对任何,g()与f()中至少有一点为零,因而有g()f()0.现不妨设初始位置0. 于是,此问题就归结为下面的数学问题: 设连续函数g()、f(),满足g(0)0,f(0)0,且对任意,有g()f()0,证明存在0,使g(0)f(0)0.,问题的证明如下: (1)若f(0)0,则取0即可证
15、明结论. (2)若f(0)0,则将椅子转动 ,这时椅子的对角线AC与BD的位置互换,故有 构造函数h()f()g(),显然有,由于h()是连续函数,由连续函数的介值定理,存在 ,使得h(0)0.又由于f()g()0,所以有f(0)g(0)0. 就是说,存在0方向,使得四条腿能同时着地.因此问题的答案是:如果地面是光滑的曲面,则四条腿一定可以同时着地.,这个模型巧妙之处在于用一元变量表示椅子的位置,用的两个函数表示椅子四条腿与地面的距离,进而将问题转化为连续函数的零点存在性的数学问题. 如果将椅子换成长方形桌子,是否还有相同的结论?,思考题,1.3.2 夫妻过河问题 这是一道智力游戏问题,问题是
16、:有三对夫妻要过河,只有一只船,船最多能载两个人,由于封建思想,要求任一女子不能在丈夫不在场的情况下同另外的男子在一起,试给出三对夫妻的过河方案. 该问题有多种解法,下面介绍两种.,1)应用状态转移法求解 夫妻过河问题是带有约束条件的过河问题,可视为一个多步决策过程,每一步,即船由南岸到北岸或由北岸到南岸,都要对船上人员(男子、女子各几人)作出决策,在允许的前提下,在有限次内使三对夫妻全部过河. 记第k次过河前南岸的男子数为xk,女子数为yk,其中,k1,2,;xk、yk0,1,2,3,则状态向量可表为(xk,yk),所有可能状态共16个,其可取状态或允许状态有10个: (0,0),(0,1),(0,2),(0,3),(3,0), (3,1),(3,2),(3,3),(1,1),(2,2), 记第k次过河时