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

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

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

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

浅谈水闸基坑SMW工法桩围护结构施工及质量控制

南方平原地区水闸基础多落于软弱的土基上,由于地质条件差、周边环境复杂,通常采用SMW工法桩基坑围护结构,以确保主体工程安全、顺利施工.以横沥水闸重建工程基坑围护为例浅析了工法桩围护结构施工要点及质量控制过程,为同类工程提供参考.     

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

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

修补混凝土结构裂缝的BICS工法

混凝土结构被广泛应用于多种工程，解决开裂问题是决定混凝土结构能够满足使用需求和耐久性的关键。 日本SHO—BOND公司开发的BICSZE法在注入方法上突破了传统的方法。它利用合成橡胶管状注入器的自然弹性所产生的压力，将高分子树脂修补材料缓慢持续地压入裂缝中。     

盾构施工信息管理系统

1软件研发的背景根据北京地铁的建设经验和今后的地铁建设形势和规划,盾构工法已经成为地铁区间隧道的主要工法。2009年北京轨道交通共有12条线开工或者准备开工,投资强度大、     

道床轮廓测量系统的研制

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

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

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

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

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

上海东大盈船闸工程结构设计优化与创新

航运枢纽二线船闸的平面布置常受枢纽现有建筑物、土地资源等限制而调整余地有限。以上海东大盈船闸工程为例,通过对周边环境条件、施工条件、环保要求、使用条件等多方面分析,指出原船闸工程结构方案设计的不足,并提出外河引航道采用高桩承台叉桩式驳岸结构、外河导流堤采用高桩墩台导流堤结构、闸室施工采用SWM工法基坑围护结构等优化方案,解决了空间受限、资源紧缺和环保压力等情况下建造二线船闸的技术难题。