利用时间自动机理论探讨客专RBC控车流程

基于时间自动机理论,在UPPAAL这种目前最先进的实时系统建模分析验证工具中,对RBC系统消息收发进行分析、建模及验证。最终对RBC系统控车消息收发流程的特性进行验证,对于保证RBC系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义。     

W203型地铁牵引轨道车车体强度分析

文章介绍了W203型地铁牵引轨道车的车体结构形式、车体强度载荷工况、有限元静强度分析计算结果和疲劳强度计算结果、车体静强度试验验证,结果表明车体强度满足设计及标准要求。     

广西路面基层碎石强度评价指标研究

在不同条件下对广西地区常见各类岩石轧制碎石测试其强度变化，认为仅用碎石的压碎值或芯样抗压强度不能反映其合格性，提出增加碎石的软化系数，CBR值指标评价其路用合格性。     

纤维沥青混合料配合比设计方法初探

纤维沥青混合料由于其优良的技术性能与价格优势和施工技术简单的特点，目前已得到广泛重视，但其性能优势要通过科学的施工技术体现，而混合料配合比设计是其中关键技术之一。结合纤维沥青混合料自身的特点，以方便易操作为原则，提出了纤维的选择原则及以马歇尔试验为基础的纤维沥青混合料配合比设计方法。     

考虑荷载历史的既有桥梁结构可靠度分析方法

针对既有桥梁结构的特点,建立了考虑荷载历史的可靠度分析模型,并讨论了其计算方法。应用所研究的方法,对一座实际钢筋混凝土桥梁的承载能力可靠度进行了分析和评估;结果表明,荷载历史对该桥可靠度提高的影响不容忽视。     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

航海备忘录

<正>IMO启动有关压载水性能标准实施的研究据悉,IMO启动实施国际船舶压载水和沉积物控制与管理公约(BWM公约)第D-2条款所述的压载水性能标准研究。该项研究将就批准压载水管理系统指南(G8)的实施和有关类型认可程序,以及船上日常操作中认可压载水管理系统(BWMS)的性能进行评估。其研究基于事实,将专注于收集、综合和分析数据、可验证信息并编制文件。该项研究涉及两个途径以便利和优化数据收集。途径一     

Toll样受体4在蛛网膜下腔出血大鼠早期脑损伤中的作用及对海马区神经元自噬的影响

目的探讨Toll样受体4(TLR4)在蛛网膜下腔出血(subarachnoid hemorrhage, SAH)大鼠早期脑损伤中的作用及其对海马CA1区神经元自噬的影响。方法 192只SD大鼠按随机数字表法分为假手术组、SAH模型组(模型组)、SAH+DMSO溶剂组(溶剂组)、SAH+TLR4抑制剂组(CLI-095组),每组再依据取材时间不同分为24 h和48 h两个时间点。采用颈内动脉穿刺法建立SAH模型,溶剂组与CLI-095组在制备SAH模型前侧脑室分别注射DMSO溶液10μL或100μg/mL的CLI-095溶液10μL。Garcia评分检测大鼠行为学改变;干湿重法检测脑水肿情况;HE染色观察海马CA1区神经元形态;免疫组化和免疫印迹法检测大鼠海马CA1区TLR4、LC3和Beclin1蛋白表达。结果与假手术组比较,模型组各时间点Garcia评分均降低(P<0.05),脑水肿程度加重,存活神经元数量减少(P<0.05),海马CA1区TLR4、LC3及Beclin1表达增多(P<0.05)。与模型组比较,CLI-095组各时间点Garcia评分增多(P<0.05),脑水肿程度减轻,存活神经元数量增多(P<0.05),海马CA1区TLR4、LC3及Beclin1表达降低(P<0.05)。结论 TLR4可能通过调控SAH诱导的自噬,参与并加重SAH继发性脑损伤的过程。     

中速柴油机活塞疲劳强度仿真分析及试验验证

在某中速柴油机活塞的研发过程中,为保证活塞的疲劳强度符合设计要求,采用阶段验证法验证校核活塞的疲劳强度,最大限度地降低活塞开发和运行风险。     

长大货物车适应THDS轴温探测技术的研究

针对不适应THDS轴温探测系统的长大货物车,分析论证了现车轴箱改进方案适应THDS轴温探测的不足,并提出了轴箱优化方案。经计算、试验和装车验证表明,新轴箱可行、有效、安全,满足THDS轴温探测要求,保证了长大货物车运输安全。