基于闭包算法的同步语言航天C代码自动生成方法
- 专利权人:
- 北京计算机技术及应用研究所
- 发明人:
- 陈静,柯文俊,郭少帅,徐少帅,徐赛赛,关斯琪,王泊涵,侯敏,冯大成
- 申请号：
- CN201810275497.6
- 公开号：
- CN108647030A
- 申请日:
- 2018.03.30
- 申请国别(地区):
- 中国
- 年份:
- 2018
- 代理人:
- 张然
- 摘要：
- 本发明公开了一种基于闭包算法的同步语言航天C代码自动生成方法，其中，包括：将每一个方程式看作为一个实例，通过获得连接Conn，得到所有结点间关系的元组，其中结点类型分为输入，操作以及输出三种类型；对所有的元组进行标记为false和true，其中false为未检查，true为已被检查，初始标注均为false；通过同步语言模型闭包划分算法组成闭包；通过同步语言模型闭包内部排序算法进行排序；通过拓扑排序获得拓扑序列。本发明一种基于闭包算法的同步语言航天C代码自动生成方法，具有准确性，安全性以及可靠性。
- 来源网站：
- 中国工程科技知识中心
