External equality and absolute equality coincide in finite CCS and <Emphasis Type="Italic">π</Emphasis> calculus without summation

External equality and absolute equality are defined model independently by Fu. It is interesting and important to know whether these two equalities coincide or not. There are some results in Fu’s paper for this issue. It is relatively easy to prove the coincidence if the summation operator is in the language, otherwise it is harder. In fact Fu proposed it as an open problem whether the two equalities coincide in some languages without summation. In this paper, the proofs of the coincidence in finite CCS and π calculus without summation are given.     

基于部分随机用户平衡的可靠性网络设计

为减少交通事故导致的路网性能不确定性,基于部分随机用户平衡描述交通事故影响下的路网状态,建立了可靠性网络设计问题的双层规划模型.上层模型将期望总行程时间作为路网可靠性指标,并将其与投资费用的加权和作为优化目标;下层模型综合考虑出行者信息的不完备以及交通事故影响的局部性,扩展了部分用户平衡模型,描述交通事故发生时的交通流模式.用基于蒙特卡洛模拟的遗传算法求解模型.算例表明:与已有确定性网络设计方法相比,本文方案鲁棒性更好,在需求水平为100、150和200辆/h时,社会成本平均增加了18%,社会成本的增加率随交通需求的增加而减少.     

农村公路网等级结构灰色多目标优化模型研究

通过分析当前农村公路网等级结构确定方法,指出路网等级结构确定方法中优化目标的优先顺序以及在约束条件下的技术系数和资源约束都存在灰度的问题.运用灰色系统理论原理,构建了农村公路网等级结构灰色多目标优化模型.该模型使公路网规划者在农村公路网等级结构确定存在灰度的情况下,得到满意可行的结论.     

带有压力补偿模块的容积式阀位指示器

文章分析了造成容积式阀位指示器在船舶液压阀门遥控系统中应用产生误差的因素,介绍了一种新颖的带有压力补偿模块的容积式阀位指示器.这种阀位指示器可在系统工作压力高、控制管路长的工况下有效提高阀位指示器的测量精度,可广泛应用于大型船舶液压阀门遥控系统.     

山区公路穿村镇路段过境车辆事故严重程度推理分析

为获取道路线形、驾驶员属性、车辆类型、事故形态等因素对山区公路穿村镇路段过境车辆事故严重程度的影响机制。本文基于元双公路(元谋—牟定)2012—2017年事故数据,利用社会网络分析法从人、车、路、环境等方面筛选出15个影响因素;基于机器学习方法构建贝叶斯网络模型;以事故严重程度为决策变量,分析不同证据变量与驾驶员行为共同作用的推理结果。结果表明：不安全驾驶行为与危险事故因素的共同作用,将会增加事故严重程度;当涉及货车时,由于未保持安全距离,伤人事故率增加8.2%;在弯坡组合路段,由于驾驶员判断失误,伤人事故率增加 19.6%;阴雨天行驶时,由于驾驶员判断失误,伤人事故率增加5.4%;由于操作不当,发生侧翻事故时,伤人事故概率增加3.1%。     

基于累积前景理论的城际列车分时定价研究

城际客流具有时段分布不均衡特点,表现为高峰时段一票难求而低峰时段客座率低。为均衡客流、提高城际高铁收益,选取客运通道内不同时段车次进行差别定价。考虑旅客选择行为的差异性和有限理性,采用潜在类别分析对旅客进行分类,选取票价和时段价值两个影响因素, 建立双参照点的旅客平行车次产品效用模型,以累积前景值刻画异质旅客对平行车次的出行效用。基于累积前景值构建以铁路企业收益最大,旅客广义出行费用最小的分时定价双层规划模型,设计基于灵敏度分析的启发式算法求解。最后以南宁-北海为例对高峰、非高峰时段平行列车进行实例分析,结果表明,本文提出的分时定价方法能提升收益约2.5%,且高峰、非高峰时段的客流更加均衡。     

非饱和黏性地基土的土-水特征曲线试验及模拟

内地港口地基土在地下径流和降雨入渗作用下,多为非饱和土,其土-水特性影响港口地基稳定性。以安徽淮北港非饱和黏性地基土为研究对象,开展不同初始含水率、初始干密度、竖向应力以及干湿循环次数下的土-水特征曲线(SWCC)试验。研究发现:初始干密度和竖向应力对非饱和黏性地基土SWCC的影响相似,对进气值、初气值、脱湿速率、吸湿速率和残余饱和度影响较大;初始含水率对土体脱湿、吸湿速率影响较小,随着初始含水率的提升,进气值、吸气值、残余饱和度递增;随着干湿循环作用的增强,进气值和出气值的衰减逐渐削弱。结合地基土土-水特性,修正几种常用的SWCC模型,模拟不同工况下的SWCC,通过评分的方式得到适用于淮北港非饱和黏性地基土的推荐模型。研究成果可为不同工况下非饱和黏性地基土的土-水特性及港口地基稳定性研究提供参考。     

福厦铁路玉塘洋特大桥台尾路基垮塌原因分析及处理措施

东南沿海地区滨海软土特别发育,临时工程的不当设置,将影响铁路工程路基的稳定。结合福厦铁路玉塘洋特大桥台尾路基垮塌实例,对垮塌原因进行分析,提出了以桥代路方案,实施结果保证了路基工程的稳定性,和福厦铁路施工的顺利推进。     

橡胶沥青性能影响因素的试验研究

为了正确控制橡胶沥青工艺,采用不同胶粉种类、胶粉细度、拌和温度、基质沥青类型等制备橡胶沥青,进行针入度、软化点、弹性恢复以及SHRP等试验,分别测试橡胶沥青的高温性能、低温性能、抗老化性能等,研究各因素对橡胶沥青性能的影响,得出20目橡胶粉掺量以16%~18%较为合适的结果。     

双螺旋折流板换热器最佳螺旋角的研究

为了研究换热器的传热性能与双螺旋折流板换热器的螺旋角的关系，通过建立多个不同螺旋角的管壳式换热器模型，运用数值计算的技术手段对其进行模拟，并对其数值模拟结果进行对比分析。结果表明：双螺旋折流板换热器存在最佳螺旋角使得换热器的换热性能最优。相同换热器结构的条件下，壳程进口流量对双螺旋折流板换热器的最佳螺旋角没有影响。随着壳径的增大，双螺旋折流板式换热器的最佳螺旋角有下降趋势。