十进制小数转二进制matlab代码-arcs2tlsf:将ARCS工具箱中的规范和抽象转换为TLSF

十进制小数转二进制matlab代码arcs2tlsf 描述 此仓库包含一个简单的工具，可将工具箱中编写的规范和抽象转换为格式。 用法 下载并将工具箱文件夹（和子文件夹）添加到MATLAB的搜索路径。 使用ARCS中的TransSyst类构建抽象。 以[]A && <>[]B && (&&_i []<>C_i)的形式写下您的规格。 执行abstr2TLSF.m或abstr2TLSF_brief.m将规范和抽象转换为TLSF格式： 使用abstr2TLSF.m获取更具可读性的TLSF文件。 将abstr2TLSF_brief.m用于更紧凑的TLSF文件。 它可以在数字系统而不是十进制数字中对输入和输出变量的索引进行编码。 您需要选择compress rate ，它表示用于编码的数字系统，例如compress_rate = 2表示编码使用二进制数。 例子 通过浏览run_example.m可以清楚地了解此工具的用法。 内置于run_example.m的抽象如下所示： 规范为A = {s_1，s_2，s_3，s_4}，B = {}，C_1 = {s_1}，C_2 = {s_3，s_4}。 存在