支持车道数量变化,有跟车换道模型,方便更改参数,可以用于元胞自动机的学习 支持车道数量变化,有跟车换道模型,方便更改参数,可以用于元胞自动机的学习
2019-12-21 19:37:44 2KB 元胞自动机 交通流 matlab
1
包含数据插值拟合、线性回归、非线性回归、仿真、模拟退火、元胞自动机理论的知识学习
2019-12-21 19:36:22 8.45MB 仿真 模拟退火 元胞自动机 插值拟合
1
形式语言与自动机理论 蒋宗礼 电子版 PDF格式 好东西哦
2019-12-21 19:32:41 6.08MB 形式语言与自动机理论 蒋宗礼
1
从某国外大学的网站上找到的,很好的一个画自动机的工具,而且还具有一些额外的功能,比如说NFA转DFA
2019-12-21 19:32:09 10.34MB JFLAP jflap
1
哈工大形式语言与自动机历年试题,含答案的哦,仅供参考
2019-12-21 19:31:23 1.48MB 哈工大 形式语言 历年试题
1
该资源是实现的一个四列火车调度的模型实例,已在模型检测工具uppaal4.0.14上实现并进行了模型的性质验证,资源中还包含实验的模型仿真和性质验证的截图(实验效果图)。uppaal是一个集成工具环境,它以扩展的时间自动机为建模语言,被用于对经过转换的时间自动机网络模型的实时系统进行建模、检验和验证。
2019-12-21 19:29:13 323KB uppaal模型 时间自动机
1
使用C++实现的CYK算法。形式语言与自动机课程中的算法之一。使用VS2005编译通过。有说明文件。
2019-12-21 19:27:50 94KB C++ CYK 形式语言与自动机
1
形式语言与自动机理论(第2版) 蒋宗礼 课后答案[1-12章].pdf
2019-12-21 19:27:12 1.69MB 课后全部答案
1
形式语言与自动机蒋宗礼书籍,讲义和课后题答案,课后答案非常难找
2019-12-21 19:25:41 126.54MB 自动机 课后题答案
1
程序设计语言:主要使用C语言的开发工具,或者采用LEX、YACC等工具,也可利用其他熟悉的开发工具。算法:可以根据《编译原理》课程所讲授的算法进行设计。
1