基于HCSP的列控系统安全性建模与验证分析

高速铁路列车运行控制系统是保证列车安全、高效运行的核心设备,如何验证系统功能的正确性从而提高系统的安全性是至关重要的。引入了一种基于进程演算的方法—混合通信顺序进程（HCSP ,Hybrid Communication Sequential Process）,利用该方法对列控系统进行了形式化描述,并针对典型的场景—注册与启动场景进行了HCSP建模,通过引入转换规则,进行了相应模型转换,应用模型检验工具UPPAAL进行了仿真和功能验证,验证结论表明了场景模型功能的正确性以及方法的可行性。     

城市轨道交通动态OD矩阵分析及估计模型研究

客流动态起讫点（OD）矩阵是城市轨道交通实现动态运营管理的重要基础,准确地估计动态OD矩阵对城市轨道交通实际运营管理水平的提高有着重要意义。文章从空间方面分析了起讫站点性质、终点站吸引量、线路属性、起讫站点是否同线的影响,从时间方面分析了列车发车间隔、OD间换乘次数和距离的影响。构建了城市轨道交通动态OD矩阵估计模型,并选取北京市城市轨道交通网络的局部区域作为验证案例,对所提出模型的估计效果进行研究分析,所得结果表明,文中的模型较采用历史数据进行估计,在早晚高峰时精度提高约4%～10%、平峰期时精度提高约8%～17%,同时在15 min、30 min、60 min粒度下全日平均精度分别提高8.67%、11.75%、3.46%,验证了模型的可行性。     

非线性船波问题的数值分析

通过对慢船兴波速度势重新进行分解，给出各分量新的量级假定，分析简化了船波问题的非线性自由面边界条件，利用耦合元方法对非线性船波问超进行了数值计算，重点讨论了自由面条件中各项的影响大小及其与船型的关系。     

高平潮水位传递在远岸水深测量中的探讨及精度分析

阐述了在远岸水深测量中采用高平潮法传递水位的原理、提出了该法应用的假设前提、分析了误差源,通过工程实例验证其可靠性,并分析了图栽水深的主要误差源,给出了精度估算.工程实践证实,该方法合理解决了在大面积(100km2以上)远岸港口工程水深测量中水位控制的难题.     

基于Fluent的水反应金属燃料发动机喷管流场分析

主要介绍从优化发动机的喷管结构方面,提高水反应金属燃料发动机的性能.运用Fluent软件,计算了喷管结构在不同几何参数条件下,发动机喷管附近的流场分布情况,分析了不同的流场分布对发动机性能的影响规律,并优化设计了最佳性能下的水反应金属燃料发动机喷管结构.试验结果表明,优化后的水反应金属燃料发动机的性能有了明显提高.     

自锚式悬索桥车桥振动分析

提出了基于ANSYS正则振型的汽车、自锚式悬索桥空间振动的有限单元模型,以佛山平胜大桥车桥系统振动为研究对象,运用自编程序计算了不同车辆数目、车辆间距、不同路况以及不同车速时车流通过桥梁时车桥动力响应及冲击系数,所得结果可供自锚式悬索桥设计参考。     

盾构隧道管片衬砌结构纵向刚度问题初步研究

研究目的:盾构隧道在穿越地质条件或者地表建筑物差异大的路段时,管片衬砌结构在纵向将产生较大的内力和变形,故在盾构隧道管片衬砌结构设计中,必须考虑其纵向力学问题. 研究结论:(1) 盾构隧道纵向等效刚度系数计算公式为:ηX=kxlkxl M1G1ls(1-1n)(X表示拉、剪切和弯曲).(2) 通过进行简化有限元计算,得出单线地铁区间盾构隧道纵向抗弯等效刚度系数近似取为:ηM=0.05.     

平面二维数学模型在山区河道水电站工程中的应用

采用平面二维数学模型数值模拟了20年一遇洪水条件下电站工程修建前后山区河道内水位和流速的变化情况。数值模拟结果表明电站工程修建后,在设计洪水条件下,河道内的水位变幅不大,流速分布平稳。通过下游消能防冲设施处理后,工程的修建对河势稳定影响较小。