离散数学建模论文.docxVIP

----宋停云与您分享---- ----宋停云与您分享---- 离散建模 ----宋停云与您分享---- ----宋停云与您分享---- 专 业 班 级 姓 名 学 号 授课教师 计算机科学与技术 二 O 一 七 年 十二 月 ----宋停云与您分享---- ----宋停云与您分享---- 离散建模是离散数学与计算机科学技术及 IT 技术应用间的联系桥梁。也是学习离散数学的根本目的。 它有两部分内容组成: 1.离散建模概念与方法 2.离散建模应用实例一.离散建模概念与方法 离散建模概念 在客观世界中往往需要有许多问题等待人们去解决。而解决的方法很多， 最为常见的方法是将客观世界中的问题域抽象成一种形式化的数学表示称数学模型，从而将对问题域的求解变成为对数学表示式的求解。而由于人们对数学的研究已有数千年历史，并已形成了一整套行之有效的对数学求解的理论与方法，因此用这种数学方法去解决实际问题可以取得事倍功半的作用。而采用这种方法的关键之处是数学模型的建立，它称为数学建模，而当这种数学模型是建立在有限集或可列集之上时，此种模型的建立称离散建模。 .离散建模方法 （1）两个世界理论 在离散建模中有两个世界，一个是现实世界另一个是离散世界。现实世界是问题域产生的世界，离散世界则是一种数学世界，它有三个特性： 离散世界采用离散数学语言，该语言具有简洁性且表达力丰富。离散世界所表示的是一种抽象符号，它是一种形式化符号体系。 离散世界中的环境简单，它在离散建模时设立，可以屏蔽大量无关信息对问题求解的干扰。 为求解问题须将问题域转换成离散模型 ,然后对离散模型求解 ,再逆向转换成现实世界中的解. （2）两个世界的转换 在离散建模方法中需要构作两种转换，即由现实世界到离散世界的转换以及由离散世界到现实世界的逆转换，而其中第一种转换尤为重要，这种转换我们一般即称之为离散建模。 下面对两种转换作介绍： 现实世界到离散世界的转换 ----宋停云与您分享---- ----宋停云与您分享---- 该转换又称离散建模或简称转换。这种转换是离散建模方法的核心。它实际上是将现实世界中的问题转换成离散世界中的离散模型。这种过程是将问题域中问题采取屏蔽语义、简化环境、强化关系所形成的一种抽象化、形式化过程，在转换时所要采用下面几种手段： 1.选取一种离散语言，亦即是选择一个离散数学学科门类，（如图论，代 数系统，数理逻辑及关系等，也可以选择其中的一些子门类如图论中的树，代数系统中的群论等等），以此学科的符号体系作为一种形式语言称离散语言。 从问题域中确定离散模型的基本对象集合。 从问题域中确定离散模型的静态结构、动态行为以及约束规则。用离散语言描述这些集合、结构，行为与规则并组成离散模型。在转换过程中要注意如下几点： 所选用的离散语言并不是唯一的，有时可以有多种选择。 所建的离散模型有时可能与传统的数学结构不完全一致，此时须构造新的数学结构以适应建模的需要。 问题域中的环境与平台一般可用离散模型中的约束规则实现。 2.从离散世界到现实世界的转换 该转换是一种语义化的转换，它是一种逆向转换，因此又称逆转换，在该转换中是将离散模型的解转换成问题域中的解。由于离散世界中解的形式是一种抽象的形式化符号体系，没有任何语义，只有赋予问题域中语义后才成为问题域中的解。两个世界理论与两个世界转换构成了完整的离散建模方法，它可以用下面的图表示。 ----宋停云与您分享---- ----宋停云与您分享---- 而离散建模方法的整个过程可以用下面几个步骤表示： 在现实世界中给出问题域； 将问题域抽象成离散模型； 离散模型求解； 解的语义化； 问题域的解。 .离散建模的步骤 在离散建模实际操作中须有若干个步骤的操作过程，它们是： 需求描述—问题域形成； 离散模型形成； 离散模型检验与修改； 离散模型求解； 解的语义化及问题域解的获得。二 . 离散建模应用实例 1.需求描述 死锁检测为操作系统中死锁现象出现提供实时报警信号。 操作系统是管理计算机资源，协调计算机用户与资源间的关系，为用户在计算机中顺利运行提供支撑的一种软件系统。而死锁现象则是用户间为争夺资源而产生的一种矛盾，因此及时发现矛盾及化解矛盾是操作系统重要职能之一。在操作系统中有两种重要的注视目标，它们是“资源”与“进程”： （1）资源：操作系统是管理计算机中资源的机构，而计算机中的资源包括有 CPU 资源，内存资源，外部设备资源（如打印机等），通道资源等多种。 （2）进程：在一台计算机中往往可以运行多个程序，而一般运行的程序称为进程。在资源与进程之间存在着紧密的关联，其中主要的关联是：进程需要资源，只有有了充足的资源，进程才能运行。 在一般情况下，进程在运行前需申请资源，只有获得资源后才能运行， 在运行过程中还不断申请资源以获得