基于MSC与UPPAAL的高铁跨界临时限速建模与验证

临时限速服务器是高铁列控系统的重要组成部分,其不仅要校验CTC下发的临时限速命令,还要与相邻调度台临时限速服务器之间进行频繁的信息交互,因此对其安全性和实时性要求也更苛刻。为了满足高铁列控系统对其运行的要求,采用时间自动机理论和消息顺序图(MSC)相结合的方法,首先建立跨界临时限速命令的MSC模型和时间自动机子模型,再利用UPPAAL验证工具对形式化语法BNF描述的时间自动机子模型属性进行验证。根据仿真验证结果确认了跨界临时限速信息的安全性和受限活性,为进一步开发临时限速服务器功能提供了重要的依据。     

为现代化物流开创模式——访中山市中炬东协物流有限公司

在中山市火炬高技术产业开发区，有～家被同行称为开启综合配套的现代化物流模式、被加工贸易企业誉为可让企业赢得时间价值和库存价值的物流“保姆”企业。这就是在我省乃至全国运输、物流业都颇有名气的中山市中炬东协物流有限公司（下称“中炬东协物流”）。     

轨道车辆吸能装置碰撞试验与数字仿真研究

以某城市轨道车辆的防爬器为研究对象,重点进行了与防爬器铝合金材料率相关的应力应变曲线测试、防爬器碰撞试验及相关的数字模拟计算。研究表明Johnson-Cook本构模型能够很好地模拟该防爬器材料在大应变变形或材料失效时的物理力学特性,且数字模拟计算的塑性变形过程与碰撞试验结果保持了合理的一致性;防爬器加速度、纵向位移的仿真结果和碰撞试验数据相对误差均小于10%,满足EN15227-2008的防撞性验证要求。因此通过试验数据对有限元分析模型进行校正,可以提高有限元模型的精确度,为以后改进和优化车体结构提供参考和帮助。     

最美是平凡 朗逸1.6L手动品悠版新车3100公里感受

有一种人,你会一见钟情;还有一种人,看似平凡,但她的魅力会在日后交往中不断展现;其实,车也是如此,朗逸便属于后者。     

交通时刻表信息查询系统的发展新趋势

<正>目前欧洲对现代化旅客信息服务提出了新要求:不同的旅行出行方案、到达和出发时间、晚点时分;而且要求能在任何地点任何时间,迅速、简单、全面地向旅客提供这些信息。移动手机在这里发挥着重要的作用,应用软件形式的时刻表信息起到导航器的作用。这种发展趋势使原来在家里计算机上进行时刻表信息的查询方式日益被智能手机和图标信息所取代。时刻表应用软件,如德国铁路公司的D B导航器越来越受到欢迎。     

天生爱运动——大运运动弯梁骐爽DY110-20活力上市

春意渐浓,你是否早已按捺不住内心的悸动,想要去追逐那久违的阳光?无需犹豫,请即刻出发!大运新晋运动型弯梁——骐爽DY110-20已经打破束缚,飒爽登场,以矫健身姿闪耀街头,邀你共享运动激情!运动健将英姿飒爽初见骐爽,其动感时尚的产品魅力就给人留下了深刻印象。作为大运弯梁家族的一员,骐爽在继承"国民车"大方、简洁的造型基础上,融入了更多青春潮流的个性元素。当你站在这个率     

为新太原建设发挥道路运输基础作用——访太原市道路运输管理局局长任选平

“对于山西省太原市道路运输管理局来说，刚刚过去的2008年是一个很不平凡的年份，也是全市运管系统工作时间紧、任务重、应对突发事件多的一个年份．我们致力于管理方式的转变和发展方式的转型．同时，更加注重运管机构的社会管理和公共服务职能建设，为加快‘太原经济圈’和推进‘新太原’建设较好地发挥了道路运输业的基础、先导和服务作用。”     

船舶待闸时间浅析

通过对船舶待闸时间的分析，建立理论计算公式，从经济角度合理确定船闸建设规模。     

新型钢-混凝土组合梁桥面板设计与施工技术研究

为解决钢-混凝土组合桥梁的桥面板传统浇筑方法施工带来的不足,现依托深圳市东部过境高速公路翠宝路高架特大桥项目,创新性地提出一种新型钢-混凝土组合箱梁桥面板,并提出相应的新型施工工艺,提高施工效率并减少对桥下空间的影响.经数值分析计算,证明在实际工程中采用该新型桥面板的施工工期大幅减少,对桥下交通的影响也大幅减少,可产生较好的综合效益.新型钢-混凝土组合箱梁桥面板成功解决了传统现浇混凝土桥面板现场施工的技术难题,为今后同类型桥面板施工带来新的选择及突破口,具有巨大的潜力,值得广泛推广应用.     

关系数据库的空值与数据依赖满足性变换算法

讨论了关系数据库的空值与数据依赖满足性变换算法，并给出了有关的定义、规则、定理与变换算法。