CMD系统地面综合应用软件验证浅析

软件验证是提升软件产品可靠性、使软件满足用户需求的重要方法.按照CMD系统地而综合应用软件的高可靠性要求,阐述了软件验证执行过程与软件验证用例设计方法的两方面内容,回答了如何保证软件验证工作质量的问题.     

基于测试的应答器车载设备安全分析方法研究

为了能够使自主研发的应答器车载设备系统达到欧洲铁路标准产品的要求。在应答器车载设备系统的研发过程中,需要严格依据欧洲铁路标准SUBSET-036的要求来进行研发,同时,为了保证产品在全生命周期内能够达到较高的安全完整性等级,在产品研发过程中,需要全面贯彻IEC62278和IEC62425中的安全需求,即基于风险的安全设计理念。采用HAZOP和FMECA识别风险并制定相应的风险减轻措施,在应答器设计时,将风险减轻措施作为应考虑的安全输入条件贯彻在设计中,以确保产品风险被控制在一个可接受的水平。最后选取4个安全需求功能的测试用例,经过反复多次的确认测试,其测试通过率均达到100%,证明其安全需求均在应答器车载设备系统设计中给以满足。最终的测试用例结果表明,该自主研发的应答器车载设备系统满足列车运行控制系统的安全完整性等级的运用要求。     

Practical identity-based aggregate signature from bilinear maps

A new identity-based(ID-based) aggregate signature scheme which does not need any kind of interaction among the signers was proposed to provide partial aggregation.Compared with the existing ID-based aggregate signatures, the scheme is more effcient in terms of computational cost.Security in the random oracle model based on a variant of the computation Diffe-Hellman(CDH) problem is captured.     

基于双速度法的在役基桩完整性检测

双速度法是为解决带上部结构基桩完整性检测而产生的。介绍双速度测试的基本原理与方法;对室内制作的带承台模型桩进行双速度测试研究;分析该方法的可行性,形成了成套的双速度测试技术:包括敲击模式选择,敲击点与传感器之间、传感器与传感器之间、承台-桩界面与敲击点之间的合理布置等;通过实际现场检测,验证了该成套的双速度测试技术完全可以用于现场带承台基桩的无损完整性检测,方向滤波后的上行波清晰,可以准确判断缺陷位置及大小、桩底位置等。     

膨胀土填料分类指标体系的合理性验证

为进一步检验膨胀土填料分类指标体系的合理性,对在建广西百隆高速路上3种膨胀土系统开展了基本土性和各种强度、变形等路用性能试验,全面分析测试结果并对照新填料分类体系,3种土样均满足以改进CBR值、改进CBR膨胀量和稠度为指标的分级标准,都可直接用于下路堤填筑。据此,按物理处治技术原理并结合工程实施条件,采取粘土包边膨胀土夹层填芯方案,将性质最差的1号土分2阶段填筑于ZK176+135～+410路段,共消耗膨胀土60 000 m3,跟踪检测表明,路堤施工质量良好。通过系统试验和修建工程实体验证了膨胀土填料三指标分类体系的合理性。     

融冰降噪复合功能型混合料在桥面沥青铺装工程中的应用研究

冬季凝冰给季冻区沥青路面行车带来安全隐患,城镇区路面行车产生的噪声对周边居民的影响亦不容忽视。为解决上述问题,提升沥青路面冬季抗凝冰能力,降低交通噪声影响,近年来沥青路面表层混合料也从功能单一型向复合型发展。优选胎面胶破碎得到的橡胶颗粒材料,通过等体积代换法设计了复合功能型融冰降噪沥青混合料;在级配选择上,考虑颗粒填充和降噪效果,充分发挥橡胶颗粒的弹性降低路面在轮载作用下的振动和摩擦噪声,并基于其界面受力不均匀特性实现自应力融冰;在路用性能方面,为提升耐久性,采用高黏沥青作为胶结料。分别从混合料设计、路用性能评价、试验段实施等方面进行了研究,结果表明开发的融冰降噪复合功能型沥青混合料具有良好的融冰、降噪效果。该研究成果可为沥青路面表面功能层的设计及应用推广提供借鉴。     

基于贯入阻力测试系统的聚氨酯混凝土压实时机确定方法

为了解决实际工程中聚氨酯混凝土因强度形成影响因素多而导致压实时机难以确定的问题,提出一种便捷直观的压实时机确定方法.首先针对自主研发的聚氨酯混凝土设计了 一种贯入阻力测试系统,将容许空隙率(1.5％～4.0％)作为压实效果评价标准,通过重复性试验确定可压实贯入阻力范围值,提出以聚氨酯混凝土贯入阻力量化其固化反应程度的方...     

JNJ6405A/B车型自动空调系统技术开发及验证

从JNJ6405A/B车型自动空调系统的开发目的及意义入手,详细介绍自动空调功能设计及试验评价规范,重点阐述自动空调的设计方案,并进行相应的台架和实车验证以及成本分析,对于提高空调控制技术具有重要意义。     

船用起重设备可拆卸零部件国际标准强度计算验证

选取ISO 16856:2013《船用起重设备可拆卸零部件-吊钩》中规定的S型吊钩和ISO 16857:2013《船用起重设备可拆卸零部件-卸扣》中规定的几种D型卸扣,进行力学分析和强度计算,验证了国际标准中规定的吊钩和卸扣尺寸参数满足安全使用要求。     

高可靠文件系统在传动控制领域的实现与优化

工业传动控制领域具有大容量数据存储的需求,为了防止数据存储过程中突发断电引起的文件系统损坏,本文提出在VxWorks操作系统上挂载高可靠文件系统.该事务型文件系统具备掉电安全特性,可确保数据可靠稳定存储.针对NAND闪存,本文提出一种驱动层映射方案,实现存储容量的扩展;另外,将硬件ECC校验嵌入高可靠文件系统中,有效提...