一种用于飞行诸元定义、表示的领域专用语言  

A Domain-Specific Language for Flight Parameters Definition and Representation

作　　者：安占新[1] 任慧敏[1] 许传明 王晓玲[1] An Zhanxin;Ren Huimin;Xu Chuanming;Wang Xiaoling(Beijing Aerospace Automatic Control Institute,Beijing 100854,China)

机构地区：[1]北京航天自动控制研究所,北京100854

出　　处：《航天控制》2020年第5期50-53,共4页Aerospace Control

摘　　要：提出了一种用于飞行诸元定义、表示的领域专用语言(DSL,DomainSpecific Language),使用巴科斯范式(BNF,Backus-Naur Form)描述语法规则,定义诸元的数据类型、数目、类别、数值及约束条件。在此基础上,研制了由解析器等模块组成的诸元自动生成系统,将飞行诸元由文本文件转化为目标处理器能够识别的二进制格式数据文件。通过这种语言定义、表示飞行诸元,火箭不仅实现了诸元自动生成,还可以对诸元进行合理性检查,支持多目标处理器以及飞行诸元的灵活扩展,提高了可靠性和效率。A domain-specific language is proposed for flight parameters definition and representation.Backus-Naur Form is used to describe grammar rules,define types,numbers,categories,values and constraints of flight parameters. On this basis,an automatic generation system for flight parameters composed of parsers and the like is developed. The system can convert flight parameters from text files to binary format data files that can be recognized by target processors. Through the definition of the language,rockets not only realize the automatic generation of flight parameters,but also take the rationality check on flight parameters. This language supports the multi-objective processors and the flexible expansion of flight parameters,which improves the reliability and effectiveness.

关 键 词：飞行诸元 领域专用语言 巴科斯范式 解析器 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]