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

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

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

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

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

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

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

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

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

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

海上风机吊装运输船及其吊装方式的研究概况

介绍了国内外海上风电的发展情况和前景,风电场建设对风机吊装运输船的需求;阐述了海上风机吊装运输船的分类及风机安装方式的发展变化。     

基于植被生态需水的隧道排水量确定方法研究

隧道地下水大量渗漏易造成洞顶影响范围内生态环境破坏,针对如何确定合适涌渗水量以确保生态平衡问题,引入生态学、农学中有关植被生态需水概念,通过调研分析确定隧址区植被所允许的最大地下水位降深,结合地下水动力学方法以及经验公式,确定隧道涌渗水后地下水达到最大降深时疏干漏斗范围及体积;并通过疏干漏斗体积、涌渗水量以及储水系数关系确定隧道所允许排放的最大水量.结合算例并与实际工程中设计排水量进行对比,在考虑隧址区实际工程地质、水文地质条件情况下,所提出方法计算得出的排水标准与实际工程接近.该方法能够达到隧道工程与地下水环境生态平衡,可为隧道建设提供参考.     

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

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

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

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

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

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