离散数学导论（第5版）-第六篇.pptVIP

* 离散数学导论（第5版） 电子教案 徐洁磐 * 第六篇 离散建模 离散建模是利用离散数学为工具建立计算机学科的数学模型以利于问题的求解。 本篇共两章： 第十三章：离散建模的概念与方法 第十四章：离散建模应用实例介绍 * 第1 3章 离散建模概念 §13.1 离散建模概念 ? 客观世界问题抽象成形式化数学表示——数学模型。 ? 数学模型的建立过程——数学建模。 ? 可数集上的数学模型——离散模型。 ? 离散模型的建立过程——离散建模。 ?客观世界问题域的求解——离散模型计算。 * §13.2 离散建模方法 (1) 问题形成。 (2) 离散建模——离散模型的形成。 (3) 离散模型计算——离散模型解的形成。 (4) 解的语义化——问题域解的形成。 * §13.3 离散建模方法五个步骤 (1) 问题域形成 客观世界中离散建模的注视点。 (2) 离散建模及模型的形成。 离散语言选择，形式化表示等。 (3) 离散模型的检验与修改。 (4) 离散模型计算 通过计算对离散模型求解，解的表示为数学形式。 (5) 解的语义化 解的数学形式转换成问题域中的语义形式，从而获得问题域的解。 * 第1 4章 离散建模应用实例 §14.1 数字逻辑电路的离散建模 (1) 问题域形成 ? 研究对象——两种信号。 ? 研究方法——三种电路。 ? 需求——电路设计、电路简化及简化门电路类型。 (2)模型建立 ? 离散语言——布尔代数。 ? 逻辑电路——布尔代数表达式。 (3)模型计算 ? 电路设计——积之和展开式。 ? 电路简化——布尔代数优化。 ? 简化门电路——运算符转换。 * §14.2 电话线路故障影响分析的离散建模 (1) 问题域形成 ? 研究对象——城市。 ? 研究内容——电话线路。 ? 需求——线路故障对通话的影响。 (2)模型建立 ? 离散语言——图论。 ? 离散模型——图结构。 (3)模型计算 ? 用图的矩阵计算。 ? 线路故障对通话的影响——图的可达性矩阵计算。 * §14.3 关系数据模型离散建模——关系代数 (1) 问题域形成 ? 研究对象——数据表。 ? 研究内容——数据表上的操作。 ? 需求——数据表示，操作表示，简化及标准化。 (2)离散模型1——关系代数 ? 离散语言——关系代数。 ? 离散模型——关系代数表达式。 (3)模型计算 ? 数据及操作表示——关系代数表达式。 ? 操作简化——表达式优化。 ? 操作标准化——表达式规范化。 * §14.3 关系数据模型离散建模——关系演算 (1) 问题域补充 ? 需求——数据操作的表示，简化及查询。 (2)离散模型2 ——关系演算 ? 离散语言——谓词逻辑。 离散模型——谓词公式。 (3)模型计算 ? 数据操作表示——谓词公式。 ? 操作简化——等式推理。 ? 查询——蕴含推理。 * §14.4操作系统死锁检测离散建模 (1)问题域形成 ? 研究对象——资源与进程。 ? 研究内容——进程与资源间的占有关系 ? 需求——无限时的占有等待。 (2)模型建立 ? 离散语言——图论。 ? 离散模型——图模型中的可达性 (3)模型计算 ?可达性矩阵计算。 ? D ＝ 1死锁； ? D ＝ 0未死锁 间 间 ＝ * 谢 谢