LDRA TestBed在CTCS2-200C扩展单元软件测试中的应用

介绍了LDRA Test Bed软件测试工具和CTCS2-200C扩展单元,以CTCS2-200C为例,通过对软件进行静态和动态测试,参照EN 50128:2011标准,提高了整个软件开发生命周期中的各项验证和确认活动效率,降低了软件的风险。     

角色自律分散系统的RN-C形式化描述方法

旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础.角色随时空变化的动态表达取决于系统的自律度和环境条件.在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素.应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述.指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点.     

连续索桁组合钢桥非线性分析

以某3跨连续索桁组合钢桥为研究对象,在索桁组合结构非线性分析理论的基础上,结合有限元技术,考虑几何和材料非线性的影响,建立了索桁组合结构的非线性计算模型。通过对运营荷载和环境腐蚀作用的模拟计算,研究了该索桁组合结构非线性特征,得到了结构呈现非线性状态时的屈曲荷载,以及锈蚀对结构非线性的影响程度。     

广汽日野与中联重科签署战略合作协议

自2011年1月1日开始，广汽日野与中联重科正式结成战略合作伙伴关系。根据协议内容，中联重科2011年全年计划购买广汽日野底盘4000辆，其中首季度提车1200辆。     

特种荷载作用下高速铁路路基本体参数敏感性研究

为研究高速铁路路基本体参数对特种荷载的敏感性，建立有限元模型并设计正交试验进行参数敏感性分析。参考汉巴南客专CRTSⅢ型板式无砟轨道-路基结构，结合瞬态动力学理论与人工边界方法，进行参数化有限元建模；设计正交试验，改变路基本体材料参数得到相应动力响应；利用极差分析和方差分析两种方式研究路基本体力学参数对特种荷载的敏感性。结果表明：路基本体弹性模量E对各项动力响应的敏感性最大且远大于其他参数，适当采取压实措施增大路基本体弹性模量对高速铁路路基承受特种荷载有显著防护效果，但结合振动加速度a计算结果，E值应该控制在150 MPa左右最为合适；路基本体填料塑性参数c、φ对特种荷载作用下高铁路基动力响应影响作用较小，即机动站坪设计对岩土填料种类并无特殊要求。     

世界文学视域下的茅盾文学奖作品外译研究

本文将茅盾文学奖作品的英译与布克文学奖作品的汉译进行比较研究，结合世界文学研究的基本范式和理念，探讨茅盾文学奖外译所涉及的跨文化交流的诸多因素，通过分析评奖委员会、作者、译者、出版社与评论者五方在作品翻译、出版与接受过程中所起的作用及存在的问题，提出相应的策略。对于茅盾文学奖作品的英译与接受，本文认为各方应该在已有观念和角度的基础上结合其译介的现状及存在的问题进行反思，在远观的视野下，发挥合作力作用，让诸多复杂因素合力推进英文读者对茅盾文学奖英译作品的阅读兴趣和理解深度，以提高文化传播的效度，深入了解中国文化内核、中国社会现实与现状以及中华民族的精神，进而促进文化传播与文明互鉴。     

砂质粉质黏土深基坑渗透的现场监测结果分析

深圳市前海合作区滨海大道基坑底部砂质粉质黏土在雨季遇水浸泡后软化，发生渗漏、流砂险情。为此，对深基坑渗透的现场监测结果进行了分析。结果表明:①对砂质粉质黏土地基，基坑开挖时要避免长时间暴露，做好防排水措施。地下水的大幅度变化能很好地反映基坑渗漏水状况，底板浇筑能有效控制地下水水位以及支护桩位移的变化；②支撑轴力随时间发展普遍呈对数规律增大，并在基坑底板浇筑完成后有所下降。当支撑轴力随时间呈指数规律增大时，应引起重视。③基坑交叉或坑中坑开挖，在基坑阳角处增加背拉梁能有效提高支护结构整体稳定性，使基坑变形更协调，从而更好地保障基坑安全。     

轨道车辆吸能装置碰撞试验与数字仿真研究

以某城市轨道车辆的防爬器为研究对象,重点进行了与防爬器铝合金材料率相关的应力应变曲线测试、防爬器碰撞试验及相关的数字模拟计算。研究表明Johnson-Cook本构模型能够很好地模拟该防爬器材料在大应变变形或材料失效时的物理力学特性,且数字模拟计算的塑性变形过程与碰撞试验结果保持了合理的一致性;防爬器加速度、纵向位移的仿真结果和碰撞试验数据相对误差均小于10%,满足EN15227-2008的防撞性验证要求。因此通过试验数据对有限元分析模型进行校正,可以提高有限元模型的精确度,为以后改进和优化车体结构提供参考和帮助。     

双十字轴万向节特性分析及仿真优化

某款车在整车评价过程中出现转向力不均现象,针对此项问题,应用ADAMS软件建立转向系统双十字轴万向节传动动力学仿真模型。仿真结果表明转向节相位角空间位置不当可造成转向盘力矩波动,观察万向节传动的谐振运动,优化相位角使其力矩波动达到最小。     

高烈度区大跨连续梁延性抗震设计

以乌鲁木齐市北站路（八钢公路-机场高速）建设工程为工程背景，采用延性抗震设计方法，对高烈度区大跨连续梁结构在E1地震作用下采用反应谱分析，在E2地震作用下采用非线性时程分析，以Midas Civil 2019（v2.2）软件为工具，进行地震反应分析与验算，对该类桥梁的延性抗震设计提供了有益的参考。