格蕴涵代数的超滤

通过超滤构造超积是模型论中构造模型的一种重要方法。文中提出了格蕴涵代数中超滤的概念，研究了它与素滤子及有限交性的关系，并证明了它与极大真滤子的等价性，为进一步研究相应的超积理论打下了基础。     

某型船用蒸汽动力装置加装除盐装置的可行性分析

针对某型船用蒸汽动力装置盐度过高的现状,分析影响其水质的主要因素,并据此提出在其冷凝器后和造水机后加装除盐装箕的新构想.通过分析得出在造水机后加装除盐装置方便可行,并依此设计1台除盐装置.设计计算表明,加装除盐装置能使口用水柜水质提高近50倍,冷凝器后凝水总含盐量下降22%,基本上解决盐度过高的问题.     

船舶信息化期待点睛之笔

船舶信息化已经渗透到造船价值链的每一个环节．信息技术已成为造船业不可或缺的技术手段，但与国际先进水平相比，我国还有不小的差距：信息孤岛、基础数据不成体系、进口软件的消化吸收等瓶颈问题依然存在。业界人士认为，信息集成和信息一体化是当前亟待解决的问题。     

多用途乘用车侧翻稳定性能动态测试方法研究

对比分析了国内外车辆侧翻稳定性相关的标准法规的基本情况。研究了车辆发生侧翻的类型和机理,基于侧向加速度判断车辆侧翻状态的方法,通过整车道路试验对比了正弦停滞试验和鱼钩试验诱导车辆发生侧翻的效果,初步探讨了多用途乘用车侧翻稳定性动态测试方法和评价指标,为国内车辆侧翻稳定系统的开发和测评标准的制定提供了参考。     

Optimal scheduling of the flexray static segment based on two-dimensional bin-packing algorithm

FlexRay is a reliable and hard real-time in-vehicle communication protocol that is strongly promoted by car manufacturers as the de facto standard in the automotive domain. The protocol offers both a time-triggered and an eventtriggered architecture. This paper focuses on the optimal scheduling of the time-triggered component of FlexRay known as the static (ST) segment using a two-dimensional bin-packing technique. To maximize the bandwidth utilization in the ST segment, a fast heuristic as well as an efficient integer linear programming approach are proposed. Our methods directly schedule signals into slots including frame packing, according to signal-based data scheduling and the slot/ cycle multiplexing mechanisms presented by the latest version of the FlexRay protocol. The benefits of our proposed methods are demonstrated by extensive experiments on synthetic and an automotive X-by-wire system case study. An additional test case is examined to emphasize the superior performance of the proposed approach relative to that of existing optimal scheduling approaches.     

大瑞铁路高黎贡山隧道BIM施工应用研究

针对铁路隧道BIM技术施工应用现状，为深入研究铁路隧道在施工进度、安全、质量等方面的BIM应用，以大瑞铁路高黎贡山隧道为例，综合运用BIM、物联网等技术手段，研发项目BIM施工管理平台。基于此平台深入开展进度动态管控、多维算量、风险管控、质量监控等BIM应用研究。结果表明： 1）进度管理及工程量多算对比的BIM应用实现了隧道进度信息的查看、分析及预警，解决了传统算量不精准的难题； 2）风险管控BIM应用形象生动展示了隧道围岩稳定状态、不良地质风险点及特征、隧道内人员数量及分布情况，确保了人员安全，降低了隧道施工风险； 3）采用BIM+三维激光扫描、TBM掘进参数控制等方法，在隧道施工过程中控制施工质量，并标识问题标签，最后形成高黎贡山隧道安全质量问题库，实现了安全质量问题可追溯。     

论轮机英语词汇的特点及认知策略

在轮机英语词汇的学习过程中，同遗忘做斗争的主要问题是词汇记忆的编码或组织问题。针对轮机英语词汇科技术语多，缩略语多、复合词多等特点，本论文提出在学和教的两方面应采取积极的认知策略。其中精加工策略、组织策略和恰当的复习策略有助于建立稳固的长时记忆编码，从而促进轮机英语词汇知识的保持和巩固。     

港口集装箱运输与区域经济发展互动关系研究——以长江三角洲港口群为例

利用生产函数增长模型及灰色关联分析方法,探讨了长三角地区港口集装箱吞吐量与区域经济之间的互动关系,定量计算两者之间存在的关联度及港口生产指标对于经济增长的贡献,对长三角港口群与区域经济协调发展进行针对性分析.     

泉州台商投资区张经12路路基路面初步设计研究

结合福建省泉州市台商投资区张坂片区的具体情况,从一般路基设计、软土路基处理、路面结构层设计等角度对该片区张经12路的路基、路面工程进行了初步设计方案分析与研究.