板桩码头板桩墙入土深度计算方法对比

板桩墙的入土深度和内力是否准确关系到整个码头结构的稳定性,我国实际工程中板桩码头的内力计算以线性方法为主。以镇江中船重件码头为例,分别用弹性线法、竖向弹性地基梁法以及自由支撑法计算板桩的入土深度。将3种方法的计算结果进行了对比分析,得出不同方法的适用范围、利弊及改进方法,为实际工程的设计提供参考和指导。     

基于GPRS技术的远程故障诊断系统设计

远程设备故障诊断是Internet技术、通信技术与机械设备故障诊断技术的结合。现有的远程故障诊断技术不利于野外作业和较大规模的数据传输。本文分析了GPRS技术应用于远程故障诊断的重要性和可行性,提出了利用GPRS无线网络进行远程故障诊断的技术。在此基础上结合摊铺机的远程故障诊断设计了系统的整体构成和各个部分的具体实现,并分析了GPRS技术在实现远程故障诊断方面的特点和优势,扩大了故障诊断的应用范围。     

储能式多编组虚拟轨道电车全轮转向控制

为了解决虚拟轨道电车转弯半径过大,以及转弯过程中由于后续车辆不跟随而导致的甩尾等安全问题,文章提出了一种双向驱动运行的储能式多编组虚拟轨道电车全轮转向控制方法,分析了其系统结构和控制原理,并进行了全轮转向测试.     

对消式舰船有源隐身技术研究

有源对消隐身是现代隐身技术发展的一个重要方向,它能在传统隐身的基础上进一步降低受保护目标被雷达发现的概率。介绍了舰船有源对消隐身的基本原理,分析了对消波（场）的辐射特性,论述了雷达截面预估现状,探讨了雷达截面预估对舰船有源对消隐身的重要意义。     

大型舰船平台购置费影响因素及其预测技术方法研究

在分析大型舰船平台建造特点的基础上,研究了大型舰船平台购置费的影响因素,以此构筑了大型舰船平台购置费预测的基本要素。针对大型舰船没有国内以往费用数据样本可供参考的特点,在其生命周期的前两个阶段：论证阶段提出了基于等工程价值比的购置费预测技术方法;方案阶段借用费用风险因子方法的思想,结合风险评估中的技术成熟度,提出了基于费用风险因子和技术成熟度的类比预测方法。依据建立的大型舰船购置费预测技术方法思路,利用国外大型舰船以及国内外驱护舰的费用数据资料,可具体开展大型舰船平台购置费的预测工作,为大型舰船的立项决策以及方案选择提供理论支撑。     

联苯醌类电子传输材料研究进展

联苯醌类化合物是重要的电子传输材料.联苯醌类化合物制备的载流子传输层表面负载正电荷,性能稳定,不产生臭氧,因而用于制备环保型正电性有机光导体.随着对有机光导鼓研究的不断深入和有机光电材料科学的发展,正充电性有机光导鼓成为研发工作的重要方向.本文介绍了联苯醌类电子传输材料的合成方法及其在有机光导体中的应用进展.     

坡度和曲线线路对弓网受流性能影响规律研究

在高速列车关键力学问题的研究中,坡度和曲线线路对弓网受流性能的影响不可忽视,为此,采用有限元技术和多体动力学理论,搭建了全空间范围内的车弓网动力学仿真模型,对定坡度、竖曲线和平曲线区段的弓网受流性能进行了研究。研究结果表明:接触线在坡度变化率为零时,线路对弓网动态响应影响并不明显;坡度变化率为正时,线路会使弓网机械磨耗降低,受流稳定性也会降低,但弓网电气损耗增加;而坡度变化率为负时影响正好相反;平曲线和竖曲线半径越小,弓网受流稳定性越差,仿真时不可忽略,且应在平曲线和竖曲线区段的线路设计、施工、区间限速中加以考虑。     

船舶上层建筑完整性设计建造工艺

基于上层建筑完整性设计建造的成功经验,对船舶上层建筑完整性设计建造工艺进行研究。各船厂可根据自身的硬件条件和设备设施进行上层建筑的策划、设计和建造,并在完整性水平评估基础上进行持续改进,不断提高上层建筑中间产品完整性交付水平,从而提升船舶建造的生产效率。该研究为各船厂进行流程再造、实现上层建筑完整性设计建造提供技术指导。     

基于快速修补的水润滑橡胶轴承应急维修保障技术

水润滑轴承作为一类开放式结构的环境友好型轴承,常常因卷入异物而导致轴瓦损坏.针对水润滑橡胶轴承局部异常损坏时的应急维修保障技术,利用X射线分析方法分析杂质的种类及破损产生的原因,并提出一套破损修补方法,包括修补材料选择、维修前处理和成型工艺.材料测试结果表明:修补基体固化完全,与橡胶基体粘接良好,达到了预期的修补效果,研究结果可为水润滑橡胶轴承的应急维修保障提供新的思路与方法.     

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.