只为小站
首页
域名查询
文件下载
登录
论文研究-改进的最小割集生成算法与联锁系统模型的安全性测试.pdf
为保证铁路联锁模型的安全性,在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法,动态地描述铁路联锁系统的安全性需求,并根据Petri网安全需求模型的可达标志图,提出一种能自动生成最小割集的算法。根据算法生成的最小割集,设计了一个
联锁安全检测器
,用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真,仿真结果表明
联锁安全检测器
能够保证模型的安全性。
2021-12-15 19:56:22
757KB
联锁系统
故障树分析
最小割集
Petri网
联锁安全检测器
安全测试
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
倒立摆的模糊控制(基于simulink仿真,适合初学者).rar
得到品控手册7.0.pdf
2019综合测评仿真.zip
Keil5安装包
夏天IC助手1.8你们懂的
基于Matlab的IEEE14节点潮流计算.zip
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
EEupdate_5.35.12.0 win10下修改intel网卡mac
基于Servlet+jsp+mysql开发javaWeb学生成绩管理系统
SSM外文文献和翻译(毕设论文精品).doc
MVDR,Capon波束形成DO估计.zip
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
鲸鱼优化算法 WOA matlab源代码(详细注释)
MATLAB之LSTM预测
IBM.ILOG.CPLEX.Enterprise.Server.v12.10.0.Win64.rar CPLEX下载
最新下载
进程调度的设计与实现
上海市POI数据2022年最新
上海市区geojson地图文件
上海地名地址点,村点,shp矢量
汇报CNN+RNN+LSTM神经网络模型介绍PPT
华硕FX504系列更换主板激活电池充电
MIPS 54条指令单周期CPU设计说明1
MIPS 54条多周期CPU
32 位无符号并行乘法器VHDL源代码
Verilog HDL设计64bits算术乘法器.rar
其他资源
ThinkPHP3.2.3完整版
matlab电池模型
matlab求任意多边形(点集)最小外接圆算法
OpenGL天空盒完整代码
DatabaseManagementSystems,3rdEdition.pdf-数据库其他资源
ARCHPR-4.5.4(压缩包密码破解器,附赠ACGN类资源常用密码字典)
仿照apple网站做的html,效果很不错!
平移图像配准matlab程序
AP聚类算法MATlLAB代码
基于javaweb实现的登录注册以及音乐播放器
vmware ovftool x64 工具和使用方法
ajaxfileupload.js
混沌理论的实现
异构共转移聚类的公共潜在空间识别
study_supervise-源码
通过本资源可以让没接触过前端的小白玩家迅速入坑,看完这些资源小白玩家可以基本看懂百分之90的网页代码
2020年约会类应用营销指南.pdf
-2018-2019中国新能源汽车产业研究与投资分析报告.pdf
简易计算器代码.cpp
网上花店网上花店网上花店
H+ Hplus 后台主题UI框架 V4.1.0带文档、未压缩版
广工2014信息安全考试试卷
基于Oracle的CodeSmith模板