文件名称：matlab状态枚举法代码-ma-learning:学习
文件大小：11.62MB
文件格式：ZIP
更新时间：2024-06-15 21:17:51
系统开源
matlab状态枚举法代码多重自动机学习库（MALL） 我们为多重自动机应用可能近似正确的学习算法，以产生具有统计保证的系统行为的定量模型。 使用生成的模型，我们给出了两种分析算法来估计系统行为的最小值和平均值。 我们展示了即使字母不固定也如何应用学习算法。 实验结果令人鼓舞； 通过我们的方法所做的估算几乎与通过蛮力枚举获得的确切参考答案一样精确。 有关更多详细信息，请参见我们的论文“”。 文件夹 描述 SRC /主 Matlab中的核心库代码 SRC /实验 实验结果呈现在论文中。 SRC /枚举 生成枚举结果的代码。 您可以从git下载最新版本的MALL： 先决条件 。 Perl 5.24.1 安装 git上的代码已准备就绪，可以使用。 您可以简单地在Matlab命令窗口中添加目录的路径。 main / order_comp [timeout, time_each, state, counter_mem, mem,eq_mem] = order_comp ( order, distri, probability ) 描述 该学习算法的核心功能是“ order_comp”。此功能