基于钻孔数据的盾构隧道纵向结构参数化计算

为推动盾构隧道工程数字化设计的发展，提升结构计算效率，提出一种基于地质钻孔数据的盾构隧道纵向结构参数化计算方法。本方法考虑了三维地质空间的不确定性以及隧道纵向结构的三维空间线型特点，利用K最近邻与普通克里金算法建立地层数据库； 然后，与隧道轴线的空间信息建立引用关系，并输出结构约束条件与荷载大小； 最后，利用等效刚度梁模型进行隧道纵向结构计算。以武汉市两湖隧道东湖段QXK6+300~+400区间为对象，将本方法与现有方法进行对比，结果表明： 本方法的约束条件可以不依赖人工经验保守取值，而通过预编译的程序自动计算得出； 同时，参数化计算流程有利于满足后续多区间核算需求，并且可以把内力分析结果精确地反映在三维应力云图上。因此，本方法能有效提升设计效率。     

DOC辅助DPF再生的二次污染研究

在氧化型催化转换器(DOC)前端的排气管中喷入柴油,通过提高柴油机尾气温度、燃烧并去除柴油机微粒捕集器(DPF)中的PM,实现了DPF再生。对整个再生过程中尾气成分进行分析和计算,发现碳氢化合物(HC)为主要二次污染物,且排放相对较大。通过试验方法,分别研究喷油流量和喷油时DOC前端排气温度对再生过程中HC排放的影响,并依此提出保温处理、分阶段喷油和低速再生等三项优化措施。优化后再生过程中HC排放降低了68%,且燃油经济性提高了21%。     

基于闭环形式的车辆减振器热学特性研究

为了解决某车辆被动悬架系统中减振器由于温升过高而漏油失效的问题,提出了车辆悬架系统机械特性与其热学特性相互耦舍的模型。采用MATLAB／Simulink建立闭环正反馈系统的热一机耦合模型,并通过仿真计算得到某车辆在多种工况以及不同悬架参数条件下减振器的温升特性曲线。研究结果表明：随着路面等级的下降、车速的提高、簧上质量的增大以及悬架刚度的减小,减振器的温度升高;车轮刚度对减振器温升特性影响较小;簧下质量对减振器温升特性无影响。     

渝利铁路跨线桥桥墩设计及计算

桥墩计算长度的取值是长期困扰工程技术人员的问题。依据压杆稳定基本理论,并结合实际经验,对渝利铁路跨线桥桥墩在施工和使用阶段的受力进行分析与计算,阐述该桥桥墩计算长度取值的基本思路,供同行参考。     

粒子群算法在单矢量水听器方位估计中的应用

粒子群优化算法是一种新颖的进化算法,它基于群体迭代.群体中的粒子在解空间中追随适应度最优的粒子,调整速度与位置并搜索最优解.根据MUSIC算法的定向原理,建立适应度函数,利用粒子群算法对单矢量水听器方位估计算法进行优化.结果表明,优化后可以提高低信噪比时方位估计的精度,并实现对目标的三维定位,同时还可以避免因成阵所带来的使用限制.     

城市建成区智能化轨道快运系统的线路规划

介绍了智能化轨道快运系统的技术特点及优势,分析了建成区道路拓宽困难、道路交通流量大、用地空间有限等现实条件,并从线路敷设、路权方式、车站设置等方面讨论了智能化轨道快运系统规划的相关内容.以重庆市南滨路智能化轨道快运系统线路为应用案例提出规划建议.     

A Logical Characterization for Linear Higher-Order Processes

Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of higherorder processes constrained by linearity. Linearity respects resource-sensitiveness and does not allow processes to duplicate themselves arbitrarily. We provide a modal logic that characterizes linear higher-order processes,particularly the bisimulation called local bisimulation over them. More importantly, the logic has modalities for higher-order actions downscaled to resembling first-order ones in Hennessy-Milner logic, based on a formulation exploiting the linearity of processes.     

当前海事管理中存在的问题及求解

本文主要介绍海事管理人员的使命和当前海事管理工作存在的问题及对策。     

物流运作中"啤酒游戏"的Matlab仿真

应用Matlab／Simulink构建了“啤酒游戏”的计算机模型，并对其进行了仿真分析。研究了订货延迟时间对物流系统库存情况造成的影响，比较了不同采购策略对“啤酒游戏”产生的作用。发现订货延迟时间的存在是造成“啤酒游戏”中“牛鞭效应”的内因；商家过分在意当前的库存与缺货情况，急于补充或者降低库存，反而会造成“牛鞭效应”的加剧与物流成本的提高。结果表明，基于计算杌技术和数学运算的Matlab／Simulink仿真技术，是对物流系统进行科学分析的有效工具。