为解决现有铁路车站作业系统仿真模型建模过程复杂、适用范围有限、效率不高等问题,根据站场布置图,用进路冲突图描述车站列车进路及进路关系,并在此基础上建立了适用于不同站场布置图的赋时有色Petri网(timed colored Petri net,TCPN)...为解决现有铁路车站作业系统仿真模型建模过程复杂、适用范围有限、效率不高等问题,根据站场布置图,用进路冲突图描述车站列车进路及进路关系,并在此基础上建立了适用于不同站场布置图的赋时有色Petri网(timed colored Petri net,TCPN)仿真模型.车站作业过程仿真结果表明:TCPN仿真模型性能与结构稳定,适用于包括高速铁路在内的任意铁路客运站站型图的作业过程仿真及优化;冲突图模型与现实车站系统相似程度高,对车站布置图的描述精度与施工图精度相同,最高可达毫米级;与传统铁路车站仿真软件手工建模过程相比,冲突图模型建模效率高,建模过程耗时小于1 s;仿真过程咽喉进路最高负荷为70%,到发线最高负荷为35%,列车到达正点率100%,出发正点率91%.展开更多
带抑制弧的时延着色Petri网(Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA)是一种描述实时嵌入式系统的模型。给出了从TCPNIA到时间自动机的结构化转换算法,以利用变迁冲突调解机制保证TCPNIA模型和转换后的时间自动机模型语...带抑制弧的时延着色Petri网(Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA)是一种描述实时嵌入式系统的模型。给出了从TCPNIA到时间自动机的结构化转换算法,以利用变迁冲突调解机制保证TCPNIA模型和转换后的时间自动机模型语义等价;并给出了语义等价的证明和算法复杂度分析。层次化方法被用来提高模型检测的时间与空间效率。通过实际案例展示了该技术的应用和可行性。展开更多
为发现情境感知服务之间存在的显性和隐性干扰,提出采用赋时着色Petri网(timed colored Petri net,TCPN)对情境感知系统建模,通过对模型进行仿真分析发现服务之间潜在的干扰。对TCPN及其相关规则进行了形式化的定义,然后讨论了用TCPN对...为发现情境感知服务之间存在的显性和隐性干扰,提出采用赋时着色Petri网(timed colored Petri net,TCPN)对情境感知系统建模,通过对模型进行仿真分析发现服务之间潜在的干扰。对TCPN及其相关规则进行了形式化的定义,然后讨论了用TCPN对情境感知系统建模的方法,使构建的模型反映情境感知系统真实运行中的情况,主要讨论了对服务行为的建模和对情境变化的建模。利用提出的建模方法结合建模仿真工具CPN Tools对阿尔茨海默病患者智能辅助系统进行了建模和仿真,通过仿真结果分析发现了服务之间显性和隐性的干扰,验证了该方法的有效性。展开更多
文摘为解决现有铁路车站作业系统仿真模型建模过程复杂、适用范围有限、效率不高等问题,根据站场布置图,用进路冲突图描述车站列车进路及进路关系,并在此基础上建立了适用于不同站场布置图的赋时有色Petri网(timed colored Petri net,TCPN)仿真模型.车站作业过程仿真结果表明:TCPN仿真模型性能与结构稳定,适用于包括高速铁路在内的任意铁路客运站站型图的作业过程仿真及优化;冲突图模型与现实车站系统相似程度高,对车站布置图的描述精度与施工图精度相同,最高可达毫米级;与传统铁路车站仿真软件手工建模过程相比,冲突图模型建模效率高,建模过程耗时小于1 s;仿真过程咽喉进路最高负荷为70%,到发线最高负荷为35%,列车到达正点率100%,出发正点率91%.
文摘带抑制弧的时延着色Petri网(Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA)是一种描述实时嵌入式系统的模型。给出了从TCPNIA到时间自动机的结构化转换算法,以利用变迁冲突调解机制保证TCPNIA模型和转换后的时间自动机模型语义等价;并给出了语义等价的证明和算法复杂度分析。层次化方法被用来提高模型检测的时间与空间效率。通过实际案例展示了该技术的应用和可行性。
文摘为发现情境感知服务之间存在的显性和隐性干扰,提出采用赋时着色Petri网(timed colored Petri net,TCPN)对情境感知系统建模,通过对模型进行仿真分析发现服务之间潜在的干扰。对TCPN及其相关规则进行了形式化的定义,然后讨论了用TCPN对情境感知系统建模的方法,使构建的模型反映情境感知系统真实运行中的情况,主要讨论了对服务行为的建模和对情境变化的建模。利用提出的建模方法结合建模仿真工具CPN Tools对阿尔茨海默病患者智能辅助系统进行了建模和仿真,通过仿真结果分析发现了服务之间显性和隐性的干扰,验证了该方法的有效性。
