列车行车智能感知(Intelligent Train Operation Perception,ITOP)系统布置于列车前端,可以主动感知列车运行环境和运行状态,获取并向司机提供前方障碍物、列车速度和位置等行车关键信息,实现障碍物预警、限速曲线生成及超速报警等功能,从而在没有列车运行控制系统防护的情况下辅助司机实现列车运行安全防护,提升列车运行的安全性。然而,一旦ITOP系统出现安全问题,可能导致司机不安全的控车行为,进而造成列车运行事故。ITOP系统的环境感知依赖传感器和机器学习等人工智能算法,随之而来的系统预期功能的功能不充分性会造成与传统功能安全不同的安全问题,即预期功能安全(Safety of the Intended Functionality,SOTIF)问题,这给系统安全分析带来了新的挑战。论文针对ITOP系统的SOTIF问题,提出了包含危险致因辨识、危险致因评价与控制、致因传播分析在内的安全分析方法。首先,在深入研究ITOP系统特点及SOTIF致因机制的基础上,提出了面向SOTIF的系统安全控制结构构建方法,并给出了以该安全控制结构为基础的SOTIF相关危险致因辨识方法。其次,论文研究了基于三点异质致因网络的危险致因拓扑评价指标,实现了对危险致因重要度的评价,进一步提出了危险控制方法,有助于形成防控危险致因发生的危险控制策略。最后,论文研究了基于全局容量-负载传播机制的致因传播模型,可对危险致因发生后的传播过程进行分析,并以此为基础提出致因传播阶段的危险控制方法。论文的主要创新点如下:(1)针对ITOP系统基于传感器和智能感知算法的特点,提出安全控制结构模型的构建方法,采用智能化感知“传感-理解-决定-动作”(Sense-UnderstandDecide-Act,SUDA)模型及Endsley三层态势理解模型扩展系统理论过程分析(System-Theoretic Process Analysis,STPA)方法中的控制结构,更加准确地刻画系统的智能化环境感知过程。(2)针对SOTIF危险致因机制的特点,提出基于安全控制结构模型的SOTIF相关危险致因的辨识方法,包括辨识预期外系统行为、合理可预见误用行为相关致因的方法,以及为ITOP系统SOTIF相关致因因素提供了的一组分类,有助于更加系统和全面地辨识SOTIF类型危险致因。(3)针对SOTIF危险致因的特点,提出基于三点异质网络的危险致因评价方法,其中包括针对网络整体和网络要素进行评价的拓扑指标,能够处理SOTIF危险致因之间的复杂因果关系,并对危险致因的重要程度进行评价。提出基于该致因评价的危险控制方法,以帮助制定针对性的策略进而防控危险致因的发生,为提高系统安全水平提供方法基础。(4)针对SOTIF危险致因关联关系的全局性特点,提出基于网络全局的负载分配规则,构建基于全局容量-负载传播机制的致因传播模型,从而实现对致因传播过程的描述和分析。进一步,提出以该传播分析为基础的危险控制方法,为致因传播阶段下危险控制策略的制定提供了依据。论文最后以一种典型的ITOP系统——列车智能障碍物检测系统为例,采用本文所提方法对该系统进行安全建模,并辨识其SOTIF相关危险致因。随后基于拓扑的方法对危险致因的重要程度进行评价,并提出基于致因评价的危险控制策略。进一步,构建基于容量-负载的模型对致因传播进行分析,并提出传播阶段的危险控制策略。
随着现代导航方式已经步入基于性能的导航时代(PBN-Performance Based Navigation),航空运输业规模的日益壮大,航线网络呈现集群化,复杂化特征。空管保障系统作为保障民航安全高效运行的重要支撑,其整体的稳定性和业务持续性对航空运行...
详细信息
随着现代导航方式已经步入基于性能的导航时代(PBN-Performance Based Navigation),航空运输业规模的日益壮大,航线网络呈现集群化,复杂化特征。空管保障系统作为保障民航安全高效运行的重要支撑,其整体的稳定性和业务持续性对航空运行起着至关重要的作用。随着空管保障系统内部业务和外部环境的复杂程度日益增加,空管保障系统出现失效的风险也在不断增大。为了增强民航飞行的安全性,有效抵御突发事件对空管保障系统产生的影响,本文在PBN运行背景下,对通信、导航、监视设备的运行原理和协同运行机制展开分析,基于复杂网络理论,将空管保障系统拆分为导航网络、监视网络和通信网络三个网络层。网络以航路为边,飞行流量为权重,以DME、雷达和甚高频存在的覆盖重数为虚拟边,提出了面向PBN运行的空管保障系统加权多层网络模型。利用单层和多层复杂网络多种指标对网络重要节点进行识别,为预防网络级联失效提供了有力支撑。然后考虑到基于PBN运行的现代导航网络中,航路由多个DME对保障,存在冗余保护机制,运用带有节点崩溃概率的容量-负载模型分析在随机攻击和蓄意攻击模式下网络抵御级联失效的鲁棒性,并运用MATLAB进行试验仿真,研究影响网络鲁棒性的因素,控制级联失效的蔓延。最后,基于容量-负载模型构建了导航子网络和监视子网络构成的相似耦合相依网络。考虑网络负载特性,对耦合情况下网络级联失效的机理进行研究,用MATLAB进行试验仿真,探究影响相依网络抵御级联失效鲁棒性的影响因素。
暂无评论