基于Timed-UML顺序图的RBC交接形式化建模与分析

在CTCS-3级列控系统中,采用RBC技术将线路划分成多个管辖区段。当列车行驶并跨越相邻RBC交界区域时,控制权将会移交至前方相邻RBC,整个过程称为RBC交接。在运行中,RBC交接过程能否实时安全可靠地执行,直接影响着列车的行车效率和乘客的生命安全。采用一种基于添加实时约束的UML顺序图与时间自动机结合的模型来建立RBC交接场景。以双车载电台的RBC切换策略出发,建立切换的Timed-UML顺序图模型,然后按照UML-TA转换规则,建立得到完整的时间自动机网络模型。并利用UPPAAL验证工具对RBC交接模型进行形式化建模及分析,对模型的死锁和功能实现做了验证,从而达到对CTCS-3级RBC子系统的实时性以及设计规范合理性的验证目的。     

上下近接地下结构在地震作用下的动力响应分析

在地震作用下,探究上下近接、最小竖向净距2 m——地下商场和地铁车站的危险截面和相互影响规律。结合地铁抗震规范相关要求确立该工程的6种计算工况,建立三维模型运用时程分析法进行计算得出:相比两个结构单独存在,上下近接组合形式的结构动力响应均发生了一定量的增幅;结构构件距两结构相邻面越近,动力响应的增幅越大。因此,两个结构相邻面是地震发生时的危险截面。上下近接的地下结构的相互影响规律和危险截面等结论对以后的设计、施工能起到一定的指导作用。     

大众捷运不断电系统的可用度及可靠度分析

分析单一组件的历时可用度行为,探讨对数常态分布可靠度(中位数tmed以及误差因子EF)和指数分布维修度(平均维修时间MTTR)对其可用度的影响,得出数值分析结果:在固定稳态可用度ASS以及平均维修时间MTTR的情况下,中位数tmed越小(或是误差因子EF越大)的组件历时可用度越早单调下降且下降量越大,越晚回弹至其稳态可用度;在固定稳态可用度ASS以及误差因子EF的情况下,具有越大平均维修时间MTTR的组件历时可用度越晚单调下降但下降量不变,也越晚回弹至其稳态可用度.建立不断电系统可用度以及可靠度的分析模式,探讨正常供电、电池备援以及旁通供电3种不同模式对整体可用度以及可靠度的贡献程度,得出数值分析结果:正常供电模式贡献了绝大部分的整体不断电可用度;不考虑维修作业能力,整体不断电系统的可靠度参数MTTF为1184301h.     

单向记时制与多向记时制:中西文化时间观差异

归纳并提炼了不同文化时间观差异的五个维度，即对时间期限所持的态度、对时间顺序所持的态度、钟点时间与合适时间、long-tenn与short-tenn取向、one occurrence与multi-occurrence取向，并以这五个维度为切入点，详细阐述了中西文化时间观的差异——多向记时制与单向记时制。     

小流量下短时交通量预测最佳窗口长度与时间间隔

探讨了小流量情况下，路段短时交通量预测中的可变时间间隔及预测窗口长度对预测精度的影响，分析了不同间隔序列在反映交通流特性方面的差别和最适合的预测窗口长度，并建立神经网络模型对预测效果进行了定量比较，得到序列用于预测的最佳窗口长度和一组最优时间间隔，有助于预测算法的改进和预测精度的提高。     

Comments on “Case studies of shipping along Arctic routes. Analysis and profitability perspectives for the container sector” [Transp. Res. Part A: Policy Pract. 66 (2014) 144–161]

This paper points out an important factor that was neglected by “Case studies of shipping along Arctic routes. Analysis and profitability perspectives for the container sector,” when analysing the operating economy of Arctic routes. Further, this paper explains the idea that cargo has a time value. Arctic routes are likely to bring greater commercial value than the Suez, if cargo time value were to be considered.     

考虑车轮谐波磨耗的动车组车轴疲劳寿命

以CRH380BL型高速动车组为研究对象,基于车轮谐波磨耗的实测结果,建立刚性轮轨、刚性轮柔性轨、柔性轮刚性轨以及柔性轮轨4种不同轮轨关系下的车辆-轨道耦合动力学模型,通过对比分析4种模型的轮轨振动特性,得到最能反映真实情况的轮轨耦合动力学模型;基于车轴受力分析,采用有限元软件ANSYS进行车轴静强度计算;采用多体动力学软件计算考虑车轮谐波磨耗的车轴载荷时间历程;根据疲劳累积损伤理论,采用FE-SAFE软件分析考虑车轮谐波磨耗的车轴疲劳寿命。结果表明:柔性轮轨关系更能反映轮轨的真实接触状态;车轴轮座内侧圆弧过渡处的应力最大,为114.4 MPa;考虑车轮谐波磨耗的车轴疲劳寿命约为19.2 a;车轮谐波磨耗导致轮轨振动加剧,对车轴疲劳寿命产生明显不利的影响。     

Simultaneous modeling of individuals’ duration and expenditure decisions in out-of-home leisure activities

In this paper, we propose an activity model under time and budget constraints to simultaneously predict the allocation of time and money to out-of-home leisure activities. The proposed framework considers the activity episode level, given that the activity is scheduled. Thus, the model considers the decision of the quantities for duration and expenditure spent during the activity. We use a flexible utility function and show how the simultaneous equations can be estimated by using structural equations model (SEM) estimation techniques to handle the endogeneity problem of time and expenditure. The estimation results are based on a large national leisure diary data set collected in 2008 in the Netherlands, which provides detailed information about time and money spent as well as timing and location attributes of the activities. The analysis reveals that socio-demographics, travel party, timing and location variables influence the duration and expenditure of activity episodes. It shows that various socio-demographic groups display different preferences in terms of the time and money spent on activities. The results also indicate substitution relationships between spending more time and money for various activity categories. Thus it is concluded that the analysis provides useful results for a better understanding of combined time and money allocation decisions for leisure activities.     

康德时间哲学论纲

具体阐述了康德时间哲学的内容，分析了康德时间哲学对海德格尔存在哲学的影响，指出康德时间哲学在时间哲学史上的地位。     

电话交换网业务预测方法讨论

本文对电信规划中交换网业务预测的方法及应用进行了阐述。