消息顺序图相关论文
C3+ATO系统目前在我国处于试验发展阶段且具有自动化等级高、安全标准高等特点。为验证具体场景下高速铁路C3+ATO系统功能是否符合......
随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行......
长期演进（TD—LTE）系统HARQ过程是移动通信系统中终端（UE）与基站进行数据传输的一个非常重要的过程。针对LTE协议采用HARQ作为其关键技......
临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全。在TSRS系统研发过程中需对系统进......
针对网络游戏软件测试方法研究方面的不足，结合基于模型测试方法和TTCN测试技术，对网络游戏软件可玩性的测试方法进行研究。采用MSC......
根据跨组织工作流的设计思想,在对供应链业务流程进行分析的基础上,提出了一个基于消息顺序图和Petri网的供应链工作流模型设计方......
