公路沿线交通标志视觉适应性分析

针对公路沿线交通标志牌和户外广告牌是否可以被驾驶员有效识别问题，给出一种公路沿线相关标志牌视觉有效性评估流程方法。模型可以根据相关标志牌的图像，通过图像处理方法获取标志牌的文字信息，并根据文字信息特征以及户外标志牌的设置位置与大小，自动分析所设计的标志牌在相关位置是否可以被相关人员认读，通过相关公路标志牌的检测表明：本文设计的方法可以有效确定相关标志牌的合理性。     

高铁发展对综合客运结构变动的影响

近10年来,我国高速铁路快速发展,正在深刻地改变着出行方式,高铁正在成为大众出行的首选。本文从高铁发展对综合客运结构影响的角度入手,依据参加交通运输部专题调研获取的数据,深入分析了高铁对公路营业性客运、民航客运的影响。研究表明,高铁对并行公路客运班线带来了巨大冲击,很多线路出现停运;对并行的中短距离(1000km以内)民航客运影响较大,部分航线也出现了停运,但对长距离(1000km以上)民航客运影响相对有限,民航在长距离出行领域仍具备较大优势。最后,提出了3条措施建议,以便为各级交通运输主管部门决策提供参考。     

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

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

河钢塞钢对中国港口开拓海外市场的启示

面对机遇与风险并存的局面,中国港口企业如何学习河钢塞钢管理团队的成功经验,在"走出去"的过程中,用最短时间实现最大化发展近几年,随着"一带一路"倡议转入实体层面的推动,中国港口企业纷纷走出国门,积极开拓海外市场,投资项目的数量和规模不断扩大,取得了不错的成绩。     

基于模糊优选法的一级公路与近距离平行的公路铁路交叉方案比选研究

公路建设中可能遇到与公路或铁路交叉的问题,交叉方案的选择影响着项目的工程造价、运营安全等.目前国内外针对公路与铁路和公路与公路之间交叉方案的选择已较为成熟,但对于在同一点位发生与公路、铁路同时交叉的问题鲜有研究.通过工程实例,对一级公路与近距离平行的公路铁路同时交叉问题给出多种解决方案,并利用模糊优选法选择出了最优方案,为类似的工程设计提供借鉴.     

澜沧江航道建设工程溪口滩航道整治方案

以澜沧江Ⅳ级航道建设工程溪口滩航道整治为依托，针对溪口滩整治过程中需要提升航道等级、维持航槽稳定的问题，从溪口滩水沙运动规律、历史整治情况、来水来石特征等方面分析不同溪口滩险形成原因，提出修建拦石坝、溪口导流坝以及常年维护疏浚等治理措施，以达到提升航道尺度并维持航道稳定的目的。结果表明，在山区河流溪口滩航道整治过程中采用拦、导、疏等工程措施，能够解决溪口滩险碍航成滩的难题，可为类似工程提供参考。