现代制造系统第四章数学模型.pptVIP

3.制造系统排队模型的数学描述 马尔可夫链模型 单机单队列系统——M/M/1系统 多机多队列（求解过程不要求掌握） （1）马尔可夫链模型 ① 马尔可夫性、马尔可夫过程 马尔可夫性：过程（或系统）在时刻 所处的状态为已知的条件下，过程在时刻 所处状态的条件分布与过程在时刻 之前所处的状态无关。通俗地说，就是在已经知道过程“现在”的条件下，其“将来”不依赖于“过去”。 马尔可夫过程：具有马尔可夫性的过程称为马尔可夫过程或马尔可夫链。 （1）马尔可夫链模型 ② 转移概率和转移概率矩阵 对于一个马式链，其状态空间为i，在时刻 系统处于i的条件下，在时刻 转移到状态j的概率为转移概率。转移概率的表示： 将系统各状态之间的转移概率用矩阵表示可得到转移概率矩阵： （1）马尔可夫链模型 ③ 马式链状态方程 由转移概率矩阵 可以得出状态转移率矩阵 ，它们的关系是： 对于齐次马式链经过推导可以得到系统的马式链模型进入稳态的状态方程为： 其中：P=[p0，p1，…，pn]表示系统进入稳态后的状态概率。Q是系统状态转移率矩阵。 （2）单机单队列系统 单机单队列系统：单机单队列系统是由一台加工设备和一个工件存储装置组成的最简单的制造系统。用排队论的 M/M/1系统模型进行描述。 （2）单机单队列系统 M/M/1模型是指顾客到达时间间隔和服务时间均服从负指数分布且只有1个服务台的排队系统模型。 M/M/1模型是典型的马尔可夫过程模型或称为马尔可夫链模型。 （2）单机单队列系统 设稳态时，系统中具有n个顾客的概率是 ，则系统稳态时处于各状态的概率表示： 把到达系统的顾客数量作为状态变量，状态方程是： （2）单机单队列系统 （2）单机单队列系统 四.制造系统的活动循环图模型 基本术语 实体行为模式的图解描述 活动循环图的建立 活动循环图的特点 举例 引言 对于制造系统某些本质属性和行为的描述，目前还难以建立其精确的解析模型，因此建立系统的逻辑模型便成为分析和研究制造系统的另一种重要手段。活动循环图（activity cycle diagram, ACD）即为一种建立制造系统逻辑模型的有效工具。 1. 基本术语 实体：一个系统的边界内部的对象，如机床、工件、工人等 属性：实体的特征或特性，如机床的忙态、闲态等 状态：在某时间点上，对系统所有实体属性的描述。 活动：导致系统状态发生改变的进程，如机床加工零件的进程等。 事件：系统状态发生的瞬间变化，如一项活动的开始或结束、一个实体的属性值的改变等。 过程：由事件的时间序列及若干活动组成。 2.实体行为模式的图解描述 （1）实体状态的表示 活动态的表示：用矩形框； 等待态的表示：用圆或椭圆； （2）实体的行为模式 实体的行为模式是若干活动态和等待态的交替进行的循环。即状态变化符合：活动—队列—活动—队列—…… 2.实体行为模式的图解描述 （3）实体行为模式的图解描述 以机床和工人两实体组成的简单系统为例介绍实体行为模式的图解描述 . 3. 活动循环图的建立 （1）活动循环图建立的基本过程： 就是将实体行为模式的图解描述进行组合，并赋予所需要的描述信息。 第一步：对系统中实体的行为模式进行图解描 述； 第二步：确定一种或几种主要实体，以其行为模式图解描述为基础，将其它实体的行为模式图解描述与其组合，形成一组合的行为模式图解描述。组合的关键是找出实体的关联点。 第三步：赋予组合的行为模式图解描述所需的信息描述。即完成系统活动循环图的建立。 3. 活动循环图的建立 （2）活动循环图说明 关联点：是实体的共同活动，也称为合作活动。即多于一个实体参加才能开始的活动。如工件的安装活动在工人实体的行为模式图解中有，在机床实体的行为模式的描述中也有，也就是说安装工件的活动要求工人和机床同时参与才能完成。 信息描述规定：每一类实体的数量标注在该实体循环路径旁的圆括号中，活动周期（持续时间）标注在表示该活动的矩形框下方。 直联活动：如果在任何情况下，某一活动一完成，其后续活动就立即开始，则此后续活动称为直联活动。如“加工”为直联活动。 例：由3台机床和1名工人组成的简单加工系统中，工人负责安装工件，机床加工需10个工时，工人安装需3个工时。建立该系统的活动循环图。 4. 活动循环图的特点： 五.制造系统的petri网模型 概述： Petri网是德国Carl Adam Petri博士在1962年提出的一种形式化系统建模和分析工具，在制造系统建模与分析方面得到了广泛的应用。 与活动循环图相比，Petri网具有较强的解析表达能力。一般，前者建立的模型只能在通过仿真运行得到实验数据的基础上才能计算出系统的性能，而后者可通过表达式直接求出系统的性能指标。 Petri网定义