排序方式: 共有14条查询结果,搜索用时 15 毫秒
1.
2.
随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转换的顺利进行是实现列车安全跨线运营的基础。通过系统功能分析,建立了系统多分辨率功能模型,以识别等级转换场景需求;根据场景需求,结合现行系统规范,完善了CTCS-1级系统等级转换场景的方案;采用基于UML的NuSMV建模与验证方法,建立了等级转换场景的UML模型和NuSMV模型,并验证了场景模型的活性、确定性等属性,从而证明了完善后的场景方案满足场景需求,且符合系统规范。文中对CTCS-1级系统等级转换场景的探讨可为相关规范的修订提供支持。 相似文献
3.
粉煤灰条块在水土保持坡改梯中的应用 总被引:1,自引:0,他引:1
为了降低水土保持坡改梯等工程的造价,可以采用粉煤灰条块代替条石。粉煤灰条块是用水泥、煤渣、粉煤灰、水按一定比例混合,加压成型、高温养护制成。介绍了粉煤灰条块的生产工艺及优越性。与条石相比,粉煤灰条块具有质量轻、造价低、工效高、劳动强度小、施工方便、工期短、美观实用、废物利用等优点,并且,使用粉煤灰条块代替条石可减少开山取石,本身就有减少水土流失的作用。 相似文献
4.
5.
刘中田 《CAD/CAM与制造业信息化》2002,(10):31-31
9月26日,香港电讯盈科主席李泽楷与华夏银行董事长陆宇澄、中投信保董事长孙家琪一道,宣布三方合作正式推出一项初期投入达4亿元人民币的金融服务计划。根据合作意向书,三方将密切配合国家制造业信息化工程的进度,在观念、解决方案和资金三方面提供支持,帮企业排忧解难。这种银行、企业、担保公司三方合作的金融服务首次在内地出现。电讯盈科此举当然是针对制造业信息化这个越做越大的蛋糕,然而这块蛋糕就好像放在一个沉重的玻璃罩子里,看得见,要吃到则有一些难度。 相似文献
6.
正在建设的时速300km/h以上的高速铁路已采用CTCS-3级列车运行控制系统.车地信息交互流程是影响CTCS-3级列控系统的效率、可靠性和安全性的主要因素之一.基于时间自动机理论对车地交互流程进行建模与验证具有重要意义.首先将车地交互流程分为4个典型的子流程:任务启动流程、正常行车流程、RBC切换流程和任务结束流程,然后针对这些子流程建立无线闭塞中心(RBC)、车载设备(ATP)和铁路专用移动通信网(GSM-R)的时间自动机网络模型,最后利用时间自动机模型验证工具UPPAAL进行仿真分析,验证了CTCS-3级列控系统的车地交互流程的安全性和受限活性. 相似文献
7.
2005年四川省大竹县在江水河小流域实施的坡改梯工程中,应用了粉煤灰条形柱代替条石进行坡改梯的埂坎砌筑,经过运行,取得了如下效果:第一,单价降低,投资减少。从运费、安砌费看,安砌1m3粉煤灰条形柱单价190元,比安砌1m3条石低36元,可节省16%左右的造价,直接经济效益明显提高。第二,工效提高,工期缩短。安砌1m3粉煤灰条形柱只需人工2.7个工日(不包括基槽开挖),比安砌1m3条石节省1.6个工日,工效提高37%左右,工期也相应缩短。第三,劳动强度小,技工量少。1m3粉煤灰条形柱比条石重量少600kg,用粉煤灰条形柱砌改梯埂坎的原材料转运和安砌的重量要… 相似文献
8.
9.
根据已有的钢筋混凝土柱双向拟静力实验研究的结果,给出了一种考虑双向弯曲耦合作用和轴力变化的弹塑性分析方法,该方法根据弹性状态下的曲率分布,近似计算钢筋混凝土柱发生塑性变形后的曲率,从而省去了弹塑性分析过程逐步积分试算杆端曲率的过程。本文通过计算结果与实验结果的比较,证实了该方法既能大量节省计算机的存储空间、提高计算速度,同时又能够保证计算结果的有效性和准确性,若将此方法用于结构的整体计算中,将大大提高计算精度和计算效率。 相似文献
10.