基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。     

公路总承包项目管理软件开发及应用

针对公路工程总承包管理的特点和难点，广东省冠粤路桥公司以广珠段总承包管理模式和管理经验为基础，开发了一个适用于总承包管理模式的系统管理软件，采用不需要直接连接的双向异步复制方案解决了用电话进行数据传输速度慢、成本高的难题。     

半柔性路面的研究与应用

半柔性路面是指在使用开级配沥青混合料的大孔隙基体路面中灌入以水泥为主要成份的特殊浆剂而形成的路面,兼具沥青混凝土路面的水泥混凝土路面二者之所长。它的高温稳定性能,低温抗裂性能,抗疲劳性能,抗滑性能均优于普通沥青混凝土路面,同时具有耐油污,可着色等特性,本文介绍了半柔性路面的设计方法,施工工艺及国内外应用情况,为在我国尤其是北方地区推广半柔性路面作了有益的探索。     

中英码头船舶靠泊撞击能设计规范对比分析

对比分析了中、英规范关于码头船舶靠泊撞击能设计方面的差异,并通过实例进行了验算。研究结果表明:中国水运行业规范对影响船舶靠泊撞击能的因素考虑不全,计算结果偏小,动能系数取值不尽合理。建议修订计算公式中系数的种类和取值。同时,为海外项目船舶靠泊撞击能设计提供理论参考。     

富春江船闸扩建改造工程创新设计与实践

针对碍航闸坝瓶颈问题,以富春江船闸为例,全面总结已建枢纽实施船闸扩建改造工程的主要关键技术与创新设计,包括保留原船闸并紧接新建一座大尺度船闸的总体布置、船闸结构设计、新老船闸衔接输水系统、老船闸加固改造、坝下施工围堰等,达到既满足通航安全要求,又避免对大坝安全、防洪安全、电站发电等不利影响,对解决我国众多枢纽船闸碍航问题具有典型示范作用。     

天津地铁客流发展规律及特征分析

天津地铁网络化运营初步形成后,线网客流出现了急剧性增长特征。详细介绍了天津地铁线网客流成长过程、发展规律和客流特征,包括客流构成、客流时间和空间特征等,以期为其他城市轨道交通网络化运营过程中的运营管理及客流预测、分析提供参考。     

智慧轨道交通为冬奥会添彩

举世瞩目的第24届冬季奥运会2022年2月4日将在北京-张家口开幕.北京成为世界上首个举办过夏季和冬季奥林匹克运动会的城市,也是世界上首个举办冬奥会的首都城市.然而北京距张家口赛场170多km,距延庆赛场70多km,其交通问题的解决方案引起了人们的关注.     

中心地空间理论在地铁换乘枢纽设计中的应用

从地铁换乘枢纽设施的组成、分类方面,将克里斯塔勒中心地空间理论引入换乘枢纽的平面布置设计,提出按照换乘枢纽流线组织,将设施分为高级中心、次级中心、低级中心,并结合影响服务区进行布局的方法,以北京南站换乘枢纽为例,验证中心地空间理论在地铁换乘枢纽设施布置设计方面应用的有效性。     

武汉循环工业发展评价与建议

对武汉历年循环工业发展进行纵向比较,并横向与全国循环工业平均水平及部分城市循环工业进行比较,通过SPSS统计软件实行因子分析对武汉循环工业发展进行评价,找出武汉循环工业发展的优势与不足,并提出武汉发展循环工业的建议。     

电喷柴油发电机组在海洋钻井平台上的应用

本文讲述了电喷发电机组发展的必然性,介绍了CAT3500B系列电喷发动机结构特点,3500B系列电喷发电机组控制逻辑以及电喷发电机组电子控制原理,指出新型电喷发电机组强大的人机交流功能是未来发展趋势。