滇西南地区楔形体岩质滑坡变形破坏机制分析及治理研究

以墨江至临沧高速公路土建7标旗杆村滑坡为研究对象，以滑坡区工程地质条件分析为基础，采用深孔位移监测及钻孔相结合的综合勘察手段，查明了楔形体岩质滑坡的滑面分布位置及特征；结合其宏观变形破坏特征，从内因和外因两个方面阐述了其发生滑动的原因，从而总结归纳出该类滑坡的变形破坏模式。针对此类岩质滑坡，建立相应的力学分析模型，通过定性和定量的稳定性评价，提出不同的治理思路。最终通过经济和技术的比较，确定合理有效的支护方案。     

西非铝矾土进口海运供应链风险评估

在分析从西非到我国终端客户的铝钒土进口海运供应链(Bauxit Import Maritime Supply Chain,BIMSC)内部和外部影响因素的基础上,采用故障模式与影响分析(Failure Mode and Effects Analysis,FMEA)和模糊贝叶斯网络(Fuzzy Bayesian Network,FBN)相结合的方法,建立BIMSC风险评估方法的概念框架。采用FMEA辨识潜在的失效模式,并剖析失效原因和后果;根据失效模式潜在的因果关系建立贝叶斯网络;利用三角模糊数处理表征风险参数的不确定性,评估BIMSC风险水平,并进行敏感性分析,确定风险因子排序。研究结果表明,港口操作中的违规操作、违规指挥、货物易流态化和安全管理问题是主要的风险因素。     

复式断面明渠湍流的统计特征和拟序结构

应用直接数值模拟(DNS)方法，研究了复式断面明渠湍流的一阶和二阶统计特征，分析了湍流拟序结构在复式断面明渠内的分布规律。首先，针对平板边界层湍流问题对数值模拟方法的精度进行了验证；随后，分析了复式断面明渠的主流流速分布、二次环流强度和分布，以及二次环流对主流流速分布的影响，讨论了紊动强度和雷诺剪切应力极值大小和分布特征；最后，再现了复式断面明渠湍流的三维拟序结构，阐述了滩槽结合处典型“发卡”涡结构的特征及其诱发二次环流的机制。     

轨道交通车辆齿轮箱常见失效模式分析及对策

齿轮箱作为轨道交通车辆驱动系统的关键零部件,其可靠性直接影响到车辆的安全运行。文中分析了轨道交通齿轮箱常见的失效模式及原因,并有针对性地提出设计优化与改进建议,进一步提高齿轮箱的可靠性和稳定性。     

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

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（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方法更为有效.      

创新治理模式 打造幸福公交——访淮安市城市公共交通有限公司党委书记、董事长庄德军

近年来,淮安市城市公共交通有限公司(以下简称淮安公交)以打造“幸福公交”品牌为主导,通过创新发展理念、创新安全管理、创新活动载体、创新制度体系“四轮驱动”,努力构建淮安公交治理新模式,让“生活品质高,出门有公交”在淮安市逐步成为现实。近日,本刊(以下记作“城市公共交通”)专访了淮安市城市公共交通有限公司党委书记、董事长庄德军。