在消息到达时触发离散事件图表块
这个例子展示了当在设施中生成部件并执行质量保证时,如何在消息到达时触发离散事件图块。在本例中,比较了离散事件图和Stateflow®图块的行为。这两个区块都需要Stateflow®许可证。该示例显示,离散事件图块在消息到达时立即执行,而不等待下一个采样时间命中。
在本例中,在part Generation块中生成了一个部件,并将其发送到Quality Assurance块以进行部件的质量控制。评估之后,Quality Assurance块输出验证过的部分。
该模型被进一步修改,以将验证过的部件发送回部件生成块,并从该部件发送给客户。对于本例中的两个模型,求解器都设置为固定步
步长1
,对于所有Stateflow®图表块,使用启用超级步骤语义
选中“选项”。有关更多信息,请参见超步语义(Stateflow).
模型描述
在PartQualityEvaluationModel
模型,零件生成由离散事件图表块建模,零件生成图表由Stateflow®图表块建模。两个块包含相同的状态转换逻辑,包括两个状态,CreatePart
而且WaitForQA
.
的
CreatePart
状态表示的生产部分
在π
秒。
的
WaitForQA
状态代表等待品管部门为之部分
的验证。
类似地,质量保证是由离散事件图表块建模的,质量保证图表是由使用Stateflow®图表块建模的。两个块包含相同的状态转换逻辑,包括三个状态,WaitForPart
,评估
,完成了
.
的
WaitForPart
state表示等待生成的部件。
当零件到达时,块转换为
评估
状态表示评估过程的开始。
后
1
第二,评估完成,块过渡到完成了
状态。
部件离开块,块转换回
WaitForPart
状态。
仿真结果
模拟模型。观察连接到质量保证块的范围块。块输出之后的部件4.14
秒,也就是3.14
零件生成所需的秒数1
S表示质量控制。
观察连接到质量保证图表块的范围块。块输出之后的部件5
秒,也就是4
秒的部分的生成和1
二是由于步长固定,对其质量进行控制1
.这种差异是基于离散事件图的精确计时属性。有关更多信息,请参见离散事件图精确计时.
进一步修改模型
开放PartQualityControlShip这是修改后的模型,将处理过的部件发送回部件生成块以进行运输。在PartQualityControlShip
模型中,修改后的部件生成图和部件生成图块包含相同的附加状态和转换集。
在零件生成和零件生成图表块中:
的
审查
国家代表对质量控制报告进行审查ProcessedPart
.当ProcessedPart
返回,块转换为审查
状态。
当审查完成后
√6 (2)
秒,块过渡到船
状态。
当处理过的零件被运送给客户时,块转换回
CreatePart
状态以生成一个新部件。
仿真结果
模拟修改后的模型。观察经过处理的零件在之后离开零件生成块5.55
秒,也就是4.14
零件生产和质量控制所需,出货前审查所需。
观察加工后的零件离开零件生成图8
秒,也就是5
用于零件生产和质量控制,2用于装运前审查,以及1
用于块的静态调度。
观察序列查看器块。由两条蓝线包围的每个时间网格行都包含在同一模拟时间发生的事件。序列查看器窗口按时间顺序垂直显示事件,并使用线性和非线性显示的组合。有关更多信息,请参见使用序列查看器来可视化消息、事件和实体.
的ProcessedPart
从质量保证模块发送到零件生成在4.1
零件的到达立即触发离散事件图块。在时间5
,ProcessedPart
从质量保证图发送到零件生成图。然而,零件生成图等待下一个采样时间命中6
消息到达后执行。
在一个采样时间内,零件生成图执行第一,质量保证图执行第二。这就是为什么零件生成图表块等待下一个采样时间命中作为顺序中的第一个块执行的原因。