基于闭包算法的同步语言航天C代码自动生成方法
Abstract:
本发明公开了一种基于闭包算法的同步语言航天C代码自动生成方法,其中,包括:将每一个方程式看作为一个实例,通过获得连接Conn,得到所有结点间关系的元组,其中结点类型分为输入,操作以及输出三种类型;对所有的元组进行标记为false和true,其中false为未检查,true为已被检查,初始标注均为false;通过同步语言模型闭包划分算法组成闭包;通过同步语言模型闭包内部排序算法进行排序;通过拓扑排序获得拓扑序列。本发明一种基于闭包算法的同步语言航天C代码自动生成方法,具有准确性,安全性以及可靠性。
Public/Granted literature
Patent Agency Ranking
0/0