西北工业大学《离散数学（第6版）》课件-第12章离散建模.pdfVIP

第五部分 离散建模 2008-2018 by Li Weigang. All rights reserved. 内容简介 离散建模是以离散数学作为工具研究与解 决计算机领域的问题 离散建模是离散数学与计算机科学与技术、 软件工程、计算机应用等之间的桥梁 包括：  离散建模的基本概念、方法和步骤  实际案例 2 第十二章 离散建模 3 2008-2018 by Li Weigang. All rights reserved. 12.1 离散建模的概念 研究方法 形式化 客观事物 数学模型 当数学模型建立在有限集或可列集之上时，称为 离散模型  由客观世界问题抽象成离散模型的过程称为离散 建模 计算机科学以离散对象为研究目标 离散建模适于计算机科学、数据通信、自动化等 领域 4 12.2 离散建模方法 1. 两个世界 离散建模中有两个世界：现实世界和抽象世界（数学世界） 以离散数学为工具的数学世界是离散世界 • 采用离散数学语言，简洁且表达能力强 • 采用形式化符号体系，摒弃了现实世界的语义信息 • 环境和平台简单，建模时屏蔽了大量无关信息对问题求解 的干扰 两个世界需要相互转化！ 5 2. 两个世界的转换 抽象化 现实世界 离散世界 语义化 两种转换之一：抽象化，是离散建模的核心 采取屏蔽语义、简化环境、强化关系的方法 形成一种抽象化、形式化的模型 • 选取一种离散语言（前面学习的内容）； • 从问题中确定离散模型的基本对象集合； • 确定静态结构、动态行为和约束规则； • 用离散语言描述这些集合、结构、行为和规则从而组成离 散模型 Note ：离散语言选取不唯一；构建离散模型时可能与传 统数学形式不一致，此时须扩充数学理论以适应建模需求 6 离散世界到现实世界的转换 两种转换之二：语义化 将离散模型的解转换成问题中的解 核心工作：将抽象符号化体系赋予语义，使 其成为问题的解 7 3. 离散模型求解 用数学求解方法解决现实世界问题的解 一般采用两种方法： •