模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术，对于验证系统的正确性，具有传统方法无法比拟的优势。提出利用项重写系统建立安全苛求系统模型与验证方法，采用基于项重写系统原理的Maude工具语言，对铁路联锁系统的站场进行形式化建模，通过其语法和语义定义各类约束和离散事件，构架联锁系统属性和行为。在模型建立的基础上，对联锁站场的静态属性和安全属性进行形式化模型验证。结果表明，基于项重写系统的模型检测方法可以较好地应用于实际联锁系统软件的开发，对开发安全苛求系统和模型检测方法的实际应用提供借鉴。
2021-12-15 19:58:09
524KB
1
动力节点的Java课程适合绝对零基础的观看，教程中讲解了Java开发环境搭建、Java的基础语法、Java的面向对象。每一个知识点都讲解的非常细腻，由浅入深。适合非计算机专业，想转行做Java开发的朋友，或者想让Java基础更扎实的小伙伴，配套资料下载：http://www.bjpowernode.com/?csdn
2021-11-30 10:02:27
50.27MB
1
动力节点的Java课程适合绝对零基础的观看，教程中讲解了Java开发环境搭建、Java的基础语法、Java的面向对象。每一个知识点都讲解的非常细腻，由浅入深。适合非计算机专业，想转行做Java开发的朋友，或者想让Java基础更扎实的小伙伴，配套资料下载：http://www.bjpowernode.com/?csdn
2021-11-18 19:02:33
69MB
1
动力节点的Java课程适合绝对零基础的观看，教程中讲解了Java开发环境搭建、Java的基础语法、Java的面向对象。每一个知识点都讲解的非常细腻，由浅入深。适合非计算机专业，想转行做Java开发的朋友，或者想让Java基础更扎实的小伙伴，配套资料下载：http://www.bjpowernode.com/?csdn
2021-11-18 19:02:32
96.42MB
1
我前段时间开发了这个脚本，今天我决定在这里提供它。 所有函数都简单地从 fortran 转换为 matlab，因此单次计算的时间比 XFoil 源要长得多。 如果有人设法改进代码，请告诉我，因为我一直在忙于其他项目。 XFOIL 是由 Mark Drela 教授（来自麻省理工学院）提供的用于亚音速翼型设计和分析的分析软件。 有关更多信息，请查看他的网站http://web.mit.edu/drela/Public/web/xfoil/
2021-11-16 14:59:45
71KB
1