摘要：飞行控制软件作为控制系统的核心软件,涉及大量复杂的数学运算。采用反算验证比对是该类算法验证的常用测试方案,但是在实践过程中也呈现出测试能效比低、验证方案缺乏连贯性的问题。对此提出一种复杂算法验证方法,可极大提升反算验证方法的测试效果和自动化程度。以飞行控制软件的算法特点带来的测试难点为解决问题的出发点,通过采用全数字虚拟环境,实现飞行控制软件与反算验证程序二者的同步运行、同步注数、同步输入和同步状态转换,解决了传统环境结果观测量获取存在局限的弊端,最大程度地规避了环境对计算精度影响的外部干扰因素;同时该方案设计了轻量级反算验证框架,使反算程序代码与文字描述公式高度一致,大大降低了对开发人员的要求,实现了测试结果的自动化判读。

摘要：针对目前某型号仍然采用手工方式生成飞行软件诸元的现状,提出了自动生成飞行诸元的解决方案,脱离具体型号限制,设计了通用的诸元生成系统框架,主要实现了诸元数据库定制、诸元数据库转换、诸元源文件自动生成和诸元数据正确性验证等4个关键技术,完成了诸元原始数据到诸元目标文件的自动转换,大大提高了控制系统飞行软件诸元的生成效率和可靠性。

摘要：主要探讨航天型号中的时序控制软件的辅助生成,结合航天型号时序控制软件的研制现状,针对现行软件研制过程中存在的问题,设计实现基于自动生成的计算机辅助系统,代替人工生成模式,切实提高航天工程中软件的研发效率和可靠性。

摘要：聚焦钢铁企业工业互联网应用中丞需解决的难点和创新问题,规划建立高普适性、高应用价值的基础共性、业内通用的钢铁企业工业互联网平台。