列车通信网络控制器的综合验证

列车通信网络对安全性和可靠性提出更高的要求,如何保证网络控制器设计的正确性和可靠性成为确保列车安全运行的关键因素之一。本文以高级验证方法学为指导搭建列车网络控制器的层次化验证环境,提出网络拓扑级验证模型和错误注入机制,并对验证结果进行深入分析。实验结果表明:该验证方法增强验证组件的重用性,弥补传统方法的不足,有效提高了验证效率。     

修船市场的现状分析及对策思考

文章结合国际修船市场的形势,分析了我国修船市场的现状、发展趋势和未来需求情况,指出了我国修船业发展中存在的不足,并提出应对策略,可供同行借鉴。     

修船企业的并行维修生产系统设计

分析国内船舶修造业生产管理现状，运用并行维修生产系统的建模方法，设计修船企业的并行维修生产系统，介绍系统中的组织结构、生产资源、生产信息与流程设计。     

带前置导叶桨潜艇自航试验的数值模拟与自航因子预报

本文根据RANS代码,采用移动网格滑移交接面技术对假想的带前置导叶潜艇的自航试验、螺旋桨敞水试验进行模拟,并依据试验结果验证之,发现该方法能够较好地预报螺旋桨推力、扭矩.而后,与潜艇阻力试验相结合,预报潜艇自航因子,通过与试验结果的比较分析,验证了方法的可靠性.     

路基压实度超百问题的探讨

通过对我省一些公路路基压实度超百现象的分析、研究，得出了土工标准重型击实试验最大标准干密度与土基所能达到最大密度之间的关系，对解释、分析土方路基压实度超百现象．提出了自己的看法。     

400Hz交流型回馈式负载的研制

400 Hz交流型回馈式负载用于400 Hz中频电源类产品的带载性能测试和连续运行考核。可将被测试电源输出的400 Hz频率的电能以50 Hz正弦波的形式馈入电网,该负载具输入电流功率因数可调的特点,可取代传统的电阻、电感和电容负载,是一种"绿色"节能型负载。     

超高组合支架施工技术

中环线浦东段跨杨高中路采用现浇刚构桥形式,主跨长70 m,高约44 m,上跨已开通杨高中路跨线桥施工。本文主要介绍了跨越杨高中路跨线桥超高组合支架型钢门洞+满堂支架的设计及施工技术,确保既有交通顺畅并降低安全风险。     

电控喷油器电磁阀动态特性模型建立研究

电控喷油器高速电磁阀既具有一般电磁执行机构的特点,同时因为其与喷油器的液力系统相关联,是融电路系统、磁路系统、机械系统、液压系统、热力系统于一体的综合系统,建立了反映其动态特性的综合数学模型,为系统进行仿真分析奠定基础。     

压气条件下大直径泥水盾构饱和法开舱技术

针对目前大直径盾构在水文地质条件复杂、江河湖海底部等不利环境下,排除盾构故障、清理障碍开舱方法的缺陷,提出盾构压气条件下饱和法开舱作业技术。先根据地质勘查报告了解本次盾构停机区域的地质情况,再在介绍饱和法开舱作业原理的基础上介绍掌子面压力计算、闭气泥膜的形成、饱和法盾构开舱设备及其开舱技术工艺流程等。通过工程实际应用可以得出:饱和法开舱作业可成功处理施工中遇到无法采用常规方式进行的停机检查或刀具更换等作业的施工难题,提高盾构对复杂地层的适应性,并拓宽盾构的应用范畴。     

Numerical Investigation of the Dynamics for Low Tension Marine Cables

This paper presents a numerical investigation into the dynamics of marine cables which are extensively used in offshore industry. In this numerical study, the Euler-Bernoulli beam model is adopted to develop the governing equations of the cable. Bending stiffness is considered to cope with the low tension problem in local area of towing cable, and thus a more accurate solution with the consideration of the axial elongation can be given.The derived strongly-coupled and nonlinear governing equations are solved by a second-order accurate, implicit,and large time step stable central finite difference method. The quadratically convergent Newton-Raphson iteration method is applied to solving the discrete nonlinear algebraic equations. Then a towed array sonar system(TASS)problem is studied. The numerical solutions agree reasonably well with the experimental data and the simulated results of the references. The specified program of the present paper shows great robustness with high efficiency.