基于Timed-UML顺序图的RBC交接形式化建模与分析

在CTCS-3级列控系统中,采用RBC技术将线路划分成多个管辖区段。当列车行驶并跨越相邻RBC交界区域时,控制权将会移交至前方相邻RBC,整个过程称为RBC交接。在运行中,RBC交接过程能否实时安全可靠地执行,直接影响着列车的行车效率和乘客的生命安全。采用一种基于添加实时约束的UML顺序图与时间自动机结合的模型来建立RBC交接场景。以双车载电台的RBC切换策略出发,建立切换的Timed-UML顺序图模型,然后按照UML-TA转换规则,建立得到完整的时间自动机网络模型。并利用UPPAAL验证工具对RBC交接模型进行形式化建模及分析,对模型的死锁和功能实现做了验证,从而达到对CTCS-3级RBC子系统的实时性以及设计规范合理性的验证目的。     

石太高速公路甘陶河特大桥病害检测及加固设计

对甘陶河特大桥采取外观调查、无损检测、荷载试验等方法发现,该桥存在各种裂缝,采用压力化学灌缝术保护涂料封缝等措施对其进行治理,取得了良好的效果,值得推广使用.     

硅酮胶灌缝材料在沥青路面的应用

简要简介了硅酮胶灌缝材料在沥青混凝土路面的应用。     

灌芯配筋混凝土砌块砌体开洞剪力墙试验研究

通过三片两层灌芯配筋混凝土砌块砌体开洞剪力墙片的低周反复荷载试验，较为系统地研究了开洞灌芯配筋砌体剪力墙的破坏过程，破坏模式，承载力和抗震性能，试验研究结果表明，灌芯和配筋后，明显改善了砌体结构的变形能力和承载能力，使结构具有类似钢筋混凝土开洞剪力墙的性能，其试验和分析研究结果可供设计和研究人员参考。     

沥青路面裂缝加热修补工艺及灌缝机的研制

针对沥青路面出现的裂缝病害问题,提出了一种新的修补工艺,并对新型GF-260型沥青路面灌缝机的结构性能特点进行了介绍。     

钻孔压灌超流态砼桩在地基处理中的应用

通过工程实例介绍了钻孔压灌超流态砼桩在地基处理中的应用,详述了该桩的特点、适用范围、工艺、质量控制措施、施工中易出现的问题及解决办法,并把该桩与冲孔灌注桩进行了技术对比,认为此桩型在工程实践中取得了满意效果,具有很大的优越性,进一步表明该桩型具有明显的经济效益和广阔的应用前景。     

浅谈风积沙填筑路基施工工艺

在内蒙古哈磴高速公路建设中担任监理工程师的工作中 ,通过实践总结出风积沙填筑路基的施工方法 ,这种工艺方法在风沙资源比较丰富的地区切实可行。     

UML建模机制及其应用

文中以一个求职就业网站为背景，探讨了利用统一建模语言（UML）进行面向对象分析及面向对象设计，并对系统进行了功能建模，静态建模和动态建模，此建模语言能够形成统一的，标准的各种视图，如用例图，类图，状态图等，解决了领域专家。软件设计人员和客户之间交流的难题。     

拱上建筑加载顺序对主拱圈的影响

以钢管混凝土肋拱桥为例,根据结构有限元理论建立空间分析的有限元模型,研究了拱上建筑加载顺序对主拱圈变形及受力的影响,从而选择更为安全的拱上建筑施工加载顺序.     

凌云大桥横梁吊装方案比选及稳定性评估

当涂凌云大桥跨径组合为29.4m+80.5m+93m+80.5m+29.4m,中间3跨为中承式钢管混凝土拱桥结构,两端25.55m为上承式钢筋混凝土拱桥(半拱),文章对横梁吊装顺序进行比选,并对所选方案进行静力计算和稳定性评估,验证了所选方案的可行性。