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

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

模糊多属性航线评估决策方法研究

航线评估是航空公司进行航线决策的重要依据。为解决模糊多属性航线决策问题,在航线属性权重完全未知,但航线评估模糊语言信息已给出的情况下,本文将评估模糊语言和模糊偏好信息转换为梯形模糊数,利用梯形模糊数之间总偏差最小建立一个二次规划模型,从而确定航线决策中各属性的权重,通过对航线属性值和权重值进行加权平均运算,比较每条航线模糊综合评价的期望值大小,进行航线评估排序,最后通过一个实例验证了该方法的可行性和有效性。结果表明:该方法可用于航空公司解决权重未知的多属性航线评估决策问题,方法科学有效。     

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

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

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

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

沥青路面抗疲劳断裂半刚性基层强度标准研究

为确保水泥稳定碎石（CSG）基层在交通荷载反复作用的情况下不出现疲劳开裂，提出了基于结构与材料一体化控制的CSG材料强度标准的确定方法；研究了CSG基层的力学特性和疲劳特性，建立了力学强度增长模型、力学指标间的关系模型和疲劳方程；推荐了四川省典型沥青路面抗疲劳断裂的CSG基层强度标准。研究发现:CSG的各项强度指标都随养生龄期呈非线性增长，采用骨架密实结构有利于提高CSG的力学强度。提出的力学强度增长方程可以准确预估不同龄期CSG的力学强度；提出了控制疲劳开裂的CSG基层7天无侧限抗压强度标准与7天劈裂强度标准的确定方法，该方法能实现结构与材料一体化设计，可进一步提升CSG基层的疲劳寿命。     

强化铁路检修车管理的思考

如何准确、均衡地扣修铁路运用车辆,既保证维修单位任务完成,又满足提高运输效率要求,是铁路运输管理的难点之一。本文以南宁局集团公司为例,总结分析针对检修车扣车不均衡、检修车超定量问题,采取集成数据,编制检修车管理指导子系统,强化检修车的监控与预测、扣车追踪、动态管控、均衡扣车等措施的落实效果,旨在为有效提升检修车管送能力,确保运输用车需求提供借鉴。     

考虑拥堵空间排队与溢出的道路网静态交通流分配

为刻画拥堵空间排队与溢出现象对交通流分配的影响，提出考虑拥堵空间排队与溢出的道路网静态交通流分配问题，并构建相关的求解算法，用于描述交通需求在起讫点移动过程中路网整体的宏观运行状态。首先，丰富和完善考虑拥堵空间排队与溢出的静态交通流分配的相关假设，提出次生瓶颈、拥堵干扰与渗透和分段化路段阻抗等基本概念和理论，来刻画拥堵交通瓶颈、拥堵空间排队等交通现象；其次，建立网络瓶颈识别算法和空间排队回溯算法，基于此构建考虑拥堵空间排队和溢出的增量分配算法，用于求解交通流分配的结果；最后，通过使用一个具有说明型的算例进行对比分析。研究结果表明：建立的瓶颈识别、排队回溯和增量分配算法可以识别路网中的瓶颈位置及其拥堵排队区域，并可计算得到各路段上的分段分配流量；与点排队只影响瓶颈路段的运行状况和均一的路段分配结果相比，可有效描述路网整体的宏观运行状态以及由于拥堵空间排队所导致的拥堵干扰与渗透现象；不同于“时间片”的伪动态交通流分配模型，新建算法的分配结果是“全时段”与“整体性”的路网宏观运行状态，包含了拥堵瓶颈的具体位置和空间排队的干扰与渗透情况；一般拥堵点排队模型和基于“时间片”的拥堵空间排队模型难以刻画拥堵干扰与渗透现象以及路网整体的宏观运行状态，故所建立的分配方法是对传统拥堵交通流分配的丰富和发展。     

加强高职院校基层党建工作研究与实践——以广东轻工职业技术学院信息技术学院为例

加强党对教育工作的全面领导,是办好教育的根本保证。认真调研分析当前高职院校基层党建工作存在的主要问题,并以广东轻工职业技术学院信息技术学院党建工作实践为例,提出应对措施,把基层党建工作落到实处、落到细处,以期对加强新时代高职院校基层党建工作提供参考,助推基层党建全面进步全面过硬。