北京城市铁路轨道建设采用的新技术

本文简要地介绍了北京城市铁路地面线轨道建设采用一次铺设无缝线路及钢弹簧浮置板隔震道床两项新技术的必要性、可行性 ,并简要地介绍了这两项新技术的施工工艺及其实施效果 ,其取得的成功应用经验可供今后我国城市铁路轨道建设借鉴。     

可拓知识库的构建

提出采用关系数据库构建可拓知识库，利用可拓学中物元、事元来描述知识中的信息单元及其联系，对信息单元相关性进行评级，利用关系数据库的特点能对可拓知识库进行查询、插入、删除、更新操作，采用程序推理式的语言描述知识，使计算机能自学习，实现人工智能构建可拓知识库。     

基于AdmiTest的CTCS-3级列控系统自动测试平台

根据CTCS-3级列控系统的特点,结合欧洲列车运行控制系统(ETCS)测试经验,研发基于通用测试平台AdmiTest的CTCS-3级列控系统自动测试平台CARSTool.CARSTool采用激励—反馈机制实现单系统或多系统的闭环测试,包含测试对象、仿真系统、链路、消息、激励、响应和测试序列等基本元素,具有线路工程数据配置、通信链路配置、站场线路配置、PI Object、仿真系统、列车运行仿真和自动测试序列7个功能模块.以郑西客运专线列控数据为例,采用CARSTool对CTCS-3级列控系统进行仿真测试.测试结果表明:通过规范化语法严格卡控测试步骤,根据CTCS-3级列控系统测试案例库以及激励—反馈信息判断测试项目的执行状态,CARSTool实现了测试计划、执行过程和测试结果的闭环处理;说明CARSTool能够实现CTCS-3级列控系统的自动测试.     

中国新型极地考察船冰载荷预估研究

本文针对中国新型极地考察船所受冰载荷进行了研究,其中包含了平整冰阻力和浮冰碰撞力.对于船舶设计者和建造者来说,船舶冰载荷的预估非常重要.本文采用经验公式方法计算了该船在平整冰中航行的冰阻力,并且与模型试验结果进行了对比.结果显示,计算和试验结果中的冰阻力都随船舶航行速度的增大而增大,经验公式方法可以预测出合理的平整冰阻力.通过计算得到了该船的性能曲线,即该船在不同厚度平整冰中航行所能达到的速度.此外,本文还考虑了该船与圆形浮冰之间的三维斜向碰撞问题,采用解析方法评估了浮冰对船舶的撞击力,研究了撞击位置、法向框架角度以及浮冰尺寸对碰撞力的影响.基于计算结果,本文就冰载荷的预测进行了讨论并提出了一些建议.     

简支组合梁抗火设计简化方法

根据现行《建筑钢结构防火技术规范》（CECS200：2006）中简支组合梁抗火承载力验算方法,提出了简支组合梁抗火设计的临界温度法,给出了临界温度的计算方法。对影响简支组合梁临界温度的参数分析研究发现：在确定的荷载比下简支组合梁的钢梁截面、材料强度、有效宽度等对简支组合梁的临界温度的影响较小,而耐火极限和楼板厚度对简支组合梁临界温度影响较大。给出了一般简支组合梁在不同楼板厚度、不同耐火极限下,不同荷载比对应的临界温度,可供工程设计使用。     

公路网络路线布局优化的双层规划模型及算法研究

首先分析了省、市级公路网布局的特点和要求,然后通过将连续变量离散化、引入双层规划模型,建立了适合省、市级公路网络的路线布局双层规划模型。最后研究了模型的求解算法,将模拟退火算法应用于公路网络路线布局优化问题中,应用V isual Basic 6.0语言开发了相应的算法程序。     

闽江水口枢纽坝下水位降落整治方法研究

枢纽下游河床遭受清水冲刷,河床下切、水位降落是普遍的规律,也是历来枢纽设计及航道整治中的重点和难点,文中针对闽江水口枢纽坝下水位降落幅度及河床地质条件,采用1:100正态物理模型与遥控自航船模相结合的研究手段,提出了若坝下水位降落幅度较小,且坝下河床冲刷已基本稳定,可采取潜坝或明渠及溢流坝方案治理;若坝下水位降落幅度较大,且坝下河床冲刷仍在继续,单纯解决通航问题可采取船闸改造或船闸加中间渠道方案治理。     

京津客运专线悬浇连续梁桥面平整度控制技术

结合京津客运专线悬臂浇筑连续梁的施工过程,介绍了主梁的整体线形及各节段间的接缝控制和桥面横向六面排水坡等平整度控制内容,对全桥合拢后桥面的平整度缺陷处理方法进行了阐述,对今后悬浇连续梁施工中的桥面平整度控制与处理有一定的借鉴作用。     

城市轨道交通综合枢纽安全应急水平评价研究

以城市轨道交通综合枢纽安全应急水平评价为主线,从资源配置差异等角度出发,采用系统工程方法,提出评价常态高峰客流疏散和突发事件应急救援水平的思路,并建立了相应的评价指标体系。     

基于TRSL的RBC等级转换场景研究

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。