面向安全攸关系统中小概率事件的统计模型检测

来源 :软件学报 | 被引量 : 0次 | 上传用户:yjc0208
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在开放运行环境中,安全攸关系统的不确定性行为有可能导致小概率事件的发生,而此类事件的可靠性指标往往很高,小概率事件一旦发生就会产生灾难性的后果,严重威胁到人们的生命、财产安全.因此,评估、预测小概率事件发生的概率,对于提高系统的可靠性具有重要意义.统计模型检测是一种基于模拟的模型验证技术,结合了系统的快速模拟及统计分析技术,能够有效提高模型检测的效率,适用于验证、评估安全攸关系统的可靠性,但其面临的挑战性问题之一是在可接受的样本数量下,使用统计模型检测技术难以预测、评估小概率事件发生的概率.因此,提出一种改进的统计模型检测框架,设计和开发基于机器学习的统计模型检测器,实现在相对较少的样本数量下预测和评估小概率事件发生的概率.结合轨道交通控制系统中避碰控制案例分析,进一步证明改进后的统计模型检测器能够有效预测和评估安全攸关系统中小概率事件发生的概率.
其他文献
结合扭矩扳子检定装置的建标工作,依据JJG707-2003《扭矩扳子检定规程》、GJB2749A-2009《军事计量测量标准建立与保持通用要求》、GJB3756-99《测量不确定度表示及评定》,对
雨水口是城市道路上收集雨水的排水设施,在进行城市道路及排水工程设计时,需要考虑如何在道路上合理设置雨水口,从多方面对城市道路雨水口的设置问题进行了分析。
目的比较舒芬太尼、芬太尼用于冠状动脉旁路移植术患者麻醉的效果。方法 62例拟行冠状动脉旁路移植术患者随机分为芬太尼组(F组)、舒芬太尼组(S组),每组各31例。S组麻醉诱导
针对吉林省长春市双阳区圆通寺度假村的规划设计作了详细地说明,设计从现场调研到规划方案设计都经过细细的推敲。方案设计中,主要内容是融合圆通寺的古建筑形式、度假村的结
当前,空间研究是人文社会科学领域的一个热门话题。叙事学研究受大环境的影响,日益关注空间问题,但系统的空间叙事理论还未建立。本文以文本空间叙事为研究对象,梳理评介对叙
新的供应链库存管理方法——供应商管理用户库存(Vendor Managed Inventory,VMI)管理策略打破了传统的各自为政的库存管理模式,体现了供应链的集成化管理思想。适应市场变化
<正>闽南语歌曲既是一种融入闽南人生活的"土歌",又是一种展现具有闽南血统的人们的社会心理与审美精神的文化形式。它不仅以一种"乡音"广受海峡两岸及世界各地闽南乡亲的喜
点对点内容分发网络技术已成为近年来研究热点领域之一.为用户推荐有价值的资源,提高用户资源定位的准确率和分发效率,是CDN-P2P技术面临的巨大挑战.从用户需求的角度出发,综
党史也是一部群众路线史。对群众路线进行历史梳理可以增强对党和社会主义的道路自信,提升对党的群众路线的理论自信,强化对党和国家的制度自信。[1]对于党的群众路线,其发展