FZy-CTC列车占用丢失报警功能的开发

根据铁道部要求FZy-CTC系统增加了列车占用丢失报警功能,对运输指挥起到了较好的指导作用。描述FZy-CTC系统如何抽象该需求,对列车运行轨迹进行逻辑检查,并最终实现列车占用丢失报警功能。     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

对广州市停车配建指标修订的思考

在介绍现行停车配建指标实施情况的基础上,提出了广州市停车配建指标修订采取的区域差别化、分类别停车供应、加强居住区停车设施、建设一体化交通系统等基本思路,以及建议的停车配建指标的主要成果.停车配建指标的实施将有力促进新形势下广州市停车设施的建设,增加停车位的有效供应.     

齐齐哈尔市中心城区电动汽车及充电设施需求预测研究

在目前能源危机和环境保护的双重制约下,发展电动汽车已经成为解决能源环境问题的新途径。为适应未来电动汽车快速发展的需要及充电设施的合理规划布局,电动汽车及充电设施的需求预测就显得尤为重要。文中分析了影响齐齐哈尔市电动汽车发展规模的影响因素,结合国内其他省市的经验,考虑齐齐哈尔市实际情况,对齐齐哈尔市中心城区的电动汽车和充电设施发展规模进行了合理预测。     

透水沥青路面结构与材料技术要求

传统的非透水路面易造成地下水位降低、水量分配不均衡、水质恶化、热岛效应等生态和环境问题。为了缓解这一系列问题,"海绵城市"的概念因此产生,即通过"渗、滞、蓄、净、用、排"等多种技术途径,实现城市良性水文循环,而这一概念的实现是采用透水路面。透水路面作为一种新型路面铺装技术,该研究对其路面结构和材料进行介绍,如能成功引用,将积极支撑起海绵城市的建设与发展,取得显著的环境和生态效益。     

基于作战需求的数据链网络消息更新率分析

以指控平台指挥作战飞机攻击敌机为例,分析了现代空战模式以及目标跟踪捕获和实施精确打击对消息更新率的要求,文章提出了一种基于作战需求的消息更新率的计算方法。按该方法要求的消息更新率设计的数据链网络,既能保证空战打击效果,同时又能实现系统有限资源的最大利用。     

高职高专院校工程造价专业人才培养探析

工程造价专业作为一个新兴专业,其人才培养必须了解社会需求及岗位需要,正确定位人才培养方向,明确培养目标,结合高职特色进行课程设置,并进一步完善和优化教师队伍。     

公路项目两阶段可行性研究的要求与区别

现阶段，对我国高速公路建设项目均应进行两阶段可行性研究。按其工作阶段和工作深度，可行性研究分为预可行性研究和工程可行性研究两个阶段，这两个阶段既相互联系又有很大区别。正确理解这两个阶段的工作内容、要求与区别，有利于更好地开展工作。     

城市轨道交通无人驾驶信号系统设计需求分析

城市轨道交通无人驾驶系统是一种代替司机行使列车控制和驾驶功能的信号系统。分析了无人驾驶技术在成本和节能方面的优势,就无人驾驶系统对车载子系统、轨旁子系统、停车场、日常运营服务的设计需求进行了分析。从设计层面看,CBTC(基于通信的列车控制)系统是最接近无人驾驶系统的信号系统,以CBTC系统为基础设计的无人驾驶系统或直接由CBTC改造升级为无人驾驶系统的方案是最为合理也最经济的选择。     

论碎石桩处理软地基

通过对碎石桩复合地基加固原理及施工中的工艺控制、检验、试验等措施方法。论证了碎石桩是比较好的软地基处理方法。