一种改进的航路容量评估模型

容量评估是进行流量管理的前提和基础.航路,作为目前国内空域结构的基本组成单元,其容量评估的准确性将直接影响到流量管理实施的效果.但是,针对军事活动因素对航路容量的影响,国内外研究成果甚少.文章在分析原有航路最大容量模型的基础之上,通过研究军事活动存在情况下航路的运行特性和运行方式,建立了有军事活动影响下的航路容量评估模型,通过对算例进行分析,验证了模型的有效性和可行性.      

高速公路施工质量控制

影响施工质量的因素很多．除了要有严密的施工组织设计,好的施工方案．详细的科学管理办法和内部质量保证体系外,关键是在于如何落实．如何在具体措施上下工夫,并且大力推广新材料、新工艺,以科技含量高的施工方法提高工程质量。笔者根据多年的施工管理实践,下面就如何搞好质量控制谈谈体会。     

增大截面加固技术在某公路危桥改造中的应用

结合某公路危桥改造实例,介绍了增大截面加固技术的优点以及在公路危桥改造中的实际应用。     

蠡湖街道核心保障区畅流活水工程施工组织设计

为实现骨干河道“长流、长清”的目标,在节水减排、控源截污等治本措施同步实施条件下,经现有工程的合理调度和增加活水动力设施及局部控制工程建设,通过实例蠡湖街道核心保障区畅流活水工程建设必要性及施工组织设计研究,可为类似工程提供借鉴意义。     

基于形式化方法的平交道口控制系统安全设计

铁路平交道口控制系统是一种典型的安全苛求系统，为提高铁路平交道口的安全性，提出一个能适应双线双向接车的自动控制系统.首先，分析现有铁路平交道口的作业流程，利用新的控制系统解决现有系统中常见的三个问题，即出清检查、制动距离限制、连续接车中防护门短时间开放问题；其次，基于Event-B语言以及精化策略对设计的自动控制系统建立形式化模型；最后，检查证明义务以验证需求属性是否被满足，并应用动画器Animation展示系统功能的正确性.结果显示：相比传统的道口管理系统，本文提出的自动控制系统增加了双线连续接车功能，且使用形式化建模和验证，避免系统设计中存在的二义性，对平交道口安全管理有一定的参考意义.