离散建模专 业计算机科学与技术班 级 姓 名 学 号授课老师 二 O 一 七 年 十二 月离散建模就是离散数学与计算机科学技术及I T 技术应用间得联系桥梁。也就是学习离散数学得根本目得。它有两部分内容组成: 1、离散建模概念与方法 2、离散建模应用实例 一、离散建模概念与方法 1、1离散建模概念 在客观世界中往往需要有许多问题等待人们去解决。而解决得方法很多,最为常见得方法就是将客观世界中得问题域抽象成一种形式化得数学表示称数学模型,从而将对问题域得求解变成为对数学表示式得求解。而由于人们对数学得讨论已有数千年历史,并已形成了一整套行之有效得对数学求解得理论与方法,因此用这种数学方法去解决实际问题可以取得事倍功半得作用。而采纳这种方法得关键之处就是数学模型得建立,它称为数学建模,而当这种数学模型就是建立在有限集或可列集之上时,此种模型得建立称离散建模。 1、2、离散建模方法 (1)两个世界理论 在离散建模中有两个世界,一个就是现实世界另一个就是离散世界。现实世界就是问题域产生得世界,离散世界则就是一种数学世界,它有三个特性: 离散世界采纳离散数学语言,该语言具有简洁性且表达力丰富。 离散世界所表示得就是一种抽象符号,它就是一种形式化符号体系。 离散世界中得环境简单,它在离散建模时设立,可以屏蔽大量无关信息对问题求解得干扰. 为求解问题须将问题域转换成离散模型,然后对离散模型求解,再逆向转换成现实世界中得解、 (2)两个世界得转换 在离散建模方法中需要构作两种转换,即由现实世界到离散世界得转换以及由离散世界到现实世界得逆转换,而其中第一种转换尤为重要,这种转换我们一般即称之为离散建模。 下面对两种转换作介绍: 现实世界到离散世界得转换 该转换又称离散建模或简称转换.这种转换就是离散建模方法得核心.它实际上就是将现实世界中得问题转换成离散世界中得离散模型。这种过程就是将问题域中问题实行屏蔽语义、简化环境、强化关系所形成得一种抽象化、形式化过程,在转换时所要采纳下面几种手段: 1、选取一种离散语言,亦即就是选择一个离散数学学科门类,(如图论,代数系统,数理逻辑及关系等,也可以选择其中得一些子门类如图论中得树,代数系统中得群论等等),以此学科得符号体系作为一种形式语言称离散语言。 从问题域中确定离散模型得基本对象集合。 从问题域中确定离散模型得静态结构、动态行为以及约束规则。 用离散语言描述...