论文部分内容阅读
对于铁路车站计算机联锁软件中的重要部分之一的进路模块，使用UML对其进行建模。针对UML没有精确语义、缺少模型分析和验证手段不足的缺点，利用具有严格理论分析方法的Petri网对模型进行形式化验证，保证模型的精确性和安全性。
基于UML建模的计算机联锁进路模块Petri网验证
【摘 要】
：
对于铁路车站计算机联锁软件中的重要部分之一的进路模块，使用UML对其进行建模。针对UML没有精确语义、缺少模型分析和验证手段不足的缺点，利用具有严格理论分析方法的Petri网
【机 构】
：
西南交通大学信息科学与技术学院
【出 处】
：
铁路计算机应用
【发表日期】
：
2017年4期
其他文献
休宁县位于安徽省最南端，这里自然资源十分丰富，山峰俊秀、峡谷幽深，但位于山脚下的岭脚村以前却是个贫困村。程彩玲就出生、成長在这里。看着生态优美的徽开古道穿村而过，程彩玲率先开办民宿，发展起了旅游经济。 “一花独放不是春，百花齐放春满园。”程彩玲始终觉得赚钱不重要，帮着全村人一起过上好日子才是最有意义的事。如今，村民们陆续富裕起来，程彩玲家却依然只有最初盖起的那栋小民宿，但她每天都是乐呵呵的，不仅
传统的广播控制系统单元已经难以满足日益发展的地铁旅客信息系统应用需求.文章提出下一代地铁广播控制系统单元（ACSU）的设计思路与实现方案.介绍其系统原理和功能划分,重点分
防溜铁鞋是防止铁路停留车辆发生移动和溜逸的重要工具,由于铁路线路分布范围广,停留车辆多,社会治安环境复杂,防溜铁鞋的管理成为困扰铁路作业人员的难题。如何利用现代通信
近日,愈演愈烈的贸易战,为全球经济注入不确定因素的同时,也让中国的稀土资源再次成为世人关注的焦点.提起中国稀土,就不得不提起一个人,他就是中国科学院院士、我国著名化学
荆州地处长江中游的荆江河段，历来自然灾害严重，清初荆州水灾尤甚。清初政府及荆州百姓采取各种赈灾措施，缓解灾情。研究清初政府在荆州的赈灾措施及制度，对促进荆州地域社会发展
采用多个相关专家组成一个专家决策群体，对群决策专家赋予不同的权重，构造每个专家的判断矩阵，采用几何加权平均法得出群决策比较判断矩阵，经过一系列计算得出铁路信息化评价考核
为实现规范、科学、准确、迅速的应急救援过程,基于多智能体救援技术对运营高速铁路重大事故灾后救援开展灾难重现式的救援研究.将多智能体救援理论和技术引入运营高速铁路重
近年来，我国体制转轨中个人收入分配的主要弊端逐渐显露，已引起整个社会的高度关注。从“基尼系数”着眼，可以明确这样一个事实，即我国当前收入分配的不平等现象是毋庸置疑的，但“
利用旋转矩阵原理对组成三维模型的点阵坐标进行处理,得到其在不同旋转角度下的以显示屏为图纸的二维坐标.同时结合GDI＋图形操作技术,对列车和钢轨的三维模型及ZPW一2000A型轨
采用虚拟化的逻辑区段代替实际的轨道占用检测设备划分轨道区段,这对自然环境恶劣、维修维护工作困难的高寒铁路具有重要意义.针对下一代列控系统的特点,对其虚拟闭塞技术展