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

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

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

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

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

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

真诚求好稿 办刊为读者

<正>中国《汽车工业研究》创刊于1986年,29年来已出刊250期(2015年3月)。是国内管理类期刊中创刊历史较长、仍保持创新活力与市场地位的杂志之一。《汽车工业研究》是全国经济管理类核心期刊,国家经济管理理论重点学术期刊,被中国核心期刊(遴选)数据库、中国期刊网、中国科学引文数据库等权威数据库收录。知网、万方网、蜘蛛网等为合作伙伴。《汽车工业研究》由国家新闻出版总署批准,国内、外公开发行,中国汽车产业惟一的软科学期刊。国际标准刊号ISSN1009-847X,国内刊号CN22-1231/U。办刊方向是"聚焦汽车产业战略、探讨汽车产业走势、追踪汽车产业动态"。     

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

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

航海类大学生恋爱心理调查与对策分析

文章通过问卷调查，发现航海类大学生恋爱心理总体健康．恋爱方面存在的问题包括对婚前性行为态度过于开放，困惑于异性选择及交往技巧，在与异性交往中存在自卑感，而对未来职业缺乏规划也导致找对象中存在焦虑等问题，并针对上述问题提出了相应的对策。     

中外航海模型仿真制作之比较——兼谈航海模型制作的真实性

第十六届世界航海模型仿真外观项目锦标赛于2012年9月22日至30日在克罗地亚的滨海城市里耶卡举行,来自世界各国的250多名选手展示了350多艘航海模型,参加7个大项目的比赛,有帆船、划桨船模型,舰船模型,船结构模型,袖珍船模型(1:250或以上     

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

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

船舶待闸时间浅析

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

应用自适应网络模糊推理系统的sugeno模糊模型辨识

给出了一种模糊系统建模的有效方法。首先用减法聚类对系统输入输出数据进行聚类，然后用自适应网络模糊推理系统建立系统的sugeno模糊模型，这样解决了因输入变量高维引起规则的组合爆炸问题以及隶属函数形状和模糊规则不能自动选择的问题。