针对驾驶货运机车劳动强度大和操纵难等问题,提出一种分场景的目标曲线规划方法,设计专家系统比例积分微分(Proportion Integral Differential,PID)控制算法,实时跟随并迭代优化目标曲线,实现了货运机车自动驾驶(Automatic Train Operat...针对驾驶货运机车劳动强度大和操纵难等问题,提出一种分场景的目标曲线规划方法,设计专家系统比例积分微分(Proportion Integral Differential,PID)控制算法,实时跟随并迭代优化目标曲线,实现了货运机车自动驾驶(Automatic Train Operation, ATO)功能。针对试验中的重点难点控制场景进行了验证研究,结果表明控制方法安全有效。展开更多
与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂...与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂运营场景安全验证方法。首先,基于STAMP理论构建运营场景分层控制结构模型,辨识潜在的不安全控制行为、分析危险致因和安全约束;其次,定义分层控制结构模型与安全状态机模型间的基本转换规则,基于分层控制结构模型、安全约束和转换规则,构建运营场景安全状态机模型;最后,针对提取的安全约束,利用数据流图建立安全属性验证模型,结合模型检验技术,对运营场景安全状态机模型进行形式化验证。以全自动无人驾驶运营场景中列车自动进站停车为例,对方法进行验证分析。结果表明,当STAMP理论提取的安全约束通过了场景安全状态机模型的验证时,表示在该场景中对应的不安全控制行为没有发生且不导致相应危险。该方法结合系统安全分析与形式化建模验证的优势,降低了运营场景建模的难度,构建的运营场景形式化模型满足系统安全约束,可以作为全自动无人驾驶系统安全设计和安全改进的重要基础。展开更多
为迎接电动垂直起降航空器的到来,降低平均无故障时间,对电动垂直起降(electric vertical takeoff and landing,eVTOL)航空器的一般运行场景和系统构成做出了分析,并从人为因素、设备因素、环境因素和其他因素中提取了可能的失效诱因;...为迎接电动垂直起降航空器的到来,降低平均无故障时间,对电动垂直起降(electric vertical takeoff and landing,eVTOL)航空器的一般运行场景和系统构成做出了分析,并从人为因素、设备因素、环境因素和其他因素中提取了可能的失效诱因;构建了失控坠地和空中碰撞的贝叶斯网络,并依据所建网络和通过不同专家得到的概率值计算控制失效情况下失控坠地和中间事件发生概率,然后进行反向推断,推演事故发生主要诱因。结果表明:电动垂直起降航空器正常运行发生事故的概率为9.648×10^(-7),其中,控制失效、飞控系统断电/故障是事故主要诱因,计算结果可为电动垂直起降航空器安全运行防控提供依据。展开更多
文摘与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂运营场景安全验证方法。首先,基于STAMP理论构建运营场景分层控制结构模型,辨识潜在的不安全控制行为、分析危险致因和安全约束;其次,定义分层控制结构模型与安全状态机模型间的基本转换规则,基于分层控制结构模型、安全约束和转换规则,构建运营场景安全状态机模型;最后,针对提取的安全约束,利用数据流图建立安全属性验证模型,结合模型检验技术,对运营场景安全状态机模型进行形式化验证。以全自动无人驾驶运营场景中列车自动进站停车为例,对方法进行验证分析。结果表明,当STAMP理论提取的安全约束通过了场景安全状态机模型的验证时,表示在该场景中对应的不安全控制行为没有发生且不导致相应危险。该方法结合系统安全分析与形式化建模验证的优势,降低了运营场景建模的难度,构建的运营场景形式化模型满足系统安全约束,可以作为全自动无人驾驶系统安全设计和安全改进的重要基础。
文摘为迎接电动垂直起降航空器的到来,降低平均无故障时间,对电动垂直起降(electric vertical takeoff and landing,eVTOL)航空器的一般运行场景和系统构成做出了分析,并从人为因素、设备因素、环境因素和其他因素中提取了可能的失效诱因;构建了失控坠地和空中碰撞的贝叶斯网络,并依据所建网络和通过不同专家得到的概率值计算控制失效情况下失控坠地和中间事件发生概率,然后进行反向推断,推演事故发生主要诱因。结果表明:电动垂直起降航空器正常运行发生事故的概率为9.648×10^(-7),其中,控制失效、飞控系统断电/故障是事故主要诱因,计算结果可为电动垂直起降航空器安全运行防控提供依据。
