- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
②合作图(collaboration diagram) 合作图也译成协作图,主要由对象和消息组成。它也是用来描述对象间交互关系,展示对象之间的消息传递。 * 图3-14 某生产系统的合作图描述 实现图 实现图用以描述系统源代码的结构和运行时刻的实现结构,包括构件图和部署图等。 ①构件图(component diagram) 构件图用来描述代码构件的物理结构以及各构件之间的依赖关系。 * (a)构件 (b)接口 (c)依赖关系 图3-15 构件图中的常用符号 ②部署图(deployment diagram) 部署图用来描述如何将某一软件系统部署到相应的硬件环境中。它的用途是显示该系统不同的组件将在何处物理地运行,以及它们将如何彼此通信。 * (a)节点 (b)构件 (c)节点之间的连线 图3-16 部署图中的常用符号 3.5 Petri网建模理论与方法 3.5.1 Petri网的基本概念 Petri网是由德国学者佩特(Carl A. Petri)于1962年在其博士论文中首先提出的一种用于描述事件和条件关系的网络模型。 Petri网能够较好地描述系统的结构,表示系统中的并行、同步、冲突和因果依赖等关系,并以网络图的形式,直观、简洁地对离散事件系统进行模拟,分析系统的动态性质。 经过40多年的发展,目前Petri网建模方法已经在生产系统、决策系统等众多领域得到了广泛地应用。 * 根据Petri网的理论,任何系统都可以认为是由两类元素构成的:一类是表示状态的元素,如机床、仓库、工人等,另一类是表示状态变化的元素,如工件的安装、切削加工、装配等。 在Petri网中,前者用库所(Place)表示,后者用变迁 (Transition)来表示。变迁的作用是改变状态(如同离散事件系统中的事件),库所的作用是决定变迁能否发生 (如同离散事件系统中的状态/活动)。两者之间的这种依赖关系用弧线(箭头)表示出来,就是一个Petri网。 * Petri网的数学定义 定义3-1:一个三元组N = (P, T; F),其中P = {p1, p2, …, pn}为库所集,n为库所的数量;T = {t1, t2, …, tm}为变迁集,m为变迁数量。则它们构成一个Petri网的充分必要条件是: (1)Petri网的非空性: ,表示网中至少有一个元素。 (2)Petri网的二元性: ,表示库所和变迁是两类不同的元素。 (3)Petri网中不能有孤立的元素:F是由一个P元素和一个T元素组成的有序偶的集合(称为流关系),它建立了从库所到变迁、从变迁到库所的单向联系,并且规定同类元素之间不能直接联系,即满足 (3-2) * 3 生产系统建模方法 * 本章主要内容 3.1 系统建模方法概述 3.2实体流图法 3.2.1 实体流图法的建模原理和过程 3.2.2 实体流图模型的人工运行 3.3 活动循环图法 3.3.1 活动循环图法的建模原理与过程 3.3.2 活动循环图法与实体流图法比较 * 本章主要内容 3.4 面向对象的建模方法与统一建模语言(UML) 3.4.1 面向对象的概念 3.4.2 面向对象分析与设计 3.4.3 对象建模技术 3.4.4 统一建模语言(UML) 3.5 Petri网建模理论与方法 3.5.1 Petri网的基本概念 3.5.2 Petri网系统及其运行规则 3.5.3 Petri网分析技术 * 3.1 系统建模方法概述 离散事件系统建模中存在的困难 ①离散事件的发生时刻是离散的,不连续性是它的本质特征。 ②离散系统的性能指标往往具有一些离散的特征,如零件的加工时间等。 ③系统中普遍存在着一些随机性的因素。 ④复杂离散系统通常具有分层和递阶特征。 ⑤存在“状态爆炸”性和计算可行性问题。 当前,对离散事件系统模型进行研究的主要工具有:形式语言/有限状态机、极大极小代数、活动循环图法、 Petri网、 Markov链、摄动分析法、排队论、库存模型。 3.2实体流图法 3.2.1 实体流图法的建模原理和过程 实体流图法,采用与计算机程序流程图相类似的图示符号和原理,来建立表示系统中临时实体的产生、流动、接受永久实体提供的服务以及消失等过程的流程图。 借助实体流图,可以表示事件、状态变化及实体间相互作用的逻辑关系。 * 图3-1 实体流图法常用的图示符号 简单加工系统的实体流图,如图3-2所示。 * 模型属性变量主要有零件的到达时间、零件加工时间等,它们
文档评论(0)