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

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

东风经销商里的"巾帼英雄"——访阜阳东风3S店总经理代利

清明节第2天是一个星期六,记者一大早就赶往位于阜阳经济技术开发区105国道旁的东风3S店,在2楼的办公室里见到此行的采访对象--东风3S店总经理代利.出乎我们的意料,代利不仅是一位女性,而且非常年轻.     

舰船图纸非几何信息存储与管理设计

分析了舰船图纸中各类非几何信息，介绍了这些非几何信息的存储方法，用程序实现了图纸设计中非几何信息的输入，增/删、修改，给出了以图纸设计为中心的非几何信息存储及管理流程图，举例说明了非几何信息存储及管理的应用，指出非几何信息的开发是未来舰船图纸设计的应用方向。     

临时便桥的状态评估及相应养护工作探讨

由于临时便桥的工期短、造价低、施工简便等特点,使得桥梁施工质量难以得到保证.对临时便桥存在的普遍问题进行了阐述,探讨了相应的状态评估方法,指出了养护工作的重点,并将该方法成功应用到深圳机场立交便桥状态评估及养护工作中.     

安讯士 让您在黑暗中看到光明

全球网络视频领先厂商—安讯士网络通讯公司（Axis Communications），日前对外正式推出一款集成安讯士最新“觅光者”技术、且性能杰出的固定型网络摄像——AXIS Q1602系列网络摄像机。AXIS Q1602／-E无论在室内还是室外。对于低光照度环境下的监控应用，均可提供完美的解决方案，尤其是当用户需要彩色图像来提升对监控对象的辨识度时，效果尤为明显。     

连续梁桥临时支撑拆除时机分析

针对挂篮悬臂浇筑施工的PC连续箱梁桥,结合实际工程,对其施工过程中及成桥后的内力、应力等方面进行对比分析,研究临时支撑于中跨合龙之前和之后拆除的差异.结果表明,针对工程的特定情况,采用临时支撑在中跨合龙之前拆除的工艺更合适.     

道路改造施工中的临时交通组织研究

为研究临时交通组织对施工的影响,结合具体工程,研究了不同临时交通组织方案,分析其对施工效率、成本及正常运营等方面的影响。研究结果表明,不同的临时交通组织对施工及正常的交通运行影响程度不同,在施工组织设计中应重视对临时交通组织方案的比选,充分考虑施工效率与成本等多方面因素,选择最优方案。