针对铁路移动闭塞系统中高速列车间隔动态实时变化的特征，结合Agent理论对Event-B方法中Machine动态属性进行改进，提出一种基于Event-B建模方法的高速列车追踪运行模型。给出高速列车追踪运行形式化控制策略，研究运行过程中速度变化关系、不同发车间隔时间对高速铁路运营的影响，得到相应的定量与定性分析。仿真结果表明，该模型能够准确描述高速列车追踪运行机理，有助于列车间隔动态控制，具有较强的适用性。
2022-03-22 22:12:22
474KB
1
主要介绍了使用JDBC操作MySQL需要添加Class.forName("com.mysql.jdbc.Driver")的相关知识，非常不错，具有一定的参考借鉴价值 ,需要的朋友可以参考下
2022-03-22 14:05:43
95KB
1
串口通信DLL，包括了串口数据发送，数据接收，数据接收等待...
该工程是一个实际应用于通信设备程序中的部分组件。
2022-03-21 11:59:56
19KB
1
vericut training 3_axis_mill_fanuc.mcd vericut training 3_axis_mill_fanuc.mcd
2022-03-20 10:53:30
14KB
1