基于STAMP与模型检验的全自动无人驾驶复杂运营场景安全验证方法

与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂运营场景安全验证方法。首先,基于STAMP理论构建运营场景分层控制结构模型,辨识潜在的不安全控制行为、分析危险致因和安全约束;其次,定义分层控制结构模型与安全状态机模型间的基本转换规则,基于分层控制结构模型、安全约束和转换规则,构建运营场景安全状态机模型;最后,针对提取的安全约束,利用数据流图建立安全属性验证模型,结合模型检验技术,对运营场景安全状态机模型进行形式化验证。以全自动无人驾驶运营场景中列车自动进站停车为例,对方法进行验证分析。结果表明,当STAMP理论提取的安全约束通过了场景安全状态机模型的验证时,表示在该场景中对应的不安全控制行为没有发生且不导致相应危险。该方法结合系统安全分析与形式化建模验证的优势,降低了运营场景建模的难度,构建的运营场景形式化模型满足系统安全约束,可以作为全自动无人驾驶系统安全设计和安全...     

对加固软基中堆载预压法应用的多个问题解析

阐述了堆载预压法在加固软基中的应用和方法,通过堆载预压法的基本原理到最终的监测与检验。根据实际操作和经验,对此做出了深入的探讨。     

锚定板桥台施工经验及技术要点

锚定板桥台通过采取锚定板埋设在土中的抗拔力来抵抗桥台背土推力.该技术的核心在于构件预制、拼装等施工环节.文章结合张家口-涿州高速公路张家口段L7标段卧佛寺2号桥锚定板桥台施工工序多且质量要求高的特点,总结出该工程的施工经验,并通过实践提出相应的施工技术要点,为同行提供参考.     

浅议汽车制动性能检验中忽视的问题

制动性能是汽车最基本的使用特性,也是汽车检验最重要的检测项目。《机动车运行安全技术条件》(GB7258—2012)对汽车制动性能检验提出了更高的要求。对照GB7258一.2012的要求,回顾以往的汽车制动性能检验,笔者认为有许多不足,尤其检验时常忽视标准提出的重要规定,在此谈谈自己的看法,以供大家参考。1制动性能检验时忽视了制动踏板力、制动气压及操纵力的限定     

机动车安全检测站应当开展调试前照灯的业务

最近看电视台的交通安全节目,节目中报道说有的驾驶人在夜晚行车会车时使用远光灯,不转换成近光灯,致使对方行驶的车辆驾驶人眩目,失去对前方路面上事物的观察能力,是引发重大事故的隐患。该节目主持人呼吁:机动车驾驶人要遵守交通安全法的有关规定,在夜晚行车会车时该转换成近光灯要及时转换,不要一直使用远光灯行驶,只顾自己方便,不管他人安全。     

桥梁高桥墩(台)分段搭接浇筑施工方法

桥梁高桥墩(台)分段浇筑时,相邻段竖向接缝容易形成错台和不直顺,影响桥梁整体美观。采取在模板顶端内侧镶嵌木条施工,可有效避免错台和接缝不直顺现象,对提高桥墩(台)尤其是清水模板桥墩(台)外观质量效果明显。     

周家冲大桥病害分析及处理

结合某高速公路周家冲大桥在运营阶段出现桥面伸缩缝错台、支座偏位、桥墩偏移、桥墩开裂等病害,进行病害原因分析,对桥墩进行偏载模拟计算,并与实际观测数据进行对比研究,结合分析结论,对桥墩进行纠偏、补强等处理,对支座进行修复更换。并且对山区高速公路桥梁的设计、建设及运营提出建议。     

缸体试漏快换夹具的研发与设计

本文介绍一种新型的试漏快换夹具,针对发动机缸体中问试漏检测生产过程中,对多品种试漏测试夹具的快速更换的问题,分析了快换夹具的设计要点及技术,并对试漏快换夹具结构做了简要说明。     

基于隐马尔科夫模型的文本分类

文本分类经过多年的发展,已经产生了很多成熟高效的算法.将隐马尔科夫模型用于文本分类,对每个文本类构建一个隐马尔科夫模型,x2检验获得类别特征词集,其状态转移表示按照一指定顺序对类别特征词集进行遍历,状态输出符号为特征词的词频,隐马尔科夫模型的状态转移过程隐含的表示了属于该类的文本的形成过程.具有最大概率的HMM分类器就是所属的类别.该算法不仅将特征词考虑进去,而且还将词频信息融入隐马尔科夫模型中,实验结果表明该方法分类效率较高     

液压舵机的工作原理及运行管理

通过对舵机工作要求的分析引出了对船舶舵机的工作原理的分析,然后根据舵机工作原理和液压系统特点分析了可能存在的潜在故障及形成原因和预防措施,同时又对船舶舵机日常使用及管理做了简要的介绍论述,希望能对有关人员在进行舵机操纵及检验时能够有所帮助,以确保船舶日常航行的安全,减少不必要的伤害和损失。