Invention Grant
- Patent Title: 基于闭包算法的同步语言航天C代码自动生成方法
-
Application No.: CN201810275497.6Application Date: 2018-03-30
-
Publication No.: CN108647030BPublication Date: 2022-03-11
- Inventor: 陈静 , 柯文俊 , 郭少帅 , 徐少帅 , 徐赛赛 , 关斯琪 , 王泊涵 , 侯敏 , 冯大成
- Applicant: 北京计算机技术及应用研究所
- Applicant Address: 北京市海淀区永定路51号
- Assignee: 北京计算机技术及应用研究所
- Current Assignee: 北京计算机技术及应用研究所
- Current Assignee Address: 北京市海淀区永定路51号
- Agency: 中国兵器工业集团公司专利中心
- Agent 张然
- Main IPC: G06F8/51
- IPC: G06F8/51 ; G06F8/30

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