《表3 中间人节点库所关联逆子矩阵》
提示:宽带有限、当前游客访问压缩模式
本系列图表出处文件名:随高清版一同展现
《基于着色Petri网的铁路时间同步协议建模及安全性分析》
将以上16个颜色集元素统一用符号x1~x16表示。根据图5所示着色Petri网模型,可得到该模型的关联矩阵,为了便于分析计算,这里列出其关联逆矩阵,且未列出全0行和全0列。根据所属库所分类,将整个逆矩阵拆分为4个逆子矩阵,分别为2级时间节点库所子矩阵、1级时间节点库所子矩阵、中间人节点子矩阵和ch1~ch8子矩阵,如表1~4所示。
图表编号 | XD0050294000 严禁用于非法目的 |
---|---|
绘制时间 | 2019.04.01 |
作者 | 兰丽、张友鹏 |
绘制单位 | 兰州交通大学电子与信息工程学院、兰州交通大学光电技术与智能控制教育部重点实验室、兰州交通大学自动化与电气工程学院 |
更多格式 | 高清、无水印(增值服务) |