基于变异模型的CTCS-3级列控系统测试用例自动生成方法研究

本文提出一种基于变异模型的CTCS-3级列控系统测试用例自动生成方法。根据列控系统需求规范,建立它的SMV（Symbolic Model Verifier）模型,对此模型进行变异,将变异之后的模型输入到模型检验器SMV中,利用模型检验生成反例的技术,自动生成测试用例,提高了测试用例的生成效率。并以CTCS-3级列控系统的无线闭塞中心（RBC）切换场景为例,验证了该方法的有效性。     

基于改进二次粒子群算法的汽车零配件配载优化

综合考虑汽车零配件物流运输配载过程中成本、资源及服务质量等决策要素,建立了汽车零配件配载优化模型。引入二次粒子群算法对该问题进行求解,并针对该算法在搜索早期粒子多样性低的缺点,提出了改进二次粒子群优化算法,它采用遗传算法的变异思想和互换更新机制来提高种群的多样性,以避免过早收敛和改进优化效果。仿真实例表明,与原算法相比,改进后算法的计算效率显著提高,且搜索到全局最优解的概率也更高。     

水泥稳定碎石施工含水量变异性分析

对于水泥稳定碎石而言,碾压含水量的变异不仅对压实效果有很大影响,而且对基层的收缩性能也有较大影响。本文在调查的基础上,分析了含水量的变异性、含水量的变异与压实度的关系以及含水量变异的影响因素,最终研究提出了减小含水量变异措施。     

黑龙江省口岸物流综合评价分析

通过分析黑龙江省边境口岸物流的发展状况,建立适合黑龙江省边境口岸物流系统的评价体系,并采用综合评价方法对黑龙江省一类口岸进行评价,明确黑龙江省边境口岸物流的发展方向,实现对黑龙江省边境口岸物流系统的量化分析,指出黑龙江省边境口岸发展的不足,为口岸建设与发展提供决策依据。     

基于改进生成系数法的西非外贸集装箱生成量测算

为对西非物流现状进行客观准确判断,且对其未来发展需求做进一步判断。文章提出利用改进的集装箱生成系数法来对西非外贸集装箱生成量进行测算,通过对世界银行、国际货币基金组织及联合国等世界相关组织对西非经济的判断总结了西非各国的经济情况,以此进行判断未来经济发展趋势。根据西非各国对外贸易的基本情况,选用集装箱作为代表货种,在对外贸总额、经济增长率、集装箱箱化率、适箱货比例以及适箱货重量系数等多因素变量进行标定的基础上,应用改进的集装箱生成系数法对西非外贸集装箱生成量进行测算,判断西非各国的物流需求。并在此基础上结合经济发展趋势对未来西非集装箱生成量进行预测,对西非区域的域内交通发展,沿海港口建设以及进一步的物流规划作参考依据。     

基于弹性系数法的鱼田堡至石林公路交通量预测

交通量预测分析是道路建设可行性研究的重要环节,将预测的远景交通量划分为趋势交通量和诱增交通量。以重庆市万盛经开区鱼田堡至石林公路为例,基于弹性系数法,对远景交通量进行预测分析和计算,建立了回归预测模型,选用指标高度相关验证了计算的合理性,经综合分析预测,确定了各时期客货运弹性系数值,该交通量预测方法可为类似交通规划提供理论参考。     

连续自然数等幂和公式的改进

利用比较系数法,改进了传统的连续自然数等幂和的计算公式,得到了3组具体的计算公式,提出了4个猜想.     

对用传递系数法求滑坡稳定系数的商榷--以万州太白岩中东段欠稳定斜坡为例

以重庆市万州区太白岩欠稳定斜坡用传递系数法求稳定系数为例,提出了牵引式滑坡的稳定系数达到稳定而还存在较大的下滑推力的矛盾.笔者在文中详细分析了问题产生的根源,提出了局部稳定系数法和逆向求解稳定系数法来判定该类滑坡稳定状况.     

基于遗传算法的公路桥梁钢筋混凝土受弯构件优化设计

探讨了遗传算法在公路桥梁钢筋混凝土受弯构件优化设计中的应用,并且针对简单遗传算法存在“早熟收敛”的缺陷,采用大变异操作来避免产生局部最优解。数值实验证明,与常规优化方法比较,遗传算法能从搜索空间中多点出发进行探索寻优,寻优过程中仅涉及适应度函数的计算与评价,能很好地解决结构优化设计问题。     

四川某一级公路滑坡成因分析及处治研究

在山区公路建设过程中易发生边坡滑坡地质灾害,严重影响公路的推进进度并增加项目总投资,因此开展研究公路滑坡成因及处治方案至关重要。本文结合四川某一级公路路堑开挖过程中出现的边坡整体失稳,从地形地貌、气象水文、地层岩性、地质构造等方面对滑坡成因进行分析,采用传递系数法对天然、暴雨及地震三种工况下滑坡体剩余下滑力计算,定量评价滑坡稳定性。根据分析、计算结果,综合考虑处治费用、施工周期、施工风险、运营风险及环境影响等因素,最终采用抬升路面设计高程、清方、坡面支挡防护与防排水等工程措施组合的综合处治方案。目前该滑坡体处治基本完成,处治后边坡稳定,为今后类似工程提供借鉴。