为保证铁路联锁模型的安全性，在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法，动态地描述铁路联锁系统的安全性需求，并根据Petri网安全需求模型的可达标志图，提出一种能自动生成最小割集的算法。根据算法生成的最小割集，设计了一个联锁安全检测器，用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真，仿真结果表明联锁安全检测器能够保证模型的安全性。
2021-12-15 19:56:22
757KB
1
《最小割模型在信息学竞赛中的应用》
《两极相通——浅谈最大—最小定理在信息学竞赛中的应用》
《从一套题目的解法试谈网络流的构造与算法》
《浅谈网络流算法的应用》
《最大流在信息学竞赛中应用的一个模型》
《一种简易的方法求解流量有上下界的网络中网络流问题》
2021-07-29 11:29:28
1.44MB
1
综述了图割的基本理论框架及利用图割解决问题时的主要流程和图割方法存在的难点问题．介绍了图割的发展状况及图割的应用领域，指出了其中的公开问题，并对图割未来的研究方向做出展望．
2021-03-02 20:02:41
356KB
1
talfta 是拥有独立知识产权的国产软件，能够进行故障树建模、定性分析、定量分析
以及故障树仿真等操作。构建的故障树模型简单快速，模型图形完全符合 GJB768A 标准。故障树分析内容全面，结果准确且高效，在应用成熟的理论及算法的基础上，持续融合故障树分析领域的最新研究成果。talfta 是一款既能够满足工程应用，又能够辅助科研探索的故障树分析工具。
2021-02-25 16:08:26
2.44MB
1
这个程序用C语言编写，用了MFC框架，完成了故障树的求解以及最小割集的计算，下载后即可编译成功，不需要调试，功能可能略有些简陋，但是绝对方便快捷！！！是广大同学们的福音吧。
2019-12-21 21:43:11
122.75MB
1