非稳态振动信号的积分算法研究

研究了基于高通滤波的时域积分和频域积分算法对锤击法模态试验加速度响应信号和旋转机械NVH常规测试中升降过程加速度信号的适用性,分别用仿真线性系统脉冲响应函数和线性变频函数模拟2种加速度信号,并应用2种算法进行处理。仿真结果表明,利用加速度信号的频谱有助于确定2种算法中滤波所需的截止频率,且频域积分法在波形的保真度和相位的准确性上都比时域积分法要好。最后给出了频域算法用于实测信号的例子,积分后的信号在零线附近波动,可用于工程中作为真实速度或位移信号的近似。     

地铁小半径曲线钢轨型面打磨技术及评价＊

为了解决地铁小半径曲线钢轨非正常磨耗问题、延长曲线段钢轨使用寿命、保障列车运行的安全性和稳定性,通过实测分析小半径曲线钢轨型面数据的磨耗特点及其接触变化,设计出适用于小半径曲线轨道的钢轨打磨型面(Opt-60型面).建立地铁B型车动力学模型和轮轨接触有限元模型,分别对不同打磨型面在整个维护周期内的钢轨性能进行仿真计算.计算结果表明:相对于CN60打磨型面,Opt-60型面的打磨量减小了 44.2％,打磨深度减小了 0.646 mm;在维护周期内Opt-60型面的轮轨横向力和脱轨系数都有明显改善,安全系数有所提升,且横向平稳系数与垂向平稳性系数均得到提高;在一定列车通过量下,Opt-60型面的轮轨接触面积比CN60打磨型面的轮轨接触面积大14.63％～27.13％,接触应力减小19.27％～27.97％.计算结果已明显表明,Opt-60型面能有效减缓钢轨磨耗、抑制钢轨疲劳,还能提高列车运行的安全性和平稳性,优化了列车的动力学性能.     

基于可靠性方框图与蒙特卡洛仿真的船舶配电网可靠性分析方法

国船舶工业发展迅速,尤其在近几年迎来了跨越式的发展。船舶建设工业的发展能充分体现一个国家的经济和国防建设水平。但船舶配电网拓扑结构与陆上电网不尽相同,其运行环境非常恶劣,供电连续性和可靠性成为衡量船舶生命力的重要指标,同时也深刻影响大型船舶的平均寿命。因此,可靠性研究在船舶建设中发挥着越来越重要的作用。本研究以典型大型船舶中压配电网结构为研究对象,在全系统元件正常运行时相互独立的情况下,重点研究不可维修与可维修下的系统可靠度、MTBF、可用度、停运时间和失效数等,并进行详细的分析与讨论。首先,本文综合考察各种可靠性分析方法的适用性和准确性,选择利用可靠性框图、最小路集分析法计算并分析不可维修情况下系统的可靠度、平均故障间隔时间等可靠性指标；接着,本文简述了配电网的多种维修任务类型,并采用最小路集法与蒙特卡洛仿真法相结合的方法计算并分析可维修系统的可用度、停电时间、失效数等指标。本文研究结果对船舶配电网的设计、建造、运行和维修等具有积极的意义。     

动态

中国港口国监督数据管理中心:发布《2019年中国港口国监督数据分析年报》日前,中国港口国监督数据管理中心正式发布《2019年中国港口国监督数据分析年报(中英版)》(简称《PSC》年报),这是该中心自2006年起连续第14年对外发布《PSC年报》。《PSC年报》通过详实的文字介绍、直观的图表展示以及丰富的数据分析,全方位展示了2019年中国PSC检查情况以及中国籍船舶境外接受检查情况,从PSC缺陷分析、PSC滞留分析、集中检查会战(CIC)情况等方面进行剖析。     

16000t举力下水工作船结构设计与分析

下水工作船是专用于船舶和海上设施下水的特殊船舶。本文针对16 000吨举力下水工作船,从船体结构设计和结构强度两方面进行分析和研究。船体结构设计的研究对比了驳型和坞型2种不同结构形式对船体结构设计和强度的影响。结构强度的分析运用全船有限元计算方法,计算了装船工况和沉浮工况下的全船结构强度。相关研究结果对今后下水工作船的设计有一定的参考价值。     

隧道监控量测数据反分析技术研究

结合某隧道监测断面各施工阶段位移变化情况,应用MIDAS GTS软件建立三维模型,通过反分析计算确定了弹性模量E及侧压力系数K0的取值范围。通过对隧道各施工阶段的变形情况进行模拟,采用黄金分割法对隧道拱顶下沉和净空位移量测值进行了反分析计算,与实测值对比分析后说明计算结果准确可靠。     

一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.