落拉河特大桥预应力砼连续刚构箱梁的施工

落拉河特大桥连续刚构箱梁0#～23#梁段及2#双薄壁主墩的施工经验,在地质情况复杂、施工期短、施工质量有舷特殊要求的情况下很有实用价值,这项工程收到了明显的经济效益与社会效益.     

钠掺杂碳包覆磷酸锰锂纳米材料的制备及电化学性能

采用高温固相法一步合成掺杂钠型碳包覆Li1-x Nax MnPO4纳米材料,利用现代仪器分析手段表征了材料的物相、形貌和晶体结构,并考察了其作为锂离子电池正极材料的电化学性能.XRD分析结果表明,钠的掺杂没有改变LiMnPO4材料的橄榄石型正交结构,样品的结晶度好、纯度较高;SEM分析结果显示,随着钠含量的增加,样品粒...     

SS3型电力机车转向架中间横梁裂纹原因分析与对策

从SS3型电力机车转向架中间横梁裂纹集中发生在中间横梁Ⅰ与侧梁连接的焊缝处或侧梁与中间横梁Ⅰ定位板下焊接缝处的现状,分析认为与构架受力状态和中间横梁的强度不够有着直接的关系,提出了构架补强措施.     

电子测量仪器故障检查方法

电子测量仪器在使用中,会出现各种不同的故障,要想排除故障,首先就需要查找出故障.文中介绍了电子测量仪器故障检查的方法,可供同行参考.     

新建地铁控制中心大屏幕系统的设计优化

地铁控制中心的大屏幕系统能够便捷地为调度人员提供直观的信息显示,但也因为能耗大、维护成本高等诸多原因而饱受争议.分析了大屏幕系统在使用过程中存在的争议,提出了大屏幕系统设计的优化和改进措施.随着运营需求的不断增加和对大屏幕系统要求的不断提高,在进行大屏幕系统设计时,必须在合理规划运营需求的同时,积极探讨和使用新技术、新工艺.     

一种远程维护自动公交报站器的设计

针对传统报站器现场维护模式的弊端,设计一种完全基于远程维护的自动报站器,采用文本转语音模块,实现远程转线、远程更新线路信息、远程更新站点信息,并给出实际应用中遇到的问题及解决办法。     

Behavior-consistent service substitutions in dynamic environments

In this paper, a novel approach for service substitutions based on the service type in terms of its interface type and behavior semantics is proposed. In order to analyze and verify behavior-consistent service substitutions in dynamic environments, we first present a formal language to describe services from control-flow perspective, then introduce a type and effect system to infer conservative approximations of all possible behaviors of these services. The service behaviors are represented by concurrent behavior expressions （CBEs）. Built upon the interpretation of CBEs, behavior-consistent service substitutions are defined and analyzed by subtyping technology. The correctness of the analysis approach is guaranteed by type safety theorem, which is mechanically proved in the Coq proof assistant. Finally, applications in web services show that our method is effective and feasible.     

隔离式减振垫仿真分析

隔离式道床垫作为一种新型的轨道减振产品,近年来,在国铁和城市轨道交通建设中得到了广泛的应用。本文通过建立隔离式减振垫的有限元模型,研究其固有频率和动力学响应,分析隔离式道床垫的减振性能,为实现减振轨道结构的合理选用提供参考。     

港口斗轮取料机回转减速机的国产化改造

对黄骅港现有取料机在使用过程中回转减速机出现的故障进行了详细的分析,完成了减速机的国产化改造,降低了故障率.     

玉柴YC6L在上海公交中的应用与优化

采集上海市郊与市区结合的城市客车路谱工况,记录实际道路行驶大量数据并对其进行分析;提炼出路谱信息,应用到Cruise整车模拟计算中,对YC6L发动机性能等参数进行优化。