安全苛求系统时间确定性实现方法 

本发明实施例提供了一种安全苛求系统时间确定性实现方法。该方法主要包括:基础时钟、基本时钟和任务时钟从逻辑上依次由低到高分配给安全苛求系统的不同层次,每一层次硬件中的电子器件使用各自独立运行的本地时钟;若干个基础时钟周期构成一个基本时钟周期,若干个基本时钟周期构成一个任务微周期时钟周期,若干个任务...
北京交通大学  中国专利  2019年 下载次数(0)| 被引次数(0)

基于系统理论危害分析的车道保持辅助系统安全分析方法 

本发明提出一种基于系统理论危害分析的车道保持辅助系统安全分析方法,属于无人驾驶技术安全工程领域。包括:(1)建立车道保持辅助系统的分层控制结构,(2)基于分层控制结构识别不安全的控制行为,获得最终的安全约束如下:SC1:如果启...
北京航空航天大学  中国专利  2019年 下载次数(0)| 被引次数(0)

二乘二取二安全计算机的设计与实现 

结合LKJ列控设备的应用,提出了基于二乘二取二安全计算机架构列控设备的设计与实现方法,并对系统架构、安全设计策略、关键技术的实现进行了分析和说明,给出了具体的实现方式和方法。适应于安全苛求环境下的工业应用。
《自动化技术与应用》  2019年 第10期 下载次数(13)| 被引次数(0)

铁路安全应用卫星导航信号空间可信区域识别方法 

卫星导航系统作为一种信息源,在铁路安全苛求系统中应用时需满足相应的可用性需求.针对铁路遮挡环境下导航卫星空间信号的可用性评估问题,提出了一种基于禁忌搜索的8-邻域区域生长算法,并得出可信的卫星导航信号可用区域.在此基础上,设计了一套铁路导航定位应用环境下的空间信号本地可用性分析方案,并进行了实验...
《北京交通大学学报》  2019年 第05期 下载次数(21)| 被引次数()

一种芳构化生产的稳定热源系统 

本发明公开了一种芳构化生产的稳定热源系统,涉及石化生产技术领域,该芳构化生产的稳定热源系统包括:解析塔、解析塔底泵、稳定塔以及脱重塔;其中,所述解析塔的底部循环连接设置有解析塔蒸汽再沸器。本发明投用解析塔蒸汽再沸器来满足解析塔的热源需要,降低了对生产操作的难度,避免因脱重塔底再沸炉出故障时,造成...
金澳科技(湖北)化工有限公司  中国专利  2019年 下载次数(0)| 被引次数(0)

基于STPA的CTCS-1级列控系统安全分析方法的研究 

CTCS-1级列控系统是为提升200km/h以下新建及改造线路安全性、可靠性、运输效率和自动化水平而对既有线列控系统进行的一次技术升级。列控系统作为典型的安全苛求系统,其安全性对整个铁路运输系统举足轻重,因此,对列控系统进行...
北京交通大学  硕士论文  2019年 下载次数(114)| 被引次数()

一种用于安全苛求系统软件升级的校验方法 

本发明公开了一种用于安全苛求系统软件升级的校验方法,包括:从硬件层面拓展至少一个新增计算单元;在冗余单元中的既有计算单元加载既有软件,在新增计算单元加载待升级软件;各既有计算单元和新增计算单元基于相同输入进行计算;根据各既有计算单元的运算结果决定实际输出;将新增计算单元的运算结果与各既有计算单元的的运算结果...
上海电气泰雷兹交通自动化系统有限公司  中国专利  2019年 下载次数(0)| 被引次数(0)

广视野域监控任务人机界面的自适应增强显示研究 

随着计算机和信息技术的快速发展,智能运行控制系统呈现出信息综合数字化的趋势。广视野域多屏的数字化人机综合监控系统已经被广泛地应用于轨道交通、军事指挥、交通管理、航空航天、核电和医院等各类安全苛求领域中。广视野多屏的人机交互界面为用户提供了集成化的数据显示接口,提高了用户对信息的感知能...
北京交通大学  博士论文  2019年 下载次数(62)| 被引次数()

一种用于安全苛求系统软件升级的校验方法 

本发明公开了一种用于安全苛求系统软件升级的校验方法,包括:从硬件层面拓展至少一个新增计算单元;在冗余单元中的既有计算单元加载既有软件,在新增计算单元加载待升级软件;各既有计算单元和新增计算单元基于相同输入进行计算;根据各既有计算单元的运算结果决定实际输出;将新增计算单元的运算结果与各既有计算单元的的运算结果...
上海电气泰雷兹交通自动化系统有限公司  中国专利  2019年 下载次数(0)| 被引次数(0)

复杂动态监控任务工作负荷的Petri网建模理论及方法研究 

复杂动态监控任务是一类时间和空间上具有操作不确定性,且信息量大、行为复杂的活动集合,广泛存在于列车/飞机驾驶、行车调度、空中管制、核电监控等安全苛求系统之中。近年来,随着智能化设备的不断应用,人机交互任务内涵的不断变化,传统的系统安全风险集中点正在从硬件向人转化,如何保证复杂动态监控任务的执行绩...
北京交通大学  博士论文  2019年 下载次数(131)| 被引次数()

列控安全计算机反应式故障安全的研究 

随着我国铁路网络和城市轨道交通快速发展,列车运行控制系统安全性实时性需求日益提高。列控安全计算机负责列控系统输入输出数据的校验及表决,通过大量的软硬件故障安全设计有效保证了列控系统安全性,但也一定程度上降低了实时性。本文引入EN50...
北京交通大学  硕士论文  2019年 下载次数(20)| 被引次数()

CTCS-1级列控系统RDC数据生成及验证方法的研究 

中国列车运行控制系统(Chinese Train Control System,CTCS)是保障列车运行安全和效率的安全苛求系统。列控数据作为信号设备信息、列车状态信息和线路信息的载体,其正确性是列车安全运行的重要前提。目前针对不同的列控子系统,数据描述方式不...
北京交通大学  硕士论文  2019年 下载次数(20)| 被引次数()

以安全为导向的中速磁浮车载运行控制系统设计 

时速200公里的中速磁浮列车具有转弯半径小、爬坡能力强、噪声低等显著优点,是缓解特大城市或城市群交通拥堵、实现区域内高效便捷出行的重要交通工具。运行控制系统是中速磁浮交通系统的三大核心子系统之一,是典型的安全苛求系统,因此,研究中速磁浮运行控制系统安全设计方法...
北京交通大学  硕士论文  2019年 下载次数(49)| 被引次数()

LEU-PS硬件接口测试研究与开发 

分散式调车防护系统的关键设备调车防护装置轨旁电子单元(Lineside Electronic Unit With Parallel Single Port,简称LEU-PS)是典型的安全苛求系统。为了满足设备高安全性和高可靠性的基本要求,LEU-PS主机在出厂前,必须对其进行`#~系...
北京交通大学  硕士论文  2019年 下载次数(16)| 被引次数()

基于SCADE模型的车载ATP软件测试方法 

列车自动防护(Automatic Train Protection,ATP)是列控系统的核心,负责监控列车速度,防止列车超速,是典型的安全苛求系统。作为安全苛求系统,对车载ATP进行严格的测试是十分必要的。形式化方法是一种提高软件系统,特别是安全苛求系统的`#...
北京交通大学  硕士论文  2019年 下载次数(26)| 被引次数()

共找到相关记录277条12345678910下一页