支持车道数量变化，有跟车换道模型，方便更改参数，可以用于元胞自动机的学习 支持车道数量变化，有跟车换道模型，方便更改参数，可以用于元胞自动机的学习
2019-12-21 19:37:44
2KB
1
该资源是实现的一个四列火车调度的模型实例，已在模型检测工具uppaal4.0.14上实现并进行了模型的性质验证，资源中还包含实验的模型仿真和性质验证的截图（实验效果图）。uppaal是一个集成工具环境，它以扩展的时间自动机为建模语言，被用于对经过转换的时间自动机网络模型的实时系统进行建模、检验和验证。
2019-12-21 19:29:13
323KB
1
形式语言与自动机理论(第2版) 蒋宗礼 课后答案[1-12章].pdf
2019-12-21 19:27:12
1.69MB
1
程序设计语言:主要使用C语言的开发工具，或者采用LEX、YACC等工具，也可利用其他熟悉的开发工具。算法：可以根据《编译原理》课程所讲授的算法进行设计。
2019-12-21 19:24:04
148KB
1