数学建模方法的与命题浅谈.ppt

《数学建模方法的与命题浅谈.ppt》由会员分享，可在线阅读，更多相关《数学建模方法的与命题浅谈.ppt（79页珍藏版）》请在三一文库上搜索。

1、数学建模方法与竞赛命题浅谈,李大潜院士倡导：问题驱动的应用数学。 数学建模的目的是科学研究与数学应用。 应用数学方法： 数学建模和科学与工程计算构成了数学应用的两大支柱。,引子：大学生的问题：数学建模 = 数学引模 ？,目前的数学建模教学： 介绍建模五步法（一节课）； 工具训练（两节课）； 讲解案例（二十节课）； 练习（十节课）,如何建模？,一、数学建模的本质方法是什么？,类比、引用和借鉴是很有效的方法：现状！,数学建模方法= 创造性的本质方法 + 模型类比方法,但是：,例一、Web中的问题,网络已经成为现代人的一种生活方式。在网上，每天有成千上万的多媒体文件在传输（例如，路透社每天收到网上文

2、本文件达20万）。试建立数学模型，使得可以对这些文件进行自动分类，以便人们阅读和使用。,没有可类比的案例时怎么办？,例二、中国菜系研究,中国是一个美食及其文化非常丰富的国家，因为国土辽阔，人口众多。中国著名的菜系：苏菜、闽菜、川菜、鲁菜、粤菜、湘菜、浙菜、徽菜。 请用数学建模方法研究这些菜系的特点。,1、模型? 数学？数学模型？,从基本概念的理解出发： 模型？+ 数学？ 数学模型？ 如何建模？,问题：如何从数学模型的概念出发构造方法,1）社会科学模型 经济与管理科学模型、军事模型（越战）、政治模型、社会学模型等等。,1.1 什么是模型,这是一个通过举例或指认回答的简单问题。,例 选举模型:多数

3、选举法、累计选举法等等，是特种社会活动的模型。,例 经济学模型：市场模型、竞争模型、企业战略模型、股票模型、金融模型，等等。,这些模型共同特点是： 分析对象的结构，表达方式易于理解，抽象度低。,建筑模型 ，交通模型，电路模型，服装模型 等等。 表达：建筑设计图、交通网络、电路图、服装模版等。,2）工程技术模型,3）生命科学模型 新陈代谢模型、光合作用模型、血液循环模型、DNA双螺旋模型 、蛋白质结构模型等等。,4）化学模型 苯环 、化学健理论、反应平衡等等；,5）物理模型 基本粒子、原子模型、晶体模型 、光学的衍射等等。,用专业理论抽象出的结构,并用专业语言表示的模型。,1.2 模型是什么？,

4、模型：以特定目的对事物原型抽象出结构并适当表示。,抽象出结构：不是一般概念的抽象，而是结 构的抽象；,适当的表示：使用不同知识与方法，需要不同 的语言表示。,特定目的：目的不同，关注的结构（事物的内部 联系）不同；,例. 飞机模型目标不同，模型不同,目的：空气动力学研究 抽象结构：外型结构，除去内部构造；,目的：机舱设计 抽象结构：内部空间结构，除去外部结构；,不同目的关注的内容不同，抽象的结构不同。,表示：专业图形和航空语言表示。,例. 地图是结构的抽象！,概念的抽象（不是模型！）：楼群、居住小区、公共场所与设施、商区、政府机关、河流、湖泊、公交线路、各级公路、快速路、高速路、立交桥等等。,

5、目的：城市交通研究,抽象出结构：小区、商区、立交桥、道路、交叉路口等概念的关联和区分忽略细部特征、概念的部分内涵、人口结构等等。,模型表示：城市交通地图,1.3 核心是结构,理解原型的结构，抽象并表示结构是核心问题。,什么是结构？,抽象定义：集合的结构是集合的子集族。,例 图书馆,字符集：中文字、英文字母、数字等等各种字符的全体。,书、文章、多媒体文本等形成子集族集合的文本结构。,文本按知识类型分类，形成不同层次的子集族 国际图书分类法图书馆的藏书结构专业模型。,相同的集合，不同的结构表达的信息不同。 下雨天，留客天，留我不留？ 不同结构： 下雨天留客，天留我不留。 意义完全不同！,例.语言的

6、不同结构产生不同的文学信息,唐诗 清明时节雨纷纷 路上行人欲断魂 借问酒家何处有 牧童遥指杏花村,宋词 清明时节雨 纷纷路上行人 欲断魂。 借问酒家何处 有牧童 遥指杏花村。,剧本(元曲) 清明时节 雨纷纷 路上 行人（欲断魂）： 借问酒家何处有？ 牧童 （遥指）: 杏花村。,时间 环境 地点 人物 语言 另人物 动作 语言,抽象出结构:,七言唐诗 ,比较规整,适于言志“诗言志”,宋词 ,错落有序,用语活跃,适于抒情“词抒情”,元曲 时间、地点、 情景、人物、 动作、言语 等。用语白话，易懂。,百姓故事,结构的不同表示可以表现出文学基调不同：,用音高表示：,唏 唏 唏 唏,唏啦嫂发米来斗,嫂

7、啦 米 啦 嫂 米,规则,变化,结构主义学派（ Bourbaki ）： 数学 = 集合 + 结构,2. 数学是什么？,这是一个困难的问题，并没有唯一的答案。,布巴基学派认为有三种母结构：序结构、代数结构和拓扑结构；其他数学结构都是母结构的组合或复合，形成复杂结构。不同的数学就是结构不同。,例如 所谓实数直线R，就是由全体实数构成的一维欧氏空间我们将看到，R是一个完备的阿基米德全序域它是由代数结构(域)、序结构(全序)、拓扑结构(完备性结构)形成的分支结构,2.1数学的普适性,原型：具体的元素与部件 具体的结构,数学：抽象的元素 抽象的结构,数学研究的内容决定了数学的普适性！,3. 什么是数学模

8、型,“定义”： 模型原型结构的适当表示； 数学：集合+结构，数学是研究结构的， 数学模型：原型结构的数学表示。 “定义” 如何建模？,3）推导模型公式 完善模型的假设，并表示成适定的形式。,4）求解模型 选择正确的解法，特别是数值计算与分析。,5）回答问题 解释数学解，分析鲁棒性和近似假定，确定解对于问题的作用。,2）选择建模方法 利用经验、技巧和文献抽象出解决问题的一般性数学模型。,1）提出问题 列出所有变量、单位和所有假设，并表示。用数学表达式给出问题的目标。,1. 目前的方法,一般建模程序，Mark M. Meerschaert的著作“Mathematical Modeling”中，提出

9、数学建模的五步法：,二、结构主义数学建模,以上方法并没有解决抽象什么、怎么抽象，“抽象”是最抽象，学生在没有经验的条件下束手无策。,通常的教学重点在于讲案例，学生没有本质的建模方法的情况下，于是“荐模”和“引模”成为主要方法。,结构化建模方法： 提供分析的方法分析结构的方法， 学习原型结构的表示方法建立专业模型，学习数学结构，产生建模的可操作程序。,结构化建模方法不是排斥“五步法”，而是充实“第二步”的具体可行的方法。,2. 结构化数学建模程序,数学语言表示的结构,数学模型,专业语言描述结构,专业模型,分析出原型的结构，并用数学语言表示其结构。,一般流程：,有些问题专业模型难，有些问题数学模型

10、难。,对原型确定目的,2010年赛题：上海世博会影响力的定量评估 2010年上海世博会是首次在中国举办的世界博览会。从1851年伦敦的“万国工业博览会”开始，世博会正日益成为各国人民交流历史文化、展示科技成果、体现合作精神、展望未来发展等的重要舞台。请你们选择感兴趣的某个侧面，建立数学模型，利用互联网数据，定量评估2010年上海世博会的影响力。,三、结构主义建模例子,用结构主义的观点分析问题 “问题”的结构： 背景、条件或限制、问题的目标,理解背景：背景帮助你理解问题的全貌，特别是开拓性。（高教收费问题的引起） 分析条件：条件的内涵容易清晰，往往外延模糊，从而对于建模假设很有意义。 明确目标：

11、目标明确，特别是多目标的主次和关联性识别。,对问题理解的关键1（背景的概念）： 什么是互联网数据？,在互联网上自然传播的数据，包括传播的文本、多媒体数据类等； 在互联网上发生的数据：点击率等，由设备或终端的行为转换成的数据。 互联网自身以外形成的文本和多媒体数据，本身并不是在互联网上自然传播：图书馆的电子书，统计局的统计数据，银行数据等，应该不是互联网数据。,对问题理解的关键2（条件的多种选择，外延）： “选择感兴趣的某个侧面”，这是问题中的简化性条件，因为问题涉及的方面太多，所以只要从某个方面去证明自己的结论。 对问题理解的关键3（目标的内涵限定）： “定量评估”，两类互联网数据都要量化，特

12、别是网络上自然传播的文本，需要量化分析。,分析： 从条件理解的关键2，显然在世博会影响的评估中涉及许多领域或视角：国家形象，宏观经济，百姓好恶，旅游发展等领域，视角：同地其他活动比对，历届世博会比对，与大型全国性活动比对，以及拓展性与预测性视角等。 这种模糊或多选择，给你界定自己研究领域与视角的选择，需要对背景的深入理解。这是开放性问题的特点。 一个显然的理解：开放性没有标准答案，因此结论平凡显然不好，结论的价值与新颖是关键。,从目标理解的关键3，两类互联网数据：发生的和自然传播的。 第一类例如点击率，显然的理解是关注度，“点击”本身没有内容，点击对象是分析、挖掘的重点：正面的和负面的网页与文

13、档，并且设计各个领域。 第二类是在网络上自然传播的各类文档（包括多媒体）。显然，除了文档的数量与篇幅反应关注度以外，文档的内容可以是：正面的和负面的网页与文档，并且涉及各个领域。,总体分析结论： 显然，通过条件、目标的理解我们可以得到影响力评估的两个主要内容：关注度和影响力内涵的评估。选择一两个重点领域和某个适当的视角进行比对，形成评估方法。,具体分析： 目标的“量化”要求，对于关注度显然是统计模型进行分析；而影响力内涵的评估模型是什么呢？,必须建立文本的理解与分析模型，基于文本分类的模型。 理解与分析: 理解基于分类，理解就是分类！,Web中的问题: 在网上，每天有成千上万的多媒体文件在传输

14、。试建立数学模型，使得可以对这些文件进行自动分类，以便人们阅读和使用。,如何建立文本分类的数学模型？,在线文本自动分析,原型的目标： 在线电子文本的计算机自动分类与辅助理解。,两类“分类模型”的目标： 检索性分类国际图书分类法，目的是查询；,理解性分类基于语意、概念层、主题层的细分类，目的是分析和理解。,）建立专业模型,原型的结构分析,文本章节段落语意团 句或短语词字符,文本的结构：,原型有两层结构：文本的结构， 文本集合的结构。,分析：文本集合的结构依赖于文本的结构； 文本集合的结构是原型对于目的的主要结构； 因此文本的结构的表示依赖文本集合的结构。,原型的专业模型（源于关键词和摘要的作用的

15、理解）,模型1. 以词频为特征的分类模型,词: 有语意的初级字符串单位语言的细胞；,词在文本中的频率与不同类文本间频率差别是分类的基本特征和基本的结构性差别。,模型2. 以语意团为特征，重在语意差别的分类。,模型3. 混合模型,语言能力模型：乔姆斯基的语法结构模型是另一类语言模型，目的是一般语言的生成结构。,文本集的结构分析：分类是在文本的集合中进行，因此是原型的用于分类目标的主要结构。,联想到数学中的结构，例如代数结构，是在集合中定义代数运算加法和数法：元素间的运算关系,两个文本的合并还是文本加法封闭； 一个文本的倍数仍然是文本数乘封闭！,分析文本集的结构，首先是文本之间的相互关系： 两个文

16、本合并是什么？还是文本！,）同构分析,同构： 此时问题的原型的结构直接和数学结构联系起来！ 建立原型结构的数学表示则建立了数学模型。,文本的集合应该有一个“线性空间”的结构； 文本的分类是在线性空间中的“向量的分类”！,具有高等代数的知识，对于线性代数的结构有清楚的理解和关注，则容易发现：,以上分析导至文本向量的概念：,每个文本对应地定义一个文本向量，用于分类，分量如何定义？,显然，分量是“分类特征”的具体表示：,基于词频以及用于区分文本的量化的表示分析！,模型1的数学模型：向量空间的结构+词频特征。,）同构表示与数学建模,根据专业模型，词频及具有分类的特征信息，因此可以仿照熵的定义：,假设T

17、F(w(i),dj)是词w(i)在文本dj中出现的次数，|D|是D中文本总数，DF(w(i)是指在D中至少出现一次w(i)的文本数。则每一个文本djD，和一个特征词w(i）存在一量：,这里熵的形式，一来用类似信息熵的定义，符合“分类”的特征信息的概念：好的分类，信息增益；二来，词频的作用大于词在文本集合中出现的作用。,记d(i)j =TFIDF(w(i),dj) ，则每一个文本djD，存在一个分量适当排序的文本向量:,文本集合的数学模型文本的特征向量的空间， 分类问题是N维线性空间中的向量的分类问题。,许多方法可以用于求解，例如SVM分类器对于数据压缩很有效。,文本自动分类: 理解文本的类属性

18、,子空间分类. 文本自动聚类: 发现文本集合中的新模式,新概念.,文本向量: 由文本的实意词的特征值或特征模式为分量的向量. 以信息熵的形式构造.,特征子空间: 具有某种共同意义的分量组成的子空间.,文本向量空间: 全部文本向量的高维线性空间.,应用事例：思想史研究中，“五四” 运动的讨论的主要思想是什么？,发现在“自由主义”的特征词所在的子空间中，文本的投影数量最大！,有了文本分类的向量模型，我们可以按照关键词搜索，建立网络文档在各个领域的分类集合，进一步还可以用分类模型分开正面与负面的文本。在此基础上进行统计比对，就得到量化的影响力评估。 特别值得注意的是，进一步使用文本向量分析方法，可以

19、建立多因素评估的方法。这类方法很多。 文本分类与理解的研究已经很热，实际上有许多现成的程序支持这种方法的使用。,四、数学模型的发展,随着核心学科的转变，数学的应用对象发生改变，数学模型发生改变，数学的内容、意义和方法也将发展与变化。,1、中心学科的转变对数模创新的刺激,二十世纪是物理学世纪：理论力学、电动力学（场论）、统计力学、量子力学与相对论。形成理论物理，同时推动了数学的发展。,流形上的函数及其场方程的模型：代数方程组和微分方程组。,理论力学的 Lagrange和Hamilton方程组； 电动力学的 Maxwell方程组； 统计物理的 热力学基本方程和统计分布函数； 量子力学的 Shrdi

20、nger、Dirac、Heisenberg方程； 相对论的 爱因斯坦的引力场方程。,二十一世纪形成以生物为核心的多中心：,陈省身： 二十世纪的数学家要关注物理，二十一世纪的数学家要关注生物学。,杨振宁： 我们应该关注生物学，生物学还没有理论，但是积累了大量的数据，期待理论的建立。,2、 系统生物学二十一世纪的核心学科,生物学世纪的学科进展： 分子生物学：生物分子的化学，反应、结构与生物化学功能； 生物组学：DNA序列与基因组学， 蛋白质组学， 代谢组学， 信号转导网。 产生高通量表达数据！,系统生物学：理解生物体以及生物过程，并非只是在生命的各个层次上的研究，而是各层结构的整合才涌现出生物功能

21、。,系统生物学是生物学的第一个理论化的学科，它将引导生物学从实验科学走向理论指导下的实验、计算、理论的科学。 正象二十世纪的理论物理的产生时代！,基本方法：海量数据的计算为基础，系统的数学建模为核心理论方法，以系统干扰为特征的实验。,以数学建模为核心的生物理论； 以高通量数据为主要对象的科研领域； 以整体论为主方法的实验与理论体系； 多学科综合研究的新科学：数学、计算机、生物和控制论； 相同起点、条件的平等竞争的科研领域。,系统生物学将推动现代数学的发展！,二十一世纪的中心学科转变，生物学世纪： 数学模型是什么？ 数学方法是什么？ 计算方法是什么？,全新的模型、计算和数学需求刺激了数学家们重新

22、关注：什么是数学模型？什么是生物的计算？什么是新的数学？,3、复杂系统建模与复杂网络,随着中心学科的转变，系统建模成为现代数学模型的主流。,系统：集合（具体元素）+ 结构。 一切系统的基本结构都是网络； 一切系统的核心结构都是逻辑网络； 一切系统的逻辑网络中普遍存在高阶逻辑。,为什么二十一世纪研究复杂网络？,二十一世纪涌现的新现象： 万维网是怎样“链”接的？ 计算机病毒是怎样传播的？ 传染病是怎样扩散或“消失”的？ 流言的传播速度有多快？ 城市交通涌堵的机理是什么？ 金融和股票市场是如何变化的？ 什么是“系统生物学”？ 等等、等等、？,中国淮扬菜肴网,顶点食品 边菜肴中两种食品之间的相互作用

23、每道菜肴局域世界（完全图） 通过公共顶点连接构成中国淮扬菜肴网。 329道菜肴，242个顶点（食品），1713条边。 完全类似于中药方剂网的讨论。,五、数模命题浅谈,1、赛题评价 1）问题的开放性 应具有理解的深度与广度（高校收费，月牙泉问题）,月牙泉的变迁引发的研究,2、数学的隐蔽性 没有数学味道和形式的问题（文本分析，金文大百科排版）,Web中的问题,网络已经成为现代人的一种生活方式。在网上，每天有成千上万的多媒体文件在传输（例如，路透社每天收到网上文本文件达20万）。试建立数学模型，使得可以对这些文件进行自动分类，以便人们阅读和使用。,比赛题目：2008年北京奥运会主馆场周边临时商亭网点

24、设计,2008年北京奥运会，在比赛场馆的周边地区必须建设一个由小型商亭构建的临时商业网点。我们称之为迷你超市（MS）网，必须满足三个基本要求：满足奥运会期间的购物需求、分布基本均衡和商业上赢利。显然，这是一个必须用科学的方法解决的问题。,3、方法多样性 多种模型建模（奥运场的商业网点）,网络流、电路模型、商圈模型、分布评估、流体力学、直观+模拟、沙堆模型、数据挖掘，等等。,说明: 1商业上用“商圈”来描述商店的覆盖范围。影响商店选址的主要因素是商圈内的人流量，以及购物欲望。2为简化，假定鸟巢（国家体育场）容量10万人，水立方（国家游泳中心）容纳4万人，国家体育馆可容纳6万人。每个看台容1万人，

25、出口对准一个商区，各商区面积相同，图中白色为人行道路。,4、可解的广泛性 “浅无边，深无底”,高等教育学费标准探讨,几乎每一个人都可以建各种模型：从个人角度，形成简单因素，也可以从国家教育发展角度，还可以从整个国民经济角度等等。可以立意于公平性，也可以立意于教育效益，等等。,模型的粗粒度与原型的结构,5、研究的发展性 不仅是竞赛题而且是研究课题（高校收费、DNA序列分析、出版社资源分配、饮酒对驾车的影响）,这些题目几乎都是很有意义的研究课题，甚至到目前还有许多人在研究，形成长期的课题。,建模题目不是造的，而是在实际问题中发掘的！,二、数模命题的创新与发展,数模竞赛的质量首先取决于命题，命题最有

26、助于提高对建模的理解。“好的”建模命题的要点在于创新！,新的领域、新的数学方法、新的问题、新的形式。,每年数模竞赛组委会征题，并组织命题会，希望大家积极思考。,1、创新方面（1）命题领域的开拓： 1.1 热点社会问题中的新问题 金融危机，例如政策问题：发放购物卷的效果？ 网瘾问题，网瘾与上网频率关系？教育策略？ 反腐败问题，规模性腐败的惩治力度评估？ 房价问题，是“富人控制北京房价”吗？房价的社会影响？ 水资源问题, 干旱和缺水风险评估与应对策略？经济发展与水资源的和谐模型？ 药费暴利问题, 解决方法与下降模型？,1.2 科研中新问题 流感问题, 例如，SARS、禽流感、H1N1，为什么近十年

27、来流感会对全世界发生重大威胁？能够用数学模型化方法解释或提供措施建议？ 网络研究，Web和Inter网的病毒传播模型是什么样？有无模型化方法研究对策？ 心理学，抑郁症在许多国家形成规模，是否可以象流行病类似建立疾病传播模型？ 灾难学与应急问题，灾难不可避免，但是可以有快速有效的应急机制，例如地震后的搜救方法等等。 系统生物学，这是一门以建模作为核心方法的新学科! 大方向中的具体问题抽取？,1.3 经济与市场问题 房价的市场与政策驱动，经济适用房的政策影响面对房价平抑作用，房价占工资比例对房价的影响，调控政策的评估模型。 产品销售补贴的评估，家用电器的销售补贴政策对市场启动的影响。 就业政策的调

28、控效果，创业补贴和无就业补贴对于就业市场的影响。 零售价格倒置现象模型，产地物价与北京物价倒挂对于市场影响和对农业的影响，等等。 理财策略，个人理财的博弈模型。,1.4 城市问题（世博会） 交通：城市交通网络布局与道路网络布局的合理设计模型。 商业：城市商业网点分布与人口、交通的优化结构模型。 人口分布：人口分布与交通网络的交互作用模型。 功能关联：城市功能结构的最大效益设计模型。 卫星城的结构和功能相关性模型。 电动自行车的速度限制：合理速度模型，对交通问题的影响？ 城市化进程与水、电价格的调整模型，等等。,1.5 文化、体育、艺术中的问题 体育模型:滑雪赛道设计，比赛选拔方案，标枪的长度，

29、不同跑道的差步（体育数学），等等。 艺术模型：青年歌手大奖赛的选拔策略，音乐厅座位的定价，演唱会中的同步效应的应用，等等。 文学与文字：红楼梦人物的规律性研究，人物关联模型与情节生动、复杂性研究，古文字发掘的模型在中华文化中的发展路径研究，等等。 中医与烹饪：网络模型与特点研究。 无处不在的数学，问题在于理解、思考与开拓！,2、创新方面（2）新的数学方法： 目前多数问题集中几类方法： 最优化与运筹、多因素综合分析、常微分方程、图论、排队论 、函数逼近与回归预测。 比较少的方法： 统计抽样模型、网络模型（布尔网络）、组合模型、博弈模型、几何模型和代数模型等。,方法类的研究： 正向建模与反向建模，

30、唯像模型与机理模型。,正向建模，已知:X、Y，寻找数学模型表示F; X或机理的结构F,寻找数学模型表示F,预测Y。,逆向建模，已知：Y,或者不完全的X、F的信息，寻找F的表达式和X，进而预测其他的Y。,唯像：只有X、Y之间数据关系而没有机理的F。,3、创新方面（3）问题构造形式： 李政道：做学问，须学问，只学答，非学问。 原始创造性来源于提出问题，发现问题 提问题是建模的原始创新：只给定条件和环境，让学生自己发现和构造问题，并解决问题。 提问题的能力是衡量对建模理解的最好方法； 可以让学生在实践中摸索建模的方法：如何发现好的问题？设计题目，是科学研究的重要能力。,网络与复杂网络将成为二十一世纪的新的数学模型！,欢迎批评指正，欢迎讨论！ 谢谢大家！,系统生物学是二十一世纪的新的核心学科！,Watson and Crick,说明: 1商业上用“商圈”来描述商店的覆盖范围。影响商店选址的主要因素是商圈内的人流量，以及购物欲望。2为简化，假定鸟巢（国家体育场）容量10万人，水立方（国家游泳中心）容纳4万人，国家体育馆可容纳6万人。每个看台容1万人，出口对准一个商区，各商区面积相同，图中白色为人行道路。,