舰船轴频电场衰减规律的实验验证

舰船电场的轴频信号分布在1～7 Hz,且存在明显的谐波成分,因此其在浅海环境中能传播较远距离,从而成为舰船的特征信号之一。本文基于时谐电偶极子模型,在海上测试了电场信号源的衰减规律。通过对试验数据的分析可知,水深为16 m时,1.06 Hz,1.94 Hz以及3.22 Hz交变电场纵向分量在海底平面沿纵向随距离分别呈1.91次方、1.91次方和1.88次方衰减,很好地验证了理论数值计算的正确性。     

5000HP AHTS轴系合理校中安装工艺实践与总结

介绍了5000HP AHTS主动力装置长轴系采用先进合理校中安装、顶举法进行负荷检验的工艺及技术要点,并对DNV最新版轴系分析计算程序的改进和校中要求的变化进行了说明。经航行试验验证了效果,最后对AHTS船型主动力设备、轴系的校中安装提出了总结性建议。     

内饰感知质量设计及验证概述

随着汽车工业的发展,感知质量越来越被用户重视,汽车设计中更加注重感知质量提升。文章通过案例对比和分析,分别从外观、气味、触感、声音和便利舒适性等方面,梳理论述了内饰感知质量设计要点。明确了内饰感知质量设计方法,提出了具体的设计验证确认手段虚拟评审和现实评审,特别是内饰硬模验证方法。对汽车内饰感知质量设计提升给出了具体措施,丰富了此领域设计方法,对行业发展提供了有效解决方案。     

基于全以太网的列车网络控制系统在美国地铁列车上的应用

从列车网络控制系统的拓扑结构、通信协议架构、冗余措施及功能描述等几个方面对基于全以太网的列车网络控制系统在美国地铁列车上的应用进行了详细分析与试验验证。在装车调试之前进行系统集成测试可尽早地发现列车网络控制系统或子系统在硬件和软件方面存在的各种问题,大大节省装车调试所需要的人力和时间。     

一种基于离散对数问题的存根代理盲签名方案

数字签名用来保证原始数据完整性和有效性,一个数字签名方案包括数字签名生成算法和数字签名验证算法.简短地介绍了盲签名、代理签名的基本思想和基本性质,并给出如何通过非对称密码算法的思想来实现这些签名方案,提出并详细介绍了一种基于离散对数问题的有存根的(免责声明)代理盲签名方案,讨论了基于离散对数问题的密码学算法的可能攻击方法,在此基础上给出了协议实现时的一些有益的建议.     

结构多位置损伤的线性诊断方法

引入了一阶振型变化率的概念，并且证明了一阶振型变化率具有可叠加性，多位置损伤所引起的一阶振型变化率是各单位置损伤引起的一阶振型变化率的线性叠加．以一阶振型变化率为损伤标识量，将结构的多位置损伤状态等价于各单位置损伤状态的叠加．列出了结构多位置损伤的线性损伤诊断方法的实现步骤．以简支梁和四边固支的正方形板的多位置损伤诊断为算例表明，该方法不仅可准确地判定结构的损伤状态，而且损伤诊断的过程简单．     

An Efficient Forward Secure Signature Scheme

Introduction Exposureofsecretkeysthreatensthesecurity ofadigitalsignaturegreatly.Totacklethisprob-lem,severaldifferentmethodshavebeenpro-posed,includingsecretsharing[1],thresholdsigna-ture[2],andproactivesignature[3].Thesemethods,however,needcooperativeandinteractivecompu-tationsinmultiplesevers,whicharequitecostly.Forwardsecuresignatureschemecanreducethe damageofkeyexposurewithoutcooperativeand interactivecomputations.Intheparadigmoffor-wardsecuresignature,thewholelifetimeofsigna-tureisdivid…     

基于冗余编码系统的循环冗余校验方法

提出了一种基于冗余编码系统的循环冗余校验(CRC)方法。该方法应用于轨道交通信号控制系统中可解决冗余编码系统与其他类型冗余编码或非冗余编码系统的通信问题,通过将冗余码校验信息融合到CRC计算过程中,在无故障的情况下得出的冗余码CRC与标准CRC完全一致,保证了系统与外界系统的正常通信功能;在系统发生故障的情况下能够将错误信息反馈到冗余码CRC中,外界冗余/非冗余系统可校验出故障信息,提高了系统的安全性和故障可检测率。     

基于时间自动机模型的安全计算机平台的形式化验证

众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础,2乘2取2冗余结构的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2乘2取2冗余结构,它是一个实时系统,控制过程需要考虑时间因素。本文分析CBTC系统安全计算机平台系统的组成结构,提取出系统的功能约束,采用基于时间自动机理论的建模验证工具UPPAAL建立系统的自动机网络模型,进行仿真分析,验证系统的功能性、实时性、安全性要求。     

旧桥承载力的分析及鉴定

研究目的:鉴定旧桥承载力,可以评估桥梁运营的安全性,为加固设计提供依据。本文以钢筋混凝土简支T形梁桥为例,从桥梁整体工作状况、钢筋锈蚀程度、梁体开裂程度等因素入手,通过数值分析,对旧桥的承载力进行分析和鉴定。总结出旧桥承载力鉴定的基本程序。研究结论:旧桥承载力的鉴定,应该按照全桥检查、细部检测、主梁承载力检算、全桥承载力鉴定的程序进行。即首先根据桥梁的整体工作状况及病害情况确定折减系数,然后对病害最为严重和负荷最大的两类主梁进行检算,最后根据检算结果对桥梁承载力进行鉴定。对文中所列桥梁的承载力进行鉴定可见:该桥设计荷载低,加之病害的影响,承载力不能满足荷载的要求。必须对桥梁进行提高承载力加固,以保证桥梁运营的安全。