【摘 要】
：
为提高信号系统安全隐患分析效率,必须研究某一时刻多处失效的运营场景。当前有限自动机建模不能解决上述问题,设计一种用于信号系统安全分析的混合建模方法,一方面采用有限
【基金项目】
：
国家重点研发计划项目(2016YFB1200602)
论文部分内容阅读
为提高信号系统安全隐患分析效率,必须研究某一时刻多处失效的运营场景。当前有限自动机建模不能解决上述问题,设计一种用于信号系统安全分析的混合建模方法,一方面采用有限自动机建模进行某一处失效的安全隐患分析,另一方面采用Petri网建模进行多处失效且为异步并发的安全隐患分析。通过上述建模确定特定运营场景相关参数及性能指标,采用软件工具(例如VC6.0)实现信号系统安全分析模拟器。系统分析师通过安全分析模拟器进行系统安全分析,从而减少人为经验错误,提高信号系统安全隐患分析效率,避免重大安全隐患。
其他文献
通过介绍学校后勤社会化的历史背景 ,指出它的含义及要遵循原则、特点。
针对企业实施统计过程控制(SPC:Statistical Process Control)所遇到的问题,提出了面向SPC的高精度位移检测系统的总体结构,给出了基于LVDT传感器的系统设计与优化方法,并讨
肝动脉化疗栓塞被认为是肝癌非手术治疗的首选方法，但研究表明该法使肝癌病灶完全坏死率较低，主要原因是多数肝癌灶由肝动脉和门静脉双重供血。Ｉｋｅｄａ等（１）治疗１５８例原发性肝细胞癌病人，发现
针对考虑风险关联的项目风险应对策略选择问题,提出了一种案例决策分析方法。首先,将当前项目风险应对问题视为目标案例,并将收集到的一些相似项目风险应对案例视为历史案例,
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
作为法国启蒙运动的重要代表学者,卢梭立足平等自由的应然维度展开对现实奴役的反思,提出了以社会契约沟通个体权利与共同价值的＂道德共同体＂思想。＂道德共同体＂的建构缘于人类从
随着新冠病毒肺炎疫情来袭,科技界正经历一场大考。一张始料未及的考卷铺陈在大家面前,我们作为“答卷人”,要在形势分析上答好“判断题”,在道义立场上答好“选择题”,在查
新教材引入导数这一灵活工具，为高中数学注入了新的活力．利用导数不但使很多问题变得好懂易学，求解变得轻松简便，而且为进一步学习高等数学奠定了基础．
一、早疫病早疫病是马铃薯生长中后期最主要的叶片病害之一．1.病害症状：如图1，主要发生在叶片上，首先从中下部叶片开始染病．也可侵染块茎。叶片染病，病斑黑褐色，圆形或近圆形，具同心
本文通过对瓮安县茶园施肥状况的调查分析,指出当地茶园施肥在时间、种类、数量、比例、方式等方面的不合理之处,并提出施肥建议。