数学研学小组：建立数学模型,解决交通问题.docxVIP

实验十 交通管理问题 【实验目的】 1．了解微分方程的一些基本概念。 2．初步掌握微分方程模型建立、求解的基本方法和步 。 3．学 掌握用 MA TLAB 件中相关命令求解常微分方程的解析解。 【实验内容】 在城市道路的十字路口， 都会 置 交通灯。 了 那些正行 在交叉路口或离交叉 路口太近而又无法停下的 通 路口， 灯 中 要亮起一段 的黄灯。 于一 名 近交叉路口的 来 ， 万万不可 于 退两 的境地： 要安全停 但又离路口 太近；要想在 灯亮之前通 路口又 得距离太 。 那么，黄灯 亮多 才最 合理呢？ 已知城市道路法定速度 v0 ，交叉路口的 度 I ，典型的 身 度 一定 L ，一般情 况下 的反 T ，地面的磨擦系数 。（假 I ＝9 m ， L ＝ 4.5 m ， ＝ 0.2， T ＝ 1 s ） 【实验准备】 微分方程是研究函数 化 程中 律的有力工具，在科技、工程、 管理、人口、交通、生 、 境等各个 域有着广泛的 用。如在研究牛 力学、 量在介 中的 播、抛体运 、化学中液体 度 化、人口增 、种群 化、交通流量控制等等 程中，作 研究 象的函数， 常常要和函数自身的 数一起， 用一个符合其内在 律的方程， 即微分方程来加以描述。 1．微分方程的基本概念 未知的函数以及它的某些 的 数 同自 量都由一已知方程 系在一起的方程称 微分方程 。如果未知函数是一元函数，称 常微分方程 。如果未知函数是多个 量的函数， 称 偏微分方程 。 系一些未知函数的多个微分方程称 微分方程 。微分方程中出 的未 知函数的 数的最高 数称 微分方程的 。若方程中未知函数及其各 数都是一次的，称 性常微分方程，一般表示 1 y ( n) ＋ a1 (t) y( n 1) ＋?＋ an 1 (t) y ＋ an (t) y ＝ b(t ) （ 1） ai (t) 1 2 n ）均与 t 无关，称之 常系数（或定常、自治、 若（ ）式中系数 （ i ＝ ， ，?， 不 ）的。 建立微分方程模型要根据研究的 作具体的分析。一般有以下三种方法： 根据 律建模 ：在数学、 力学、物理、化学等学科中已有 多 践 的 律和定 律，如牛 运 定律、 基 霍夫 流及 定律、 物 的放射性 律、 曲 的切 的性 等， 些都涉及某些函数的 化率。我 可以根据相 的 律，列出常微分方程。 微元法建模 ：利用微 分的分析法建立常微分方程模型， 上是 求一些微元之 的 关系式， 在建立 些关系式 也要用到已知的 律或定理。 与第一种方法不同之 在于 里 不是直接 未知函数及其 数 用 律和定理来求关系式，而是 某些微元来 用 律。 模 近似法建模 ：在社会科学、生物学、医学、 学等学科的 践中，常常要用模 近似法来建立微分方程模型。 是因 ，上述学科中的一些 象的 律性我 不是很清楚， 190 即使有所了解也并不全面， 因此，要用数学模型 行研究只能在不同的假 下去模 的 象。如此模 近似所建立的微分方程从数学上求解或分析解的性 ， 再去同 情况作 比， 察 个模型能否模 、近似某些 的 象。 建立微分方程模型只是解决 的第一步， 通常需要求出方程的解来 明 象， 并 加以 。 2．微分方程通解的求解方法 （ 1）初等 分法 有些微分方程可直接通 分来 行求解。例如，一 常系数 性常微分方程 y ＝ ax ＋ b （ a ≠ 0） 可化 dy ＝ dt ay b 两 通 分可得到通解 y(t ) y(t ) ＝ C exp(at ) － a 1b 其中 C 任意的常数。有些常微分方程可用一些技巧（如分离 量法、 分因子法、常数 易法、降 法等）化 可 分的方程而求得解析解。 （ 2）常系数 性微分方程求解 性常微分方程的解 足 叠加性原理 ，从而它的求解可 求一个特解和相 次微 分方程的解。 一 系数 性常微分方程 可用 一思路来求得通解。 高 性常系数微分 方程可用特征根法求得相 次微分方程的基本解，再用常数 易法求特解。 例如，求 x ＋ 0.2x ＋ 3.92x ＝ 0 的通解。 解：特征方程 2 0.2 ＋ 3.92＝ 0 在 MA TLAB 命令框中 入命令 x=roots([1 0.2 3.92])% roots 命令用来求多 式的根 求解得到一 共 复根 x = -0.1000 + 1.9774i -0.1000 - 1.9774i x(t ) 从而 微分方程的通解 x(t ) ＝ Ae 0.1t cos(1.9774 ) ＋ Be 0.1t sin(1.9774 )