基于区内出行比例的城市交通小区半径计算方法

针对国内城市交通小区划分多靠定性分析的情况,分析了国内外交通小区划分方法,提出了基于区内出行比例的交通小区半径定量计算方法。基于交通小区半径和出行距离的三种不同组合,推导出了相应的区内出行比例计算模型,利用Excel软件的VBA编程功能,进行了三者之间的数量关系计算,通过对区内出行比例的控制,得出交通小区半径的合理范围。实例计算结果表明:当区内出行比例范围为5%～10%时,西安中心市区交通小区的合理半径在0.7～1.1km之间,而实际调查区内出行比例为9.28%,交通小区半径为0.9km,调查值与计算值接近,小区半径定量计算方法可行。     

基于路面不平整度的车辆振动响应分析方法

为了分析路面与车辆的相互作用,提出了四自由度1/2车辆模型相对于不平整路面耦合振动分析方法。根据GB/T7031-1986建议的公路路面功率谱密度的拟合表达式,在分析了运行汽车固有振动频率和行驶速度的影响后,获得分布在一定频率范围内的离散功率谱密度数据,利用离散傅立叶逆变换得到路面不平度值,并以此作为1/2车辆垂向动力学模型的输入激励,通过数值仿真得到运行车辆系统在不同路面不平整度下的时域响应。分析结果表明:车辆动荷载系数随车速增大呈线性增加,随路面等级变差呈非线性增大,路面等级是影响车辆动力作用的最显著因素。     

交通分配的粒子群优化算法

为了方便合理地分配交通量,提出了交通量多路径分配的粒子群优化算法。算法的求解方法是在粒子群算法中构造了路径条数维的粒子空间,每维对应一条可行性路线,其值为对应路径所分配的交通量;对粒子进行归一化处理,使交通量守恒,并进行交通量的多路径分配;根据目标函数评价与筛选粒子,直到满足终止条件。实例计算结果表明:利用粒子群算法得到的目标函数值最小,各路段分配的交通量没有超容量现象,模型求解过程具有方向性,对交通分配的网络规模无限制,因此,粒子群优化算法可行、合理。     

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

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

支援干扰下火控雷达反干扰能力分析磁

支援干扰是火控雷达面临的主要干扰战术样式。分析了三种不同类型支援干扰的特点，根据火控雷达配属于防空火力系统，必须满足火力系统对空射击的需要，在计算火控雷达自卫距离基础上，建立了支援干扰下火控雷达反干扰能力评估模型。在想定作战背景下，应用评估模型对火控雷达抗支援干扰的能力进行了计算和分析。评估模型考虑了采取固定多点跳频、随机数字编码跳频和脉冲压缩等技术措施后对火控雷达反干扰能力的影响，具有一定的应用价值。     

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.     

教学实习船“育明”号挡火风闸安装情况分析

上海海事大学48000DWT远洋教学实习船"育明"号是目前世界上吨位最大、设施最先进、功能最齐全的教学实习船。它虽然以散货船为母型船,但由于舱室布置和通风管系复杂,所以挡火风闸的安装布置也较普通散货船复杂很多,基本上SOLAS公约中涉及挡火风闸的各类条款,在该教学船上均有所体现。     

电感式传感器在吊具导向轮检测中的应用

汽车涂装车间设备种类繁多,许多运动设备故障隐蔽,在日常巡检过程中不易发现,常由于小问题而酿成大的设备损坏及安全事故。通过引入电感式传感器检测技术,有针对性的创新改造,实时在线的对这些设备进行监控,达到设备故障提前检测、预防维修的目的。     

浅谈城市轨道交通线路设计

为了提高城市轨道交通线路设计质量及工作效率,促进城市轨道交通又快又好发展,对线路设计的总体性、复杂性、阶段性3个特征进行了分析,总结了线路平面、纵断面、横断面、辅助线、调线调坡设计内容,提出了线站位方案研究的技术路线与方法,以及方案比较时需重点考虑的影响因素.     

浅析TDCS中心架构方案的网络冗余性验证方法

针对高速铁路的快速发展,铁路通信网络瞬间中断将会对铁路行车指挥造成严重的后果,包括业务不能访问和由于网络故障导致业务数据丢失等问题。以TDCS中心网络为研究对象,从网络架构方案入手,搭建网络冗余性验证模拟环境,制定整体验证方法,并分别从链路冗余验证和HSRP验证2个方面验证了TDCS中心架构方案的网络冗余性。验证表明:当TDCS中心网络发生意外故障时,网络仍然能够正常通信,关键业务不会造成数据丢失,为铁路行车安全提供了稳定数据网络传输保障。