铁路信号系统安全证据的属性判断

铁路信号系统安全证据具有一定的特殊性。在客观性方面,铁路信号系统安全证据除应满足内容和形式客观外,应从科学性和时效性的角度克服其主观性较强的问题。在关联性方面,铁路信号系统安全证据应当从关联性层级决定证明能力层级角度,设定安全证据采纳的最低关联性标准,同时还应注意关联性包含安全证据“证是”和“证否”的双重功能。在合法性方面,铁路信号系统安全证据应当同时满足主体、形式、程序合法的要求。

基于云模型和证据理论的铁路信号系统风险评估

为科学合理地对铁路信号系统进行风险评估,针对评估过程中模糊性和随机性等不确定性问题,以及采用专家经验进行评估的特点,提出基于云模型和证据理论的铁路信号系统风险评估模型。首先采用云模型对专家评语信息进行建模,利用得到各风险因素的隶属度构造评语基本信度分配函数;然后采用证据理论进行信息融合,得到各风险因素基本信度分配函数;最后利用层次分析法确定风险因素权重,通过线性加权进行综合,得到最终评估结果。以无线闭塞中心为例利用该模型进行风险评估,验证了该模型的合理性和有效性,为铁路信号系统风险评估提供参考。

铁路信号系统安全理念与实现

铁路信号系统是保证行车、调车作业安全,提高列车在车站、区间通过及货车编组能力,改善行车及调车人员劳动条件的技术设备的总称。铁路信号是保证行车安全、提高运输效率、提升运营管理的重要装备。随着通信技术、信息技术的快速发展,铁路信号设备设施的软硬件配置都有了大幅提升。在整个铁路系统中,铁路信号已由传统的“火车眼睛”变成“运行安全中枢神经”,在行车安全方面发挥着越来越重要的作用,其发展水平已成为铁路现代化的重要标志之一。统上,根据对铁路线路中的信号系统调查进行分析,聚焦行车安全和乘客安全,采用故障分析方法进行有效的研究,选取近几年来发生的铁路安全事故进行风险分析,希望可以促进我国铁路运行的进一步发展。

一种基于证据与风险的系统安全管理新方法:ERBS法

[目的/意义]在当今信息时代,系统安全管理所需的信息(证据)日益丰富,将循证安全管理理念引入系统安全管理,是信息时代创新系统安全管理方法与提升系统安全管理效果的新的有效思路。[方法/过程]根据管理依据的不同,将现行典型系统安全管理方法进行分类,并指出它们的缺陷及其改进路径。其次,分析系统安全管理方法之基于风险的安全(RBS)管理方法的优点,及将循证安全管理理念引入系统安全管理的必要性和可行性,并将循证安全管理理念引入系统安全管理,且使其与RBS法有效融合,提出一种系统安全管理的新方法,即基于证据与风险的安全(ERBS)管理方法。最后,从理论层面出发,系统剖析ERBS法的含义、优点、证据的内涵及其来源、决策逻辑和实施步骤。[结果/结论]现行系统安全管理方法的致命缺陷是管理依据的可错性,ERBS法是信息时代一种主要基于最佳安全信息(证据)实施RBS法的系统安全管理的新范式和新方法,其在理论上具有极高的正确性和有效性。

基于证据理论和贝叶斯网络的TIS系统风险评估

目前我国列控联锁一体化系统处于试验阶段,研究列控联锁一体化系统的风险评估对其可靠运行具有重要意义。针对列控联锁一体化系统风险评估中存在的不确定性及风险随时间发生变化的问题,提出基于证据理论和动态贝叶斯网络的列控联锁一体化系统风险评估方法。首先,构建列控联锁一体化系统故障树,并将其转化为动态贝叶斯网络模型;然后,引入模糊集理论和证据理论来确定动态贝叶斯网络的参数,利用动态贝叶斯网络的双向推理、重要度分析等方法,分析影响该系统可靠运行的关键风险因素;最后,利用专家打分法量化风险损失,通过绘制风险矩阵确定系统的风险等级。仿真结果表明:列控联锁一体化系统的风险等级属于铁路安全标准EN 50126中“Ⅳ级(可接受的风险)”,通信单元中与转辙机和轨道电路的通信接口及目标控制器单元为系统的薄弱环节。

基于模糊证据理论的信息系统安全风险评估分析

针对信息系统安全风险的信息不完善等问题,实现基于模糊证据理论的信息系统安全风险评估。首先,给出信息系统风险评估定义,讨论信息系统风险分析和预测模型;之后,将传统证据理论作为基础,通过模糊集隶属函数创建证据理论基本概念赋值函数,以此创建基于指标及到评估指标的模糊关系,解决基本概率赋值函数不容易确定的问题。最后,给出风险评估实例,对本文方法合理性验证。通过验证表示,此方法可行有效,能够实现信息系统的风险控制与安全防御。

危害计算机信息系统安全犯罪中的专门性问题认定——以电子证据的辅助审查为切入点

危害计算机信息系统安全犯罪相关电子证据的认定属于诉讼中的专门性问题,审查认定过程中极大程度依赖专门知识辅助。当前电子证据提供的审查辅助规范大多关注电子证据真实性、合法性,对其证据关联性方面则关注不足,审查实务中由此遇到了一定疑难。有鉴于此,对此类电子证据审查需做出一定改良,办案机构可考虑常态化引导此类案件的被害方支持审查工作,就关联性做出说明,以此更有针对性地审查电子证据。

铁路信号产品安全通信设计原则及实例研究

铁路信号产品中各设备或模块之间通信的可靠性和安全性,直接关系到铁路运营安全和人员安全。EN50159标准是专门针对铁路信号系统中安全相关通信而拟定的,该标准提出了安全通信协议应满足的安全要求,以及应对通信风险应采取的措施。在产品设计阶段实现本质安全的设计是解决通信失效带来影响的重要措施。本文将从以下两个方面进行研究:(1)EN50159安全通信标准的要求;(2)当既有铁路信号产品面临兼容性问题而无法修改通信协议时,应如何通过修改硬件结构设计来弥补通信协议的不足。本文将给出实例和分析过程。

教练直升机训练系统安全评价研究

为保证教练直升机的使用安全,预防事故发生,针对当前教练直升机安全风险决策数据量少、存在模糊的特点,提出基于模糊D-S证据理论的教练直升机训练系统安全评价模型。从人-机-环-管4个系统出发,建立教练直升机训练系统安全评价指标体系,运用模糊评价技术评估教练直升机系统安全影响因素,利用D-S证据理论的层次递归算法对不同层次影响因素的评估等级进行合成,并以某型教练直升机为例,给出评价步骤。结果表明:该方案适用于研究教练直升机训练系统安全评价;根据安全性量化值,能够实现按安全性能优劣对系统的快速排序。

铁路信号电缆的维护及管理研究

在整个铁路运行系统中,铁路信号电缆是非常核心的组成部分,承担着信号传输这一重要任务。铁路信号电缆是否能够正常运行,是否可以及时、完整、清晰地将铁路信号传递给相关岗位和人员,是保证铁路系统运行安全性的重要环节。只有做好了铁路信号电缆维护与管理工作,才能使铁路信号电缆的实际作用充分发挥出来,才能提高铁路信号传输稳定性,并降低铁路信号电缆的运维管理成本。基于此,本文对铁路信号电缆进行了简要分析,分析了铁路信号电缆维护与管理中存在的问题,并且从铁路信号电缆施工阶段和日常维护与管理阶段,对铁路信号电缆的维护与管理技术进行了探究。

系统安全保障管理体系的建立和实践

介绍铁路信号系统的系统安全保障管理体系与IRIS质量体系相融合建立的过程,并针对遇到的问题进行分析,结合系统保障体系在实际系统集成工程项目的执行情况以及相关经验对后续系统安全保障体系优化提出几点看法。

基于证据理论的龙口港引航安全评价

从"人-机-环-管"四方面建立龙口港引航安全系统分析模型,针对引航安全系统安全评价中的不确定性问题,采取证据理论的方法表达和处理不确定信息,提出具体的算法,验证了该方法的可行性与有效性。

基于D-S证据理论的β因子估算方法

β因子法是定量评估共因失效的常用方法,为解决IEC 61508中评分表法估算β时可能存在不确定性的问题,通过分析估算过程中的不确定性类型,提出一种基于D-S证据理论的因子估算方法。该方法首先建立β不同取值范围的辨识框架,然后对被分析系统进行评估,并分配辨识框架中各基元的初始BPA(基本信任分配函数),最后通过证据理论融合各专家评分意见得到由信任函数和似然函数构成的β因子不确定区间。其中针对传统证据合成规则难以处理高度冲突证据的不足,提出了基于改进折扣系数的证据理论合成方法,该方法在证据融合之前,首先计算证据间的相似度以获取每个证据的支持度,同时结合专家权重,按一定的规则融合两者形成权重并将其作为折扣系数对初始BPA进行加权修正,以降低证据间的冲突程度。实例结果表明:与传统证据合成规则、Murphy法、折扣系数法相比,所提出的方法对目标结果的识别速度优于其他方法,且合成结果的不确定度0.0804是所有方法中最低的。

基于《信息系统安全保障评估框架》的CAE证据推理评估模型

为了实现基于《信息系统安全保障评估框架》(SCC)的安全保障评估,该文研究了CAE证据推理模型,通过对SCC结构的梳理,建立SCC与证据推理模型和《信息系统信息安全等级保护基本要求》的映射关系,提出以CAE证据推理模型为统一描述框架、以SCC为评估规约的安全保障评估流程,以实现基于SCC标准的保障评估。

基于日志管理的系统安全性设计

在一个大型的电子信息系统设计中,既要满足系统信息互通,资源共享的固有要求,同时也要满足系统的信息安全性的使用要求。在系统安全性设计中,需要采用独立防火墙、入侵检测、漏洞扫描、防病毒、身份认证等技术;同时使主运行网络与因特网物理隔离。但影响系统安全某些行为在当时并不能被发现,而操作日志管理为系统的安全、监视和故障排除起到关键性的作用,它可以对潜在的或正在发生的安全问题提出早期的警告,还可以提供关于事故的公共证据。本文详细分析了某电子信息系统中的日志管理子系统总体结构模型设计。

浅谈信息系统安全服务的远程审核

远程审核,是指在特定情况下或者受特殊情况和不可抗力(例如突发公共卫生等全国性或区域性重大公共事件)影响,不去被审核单位主要办公场所、生产经营场所实施现场审核工作的情况下,在办公室或审核人员居住场所中采用通过网络通信渠道和信息化工具,包括电话、电子邮件、数据交换平台、语音和视频工具、内部视频和电话会议平台、具有同步和远程审核功能的审核软件等,获取被审核单位电子化资料和其他与审核相关的信息资料,以及与被审核单位等相关人员进行远程交流等方式,实施审核工作,获取相关证据记录,并依据证据记录出具审核结论的审核方法。