【摘 要】
：
在智能轨道交通中,信号系统作为指挥列车安全运行的核心控制系统,在列车运行过程中,控制不当可能导致对人类生命,财产或环境造成灾难性后果。传统的自然语言描述使系统开发缺
论文部分内容阅读
在智能轨道交通中,信号系统作为指挥列车安全运行的核心控制系统,在列车运行过程中,控制不当可能导致对人类生命,财产或环境造成灾难性后果。传统的自然语言描述使系统开发缺乏统一的标准,而形式化方法可以有效验证和评估系统设计正确性。文章研究了形式化安全保障技术在智能轨道交通领域的应用,针对全自动驾驶FAO系统中各子系统之间复杂的交互作用,文章结合了形式化方法和STPA方法。以车载ATP系统为例,进行形式化和安全分析方法的结合分析,按照STPA步骤进行安全分析,识别系统相关的安全约束,并运用了XSTAMPP软件辅助
其他文献
分析美术基础与服装设计专业桥接的教学模式,有助于高校教师更好地认识美术基础与服装设计专业桥接的教学形式,在实际教学过程中结合教学需求和学生特点,不断创新出优质的教
日趋频繁的干旱灾害对黄河流域的经济发展和人类生命安全构成重大危害,干旱的变异点识别是目前亟待解决的科学问题之一。文章针对当今普遍采用的参数统计和非参数秩检验方法,
电石渣-石膏湿法脱硫技术的应用一方面避免了电石渣造成的环境污染,另一方面实现了电厂的节能降耗.通过内蒙古某电厂350 MW机组电石渣-石膏湿法脱硫技术的实际应用,对电石渣-
该文根据罗兰·巴特的符号学理论,从设计符号学的两个维度,即能指（造型、纹饰、工艺等）、所指（审美、情感、文化等）,解析先秦时期楚系青铜器与中原青铜器设计符号之间的异同,
目前电子设备元器件故障率的预测多根据标准开展,降低了故障率预测的准确性和可信性.提出了基于运行信息预测断路器故障率的方法,为消除设计应力的影响,定义了额定故障率.给
只有适合学生的教育才是最好的教育。随着新课程改革的不断深入,山区学校美术教学中,师生的个性化问题逐渐突出。为解决这一问题,该文作者回归本体,立足山区实际,着重从思想
某压水堆核电厂热态功能试验期间发生了重大的设计、设备问题,但是由于建立了完善的热态功能试验组织管理模式,采取了有效的进度管控机制,使得热态功能试验期间发现的问题能
信息化技术在教学中的应用打破了固有的教学模式。在实际教学中,教师必须遵循合理的原则,正确应用信息化技术,营造良好的课堂氛围,提高学生学习的积极性,在充分尊重学生主体
根据承担的教育部面向21世纪世界银行贷款项目<地方综合性大学化学专业教学内容与课程体系改革的深化与实践>的要求对化学专业课程体系与教材体系的建设提出了理性思考.
“一旦一种新技术进入一种社会环境，它就不会停止在这一环境中渗透，除非它在每一种制度中都达到了饱和。Flash技术也依照这一原理迅速地扩张到了网络新闻领域，于是Flash新闻走进