【摘 要】
：
针对铁路移动闭塞系统中高速列车间隔动态实时变化的特征,结合Agent理论对EventB方法中Machine动态属性进行改进,提出一种基于EventB建模方法的高速列车追踪运行模型。给
论文部分内容阅读
针对铁路移动闭塞系统中高速列车间隔动态实时变化的特征,结合Agent理论对EventB方法中Machine动态属性进行改进,提出一种基于EventB建模方法的高速列车追踪运行模型。给出高速列车追踪运行形式化控制策略,研究运行过程中速度变化关系、不同发车间隔时间对高速铁路运营的影响,得到相应的定量与定性分析。仿真结果表明,该模型能够准确描述高速列车追踪运行机理,有助于列车间隔动态控制,具有较强的适用性。
其他文献
详细介绍了深圳坪山雨污水管施工地下雨污水管线的埋设方法,可供同类工程参考。
A detailed introduction of the construction of rainwater and sewage pipelines in Ping
文章针对2017年全国卷实用类文本阅读新的特点,理清连续文本和非连续性文本的概念,提出“群文阅读”的观点,并关注其与公务员考试中申论的关系;明确“群文阅读”的命题趋势,
近代中国军阀政治是一种特殊的军人政权,它是军人干政的产物。军人干政是由军队组织内部特征和外部环境双重因素决定的。中国传统君主专制体制面临现代化的挑战表现出很强的
分析证明某无证书代理盲签名方案对于无证书密码体制的2类敌手都不安全。类型I敌手利用公钥替换攻击,可以伪造任意原始签名者对代理签名者的代理授权,或伪造任意合法代理签名
自2014年以来,原油价格发生了巨幅下跌的状况,而且白金融危机以来油价从未像现在跌得如此猛烈。而原油价格暴跌受到影响的首当其冲是石油出口大国俄罗斯,作为俄罗斯货币的卢
为落实科学发展观、建设资源节约型社会和环境友好型社会，开发建设项目水土保持方案审批已成为项目核准的必备要件，正在向选优审批转变。开展水土保持损益分析就是为优化审批提
目的观察康莱特对化疗药物5-氟脲嘧啶（5-Fu）的最佳增效时间和最佳增效浓度,并探讨其发挥化疗增效作用的机制。方法采用MTT比色法观察不同浓度康莱特联合5-Fu对Hepal-6肝癌细胞
近年来,我国各大主要城市相继建立自己的中央商务区,并竭尽所能地聚集尽可能多的金融机构、金融市场,希望通过这种形式来提高城市经济的影响力。但是在金融聚集的过程中,人们