论文部分内容阅读
根据联锁系统的事故危害度分类，有效地结合故障树分析法和Petri网可达图分析的各自优点，提出一种用于评估联锁系统Petri模型的安全性的方法，并通过实例验证其有效性。
联锁系统形式化模型的安全性评估
【摘 要】
：
根据联锁系统的事故危害度分类，有效地结合故障树分析法和Petri网可达图分析的各自优点，提出一种用于评估联锁系统Petri模型的安全性的方法，并通过实例验证其有效性。
【机 构】
：
同济大学电子与信息工程学院,青岛科技大学信息科学与技术学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2007年8期
其他文献
推导出了高斯-谢尔模型(GSM)列阵光束通过自由空间传输其二阶矩束宽、远场发散角和远场辐射强度的解析表达式,并给出了GSM列阵光束与高斯光束具有相同远场发散角的条件.研究
<正>2018年,共享经济将突破原有C2C的范畴,并从高频标准化领域向专业复杂化交易领域渗透,从消费领域向生产领域渗透。2017年的共享经济发展在经历了一年多的疯狂之后有所降温
本文通过耐用品消费与库存变动的实证,分析了两者间关系的规律性变动——“库存变动效应”。在此基础上,评估了耐用品消费与库存变动对美国季度经济增长的影响。最后利用“库
基于分数阶微积分理论以及实际电容和实际电感在本质上是分数阶的事实,建立电感电流连续模式下Boost变换器的分数阶数学模型以及分数阶状态平均模型并进行理论分析,给出Boost
国务院2015年5月发布的《国务院关于加快培育外贸竞争新优势的若干意见》明确部署了加快实施全球贸易联动的战略部署。落实到"一带一路"中的中阿博览会上,是建立更多的双边自
电路课程是电气信息类专业的重要专业基础课。通过本课程的学习,掌握电路的基本理论、电路分析的基本方法和进行实验的初步技能。"电路原理"课程具有内容多、理论性强、计算
为了提高混沌信号的复杂性,提出了一个新的分数阶四维超混沌系统,并对该系统的混沌动力学特性进行详细的理论分析和数值仿真,Maltab仿真证实了该分数阶超混沌系统存在混沌的
结合铁路运输需求和CTCS列控系统建设情况,在吸收以往机车信号电码化设计经验的基础上,按照改建或新建铁路(客运专线)建设标准以及不同电码化制式,分门别类进行分析总结,提出
RLC并联电路是一种非常重要的单元电路,本文尝试着系统地分析和总结分数阶RLαCβ并联电路的基本特征和规律.对比整数阶RLC并联电路,电感的分数阶阶次α和电容的分数阶阶次β
中国历来不是一个固定不变的基础单位,而是随着社会的不断发展而不断发生转换。中国音乐历来也不是一成不变的,他也伴随着历史中的文化交流日益地借鉴、优化与发展。对中国音