【摘 要】
：
为在设计阶段验证交互数据在系统中的安全特性,基于有色Petri网与失效传播模型提出了一种对系统模型自动分析得到输入数据失效最小割集的安全影响分析方法。首先,建立系统的
【机 构】
：
同济大学道路与交通工程教育部重点实验室
【基金项目】
：
上海市科学技术委员会项目(20DZ1202900,19DZ1204200),上海市住房和城乡建设管理委员会项目(JSKY18R022-7)
论文部分内容阅读
为在设计阶段验证交互数据在系统中的安全特性,基于有色Petri网与失效传播模型提出了一种对系统模型自动分析得到输入数据失效最小割集的安全影响分析方法。首先,建立系统的有色Petri网模型,通过对库所数值离散化处理得到用例,对变迁进行单元测试得出失效行为函数,获得具有失效行为变迁的失效传播有色Petri网;然后基于有色Petri网模型的状态空间,通过失效空间生成算法与变迁回溯法,实现由模型状态空间到失效状态空间,再到失效状态树的转换,并通过失效状态树的合并与计算,获得系统失效最小割集。最后通过实验,比较不同
其他文献
随着当前经济社会的飞速发展以及城市化进程的加快,极大的促进了建筑行业的发展,其中,桩基施工技术作为建筑工程中的一项重要内容,不仅直接影响到建筑物的安全,还直接影响着
采用小比例轮轮滚动接触疲劳试验再现钢轨裂纹萌生和磨耗过程,根据钢轨裂纹萌生和磨耗共存预测方法结合试验条件建立相应的预测模型,分别对试验和仿真预测的钢轨试样磨耗、裂
点式‒基于通信的列车控制(BM-CBTC)多模列控系统的模式切换时延对城市轨道交通运营效率有着较大影响。分析点式‒基于通信的列车控制(BM-CBTC)系统模式切换功能及过程,建立
有轨电车路基板‒疏桩基础的目的在于避免长期轮压循环荷载造成软土路基显著沉降。为掌握其长期沉降特性,基于南方某实际有轨电车工程开展长达两年的工后沉降监测。结果表明:
近年来,随着时代的发展我国在各项领域都取得了巨大的成就发展。就建筑工程领域而言,我国现代信息科 学技术的发展为建筑工程提供良好的发展新渠道,建筑工程企业在我国的发展
经济蓬勃发展的今天,工程项目代理机构越来越多,建设项目招标代理机构正是经济发展的产物,主要是给 项目招标、项目监理等市场主体进行服务,有利于市场的规范,推动建筑行业招
为模拟驾驶人记忆效应以及模糊感知特性,设计了基于模糊感知时间窗的深度学习跟驰模型。提取highD数据集跟驰轨迹,以0.2 s最小时间间隔,连续3 s本车速度、前后车速度差、车头
为了能够满足房屋建筑工程的日益增加的发展要求,后浇带技术作为工程中比较普遍非常重要的一部分,在房屋建筑中得到了十分广泛的应用,为提升建筑施工质量、保障结构稳定可靠
针对生产系统的退化状态不能在线获取的问题,提出了设备维护在线决策与缓冲分配的联合优化模型。以隐马尔科夫退化系统的工件质量指标为决策依据,提出了设备维护的在线决策策
给排水工程是城市建设的重要内容之一,其安全管理质量对城市的正常、有序运行有着重要影响,特别是随着 城市现代化建设的推进和城市人口数量的增加,人们对生活环境和生活质量