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

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

常德汉寿沅水大桥施工控制

文中结合常德汉寿沅水大桥主桥施工监控实践，主要介绍了连续箱梁悬臂浇筑施工控制的结构仿真计算模型，分析了结构体系转换对箱梁挠度和应力的影响；并通过在各个施工阶段进行施工参数实时识别，将识别得到的参数用于下一施工阶段的实时结构分析、重复循环，使系统模型参数的取值趋于精确，实时调整主梁立模标高，从而使成桥状态尽可能达到设计要求。     

自平衡试验等效转换的附加压缩量修正

提出一种新的自平衡试验数据简化等效转换方法,它考虑了自平衡加载方式下底层荷载箱以上桩体发生的压缩量及其转换后桩顶加载方式下的压缩量,对等效转换的桩顶位移进行附加压缩量修正,并给出了单层及双层荷载箱的计算公式;算例对比分析表明,这种方法比其他他简化转换方法确定的极限承载更准确,而且有更高的等效转换曲线相似性。     

道床轮廓测量系统的研制

线路道床及边坡的整形作业,既要保证道床有足够的横向阻力,又要避免道砟的浪费,提高线路道砟资源的利用率,降低线路建设成本.由此可见对道床轮廓的准确测量是十分必要的.以激光测距扫描为基本原理,对激光束扫描道砟表面的回波进行信号转换和处理,将得到的激光发射点到道砟的距离和激光束的角度,形成所测道床的实际轮廓;通过图像比较可得到道床实测轮廓与标准轮廓的偏差:经过系统的积分计算,得到该断面道砟量的盈亏;在车行过程中对道床连续扫描,将全部断面的测量结果进行积分计算,可以得到该段线路道床道砟的总量盈亏,为线路补砟提供准确依据.     

没有最好只有更好--访南京春兰汽车公司总经理徐群

从一家生产家电的巨头，到汽车行业的“黑马”，春兰的角色转换非常成功。那么今后春兰汽车之路还能走多远?带着这样的疑问，我们专门走访了春兰汽车公司。     

基于鳍片式热电模组的船舶柴油机废气余热利用及其影响因素分析

摘 要：设计了一种鳍片式热电转换模组,并将其应用在船舶柴油机废气余热回收系统中,通过理论和实验,分析鳍片式热电转换系统的影响因素。结果表明：当柴油机负荷为75%,热电晶片总数为1428,排气温度550K 时,设计的鳍片式热电模组发电功率为6.72kW,热电转换效率可达5.42%。排气温度、冷却水温度以及柴油机负荷都会影响热电转换系统性能。随着柴油机负荷的提高,热电转换系统发电功率和转换效率也随之增大,但负荷在75%之前增大的幅度大于从75%~100%的负荷。热电模组鳍片数量会影响转换系统的热端温度和传热量,在条件允许范围内,可通过增加鳍片数目,提高废热回收效率。     

中国与孟加拉国抗震设计地震加速度转换的探讨

孟加拉国的建筑工程采用中国标准时,当地标准提供的地震加速度值不能直接采用.为了进行中国与孟加拉国标准抗震设计地震加速度的换算,从地震加速度的基本概念、定义和确定方法入手,对中孟标准地震加速度取值问题进行了比较研究.结果表明:1)在场地类别划分的规定上,孟标的SA类场地与中标的I0场地基本对应,这是中孟标准地震加速度转换...     

厦漳大桥测量坐标系与桥轴线坐标系的转换原理及其应用

该文阐述了,根据厦漳跨海大桥Ⅳ标段南汊主桥、南汊南引桥路线在平面上为直线段,为方便施工放样及模板调整,通过坐标转换,建立桥轴线施工坐标系。     

桩柱式桥台在桥梁设计中存在问题的探讨

该文主要介沼泽区河流上桩柱式桥台锥坡随河床移动,带动台后路基下沉、搭板尾路面横裂,危害行车安全及桥台设计问题的分析。