深圳城市轨道交通工程盾构区间造价指标分析

城市轨道交通工程具有投资规模大,建设时间紧,专业涉及面广,工程技术复杂等特点。总结深圳市已建城市轨道交通工程的技术经济指标,针对盾构区间隧道工程,研究轨道交通工程建设标准和造价指标体系,为合理确定本地区城市轨道交通工程建设和造价标准提供科学依据。通过确定盾构区间各项主要指标,为政府投资决策提供技术支撑,以期对轨道交通高质、高效发展起到一定推动作用。     

一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

市域快轨超长隧道防灾救援模式研究

针对市域快轨中逐渐增多的超长隧道区间,即同一防火单元内存在多列车追踪又不能设置中间风井的区间,既有的设计规范及应用案例在防灾救援模式方面仍有不足之处,需要做进一步深入研究。在总结超长隧道区间防灾救援技术特征及现状基础上,从最大限度确保车辆及人员安全,提高超长隧道区间救援效率,降低对线路运营的影响方面,首次提出采用独立疏散通道+救援站的救援思路。相较于常规救援模式,该方案下事故区间待救援列车及乘客数均减半,而工程投资仅增加20%~30%,性价比较高,可为今后类似工程提供借鉴。     

集装箱生成量可拓聚类预测

分析了集装箱生成量可拓聚类预测的建模机制，构建出可拓聚类预测的物元模型，并用该模型对集装箱生成量进行了区间预测。     

车载产品小集合

此款产品利用车载点烟器为手机充电，伸缩式连接线长短易调、收放快速。其简单小巧的造型便于携带，电源接口适用于所有标准的车载点烟器，型号适用于诺基亚、摩托罗拉、索尼爱立信和西门子。     

确保两种须占用区间调车作业的安全

根据历年统计资料，在铁路行车事故中，调车事故约占70％，因此铁道部决心防止调车作业事故。近年内广泛采用无线调车灯显系统，大规模普及自动化驼峰，使调车事故发生频率得到有效遏制。但比较起站内调车而言，越出站界调车和跟踪出站调车这两种须占用区间的调车作业，值得引起各方面高度重视。现对此两种调车作业的性质、方法、注意事项及相关规定作一些分析探讨，以期对现场工作有一定的帮助。     

船舶总纵极限强度模糊可靠性研究

本文以模糊数学和结构可靠性基本理论为基础,分析了传统随机可靠性理论的不足,并在常规模糊可靠性理论研究的基础上,利用模糊集合与普通集合之间的转换关系,研究了模糊变量组合时的可靠性计算方法,拓展了模糊可靠性理论的使用范围.通过对模糊可靠度计算结果分析发现,模糊可靠性理论使设计更加科学,更加符合工程实际;模糊变量组合在船舶总纵极限强度可靠性上的应用,避免了传统计算方法由于变量统计数据不足而导致的偏差,减少了很多繁复的数学运算.算例分析验证了本文方法的准确性和实用性.     

中级轿车全攻略——8万～13万元

本期我们的“全攻略”介绍的是竞争最激烈，车型最多的中级轿车主力区间——8万～13万元区间，该区间也是整个车市的主力区间，其销量占据了全部轿车销量的30％以上，虽然该区间车型众多，但是可以很明显地分为三大类，一类是以凯越、伊兰特和福美来为代表的“新三样”：一类是以飞度、颐达、骐达、乐骋和雨燕等为代表的时尚车型：还有一类是以捷达、爱丽舍和菱帅等为代表的“老车型”。尽管中级轿车的购买群体相对比较复杂，但是以上三类都有销量不错的车型，满足了不同消费者的需求。中级轿车消费者群体对于品牌的要求不像中高级轿车车主那样高，对于价格的要求也不像微型轿车车主那样低，对于车辆的外形、配置和性能的要求和经济型轿车车主也有所不同。相对来说，他们更加注重的是包括价格、各种性能、外型、内饰以及售后服务在内的整体效果，和其他级别车型相比，中级轿车主要包括以下几个特点。     

区间2路电源智能化切换装置

分析了自动闭塞区间2路电源采用切换方式存在的问题，提出采用智能化切换装置，并介绍了该装置的硬件组成、软件特点、实现功能及使用效果等。