私人汽车对城市交通的影响与对策研究——以宁波为例

宁波市在经济发展迅猛、百姓购车热情高涨的情况下,正积极着手进行着城市交通网络的规划、优化工作,此项工作已经引起社会的广泛关注,优先发展公交的呼声也越来越高,这也是从根本上解决城市交通拥挤堵塞状况的必然选择.     

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

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

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

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

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

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

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

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

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

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

汽车制动真空助力器真空增压阀的应用与开发

介绍一种有效利用文氏管效应的汽车制动真空助力器真空增压阀的应用。还介绍了其设计原理、产品性能及测试结果。     

安装中央制动器的某型变速器的后壳体设计与开发

针对某型变速器后壳体进行改型设计,增加了安装中央制动器的结构,对改型设计及加强设计的后壳体进行了有限元分析计算、台架试验和道路试验。计算及试验表明,加强设计的后壳体强度完全满足使用要求,此状态的后壳体已进入批量生产阶段。     

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.     

隔离式减振垫仿真分析

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